syn_registry_SUITE.erl 34 KB

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