syn_registry_SUITE.erl 33 KB

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