syn_registry_SUITE.erl 51 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169
  1. %% ==========================================================================================================
  2. %% Syn - A global Process Registry and Process Group manager.
  3. %%
  4. %% The MIT License (MIT)
  5. %%
  6. %% Copyright (c) 2015-2019 Roberto Ostinelli <roberto@ostinelli.net> and Neato Robotics, Inc.
  7. %%
  8. %% Permission is hereby granted, free of charge, to any person obtaining a copy
  9. %% of this software and associated documentation files (the "Software"), to deal
  10. %% in the Software without restriction, including without limitation the rights
  11. %% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  12. %% copies of the Software, and to permit persons to whom the Software is
  13. %% furnished to do so, subject to the following conditions:
  14. %%
  15. %% The above copyright notice and this permission notice shall be included in
  16. %% all copies or substantial portions of the Software.
  17. %%
  18. %% THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  19. %% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  20. %% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  21. %% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  22. %% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  23. %% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  24. %% THE SOFTWARE.
  25. %% ==========================================================================================================
  26. -module(syn_registry_SUITE).
  27. %% callbacks
  28. -export([all/0]).
  29. -export([init_per_suite/1, end_per_suite/1]).
  30. -export([groups/0, init_per_group/2, end_per_group/2]).
  31. -export([init_per_testcase/2, end_per_testcase/2]).
  32. %% tests
  33. -export([
  34. single_node_register_and_monitor/1,
  35. single_node_register_and_unregister/1,
  36. single_node_registration_errors/1,
  37. single_node_registry_count/1,
  38. single_node_register_gen_server/1,
  39. single_node_callback_on_process_exit/1,
  40. single_node_ensure_callback_process_exit_is_called_if_process_killed/1,
  41. single_node_monitor_after_registry_crash/1
  42. ]).
  43. -export([
  44. two_nodes_register_monitor_and_unregister/1,
  45. two_nodes_registry_count/1,
  46. two_nodes_registration_race_condition_conflict_resolution_keep_remote/1,
  47. two_nodes_registration_race_condition_conflict_resolution_keep_local_with_custom_handler/1,
  48. two_nodes_registration_race_condition_conflict_resolution_when_process_died/1,
  49. two_nodes_registry_full_cluster_sync_on_boot_node_added_later/1,
  50. two_nodes_registry_full_cluster_sync_on_boot_syn_started_later/1,
  51. two_nodes_reregister/1
  52. ]).
  53. -export([
  54. three_nodes_partial_netsplit_consistency/1,
  55. three_nodes_full_netsplit_consistency/1,
  56. three_nodes_start_syn_before_connecting_cluster_with_conflict/1,
  57. three_nodes_start_syn_before_connecting_cluster_with_custom_conflict_resolution/1,
  58. three_nodes_registration_race_condition_custom_conflict_resolution/1,
  59. three_nodes_anti_entropy/1,
  60. three_nodes_anti_entropy_manual/1,
  61. three_nodes_concurrent_registration_unregistration/1,
  62. three_nodes_resolve_conflict_on_all_nodes/1
  63. ]).
  64. %% support
  65. -export([
  66. start_syn_delayed_and_register_local_process/3,
  67. start_syn_delayed_with_custom_handler_register_local_process/4,
  68. seq_unregister_register/3
  69. ]).
  70. %% include
  71. -include_lib("common_test/include/ct.hrl").
  72. -include_lib("../src/syn.hrl").
  73. %% ===================================================================
  74. %% Callbacks
  75. %% ===================================================================
  76. %% -------------------------------------------------------------------
  77. %% Function: all() -> GroupsAndTestCases | {skip,Reason}
  78. %% GroupsAndTestCases = [{group,GroupName} | TestCase]
  79. %% GroupName = atom()
  80. %% TestCase = atom()
  81. %% Reason = any()
  82. %% -------------------------------------------------------------------
  83. all() ->
  84. [
  85. {group, single_node_process_registration},
  86. {group, two_nodes_process_registration},
  87. {group, three_nodes_process_registration}
  88. ].
  89. %% -------------------------------------------------------------------
  90. %% Function: groups() -> [Group]
  91. %% Group = {GroupName,Properties,GroupsAndTestCases}
  92. %% GroupName = atom()
  93. %% Properties = [parallel | sequence | Shuffle | {RepeatType,N}]
  94. %% GroupsAndTestCases = [Group | {group,GroupName} | TestCase]
  95. %% TestCase = atom()
  96. %% Shuffle = shuffle | {shuffle,{integer(),integer(),integer()}}
  97. %% RepeatType = repeat | repeat_until_all_ok | repeat_until_all_fail |
  98. %% repeat_until_any_ok | repeat_until_any_fail
  99. %% N = integer() | forever
  100. %% -------------------------------------------------------------------
  101. groups() ->
  102. [
  103. {single_node_process_registration, [shuffle], [
  104. single_node_register_and_monitor,
  105. single_node_register_and_unregister,
  106. single_node_registration_errors,
  107. single_node_registry_count,
  108. single_node_register_gen_server,
  109. single_node_callback_on_process_exit,
  110. single_node_ensure_callback_process_exit_is_called_if_process_killed,
  111. single_node_monitor_after_registry_crash
  112. ]},
  113. {two_nodes_process_registration, [shuffle], [
  114. two_nodes_register_monitor_and_unregister,
  115. two_nodes_registry_count,
  116. two_nodes_registration_race_condition_conflict_resolution_keep_remote,
  117. two_nodes_registration_race_condition_conflict_resolution_keep_local_with_custom_handler,
  118. two_nodes_registration_race_condition_conflict_resolution_when_process_died,
  119. two_nodes_registry_full_cluster_sync_on_boot_node_added_later,
  120. two_nodes_registry_full_cluster_sync_on_boot_syn_started_later,
  121. two_nodes_reregister
  122. ]},
  123. {three_nodes_process_registration, [shuffle], [
  124. three_nodes_partial_netsplit_consistency,
  125. three_nodes_full_netsplit_consistency,
  126. three_nodes_start_syn_before_connecting_cluster_with_conflict,
  127. three_nodes_start_syn_before_connecting_cluster_with_custom_conflict_resolution,
  128. three_nodes_registration_race_condition_custom_conflict_resolution,
  129. three_nodes_anti_entropy,
  130. three_nodes_anti_entropy_manual,
  131. three_nodes_concurrent_registration_unregistration,
  132. three_nodes_resolve_conflict_on_all_nodes
  133. ]}
  134. ].
  135. %% -------------------------------------------------------------------
  136. %% Function: init_per_suite(Config0) ->
  137. %% Config1 | {skip,Reason} |
  138. %% {skip_and_save,Reason,Config1}
  139. %% Config0 = Config1 = [tuple()]
  140. %% Reason = any()
  141. %% -------------------------------------------------------------------
  142. init_per_suite(Config) ->
  143. Config.
  144. %% -------------------------------------------------------------------
  145. %% Function: end_per_suite(Config0) -> void() | {save_config,Config1}
  146. %% Config0 = Config1 = [tuple()]
  147. %% -------------------------------------------------------------------
  148. end_per_suite(_Config) ->
  149. ok.
  150. %% -------------------------------------------------------------------
  151. %% Function: init_per_group(GroupName, Config0) ->
  152. %% Config1 | {skip,Reason} |
  153. %% {skip_and_save,Reason,Config1}
  154. %% GroupName = atom()
  155. %% Config0 = Config1 = [tuple()]
  156. %% Reason = any()
  157. %% -------------------------------------------------------------------
  158. init_per_group(two_nodes_process_registration, Config) ->
  159. %% start slave
  160. {ok, SlaveNode} = syn_test_suite_helper:start_slave(syn_slave),
  161. %% config
  162. [{slave_node, SlaveNode} | Config];
  163. init_per_group(three_nodes_process_registration, Config) ->
  164. %% start slave
  165. {ok, SlaveNode1} = syn_test_suite_helper:start_slave(syn_slave_1),
  166. {ok, SlaveNode2} = syn_test_suite_helper:start_slave(syn_slave_2),
  167. %% config
  168. [{slave_node_1, SlaveNode1}, {slave_node_2, SlaveNode2} | Config];
  169. init_per_group(_GroupName, Config) ->
  170. Config.
  171. %% -------------------------------------------------------------------
  172. %% Function: end_per_group(GroupName, Config0) ->
  173. %% void() | {save_config,Config1}
  174. %% GroupName = atom()
  175. %% Config0 = Config1 = [tuple()]
  176. %% -------------------------------------------------------------------
  177. end_per_group(two_nodes_process_registration, Config) ->
  178. SlaveNode = proplists:get_value(slave_node, Config),
  179. syn_test_suite_helper:connect_node(SlaveNode),
  180. syn_test_suite_helper:clean_after_test(),
  181. syn_test_suite_helper:stop_slave(syn_slave),
  182. timer:sleep(1000);
  183. end_per_group(three_nodes_process_registration, Config) ->
  184. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  185. syn_test_suite_helper:connect_node(SlaveNode1),
  186. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  187. syn_test_suite_helper:connect_node(SlaveNode2),
  188. syn_test_suite_helper:clean_after_test(),
  189. syn_test_suite_helper:stop_slave(syn_slave_1),
  190. syn_test_suite_helper:stop_slave(syn_slave_2),
  191. timer:sleep(1000);
  192. end_per_group(_GroupName, _Config) ->
  193. syn_test_suite_helper:clean_after_test().
  194. %% -------------------------------------------------------------------
  195. %% Function: init_per_testcase(TestCase, Config0) ->
  196. %% Config1 | {skip,Reason} | {skip_and_save,Reason,Config1}
  197. %% TestCase = atom()
  198. %% Config0 = Config1 = [tuple()]
  199. %% Reason = any()
  200. %% -------------------------------------------------------------------
  201. init_per_testcase(TestCase, Config) ->
  202. ct:pal("Starting test: ~p", [TestCase]),
  203. Config.
  204. %% -------------------------------------------------------------------
  205. %% Function: end_per_testcase(TestCase, Config0) ->
  206. %% void() | {save_config,Config1} | {fail,Reason}
  207. %% TestCase = atom()
  208. %% Config0 = Config1 = [tuple()]
  209. %% Reason = any()
  210. %% -------------------------------------------------------------------
  211. end_per_testcase(_, _Config) ->
  212. syn_test_suite_helper:clean_after_test().
  213. %% ===================================================================
  214. %% Tests
  215. %% ===================================================================
  216. single_node_register_and_monitor(_Config) ->
  217. %% start
  218. ok = syn:start(),
  219. %% start processes
  220. Pid = syn_test_suite_helper:start_process(),
  221. PidWithMeta = syn_test_suite_helper:start_process(),
  222. %% retrieve
  223. undefined = syn:whereis(<<"my proc">>),
  224. %% register
  225. ok = syn:register(<<"my proc">>, Pid),
  226. ok = syn:register({"my proc 2"}, Pid),
  227. ok = syn:register(<<"my proc with meta">>, PidWithMeta, {meta, <<"meta">>}),
  228. %% retrieve
  229. Pid = syn:whereis(<<"my proc">>),
  230. Pid = syn:whereis({"my proc 2"}),
  231. {PidWithMeta, {meta, <<"meta">>}} = syn:whereis(<<"my proc with meta">>, with_meta),
  232. %% re-register
  233. ok = syn:register(<<"my proc with meta">>, PidWithMeta, {meta2, <<"meta2">>}),
  234. {PidWithMeta, {meta2, <<"meta2">>}} = syn:whereis(<<"my proc with meta">>, with_meta),
  235. %% kill process
  236. syn_test_suite_helper:kill_process(Pid),
  237. syn_test_suite_helper:kill_process(PidWithMeta),
  238. timer:sleep(100),
  239. %% retrieve
  240. undefined = syn:whereis(<<"my proc">>),
  241. undefined = syn:whereis({"my proc 2"}),
  242. undefined = syn:whereis(<<"my proc with meta">>).
  243. single_node_register_and_unregister(_Config) ->
  244. %% start
  245. ok = syn:start(),
  246. %% start process
  247. Pid = syn_test_suite_helper:start_process(),
  248. %% retrieve
  249. undefined = syn:whereis(<<"my proc">>),
  250. %% register
  251. ok = syn:register(<<"my proc">>, Pid),
  252. ok = syn:register(<<"my proc 2">>, Pid),
  253. %% retrieve
  254. Pid = syn:whereis(<<"my proc">>),
  255. Pid = syn:whereis(<<"my proc 2">>),
  256. %% unregister 1
  257. ok = syn:unregister(<<"my proc">>),
  258. %% retrieve
  259. undefined = syn:whereis(<<"my proc">>),
  260. Pid = syn:whereis(<<"my proc 2">>),
  261. %% unregister 2
  262. ok = syn:unregister(<<"my proc 2">>),
  263. {error, undefined} = syn:unregister(<<"my proc 2">>),
  264. %% retrieve
  265. undefined = syn:whereis(<<"my proc">>),
  266. undefined = syn:whereis(<<"my proc 2">>).
  267. single_node_registration_errors(_Config) ->
  268. %% start
  269. ok = syn:start(),
  270. %% start process
  271. Pid = syn_test_suite_helper:start_process(),
  272. Pid2 = syn_test_suite_helper:start_process(),
  273. %% register
  274. ok = syn:register(<<"my proc">>, Pid),
  275. {error, taken} = syn:register(<<"my proc">>, Pid2),
  276. %% kill processes
  277. syn_test_suite_helper:kill_process(Pid),
  278. syn_test_suite_helper:kill_process(Pid2),
  279. timer:sleep(100),
  280. %% retrieve
  281. undefined = syn:whereis(<<"my proc">>),
  282. %% try registering a dead pid
  283. {error, not_alive} = syn:register(<<"my proc">>, Pid).
  284. single_node_registry_count(_Config) ->
  285. %% start
  286. ok = syn:start(),
  287. %% start process
  288. Pid = syn_test_suite_helper:start_process(),
  289. Pid2 = syn_test_suite_helper:start_process(),
  290. PidUnregistered = syn_test_suite_helper:start_process(),
  291. %% register
  292. ok = syn:register(<<"my proc">>, Pid),
  293. ok = syn:register(<<"my proc 2">>, Pid2),
  294. %% count
  295. 2 = syn:registry_count(),
  296. 2 = syn:registry_count(node()),
  297. %% kill & unregister
  298. syn_test_suite_helper:kill_process(Pid),
  299. ok = syn:unregister(<<"my proc 2">>),
  300. syn_test_suite_helper:kill_process(PidUnregistered),
  301. timer:sleep(100),
  302. %% count
  303. 0 = syn:registry_count(),
  304. 0 = syn:registry_count(node()).
  305. single_node_register_gen_server(_Config) ->
  306. %% start
  307. ok = syn:start(),
  308. %% start gen server via syn
  309. {ok, Pid} = syn_test_gen_server:start_link(),
  310. %% retrieve
  311. Pid = syn:whereis(syn_test_gen_server),
  312. %% call
  313. pong = syn_test_gen_server:ping(),
  314. %% send via syn
  315. syn:send(syn_test_gen_server, {self(), send_ping}),
  316. receive
  317. send_pong -> ok
  318. after 1000 ->
  319. ok = did_not_receive_gen_server_pong
  320. end,
  321. %% stop server
  322. syn_test_gen_server:stop(),
  323. timer:sleep(200),
  324. %% retrieve
  325. undefined = syn:whereis(syn_test_gen_server),
  326. %% send via syn
  327. {badarg, {syn_test_gen_server, anything}} = (catch syn:send(syn_test_gen_server, anything)).
  328. single_node_callback_on_process_exit(_Config) ->
  329. %% use custom handler
  330. syn_test_suite_helper:use_custom_handler(),
  331. %% start
  332. ok = syn:start(),
  333. %% start process
  334. Pid = syn_test_suite_helper:start_process(),
  335. Pid2 = syn_test_suite_helper:start_process(),
  336. %% register
  337. TestPid = self(),
  338. ok = syn:register(<<"my proc">>, Pid, {pid, TestPid}),
  339. ok = syn:register(<<"my proc - alternate">>, Pid, {pid_alternate, TestPid}),
  340. ok = syn:register(<<"my proc 2">>, Pid2, {pid2, TestPid}),
  341. %% kill 1
  342. syn_test_suite_helper:kill_process(Pid),
  343. receive
  344. {received_event_on, pid} ->
  345. ok;
  346. {received_event_on, pid2} ->
  347. ok = callback_on_process_exit_was_received_by_pid2
  348. after 1000 ->
  349. ok = callback_on_process_exit_was_not_received_by_pid
  350. end,
  351. receive
  352. {received_event_on, pid_alternate} ->
  353. ok;
  354. {received_event_on, pid2} ->
  355. ok = callback_on_process_exit_was_received_by_pid2
  356. after 1000 ->
  357. ok = callback_on_process_exit_was_not_received_by_pid
  358. end,
  359. %% unregister & kill 2
  360. ok = syn:unregister(<<"my proc 2">>),
  361. syn_test_suite_helper:kill_process(Pid2),
  362. receive
  363. {received_event_on, pid2} ->
  364. ok = callback_on_process_exit_was_received_by_pid2
  365. after 1000 ->
  366. ok
  367. end.
  368. single_node_ensure_callback_process_exit_is_called_if_process_killed(_Config) ->
  369. Name = <<"my proc">>,
  370. %% use custom handler
  371. syn_test_suite_helper:use_custom_handler(),
  372. %% start
  373. ok = syn:start(),
  374. %% start process
  375. Pid = syn_test_suite_helper:start_process(),
  376. %% register
  377. TestPid = self(),
  378. ok = syn:register(Name, Pid, {some_meta, TestPid}),
  379. %% remove from table to simulate conflict resolution
  380. syn_registry:remove_from_local_table(Name, TestPid),
  381. %% kill
  382. exit(Pid, {syn_resolve_kill, Name, {some_meta, TestPid}}),
  383. receive
  384. {received_event_on, some_meta} ->
  385. ok
  386. after 1000 ->
  387. ok = callback_on_process_exit_was_not_received_by_pid
  388. end.
  389. single_node_monitor_after_registry_crash(_Config) ->
  390. %% start
  391. ok = syn:start(),
  392. %% start processes
  393. Pid = syn_test_suite_helper:start_process(),
  394. %% register
  395. ok = syn:register(<<"my proc">>, Pid),
  396. %% kill registry
  397. exit(whereis(syn_registry), kill),
  398. timer:sleep(200),
  399. %% retrieve
  400. Pid = syn:whereis(<<"my proc">>),
  401. %% kill process
  402. syn_test_suite_helper:kill_process(Pid),
  403. timer:sleep(200),
  404. %% retrieve
  405. undefined = syn:whereis(<<"my proc 2">>).
  406. two_nodes_register_monitor_and_unregister(Config) ->
  407. %% get slave
  408. SlaveNode = proplists:get_value(slave_node, Config),
  409. %% start
  410. ok = syn:start(),
  411. ok = rpc:call(SlaveNode, syn, start, []),
  412. timer:sleep(100),
  413. %% start processes
  414. LocalPid = syn_test_suite_helper:start_process(),
  415. RemotePid = syn_test_suite_helper:start_process(SlaveNode),
  416. RemotePidRegRemote = syn_test_suite_helper:start_process(SlaveNode),
  417. %% retrieve
  418. undefined = syn:whereis(<<"local proc">>),
  419. undefined = syn:whereis(<<"remote proc">>),
  420. undefined = syn:whereis(<<"remote proc reg_remote">>),
  421. undefined = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  422. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  423. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  424. %% register
  425. ok = syn:register(<<"local proc">>, LocalPid),
  426. ok = syn:register(<<"remote proc">>, RemotePid),
  427. ok = rpc:call(SlaveNode, syn, register, [<<"remote proc reg_remote">>, RemotePidRegRemote]),
  428. timer:sleep(500),
  429. %% retrieve
  430. LocalPid = syn:whereis(<<"local proc">>),
  431. RemotePid = syn:whereis(<<"remote proc">>),
  432. RemotePidRegRemote = syn:whereis(<<"remote proc reg_remote">>),
  433. LocalPid = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  434. RemotePid = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  435. RemotePidRegRemote = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  436. %% kill & unregister processes
  437. syn_test_suite_helper:kill_process(LocalPid),
  438. ok = syn:unregister(<<"remote proc">>),
  439. syn_test_suite_helper:kill_process(RemotePidRegRemote),
  440. timer:sleep(100),
  441. %% retrieve
  442. undefined = syn:whereis(<<"local proc">>),
  443. undefined = syn:whereis(<<"remote proc">>),
  444. undefined = syn:whereis(<<"remote proc reg_remote">>),
  445. undefined = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  446. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  447. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]).
  448. two_nodes_registry_count(Config) ->
  449. %% get slave
  450. SlaveNode = proplists:get_value(slave_node, Config),
  451. %% start
  452. ok = syn:start(),
  453. ok = rpc:call(SlaveNode, syn, start, []),
  454. timer:sleep(100),
  455. %% start processes
  456. LocalPid = syn_test_suite_helper:start_process(),
  457. RemotePid = syn_test_suite_helper:start_process(SlaveNode),
  458. RemotePidRegRemote = syn_test_suite_helper:start_process(SlaveNode),
  459. _PidUnregistered = syn_test_suite_helper:start_process(),
  460. %% register
  461. ok = syn:register(<<"local proc">>, LocalPid),
  462. ok = syn:register(<<"remote proc">>, RemotePid),
  463. ok = rpc:call(SlaveNode, syn, register, [<<"remote proc reg_remote">>, RemotePidRegRemote]),
  464. timer:sleep(500),
  465. %% count
  466. 3 = syn:registry_count(),
  467. 1 = syn:registry_count(node()),
  468. 2 = syn:registry_count(SlaveNode),
  469. %% kill & unregister processes
  470. syn_test_suite_helper:kill_process(LocalPid),
  471. ok = syn:unregister(<<"remote proc">>),
  472. syn_test_suite_helper:kill_process(RemotePidRegRemote),
  473. timer:sleep(100),
  474. %% count
  475. 0 = syn:registry_count(),
  476. 0 = syn:registry_count(node()),
  477. 0 = syn:registry_count(SlaveNode).
  478. two_nodes_registration_race_condition_conflict_resolution_keep_remote(Config) ->
  479. ConflictingName = "COMMON",
  480. %% get slaves
  481. SlaveNode = proplists:get_value(slave_node, Config),
  482. %% start syn on nodes
  483. ok = syn:start(),
  484. ok = rpc:call(SlaveNode, syn, start, []),
  485. timer:sleep(1000),
  486. %% start processes
  487. Pid0 = syn_test_suite_helper:start_process(),
  488. Pid1 = syn_test_suite_helper:start_process(SlaveNode),
  489. %% inject into syn to simulate concurrent registration
  490. ok = syn_registry:add_to_local_table(ConflictingName, Pid0, node(), undefined),
  491. %% register on slave node to trigger conflict resolution on master node
  492. ok = rpc:call(SlaveNode, syn, register, [ConflictingName, Pid1, SlaveNode]),
  493. timer:sleep(1000),
  494. %% check metadata, resolution happens on master node
  495. {Pid1, SlaveNode} = syn:whereis(ConflictingName, with_meta),
  496. {Pid1, SlaveNode} = rpc:call(SlaveNode, syn, whereis, [ConflictingName, with_meta]),
  497. %% check that other processes are not alive because syn killed them
  498. false = is_process_alive(Pid0),
  499. true = rpc:call(SlaveNode, erlang, is_process_alive, [Pid1]).
  500. two_nodes_registration_race_condition_conflict_resolution_keep_local_with_custom_handler(Config) ->
  501. ConflictingName = "COMMON",
  502. %% get slaves
  503. SlaveNode = proplists:get_value(slave_node, Config),
  504. %% use customer handler
  505. syn_test_suite_helper:use_custom_handler(),
  506. rpc:call(SlaveNode, syn_test_suite_helper, use_custom_handler, []),
  507. %% start syn on nodes
  508. ok = syn:start(),
  509. ok = rpc:call(SlaveNode, syn, start, []),
  510. timer:sleep(1000),
  511. %% start processes
  512. Pid0 = syn_test_suite_helper:start_process(),
  513. Pid1 = syn_test_suite_helper:start_process(SlaveNode),
  514. %% inject into syn to simulate concurrent registration
  515. ok = syn_registry:add_to_local_table(ConflictingName, Pid0, keep_this_one, undefined),
  516. %% register on slave node to trigger conflict resolution on master node
  517. ok = rpc:call(SlaveNode, syn, register, [ConflictingName, Pid1, SlaveNode]),
  518. timer:sleep(1000),
  519. %% check metadata, resolution happens on master node
  520. {Pid0, keep_this_one} = syn:whereis(ConflictingName, with_meta),
  521. {Pid0, keep_this_one} = rpc:call(SlaveNode, syn, whereis, [ConflictingName, with_meta]),
  522. %% check that other processes are not alive because syn killed them
  523. true = is_process_alive(Pid0),
  524. true = rpc:call(SlaveNode, erlang, is_process_alive, [Pid1]).
  525. two_nodes_registration_race_condition_conflict_resolution_when_process_died(Config) ->
  526. ConflictingName = "COMMON",
  527. %% get slaves
  528. SlaveNode = proplists:get_value(slave_node, Config),
  529. %% use customer handler
  530. syn_test_suite_helper:use_custom_handler(),
  531. rpc:call(SlaveNode, syn_test_suite_helper, use_custom_handler, []),
  532. %% start syn on nodes
  533. ok = syn:start(),
  534. ok = rpc:call(SlaveNode, syn, start, []),
  535. timer:sleep(1000),
  536. %% start processes
  537. Pid0 = syn_test_suite_helper:start_process(),
  538. Pid1 = syn_test_suite_helper:start_process(SlaveNode),
  539. %% inject into syn to simulate concurrent registration
  540. syn_registry:add_to_local_table(ConflictingName, Pid0, keep_this_one, undefined),
  541. timer:sleep(250),
  542. %% kill process
  543. syn_test_suite_helper:kill_process(Pid0),
  544. %% register to trigger conflict resolution
  545. timer:sleep(250),
  546. ok = rpc:call(SlaveNode, syn, register, [ConflictingName, Pid1, SlaveNode]),
  547. timer:sleep(250),
  548. %% check
  549. {Pid1, SlaveNode} = syn:whereis(ConflictingName, with_meta),
  550. {Pid1, SlaveNode} = rpc:call(SlaveNode, syn, whereis, [ConflictingName, with_meta]),
  551. %% check that process is alive
  552. true = rpc:call(SlaveNode, erlang, is_process_alive, [Pid1]).
  553. two_nodes_registry_full_cluster_sync_on_boot_node_added_later(_Config) ->
  554. %% stop slave
  555. syn_test_suite_helper:stop_slave(syn_slave),
  556. %% start syn on local node
  557. ok = syn:start(),
  558. %% start process
  559. Pid = syn_test_suite_helper:start_process(),
  560. %% register
  561. ok = syn:register(<<"proc">>, Pid),
  562. %% start remote node and syn
  563. {ok, SlaveNode} = syn_test_suite_helper:start_slave(syn_slave),
  564. ok = rpc:call(SlaveNode, syn, start, []),
  565. timer:sleep(1000),
  566. %% check
  567. Pid = syn:whereis(<<"proc">>),
  568. Pid = rpc:call(SlaveNode, syn, whereis, [<<"proc">>]).
  569. two_nodes_registry_full_cluster_sync_on_boot_syn_started_later(Config) ->
  570. %% get slaves
  571. SlaveNode = proplists:get_value(slave_node, Config),
  572. %% start syn on local node
  573. ok = syn:start(),
  574. %% start process
  575. Pid = syn_test_suite_helper:start_process(),
  576. %% register
  577. ok = syn:register(<<"proc">>, Pid),
  578. %% start ib remote syn
  579. ok = rpc:call(SlaveNode, syn, start, []),
  580. timer:sleep(500),
  581. %% check
  582. Pid = syn:whereis(<<"proc">>),
  583. Pid = rpc:call(SlaveNode, syn, whereis, [<<"proc">>]).
  584. two_nodes_reregister(Config) ->
  585. Name = "common name",
  586. %% get slave
  587. SlaveNode = proplists:get_value(slave_node, Config),
  588. %% start
  589. ok = syn:start(),
  590. ok = rpc:call(SlaveNode, syn, start, []),
  591. timer:sleep(100),
  592. %% start processes
  593. PidLocal = syn_test_suite_helper:start_process(),
  594. PidRemote = syn_test_suite_helper:start_process(SlaveNode),
  595. ok = rpc:call(SlaveNode, syn, register, [Name, PidRemote]),
  596. %% fast unreg-reg
  597. ok = syn:reregister(Name, PidLocal),
  598. timer:sleep(1000),
  599. PidLocal = syn:whereis(Name),
  600. ok = rpc:call(SlaveNode, syn, reregister, [Name, PidRemote, some_meta]),
  601. timer:sleep(1000),
  602. {PidRemote, some_meta} = syn:whereis(Name, with_meta).
  603. three_nodes_partial_netsplit_consistency(Config) ->
  604. %% get slaves
  605. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  606. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  607. %% start syn on nodes
  608. ok = syn:start(),
  609. ok = rpc:call(SlaveNode1, syn, start, []),
  610. ok = rpc:call(SlaveNode2, syn, start, []),
  611. timer:sleep(100),
  612. %% start processes
  613. Pid0 = syn_test_suite_helper:start_process(),
  614. Pid0Changed = syn_test_suite_helper:start_process(),
  615. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  616. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  617. timer:sleep(100),
  618. %% retrieve
  619. undefined = syn:whereis(<<"proc0">>),
  620. undefined = syn:whereis(<<"proc0-changed">>),
  621. undefined = syn:whereis(<<"proc1">>),
  622. undefined = syn:whereis(<<"proc2">>),
  623. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  624. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  625. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  626. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  627. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  628. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  629. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  630. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  631. %% register (mix nodes)
  632. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0">>, Pid0]),
  633. ok = syn:register(<<"proc1">>, Pid1),
  634. ok = rpc:call(SlaveNode1, syn, register, [<<"proc2">>, Pid2]),
  635. ok = rpc:call(SlaveNode1, syn, register, [<<"proc0-changed">>, Pid0Changed]),
  636. timer:sleep(200),
  637. %% retrieve
  638. Pid0 = syn:whereis(<<"proc0">>),
  639. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  640. Pid1 = syn:whereis(<<"proc1">>),
  641. Pid2 = syn:whereis(<<"proc2">>),
  642. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  643. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  644. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  645. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  646. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  647. Pid0Changed = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  648. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  649. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  650. %% disconnect slave 2 from main (slave 1 can still see slave 2)
  651. syn_test_suite_helper:disconnect_node(SlaveNode2),
  652. timer:sleep(500),
  653. %% retrieve
  654. Pid0 = syn:whereis(<<"proc0">>),
  655. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  656. Pid1 = syn:whereis(<<"proc1">>),
  657. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  658. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  659. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  660. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  661. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]), %% slave 1 still has slave 2 so 'proc2' is still there
  662. %% disconnect slave 1
  663. syn_test_suite_helper:disconnect_node(SlaveNode1),
  664. timer:sleep(500),
  665. %% unregister proc0-changed
  666. ok = syn:unregister(<<"proc0-changed">>),
  667. %% retrieve
  668. Pid0 = syn:whereis(<<"proc0">>),
  669. undefined = syn:whereis(<<"proc0-changed">>),
  670. undefined = syn:whereis(<<"proc1">>),
  671. undefined = syn:whereis(<<"proc2">>),
  672. %% reconnect all
  673. syn_test_suite_helper:connect_node(SlaveNode1),
  674. syn_test_suite_helper:connect_node(SlaveNode2),
  675. timer:sleep(5000),
  676. %% retrieve
  677. Pid0 = syn:whereis(<<"proc0">>),
  678. undefined = syn:whereis(<<"proc0-changed">>),
  679. Pid1 = syn:whereis(<<"proc1">>),
  680. Pid2 = syn:whereis(<<"proc2">>),
  681. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  682. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  683. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  684. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  685. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  686. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  687. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  688. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]).
  689. three_nodes_full_netsplit_consistency(Config) ->
  690. %% get slaves
  691. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  692. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  693. %% start syn on nodes
  694. ok = syn:start(),
  695. ok = rpc:call(SlaveNode1, syn, start, []),
  696. ok = rpc:call(SlaveNode2, syn, start, []),
  697. timer:sleep(100),
  698. %% start processes
  699. Pid0 = syn_test_suite_helper:start_process(),
  700. Pid0Changed = syn_test_suite_helper:start_process(),
  701. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  702. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  703. timer:sleep(100),
  704. %% retrieve
  705. undefined = syn:whereis(<<"proc0">>),
  706. undefined = syn:whereis(<<"proc0-changed">>),
  707. undefined = syn:whereis(<<"proc1">>),
  708. undefined = syn:whereis(<<"proc2">>),
  709. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  710. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  711. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  712. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  713. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  714. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  715. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  716. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  717. %% register (mix nodes)
  718. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0">>, Pid0]),
  719. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0-changed">>, Pid0Changed]),
  720. ok = syn:register(<<"proc1">>, Pid1),
  721. ok = rpc:call(SlaveNode1, syn, register, [<<"proc2">>, Pid2]),
  722. timer:sleep(200),
  723. %% retrieve
  724. Pid0 = syn:whereis(<<"proc0">>),
  725. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  726. Pid1 = syn:whereis(<<"proc1">>),
  727. Pid2 = syn:whereis(<<"proc2">>),
  728. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  729. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  730. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  731. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  732. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  733. Pid0Changed = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  734. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  735. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  736. %% disconnect slave 2 from main (slave 1 can still see slave 2)
  737. syn_test_suite_helper:disconnect_node(SlaveNode2),
  738. timer:sleep(500),
  739. %% retrieve
  740. Pid0 = syn:whereis(<<"proc0">>),
  741. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  742. Pid1 = syn:whereis(<<"proc1">>),
  743. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  744. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  745. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  746. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  747. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]), %% slave 1 still has slave 2 so 'proc2' is still there
  748. %% disconnect slave 2 from slave 1
  749. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  750. timer:sleep(500),
  751. %% retrieve
  752. Pid0 = syn:whereis(<<"proc0">>),
  753. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  754. Pid1 = syn:whereis(<<"proc1">>),
  755. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  756. undefined = syn:whereis(<<"proc2">>, with_meta),
  757. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  758. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  759. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  760. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  761. %% disconnect slave 1
  762. syn_test_suite_helper:disconnect_node(SlaveNode1),
  763. timer:sleep(500),
  764. %% unregister
  765. ok = syn:unregister(<<"proc0-changed">>),
  766. %% retrieve
  767. Pid0 = syn:whereis(<<"proc0">>),
  768. undefined = syn:whereis(<<"proc0-changed">>),
  769. undefined = syn:whereis(<<"proc1">>),
  770. undefined = syn:whereis(<<"proc2">>),
  771. %% reconnect all
  772. syn_test_suite_helper:connect_node(SlaveNode1),
  773. syn_test_suite_helper:connect_node(SlaveNode2),
  774. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  775. timer:sleep(1500),
  776. %% retrieve
  777. Pid0 = syn:whereis(<<"proc0">>),
  778. undefined = syn:whereis(<<"proc0-changed">>),
  779. Pid1 = syn:whereis(<<"proc1">>),
  780. Pid2 = syn:whereis(<<"proc2">>),
  781. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  782. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  783. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  784. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  785. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  786. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  787. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  788. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]).
  789. three_nodes_start_syn_before_connecting_cluster_with_conflict(Config) ->
  790. ConflictingName = "COMMON",
  791. %% get slaves
  792. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  793. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  794. %% start processes
  795. Pid0 = syn_test_suite_helper:start_process(),
  796. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  797. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  798. %% start delayed
  799. start_syn_delayed_and_register_local_process(ConflictingName, Pid0, 1500),
  800. rpc:cast(SlaveNode1, ?MODULE, start_syn_delayed_and_register_local_process, [ConflictingName, Pid1, 1500]),
  801. rpc:cast(SlaveNode2, ?MODULE, start_syn_delayed_and_register_local_process, [ConflictingName, Pid2, 1500]),
  802. timer:sleep(500),
  803. %% disconnect all
  804. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  805. syn_test_suite_helper:disconnect_node(SlaveNode1),
  806. syn_test_suite_helper:disconnect_node(SlaveNode2),
  807. timer:sleep(1500),
  808. [] = nodes(),
  809. %% reconnect all
  810. syn_test_suite_helper:connect_node(SlaveNode1),
  811. syn_test_suite_helper:connect_node(SlaveNode2),
  812. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  813. timer:sleep(1500),
  814. %% count
  815. 1 = syn:registry_count(),
  816. 1 = rpc:call(SlaveNode1, syn, registry_count, []),
  817. 1 = rpc:call(SlaveNode2, syn, registry_count, []),
  818. %% retrieve
  819. true = lists:member(syn:whereis(ConflictingName), [Pid0, Pid1, Pid2]),
  820. true = lists:member(rpc:call(SlaveNode1, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  821. true = lists:member(rpc:call(SlaveNode2, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  822. %% check metadata
  823. case syn:whereis(ConflictingName, with_meta) of
  824. {Pid0, Meta} ->
  825. CurrentNode = node(),
  826. %% check that other nodes' data corresponds
  827. {Pid0, CurrentNode} = rpc:call(SlaveNode1, syn, whereis, [ConflictingName, with_meta]),
  828. {Pid0, CurrentNode} = rpc:call(SlaveNode2, syn, whereis, [ConflictingName, with_meta]),
  829. %% check that other processes are not alive because syn killed them
  830. true = is_process_alive(Pid0),
  831. false = rpc:call(SlaveNode1, erlang, is_process_alive, [Pid1]),
  832. false = rpc:call(SlaveNode2, erlang, is_process_alive, [Pid2]);
  833. {Pid1, Meta} ->
  834. SlaveNode1 = Meta,
  835. %% check that other nodes' data corresponds
  836. {Pid1, Meta} = rpc:call(SlaveNode1, syn, whereis, [ConflictingName, with_meta]),
  837. {Pid1, Meta} = rpc:call(SlaveNode2, syn, whereis, [ConflictingName, with_meta]),
  838. %% check that other processes are not alive because syn killed them
  839. false = is_process_alive(Pid0),
  840. true = rpc:call(SlaveNode1, erlang, is_process_alive, [Pid1]),
  841. false = rpc:call(SlaveNode2, erlang, is_process_alive, [Pid2]);
  842. {Pid2, Meta} ->
  843. SlaveNode2 = Meta,
  844. %% check that other nodes' data corresponds
  845. {Pid2, Meta} = rpc:call(SlaveNode1, syn, whereis, [ConflictingName, with_meta]),
  846. {Pid2, Meta} = rpc:call(SlaveNode2, syn, whereis, [ConflictingName, with_meta]),
  847. %% check that other processes are not alive because syn killed them
  848. false = is_process_alive(Pid0),
  849. false = rpc:call(SlaveNode1, erlang, is_process_alive, [Pid1]),
  850. true = rpc:call(SlaveNode2, erlang, is_process_alive, [Pid2]);
  851. _ ->
  852. ok = no_process_is_registered_with_conflicting_name
  853. end.
  854. three_nodes_start_syn_before_connecting_cluster_with_custom_conflict_resolution(Config) ->
  855. ConflictingName = "COMMON",
  856. %% get slaves
  857. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  858. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  859. %% start processes
  860. Pid0 = syn_test_suite_helper:start_process(),
  861. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  862. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  863. %% start delayed
  864. start_syn_delayed_with_custom_handler_register_local_process(ConflictingName, Pid0, {node, node()}, 1500),
  865. rpc:cast(
  866. SlaveNode1,
  867. ?MODULE,
  868. start_syn_delayed_with_custom_handler_register_local_process,
  869. [ConflictingName, Pid1, keep_this_one, 1500])
  870. ,
  871. rpc:cast(
  872. SlaveNode2,
  873. ?MODULE,
  874. start_syn_delayed_with_custom_handler_register_local_process,
  875. [ConflictingName, Pid2, {node, SlaveNode2}, 1500]
  876. ),
  877. timer:sleep(500),
  878. %% disconnect all
  879. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  880. syn_test_suite_helper:disconnect_node(SlaveNode1),
  881. syn_test_suite_helper:disconnect_node(SlaveNode2),
  882. timer:sleep(1500),
  883. [] = nodes(),
  884. %% reconnect all
  885. syn_test_suite_helper:connect_node(SlaveNode1),
  886. syn_test_suite_helper:connect_node(SlaveNode2),
  887. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  888. timer:sleep(5000),
  889. %% count
  890. 1 = syn:registry_count(),
  891. 1 = rpc:call(SlaveNode1, syn, registry_count, []),
  892. 1 = rpc:call(SlaveNode2, syn, registry_count, []),
  893. %% retrieve
  894. true = lists:member(syn:whereis(ConflictingName), [Pid0, Pid1, Pid2]),
  895. true = lists:member(rpc:call(SlaveNode1, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  896. true = lists:member(rpc:call(SlaveNode2, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  897. %% check metadata that we kept the correct process on all nodes
  898. {Pid1, keep_this_one} = syn:whereis(ConflictingName, with_meta),
  899. {Pid1, keep_this_one} = rpc:call(SlaveNode1, syn, whereis, [ConflictingName, with_meta]),
  900. {Pid1, keep_this_one} = rpc:call(SlaveNode1, syn, whereis, [ConflictingName, with_meta]),
  901. %% check that other processes are still alive because we didn't kill them
  902. true = is_process_alive(Pid0),
  903. true = rpc:call(SlaveNode1, erlang, is_process_alive, [Pid1]),
  904. true = rpc:call(SlaveNode2, erlang, is_process_alive, [Pid2]).
  905. three_nodes_registration_race_condition_custom_conflict_resolution(Config) ->
  906. ConflictingName = "COMMON",
  907. %% get slaves
  908. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  909. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  910. %% use customer handler
  911. syn_test_suite_helper:use_custom_handler(),
  912. rpc:call(SlaveNode1, syn_test_suite_helper, use_custom_handler, []),
  913. rpc:call(SlaveNode2, syn_test_suite_helper, use_custom_handler, []),
  914. %% start syn on nodes
  915. ok = syn:start(),
  916. ok = rpc:call(SlaveNode1, syn, start, []),
  917. ok = rpc:call(SlaveNode2, syn, start, []),
  918. timer:sleep(500),
  919. %% start processes
  920. Pid0 = syn_test_suite_helper:start_process(),
  921. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  922. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  923. %% inject into syn to simulate concurrent registration
  924. ok = rpc:call(SlaveNode1, syn_registry, add_to_local_table, [ConflictingName, Pid1, keep_this_one, undefined]),
  925. %% register on master node to trigger conflict resolution
  926. ok = syn:register(ConflictingName, Pid0, node()),
  927. timer:sleep(1000),
  928. %% retrieve
  929. true = lists:member(syn:whereis(ConflictingName), [Pid0, Pid1, Pid2]),
  930. true = lists:member(rpc:call(SlaveNode1, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  931. true = lists:member(rpc:call(SlaveNode2, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  932. %% check metadata that we kept the correct process on all nodes
  933. {Pid1, keep_this_one} = syn:whereis(ConflictingName, with_meta),
  934. {Pid1, keep_this_one} = rpc:call(SlaveNode1, syn, whereis, [ConflictingName, with_meta]),
  935. {Pid1, keep_this_one} = rpc:call(SlaveNode1, syn, whereis, [ConflictingName, with_meta]),
  936. %% check that other processes are still alive because we didn't kill them
  937. true = is_process_alive(Pid0),
  938. true = rpc:call(SlaveNode1, erlang, is_process_alive, [Pid1]),
  939. true = rpc:call(SlaveNode2, erlang, is_process_alive, [Pid2]).
  940. three_nodes_anti_entropy(Config) ->
  941. %% get slaves
  942. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  943. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  944. %% use customer handler
  945. syn_test_suite_helper:use_custom_handler(),
  946. rpc:call(SlaveNode1, syn_test_suite_helper, use_custom_handler, []),
  947. rpc:call(SlaveNode2, syn_test_suite_helper, use_custom_handler, []),
  948. %% set anti-entropy with a very low interval (0.25 second)
  949. syn_test_suite_helper:use_anti_entropy(registry, 0.25),
  950. rpc:call(SlaveNode1, syn_test_suite_helper, use_anti_entropy, [registry, 0.25]),
  951. rpc:call(SlaveNode2, syn_test_suite_helper, use_anti_entropy, [registry, 0.25]),
  952. %% start syn on nodes
  953. ok = syn:start(),
  954. ok = rpc:call(SlaveNode1, syn, start, []),
  955. ok = rpc:call(SlaveNode2, syn, start, []),
  956. timer:sleep(100),
  957. %% start processes
  958. Pid0 = syn_test_suite_helper:start_process(),
  959. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  960. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  961. Pid0Conflict = syn_test_suite_helper:start_process(),
  962. Pid1Conflict = syn_test_suite_helper:start_process(SlaveNode1),
  963. Pid2Conflict = syn_test_suite_helper:start_process(SlaveNode2),
  964. timer:sleep(100),
  965. %% inject data to simulate latent conflicts
  966. ok = syn_registry:add_to_local_table("pid0", Pid0, node(), undefined),
  967. ok = rpc:call(SlaveNode1, syn_registry, add_to_local_table, ["pid1", Pid1, SlaveNode1, undefined]),
  968. ok = rpc:call(SlaveNode2, syn_registry, add_to_local_table, ["pid2", Pid2, SlaveNode2, undefined]),
  969. ok = syn_registry:add_to_local_table("conflict", Pid0Conflict, node(), undefined),
  970. ok = rpc:call(SlaveNode1, syn_registry, add_to_local_table, ["conflict", Pid1Conflict, keep_this_one, undefined]),
  971. ok = rpc:call(SlaveNode2, syn_registry, add_to_local_table, ["conflict", Pid2Conflict, SlaveNode2, undefined]),
  972. %% wait to let anti-entropy settle
  973. timer:sleep(5000),
  974. %% check
  975. Node = node(),
  976. {Pid0, Node} = syn:whereis("pid0", with_meta),
  977. {Pid1, SlaveNode1} = syn:whereis("pid1", with_meta),
  978. {Pid2, SlaveNode2} = syn:whereis("pid2", with_meta),
  979. {Pid1Conflict, keep_this_one} = syn:whereis("conflict", with_meta),
  980. {Pid0, Node} = rpc:call(SlaveNode1, syn, whereis, ["pid0", with_meta]),
  981. {Pid1, SlaveNode1} = rpc:call(SlaveNode1, syn, whereis, ["pid1", with_meta]),
  982. {Pid2, SlaveNode2} = rpc:call(SlaveNode1, syn, whereis, ["pid2", with_meta]),
  983. {Pid1Conflict, keep_this_one} = rpc:call(SlaveNode1, syn, whereis, ["conflict", with_meta]),
  984. {Pid0, Node} = rpc:call(SlaveNode2, syn, whereis, ["pid0", with_meta]),
  985. {Pid1, SlaveNode1} = rpc:call(SlaveNode2, syn, whereis, ["pid1", with_meta]),
  986. {Pid2, SlaveNode2} = rpc:call(SlaveNode2, syn, whereis, ["pid2", with_meta]),
  987. {Pid1Conflict, keep_this_one} = rpc:call(SlaveNode2, syn, whereis, ["conflict", with_meta]).
  988. three_nodes_anti_entropy_manual(Config) ->
  989. %% get slaves
  990. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  991. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  992. %% use customer handler
  993. syn_test_suite_helper:use_custom_handler(),
  994. rpc:call(SlaveNode1, syn_test_suite_helper, use_custom_handler, []),
  995. rpc:call(SlaveNode2, syn_test_suite_helper, use_custom_handler, []),
  996. %% start syn on nodes
  997. ok = syn:start(),
  998. ok = rpc:call(SlaveNode1, syn, start, []),
  999. ok = rpc:call(SlaveNode2, syn, start, []),
  1000. timer:sleep(100),
  1001. %% start processes
  1002. Pid0 = syn_test_suite_helper:start_process(),
  1003. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  1004. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  1005. Pid0Conflict = syn_test_suite_helper:start_process(),
  1006. Pid1Conflict = syn_test_suite_helper:start_process(SlaveNode1),
  1007. Pid2Conflict = syn_test_suite_helper:start_process(SlaveNode2),
  1008. timer:sleep(100),
  1009. %% inject data to simulate latent conflicts
  1010. ok = syn_registry:add_to_local_table("pid0", Pid0, node(), undefined),
  1011. ok = rpc:call(SlaveNode1, syn_registry, add_to_local_table, ["pid1", Pid1, SlaveNode1, undefined]),
  1012. ok = rpc:call(SlaveNode2, syn_registry, add_to_local_table, ["pid2", Pid2, SlaveNode2, undefined]),
  1013. ok = syn_registry:add_to_local_table("conflict", Pid0Conflict, node(), undefined),
  1014. ok = rpc:call(SlaveNode1, syn_registry, add_to_local_table, ["conflict", Pid1Conflict, keep_this_one, undefined]),
  1015. ok = rpc:call(SlaveNode2, syn_registry, add_to_local_table, ["conflict", Pid2Conflict, SlaveNode2, undefined]),
  1016. %% call anti entropy
  1017. {error, not_remote_node} = syn:sync_from_node(registry, node()),
  1018. ok = syn:sync_from_node(registry, SlaveNode1),
  1019. ok = syn:sync_from_node(registry, SlaveNode2),
  1020. {error, not_remote_node} = rpc:call(SlaveNode1, syn, sync_from_node, [registry, SlaveNode1]),
  1021. ok = rpc:call(SlaveNode1, syn, sync_from_node, [registry, node()]),
  1022. ok = rpc:call(SlaveNode1, syn, sync_from_node, [registry, SlaveNode2]),
  1023. {error, not_remote_node} = rpc:call(SlaveNode2, syn, sync_from_node, [registry, SlaveNode2]),
  1024. ok = rpc:call(SlaveNode2, syn, sync_from_node, [registry, node()]),
  1025. ok = rpc:call(SlaveNode2, syn, sync_from_node, [registry, SlaveNode1]),
  1026. timer:sleep(500),
  1027. %% check
  1028. Node = node(),
  1029. {Pid0, Node} = syn:whereis("pid0", with_meta),
  1030. {Pid1, SlaveNode1} = syn:whereis("pid1", with_meta),
  1031. {Pid2, SlaveNode2} = syn:whereis("pid2", with_meta),
  1032. {Pid1Conflict, keep_this_one} = syn:whereis("conflict", with_meta),
  1033. {Pid0, Node} = rpc:call(SlaveNode1, syn, whereis, ["pid0", with_meta]),
  1034. {Pid1, SlaveNode1} = rpc:call(SlaveNode1, syn, whereis, ["pid1", with_meta]),
  1035. {Pid2, SlaveNode2} = rpc:call(SlaveNode1, syn, whereis, ["pid2", with_meta]),
  1036. {Pid1Conflict, keep_this_one} = rpc:call(SlaveNode1, syn, whereis, ["conflict", with_meta]),
  1037. {Pid0, Node} = rpc:call(SlaveNode2, syn, whereis, ["pid0", with_meta]),
  1038. {Pid1, SlaveNode1} = rpc:call(SlaveNode2, syn, whereis, ["pid1", with_meta]),
  1039. {Pid2, SlaveNode2} = rpc:call(SlaveNode2, syn, whereis, ["pid2", with_meta]),
  1040. {Pid1Conflict, keep_this_one} = rpc:call(SlaveNode2, syn, whereis, ["conflict", with_meta]).
  1041. three_nodes_concurrent_registration_unregistration(Config) ->
  1042. CommonName = "common-name",
  1043. %% get slaves
  1044. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  1045. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  1046. %% start syn on nodes
  1047. ok = syn:start(),
  1048. ok = rpc:call(SlaveNode1, syn, start, []),
  1049. ok = rpc:call(SlaveNode2, syn, start, []),
  1050. timer:sleep(100),
  1051. %% start processes
  1052. Pid0 = syn_test_suite_helper:start_process(),
  1053. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  1054. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  1055. timer:sleep(100),
  1056. %% register on 0
  1057. ok = syn:register(CommonName, Pid0, node()),
  1058. timer:sleep(250),
  1059. %% check
  1060. Node = node(),
  1061. {Pid0, Node} = syn:whereis(CommonName, with_meta),
  1062. {Pid0, Node} = rpc:call(SlaveNode1, syn, whereis, [CommonName, with_meta]),
  1063. {Pid0, Node} = rpc:call(SlaveNode2, syn, whereis, [CommonName, with_meta]),
  1064. %% simulate unregistration with inconsistent data
  1065. syn_registry:sync_unregister(SlaveNode1, Pid1, CommonName),
  1066. timer:sleep(250),
  1067. %% check
  1068. Node = node(),
  1069. {Pid0, Node} = syn:whereis(CommonName, with_meta),
  1070. {Pid0, Node} = rpc:call(SlaveNode1, syn, whereis, [CommonName, with_meta]),
  1071. {Pid0, Node} = rpc:call(SlaveNode2, syn, whereis, [CommonName, with_meta]).
  1072. three_nodes_resolve_conflict_on_all_nodes(Config) ->
  1073. CommonName = "common-name",
  1074. %% get slaves
  1075. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  1076. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  1077. %% start syn on nodes
  1078. ok = syn:start(),
  1079. ok = rpc:call(SlaveNode1, syn, start, []),
  1080. ok = rpc:call(SlaveNode2, syn, start, []),
  1081. timer:sleep(100),
  1082. %% start processes
  1083. Pid0 = syn_test_suite_helper:start_process(),
  1084. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  1085. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  1086. timer:sleep(100),
  1087. %% register on slave 1begin
  1088. ok = rpc:call(SlaveNode1, syn, register, [CommonName, Pid1, SlaveNode1]),
  1089. timer:sleep(100),
  1090. %% check
  1091. {Pid1, SlaveNode1} = syn:whereis(CommonName, with_meta),
  1092. {Pid1, SlaveNode1} = rpc:call(SlaveNode1, syn, whereis, [CommonName, with_meta]),
  1093. {Pid1, SlaveNode1} = rpc:call(SlaveNode2, syn, whereis, [CommonName, with_meta]),
  1094. %% force a sync registration conflict on master node from slave 2
  1095. syn_registry:sync_register(node(), CommonName, Pid2, SlaveNode2),
  1096. timer:sleep(1000),
  1097. %% check
  1098. {Pid2, SlaveNode2} = syn:whereis(CommonName, with_meta),
  1099. {Pid2, SlaveNode2} = rpc:call(SlaveNode1, syn, whereis, [CommonName, with_meta]).
  1100. %% ===================================================================
  1101. %% Internal
  1102. %% ===================================================================
  1103. start_syn_delayed_and_register_local_process(Name, Pid, Ms) ->
  1104. spawn(fun() ->
  1105. lists:foreach(fun(Node) ->
  1106. syn_test_suite_helper:disconnect_node(Node)
  1107. end, nodes()),
  1108. timer:sleep(Ms),
  1109. [] = nodes(),
  1110. %%
  1111. syn:start(),
  1112. ok = syn:register(Name, Pid, node())
  1113. end).
  1114. start_syn_delayed_with_custom_handler_register_local_process(Name, Pid, Meta, Ms) ->
  1115. spawn(fun() ->
  1116. lists:foreach(fun(Node) ->
  1117. syn_test_suite_helper:disconnect_node(Node)
  1118. end, nodes()),
  1119. timer:sleep(Ms),
  1120. [] = nodes(),
  1121. %% use customer handler
  1122. syn_test_suite_helper:use_custom_handler(),
  1123. %%
  1124. syn:start(),
  1125. ok = syn:register(Name, Pid, Meta)
  1126. end).
  1127. seq_unregister_register(Name, Pid, Meta) ->
  1128. syn:unregister(Name),
  1129. syn:register(Name, Pid, Meta).