syn_registry_SUITE.erl 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749
  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 2">>, Pid2, {pid2, TestPid}),
  311. %% kill 1
  312. syn_test_suite_helper:kill_process(Pid),
  313. receive
  314. {received_event_on, pid} ->
  315. ok;
  316. {received_event_on, pid2} ->
  317. ok = callback_on_process_exit_was_received_by_pid2
  318. after 1000 ->
  319. ok = callback_on_process_exit_was_not_received_by_pid
  320. end,
  321. %% unregister & kill 2
  322. ok = syn:unregister(<<"my proc 2">>),
  323. syn_test_suite_helper:kill_process(Pid2),
  324. receive
  325. {received_event_on, pid2} ->
  326. ok = callback_on_process_exit_was_received_by_pid2
  327. after 1000 ->
  328. ok
  329. end.
  330. two_nodes_register_monitor_and_unregister(Config) ->
  331. %% get slave
  332. SlaveNode = proplists:get_value(slave_node, Config),
  333. %% start
  334. ok = syn:start(),
  335. ok = rpc:call(SlaveNode, syn, start, []),
  336. timer:sleep(100),
  337. %% start processes
  338. LocalPid = syn_test_suite_helper:start_process(),
  339. RemotePid = syn_test_suite_helper:start_process(SlaveNode),
  340. RemotePidRegRemote = syn_test_suite_helper:start_process(SlaveNode),
  341. %% retrieve
  342. undefined = syn:whereis(<<"local proc">>),
  343. undefined = syn:whereis(<<"remote proc">>),
  344. undefined = syn:whereis(<<"remote proc reg_remote">>),
  345. undefined = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  346. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  347. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  348. %% register
  349. ok = syn:register(<<"local proc">>, LocalPid),
  350. ok = syn:register(<<"remote proc">>, RemotePid),
  351. ok = rpc:call(SlaveNode, syn, register, [<<"remote proc reg_remote">>, RemotePidRegRemote]),
  352. timer:sleep(500),
  353. %% retrieve
  354. LocalPid = syn:whereis(<<"local proc">>),
  355. RemotePid = syn:whereis(<<"remote proc">>),
  356. RemotePidRegRemote = syn:whereis(<<"remote proc reg_remote">>),
  357. LocalPid = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  358. RemotePid = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  359. RemotePidRegRemote = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  360. %% kill & unregister processes
  361. syn_test_suite_helper:kill_process(LocalPid),
  362. ok = syn:unregister(<<"remote proc">>),
  363. syn_test_suite_helper:kill_process(RemotePidRegRemote),
  364. timer:sleep(100),
  365. %% retrieve
  366. undefined = syn:whereis(<<"local proc">>),
  367. undefined = syn:whereis(<<"remote proc">>),
  368. undefined = syn:whereis(<<"remote proc reg_remote">>),
  369. undefined = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  370. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  371. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  372. %% kill proc
  373. syn_test_suite_helper:kill_process(RemotePid).
  374. two_nodes_registry_count(Config) ->
  375. %% get slave
  376. SlaveNode = proplists:get_value(slave_node, Config),
  377. %% start
  378. ok = syn:start(),
  379. ok = rpc:call(SlaveNode, syn, start, []),
  380. timer:sleep(100),
  381. %% start processes
  382. LocalPid = syn_test_suite_helper:start_process(),
  383. RemotePid = syn_test_suite_helper:start_process(SlaveNode),
  384. RemotePidRegRemote = syn_test_suite_helper:start_process(SlaveNode),
  385. PidUnregistered = syn_test_suite_helper:start_process(),
  386. %% register
  387. ok = syn:register(<<"local proc">>, LocalPid),
  388. ok = syn:register(<<"remote proc">>, RemotePid),
  389. ok = rpc:call(SlaveNode, syn, register, [<<"remote proc reg_remote">>, RemotePidRegRemote]),
  390. timer:sleep(500),
  391. %% count
  392. 3 = syn:registry_count(),
  393. 1 = syn:registry_count(node()),
  394. 2 = syn:registry_count(SlaveNode),
  395. %% kill & unregister processes
  396. syn_test_suite_helper:kill_process(LocalPid),
  397. ok = syn:unregister(<<"remote proc">>),
  398. syn_test_suite_helper:kill_process(RemotePidRegRemote),
  399. timer:sleep(100),
  400. %% count
  401. 0 = syn:registry_count(),
  402. 0 = syn:registry_count(node()),
  403. 0 = syn:registry_count(SlaveNode),
  404. %% kill proc
  405. syn_test_suite_helper:kill_process(RemotePid),
  406. syn_test_suite_helper:kill_process(PidUnregistered).
  407. three_nodes_partial_netsplit_consistency(Config) ->
  408. %% get slaves
  409. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  410. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  411. %% start syn on nodes
  412. ok = syn:start(),
  413. ok = rpc:call(SlaveNode1, syn, start, []),
  414. ok = rpc:call(SlaveNode2, syn, start, []),
  415. timer:sleep(100),
  416. %% start processes
  417. Pid0 = syn_test_suite_helper:start_process(),
  418. Pid0Changed = syn_test_suite_helper:start_process(),
  419. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  420. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  421. timer:sleep(100),
  422. %% retrieve
  423. undefined = syn:whereis(<<"proc0">>),
  424. undefined = syn:whereis(<<"proc0-changed">>),
  425. undefined = syn:whereis(<<"proc1">>),
  426. undefined = syn:whereis(<<"proc2">>),
  427. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  428. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  429. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  430. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  431. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  432. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  433. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  434. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  435. %% register (mix nodes)
  436. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0">>, Pid0]),
  437. ok = syn:register(<<"proc1">>, Pid1),
  438. ok = rpc:call(SlaveNode1, syn, register, [<<"proc2">>, Pid2]),
  439. ok = rpc:call(SlaveNode1, syn, register, [<<"proc0-changed">>, Pid0Changed]),
  440. timer:sleep(200),
  441. %% retrieve
  442. Pid0 = syn:whereis(<<"proc0">>),
  443. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  444. Pid1 = syn:whereis(<<"proc1">>),
  445. Pid2 = syn:whereis(<<"proc2">>),
  446. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  447. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  448. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  449. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  450. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  451. Pid0Changed = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  452. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  453. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  454. %% disconnect slave 2 from main (slave 1 can still see slave 2)
  455. syn_test_suite_helper:disconnect_node(SlaveNode2),
  456. timer:sleep(500),
  457. %% retrieve
  458. Pid0 = syn:whereis(<<"proc0">>),
  459. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  460. Pid1 = syn:whereis(<<"proc1">>),
  461. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  462. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  463. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  464. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  465. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]), %% slave 1 still has slave 2 so 'proc2' is still there
  466. %% disconnect slave 1
  467. syn_test_suite_helper:disconnect_node(SlaveNode1),
  468. timer:sleep(500),
  469. %% unregister proc0-changed
  470. ok = syn:unregister(<<"proc0-changed">>),
  471. %% retrieve
  472. Pid0 = syn:whereis(<<"proc0">>),
  473. undefined = syn:whereis(<<"proc0-changed">>),
  474. undefined = syn:whereis(<<"proc1">>),
  475. undefined = syn:whereis(<<"proc2">>),
  476. %% reconnect all
  477. syn_test_suite_helper:connect_node(SlaveNode1),
  478. syn_test_suite_helper:connect_node(SlaveNode2),
  479. timer:sleep(5000),
  480. %% retrieve
  481. Pid0 = syn:whereis(<<"proc0">>),
  482. undefined = syn:whereis(<<"proc0-changed">>),
  483. Pid1 = syn:whereis(<<"proc1">>),
  484. Pid2 = syn:whereis(<<"proc2">>),
  485. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  486. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  487. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  488. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  489. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  490. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  491. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  492. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  493. %% kill processes
  494. syn_test_suite_helper:kill_process(Pid0),
  495. syn_test_suite_helper:kill_process(Pid1),
  496. syn_test_suite_helper:kill_process(Pid2).
  497. three_nodes_full_netsplit_consistency(Config) ->
  498. %% get slaves
  499. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  500. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  501. %% start syn on nodes
  502. ok = syn:start(),
  503. ok = rpc:call(SlaveNode1, syn, start, []),
  504. ok = rpc:call(SlaveNode2, syn, start, []),
  505. timer:sleep(100),
  506. %% start processes
  507. Pid0 = syn_test_suite_helper:start_process(),
  508. Pid0Changed = syn_test_suite_helper:start_process(),
  509. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  510. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  511. timer:sleep(100),
  512. %% retrieve
  513. undefined = syn:whereis(<<"proc0">>),
  514. undefined = syn:whereis(<<"proc0-changed">>),
  515. undefined = syn:whereis(<<"proc1">>),
  516. undefined = syn:whereis(<<"proc2">>),
  517. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  518. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  519. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  520. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  521. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  522. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  523. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  524. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  525. %% register (mix nodes)
  526. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0">>, Pid0]),
  527. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0-changed">>, Pid0Changed]),
  528. ok = syn:register(<<"proc1">>, Pid1),
  529. ok = rpc:call(SlaveNode1, syn, register, [<<"proc2">>, Pid2]),
  530. timer:sleep(200),
  531. %% retrieve
  532. Pid0 = syn:whereis(<<"proc0">>),
  533. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  534. Pid1 = syn:whereis(<<"proc1">>),
  535. Pid2 = syn:whereis(<<"proc2">>),
  536. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  537. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  538. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  539. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  540. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  541. Pid0Changed = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  542. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  543. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  544. %% disconnect slave 2 from main (slave 1 can still see slave 2)
  545. syn_test_suite_helper:disconnect_node(SlaveNode2),
  546. timer:sleep(500),
  547. %% retrieve
  548. Pid0 = syn:whereis(<<"proc0">>),
  549. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  550. Pid1 = syn:whereis(<<"proc1">>),
  551. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  552. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  553. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  554. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  555. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]), %% slave 1 still has slave 2 so 'proc2' is still there
  556. %% disconnect slave 2 from slave 1
  557. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  558. timer:sleep(500),
  559. %% retrieve
  560. Pid0 = syn:whereis(<<"proc0">>),
  561. Pid0Changed = syn:whereis(<<"proc0-changed">>),
  562. Pid1 = syn:whereis(<<"proc1">>),
  563. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  564. undefined = syn:whereis(<<"proc2">>, with_meta),
  565. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  566. Pid0Changed = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  567. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  568. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  569. %% disconnect slave 1
  570. syn_test_suite_helper:disconnect_node(SlaveNode1),
  571. timer:sleep(500),
  572. %% unregister
  573. ok = syn:unregister(<<"proc0-changed">>),
  574. %% retrieve
  575. Pid0 = syn:whereis(<<"proc0">>),
  576. undefined = syn:whereis(<<"proc0-changed">>),
  577. undefined = syn:whereis(<<"proc1">>),
  578. undefined = syn:whereis(<<"proc2">>),
  579. %% reconnect all
  580. syn_test_suite_helper:connect_node(SlaveNode1),
  581. syn_test_suite_helper:connect_node(SlaveNode2),
  582. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  583. timer:sleep(1500),
  584. %% retrieve
  585. Pid0 = syn:whereis(<<"proc0">>),
  586. undefined = syn:whereis(<<"proc0-changed">>),
  587. Pid1 = syn:whereis(<<"proc1">>),
  588. Pid2 = syn:whereis(<<"proc2">>),
  589. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  590. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0-changed">>]),
  591. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  592. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  593. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  594. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0-changed">>]),
  595. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  596. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  597. %% kill processes
  598. syn_test_suite_helper:kill_process(Pid0),
  599. syn_test_suite_helper:kill_process(Pid0Changed),
  600. syn_test_suite_helper:kill_process(Pid1),
  601. syn_test_suite_helper:kill_process(Pid2).
  602. three_nodes_start_syn_before_connecting_cluster_with_conflict(Config) ->
  603. ConflictingName = "COMMON",
  604. %% get slaves
  605. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  606. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  607. %% start processes
  608. Pid0 = syn_test_suite_helper:start_process(),
  609. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  610. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  611. %% start delayed
  612. start_syn_delayed_and_register_local_process(ConflictingName, Pid0, 1500),
  613. rpc:cast(SlaveNode1, ?MODULE, start_syn_delayed_and_register_local_process, [ConflictingName, Pid1, 1500]),
  614. rpc:cast(SlaveNode2, ?MODULE, start_syn_delayed_and_register_local_process, [ConflictingName, Pid2, 1500]),
  615. timer:sleep(500),
  616. %% disconnect all
  617. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  618. syn_test_suite_helper:disconnect_node(SlaveNode1),
  619. syn_test_suite_helper:disconnect_node(SlaveNode2),
  620. timer:sleep(1500),
  621. [] = nodes(),
  622. %% reconnect all
  623. syn_test_suite_helper:connect_node(SlaveNode1),
  624. syn_test_suite_helper:connect_node(SlaveNode2),
  625. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  626. timer:sleep(1500),
  627. %% count
  628. 1 = syn:registry_count(),
  629. 1 = rpc:call(SlaveNode1, syn, registry_count, []),
  630. 1 = rpc:call(SlaveNode2, syn, registry_count, []),
  631. %% retrieve
  632. true = lists:member(syn:whereis(ConflictingName), [Pid0, Pid1, Pid2]),
  633. true = lists:member(rpc:call(SlaveNode1, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  634. true = lists:member(rpc:call(SlaveNode2, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  635. %% check metadata
  636. case syn:whereis(ConflictingName, with_meta) of
  637. {Pid0, Meta} ->
  638. CurrentNode = node(),
  639. CurrentNode = Meta;
  640. {Pid1, Meta} ->
  641. SlaveNode1 = Meta;
  642. {Pid2, Meta} ->
  643. SlaveNode2 = Meta
  644. end,
  645. %% kill processes
  646. syn_test_suite_helper:kill_process(Pid0),
  647. syn_test_suite_helper:kill_process(Pid1),
  648. syn_test_suite_helper:kill_process(Pid2).
  649. three_nodes_start_syn_before_connecting_cluster_with_custom_conflict_resolution(Config) ->
  650. ConflictingName = "COMMON",
  651. %% get slaves
  652. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  653. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  654. %% start processes
  655. Pid0 = syn_test_suite_helper:start_process(),
  656. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  657. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  658. %% start delayed
  659. start_syn_delayed_with_custom_handler_register_local_process(ConflictingName, Pid0, {node, node()}, 1500),
  660. rpc:cast(
  661. SlaveNode1,
  662. ?MODULE,
  663. start_syn_delayed_with_custom_handler_register_local_process,
  664. [ConflictingName, Pid1, keep_this_one, 1500])
  665. ,
  666. rpc:cast(
  667. SlaveNode2,
  668. ?MODULE,
  669. start_syn_delayed_with_custom_handler_register_local_process,
  670. [ConflictingName, Pid2, {node, SlaveNode2}, 1500]
  671. ),
  672. timer:sleep(500),
  673. %% disconnect all
  674. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  675. syn_test_suite_helper:disconnect_node(SlaveNode1),
  676. syn_test_suite_helper:disconnect_node(SlaveNode2),
  677. timer:sleep(1500),
  678. [] = nodes(),
  679. %% reconnect all
  680. syn_test_suite_helper:connect_node(SlaveNode1),
  681. syn_test_suite_helper:connect_node(SlaveNode2),
  682. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  683. timer:sleep(2500),
  684. %% count
  685. 1 = syn:registry_count(),
  686. 1 = rpc:call(SlaveNode1, syn, registry_count, []),
  687. 1 = rpc:call(SlaveNode2, syn, registry_count, []),
  688. %% retrieve
  689. true = lists:member(syn:whereis(ConflictingName), [Pid0, Pid1, Pid2]),
  690. true = lists:member(rpc:call(SlaveNode1, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  691. true = lists:member(rpc:call(SlaveNode2, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  692. %% check metadata that we kept the correct process
  693. {Pid1, keep_this_one} = syn:whereis(ConflictingName, with_meta),
  694. %% kill processes
  695. syn_test_suite_helper:kill_process(Pid0),
  696. syn_test_suite_helper:kill_process(Pid1),
  697. syn_test_suite_helper:kill_process(Pid2).
  698. %% ===================================================================
  699. %% Internal
  700. %% ===================================================================
  701. start_syn_delayed_and_register_local_process(Name, Pid, Ms) ->
  702. spawn(fun() ->
  703. lists:foreach(fun(Node) ->
  704. syn_test_suite_helper:disconnect_node(Node)
  705. end, nodes()),
  706. timer:sleep(Ms),
  707. [] = nodes(),
  708. %%
  709. syn:start(),
  710. ok = syn:register(Name, Pid, node())
  711. end).
  712. start_syn_delayed_with_custom_handler_register_local_process(Name, Pid, Meta, Ms) ->
  713. spawn(fun() ->
  714. lists:foreach(fun(Node) ->
  715. syn_test_suite_helper:disconnect_node(Node)
  716. end, nodes()),
  717. timer:sleep(Ms),
  718. [] = nodes(),
  719. %% use customer handler
  720. syn_test_suite_helper:use_custom_handler(),
  721. %%
  722. syn:start(),
  723. ok = syn:register(Name, Pid, Meta)
  724. end).