syn_registry_SUITE.erl 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758
  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. ]).
  41. -export([
  42. two_nodes_register_monitor_and_unregister/1,
  43. two_nodes_registry_count/1
  44. ]).
  45. -export([
  46. three_nodes_partial_netsplit_consistency/1,
  47. three_nodes_full_netsplit_consistency/1,
  48. three_nodes_start_syn_before_connecting_cluster_with_conflict/1,
  49. three_nodes_start_syn_before_connecting_cluster_with_custom_conflict_resolution/1
  50. ]).
  51. %% support
  52. -export([
  53. start_syn_delayed_and_register_local_process/3,
  54. start_syn_delayed_with_custom_handler_register_local_process/4
  55. ]).
  56. %% include
  57. -include_lib("common_test/include/ct.hrl").
  58. %% ===================================================================
  59. %% Callbacks
  60. %% ===================================================================
  61. %% -------------------------------------------------------------------
  62. %% Function: all() -> GroupsAndTestCases | {skip,Reason}
  63. %% GroupsAndTestCases = [{group,GroupName} | TestCase]
  64. %% GroupName = atom()
  65. %% TestCase = atom()
  66. %% Reason = any()
  67. %% -------------------------------------------------------------------
  68. all() ->
  69. [
  70. {group, single_node_process_registration},
  71. {group, two_nodes_process_registration},
  72. {group, three_nodes_process_registration}
  73. ].
  74. %% -------------------------------------------------------------------
  75. %% Function: groups() -> [Group]
  76. %% Group = {GroupName,Properties,GroupsAndTestCases}
  77. %% GroupName = atom()
  78. %% Properties = [parallel | sequence | Shuffle | {RepeatType,N}]
  79. %% GroupsAndTestCases = [Group | {group,GroupName} | TestCase]
  80. %% TestCase = atom()
  81. %% Shuffle = shuffle | {shuffle,{integer(),integer(),integer()}}
  82. %% RepeatType = repeat | repeat_until_all_ok | repeat_until_all_fail |
  83. %% repeat_until_any_ok | repeat_until_any_fail
  84. %% N = integer() | forever
  85. %% -------------------------------------------------------------------
  86. groups() ->
  87. [
  88. {single_node_process_registration, [shuffle], [
  89. single_node_register_and_monitor,
  90. single_node_register_and_unregister,
  91. single_node_registration_errors,
  92. single_node_registry_count,
  93. single_node_register_gen_server,
  94. single_node_callback_on_process_exit
  95. ]},
  96. {two_nodes_process_registration, [shuffle], [
  97. two_nodes_register_monitor_and_unregister,
  98. two_nodes_registry_count
  99. ]},
  100. {three_nodes_process_registration, [shuffle], [
  101. three_nodes_partial_netsplit_consistency,
  102. three_nodes_full_netsplit_consistency,
  103. three_nodes_start_syn_before_connecting_cluster_with_conflict,
  104. three_nodes_start_syn_before_connecting_cluster_with_custom_conflict_resolution
  105. ]}
  106. ].
  107. %% -------------------------------------------------------------------
  108. %% Function: init_per_suite(Config0) ->
  109. %% Config1 | {skip,Reason} |
  110. %% {skip_and_save,Reason,Config1}
  111. %% Config0 = Config1 = [tuple()]
  112. %% Reason = any()
  113. %% -------------------------------------------------------------------
  114. init_per_suite(Config) ->
  115. Config.
  116. %% -------------------------------------------------------------------
  117. %% Function: end_per_suite(Config0) -> void() | {save_config,Config1}
  118. %% Config0 = Config1 = [tuple()]
  119. %% -------------------------------------------------------------------
  120. end_per_suite(_Config) ->
  121. ok.
  122. %% -------------------------------------------------------------------
  123. %% Function: init_per_group(GroupName, Config0) ->
  124. %% Config1 | {skip,Reason} |
  125. %% {skip_and_save,Reason,Config1}
  126. %% GroupName = atom()
  127. %% Config0 = Config1 = [tuple()]
  128. %% Reason = any()
  129. %% -------------------------------------------------------------------
  130. init_per_group(two_nodes_process_registration, Config) ->
  131. %% start slave
  132. {ok, SlaveNode} = syn_test_suite_helper:start_slave(syn_slave),
  133. %% config
  134. [{slave_node, SlaveNode} | Config];
  135. init_per_group(three_nodes_process_registration, Config) ->
  136. %% start slave
  137. {ok, SlaveNode1} = syn_test_suite_helper:start_slave(syn_slave_1),
  138. {ok, SlaveNode2} = syn_test_suite_helper:start_slave(syn_slave_2),
  139. %% config
  140. [{slave_node_1, SlaveNode1}, {slave_node_2, SlaveNode2} | Config];
  141. init_per_group(_GroupName, Config) ->
  142. Config.
  143. %% -------------------------------------------------------------------
  144. %% Function: end_per_group(GroupName, Config0) ->
  145. %% void() | {save_config,Config1}
  146. %% GroupName = atom()
  147. %% Config0 = Config1 = [tuple()]
  148. %% -------------------------------------------------------------------
  149. end_per_group(two_nodes_process_registration, Config) ->
  150. SlaveNode = proplists:get_value(slave_node, Config),
  151. syn_test_suite_helper:connect_node(SlaveNode),
  152. syn_test_suite_helper:stop_slave(syn_slave),
  153. timer:sleep(1000);
  154. end_per_group(three_nodes_process_registration, Config) ->
  155. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  156. syn_test_suite_helper:connect_node(SlaveNode1),
  157. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  158. syn_test_suite_helper:connect_node(SlaveNode2),
  159. syn_test_suite_helper:stop_slave(syn_slave_1),
  160. syn_test_suite_helper:stop_slave(syn_slave_2),
  161. timer:sleep(1000);
  162. end_per_group(_GroupName, _Config) ->
  163. ok.
  164. %% -------------------------------------------------------------------
  165. %% Function: init_per_testcase(TestCase, Config0) ->
  166. %% Config1 | {skip,Reason} | {skip_and_save,Reason,Config1}
  167. %% TestCase = atom()
  168. %% Config0 = Config1 = [tuple()]
  169. %% Reason = any()
  170. %% -------------------------------------------------------------------
  171. init_per_testcase(_TestCase, Config) ->
  172. Config.
  173. %% -------------------------------------------------------------------
  174. %% Function: end_per_testcase(TestCase, Config0) ->
  175. %% void() | {save_config,Config1} | {fail,Reason}
  176. %% TestCase = atom()
  177. %% Config0 = Config1 = [tuple()]
  178. %% Reason = any()
  179. %% -------------------------------------------------------------------
  180. end_per_testcase(_, _Config) ->
  181. syn_test_suite_helper:clean_after_test().
  182. %% ===================================================================
  183. %% Tests
  184. %% ===================================================================
  185. single_node_register_and_monitor(_Config) ->
  186. %% start
  187. ok = syn:start(),
  188. %% start processes
  189. Pid = syn_test_suite_helper:start_process(),
  190. PidWithMeta = syn_test_suite_helper:start_process(),
  191. %% retrieve
  192. undefined = syn:whereis(<<"my proc">>),
  193. %% register
  194. ok = syn:register(<<"my proc">>, Pid),
  195. ok = syn:register(<<"my proc 2">>, Pid),
  196. ok = syn:register(<<"my proc with meta">>, PidWithMeta, {meta, <<"meta">>}),
  197. %% retrieve
  198. Pid = syn:whereis(<<"my proc">>),
  199. Pid = syn:whereis(<<"my proc 2">>),
  200. {PidWithMeta, {meta, <<"meta">>}} = syn:whereis(<<"my proc with meta">>, with_meta),
  201. %% re-register
  202. ok = syn:register(<<"my proc with meta">>, PidWithMeta, {meta2, <<"meta2">>}),
  203. {PidWithMeta, {meta2, <<"meta2">>}} = syn:whereis(<<"my proc with meta">>, with_meta),
  204. %% kill process
  205. syn_test_suite_helper:kill_process(Pid),
  206. syn_test_suite_helper:kill_process(PidWithMeta),
  207. timer:sleep(100),
  208. %% retrieve
  209. undefined = syn:whereis(<<"my proc">>),
  210. undefined = syn:whereis(<<"my proc 2">>),
  211. undefined = syn:whereis(<<"my proc with meta">>).
  212. single_node_register_and_unregister(_Config) ->
  213. %% start
  214. ok = syn:start(),
  215. %% start process
  216. Pid = syn_test_suite_helper:start_process(),
  217. %% retrieve
  218. undefined = syn:whereis(<<"my proc">>),
  219. %% register
  220. ok = syn:register(<<"my proc">>, Pid),
  221. ok = syn:register(<<"my proc 2">>, Pid),
  222. %% retrieve
  223. Pid = syn:whereis(<<"my proc">>),
  224. Pid = syn:whereis(<<"my proc 2">>),
  225. %% unregister 1
  226. ok = syn:unregister(<<"my proc">>),
  227. %% retrieve
  228. undefined = syn:whereis(<<"my proc">>),
  229. Pid = syn:whereis(<<"my proc 2">>),
  230. %% unregister 2
  231. ok = syn:unregister(<<"my proc 2">>),
  232. {error, undefined} = syn:unregister(<<"my proc 2">>),
  233. %% retrieve
  234. undefined = syn:whereis(<<"my proc">>),
  235. undefined = syn:whereis(<<"my proc 2">>),
  236. %% kill process
  237. syn_test_suite_helper:kill_process(Pid).
  238. single_node_registration_errors(_Config) ->
  239. %% start
  240. ok = syn:start(),
  241. %% start process
  242. Pid = syn_test_suite_helper:start_process(),
  243. Pid2 = syn_test_suite_helper:start_process(),
  244. %% register
  245. ok = syn:register(<<"my proc">>, Pid),
  246. {error, taken} = syn:register(<<"my proc">>, Pid2),
  247. %% kill processes
  248. syn_test_suite_helper:kill_process(Pid),
  249. syn_test_suite_helper:kill_process(Pid2),
  250. timer:sleep(100),
  251. %% retrieve
  252. undefined = syn:whereis(<<"my proc">>),
  253. %% try registering a dead pid
  254. {error, not_alive} = syn:register(<<"my proc">>, Pid).
  255. single_node_registry_count(_Config) ->
  256. %% start
  257. ok = syn:start(),
  258. %% start process
  259. Pid = syn_test_suite_helper:start_process(),
  260. Pid2 = syn_test_suite_helper:start_process(),
  261. PidUnregistered = syn_test_suite_helper:start_process(),
  262. %% register
  263. ok = syn:register(<<"my proc">>, Pid),
  264. ok = syn:register(<<"my proc 2">>, Pid2),
  265. %% count
  266. 2 = syn:registry_count(),
  267. 2 = syn:registry_count(node()),
  268. %% kill & unregister
  269. syn_test_suite_helper:kill_process(Pid),
  270. ok = syn:unregister(<<"my proc 2">>),
  271. syn_test_suite_helper:kill_process(PidUnregistered),
  272. timer:sleep(100),
  273. %% count
  274. 0 = syn:registry_count(),
  275. 0 = syn:registry_count(node()).
  276. single_node_register_gen_server(_Config) ->
  277. %% start
  278. ok = syn:start(),
  279. %% start gen server via syn
  280. {ok, Pid} = syn_test_gen_server:start_link(),
  281. %% retrieve
  282. Pid = syn:whereis(syn_test_gen_server),
  283. %% call
  284. pong = syn_test_gen_server:ping(),
  285. %% send via syn
  286. syn:send(syn_test_gen_server, {self(), send_ping}),
  287. receive
  288. send_pong -> ok
  289. after 1000 ->
  290. ok = did_not_receive_gen_server_pong
  291. end,
  292. %% stop server
  293. syn_test_gen_server:stop(),
  294. timer:sleep(200),
  295. %% retrieve
  296. undefined = syn:whereis(syn_test_gen_server),
  297. %% send via syn
  298. {badarg, {syn_test_gen_server, anything}} = (catch syn:send(syn_test_gen_server, anything)).
  299. single_node_callback_on_process_exit(_Config) ->
  300. %% use custom handler
  301. syn_test_suite_helper:use_custom_handler(),
  302. %% start
  303. ok = syn:start(),
  304. %% start process
  305. Pid = syn_test_suite_helper:start_process(),
  306. Pid2 = syn_test_suite_helper:start_process(),
  307. %% register
  308. TestPid = self(),
  309. ok = syn:register(<<"my proc">>, Pid, {pid, TestPid}),
  310. ok = syn:register(<<"my proc - alternate">>, Pid, {pid_alternate, TestPid}),
  311. ok = syn:register(<<"my proc 2">>, Pid2, {pid2, TestPid}),
  312. %% kill 1
  313. syn_test_suite_helper:kill_process(Pid),
  314. receive
  315. {received_event_on, pid} ->
  316. ok;
  317. {received_event_on, pid2} ->
  318. ok = callback_on_process_exit_was_received_by_pid2
  319. after 1000 ->
  320. ok = callback_on_process_exit_was_not_received_by_pid
  321. end,
  322. receive
  323. {received_event_on, pid_alternate} ->
  324. ok;
  325. {received_event_on, pid2} ->
  326. ok = callback_on_process_exit_was_received_by_pid2
  327. after 1000 ->
  328. ok = callback_on_process_exit_was_not_received_by_pid
  329. end,
  330. %% unregister & kill 2
  331. ok = syn:unregister(<<"my proc 2">>),
  332. syn_test_suite_helper:kill_process(Pid2),
  333. receive
  334. {received_event_on, pid2} ->
  335. ok = callback_on_process_exit_was_received_by_pid2
  336. after 1000 ->
  337. ok
  338. end.
  339. two_nodes_register_monitor_and_unregister(Config) ->
  340. %% get slave
  341. SlaveNode = proplists:get_value(slave_node, Config),
  342. %% start
  343. ok = syn:start(),
  344. ok = rpc:call(SlaveNode, syn, start, []),
  345. timer:sleep(100),
  346. %% start processes
  347. LocalPid = syn_test_suite_helper:start_process(),
  348. RemotePid = syn_test_suite_helper:start_process(SlaveNode),
  349. RemotePidRegRemote = syn_test_suite_helper:start_process(SlaveNode),
  350. %% retrieve
  351. undefined = syn:whereis(<<"local proc">>),
  352. undefined = syn:whereis(<<"remote proc">>),
  353. undefined = syn:whereis(<<"remote proc reg_remote">>),
  354. undefined = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  355. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  356. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  357. %% register
  358. ok = syn:register(<<"local proc">>, LocalPid),
  359. ok = syn:register(<<"remote proc">>, RemotePid),
  360. ok = rpc:call(SlaveNode, syn, register, [<<"remote proc reg_remote">>, RemotePidRegRemote]),
  361. timer:sleep(500),
  362. %% retrieve
  363. LocalPid = syn:whereis(<<"local proc">>),
  364. RemotePid = syn:whereis(<<"remote proc">>),
  365. RemotePidRegRemote = syn:whereis(<<"remote proc reg_remote">>),
  366. LocalPid = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  367. RemotePid = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  368. RemotePidRegRemote = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  369. %% kill & unregister processes
  370. syn_test_suite_helper:kill_process(LocalPid),
  371. ok = syn:unregister(<<"remote proc">>),
  372. syn_test_suite_helper:kill_process(RemotePidRegRemote),
  373. timer:sleep(100),
  374. %% retrieve
  375. undefined = syn:whereis(<<"local proc">>),
  376. undefined = syn:whereis(<<"remote proc">>),
  377. undefined = syn:whereis(<<"remote proc reg_remote">>),
  378. undefined = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  379. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  380. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  381. %% kill proc
  382. syn_test_suite_helper:kill_process(RemotePid).
  383. two_nodes_registry_count(Config) ->
  384. %% get slave
  385. SlaveNode = proplists:get_value(slave_node, Config),
  386. %% start
  387. ok = syn:start(),
  388. ok = rpc:call(SlaveNode, syn, start, []),
  389. timer:sleep(100),
  390. %% start processes
  391. LocalPid = syn_test_suite_helper:start_process(),
  392. RemotePid = syn_test_suite_helper:start_process(SlaveNode),
  393. RemotePidRegRemote = syn_test_suite_helper:start_process(SlaveNode),
  394. PidUnregistered = syn_test_suite_helper:start_process(),
  395. %% register
  396. ok = syn:register(<<"local proc">>, LocalPid),
  397. ok = syn:register(<<"remote proc">>, RemotePid),
  398. ok = rpc:call(SlaveNode, syn, register, [<<"remote proc reg_remote">>, RemotePidRegRemote]),
  399. timer:sleep(500),
  400. %% count
  401. 3 = syn:registry_count(),
  402. 1 = syn:registry_count(node()),
  403. 2 = syn:registry_count(SlaveNode),
  404. %% kill & unregister processes
  405. syn_test_suite_helper:kill_process(LocalPid),
  406. ok = syn:unregister(<<"remote proc">>),
  407. syn_test_suite_helper:kill_process(RemotePidRegRemote),
  408. timer:sleep(100),
  409. %% count
  410. 0 = syn:registry_count(),
  411. 0 = syn:registry_count(node()),
  412. 0 = syn:registry_count(SlaveNode),
  413. %% kill proc
  414. syn_test_suite_helper:kill_process(RemotePid),
  415. syn_test_suite_helper:kill_process(PidUnregistered).
  416. three_nodes_partial_netsplit_consistency(Config) ->
  417. %% get slaves
  418. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  419. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  420. %% start syn on nodes
  421. ok = syn:start(),
  422. ok = rpc:call(SlaveNode1, syn, start, []),
  423. ok = rpc:call(SlaveNode2, syn, start, []),
  424. timer:sleep(100),
  425. %% start processes
  426. Pid0 = syn_test_suite_helper:start_process(),
  427. Pid0Changed = syn_test_suite_helper:start_process(),
  428. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  429. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  430. timer:sleep(100),
  431. %% retrieve
  432. undefined = syn:whereis(<<"proc0">>),
  433. undefined = syn:whereis(<<"proc0-changed">>),
  434. undefined = syn:whereis(<<"proc1">>),
  435. undefined = syn:whereis(<<"proc2">>),
  436. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  437. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  438. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  439. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  440. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  441. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  442. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  443. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  444. %% register (mix nodes)
  445. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0">>, Pid0]),
  446. ok = syn:register(<<"proc1">>, Pid1),
  447. ok = rpc:call(SlaveNode1, syn, register, [<<"proc2">>, Pid2]),
  448. ok = rpc:call(SlaveNode1, syn, register, [<<"proc0-changed">>, Pid0Changed]),
  449. timer:sleep(200),
  450. %% retrieve
  451. Pid0 = syn:whereis(<<"proc0">>),
  452. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  453. Pid1 = syn:whereis(<<"proc1">>),
  454. Pid2 = syn:whereis(<<"proc2">>),
  455. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  456. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  457. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  458. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  459. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  460. Pid0Changed = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  461. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  462. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  463. %% disconnect slave 2 from main (slave 1 can still see slave 2)
  464. syn_test_suite_helper:disconnect_node(SlaveNode2),
  465. timer:sleep(500),
  466. %% retrieve
  467. Pid0 = syn:whereis(<<"proc0">>),
  468. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  469. Pid1 = syn:whereis(<<"proc1">>),
  470. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  471. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  472. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  473. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  474. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]), %% slave 1 still has slave 2 so 'proc2' is still there
  475. %% disconnect slave 1
  476. syn_test_suite_helper:disconnect_node(SlaveNode1),
  477. timer:sleep(500),
  478. %% unregister proc0-changed
  479. ok = syn:unregister(<<"proc0-changed">>),
  480. %% retrieve
  481. Pid0 = syn:whereis(<<"proc0">>),
  482. undefined = syn:whereis(<<"proc0-changed">>),
  483. undefined = syn:whereis(<<"proc1">>),
  484. undefined = syn:whereis(<<"proc2">>),
  485. %% reconnect all
  486. syn_test_suite_helper:connect_node(SlaveNode1),
  487. syn_test_suite_helper:connect_node(SlaveNode2),
  488. timer:sleep(5000),
  489. %% retrieve
  490. Pid0 = syn:whereis(<<"proc0">>),
  491. undefined = syn:whereis(<<"proc0-changed">>),
  492. Pid1 = syn:whereis(<<"proc1">>),
  493. Pid2 = syn:whereis(<<"proc2">>),
  494. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  495. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  496. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  497. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  498. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  499. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  500. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  501. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  502. %% kill processes
  503. syn_test_suite_helper:kill_process(Pid0),
  504. syn_test_suite_helper:kill_process(Pid1),
  505. syn_test_suite_helper:kill_process(Pid2).
  506. three_nodes_full_netsplit_consistency(Config) ->
  507. %% get slaves
  508. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  509. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  510. %% start syn on nodes
  511. ok = syn:start(),
  512. ok = rpc:call(SlaveNode1, syn, start, []),
  513. ok = rpc:call(SlaveNode2, syn, start, []),
  514. timer:sleep(100),
  515. %% start processes
  516. Pid0 = syn_test_suite_helper:start_process(),
  517. Pid0Changed = syn_test_suite_helper:start_process(),
  518. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  519. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  520. timer:sleep(100),
  521. %% retrieve
  522. undefined = syn:whereis(<<"proc0">>),
  523. undefined = syn:whereis(<<"proc0-changed">>),
  524. undefined = syn:whereis(<<"proc1">>),
  525. undefined = syn:whereis(<<"proc2">>),
  526. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  527. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  528. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  529. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  530. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  531. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  532. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  533. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  534. %% register (mix nodes)
  535. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0">>, Pid0]),
  536. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0-changed">>, Pid0Changed]),
  537. ok = syn:register(<<"proc1">>, Pid1),
  538. ok = rpc:call(SlaveNode1, syn, register, [<<"proc2">>, Pid2]),
  539. timer:sleep(200),
  540. %% retrieve
  541. Pid0 = syn:whereis(<<"proc0">>),
  542. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  543. Pid1 = syn:whereis(<<"proc1">>),
  544. Pid2 = syn:whereis(<<"proc2">>),
  545. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  546. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  547. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  548. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  549. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  550. Pid0Changed = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  551. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  552. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  553. %% disconnect slave 2 from main (slave 1 can still see slave 2)
  554. syn_test_suite_helper:disconnect_node(SlaveNode2),
  555. timer:sleep(500),
  556. %% retrieve
  557. Pid0 = syn:whereis(<<"proc0">>),
  558. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  559. Pid1 = syn:whereis(<<"proc1">>),
  560. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  561. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  562. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  563. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  564. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]), %% slave 1 still has slave 2 so 'proc2' is still there
  565. %% disconnect slave 2 from slave 1
  566. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  567. timer:sleep(500),
  568. %% retrieve
  569. Pid0 = syn:whereis(<<"proc0">>),
  570. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  571. Pid1 = syn:whereis(<<"proc1">>),
  572. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  573. undefined = syn:whereis(<<"proc2">>, with_meta),
  574. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  575. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  576. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  577. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  578. %% disconnect slave 1
  579. syn_test_suite_helper:disconnect_node(SlaveNode1),
  580. timer:sleep(500),
  581. %% unregister
  582. ok = syn:unregister(<<"proc0-changed">>),
  583. %% retrieve
  584. Pid0 = syn:whereis(<<"proc0">>),
  585. undefined = syn:whereis(<<"proc0-changed">>),
  586. undefined = syn:whereis(<<"proc1">>),
  587. undefined = syn:whereis(<<"proc2">>),
  588. %% reconnect all
  589. syn_test_suite_helper:connect_node(SlaveNode1),
  590. syn_test_suite_helper:connect_node(SlaveNode2),
  591. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  592. timer:sleep(1500),
  593. %% retrieve
  594. Pid0 = syn:whereis(<<"proc0">>),
  595. undefined = syn:whereis(<<"proc0-changed">>),
  596. Pid1 = syn:whereis(<<"proc1">>),
  597. Pid2 = syn:whereis(<<"proc2">>),
  598. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  599. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  600. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  601. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  602. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  603. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  604. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  605. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  606. %% kill processes
  607. syn_test_suite_helper:kill_process(Pid0),
  608. syn_test_suite_helper:kill_process(Pid0Changed),
  609. syn_test_suite_helper:kill_process(Pid1),
  610. syn_test_suite_helper:kill_process(Pid2).
  611. three_nodes_start_syn_before_connecting_cluster_with_conflict(Config) ->
  612. ConflictingName = "COMMON",
  613. %% get slaves
  614. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  615. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  616. %% start processes
  617. Pid0 = syn_test_suite_helper:start_process(),
  618. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  619. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  620. %% start delayed
  621. start_syn_delayed_and_register_local_process(ConflictingName, Pid0, 1500),
  622. rpc:cast(SlaveNode1, ?MODULE, start_syn_delayed_and_register_local_process, [ConflictingName, Pid1, 1500]),
  623. rpc:cast(SlaveNode2, ?MODULE, start_syn_delayed_and_register_local_process, [ConflictingName, Pid2, 1500]),
  624. timer:sleep(500),
  625. %% disconnect all
  626. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  627. syn_test_suite_helper:disconnect_node(SlaveNode1),
  628. syn_test_suite_helper:disconnect_node(SlaveNode2),
  629. timer:sleep(1500),
  630. [] = nodes(),
  631. %% reconnect all
  632. syn_test_suite_helper:connect_node(SlaveNode1),
  633. syn_test_suite_helper:connect_node(SlaveNode2),
  634. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  635. timer:sleep(1500),
  636. %% count
  637. 1 = syn:registry_count(),
  638. 1 = rpc:call(SlaveNode1, syn, registry_count, []),
  639. 1 = rpc:call(SlaveNode2, syn, registry_count, []),
  640. %% retrieve
  641. true = lists:member(syn:whereis(ConflictingName), [Pid0, Pid1, Pid2]),
  642. true = lists:member(rpc:call(SlaveNode1, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  643. true = lists:member(rpc:call(SlaveNode2, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  644. %% check metadata
  645. case syn:whereis(ConflictingName, with_meta) of
  646. {Pid0, Meta} ->
  647. CurrentNode = node(),
  648. CurrentNode = Meta;
  649. {Pid1, Meta} ->
  650. SlaveNode1 = Meta;
  651. {Pid2, Meta} ->
  652. SlaveNode2 = Meta
  653. end,
  654. %% kill processes
  655. syn_test_suite_helper:kill_process(Pid0),
  656. syn_test_suite_helper:kill_process(Pid1),
  657. syn_test_suite_helper:kill_process(Pid2).
  658. three_nodes_start_syn_before_connecting_cluster_with_custom_conflict_resolution(Config) ->
  659. ConflictingName = "COMMON",
  660. %% get slaves
  661. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  662. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  663. %% start processes
  664. Pid0 = syn_test_suite_helper:start_process(),
  665. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  666. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  667. %% start delayed
  668. start_syn_delayed_with_custom_handler_register_local_process(ConflictingName, Pid0, {node, node()}, 1500),
  669. rpc:cast(
  670. SlaveNode1,
  671. ?MODULE,
  672. start_syn_delayed_with_custom_handler_register_local_process,
  673. [ConflictingName, Pid1, keep_this_one, 1500])
  674. ,
  675. rpc:cast(
  676. SlaveNode2,
  677. ?MODULE,
  678. start_syn_delayed_with_custom_handler_register_local_process,
  679. [ConflictingName, Pid2, {node, SlaveNode2}, 1500]
  680. ),
  681. timer:sleep(500),
  682. %% disconnect all
  683. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  684. syn_test_suite_helper:disconnect_node(SlaveNode1),
  685. syn_test_suite_helper:disconnect_node(SlaveNode2),
  686. timer:sleep(1500),
  687. [] = nodes(),
  688. %% reconnect all
  689. syn_test_suite_helper:connect_node(SlaveNode1),
  690. syn_test_suite_helper:connect_node(SlaveNode2),
  691. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  692. timer:sleep(2500),
  693. %% count
  694. 1 = syn:registry_count(),
  695. 1 = rpc:call(SlaveNode1, syn, registry_count, []),
  696. 1 = rpc:call(SlaveNode2, syn, registry_count, []),
  697. %% retrieve
  698. true = lists:member(syn:whereis(ConflictingName), [Pid0, Pid1, Pid2]),
  699. true = lists:member(rpc:call(SlaveNode1, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  700. true = lists:member(rpc:call(SlaveNode2, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  701. %% check metadata that we kept the correct process
  702. {Pid1, keep_this_one} = syn:whereis(ConflictingName, with_meta),
  703. %% kill processes
  704. syn_test_suite_helper:kill_process(Pid0),
  705. syn_test_suite_helper:kill_process(Pid1),
  706. syn_test_suite_helper:kill_process(Pid2).
  707. %% ===================================================================
  708. %% Internal
  709. %% ===================================================================
  710. start_syn_delayed_and_register_local_process(Name, Pid, Ms) ->
  711. spawn(fun() ->
  712. lists:foreach(fun(Node) ->
  713. syn_test_suite_helper:disconnect_node(Node)
  714. end, nodes()),
  715. timer:sleep(Ms),
  716. [] = nodes(),
  717. %%
  718. syn:start(),
  719. ok = syn:register(Name, Pid, node())
  720. end).
  721. start_syn_delayed_with_custom_handler_register_local_process(Name, Pid, Meta, Ms) ->
  722. spawn(fun() ->
  723. lists:foreach(fun(Node) ->
  724. syn_test_suite_helper:disconnect_node(Node)
  725. end, nodes()),
  726. timer:sleep(Ms),
  727. [] = nodes(),
  728. %% use customer handler
  729. syn_test_suite_helper:use_custom_handler(),
  730. %%
  731. syn:start(),
  732. ok = syn:register(Name, Pid, Meta)
  733. end).