syn_registry_SUITE.erl 30 KB

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