syn_registry_SUITE.erl 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609
  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. ]).
  39. -export([
  40. two_nodes_register_monitor_and_unregister/1,
  41. two_nodes_registry_count/1
  42. ]).
  43. -export([
  44. three_nodes_partial_netsplit_consistency/1,
  45. three_nodes_full_netsplit_consistency/1,
  46. three_nodes_start_syn_before_connecting_cluster/1
  47. ]).
  48. %% support
  49. -export([
  50. start_syn_delayed_and_register_local_process/3
  51. ]).
  52. %% include
  53. -include_lib("common_test/include/ct.hrl").
  54. %% ===================================================================
  55. %% Callbacks
  56. %% ===================================================================
  57. %% -------------------------------------------------------------------
  58. %% Function: all() -> GroupsAndTestCases | {skip,Reason}
  59. %% GroupsAndTestCases = [{group,GroupName} | TestCase]
  60. %% GroupName = atom()
  61. %% TestCase = atom()
  62. %% Reason = term()
  63. %% -------------------------------------------------------------------
  64. all() ->
  65. [
  66. {group, single_node_process_registration},
  67. {group, two_nodes_process_registration},
  68. {group, three_nodes_process_registration}
  69. ].
  70. %% -------------------------------------------------------------------
  71. %% Function: groups() -> [Group]
  72. %% Group = {GroupName,Properties,GroupsAndTestCases}
  73. %% GroupName = atom()
  74. %% Properties = [parallel | sequence | Shuffle | {RepeatType,N}]
  75. %% GroupsAndTestCases = [Group | {group,GroupName} | TestCase]
  76. %% TestCase = atom()
  77. %% Shuffle = shuffle | {shuffle,{integer(),integer(),integer()}}
  78. %% RepeatType = repeat | repeat_until_all_ok | repeat_until_all_fail |
  79. %% repeat_until_any_ok | repeat_until_any_fail
  80. %% N = integer() | forever
  81. %% -------------------------------------------------------------------
  82. groups() ->
  83. [
  84. {single_node_process_registration, [shuffle], [
  85. single_node_register_and_monitor,
  86. single_node_register_and_unregister,
  87. single_node_registration_errors,
  88. single_node_registry_count
  89. ]},
  90. {two_nodes_process_registration, [shuffle], [
  91. two_nodes_register_monitor_and_unregister,
  92. two_nodes_registry_count
  93. ]},
  94. {three_nodes_process_registration, [shuffle], [
  95. three_nodes_partial_netsplit_consistency,
  96. three_nodes_full_netsplit_consistency,
  97. three_nodes_start_syn_before_connecting_cluster
  98. ]}
  99. ].
  100. %% -------------------------------------------------------------------
  101. %% Function: init_per_suite(Config0) ->
  102. %% Config1 | {skip,Reason} |
  103. %% {skip_and_save,Reason,Config1}
  104. %% Config0 = Config1 = [tuple()]
  105. %% Reason = term()
  106. %% -------------------------------------------------------------------
  107. init_per_suite(Config) ->
  108. Config.
  109. %% -------------------------------------------------------------------
  110. %% Function: end_per_suite(Config0) -> void() | {save_config,Config1}
  111. %% Config0 = Config1 = [tuple()]
  112. %% -------------------------------------------------------------------
  113. end_per_suite(_Config) ->
  114. ok.
  115. %% -------------------------------------------------------------------
  116. %% Function: init_per_group(GroupName, Config0) ->
  117. %% Config1 | {skip,Reason} |
  118. %% {skip_and_save,Reason,Config1}
  119. %% GroupName = atom()
  120. %% Config0 = Config1 = [tuple()]
  121. %% Reason = term()
  122. %% -------------------------------------------------------------------
  123. init_per_group(two_nodes_process_registration, Config) ->
  124. %% start slave
  125. {ok, SlaveNode} = syn_test_suite_helper:start_slave(syn_slave),
  126. %% config
  127. [{slave_node, SlaveNode} | Config];
  128. init_per_group(three_nodes_process_registration, Config) ->
  129. %% start slave
  130. {ok, SlaveNode1} = syn_test_suite_helper:start_slave(syn_slave_1),
  131. {ok, SlaveNode2} = syn_test_suite_helper:start_slave(syn_slave_2),
  132. %% config
  133. [{slave_node_1, SlaveNode1}, {slave_node_2, SlaveNode2} | Config];
  134. init_per_group(_GroupName, Config) ->
  135. Config.
  136. %% -------------------------------------------------------------------
  137. %% Function: end_per_group(GroupName, Config0) ->
  138. %% void() | {save_config,Config1}
  139. %% GroupName = atom()
  140. %% Config0 = Config1 = [tuple()]
  141. %% -------------------------------------------------------------------
  142. end_per_group(two_nodes_process_registration, Config) ->
  143. SlaveNode = proplists:get_value(slave_node, Config),
  144. syn_test_suite_helper:connect_node(SlaveNode),
  145. syn_test_suite_helper:stop_slave(syn_slave),
  146. timer:sleep(1000);
  147. end_per_group(three_nodes_process_registration, Config) ->
  148. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  149. syn_test_suite_helper:connect_node(SlaveNode1),
  150. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  151. syn_test_suite_helper:connect_node(SlaveNode2),
  152. syn_test_suite_helper:stop_slave(syn_slave_1),
  153. syn_test_suite_helper:stop_slave(syn_slave_2),
  154. timer:sleep(1000);
  155. end_per_group(_GroupName, _Config) ->
  156. ok.
  157. % ----------------------------------------------------------------------------------------------------------
  158. % Function: init_per_testcase(TestCase, Config0) ->
  159. % Config1 | {skip,Reason} | {skip_and_save,Reason,Config1}
  160. % TestCase = atom()
  161. % Config0 = Config1 = [tuple()]
  162. % Reason = term()
  163. % ----------------------------------------------------------------------------------------------------------
  164. init_per_testcase(_TestCase, Config) ->
  165. Config.
  166. % ----------------------------------------------------------------------------------------------------------
  167. % Function: end_per_testcase(TestCase, Config0) ->
  168. % void() | {save_config,Config1} | {fail,Reason}
  169. % TestCase = atom()
  170. % Config0 = Config1 = [tuple()]
  171. % Reason = term()
  172. % ----------------------------------------------------------------------------------------------------------
  173. end_per_testcase(_, _Config) ->
  174. syn_test_suite_helper:clean_after_test().
  175. %% ===================================================================
  176. %% Tests
  177. %% ===================================================================
  178. single_node_register_and_monitor(_Config) ->
  179. %% start
  180. ok = syn:start(),
  181. %% start processes
  182. Pid = syn_test_suite_helper:start_process(),
  183. PidWithMeta = syn_test_suite_helper:start_process(),
  184. %% retrieve
  185. undefined = syn:whereis(<<"my proc">>),
  186. %% register
  187. ok = syn:register(<<"my proc">>, Pid),
  188. ok = syn:register(<<"my proc 2">>, Pid),
  189. ok = syn:register(<<"my proc with meta">>, PidWithMeta, {meta, <<"meta">>}),
  190. %% retrieve
  191. Pid = syn:whereis(<<"my proc">>),
  192. Pid = syn:whereis(<<"my proc 2">>),
  193. {PidWithMeta, {meta, <<"meta">>}} = syn:whereis(<<"my proc with meta">>, with_meta),
  194. %% kill process
  195. syn_test_suite_helper:kill_process(Pid),
  196. syn_test_suite_helper:kill_process(PidWithMeta),
  197. timer:sleep(100),
  198. %% retrieve
  199. undefined = syn:whereis(<<"my proc">>),
  200. undefined = syn:whereis(<<"my proc 2">>),
  201. undefined = syn:whereis(<<"my proc with meta">>).
  202. single_node_register_and_unregister(_Config) ->
  203. %% start
  204. ok = syn:start(),
  205. %% start process
  206. Pid = syn_test_suite_helper:start_process(),
  207. %% retrieve
  208. undefined = syn:whereis(<<"my proc">>),
  209. %% register
  210. ok = syn:register(<<"my proc">>, Pid),
  211. ok = syn:register(<<"my proc 2">>, Pid),
  212. %% retrieve
  213. Pid = syn:whereis(<<"my proc">>),
  214. Pid = syn:whereis(<<"my proc 2">>),
  215. %% unregister 1
  216. ok = syn:unregister(<<"my proc">>),
  217. %% retrieve
  218. undefined = syn:whereis(<<"my proc">>),
  219. Pid = syn:whereis(<<"my proc 2">>),
  220. %% unregister 2
  221. ok = syn:unregister(<<"my proc 2">>),
  222. {error, undefined} = syn:unregister(<<"my proc 2">>),
  223. %% retrieve
  224. undefined = syn:whereis(<<"my proc">>),
  225. undefined = syn:whereis(<<"my proc 2">>),
  226. %% kill process
  227. syn_test_suite_helper:kill_process(Pid).
  228. single_node_registration_errors(_Config) ->
  229. %% start
  230. ok = syn:start(),
  231. %% start process
  232. Pid = syn_test_suite_helper:start_process(),
  233. Pid2 = syn_test_suite_helper:start_process(),
  234. %% register
  235. ok = syn:register(<<"my proc">>, Pid),
  236. {error, taken} = syn:register(<<"my proc">>, Pid2),
  237. %% kill processes
  238. syn_test_suite_helper:kill_process(Pid),
  239. syn_test_suite_helper:kill_process(Pid2),
  240. timer:sleep(100),
  241. %% retrieve
  242. undefined = syn:whereis(<<"my proc">>),
  243. %% try registering a dead pid
  244. {error, not_alive} = syn:register(<<"my proc">>, Pid).
  245. single_node_registry_count(_Config) ->
  246. %% start
  247. ok = syn:start(),
  248. %% start process
  249. Pid = syn_test_suite_helper:start_process(),
  250. Pid2 = syn_test_suite_helper:start_process(),
  251. PidUnregistered = syn_test_suite_helper:start_process(),
  252. %% register
  253. ok = syn:register(<<"my proc">>, Pid),
  254. ok = syn:register(<<"my proc 2">>, Pid2),
  255. %% count
  256. 2 = syn:registry_count(),
  257. 2 = syn:registry_count(node()),
  258. %% kill & unregister
  259. syn_test_suite_helper:kill_process(Pid),
  260. ok = syn:unregister(<<"my proc 2">>),
  261. syn_test_suite_helper:kill_process(PidUnregistered),
  262. timer:sleep(100),
  263. %% count
  264. 0 = syn:registry_count(),
  265. 0 = syn:registry_count(node()).
  266. two_nodes_register_monitor_and_unregister(Config) ->
  267. %% get slave
  268. SlaveNode = proplists:get_value(slave_node, Config),
  269. %% start
  270. ok = syn:start(),
  271. ok = rpc:call(SlaveNode, syn, start, []),
  272. timer:sleep(100),
  273. %% start processes
  274. LocalPid = syn_test_suite_helper:start_process(),
  275. RemotePid = syn_test_suite_helper:start_process(SlaveNode),
  276. RemotePidRegRemote = syn_test_suite_helper:start_process(SlaveNode),
  277. %% retrieve
  278. undefined = syn:whereis(<<"local proc">>),
  279. undefined = syn:whereis(<<"remote proc">>),
  280. undefined = syn:whereis(<<"remote proc reg_remote">>),
  281. undefined = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  282. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  283. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  284. %% register
  285. ok = syn:register(<<"local proc">>, LocalPid),
  286. ok = syn:register(<<"remote proc">>, RemotePid),
  287. ok = rpc:call(SlaveNode, syn, register, [<<"remote proc reg_remote">>, RemotePidRegRemote]),
  288. timer:sleep(500),
  289. %% retrieve
  290. LocalPid = syn:whereis(<<"local proc">>),
  291. RemotePid = syn:whereis(<<"remote proc">>),
  292. RemotePidRegRemote = syn:whereis(<<"remote proc reg_remote">>),
  293. LocalPid = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  294. RemotePid = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  295. RemotePidRegRemote = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  296. %% kill & unregister processes
  297. syn_test_suite_helper:kill_process(LocalPid),
  298. ok = syn:unregister(<<"remote proc">>),
  299. syn_test_suite_helper:kill_process(RemotePidRegRemote),
  300. timer:sleep(100),
  301. %% retrieve
  302. undefined = syn:whereis(<<"local proc">>),
  303. undefined = syn:whereis(<<"remote proc">>),
  304. undefined = syn:whereis(<<"remote proc reg_remote">>),
  305. undefined = rpc:call(SlaveNode, syn, whereis, [<<"local proc">>]),
  306. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc">>]),
  307. undefined = rpc:call(SlaveNode, syn, whereis, [<<"remote proc reg_remote">>]),
  308. %% kill proc
  309. syn_test_suite_helper:kill_process(RemotePid).
  310. two_nodes_registry_count(Config) ->
  311. %% get slave
  312. SlaveNode = proplists:get_value(slave_node, Config),
  313. %% start
  314. ok = syn:start(),
  315. ok = rpc:call(SlaveNode, syn, start, []),
  316. timer:sleep(100),
  317. %% start processes
  318. LocalPid = syn_test_suite_helper:start_process(),
  319. RemotePid = syn_test_suite_helper:start_process(SlaveNode),
  320. RemotePidRegRemote = syn_test_suite_helper:start_process(SlaveNode),
  321. PidUnregistered = syn_test_suite_helper:start_process(),
  322. %% register
  323. ok = syn:register(<<"local proc">>, LocalPid),
  324. ok = syn:register(<<"remote proc">>, RemotePid),
  325. ok = rpc:call(SlaveNode, syn, register, [<<"remote proc reg_remote">>, RemotePidRegRemote]),
  326. timer:sleep(500),
  327. %% count
  328. 3 = syn:registry_count(),
  329. 1 = syn:registry_count(node()),
  330. 2 = syn:registry_count(SlaveNode),
  331. %% kill & unregister processes
  332. syn_test_suite_helper:kill_process(LocalPid),
  333. ok = syn:unregister(<<"remote proc">>),
  334. syn_test_suite_helper:kill_process(RemotePidRegRemote),
  335. timer:sleep(100),
  336. %% count
  337. 0 = syn:registry_count(),
  338. 0 = syn:registry_count(node()),
  339. 0 = syn:registry_count(SlaveNode),
  340. %% kill proc
  341. syn_test_suite_helper:kill_process(RemotePid).
  342. three_nodes_partial_netsplit_consistency(Config) ->
  343. %% get slaves
  344. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  345. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  346. %% start syn on nodes
  347. ok = syn:start(),
  348. ok = rpc:call(SlaveNode1, syn, start, []),
  349. ok = rpc:call(SlaveNode2, syn, start, []),
  350. timer:sleep(100),
  351. %% start processes
  352. Pid0 = syn_test_suite_helper:start_process(),
  353. Pid0b = syn_test_suite_helper:start_process(),
  354. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  355. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  356. timer:sleep(100),
  357. %% retrieve
  358. undefined = syn:whereis(<<"proc0">>),
  359. undefined = syn:whereis(<<"proc0b">>),
  360. undefined = syn:whereis(<<"proc1">>),
  361. undefined = syn:whereis(<<"proc2">>),
  362. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  363. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0b">>]),
  364. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  365. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  366. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  367. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0b">>]),
  368. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  369. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  370. %% register (mix nodes)
  371. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0">>, Pid0]),
  372. ok = syn:register(<<"proc1">>, Pid1),
  373. ok = rpc:call(SlaveNode1, syn, register, [<<"proc2">>, Pid2]),
  374. ok = rpc:call(SlaveNode1, syn, register, [<<"proc0b">>, Pid0b]),
  375. timer:sleep(200),
  376. %% retrieve
  377. Pid0 = syn:whereis(<<"proc0">>),
  378. Pid0b = syn:whereis(<<"proc0b">>),
  379. Pid1 = syn:whereis(<<"proc1">>),
  380. Pid2 = syn:whereis(<<"proc2">>),
  381. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  382. Pid0b = rpc:call(SlaveNode1, syn, whereis, [<<"proc0b">>]),
  383. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  384. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  385. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  386. Pid0b = rpc:call(SlaveNode2, syn, whereis, [<<"proc0b">>]),
  387. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  388. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  389. %% disconnect slave 2 from main (slave 1 can still see slave 2)
  390. syn_test_suite_helper:disconnect_node(SlaveNode2),
  391. timer:sleep(500),
  392. %% retrieve
  393. Pid0 = syn:whereis(<<"proc0">>),
  394. Pid0b = syn:whereis(<<"proc0b">>),
  395. Pid1 = syn:whereis(<<"proc1">>),
  396. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  397. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  398. Pid0b = rpc:call(SlaveNode1, syn, whereis, [<<"proc0b">>]),
  399. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  400. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]), %% slave 1 still has slave 2 so 'proc2' is still there
  401. %% disconnect slave 1
  402. syn_test_suite_helper:disconnect_node(SlaveNode1),
  403. timer:sleep(500),
  404. %% unregister 0b
  405. ok = syn:unregister(<<"proc0b">>),
  406. %% retrieve
  407. Pid0 = syn:whereis(<<"proc0">>),
  408. undefined = syn:whereis(<<"proc0b">>),
  409. undefined = syn:whereis(<<"proc1">>),
  410. undefined = syn:whereis(<<"proc2">>),
  411. %% reconnect all
  412. syn_test_suite_helper:connect_node(SlaveNode1),
  413. syn_test_suite_helper:connect_node(SlaveNode2),
  414. timer:sleep(5000),
  415. %% retrieve
  416. Pid0 = syn:whereis(<<"proc0">>),
  417. undefined = syn:whereis(<<"proc0b">>),
  418. Pid1 = syn:whereis(<<"proc1">>),
  419. Pid2 = syn:whereis(<<"proc2">>),
  420. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  421. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0b">>]),
  422. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  423. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  424. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  425. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0b">>]),
  426. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  427. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  428. %% kill processes
  429. syn_test_suite_helper:kill_process(Pid0),
  430. syn_test_suite_helper:kill_process(Pid1),
  431. syn_test_suite_helper:kill_process(Pid2).
  432. three_nodes_full_netsplit_consistency(Config) ->
  433. %% get slaves
  434. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  435. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  436. %% start syn on nodes
  437. ok = syn:start(),
  438. ok = rpc:call(SlaveNode1, syn, start, []),
  439. ok = rpc:call(SlaveNode2, syn, start, []),
  440. timer:sleep(100),
  441. %% start processes
  442. Pid0 = syn_test_suite_helper:start_process(),
  443. Pid0b = syn_test_suite_helper:start_process(),
  444. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  445. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  446. timer:sleep(100),
  447. %% retrieve
  448. undefined = syn:whereis(<<"proc0">>),
  449. undefined = syn:whereis(<<"proc0b">>),
  450. undefined = syn:whereis(<<"proc1">>),
  451. undefined = syn:whereis(<<"proc2">>),
  452. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  453. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0b">>]),
  454. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  455. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  456. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  457. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0b">>]),
  458. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  459. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  460. %% register (mix nodes)
  461. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0">>, Pid0]),
  462. ok = rpc:call(SlaveNode2, syn, register, [<<"proc0b">>, Pid0b]),
  463. ok = syn:register(<<"proc1">>, Pid1),
  464. ok = rpc:call(SlaveNode1, syn, register, [<<"proc2">>, Pid2]),
  465. timer:sleep(200),
  466. %% retrieve
  467. Pid0 = syn:whereis(<<"proc0">>),
  468. Pid0b = syn:whereis(<<"proc0b">>),
  469. Pid1 = syn:whereis(<<"proc1">>),
  470. Pid2 = syn:whereis(<<"proc2">>),
  471. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  472. Pid0b = rpc:call(SlaveNode1, syn, whereis, [<<"proc0b">>]),
  473. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  474. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  475. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  476. Pid0b = rpc:call(SlaveNode2, syn, whereis, [<<"proc0b">>]),
  477. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  478. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  479. %% disconnect slave 2 from main (slave 1 can still see slave 2)
  480. syn_test_suite_helper:disconnect_node(SlaveNode2),
  481. timer:sleep(500),
  482. %% retrieve
  483. Pid0 = syn:whereis(<<"proc0">>),
  484. Pid0b = syn:whereis(<<"proc0b">>),
  485. Pid1 = syn:whereis(<<"proc1">>),
  486. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  487. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  488. Pid0b = rpc:call(SlaveNode1, syn, whereis, [<<"proc0b">>]),
  489. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  490. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]), %% slave 1 still has slave 2 so 'proc2' is still there
  491. %% disconnect slave 2 from slave 1
  492. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  493. timer:sleep(500),
  494. %% retrieve
  495. Pid0 = syn:whereis(<<"proc0">>),
  496. Pid0b = syn:whereis(<<"proc0b">>),
  497. Pid1 = syn:whereis(<<"proc1">>),
  498. undefined = syn:whereis(<<"proc2">>), %% main has lost slave 2 so 'proc2' is removed
  499. undefined = syn:whereis(<<"proc2">>, with_meta),
  500. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  501. Pid0b = rpc:call(SlaveNode1, syn, whereis, [<<"proc0b">>]),
  502. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  503. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  504. %% disconnect slave 1
  505. syn_test_suite_helper:disconnect_node(SlaveNode1),
  506. timer:sleep(500),
  507. %% unregister
  508. ok = syn:unregister(<<"proc0b">>),
  509. %% retrieve
  510. Pid0 = syn:whereis(<<"proc0">>),
  511. undefined = syn:whereis(<<"proc0b">>),
  512. undefined = syn:whereis(<<"proc1">>),
  513. undefined = syn:whereis(<<"proc2">>),
  514. %% reconnect all
  515. syn_test_suite_helper:connect_node(SlaveNode1),
  516. syn_test_suite_helper:connect_node(SlaveNode2),
  517. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  518. timer:sleep(1500),
  519. %% retrieve
  520. Pid0 = syn:whereis(<<"proc0">>),
  521. undefined = syn:whereis(<<"proc0b">>),
  522. Pid1 = syn:whereis(<<"proc1">>),
  523. Pid2 = syn:whereis(<<"proc2">>),
  524. Pid0 = rpc:call(SlaveNode1, syn, whereis, [<<"proc0">>]),
  525. undefined = rpc:call(SlaveNode1, syn, whereis, [<<"proc0b">>]),
  526. Pid1 = rpc:call(SlaveNode1, syn, whereis, [<<"proc1">>]),
  527. Pid2 = rpc:call(SlaveNode1, syn, whereis, [<<"proc2">>]),
  528. Pid0 = rpc:call(SlaveNode2, syn, whereis, [<<"proc0">>]),
  529. undefined = rpc:call(SlaveNode2, syn, whereis, [<<"proc0b">>]),
  530. Pid1 = rpc:call(SlaveNode2, syn, whereis, [<<"proc1">>]),
  531. Pid2 = rpc:call(SlaveNode2, syn, whereis, [<<"proc2">>]),
  532. %% kill processes
  533. syn_test_suite_helper:kill_process(Pid0),
  534. syn_test_suite_helper:kill_process(Pid0b),
  535. syn_test_suite_helper:kill_process(Pid1),
  536. syn_test_suite_helper:kill_process(Pid2).
  537. three_nodes_start_syn_before_connecting_cluster(Config) ->
  538. ConflictingName = "COMMON",
  539. %% get slaves
  540. SlaveNode1 = proplists:get_value(slave_node_1, Config),
  541. SlaveNode2 = proplists:get_value(slave_node_2, Config),
  542. %% start processes
  543. Pid0 = syn_test_suite_helper:start_process(),
  544. Pid1 = syn_test_suite_helper:start_process(SlaveNode1),
  545. Pid2 = syn_test_suite_helper:start_process(SlaveNode2),
  546. %% start delayed
  547. start_syn_delayed_and_register_local_process(ConflictingName, Pid0, 1500),
  548. rpc:cast(SlaveNode1, ?MODULE, start_syn_delayed_and_register_local_process, [ConflictingName, Pid1, 1500]),
  549. rpc:cast(SlaveNode2, ?MODULE, start_syn_delayed_and_register_local_process, [ConflictingName, Pid2, 1500]),
  550. timer:sleep(500),
  551. %% disconnect all
  552. rpc:call(SlaveNode1, syn_test_suite_helper, disconnect_node, [SlaveNode2]),
  553. syn_test_suite_helper:disconnect_node(SlaveNode1),
  554. syn_test_suite_helper:disconnect_node(SlaveNode2),
  555. timer:sleep(1000),
  556. [] = nodes(),
  557. %% reconnect all
  558. syn_test_suite_helper:connect_node(SlaveNode1),
  559. syn_test_suite_helper:connect_node(SlaveNode2),
  560. rpc:call(SlaveNode1, syn_test_suite_helper, connect_node, [SlaveNode2]),
  561. timer:sleep(1500),
  562. %% count
  563. 1 = syn:registry_count(),
  564. 1 = rpc:call(SlaveNode1, syn, registry_count, []),
  565. 1 = rpc:call(SlaveNode2, syn, registry_count, []),
  566. %% retrieve
  567. true = lists:member(syn:whereis(ConflictingName), [Pid0, Pid1, Pid2]),
  568. true = lists:member(rpc:call(SlaveNode1, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  569. true = lists:member(rpc:call(SlaveNode2, syn, whereis, [ConflictingName]), [Pid0, Pid1, Pid2]),
  570. %% kill processes
  571. syn_test_suite_helper:kill_process(Pid0),
  572. syn_test_suite_helper:kill_process(Pid1),
  573. syn_test_suite_helper:kill_process(Pid2).
  574. %% ===================================================================
  575. %% Internal
  576. %% ===================================================================
  577. start_syn_delayed_and_register_local_process(Name, Pid, Ms) ->
  578. spawn(fun() ->
  579. lists:foreach(fun(Node) ->
  580. syn_test_suite_helper:disconnect_node(Node)
  581. end, nodes()),
  582. timer:sleep(Ms),
  583. [] = nodes(),
  584. syn:start(),
  585. ok = syn:register(Name, Pid, node())
  586. end).