totemsrp.c 101 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574357535763577357835793580358135823583358435853586358735883589359035913592359335943595359635973598359936003601360236033604360536063607360836093610361136123613361436153616361736183619362036213622362336243625362636273628362936303631363236333634363536363637363836393640364136423643364436453646364736483649365036513652365336543655365636573658365936603661366236633664
  1. #define TRANSMITS_ALLOWED 16
  2. /*
  3. * Copyright (c) 2003-2005 MontaVista Software, Inc.
  4. *
  5. * All rights reserved.
  6. *
  7. * Author: Steven Dake (sdake@mvista.com)
  8. *
  9. * This software licensed under BSD license, the text of which follows:
  10. *
  11. * Redistribution and use in source and binary forms, with or without
  12. * modification, are permitted provided that the following conditions are met:
  13. *
  14. * - Redistributions of source code must retain the above copyright notice,
  15. * this list of conditions and the following disclaimer.
  16. * - Redistributions in binary form must reproduce the above copyright notice,
  17. * this list of conditions and the following disclaimer in the documentation
  18. * and/or other materials provided with the distribution.
  19. * - Neither the name of the MontaVista Software, Inc. nor the names of its
  20. * contributors may be used to endorse or promote products derived from this
  21. * software without specific prior written permission.
  22. *
  23. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  24. * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  25. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  26. * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
  27. * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
  28. * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
  29. * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  30. * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
  31. * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
  32. * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
  33. * THE POSSIBILITY OF SUCH DAMAGE.
  34. */
  35. /*
  36. * The first version of this code was based upon Yair Amir's PhD thesis:
  37. * http://www.cs.jhu.edu/~yairamir/phd.ps) (ch4,5).
  38. *
  39. * The current version of totemsrp implements the Totem protocol specified in:
  40. * http://citeseer.ist.psu.edu/amir95totem.html
  41. *
  42. * The deviations from the above published protocols are:
  43. * - encryption of message contents with SOBER128
  44. * - authentication of meessage contents with SHA1/HMAC
  45. * - token hold mode where token doesn't rotate on unused ring - reduces cpu
  46. * usage on 1.6ghz xeon from 35% to less then .1 % as measured by top
  47. */
  48. #include <assert.h>
  49. #include <pthread.h>
  50. #include <sys/mman.h>
  51. #include <sys/types.h>
  52. #include <sys/stat.h>
  53. #include <sys/socket.h>
  54. #include <netdb.h>
  55. #include <sys/un.h>
  56. #include <sys/ioctl.h>
  57. #include <sys/param.h>
  58. #include <netinet/in.h>
  59. #include <arpa/inet.h>
  60. #include <unistd.h>
  61. #include <fcntl.h>
  62. #include <stdlib.h>
  63. #include <stdio.h>
  64. #include <errno.h>
  65. #include <signal.h>
  66. #include <sched.h>
  67. #include <time.h>
  68. #include <sys/time.h>
  69. #include <sys/poll.h>
  70. #include "aispoll.h"
  71. #include "totemsrp.h"
  72. #include "totemrrp.h"
  73. #include "wthread.h"
  74. #include "../include/queue.h"
  75. #include "../include/sq.h"
  76. #include "../include/list.h"
  77. #include "../include/hdb.h"
  78. #include "swab.h"
  79. #include "crypto.h"
  80. #define LOCALHOST_IP inet_addr("127.0.0.1")
  81. #define QUEUE_RTR_ITEMS_SIZE_MAX 256 /* allow 512 retransmit items */
  82. #define RETRANS_MESSAGE_QUEUE_SIZE_MAX 500 /* allow 500 messages to be queued */
  83. #define RECEIVED_MESSAGE_QUEUE_SIZE_MAX 500 /* allow 500 messages to be queued */
  84. #define MAXIOVS 5
  85. #define RETRANSMIT_ENTRIES_MAX 30
  86. #define MISSING_MCAST_WINDOW 128
  87. /*
  88. * Rollover handling:
  89. * SEQNO_START_MSG is the starting sequence number after a new configuration
  90. * This should remain zero, unless testing overflow in which case
  91. * 0x7ffff000 and 0xfffff000 are good starting values.
  92. *
  93. * SEQNO_START_TOKEN is the starting sequence number after a new configuration
  94. * for a token. This should remain zero, unless testing overflow in which
  95. * case 07fffff00 or 0xffffff00 are good starting values.
  96. *
  97. * SEQNO_START_MSG is the starting sequence number after a new configuration
  98. * This should remain zero, unless testing overflow in which case
  99. * 0x7ffff000 and 0xfffff000 are good values to start with
  100. */
  101. #define SEQNO_START_MSG 0x0
  102. #define SEQNO_START_TOKEN 0x0
  103. //#define SEQNO_START_MSG 0xfffffe00
  104. //#define SEQNO_START_TOKEN 0xfffffe00
  105. /*
  106. * we compare incoming messages to determine if their endian is
  107. * different - if so convert them
  108. *
  109. * do not change
  110. */
  111. #define ENDIAN_LOCAL 0xff22
  112. enum message_type {
  113. MESSAGE_TYPE_ORF_TOKEN = 0, /* Ordering, Reliability, Flow (ORF) control Token */
  114. MESSAGE_TYPE_MCAST = 1, /* ring ordered multicast message */
  115. MESSAGE_TYPE_MEMB_MERGE_DETECT = 2, /* merge rings if there are available rings */
  116. MESSAGE_TYPE_MEMB_JOIN = 3, /* membership join message */
  117. MESSAGE_TYPE_MEMB_COMMIT_TOKEN = 4, /* membership commit token */
  118. MESSAGE_TYPE_TOKEN_HOLD_CANCEL = 5, /* cancel the holding of the token */
  119. };
  120. /*
  121. * New membership algorithm local variables
  122. */
  123. struct consensus_list_item {
  124. struct totem_ip_address addr;
  125. int set;
  126. };
  127. struct token_callback_instance {
  128. struct list_head list;
  129. int (*callback_fn) (enum totem_callback_token_type type, void *);
  130. enum totem_callback_token_type callback_type;
  131. int delete;
  132. void *data;
  133. };
  134. struct totemsrp_socket {
  135. int mcast;
  136. int token;
  137. };
  138. struct message_header {
  139. char type;
  140. char encapsulated;
  141. unsigned short endian_detector;
  142. unsigned int nodeid;
  143. } __attribute__((packed));
  144. struct mcast {
  145. struct message_header header;
  146. unsigned int seq;
  147. int this_seqno;
  148. struct memb_ring_id ring_id;
  149. struct totem_ip_address source;
  150. int guarantee;
  151. } __attribute__((packed));
  152. /*
  153. * MTU - multicast message header - IP header - UDP header
  154. *
  155. * On lossy switches, making use of the DF UDP flag can lead to loss of
  156. * forward progress. So the packets must be fragmented by a higher layer
  157. *
  158. * This layer can only handle packets of MTU size.
  159. */
  160. #define FRAGMENT_SIZE (FRAME_SIZE_MAX - sizeof (struct mcast) - 20 - 8)
  161. struct rtr_item {
  162. struct memb_ring_id ring_id;
  163. unsigned int seq;
  164. }__attribute__((packed));
  165. struct orf_token {
  166. struct message_header header;
  167. unsigned int seq;
  168. unsigned int token_seq;
  169. unsigned int aru;
  170. struct totem_ip_address aru_addr;
  171. struct memb_ring_id ring_id;
  172. short int fcc;
  173. int retrans_flg;
  174. int rtr_list_entries;
  175. struct rtr_item rtr_list[0];
  176. }__attribute__((packed));
  177. struct memb_join {
  178. struct message_header header;
  179. struct totem_ip_address proc_list[PROCESSOR_COUNT_MAX];
  180. int proc_list_entries;
  181. struct totem_ip_address failed_list[PROCESSOR_COUNT_MAX];
  182. int failed_list_entries;
  183. unsigned long long ring_seq;
  184. } __attribute__((packed));
  185. struct memb_merge_detect {
  186. struct message_header header;
  187. struct memb_ring_id ring_id;
  188. } __attribute__((packed));
  189. struct token_hold_cancel {
  190. struct message_header header;
  191. struct memb_ring_id ring_id;
  192. } __attribute__((packed));
  193. struct memb_commit_token_memb_entry {
  194. struct memb_ring_id ring_id;
  195. unsigned int aru;
  196. unsigned int high_delivered;
  197. int received_flg;
  198. }__attribute__((packed));
  199. struct memb_commit_token {
  200. struct message_header header;
  201. unsigned int token_seq;
  202. struct memb_ring_id ring_id;
  203. unsigned int retrans_flg;
  204. int memb_index;
  205. int addr_entries;
  206. struct totem_ip_address addr[PROCESSOR_COUNT_MAX];
  207. struct memb_commit_token_memb_entry memb_list[PROCESSOR_COUNT_MAX];
  208. }__attribute__((packed));
  209. struct message_item {
  210. struct mcast *mcast;
  211. struct iovec iovec[MAXIOVS];
  212. int iov_len;
  213. };
  214. struct sort_queue_item {
  215. struct iovec iovec[MAXIOVS];
  216. int iov_len;
  217. };
  218. struct orf_token_mcast_thread_state {
  219. char iobuf[9000];
  220. prng_state prng_state;
  221. };
  222. enum memb_state {
  223. MEMB_STATE_OPERATIONAL = 1,
  224. MEMB_STATE_GATHER = 2,
  225. MEMB_STATE_COMMIT = 3,
  226. MEMB_STATE_RECOVERY = 4
  227. };
  228. struct totemsrp_instance {
  229. int first_run;
  230. /*
  231. * Flow control mcasts and remcasts on last and current orf_token
  232. */
  233. int fcc_remcast_last;
  234. int fcc_mcast_last;
  235. int fcc_mcast_current;
  236. int fcc_remcast_current;
  237. struct consensus_list_item consensus_list[PROCESSOR_COUNT_MAX];
  238. int consensus_list_entries;
  239. struct totem_ip_address my_proc_list[PROCESSOR_COUNT_MAX];
  240. struct totem_ip_address my_failed_list[PROCESSOR_COUNT_MAX];
  241. struct totem_ip_address my_new_memb_list[PROCESSOR_COUNT_MAX];
  242. struct totem_ip_address my_trans_memb_list[PROCESSOR_COUNT_MAX];
  243. struct totem_ip_address my_memb_list[PROCESSOR_COUNT_MAX];
  244. struct totem_ip_address my_deliver_memb_list[PROCESSOR_COUNT_MAX];
  245. struct totem_ip_address my_nodeid_lookup_list[PROCESSOR_COUNT_MAX];
  246. int my_proc_list_entries;
  247. int my_failed_list_entries;
  248. int my_new_memb_entries;
  249. int my_trans_memb_entries;
  250. int my_memb_entries;
  251. int my_deliver_memb_entries;
  252. int my_nodeid_lookup_entries;
  253. struct memb_ring_id my_ring_id;
  254. struct memb_ring_id my_old_ring_id;
  255. int my_aru_count;
  256. int my_merge_detect_timeout_outstanding;
  257. unsigned int my_last_aru;
  258. int my_seq_unchanged;
  259. int my_received_flg;
  260. unsigned int my_high_seq_received;
  261. unsigned int my_install_seq;
  262. int my_rotation_counter;
  263. int my_set_retrans_flg;
  264. int my_retrans_flg_count;
  265. unsigned int my_high_ring_delivered;
  266. int heartbeat_timeout;
  267. /*
  268. * Queues used to order, deliver, and recover messages
  269. */
  270. struct queue new_message_queue;
  271. struct queue retrans_message_queue;
  272. struct sq regular_sort_queue;
  273. struct sq recovery_sort_queue;
  274. /*
  275. * Received up to and including
  276. */
  277. unsigned int my_aru;
  278. unsigned int my_high_delivered;
  279. struct list_head token_callback_received_listhead;
  280. struct list_head token_callback_sent_listhead;
  281. char *orf_token_retransmit; // sizeof (struct orf_token) + sizeof (struct rtr_item) * RETRANSMIT_ENTRIES_MAX];
  282. int orf_token_retransmit_size;
  283. unsigned int my_token_seq;
  284. /*
  285. * Timers
  286. */
  287. poll_timer_handle timer_orf_token_timeout;
  288. poll_timer_handle timer_orf_token_retransmit_timeout;
  289. poll_timer_handle timer_orf_token_hold_retransmit_timeout;
  290. poll_timer_handle timer_merge_detect_timeout;
  291. poll_timer_handle memb_timer_state_gather_join_timeout;
  292. poll_timer_handle memb_timer_state_gather_consensus_timeout;
  293. poll_timer_handle memb_timer_state_commit_timeout;
  294. poll_timer_handle timer_heartbeat_timeout;
  295. /*
  296. * Function and data used to log messages
  297. */
  298. int totemsrp_log_level_security;
  299. int totemsrp_log_level_error;
  300. int totemsrp_log_level_warning;
  301. int totemsrp_log_level_notice;
  302. int totemsrp_log_level_debug;
  303. void (*totemsrp_log_printf) (int level, char *format, ...);
  304. enum memb_state memb_state;
  305. struct totem_ip_address my_id;
  306. struct totem_ip_address next_memb;
  307. char iov_buffer[FRAME_SIZE_MAX];
  308. struct iovec totemsrp_iov_recv;
  309. poll_handle totemsrp_poll_handle;
  310. /*
  311. * Function called when new message received
  312. */
  313. int (*totemsrp_recv) (char *group, struct iovec *iovec, int iov_len);
  314. struct totem_ip_address mcast_address;
  315. void (*totemsrp_deliver_fn) (
  316. struct totem_ip_address *source_addr,
  317. struct iovec *iovec,
  318. int iov_len,
  319. int endian_conversion_required);
  320. void (*totemsrp_confchg_fn) (
  321. enum totem_configuration_type configuration_type,
  322. struct totem_ip_address *member_list, int member_list_entries,
  323. struct totem_ip_address *left_list, int left_list_entries,
  324. struct totem_ip_address *joined_list, int joined_list_entries,
  325. struct memb_ring_id *ring_id);
  326. int global_seqno;
  327. int my_token_held;
  328. unsigned long long token_ring_id_seq;
  329. unsigned int last_released;
  330. unsigned int set_aru;
  331. int old_ring_state_saved;
  332. int old_ring_state_aru;
  333. unsigned int old_ring_state_high_seq_received;
  334. int ring_saved;
  335. unsigned int my_last_seq;
  336. struct timeval tv_old;
  337. totemrrp_handle totemrrp_handle;
  338. struct totem_config *totem_config;
  339. int use_heartbeat;
  340. };
  341. struct message_handlers {
  342. int count;
  343. int (*handler_functions[6]) (
  344. struct totemsrp_instance *instance,
  345. struct totem_ip_address *system_from,
  346. void *msg,
  347. int msg_len,
  348. int endian_conversion_needed);
  349. };
  350. /*
  351. * forward decls
  352. */
  353. static int message_handler_orf_token (
  354. struct totemsrp_instance *instance,
  355. struct totem_ip_address *system_from,
  356. void *msg,
  357. int msg_len,
  358. int endian_conversion_needed);
  359. static int message_handler_mcast (
  360. struct totemsrp_instance *instance,
  361. struct totem_ip_address *system_from,
  362. void *msg,
  363. int msg_len,
  364. int endian_conversion_needed);
  365. static int message_handler_memb_merge_detect (
  366. struct totemsrp_instance *instance,
  367. struct totem_ip_address *system_from,
  368. void *msg,
  369. int msg_len,
  370. int endian_conversion_needed);
  371. static int message_handler_memb_join (
  372. struct totemsrp_instance *instance,
  373. struct totem_ip_address *system_from,
  374. void *msg,
  375. int msg_len,
  376. int endian_conversion_needed);
  377. static int message_handler_memb_commit_token (
  378. struct totemsrp_instance *instance,
  379. struct totem_ip_address *system_from,
  380. void *msg,
  381. int msg_len,
  382. int endian_conversion_needed);
  383. static int message_handler_token_hold_cancel (
  384. struct totemsrp_instance *instance,
  385. struct totem_ip_address *system_from,
  386. void *msg,
  387. int msg_len,
  388. int endian_conversion_needed);
  389. static void memb_ring_id_create_or_load (struct totemsrp_instance *, struct memb_ring_id *);
  390. static void token_callbacks_execute (struct totemsrp_instance *instance, enum totem_callback_token_type type);
  391. static void memb_state_gather_enter (struct totemsrp_instance *instance);
  392. static void messages_deliver_to_app (struct totemsrp_instance *instance, int skip, unsigned int end_point);
  393. static int orf_token_mcast (struct totemsrp_instance *instance, struct orf_token *oken,
  394. int fcc_mcasts_allowed, struct totem_ip_address *system_from);
  395. static void messages_free (struct totemsrp_instance *instance, unsigned int token_aru);
  396. static void memb_ring_id_store (struct totemsrp_instance *instance, struct memb_commit_token *commit_token);
  397. static void memb_state_commit_token_update (struct totemsrp_instance *instance, struct memb_commit_token *memb_commit_token);
  398. static int memb_state_commit_token_send (struct totemsrp_instance *instance, struct memb_commit_token *memb_commit_token);
  399. static void memb_state_commit_token_create (struct totemsrp_instance *instance, struct memb_commit_token *commit_token);
  400. static int token_hold_cancel_send (struct totemsrp_instance *instance);
  401. static void orf_token_endian_convert (struct orf_token *in, struct orf_token *out);
  402. static void memb_commit_token_endian_convert (struct memb_commit_token *in, struct memb_commit_token *out);
  403. static void memb_join_endian_convert (struct memb_join *in, struct memb_join *out);
  404. static void mcast_endian_convert (struct mcast *in, struct mcast *out);
  405. static void memb_merge_detect_endian_convert (
  406. struct memb_merge_detect *in,
  407. struct memb_merge_detect *out);
  408. static void timer_function_orf_token_timeout (void *data);
  409. static void timer_function_heartbeat_timeout (void *data);
  410. static void timer_function_token_retransmit_timeout (void *data);
  411. static void timer_function_token_hold_retransmit_timeout (void *data);
  412. static void timer_function_merge_detect_timeout (void *data);
  413. void main_deliver_fn (
  414. void *context,
  415. struct totem_ip_address *system_from,
  416. void *msg,
  417. int msg_len);
  418. void main_iface_change_fn (
  419. void *context,
  420. struct totem_ip_address *iface_address);
  421. /*
  422. * All instances in one database
  423. */
  424. static struct hdb_handle_database totemsrp_instance_database = {
  425. .handle_count = 0,
  426. .handles = 0,
  427. .iterator = 0
  428. };
  429. struct message_handlers totemsrp_message_handlers = {
  430. 6,
  431. {
  432. message_handler_orf_token,
  433. message_handler_mcast,
  434. message_handler_memb_merge_detect,
  435. message_handler_memb_join,
  436. message_handler_memb_commit_token,
  437. message_handler_token_hold_cancel
  438. }
  439. };
  440. void totemsrp_instance_initialize (struct totemsrp_instance *instance)
  441. {
  442. memset (instance, 0, sizeof (struct totemsrp_instance));
  443. list_init (&instance->token_callback_received_listhead);
  444. list_init (&instance->token_callback_sent_listhead);
  445. instance->my_received_flg = 1;
  446. instance->my_token_seq = SEQNO_START_TOKEN - 1;
  447. instance->orf_token_retransmit = malloc (15000);
  448. instance->memb_state = MEMB_STATE_OPERATIONAL;
  449. instance->set_aru = -1;
  450. instance->my_aru = SEQNO_START_MSG;
  451. instance->my_high_seq_received = SEQNO_START_MSG;
  452. instance->my_high_delivered = SEQNO_START_MSG;
  453. }
  454. void main_token_seqid_get (
  455. void *msg,
  456. unsigned int *seqid,
  457. unsigned int *token_is)
  458. {
  459. struct orf_token *token = (struct orf_token *)msg;
  460. *seqid = 0;
  461. *token_is = 0;
  462. if (token->header.type == MESSAGE_TYPE_ORF_TOKEN) {
  463. *seqid = token->seq;
  464. *token_is = 1;
  465. }
  466. }
  467. /*
  468. * Exported interfaces
  469. */
  470. int totemsrp_initialize (
  471. poll_handle poll_handle,
  472. totemsrp_handle *handle,
  473. struct totem_config *totem_config,
  474. void (*deliver_fn) (
  475. struct totem_ip_address *source_addr,
  476. struct iovec *iovec,
  477. int iov_len,
  478. int endian_conversion_required),
  479. void (*confchg_fn) (
  480. enum totem_configuration_type configuration_type,
  481. struct totem_ip_address *member_list, int member_list_entries,
  482. struct totem_ip_address *left_list, int left_list_entries,
  483. struct totem_ip_address *joined_list, int joined_list_entries,
  484. struct memb_ring_id *ring_id))
  485. {
  486. struct totemsrp_instance *instance;
  487. unsigned int res;
  488. res = hdb_handle_create (&totemsrp_instance_database,
  489. sizeof (struct totemsrp_instance), handle);
  490. if (res != 0) {
  491. goto error_exit;
  492. }
  493. res = hdb_handle_get (&totemsrp_instance_database, *handle,
  494. (void *)&instance);
  495. if (res != 0) {
  496. goto error_destroy;
  497. }
  498. totemsrp_instance_initialize (instance);
  499. instance->totem_config = totem_config;
  500. /*
  501. * Configure logging
  502. */
  503. instance->totemsrp_log_level_security = totem_config->totem_logging_configuration.log_level_security;
  504. instance->totemsrp_log_level_error = totem_config->totem_logging_configuration.log_level_error;
  505. instance->totemsrp_log_level_warning = totem_config->totem_logging_configuration.log_level_warning;
  506. instance->totemsrp_log_level_notice = totem_config->totem_logging_configuration.log_level_notice;
  507. instance->totemsrp_log_level_debug = totem_config->totem_logging_configuration.log_level_debug;
  508. instance->totemsrp_log_printf = totem_config->totem_logging_configuration.log_printf;
  509. /*
  510. * Initialize local variables for totemsrp
  511. */
  512. totemip_copy (&instance->mcast_address, &totem_config->mcast_addr);
  513. memset (&instance->next_memb, 0, sizeof (struct totem_ip_address));
  514. memset (instance->iov_buffer, 0, FRAME_SIZE_MAX);
  515. /*
  516. * Display totem configuration
  517. */
  518. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  519. "Token Timeout (%d ms) retransmit timeout (%d ms)\n",
  520. totem_config->token_timeout, totem_config->token_retransmit_timeout);
  521. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  522. "token hold (%d ms) retransmits before loss (%d retrans)\n",
  523. totem_config->token_hold_timeout, totem_config->token_retransmits_before_loss_const);
  524. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  525. "join (%d ms) consensus (%d ms) merge (%d ms)\n",
  526. totem_config->join_timeout, totem_config->consensus_timeout,
  527. totem_config->merge_timeout);
  528. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  529. "downcheck (%d ms) fail to recv const (%d msgs)\n",
  530. totem_config->downcheck_timeout, totem_config->fail_to_recv_const);
  531. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  532. "seqno unchanged const (%d rotations) Maximum network MTU %d\n", totem_config->seqno_unchanged_const, totem_config->net_mtu);
  533. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  534. "send threads (%d threads)\n", totem_config->threads);
  535. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  536. "heartbeat_failures_allowed (%d)\n", totem_config->heartbeat_failures_allowed);
  537. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  538. "max_network_delay (%d ms)\n", totem_config->max_network_delay);
  539. queue_init (&instance->retrans_message_queue, RETRANS_MESSAGE_QUEUE_SIZE_MAX,
  540. sizeof (struct message_item));
  541. sq_init (&instance->regular_sort_queue,
  542. QUEUE_RTR_ITEMS_SIZE_MAX, sizeof (struct sort_queue_item), 0);
  543. sq_init (&instance->recovery_sort_queue,
  544. QUEUE_RTR_ITEMS_SIZE_MAX, sizeof (struct sort_queue_item), 0);
  545. instance->totemsrp_poll_handle = poll_handle;
  546. instance->totemsrp_deliver_fn = deliver_fn;
  547. instance->totemsrp_confchg_fn = confchg_fn;
  548. instance->use_heartbeat = 1;
  549. if ( totem_config->heartbeat_failures_allowed == 0 ) {
  550. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  551. "HeartBeat is Disabled. To enable set heartbeat_failures_allowed > 0\n");
  552. instance->use_heartbeat = 0;
  553. }
  554. if (instance->use_heartbeat) {
  555. instance->heartbeat_timeout
  556. = (totem_config->heartbeat_failures_allowed) * totem_config->token_retransmit_timeout
  557. + totem_config->max_network_delay;
  558. if (instance->heartbeat_timeout >= totem_config->token_timeout) {
  559. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  560. "total heartbeat_timeout (%d ms) is not less than token timeout (%d ms)\n",
  561. instance->heartbeat_timeout,
  562. totem_config->token_timeout);
  563. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  564. "heartbeat_timeout = heartbeat_failures_allowed * token_retransmit_timeout + max_network_delay\n");
  565. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  566. "heartbeat timeout should be less than the token timeout. HeartBeat is Diabled !!\n");
  567. instance->use_heartbeat = 0;
  568. }
  569. else {
  570. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  571. "total heartbeat_timeout (%d ms)\n", instance->heartbeat_timeout);
  572. }
  573. }
  574. totemrrp_initialize (
  575. poll_handle,
  576. &instance->totemrrp_handle,
  577. totem_config,
  578. instance,
  579. main_deliver_fn,
  580. main_iface_change_fn,
  581. main_token_seqid_get);
  582. /*
  583. * Must have net_mtu adjusted by totemrrp_initialize first
  584. */
  585. queue_init (&instance->new_message_queue,
  586. (MESSAGE_SIZE_MAX / (totem_config->net_mtu - 25) /* for totempg_mcat header */),
  587. sizeof (struct message_item));
  588. return (0);
  589. error_destroy:
  590. hdb_handle_destroy (&totemsrp_instance_database, *handle);
  591. error_exit:
  592. return (-1);
  593. }
  594. void totemsrp_finalize (
  595. totemsrp_handle handle)
  596. {
  597. struct totemsrp_instance *instance;
  598. unsigned int res;
  599. res = hdb_handle_get (&totemsrp_instance_database, handle,
  600. (void *)&instance);
  601. if (res != 0) {
  602. return;
  603. }
  604. hdb_handle_put (&totemsrp_instance_database, handle);
  605. }
  606. /*
  607. * Set operations for use by the membership algorithm
  608. */
  609. static void memb_consensus_reset (struct totemsrp_instance *instance)
  610. {
  611. instance->consensus_list_entries = 0;
  612. }
  613. static void memb_set_subtract (
  614. struct totem_ip_address *out_list, int *out_list_entries,
  615. struct totem_ip_address *one_list, int one_list_entries,
  616. struct totem_ip_address *two_list, int two_list_entries)
  617. {
  618. int found = 0;
  619. int i;
  620. int j;
  621. *out_list_entries = 0;
  622. for (i = 0; i < one_list_entries; i++) {
  623. for (j = 0; j < two_list_entries; j++) {
  624. if (totemip_equal(&one_list[i], &two_list[j])) {
  625. found = 1;
  626. break;
  627. }
  628. }
  629. if (found == 0) {
  630. totemip_copy(&out_list[*out_list_entries], &one_list[i]);
  631. *out_list_entries = *out_list_entries + 1;
  632. }
  633. found = 0;
  634. }
  635. }
  636. /*
  637. * Set consensus for a specific processor
  638. */
  639. static void memb_consensus_set (
  640. struct totemsrp_instance *instance,
  641. struct totem_ip_address *addr)
  642. {
  643. int found = 0;
  644. int i;
  645. for (i = 0; i < instance->consensus_list_entries; i++) {
  646. if (totemip_equal(addr, &instance->consensus_list[i].addr)) {
  647. found = 1;
  648. break; /* found entry */
  649. }
  650. }
  651. totemip_copy(&instance->consensus_list[i].addr, addr);
  652. instance->consensus_list[i].set = 1;
  653. if (found == 0) {
  654. instance->consensus_list_entries++;
  655. }
  656. return;
  657. }
  658. /*
  659. * Is consensus set for a specific processor
  660. */
  661. static int memb_consensus_isset (
  662. struct totemsrp_instance *instance,
  663. struct totem_ip_address *addr)
  664. {
  665. int i;
  666. for (i = 0; i < instance->consensus_list_entries; i++) {
  667. if (totemip_equal(addr, &instance->consensus_list[i].addr)) {
  668. return (instance->consensus_list[i].set);
  669. }
  670. }
  671. return (0);
  672. }
  673. /*
  674. * Is consensus agreed upon based upon consensus database
  675. */
  676. static int memb_consensus_agreed (
  677. struct totemsrp_instance *instance)
  678. {
  679. struct totem_ip_address token_memb[PROCESSOR_COUNT_MAX];
  680. int token_memb_entries = 0;
  681. int agreed = 1;
  682. int i;
  683. memb_set_subtract (token_memb, &token_memb_entries,
  684. instance->my_proc_list, instance->my_proc_list_entries,
  685. instance->my_failed_list, instance->my_failed_list_entries);
  686. for (i = 0; i < token_memb_entries; i++) {
  687. if (memb_consensus_isset (instance, &token_memb[i]) == 0) {
  688. agreed = 0;
  689. break;
  690. }
  691. }
  692. assert (token_memb_entries >= 1);
  693. return (agreed);
  694. }
  695. static void memb_consensus_notset (
  696. struct totemsrp_instance *instance,
  697. struct totem_ip_address *no_consensus_list,
  698. int *no_consensus_list_entries,
  699. struct totem_ip_address *comparison_list,
  700. int comparison_list_entries)
  701. {
  702. int i;
  703. *no_consensus_list_entries = 0;
  704. for (i = 0; i < instance->my_proc_list_entries; i++) {
  705. if (memb_consensus_isset (instance, &instance->my_proc_list[i]) == 0) {
  706. totemip_copy(&no_consensus_list[*no_consensus_list_entries], &instance->my_proc_list[i]);
  707. *no_consensus_list_entries = *no_consensus_list_entries + 1;
  708. }
  709. }
  710. }
  711. /*
  712. * Is set1 equal to set2 Entries can be in different orders
  713. */
  714. static int memb_set_equal (struct totem_ip_address *set1, int set1_entries,
  715. struct totem_ip_address *set2, int set2_entries)
  716. {
  717. int i;
  718. int j;
  719. int found = 0;
  720. if (set1_entries != set2_entries) {
  721. return (0);
  722. }
  723. for (i = 0; i < set2_entries; i++) {
  724. for (j = 0; j < set1_entries; j++) {
  725. if (totemip_equal(&set1[j], &set2[i])) {
  726. found = 1;
  727. break;
  728. }
  729. }
  730. if (found == 0) {
  731. return (0);
  732. }
  733. found = 0;
  734. }
  735. return (1);
  736. }
  737. /*
  738. * Is subset fully contained in fullset
  739. */
  740. static int memb_set_subset (
  741. struct totem_ip_address *subset, int subset_entries,
  742. struct totem_ip_address *fullset, int fullset_entries)
  743. {
  744. int i;
  745. int j;
  746. int found = 0;
  747. if (subset_entries > fullset_entries) {
  748. return (0);
  749. }
  750. for (i = 0; i < subset_entries; i++) {
  751. for (j = 0; j < fullset_entries; j++) {
  752. if (totemip_equal(&subset[i], &fullset[j])) {
  753. found = 1;
  754. }
  755. }
  756. if (found == 0) {
  757. return (0);
  758. }
  759. found = 1;
  760. }
  761. return (1);
  762. }
  763. /*
  764. * merge subset into fullset taking care not to add duplicates
  765. */
  766. static void memb_set_merge (
  767. struct totem_ip_address *subset, int subset_entries,
  768. struct totem_ip_address *fullset, int *fullset_entries)
  769. {
  770. int found = 0;
  771. int i;
  772. int j;
  773. for (i = 0; i < subset_entries; i++) {
  774. for (j = 0; j < *fullset_entries; j++) {
  775. if (totemip_equal(&fullset[j], &subset[i])) {
  776. found = 1;
  777. break;
  778. }
  779. }
  780. if (found == 0) {
  781. totemip_copy(&fullset[j], &subset[i]);
  782. *fullset_entries = *fullset_entries + 1;
  783. }
  784. found = 0;
  785. }
  786. return;
  787. }
  788. static void memb_set_and (
  789. struct totem_ip_address *set1, int set1_entries,
  790. struct totem_ip_address *set2, int set2_entries,
  791. struct totem_ip_address *and, int *and_entries)
  792. {
  793. int i;
  794. int j;
  795. int found = 0;
  796. *and_entries = 0;
  797. for (i = 0; i < set2_entries; i++) {
  798. for (j = 0; j < set1_entries; j++) {
  799. if (totemip_equal(&set1[j], &set2[i])) {
  800. found = 1;
  801. break;
  802. }
  803. }
  804. if (found) {
  805. totemip_copy(&and[*and_entries], &set1[j]);
  806. *and_entries = *and_entries + 1;
  807. }
  808. found = 0;
  809. }
  810. return;
  811. }
  812. #ifdef CODE_COVERAGE
  813. static void memb_set_print (
  814. char *string,
  815. struct totem_ip_address *list,
  816. int list_entries)
  817. {
  818. int i;
  819. printf ("List '%s' contains %d entries:\n", string, list_entries);
  820. for (i = 0; i < list_entries; i++) {
  821. printf ("addr %s\n", totemip_print (&list[i]));
  822. }
  823. }
  824. #endif
  825. static void reset_token_retransmit_timeout (struct totemsrp_instance *instance)
  826. {
  827. poll_timer_delete (instance->totemsrp_poll_handle,
  828. instance->timer_orf_token_retransmit_timeout);
  829. poll_timer_add (instance->totemsrp_poll_handle,
  830. instance->totem_config->token_retransmit_timeout,
  831. (void *)instance,
  832. timer_function_token_retransmit_timeout,
  833. &instance->timer_orf_token_retransmit_timeout);
  834. }
  835. static void start_merge_detect_timeout (struct totemsrp_instance *instance)
  836. {
  837. if (instance->my_merge_detect_timeout_outstanding == 0) {
  838. poll_timer_add (instance->totemsrp_poll_handle,
  839. instance->totem_config->merge_timeout,
  840. (void *)instance,
  841. timer_function_merge_detect_timeout,
  842. &instance->timer_merge_detect_timeout);
  843. instance->my_merge_detect_timeout_outstanding = 1;
  844. }
  845. }
  846. static void cancel_merge_detect_timeout (struct totemsrp_instance *instance)
  847. {
  848. poll_timer_delete (instance->totemsrp_poll_handle, instance->timer_merge_detect_timeout);
  849. instance->my_merge_detect_timeout_outstanding = 0;
  850. }
  851. /*
  852. * ring_state_* is used to save and restore the sort queue
  853. * state when a recovery operation fails (and enters gather)
  854. */
  855. static void old_ring_state_save (struct totemsrp_instance *instance)
  856. {
  857. if (instance->old_ring_state_saved == 0) {
  858. instance->old_ring_state_saved = 1;
  859. instance->old_ring_state_aru = instance->my_aru;
  860. instance->old_ring_state_high_seq_received = instance->my_high_seq_received;
  861. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  862. "Saving state aru %x high seq received %x\n",
  863. instance->my_aru, instance->my_high_seq_received);
  864. }
  865. }
  866. static void ring_save (struct totemsrp_instance *instance)
  867. {
  868. if (instance->ring_saved == 0) {
  869. instance->ring_saved = 1;
  870. memcpy (&instance->my_old_ring_id, &instance->my_ring_id,
  871. sizeof (struct memb_ring_id));
  872. }
  873. }
  874. static void ring_reset (struct totemsrp_instance *instance)
  875. {
  876. instance->ring_saved = 0;
  877. }
  878. static void ring_state_restore (struct totemsrp_instance *instance)
  879. {
  880. if (instance->old_ring_state_saved) {
  881. totemip_zero_set(&instance->my_ring_id.rep);
  882. instance->my_aru = instance->old_ring_state_aru;
  883. instance->my_high_seq_received = instance->old_ring_state_high_seq_received;
  884. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  885. "Restoring instance->my_aru %x my high seq received %x\n",
  886. instance->my_aru, instance->my_high_seq_received);
  887. }
  888. }
  889. static void old_ring_state_reset (struct totemsrp_instance *instance)
  890. {
  891. instance->old_ring_state_saved = 0;
  892. }
  893. static void reset_token_timeout (struct totemsrp_instance *instance) {
  894. poll_timer_delete (instance->totemsrp_poll_handle, instance->timer_orf_token_timeout);
  895. poll_timer_add (instance->totemsrp_poll_handle,
  896. instance->totem_config->token_timeout,
  897. (void *)instance,
  898. timer_function_orf_token_timeout,
  899. &instance->timer_orf_token_timeout);
  900. }
  901. static void reset_heartbeat_timeout (struct totemsrp_instance *instance) {
  902. poll_timer_delete (instance->totemsrp_poll_handle, instance->timer_heartbeat_timeout);
  903. poll_timer_add (instance->totemsrp_poll_handle,
  904. instance->heartbeat_timeout,
  905. (void *)instance,
  906. timer_function_heartbeat_timeout,
  907. &instance->timer_heartbeat_timeout);
  908. }
  909. static void cancel_token_timeout (struct totemsrp_instance *instance) {
  910. poll_timer_delete (instance->totemsrp_poll_handle, instance->timer_orf_token_timeout);
  911. }
  912. static void cancel_heartbeat_timeout (struct totemsrp_instance *instance) {
  913. poll_timer_delete (instance->totemsrp_poll_handle, instance->timer_heartbeat_timeout);
  914. }
  915. static void cancel_token_retransmit_timeout (struct totemsrp_instance *instance)
  916. {
  917. poll_timer_delete (instance->totemsrp_poll_handle, instance->timer_orf_token_retransmit_timeout);
  918. }
  919. static void start_token_hold_retransmit_timeout (struct totemsrp_instance *instance)
  920. {
  921. poll_timer_add (instance->totemsrp_poll_handle,
  922. instance->totem_config->token_hold_timeout,
  923. (void *)instance,
  924. timer_function_token_hold_retransmit_timeout,
  925. &instance->timer_orf_token_hold_retransmit_timeout);
  926. }
  927. static void cancel_token_hold_retransmit_timeout (struct totemsrp_instance *instance)
  928. {
  929. poll_timer_delete (instance->totemsrp_poll_handle,
  930. instance->timer_orf_token_hold_retransmit_timeout);
  931. }
  932. static void memb_state_consensus_timeout_expired (
  933. struct totemsrp_instance *instance)
  934. {
  935. struct totem_ip_address no_consensus_list[PROCESSOR_COUNT_MAX];
  936. int no_consensus_list_entries;
  937. if (memb_consensus_agreed (instance)) {
  938. memb_consensus_reset (instance);
  939. memb_consensus_set (instance, &instance->my_id);
  940. reset_token_timeout (instance); // REVIEWED
  941. } else {
  942. memb_consensus_notset (instance, no_consensus_list,
  943. &no_consensus_list_entries,
  944. instance->my_proc_list, instance->my_proc_list_entries);
  945. memb_set_merge (no_consensus_list, no_consensus_list_entries,
  946. instance->my_failed_list, &instance->my_failed_list_entries);
  947. memb_state_gather_enter (instance);
  948. }
  949. }
  950. static void memb_join_message_send (struct totemsrp_instance *instance);
  951. static void memb_merge_detect_transmit (struct totemsrp_instance *instance);
  952. /*
  953. * Timers used for various states of the membership algorithm
  954. */
  955. static void timer_function_orf_token_timeout (void *data)
  956. {
  957. struct totemsrp_instance *instance = (struct totemsrp_instance *)data;
  958. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  959. "The token was lost in state %d from timer %x\n", instance->memb_state, data);
  960. switch (instance->memb_state) {
  961. case MEMB_STATE_OPERATIONAL:
  962. totemrrp_iface_check (instance->totemrrp_handle);
  963. memb_state_gather_enter (instance);
  964. break;
  965. case MEMB_STATE_GATHER:
  966. memb_state_consensus_timeout_expired (instance);
  967. memb_state_gather_enter (instance);
  968. break;
  969. case MEMB_STATE_COMMIT:
  970. memb_state_gather_enter (instance);
  971. break;
  972. case MEMB_STATE_RECOVERY:
  973. ring_state_restore (instance);
  974. memb_state_gather_enter (instance);
  975. break;
  976. }
  977. }
  978. static void timer_function_heartbeat_timeout (void *data)
  979. {
  980. struct totemsrp_instance *instance = (struct totemsrp_instance *)data;
  981. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  982. "HeartBeat Timer expired Invoking token loss mechanism in state %d \n", instance->memb_state);
  983. timer_function_orf_token_timeout(data);
  984. }
  985. static void memb_timer_function_state_gather (void *data)
  986. {
  987. struct totemsrp_instance *instance = (struct totemsrp_instance *)data;
  988. switch (instance->memb_state) {
  989. case MEMB_STATE_OPERATIONAL:
  990. case MEMB_STATE_RECOVERY:
  991. assert (0); /* this should never happen */
  992. break;
  993. case MEMB_STATE_GATHER:
  994. case MEMB_STATE_COMMIT:
  995. memb_join_message_send (instance);
  996. /*
  997. * Restart the join timeout
  998. `*/
  999. poll_timer_delete (instance->totemsrp_poll_handle, instance->memb_timer_state_gather_join_timeout);
  1000. poll_timer_add (instance->totemsrp_poll_handle,
  1001. instance->totem_config->join_timeout,
  1002. (void *)instance,
  1003. memb_timer_function_state_gather,
  1004. &instance->memb_timer_state_gather_join_timeout);
  1005. break;
  1006. }
  1007. }
  1008. static void memb_timer_function_gather_consensus_timeout (void *data)
  1009. {
  1010. struct totemsrp_instance *instance = (struct totemsrp_instance *)data;
  1011. memb_state_consensus_timeout_expired (instance);
  1012. }
  1013. static void deliver_messages_from_recovery_to_regular (struct totemsrp_instance *instance)
  1014. {
  1015. unsigned int i;
  1016. struct sort_queue_item *recovery_message_item;
  1017. struct sort_queue_item regular_message_item;
  1018. unsigned int range = 0;
  1019. int res;
  1020. void *ptr;
  1021. struct mcast *mcast;
  1022. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  1023. "recovery to regular %x-%x\n", SEQNO_START_MSG + 1, instance->my_aru);
  1024. range = instance->my_aru - SEQNO_START_MSG;
  1025. /*
  1026. * Move messages from recovery to regular sort queue
  1027. */
  1028. // todo should i be initialized to 0 or 1 ?
  1029. for (i = 1; i <= range; i++) {
  1030. res = sq_item_get (&instance->recovery_sort_queue,
  1031. i + SEQNO_START_MSG, &ptr);
  1032. if (res != 0) {
  1033. continue;
  1034. }
  1035. recovery_message_item = (struct sort_queue_item *)ptr;
  1036. /*
  1037. * Convert recovery message into regular message
  1038. */
  1039. if (recovery_message_item->iov_len > 1) {
  1040. mcast = recovery_message_item->iovec[1].iov_base;
  1041. memcpy (&regular_message_item.iovec[0],
  1042. &recovery_message_item->iovec[1],
  1043. sizeof (struct iovec) * recovery_message_item->iov_len);
  1044. } else {
  1045. mcast = recovery_message_item->iovec[0].iov_base;
  1046. if (mcast->header.encapsulated == 1) {
  1047. /*
  1048. * Message is a recovery message encapsulated
  1049. * in a new ring message
  1050. */
  1051. regular_message_item.iovec[0].iov_base =
  1052. recovery_message_item->iovec[0].iov_base + sizeof (struct mcast);
  1053. regular_message_item.iovec[0].iov_len =
  1054. recovery_message_item->iovec[0].iov_len - sizeof (struct mcast);
  1055. regular_message_item.iov_len = 1;
  1056. mcast = regular_message_item.iovec[0].iov_base;
  1057. } else {
  1058. continue; /* TODO this case shouldn't happen */
  1059. /*
  1060. * Message is originated on new ring and not
  1061. * encapsulated
  1062. */
  1063. regular_message_item.iovec[0].iov_base =
  1064. recovery_message_item->iovec[0].iov_base;
  1065. regular_message_item.iovec[0].iov_len =
  1066. recovery_message_item->iovec[0].iov_len;
  1067. }
  1068. }
  1069. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  1070. "comparing if ring id is for this processors old ring seqno %d\n",
  1071. mcast->seq);
  1072. /*
  1073. * Only add this message to the regular sort
  1074. * queue if it was originated with the same ring
  1075. * id as the previous ring
  1076. */
  1077. if (memcmp (&instance->my_old_ring_id, &mcast->ring_id,
  1078. sizeof (struct memb_ring_id)) == 0) {
  1079. regular_message_item.iov_len = recovery_message_item->iov_len;
  1080. res = sq_item_inuse (&instance->regular_sort_queue, mcast->seq);
  1081. if (res == 0) {
  1082. sq_item_add (&instance->regular_sort_queue,
  1083. &regular_message_item, mcast->seq);
  1084. if (sq_lt_compare (instance->old_ring_state_high_seq_received, mcast->seq)) {
  1085. instance->old_ring_state_high_seq_received = mcast->seq;
  1086. }
  1087. }
  1088. } else {
  1089. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1090. "-not adding msg with seq no %x\n", mcast->seq);
  1091. }
  1092. }
  1093. }
  1094. /*
  1095. * Change states in the state machine of the membership algorithm
  1096. */
  1097. static void memb_state_operational_enter (struct totemsrp_instance *instance)
  1098. {
  1099. struct totem_ip_address joined_list[PROCESSOR_COUNT_MAX];
  1100. int joined_list_entries = 0;
  1101. struct totem_ip_address left_list[PROCESSOR_COUNT_MAX];
  1102. int left_list_entries = 0;
  1103. unsigned int aru_save;
  1104. old_ring_state_reset (instance);
  1105. ring_reset (instance);
  1106. deliver_messages_from_recovery_to_regular (instance);
  1107. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  1108. "Delivering to app %x to %x\n",
  1109. instance->my_high_delivered + 1, instance->old_ring_state_high_seq_received);
  1110. aru_save = instance->my_aru;
  1111. instance->my_aru = instance->old_ring_state_aru;
  1112. messages_deliver_to_app (instance, 0, instance->old_ring_state_high_seq_received);
  1113. /*
  1114. * Calculate joined and left list
  1115. */
  1116. memb_set_subtract (left_list, &left_list_entries,
  1117. instance->my_memb_list, instance->my_memb_entries,
  1118. instance->my_trans_memb_list, instance->my_trans_memb_entries);
  1119. memb_set_subtract (joined_list, &joined_list_entries,
  1120. instance->my_new_memb_list, instance->my_new_memb_entries,
  1121. instance->my_trans_memb_list, instance->my_trans_memb_entries);
  1122. /*
  1123. * Deliver transitional configuration to application
  1124. */
  1125. instance->totemsrp_confchg_fn (TOTEM_CONFIGURATION_TRANSITIONAL,
  1126. instance->my_trans_memb_list, instance->my_trans_memb_entries,
  1127. left_list, left_list_entries,
  1128. 0, 0, &instance->my_ring_id);
  1129. // TODO we need to filter to ensure we only deliver those
  1130. // messages which are part of instance->my_deliver_memb
  1131. messages_deliver_to_app (instance, 1, instance->old_ring_state_high_seq_received);
  1132. instance->my_aru = aru_save;
  1133. /*
  1134. * Deliver regular configuration to application
  1135. */
  1136. instance->totemsrp_confchg_fn (TOTEM_CONFIGURATION_REGULAR,
  1137. instance->my_new_memb_list, instance->my_new_memb_entries,
  1138. 0, 0,
  1139. joined_list, joined_list_entries, &instance->my_ring_id);
  1140. /*
  1141. * Install new membership
  1142. */
  1143. instance->my_memb_entries = instance->my_new_memb_entries;
  1144. memcpy (instance->my_memb_list, instance->my_new_memb_list,
  1145. sizeof (struct totem_ip_address) * instance->my_memb_entries);
  1146. instance->last_released = 0;
  1147. instance->my_set_retrans_flg = 0;
  1148. /*
  1149. * The recovery sort queue now becomes the regular
  1150. * sort queue. It is necessary to copy the state
  1151. * into the regular sort queue.
  1152. */
  1153. sq_copy (&instance->regular_sort_queue, &instance->recovery_sort_queue);
  1154. instance->my_last_aru = SEQNO_START_MSG;
  1155. sq_items_release (&instance->regular_sort_queue, SEQNO_START_MSG - 1);
  1156. instance->my_proc_list_entries = instance->my_new_memb_entries;
  1157. memcpy (instance->my_proc_list, instance->my_new_memb_list,
  1158. sizeof (struct totem_ip_address) * instance->my_memb_entries);
  1159. instance->my_failed_list_entries = 0;
  1160. instance->my_high_delivered = instance->my_aru;
  1161. // TODO the recovery messages are leaked
  1162. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1163. "entering OPERATIONAL state.\n");
  1164. instance->memb_state = MEMB_STATE_OPERATIONAL;
  1165. return;
  1166. }
  1167. static void memb_state_gather_enter (struct totemsrp_instance *instance)
  1168. {
  1169. memb_set_merge (&instance->my_id, 1,
  1170. instance->my_proc_list, &instance->my_proc_list_entries);
  1171. memb_join_message_send (instance);
  1172. /*
  1173. * Restart the join timeout
  1174. */
  1175. poll_timer_delete (instance->totemsrp_poll_handle, instance->memb_timer_state_gather_join_timeout);
  1176. poll_timer_add (instance->totemsrp_poll_handle,
  1177. instance->totem_config->join_timeout,
  1178. (void *)instance,
  1179. memb_timer_function_state_gather,
  1180. &instance->memb_timer_state_gather_join_timeout);
  1181. /*
  1182. * Restart the consensus timeout
  1183. */
  1184. poll_timer_delete (instance->totemsrp_poll_handle,
  1185. instance->memb_timer_state_gather_consensus_timeout);
  1186. poll_timer_add (instance->totemsrp_poll_handle,
  1187. instance->totem_config->consensus_timeout,
  1188. (void *)instance,
  1189. memb_timer_function_gather_consensus_timeout,
  1190. &instance->memb_timer_state_gather_consensus_timeout);
  1191. /*
  1192. * Cancel the token loss and token retransmission timeouts
  1193. */
  1194. cancel_token_retransmit_timeout (instance); // REVIEWED
  1195. cancel_token_timeout (instance); // REVIEWED
  1196. cancel_merge_detect_timeout (instance);
  1197. memb_consensus_reset (instance);
  1198. memb_consensus_set (instance, &instance->my_id);
  1199. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1200. "entering GATHER state.\n");
  1201. instance->memb_state = MEMB_STATE_GATHER;
  1202. return;
  1203. }
  1204. static void timer_function_token_retransmit_timeout (void *data);
  1205. static void memb_state_commit_enter (
  1206. struct totemsrp_instance *instance,
  1207. struct memb_commit_token *commit_token)
  1208. {
  1209. ring_save (instance);
  1210. old_ring_state_save (instance);
  1211. memb_state_commit_token_update (instance, commit_token);
  1212. memb_state_commit_token_send (instance, commit_token);
  1213. memb_ring_id_store (instance, commit_token);
  1214. poll_timer_delete (instance->totemsrp_poll_handle, instance->memb_timer_state_gather_join_timeout);
  1215. instance->memb_timer_state_gather_join_timeout = 0;
  1216. poll_timer_delete (instance->totemsrp_poll_handle, instance->memb_timer_state_gather_consensus_timeout);
  1217. instance->memb_timer_state_gather_consensus_timeout = 0;
  1218. reset_token_timeout (instance); // REVIEWED
  1219. reset_token_retransmit_timeout (instance); // REVIEWED
  1220. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1221. "entering COMMIT state.\n");
  1222. instance->memb_state = MEMB_STATE_COMMIT;
  1223. return;
  1224. }
  1225. static void memb_state_recovery_enter (
  1226. struct totemsrp_instance *instance,
  1227. struct memb_commit_token *commit_token)
  1228. {
  1229. int i;
  1230. #ifdef COMPILE_OUT
  1231. int local_received_flg = 1;
  1232. #endif
  1233. unsigned int low_ring_aru;
  1234. unsigned int range = 0;
  1235. unsigned int messages_originated = 0;
  1236. char is_originated[4096];
  1237. char not_originated[4096];
  1238. char seqno_string_hex[10];
  1239. instance->my_high_ring_delivered = 0;
  1240. sq_reinit (&instance->recovery_sort_queue, SEQNO_START_MSG);
  1241. queue_reinit (&instance->retrans_message_queue);
  1242. low_ring_aru = instance->old_ring_state_high_seq_received;
  1243. memb_state_commit_token_send (instance, commit_token);
  1244. instance->my_token_seq = SEQNO_START_TOKEN - 1;
  1245. /*
  1246. * Build regular configuration
  1247. */
  1248. instance->my_new_memb_entries = commit_token->addr_entries;
  1249. totemrrp_processor_count_set (
  1250. instance->totemrrp_handle,
  1251. commit_token->addr_entries);
  1252. memcpy (instance->my_new_memb_list, commit_token->addr,
  1253. sizeof (struct totem_ip_address) * instance->my_new_memb_entries);
  1254. /*
  1255. * Build transitional configuration
  1256. */
  1257. memb_set_and (instance->my_new_memb_list, instance->my_new_memb_entries,
  1258. instance->my_memb_list, instance->my_memb_entries,
  1259. instance->my_trans_memb_list, &instance->my_trans_memb_entries);
  1260. for (i = 0; i < instance->my_new_memb_entries; i++) {
  1261. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1262. "position [%d] member %s:\n", i, totemip_print (&commit_token->addr[i]));
  1263. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1264. "previous ring seq %lld rep %s\n",
  1265. commit_token->memb_list[i].ring_id.seq,
  1266. totemip_print (&commit_token->memb_list[i].ring_id.rep));
  1267. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1268. "aru %x high delivered %x received flag %d\n",
  1269. commit_token->memb_list[i].aru,
  1270. commit_token->memb_list[i].high_delivered,
  1271. commit_token->memb_list[i].received_flg);
  1272. assert (!totemip_zero_check(&commit_token->memb_list[i].ring_id.rep));
  1273. }
  1274. /*
  1275. * Determine if any received flag is false
  1276. */
  1277. #ifdef COMPILE_OUT
  1278. for (i = 0; i < commit_token->addr_entries; i++) {
  1279. if (memb_set_subset (&instance->my_new_memb_list[i], 1,
  1280. instance->my_trans_memb_list, instance->my_trans_memb_entries) &&
  1281. commit_token->memb_list[i].received_flg == 0) {
  1282. #endif
  1283. instance->my_deliver_memb_entries = instance->my_trans_memb_entries;
  1284. memcpy (instance->my_deliver_memb_list, instance->my_trans_memb_list,
  1285. sizeof (struct totem_ip_address) * instance->my_trans_memb_entries);
  1286. #ifdef COMPILE_OUT
  1287. local_received_flg = 0;
  1288. break;
  1289. }
  1290. }
  1291. #endif
  1292. // if (local_received_flg == 0) {
  1293. /*
  1294. * Calculate my_low_ring_aru, instance->my_high_ring_delivered for the transitional membership
  1295. */
  1296. for (i = 0; i < commit_token->addr_entries; i++) {
  1297. if (memb_set_subset (&instance->my_new_memb_list[i], 1,
  1298. instance->my_deliver_memb_list,
  1299. instance->my_deliver_memb_entries) &&
  1300. memcmp (&instance->my_old_ring_id,
  1301. &commit_token->memb_list[i].ring_id,
  1302. sizeof (struct memb_ring_id)) == 0) {
  1303. if (low_ring_aru == 0 ||
  1304. sq_lt_compare (commit_token->memb_list[i].aru, low_ring_aru)) {
  1305. low_ring_aru = commit_token->memb_list[i].aru;
  1306. }
  1307. if (sq_lt_compare (instance->my_high_ring_delivered, commit_token->memb_list[i].high_delivered)) {
  1308. instance->my_high_ring_delivered = commit_token->memb_list[i].high_delivered;
  1309. }
  1310. }
  1311. }
  1312. /*
  1313. * Copy all old ring messages to instance->retrans_message_queue
  1314. */
  1315. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1316. "copying all old ring messages from %x-%x.\n",
  1317. low_ring_aru + 1, instance->old_ring_state_high_seq_received);
  1318. strcpy (not_originated, "Not Originated for recovery: ");
  1319. strcpy (is_originated, "Originated for recovery: ");
  1320. range = instance->old_ring_state_high_seq_received - low_ring_aru;
  1321. assert (range < 1024);
  1322. for (i = 1; i <= range; i++) {
  1323. struct sort_queue_item *sort_queue_item;
  1324. struct message_item message_item;
  1325. void *ptr;
  1326. int res;
  1327. sprintf (seqno_string_hex, "%x ", low_ring_aru + i);
  1328. res = sq_item_get (&instance->regular_sort_queue,
  1329. low_ring_aru + i, &ptr);
  1330. if (res != 0) {
  1331. strcat (not_originated, seqno_string_hex);
  1332. continue;
  1333. }
  1334. strcat (is_originated, seqno_string_hex);
  1335. sort_queue_item = ptr;
  1336. assert (sort_queue_item->iov_len > 0);
  1337. assert (sort_queue_item->iov_len <= MAXIOVS);
  1338. messages_originated++;
  1339. memset (&message_item, 0, sizeof (struct message_item));
  1340. // TODO LEAK
  1341. message_item.mcast = malloc (sizeof (struct mcast));
  1342. assert (message_item.mcast);
  1343. memcpy (message_item.mcast, sort_queue_item->iovec[0].iov_base,
  1344. sizeof (struct mcast));
  1345. memcpy (&message_item.mcast->ring_id, &instance->my_ring_id,
  1346. sizeof (struct memb_ring_id));
  1347. message_item.mcast->header.encapsulated = 1;
  1348. message_item.mcast->header.nodeid = instance->my_id.nodeid;
  1349. assert (message_item.mcast->header.nodeid);
  1350. message_item.iov_len = sort_queue_item->iov_len;
  1351. memcpy (&message_item.iovec, &sort_queue_item->iovec, sizeof (struct iovec) *
  1352. sort_queue_item->iov_len);
  1353. queue_item_add (&instance->retrans_message_queue, &message_item);
  1354. }
  1355. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1356. "Originated %d messages in RECOVERY.\n", messages_originated);
  1357. strcat (not_originated, "\n");
  1358. strcat (is_originated, "\n");
  1359. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice, is_originated);
  1360. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice, not_originated);
  1361. // }
  1362. instance->my_aru = SEQNO_START_MSG;
  1363. instance->my_aru_count = 0;
  1364. instance->my_seq_unchanged = 0;
  1365. instance->my_high_seq_received = SEQNO_START_MSG;
  1366. instance->my_install_seq = SEQNO_START_MSG;
  1367. instance->last_released = SEQNO_START_MSG;
  1368. reset_token_timeout (instance); // REVIEWED
  1369. reset_token_retransmit_timeout (instance); // REVIEWED
  1370. instance->memb_state = MEMB_STATE_RECOVERY;
  1371. return;
  1372. }
  1373. int totemsrp_new_msg_signal (totemsrp_handle handle)
  1374. {
  1375. struct totemsrp_instance *instance;
  1376. unsigned int res;
  1377. res = hdb_handle_get (&totemsrp_instance_database, handle,
  1378. (void *)&instance);
  1379. if (res != 0) {
  1380. goto error_exit;
  1381. }
  1382. token_hold_cancel_send (instance);
  1383. hdb_handle_put (&totemsrp_instance_database, handle);
  1384. return (0);
  1385. error_exit:
  1386. return (-1);
  1387. }
  1388. int totemsrp_mcast (
  1389. totemsrp_handle handle,
  1390. struct iovec *iovec,
  1391. int iov_len,
  1392. int guarantee)
  1393. {
  1394. int i;
  1395. int j;
  1396. struct message_item message_item;
  1397. struct totemsrp_instance *instance;
  1398. unsigned int res;
  1399. res = hdb_handle_get (&totemsrp_instance_database, handle,
  1400. (void *)&instance);
  1401. if (res != 0) {
  1402. goto error_exit;
  1403. }
  1404. if (queue_is_full (&instance->new_message_queue)) {
  1405. printf ("queue full\n");
  1406. return (-1);
  1407. }
  1408. for (j = 0, i = 0; i < iov_len; i++) {
  1409. j+= iovec[i].iov_len;
  1410. }
  1411. memset (&message_item, 0, sizeof (struct message_item));
  1412. /*
  1413. * Allocate pending item
  1414. */
  1415. // TODO LEAK
  1416. message_item.mcast = malloc (sizeof (struct mcast));
  1417. if (message_item.mcast == 0) {
  1418. goto error_mcast;
  1419. }
  1420. /*
  1421. * Set mcast header
  1422. */
  1423. message_item.mcast->header.type = MESSAGE_TYPE_MCAST;
  1424. message_item.mcast->header.endian_detector = ENDIAN_LOCAL;
  1425. message_item.mcast->header.encapsulated = 2;
  1426. message_item.mcast->header.nodeid = instance->my_id.nodeid;
  1427. assert (message_item.mcast->header.nodeid);
  1428. message_item.mcast->guarantee = guarantee;
  1429. totemip_copy(&message_item.mcast->source, &instance->my_id);
  1430. for (i = 0; i < iov_len; i++) {
  1431. // TODO LEAK
  1432. message_item.iovec[i].iov_base = malloc (iovec[i].iov_len);
  1433. if (message_item.iovec[i].iov_base == 0) {
  1434. goto error_iovec;
  1435. }
  1436. memcpy (message_item.iovec[i].iov_base, iovec[i].iov_base,
  1437. iovec[i].iov_len);
  1438. message_item.iovec[i].iov_len = iovec[i].iov_len;
  1439. }
  1440. message_item.iov_len = iov_len;
  1441. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug, "mcasted message added to pending queue\n");
  1442. queue_item_add (&instance->new_message_queue, &message_item);
  1443. hdb_handle_put (&totemsrp_instance_database, handle);
  1444. return (0);
  1445. error_iovec:
  1446. for (j = 0; j < i; j++) {
  1447. free (message_item.iovec[j].iov_base);
  1448. }
  1449. error_mcast:
  1450. hdb_handle_put (&totemsrp_instance_database, handle);
  1451. error_exit:
  1452. return (-1);
  1453. }
  1454. /*
  1455. * Determine if there is room to queue a new message
  1456. */
  1457. int totemsrp_avail (totemsrp_handle handle)
  1458. {
  1459. int avail;
  1460. struct totemsrp_instance *instance;
  1461. unsigned int res;
  1462. res = hdb_handle_get (&totemsrp_instance_database, handle,
  1463. (void *)&instance);
  1464. if (res != 0) {
  1465. goto error_exit;
  1466. }
  1467. queue_avail (&instance->new_message_queue, &avail);
  1468. hdb_handle_put (&totemsrp_instance_database, handle);
  1469. return (avail);
  1470. error_exit:
  1471. return (0);
  1472. }
  1473. /*
  1474. * ORF Token Management
  1475. */
  1476. /*
  1477. * Recast message to mcast group if it is available
  1478. */
  1479. static int orf_token_remcast (
  1480. struct totemsrp_instance *instance,
  1481. int seq)
  1482. {
  1483. struct sort_queue_item *sort_queue_item;
  1484. int res;
  1485. void *ptr;
  1486. struct sq *sort_queue;
  1487. if (instance->memb_state == MEMB_STATE_RECOVERY) {
  1488. sort_queue = &instance->recovery_sort_queue;
  1489. } else {
  1490. sort_queue = &instance->regular_sort_queue;
  1491. }
  1492. res = sq_in_range (sort_queue, seq);
  1493. if (res == 0) {
  1494. printf ("sq not in range\n");
  1495. return (-1);
  1496. }
  1497. /*
  1498. * Get RTR item at seq, if not available, return
  1499. */
  1500. res = sq_item_get (sort_queue, seq, &ptr);
  1501. if (res != 0) {
  1502. return -1;
  1503. }
  1504. sort_queue_item = ptr;
  1505. totemrrp_mcast_noflush_send (instance->totemrrp_handle,
  1506. sort_queue_item->iovec,
  1507. sort_queue_item->iov_len);
  1508. return (0);
  1509. }
  1510. /*
  1511. * Free all freeable messages from ring
  1512. */
  1513. static void messages_free (
  1514. struct totemsrp_instance *instance,
  1515. unsigned int token_aru)
  1516. {
  1517. struct sort_queue_item *regular_message;
  1518. unsigned int i, j;
  1519. int res;
  1520. int log_release = 0;
  1521. unsigned int release_to;
  1522. unsigned int range = 0;
  1523. //printf ("aru %x last aru %x my high delivered %x last releaed %x\n",
  1524. // token_aru, instance->my_last_aru, instance->my_high_delivered, instance->last_released);
  1525. release_to = token_aru;
  1526. if (sq_lt_compare (instance->my_last_aru, release_to)) {
  1527. release_to = instance->my_last_aru;
  1528. }
  1529. if (sq_lt_compare (instance->my_high_delivered, release_to)) {
  1530. release_to = instance->my_high_delivered;
  1531. }
  1532. /*
  1533. * Ensure we dont try release before an already released point
  1534. */
  1535. if (sq_lt_compare (release_to, instance->last_released)) {
  1536. return;
  1537. }
  1538. range = release_to - instance->last_released;
  1539. assert (range < 1024);
  1540. /*
  1541. * Release retransmit list items if group aru indicates they are transmitted
  1542. */
  1543. for (i = 1; i <= range; i++) {
  1544. void *ptr;
  1545. res = sq_item_get (&instance->regular_sort_queue,
  1546. instance->last_released + i, &ptr);
  1547. if (res == 0) {
  1548. regular_message = ptr;
  1549. for (j = 0; j < regular_message->iov_len; j++) {
  1550. free (regular_message->iovec[j].iov_base);
  1551. }
  1552. }
  1553. sq_items_release (&instance->regular_sort_queue,
  1554. instance->last_released + i);
  1555. log_release = 1;
  1556. }
  1557. instance->last_released += range;
  1558. if (log_release) {
  1559. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  1560. "releasing messages up to and including %x\n", release_to);
  1561. }
  1562. }
  1563. static void update_aru (
  1564. struct totemsrp_instance *instance)
  1565. {
  1566. unsigned int i;
  1567. int res;
  1568. struct sq *sort_queue;
  1569. unsigned int range;
  1570. unsigned int my_aru_saved = 0;
  1571. if (instance->memb_state == MEMB_STATE_RECOVERY) {
  1572. sort_queue = &instance->recovery_sort_queue;
  1573. } else {
  1574. sort_queue = &instance->regular_sort_queue;
  1575. }
  1576. range = instance->my_high_seq_received - instance->my_aru;
  1577. if (range > 1024) {
  1578. return;
  1579. }
  1580. my_aru_saved = instance->my_aru;
  1581. for (i = 1; i <= range; i++) {
  1582. void *ptr;
  1583. res = sq_item_get (sort_queue, my_aru_saved + i, &ptr);
  1584. /*
  1585. * If hole, stop updating aru
  1586. */
  1587. if (res != 0) {
  1588. break;
  1589. }
  1590. }
  1591. instance->my_aru += i - 1;
  1592. // instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  1593. // "setting received flag to FALSE %d %d\n",
  1594. // instance->my_aru, instance->my_high_seq_received);
  1595. instance->my_received_flg = 0;
  1596. if (instance->my_aru == instance->my_high_seq_received) {
  1597. // instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  1598. // "setting received flag to TRUE %d %d\n",
  1599. // instance->my_aru, instance->my_high_seq_received);
  1600. instance->my_received_flg = 1;
  1601. }
  1602. }
  1603. /*
  1604. * Multicasts pending messages onto the ring (requires orf_token possession)
  1605. */
  1606. static int orf_token_mcast (
  1607. struct totemsrp_instance *instance,
  1608. struct orf_token *token,
  1609. int fcc_mcasts_allowed,
  1610. struct totem_ip_address *system_from)
  1611. {
  1612. struct message_item *message_item = 0;
  1613. struct queue *mcast_queue;
  1614. struct sq *sort_queue;
  1615. struct sort_queue_item sort_queue_item;
  1616. struct sort_queue_item *sort_queue_item_ptr;
  1617. struct mcast *mcast;
  1618. if (instance->memb_state == MEMB_STATE_RECOVERY) {
  1619. mcast_queue = &instance->retrans_message_queue;
  1620. sort_queue = &instance->recovery_sort_queue;
  1621. reset_token_retransmit_timeout (instance); // REVIEWED
  1622. } else {
  1623. mcast_queue = &instance->new_message_queue;
  1624. sort_queue = &instance->regular_sort_queue;
  1625. }
  1626. for (instance->fcc_mcast_current = 0; instance->fcc_mcast_current < fcc_mcasts_allowed; instance->fcc_mcast_current++) {
  1627. if (queue_is_empty (mcast_queue)) {
  1628. break;
  1629. }
  1630. message_item = (struct message_item *)queue_item_get (mcast_queue);
  1631. /* preincrement required by algo */
  1632. if (instance->old_ring_state_saved &&
  1633. (instance->memb_state == MEMB_STATE_GATHER ||
  1634. instance->memb_state == MEMB_STATE_COMMIT)) {
  1635. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  1636. "not multicasting at seqno is %d\n",
  1637. token->seq);
  1638. return (0);
  1639. }
  1640. message_item->mcast->seq = ++token->seq;
  1641. message_item->mcast->this_seqno = instance->global_seqno++;
  1642. /*
  1643. * Build IO vector
  1644. */
  1645. memset (&sort_queue_item, 0, sizeof (struct sort_queue_item));
  1646. sort_queue_item.iovec[0].iov_base = message_item->mcast;
  1647. sort_queue_item.iovec[0].iov_len = sizeof (struct mcast);
  1648. mcast = sort_queue_item.iovec[0].iov_base;
  1649. memcpy (&sort_queue_item.iovec[1], message_item->iovec,
  1650. message_item->iov_len * sizeof (struct iovec));
  1651. memcpy (&mcast->ring_id, &instance->my_ring_id, sizeof (struct memb_ring_id));
  1652. sort_queue_item.iov_len = message_item->iov_len + 1;
  1653. assert (sort_queue_item.iov_len < 16);
  1654. /*
  1655. * Add message to retransmit queue
  1656. */
  1657. sort_queue_item_ptr = sq_item_add (sort_queue,
  1658. &sort_queue_item, message_item->mcast->seq);
  1659. totemrrp_mcast_noflush_send (instance->totemrrp_handle,
  1660. sort_queue_item_ptr->iovec,
  1661. sort_queue_item_ptr->iov_len);
  1662. /*
  1663. * Delete item from pending queue
  1664. */
  1665. queue_item_remove (mcast_queue);
  1666. }
  1667. assert (instance->fcc_mcast_current < 100);
  1668. /*
  1669. * If messages mcasted, deliver any new messages to totempg
  1670. */
  1671. instance->my_high_seq_received = token->seq;
  1672. update_aru (instance);
  1673. /*
  1674. * Return 1 if more messages are available for single node clusters
  1675. */
  1676. return (instance->fcc_mcast_current);
  1677. }
  1678. /*
  1679. * Remulticasts messages in orf_token's retransmit list (requires orf_token)
  1680. * Modify's orf_token's rtr to include retransmits required by this process
  1681. */
  1682. static int orf_token_rtr (
  1683. struct totemsrp_instance *instance,
  1684. struct orf_token *orf_token,
  1685. int *fcc_allowed)
  1686. {
  1687. unsigned int res;
  1688. unsigned int i, j;
  1689. unsigned int found;
  1690. unsigned int total_entries;
  1691. struct sq *sort_queue;
  1692. struct rtr_item *rtr_list;
  1693. unsigned int range = 0;
  1694. char retransmit_msg[1024];
  1695. char value[64];
  1696. if (instance->memb_state == MEMB_STATE_RECOVERY) {
  1697. sort_queue = &instance->recovery_sort_queue;
  1698. } else {
  1699. sort_queue = &instance->regular_sort_queue;
  1700. }
  1701. rtr_list = &orf_token->rtr_list[0];
  1702. strcpy (retransmit_msg, "Retransmit List: ");
  1703. if (orf_token->rtr_list_entries) {
  1704. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  1705. "Retransmit List %d\n", orf_token->rtr_list_entries);
  1706. for (i = 0; i < orf_token->rtr_list_entries; i++) {
  1707. sprintf (value, "%x ", rtr_list[i].seq);
  1708. strcat (retransmit_msg, value);
  1709. }
  1710. strcat (retransmit_msg, "\n");
  1711. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1712. "%s", retransmit_msg);
  1713. }
  1714. total_entries = orf_token->rtr_list_entries;
  1715. /*
  1716. * Retransmit messages on orf_token's RTR list from RTR queue
  1717. */
  1718. for (instance->fcc_remcast_current = 0, i = 0;
  1719. instance->fcc_remcast_current <= *fcc_allowed && i < orf_token->rtr_list_entries;) {
  1720. /*
  1721. * If this retransmit request isn't from this configuration,
  1722. * try next rtr entry
  1723. */
  1724. if (memcmp (&rtr_list[i].ring_id, &instance->my_ring_id,
  1725. sizeof (struct memb_ring_id)) != 0) {
  1726. i += 1;
  1727. continue;
  1728. }
  1729. res = orf_token_remcast (instance, rtr_list[i].seq);
  1730. if (res == 0) {
  1731. /*
  1732. * Multicasted message, so no need to copy to new retransmit list
  1733. */
  1734. orf_token->rtr_list_entries -= 1;
  1735. assert (orf_token->rtr_list_entries >= 0);
  1736. memmove (&rtr_list[i], &rtr_list[i + 1],
  1737. sizeof (struct rtr_item) * (orf_token->rtr_list_entries));
  1738. instance->fcc_remcast_current++;
  1739. } else {
  1740. i += 1;
  1741. }
  1742. }
  1743. *fcc_allowed = *fcc_allowed - instance->fcc_remcast_current - 1;
  1744. /*
  1745. * Add messages to retransmit to RTR list
  1746. * but only retry if there is room in the retransmit list
  1747. */
  1748. //printf ("high seq %x aru %x\n", instance->my_high_seq_received, instance->my_aru);
  1749. range = instance->my_high_seq_received - instance->my_aru;
  1750. assert (range < 100000);
  1751. for (i = 1; (orf_token->rtr_list_entries < RETRANSMIT_ENTRIES_MAX) &&
  1752. (i <= range); i++) {
  1753. /*
  1754. * Ensure message is within the sort queue range
  1755. */
  1756. res = sq_in_range (sort_queue, instance->my_aru + i);
  1757. if (res == 0) {
  1758. break;
  1759. }
  1760. /*
  1761. * Find if a message is missing from this processor
  1762. */
  1763. res = sq_item_inuse (sort_queue, instance->my_aru + i);
  1764. if (res == 0) {
  1765. /*
  1766. * Determine if missing message is already in retransmit list
  1767. */
  1768. found = 0;
  1769. for (j = 0; j < orf_token->rtr_list_entries; j++) {
  1770. if (instance->my_aru + i == rtr_list[j].seq) {
  1771. found = 1;
  1772. }
  1773. }
  1774. if (found == 0) {
  1775. /*
  1776. * Missing message not found in current retransmit list so add it
  1777. */
  1778. memcpy (&rtr_list[orf_token->rtr_list_entries].ring_id,
  1779. &instance->my_ring_id, sizeof (struct memb_ring_id));
  1780. rtr_list[orf_token->rtr_list_entries].seq = instance->my_aru + i;
  1781. orf_token->rtr_list_entries++;
  1782. }
  1783. }
  1784. }
  1785. return (instance->fcc_remcast_current);
  1786. }
  1787. static void token_retransmit (struct totemsrp_instance *instance) {
  1788. totemrrp_token_send (instance->totemrrp_handle,
  1789. &instance->next_memb,
  1790. instance->orf_token_retransmit,
  1791. instance->orf_token_retransmit_size);
  1792. }
  1793. /*
  1794. * Retransmit the regular token if no mcast or token has
  1795. * been received in retransmit token period retransmit
  1796. * the token to the next processor
  1797. */
  1798. static void timer_function_token_retransmit_timeout (void *data)
  1799. {
  1800. struct totemsrp_instance *instance = (struct totemsrp_instance *)data;
  1801. switch (instance->memb_state) {
  1802. case MEMB_STATE_GATHER:
  1803. break;
  1804. case MEMB_STATE_COMMIT:
  1805. break;
  1806. case MEMB_STATE_OPERATIONAL:
  1807. case MEMB_STATE_RECOVERY:
  1808. token_retransmit (instance);
  1809. reset_token_retransmit_timeout (instance); // REVIEWED
  1810. break;
  1811. }
  1812. }
  1813. static void timer_function_token_hold_retransmit_timeout (void *data)
  1814. {
  1815. struct totemsrp_instance *instance = (struct totemsrp_instance *)data;
  1816. switch (instance->memb_state) {
  1817. case MEMB_STATE_GATHER:
  1818. break;
  1819. case MEMB_STATE_COMMIT:
  1820. break;
  1821. case MEMB_STATE_OPERATIONAL:
  1822. case MEMB_STATE_RECOVERY:
  1823. token_retransmit (instance);
  1824. break;
  1825. }
  1826. }
  1827. static void timer_function_merge_detect_timeout(void *data)
  1828. {
  1829. struct totemsrp_instance *instance = (struct totemsrp_instance *)data;
  1830. instance->my_merge_detect_timeout_outstanding = 0;
  1831. switch (instance->memb_state) {
  1832. case MEMB_STATE_OPERATIONAL:
  1833. if (totemip_equal(&instance->my_ring_id.rep, &instance->my_id)) {
  1834. memb_merge_detect_transmit (instance);
  1835. }
  1836. break;
  1837. case MEMB_STATE_GATHER:
  1838. case MEMB_STATE_COMMIT:
  1839. case MEMB_STATE_RECOVERY:
  1840. break;
  1841. }
  1842. }
  1843. /*
  1844. * Send orf_token to next member (requires orf_token)
  1845. */
  1846. static int token_send (
  1847. struct totemsrp_instance *instance,
  1848. struct orf_token *orf_token,
  1849. int forward_token)
  1850. {
  1851. int res = 0;
  1852. int iov_len = sizeof (struct orf_token) +
  1853. (orf_token->rtr_list_entries * sizeof (struct rtr_item));
  1854. memcpy (instance->orf_token_retransmit, orf_token, iov_len);
  1855. instance->orf_token_retransmit_size = iov_len;
  1856. orf_token->header.nodeid = instance->my_id.nodeid;
  1857. assert (orf_token->header.nodeid);
  1858. if (forward_token == 0) {
  1859. return (0);
  1860. }
  1861. totemrrp_token_send (instance->totemrrp_handle,
  1862. &instance->next_memb,
  1863. orf_token,
  1864. iov_len);
  1865. return (res);
  1866. }
  1867. static int token_hold_cancel_send (struct totemsrp_instance *instance)
  1868. {
  1869. struct token_hold_cancel token_hold_cancel;
  1870. /*
  1871. * Only cancel if the token is currently held
  1872. */
  1873. if (instance->my_token_held == 0) {
  1874. return (0);
  1875. }
  1876. instance->my_token_held = 0;
  1877. /*
  1878. * Build message
  1879. */
  1880. token_hold_cancel.header.type = MESSAGE_TYPE_TOKEN_HOLD_CANCEL;
  1881. token_hold_cancel.header.endian_detector = ENDIAN_LOCAL;
  1882. token_hold_cancel.header.nodeid = instance->my_id.nodeid;
  1883. assert (token_hold_cancel.header.nodeid);
  1884. memcpy (&token_hold_cancel.ring_id, &instance->my_ring_id,
  1885. sizeof (struct memb_ring_id));
  1886. totemrrp_mcast_flush_send (
  1887. instance->totemrrp_handle,
  1888. &token_hold_cancel,
  1889. sizeof (struct token_hold_cancel));
  1890. return (0);
  1891. }
  1892. //AAA
  1893. static int orf_token_send_initial (struct totemsrp_instance *instance)
  1894. {
  1895. struct orf_token orf_token;
  1896. int res;
  1897. orf_token.header.type = MESSAGE_TYPE_ORF_TOKEN;
  1898. orf_token.header.endian_detector = ENDIAN_LOCAL;
  1899. orf_token.header.encapsulated = 0;
  1900. orf_token.header.nodeid = instance->my_id.nodeid;
  1901. assert (orf_token.header.nodeid);
  1902. orf_token.seq = 0;
  1903. orf_token.seq = SEQNO_START_MSG;
  1904. orf_token.token_seq = SEQNO_START_TOKEN;
  1905. orf_token.retrans_flg = 1;
  1906. instance->my_set_retrans_flg = 1;
  1907. /*
  1908. if (queue_is_empty (&instance->retrans_message_queue) == 1) {
  1909. orf_token.retrans_flg = 0;
  1910. } else {
  1911. orf_token.retrans_flg = 1;
  1912. instance->my_set_retrans_flg = 1;
  1913. }
  1914. */
  1915. orf_token.aru = 0;
  1916. orf_token.aru = SEQNO_START_MSG - 1;
  1917. totemip_copy(&orf_token.aru_addr, &instance->my_id);
  1918. memcpy (&orf_token.ring_id, &instance->my_ring_id, sizeof (struct memb_ring_id));
  1919. orf_token.fcc = 0;
  1920. orf_token.rtr_list_entries = 0;
  1921. res = token_send (instance, &orf_token, 1);
  1922. return (res);
  1923. }
  1924. static void memb_state_commit_token_update (
  1925. struct totemsrp_instance *instance,
  1926. struct memb_commit_token *memb_commit_token)
  1927. {
  1928. int memb_index_this;
  1929. memb_index_this = (memb_commit_token->memb_index + 1) % memb_commit_token->addr_entries;
  1930. memcpy (&memb_commit_token->memb_list[memb_index_this].ring_id,
  1931. &instance->my_old_ring_id, sizeof (struct memb_ring_id));
  1932. assert (!totemip_zero_check(&instance->my_old_ring_id.rep));
  1933. memb_commit_token->memb_list[memb_index_this].aru = instance->old_ring_state_aru;
  1934. /*
  1935. * TODO high delivered is really instance->my_aru, but with safe this
  1936. * could change?
  1937. */
  1938. memb_commit_token->memb_list[memb_index_this].high_delivered = instance->my_high_delivered;
  1939. memb_commit_token->memb_list[memb_index_this].received_flg = instance->my_received_flg;
  1940. memb_commit_token->header.nodeid = instance->my_id.nodeid;
  1941. assert (memb_commit_token->header.nodeid);
  1942. }
  1943. static int memb_state_commit_token_send (struct totemsrp_instance *instance,
  1944. struct memb_commit_token *memb_commit_token)
  1945. {
  1946. struct iovec iovec;
  1947. int memb_index_this;
  1948. int memb_index_next;
  1949. memb_commit_token->token_seq++;
  1950. memb_index_this = (memb_commit_token->memb_index + 1) % memb_commit_token->addr_entries;
  1951. memb_index_next = (memb_index_this + 1) % memb_commit_token->addr_entries;
  1952. memb_commit_token->memb_index = memb_index_this;
  1953. iovec.iov_base = memb_commit_token;
  1954. iovec.iov_len = sizeof (struct memb_commit_token);
  1955. totemip_copy(&instance->next_memb, &memb_commit_token->addr[memb_index_next]);
  1956. assert (instance->next_memb.nodeid != 0);
  1957. totemrrp_token_send (instance->totemrrp_handle,
  1958. &instance->next_memb,
  1959. memb_commit_token,
  1960. sizeof (struct memb_commit_token));
  1961. return (0);
  1962. }
  1963. static int memb_lowest_in_config (struct totemsrp_instance *instance)
  1964. {
  1965. struct totem_ip_address token_memb[PROCESSOR_COUNT_MAX];
  1966. int token_memb_entries = 0;
  1967. struct totem_ip_address lowest_addr;
  1968. int i;
  1969. memset(&lowest_addr, 0xff, sizeof(lowest_addr));
  1970. lowest_addr.family = instance->mcast_address.family;
  1971. memb_set_subtract (token_memb, &token_memb_entries,
  1972. instance->my_proc_list, instance->my_proc_list_entries,
  1973. instance->my_failed_list, instance->my_failed_list_entries);
  1974. /*
  1975. * find representative by searching for smallest identifier
  1976. */
  1977. for (i = 0; i < token_memb_entries; i++) {
  1978. if (totemip_compare(&lowest_addr, &token_memb[i]) > 0) {
  1979. totemip_copy(&lowest_addr, &token_memb[i]);
  1980. }
  1981. }
  1982. return (totemip_equal(&instance->my_id, &lowest_addr));
  1983. }
  1984. static void memb_state_commit_token_create (
  1985. struct totemsrp_instance *instance,
  1986. struct memb_commit_token *commit_token)
  1987. {
  1988. struct totem_ip_address token_memb[PROCESSOR_COUNT_MAX];
  1989. int token_memb_entries = 0;
  1990. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  1991. "Creating commit token because I am the rep.\n");
  1992. memb_set_subtract (token_memb, &token_memb_entries,
  1993. instance->my_proc_list, instance->my_proc_list_entries,
  1994. instance->my_failed_list, instance->my_failed_list_entries);
  1995. memset (commit_token, 0, sizeof (struct memb_commit_token));
  1996. commit_token->header.type = MESSAGE_TYPE_MEMB_COMMIT_TOKEN;
  1997. commit_token->header.endian_detector = ENDIAN_LOCAL;
  1998. commit_token->header.encapsulated = 0;
  1999. commit_token->header.nodeid = instance->my_id.nodeid;
  2000. assert (commit_token->header.nodeid);
  2001. totemip_copy(&commit_token->ring_id.rep, &instance->my_id);
  2002. commit_token->ring_id.seq = instance->token_ring_id_seq + 4;
  2003. qsort (token_memb, token_memb_entries,
  2004. sizeof (struct totem_ip_address), totemip_compare);
  2005. memcpy (commit_token->addr, token_memb,
  2006. token_memb_entries * sizeof (struct totem_ip_address));
  2007. memset (commit_token->memb_list, 0,
  2008. sizeof (struct memb_commit_token_memb_entry) * PROCESSOR_COUNT_MAX);
  2009. commit_token->memb_index = token_memb_entries - 1;
  2010. commit_token->addr_entries = token_memb_entries;
  2011. }
  2012. static void memb_join_message_send (struct totemsrp_instance *instance)
  2013. {
  2014. struct memb_join memb_join;
  2015. memb_join.header.type = MESSAGE_TYPE_MEMB_JOIN;
  2016. memb_join.header.endian_detector = ENDIAN_LOCAL;
  2017. memb_join.header.encapsulated = 0;
  2018. memb_join.header.nodeid = instance->my_id.nodeid;
  2019. assert (memb_join.header.nodeid);
  2020. memb_join.ring_seq = instance->my_ring_id.seq;
  2021. memcpy (memb_join.proc_list, instance->my_proc_list,
  2022. instance->my_proc_list_entries * sizeof (struct totem_ip_address));
  2023. memb_join.proc_list_entries = instance->my_proc_list_entries;
  2024. memcpy (memb_join.failed_list, instance->my_failed_list,
  2025. instance->my_failed_list_entries * sizeof (struct totem_ip_address));
  2026. memb_join.failed_list_entries = instance->my_failed_list_entries;
  2027. totemrrp_mcast_flush_send (
  2028. instance->totemrrp_handle,
  2029. &memb_join,
  2030. sizeof (struct memb_join));
  2031. }
  2032. static void memb_merge_detect_transmit (struct totemsrp_instance *instance)
  2033. {
  2034. struct memb_merge_detect memb_merge_detect;
  2035. memb_merge_detect.header.type = MESSAGE_TYPE_MEMB_MERGE_DETECT;
  2036. memb_merge_detect.header.endian_detector = ENDIAN_LOCAL;
  2037. memb_merge_detect.header.encapsulated = 0;
  2038. memb_merge_detect.header.nodeid = instance->my_id.nodeid;
  2039. assert (memb_merge_detect.header.nodeid);
  2040. memcpy (&memb_merge_detect.ring_id, &instance->my_ring_id,
  2041. sizeof (struct memb_ring_id));
  2042. totemrrp_mcast_flush_send (
  2043. instance->totemrrp_handle,
  2044. &memb_merge_detect,
  2045. sizeof (struct memb_merge_detect));
  2046. }
  2047. static void memb_ring_id_create_or_load (
  2048. struct totemsrp_instance *instance,
  2049. struct memb_ring_id *memb_ring_id)
  2050. {
  2051. int fd;
  2052. int res;
  2053. char filename[256];
  2054. sprintf (filename, "/tmp/ringid_%s",
  2055. totemip_print (&instance->my_id));
  2056. fd = open (filename, O_RDONLY, 0777);
  2057. if (fd > 0) {
  2058. res = read (fd, &memb_ring_id->seq, sizeof (unsigned long long));
  2059. assert (res == sizeof (unsigned long long));
  2060. close (fd);
  2061. } else
  2062. if (fd == -1 && errno == ENOENT) {
  2063. memb_ring_id->seq = 0;
  2064. umask(0);
  2065. fd = open (filename, O_CREAT|O_RDWR, 0777);
  2066. if (fd == -1) {
  2067. printf ("couldn't create file %d %s\n", fd, strerror(errno));
  2068. }
  2069. res = write (fd, &memb_ring_id->seq, sizeof (unsigned long long));
  2070. assert (res == sizeof (unsigned long long));
  2071. close (fd);
  2072. } else {
  2073. instance->totemsrp_log_printf (instance->totemsrp_log_level_warning,
  2074. "Couldn't open %s %s\n", filename, strerror (errno));
  2075. }
  2076. totemip_copy(&memb_ring_id->rep, &instance->my_id);
  2077. assert (!totemip_zero_check(&memb_ring_id->rep));
  2078. instance->token_ring_id_seq = memb_ring_id->seq;
  2079. }
  2080. static void memb_ring_id_store (
  2081. struct totemsrp_instance *instance,
  2082. struct memb_commit_token *commit_token)
  2083. {
  2084. char filename[256];
  2085. int fd;
  2086. int res;
  2087. sprintf (filename, "/tmp/ringid_%s",
  2088. totemip_print (&instance->my_id));
  2089. fd = open (filename, O_WRONLY, 0777);
  2090. if (fd == -1) {
  2091. fd = open (filename, O_CREAT|O_RDWR, 0777);
  2092. }
  2093. if (fd == -1) {
  2094. instance->totemsrp_log_printf (instance->totemsrp_log_level_warning,
  2095. "Couldn't store new ring id %llx to stable storage (%s)\n",
  2096. commit_token->ring_id.seq, strerror (errno));
  2097. assert (0);
  2098. return;
  2099. }
  2100. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  2101. "Storing new sequence id for ring %d\n", commit_token->ring_id.seq);
  2102. assert (fd > 0);
  2103. res = write (fd, &commit_token->ring_id.seq, sizeof (unsigned long long));
  2104. assert (res == sizeof (unsigned long long));
  2105. close (fd);
  2106. memcpy (&instance->my_ring_id, &commit_token->ring_id, sizeof (struct memb_ring_id));
  2107. instance->token_ring_id_seq = instance->my_ring_id.seq;
  2108. }
  2109. int totemsrp_callback_token_create (
  2110. totemsrp_handle handle,
  2111. void **handle_out,
  2112. enum totem_callback_token_type type,
  2113. int delete,
  2114. int (*callback_fn) (enum totem_callback_token_type type, void *),
  2115. void *data)
  2116. {
  2117. struct token_callback_instance *callback_handle;
  2118. struct totemsrp_instance *instance;
  2119. unsigned int res;
  2120. res = hdb_handle_get (&totemsrp_instance_database, handle,
  2121. (void *)&instance);
  2122. if (res != 0) {
  2123. goto error_exit;
  2124. }
  2125. callback_handle = (struct token_callback_instance *)malloc (sizeof (struct token_callback_instance));
  2126. if (callback_handle == 0) {
  2127. return (-1);
  2128. }
  2129. *handle_out = (void *)callback_handle;
  2130. list_init (&callback_handle->list);
  2131. callback_handle->callback_fn = callback_fn;
  2132. callback_handle->data = data;
  2133. callback_handle->callback_type = type;
  2134. callback_handle->delete = delete;
  2135. switch (type) {
  2136. case TOTEM_CALLBACK_TOKEN_RECEIVED:
  2137. list_add (&callback_handle->list, &instance->token_callback_received_listhead);
  2138. break;
  2139. case TOTEM_CALLBACK_TOKEN_SENT:
  2140. list_add (&callback_handle->list, &instance->token_callback_sent_listhead);
  2141. break;
  2142. }
  2143. hdb_handle_put (&totemsrp_instance_database, handle);
  2144. error_exit:
  2145. return (0);
  2146. }
  2147. void totemsrp_callback_token_destroy (totemsrp_handle handle, void **handle_out)
  2148. {
  2149. struct token_callback_instance *h;
  2150. if (*handle_out) {
  2151. h = (struct token_callback_instance *)*handle_out;
  2152. list_del (&h->list);
  2153. free (h);
  2154. h = NULL;
  2155. *handle_out = 0;
  2156. }
  2157. }
  2158. void totem_callback_token_type (struct totemsrp_instance *instance, void *handle)
  2159. {
  2160. struct token_callback_instance *token_callback_instance = (struct token_callback_instance *)handle;
  2161. list_del (&token_callback_instance->list);
  2162. free (token_callback_instance);
  2163. }
  2164. static void token_callbacks_execute (
  2165. struct totemsrp_instance *instance,
  2166. enum totem_callback_token_type type)
  2167. {
  2168. struct list_head *list;
  2169. struct list_head *list_next;
  2170. struct list_head *callback_listhead = 0;
  2171. struct token_callback_instance *token_callback_instance;
  2172. int res;
  2173. int del;
  2174. switch (type) {
  2175. case TOTEM_CALLBACK_TOKEN_RECEIVED:
  2176. callback_listhead = &instance->token_callback_received_listhead;
  2177. break;
  2178. case TOTEM_CALLBACK_TOKEN_SENT:
  2179. callback_listhead = &instance->token_callback_sent_listhead;
  2180. break;
  2181. default:
  2182. assert (0);
  2183. }
  2184. for (list = callback_listhead->next; list != callback_listhead;
  2185. list = list_next) {
  2186. token_callback_instance = list_entry (list, struct token_callback_instance, list);
  2187. list_next = list->next;
  2188. del = token_callback_instance->delete;
  2189. if (del == 1) {
  2190. list_del (list);
  2191. }
  2192. res = token_callback_instance->callback_fn (
  2193. token_callback_instance->callback_type,
  2194. token_callback_instance->data);
  2195. /*
  2196. * This callback failed to execute, try it again on the next token
  2197. */
  2198. if (res == -1 && del == 1) {
  2199. list_add (list, callback_listhead);
  2200. } else if (del) {
  2201. free (token_callback_instance);
  2202. }
  2203. }
  2204. }
  2205. /*
  2206. * Message Handlers
  2207. */
  2208. /*
  2209. * message handler called when TOKEN message type received
  2210. */
  2211. static int message_handler_orf_token (
  2212. struct totemsrp_instance *instance,
  2213. struct totem_ip_address *system_from,
  2214. void *msg,
  2215. int msg_len,
  2216. int endian_conversion_needed)
  2217. {
  2218. char token_storage[1500];
  2219. char token_convert[1500];
  2220. struct orf_token *token = NULL;
  2221. int transmits_allowed;
  2222. int forward_token;
  2223. int mcasted;
  2224. unsigned int last_aru;
  2225. unsigned int low_water;
  2226. #ifdef GIVEINFO
  2227. struct timeval tv_current;
  2228. struct timeval tv_diff;
  2229. gettimeofday (&tv_current, NULL);
  2230. timersub (&tv_current, &tv_old, &tv_diff);
  2231. memcpy (&tv_old, &tv_current, sizeof (struct timeval));
  2232. if ((((float)tv_diff.tv_usec) / 100.0) > 5.0) {
  2233. printf ("OTHERS %0.4f ms\n", ((float)tv_diff.tv_usec) / 100.0);
  2234. }
  2235. #endif
  2236. #ifdef RANDOM_DROP
  2237. if (random()%100 < 10) {
  2238. return (0);
  2239. }
  2240. #endif
  2241. if (endian_conversion_needed) {
  2242. orf_token_endian_convert ((struct orf_token *)msg,
  2243. (struct orf_token *)token_convert);
  2244. msg = (struct orf_token *)token_convert;
  2245. }
  2246. /*
  2247. * Make copy of token and retransmit list in case we have
  2248. * to flush incoming messages from the kernel queue
  2249. */
  2250. token = (struct orf_token *)token_storage;
  2251. memcpy (token, msg, sizeof (struct orf_token));
  2252. memcpy (&token->rtr_list[0], msg + sizeof (struct orf_token),
  2253. sizeof (struct rtr_item) * RETRANSMIT_ENTRIES_MAX);
  2254. /*
  2255. * Handle merge detection timeout
  2256. */
  2257. if (token->seq == instance->my_last_seq) {
  2258. start_merge_detect_timeout (instance);
  2259. instance->my_seq_unchanged += 1;
  2260. } else {
  2261. cancel_merge_detect_timeout (instance);
  2262. cancel_token_hold_retransmit_timeout (instance);
  2263. instance->my_seq_unchanged = 0;
  2264. }
  2265. instance->my_last_seq = token->seq;
  2266. totemrrp_recv_flush (instance->totemrrp_handle);
  2267. /*
  2268. * Determine if we should hold (in reality drop) the token
  2269. */
  2270. instance->my_token_held = 0;
  2271. if (totemip_equal(&instance->my_ring_id.rep, &instance->my_id) &&
  2272. instance->my_seq_unchanged > instance->totem_config->seqno_unchanged_const) {
  2273. instance->my_token_held = 1;
  2274. } else
  2275. if (!totemip_equal(&instance->my_ring_id.rep, &instance->my_id) &&
  2276. instance->my_seq_unchanged >= instance->totem_config->seqno_unchanged_const) {
  2277. instance->my_token_held = 1;
  2278. }
  2279. /*
  2280. * Hold onto token when there is no activity on ring and
  2281. * this processor is the ring rep
  2282. */
  2283. forward_token = 1;
  2284. if (totemip_equal(&instance->my_ring_id.rep, &instance->my_id)) {
  2285. if (instance->my_token_held) {
  2286. forward_token = 0;
  2287. }
  2288. }
  2289. token_callbacks_execute (instance, TOTEM_CALLBACK_TOKEN_RECEIVED);
  2290. switch (instance->memb_state) {
  2291. case MEMB_STATE_COMMIT:
  2292. /* Discard token */
  2293. break;
  2294. case MEMB_STATE_OPERATIONAL:
  2295. messages_free (instance, token->aru);
  2296. case MEMB_STATE_GATHER:
  2297. /*
  2298. * DO NOT add break, we use different free mechanism in recovery state
  2299. */
  2300. case MEMB_STATE_RECOVERY:
  2301. last_aru = instance->my_last_aru;
  2302. instance->my_last_aru = token->aru;
  2303. /*
  2304. * Discard tokens from another configuration
  2305. */
  2306. if (memcmp (&token->ring_id, &instance->my_ring_id,
  2307. sizeof (struct memb_ring_id)) != 0) {
  2308. if ((forward_token)
  2309. && instance->use_heartbeat) {
  2310. reset_heartbeat_timeout(instance);
  2311. }
  2312. else {
  2313. cancel_heartbeat_timeout(instance);
  2314. }
  2315. return (0); /* discard token */
  2316. }
  2317. /*
  2318. * Discard retransmitted tokens
  2319. */
  2320. if (sq_lte_compare (token->token_seq, instance->my_token_seq)) {
  2321. /*
  2322. * If this processor receives a retransmitted token, it is sure
  2323. * the previous processor is still alive. As a result, it can
  2324. * reset its token timeout. If some processor previous to that
  2325. * has failed, it will eventually not execute a reset of the
  2326. * token timeout, and will cause a reconfiguration to occur.
  2327. */
  2328. reset_token_timeout (instance);
  2329. if ((forward_token)
  2330. && instance->use_heartbeat) {
  2331. reset_heartbeat_timeout(instance);
  2332. }
  2333. else {
  2334. cancel_heartbeat_timeout(instance);
  2335. }
  2336. return (0); /* discard token */
  2337. }
  2338. transmits_allowed = TRANSMITS_ALLOWED;
  2339. mcasted = orf_token_rtr (instance, token, &transmits_allowed);
  2340. if (sq_lt_compare (instance->last_released + MISSING_MCAST_WINDOW, token->seq + TRANSMITS_ALLOWED)) {
  2341. transmits_allowed = 0;
  2342. }
  2343. mcasted = orf_token_mcast (instance, token, transmits_allowed, system_from);
  2344. if (sq_lt_compare (instance->my_aru, token->aru) ||
  2345. totemip_equal(&instance->my_id, &token->aru_addr) ||
  2346. totemip_zero_check(&token->aru_addr)) {
  2347. token->aru = instance->my_aru;
  2348. if (token->aru == token->seq) {
  2349. totemip_zero_set(&token->aru_addr);
  2350. } else {
  2351. totemip_copy(&token->aru_addr, &instance->my_id);
  2352. }
  2353. }
  2354. if (token->aru == last_aru && !totemip_zero_check(&token->aru_addr)) {
  2355. instance->my_aru_count += 1;
  2356. } else {
  2357. instance->my_aru_count = 0;
  2358. }
  2359. if (instance->my_aru_count > instance->totem_config->fail_to_recv_const &&
  2360. !totemip_equal(&token->aru_addr, &instance->my_id)) {
  2361. printf ("FAILED TO RECEIVE\n");
  2362. // TODO if we fail to receive, it may be possible to end with a gather
  2363. // state of proc == failed = 0 entries
  2364. memb_set_merge (&token->aru_addr, 1,
  2365. instance->my_failed_list,
  2366. &instance->my_failed_list_entries);
  2367. ring_state_restore (instance);
  2368. memb_state_gather_enter (instance);
  2369. } else {
  2370. instance->my_token_seq = token->token_seq;
  2371. token->token_seq += 1;
  2372. if (instance->memb_state == MEMB_STATE_RECOVERY) {
  2373. /*
  2374. * instance->my_aru == instance->my_high_seq_received means this processor
  2375. * has recovered all messages it can recover
  2376. * (ie: its retrans queue is empty)
  2377. */
  2378. low_water = instance->my_aru;
  2379. if (sq_lt_compare (last_aru, low_water)) {
  2380. low_water = last_aru;
  2381. }
  2382. // TODO is this code right
  2383. if (queue_is_empty (&instance->retrans_message_queue) == 0 ||
  2384. low_water != instance->my_high_seq_received) {
  2385. if (token->retrans_flg == 0) {
  2386. token->retrans_flg = 1;
  2387. instance->my_set_retrans_flg = 1;
  2388. }
  2389. } else
  2390. if (token->retrans_flg == 1 && instance->my_set_retrans_flg) {
  2391. token->retrans_flg = 0;
  2392. }
  2393. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  2394. "token retrans flag is %d my set retrans flag%d retrans queue empty %d count %d, low_water %x aru %x\n",
  2395. token->retrans_flg, instance->my_set_retrans_flg,
  2396. queue_is_empty (&instance->retrans_message_queue),
  2397. instance->my_retrans_flg_count, low_water, token->aru);
  2398. if (token->retrans_flg == 0) {
  2399. instance->my_retrans_flg_count += 1;
  2400. } else {
  2401. instance->my_retrans_flg_count = 0;
  2402. }
  2403. if (instance->my_retrans_flg_count == 2) {
  2404. instance->my_install_seq = token->seq;
  2405. }
  2406. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  2407. "install seq %x aru %x high seq received %x\n",
  2408. instance->my_install_seq, instance->my_aru, instance->my_high_seq_received);
  2409. if (instance->my_retrans_flg_count >= 2 && instance->my_aru >= instance->my_install_seq && instance->my_received_flg == 0) {
  2410. instance->my_received_flg = 1;
  2411. instance->my_deliver_memb_entries = instance->my_trans_memb_entries;
  2412. memcpy (instance->my_deliver_memb_list, instance->my_trans_memb_list,
  2413. sizeof (struct totem_ip_address) * instance->my_trans_memb_entries);
  2414. }
  2415. if (instance->my_retrans_flg_count >= 3 && token->aru >= instance->my_install_seq) {
  2416. instance->my_rotation_counter += 1;
  2417. } else {
  2418. instance->my_rotation_counter = 0;
  2419. }
  2420. if (instance->my_rotation_counter == 2) {
  2421. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  2422. "retrans flag count %x token aru %x install seq %x aru %x %x\n",
  2423. instance->my_retrans_flg_count, token->aru, instance->my_install_seq,
  2424. instance->my_aru, token->seq);
  2425. memb_state_operational_enter (instance);
  2426. instance->my_rotation_counter = 0;
  2427. instance->my_retrans_flg_count = 0;
  2428. }
  2429. }
  2430. totemrrp_send_flush (instance->totemrrp_handle);
  2431. token_send (instance, token, forward_token);
  2432. #ifdef GIVEINFO
  2433. gettimeofday (&tv_current, NULL);
  2434. timersub (&tv_current, &tv_old, &tv_diff);
  2435. memcpy (&tv_old, &tv_current, sizeof (struct timeval));
  2436. if ((((float)tv_diff.tv_usec) / 100.0) > 5.0) {
  2437. printf ("I held %0.4f ms\n", ((float)tv_diff.tv_usec) / 100.0);
  2438. }
  2439. #endif
  2440. if (instance->memb_state == MEMB_STATE_OPERATIONAL) {
  2441. messages_deliver_to_app (instance, 0,
  2442. instance->my_high_seq_received);
  2443. }
  2444. /*
  2445. * Deliver messages after token has been transmitted
  2446. * to improve performance
  2447. */
  2448. reset_token_timeout (instance); // REVIEWED
  2449. reset_token_retransmit_timeout (instance); // REVIEWED
  2450. if (totemip_equal(&instance->my_id, &instance->my_ring_id.rep) &&
  2451. instance->my_token_held == 1) {
  2452. start_token_hold_retransmit_timeout (instance);
  2453. }
  2454. token_callbacks_execute (instance, TOTEM_CALLBACK_TOKEN_SENT);
  2455. }
  2456. break;
  2457. }
  2458. if ((forward_token)
  2459. && instance->use_heartbeat) {
  2460. reset_heartbeat_timeout(instance);
  2461. }
  2462. else {
  2463. cancel_heartbeat_timeout(instance);
  2464. }
  2465. return (0);
  2466. }
  2467. static void messages_deliver_to_app (
  2468. struct totemsrp_instance *instance,
  2469. int skip,
  2470. unsigned int end_point)
  2471. {
  2472. struct sort_queue_item *sort_queue_item_p;
  2473. unsigned int i;
  2474. int res;
  2475. struct mcast *mcast;
  2476. unsigned int range = 0;
  2477. unsigned int my_high_delivered_stored = 0;
  2478. struct totem_ip_address msg_source;
  2479. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  2480. "Delivering %x to %x\n", instance->my_high_delivered,
  2481. end_point);
  2482. range = end_point - instance->my_high_delivered;
  2483. assert (range < 10240);
  2484. my_high_delivered_stored = instance->my_high_delivered;
  2485. /*
  2486. * Deliver messages in order from rtr queue to pending delivery queue
  2487. */
  2488. for (i = 1; i <= range; i++) {
  2489. void *ptr = 0;
  2490. /*
  2491. * If out of range of sort queue, stop assembly
  2492. */
  2493. res = sq_in_range (&instance->regular_sort_queue,
  2494. my_high_delivered_stored + i);
  2495. if (res == 0) {
  2496. break;
  2497. }
  2498. res = sq_item_get (&instance->regular_sort_queue,
  2499. my_high_delivered_stored + i, &ptr);
  2500. /*
  2501. * If hole, stop assembly
  2502. */
  2503. if (res != 0 && skip == 0) {
  2504. break;
  2505. }
  2506. instance->my_high_delivered = my_high_delivered_stored + i;
  2507. if (res != 0) {
  2508. continue;
  2509. }
  2510. sort_queue_item_p = ptr;
  2511. mcast = sort_queue_item_p->iovec[0].iov_base;
  2512. assert (mcast != (struct mcast *)0xdeadbeef);
  2513. /*
  2514. * Skip messages not originated in instance->my_deliver_memb
  2515. */
  2516. if (skip &&
  2517. memb_set_subset (&mcast->source,
  2518. 1,
  2519. instance->my_deliver_memb_list,
  2520. instance->my_deliver_memb_entries) == 0) {
  2521. instance->my_high_delivered = my_high_delivered_stored + i;
  2522. continue;
  2523. }
  2524. /*
  2525. * Message found
  2526. */
  2527. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  2528. "Delivering MCAST message with seq %x to pending delivery queue\n",
  2529. mcast->seq);
  2530. if (mcast->header.endian_detector == ENDIAN_LOCAL) {
  2531. totemip_copy (&msg_source, &mcast->source);
  2532. } else {
  2533. totemip_copy_endian_convert (&msg_source, &mcast->source);
  2534. }
  2535. /*
  2536. * Message is locally originated multicast
  2537. */
  2538. if (sort_queue_item_p->iov_len > 1 &&
  2539. sort_queue_item_p->iovec[0].iov_len == sizeof (struct mcast)) {
  2540. instance->totemsrp_deliver_fn (
  2541. &msg_source,
  2542. &sort_queue_item_p->iovec[1],
  2543. sort_queue_item_p->iov_len - 1,
  2544. mcast->header.endian_detector != ENDIAN_LOCAL);
  2545. } else {
  2546. sort_queue_item_p->iovec[0].iov_len -= sizeof (struct mcast);
  2547. sort_queue_item_p->iovec[0].iov_base += sizeof (struct mcast);
  2548. instance->totemsrp_deliver_fn (
  2549. &msg_source,
  2550. sort_queue_item_p->iovec,
  2551. sort_queue_item_p->iov_len,
  2552. mcast->header.endian_detector != ENDIAN_LOCAL);
  2553. sort_queue_item_p->iovec[0].iov_len += sizeof (struct mcast);
  2554. sort_queue_item_p->iovec[0].iov_base -= sizeof (struct mcast);
  2555. }
  2556. //TODO instance->stats_delv += 1;
  2557. }
  2558. instance->my_received_flg = 0;
  2559. if (instance->my_aru == instance->my_high_seq_received) {
  2560. // instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  2561. // "setting received flag to TRUE %d %d\n",
  2562. // instance->my_aru, instance->my_high_seq_received);
  2563. instance->my_received_flg = 1;
  2564. }
  2565. }
  2566. /*
  2567. * recv message handler called when MCAST message type received
  2568. */
  2569. static int message_handler_mcast (
  2570. struct totemsrp_instance *instance,
  2571. struct totem_ip_address *system_from,
  2572. void *msg,
  2573. int msg_len,
  2574. int endian_conversion_needed)
  2575. {
  2576. struct sort_queue_item sort_queue_item;
  2577. struct sq *sort_queue;
  2578. struct mcast mcast_header;
  2579. if (endian_conversion_needed) {
  2580. mcast_endian_convert (msg, &mcast_header);
  2581. } else {
  2582. memcpy (&mcast_header, msg, sizeof (struct mcast));
  2583. }
  2584. /*
  2585. if (mcast_header.header.encapsulated == 1) {
  2586. sort_queue = &instance->recovery_sort_queue;
  2587. } else {
  2588. sort_queue = &instance->regular_sort_queue;
  2589. }
  2590. */
  2591. if (instance->memb_state == MEMB_STATE_RECOVERY) {
  2592. sort_queue = &instance->recovery_sort_queue;
  2593. } else {
  2594. sort_queue = &instance->regular_sort_queue;
  2595. }
  2596. assert (msg_len < FRAME_SIZE_MAX);
  2597. #ifdef RANDOM_DROP
  2598. if (random()%100 < 50) {
  2599. return (0);
  2600. }
  2601. #endif
  2602. if (!totemip_equal(system_from, &instance->my_id)) {
  2603. cancel_token_retransmit_timeout (instance);
  2604. }
  2605. assert (system_from->nodeid != 0);
  2606. /*
  2607. * If the message is foreign execute the switch below
  2608. */
  2609. if (memcmp (&instance->my_ring_id, &mcast_header.ring_id,
  2610. sizeof (struct memb_ring_id)) != 0) {
  2611. switch (instance->memb_state) {
  2612. case MEMB_STATE_OPERATIONAL:
  2613. memb_set_merge (system_from, 1,
  2614. instance->my_proc_list, &instance->my_proc_list_entries);
  2615. memb_state_gather_enter (instance);
  2616. break;
  2617. case MEMB_STATE_GATHER:
  2618. if (!memb_set_subset (system_from,
  2619. 1,
  2620. instance->my_proc_list,
  2621. instance->my_proc_list_entries)) {
  2622. memb_set_merge (system_from, 1,
  2623. instance->my_proc_list, &instance->my_proc_list_entries);
  2624. memb_state_gather_enter (instance);
  2625. return (0);
  2626. }
  2627. break;
  2628. case MEMB_STATE_COMMIT:
  2629. /* discard message */
  2630. break;
  2631. case MEMB_STATE_RECOVERY:
  2632. /* discard message */
  2633. break;
  2634. }
  2635. return (0);
  2636. }
  2637. instance->totemsrp_log_printf (instance->totemsrp_log_level_debug,
  2638. "Received ringid(%s:%lld) seq %x\n",
  2639. totemip_print (&mcast_header.ring_id.rep),
  2640. mcast_header.ring_id.seq,
  2641. mcast_header.seq);
  2642. /*
  2643. * Add mcast message to rtr queue if not already in rtr queue
  2644. * otherwise free io vectors
  2645. */
  2646. if (msg_len > 0 && msg_len < FRAME_SIZE_MAX &&
  2647. sq_in_range (sort_queue, mcast_header.seq) &&
  2648. sq_item_inuse (sort_queue, mcast_header.seq) == 0) {
  2649. /*
  2650. * Allocate new multicast memory block
  2651. */
  2652. // TODO LEAK
  2653. sort_queue_item.iovec[0].iov_base = malloc (msg_len);
  2654. if (sort_queue_item.iovec[0].iov_base == 0) {
  2655. return (-1); /* error here is corrected by the algorithm */
  2656. }
  2657. memcpy (sort_queue_item.iovec[0].iov_base, msg, msg_len);
  2658. sort_queue_item.iovec[0].iov_len = msg_len;
  2659. assert (sort_queue_item.iovec[0].iov_len > 0);
  2660. assert (sort_queue_item.iovec[0].iov_len < FRAME_SIZE_MAX);
  2661. sort_queue_item.iov_len = 1;
  2662. if (sq_lt_compare (instance->my_high_seq_received,
  2663. mcast_header.seq)) {
  2664. instance->my_high_seq_received = mcast_header.seq;
  2665. }
  2666. sq_item_add (sort_queue, &sort_queue_item, mcast_header.seq);
  2667. }
  2668. if (instance->memb_state == MEMB_STATE_OPERATIONAL) {
  2669. update_aru (instance);
  2670. messages_deliver_to_app (instance, 0, instance->my_high_seq_received);
  2671. }
  2672. /* TODO remove from retrans message queue for old ring in recovery state */
  2673. return (0);
  2674. }
  2675. static int message_handler_memb_merge_detect (
  2676. struct totemsrp_instance *instance,
  2677. struct totem_ip_address *system_from,
  2678. void *msg,
  2679. int msg_len,
  2680. int endian_conversion_needed)
  2681. {
  2682. struct memb_merge_detect *memb_merge_detect = (struct memb_merge_detect *)msg;
  2683. if (endian_conversion_needed) {
  2684. memb_merge_detect_endian_convert (msg, msg);
  2685. }
  2686. /*
  2687. * do nothing if this is a merge detect from this configuration
  2688. */
  2689. if (memcmp (&instance->my_ring_id, &memb_merge_detect->ring_id,
  2690. sizeof (struct memb_ring_id)) == 0) {
  2691. return (0);
  2692. }
  2693. assert (system_from->nodeid != 0);
  2694. /*
  2695. * Execute merge operation
  2696. */
  2697. switch (instance->memb_state) {
  2698. case MEMB_STATE_OPERATIONAL:
  2699. memb_set_merge (system_from, 1,
  2700. instance->my_proc_list, &instance->my_proc_list_entries);
  2701. memb_state_gather_enter (instance);
  2702. break;
  2703. case MEMB_STATE_GATHER:
  2704. if (!memb_set_subset (system_from,
  2705. 1,
  2706. instance->my_proc_list,
  2707. instance->my_proc_list_entries)) {
  2708. memb_set_merge (system_from, 1,
  2709. instance->my_proc_list, &instance->my_proc_list_entries);
  2710. memb_state_gather_enter (instance);
  2711. return (0);
  2712. }
  2713. break;
  2714. case MEMB_STATE_COMMIT:
  2715. /* do nothing in commit */
  2716. break;
  2717. case MEMB_STATE_RECOVERY:
  2718. /* do nothing in recovery */
  2719. break;
  2720. }
  2721. return (0);
  2722. }
  2723. static int memb_join_process (
  2724. struct totemsrp_instance *instance,
  2725. struct memb_join *memb_join,
  2726. struct totem_ip_address *system_from)
  2727. {
  2728. struct memb_commit_token my_commit_token;
  2729. if (memb_set_equal (memb_join->proc_list,
  2730. memb_join->proc_list_entries,
  2731. instance->my_proc_list,
  2732. instance->my_proc_list_entries) &&
  2733. memb_set_equal (memb_join->failed_list,
  2734. memb_join->failed_list_entries,
  2735. instance->my_failed_list,
  2736. instance->my_failed_list_entries)) {
  2737. memb_consensus_set (instance, system_from);
  2738. if (memb_consensus_agreed (instance) &&
  2739. memb_lowest_in_config (instance)) {
  2740. memb_state_commit_token_create (instance, &my_commit_token);
  2741. memb_state_commit_enter (instance, &my_commit_token);
  2742. } else {
  2743. return (0);
  2744. }
  2745. } else
  2746. if (memb_set_subset (memb_join->proc_list,
  2747. memb_join->proc_list_entries,
  2748. instance->my_proc_list,
  2749. instance->my_proc_list_entries) &&
  2750. memb_set_subset (memb_join->failed_list,
  2751. memb_join->failed_list_entries,
  2752. instance->my_failed_list,
  2753. instance->my_failed_list_entries)) {
  2754. return (0);
  2755. } else
  2756. if (memb_set_subset (system_from, 1,
  2757. instance->my_failed_list, instance->my_failed_list_entries)) {
  2758. return (0);
  2759. } else {
  2760. memb_set_merge (memb_join->proc_list,
  2761. memb_join->proc_list_entries,
  2762. instance->my_proc_list, &instance->my_proc_list_entries);
  2763. if (memb_set_subset (&instance->my_id, 1,
  2764. memb_join->failed_list, memb_join->failed_list_entries)) {
  2765. memb_set_merge (system_from, 1,
  2766. instance->my_failed_list, &instance->my_failed_list_entries);
  2767. } else {
  2768. memb_set_merge (memb_join->failed_list,
  2769. memb_join->failed_list_entries,
  2770. instance->my_failed_list, &instance->my_failed_list_entries);
  2771. }
  2772. memb_state_gather_enter (instance);
  2773. return (1); /* gather entered */
  2774. }
  2775. return (0); /* gather not entered */
  2776. }
  2777. static void memb_join_endian_convert (struct memb_join *in, struct memb_join *out)
  2778. {
  2779. int i;
  2780. out->header.type = in->header.type;
  2781. out->header.endian_detector = ENDIAN_LOCAL;
  2782. out->header.nodeid = swab32 (in->header.nodeid);
  2783. out->proc_list_entries = swab32 (in->proc_list_entries);
  2784. out->failed_list_entries = swab32 (in->failed_list_entries);
  2785. out->ring_seq = swab64 (in->ring_seq);
  2786. for (i = 0; i < out->proc_list_entries; i++) {
  2787. totemip_copy_endian_convert(&out->proc_list[i], &in->proc_list[i]);
  2788. }
  2789. for (i = 0; i < out->failed_list_entries; i++) {
  2790. totemip_copy_endian_convert(&out->failed_list[i], &in->failed_list[i]);
  2791. }
  2792. }
  2793. static void memb_commit_token_endian_convert (struct memb_commit_token *in, struct memb_commit_token *out)
  2794. {
  2795. int i;
  2796. out->header.type = in->header.type;
  2797. out->header.endian_detector = ENDIAN_LOCAL;
  2798. out->header.nodeid = swab32 (in->header.nodeid);
  2799. out->token_seq = swab32 (in->token_seq);
  2800. totemip_copy_endian_convert(&out->ring_id.rep, &in->ring_id.rep);
  2801. out->ring_id.seq = swab64 (in->ring_id.seq);
  2802. out->retrans_flg = swab32 (in->retrans_flg);
  2803. out->memb_index = swab32 (in->memb_index);
  2804. out->addr_entries = swab32 (in->addr_entries);
  2805. for (i = 0; i < out->addr_entries; i++) {
  2806. totemip_copy_endian_convert(&out->addr[i], &in->addr[i]);
  2807. /*
  2808. * Only convert the memb entry if it has been set
  2809. */
  2810. if (in->memb_list[i].ring_id.rep.family != 0) {
  2811. totemip_copy_endian_convert(&out->memb_list[i].ring_id.rep,
  2812. &in->memb_list[i].ring_id.rep);
  2813. out->memb_list[i].ring_id.seq =
  2814. swab64 (in->memb_list[i].ring_id.seq);
  2815. out->memb_list[i].aru = swab32 (in->memb_list[i].aru);
  2816. out->memb_list[i].high_delivered = swab32 (in->memb_list[i].high_delivered);
  2817. out->memb_list[i].received_flg = swab32 (in->memb_list[i].received_flg);
  2818. }
  2819. }
  2820. }
  2821. static void orf_token_endian_convert (struct orf_token *in, struct orf_token *out)
  2822. {
  2823. int i;
  2824. out->header.type = in->header.type;
  2825. out->header.endian_detector = ENDIAN_LOCAL;
  2826. out->header.nodeid = swab32 (in->header.nodeid);
  2827. out->seq = swab32 (in->seq);
  2828. out->token_seq = swab32 (in->token_seq);
  2829. out->aru = swab32 (in->aru);
  2830. totemip_copy_endian_convert(&out->ring_id.rep, &in->ring_id.rep);
  2831. totemip_copy_endian_convert(&out->aru_addr, &in->aru_addr);
  2832. out->ring_id.seq = swab64 (in->ring_id.seq);
  2833. out->fcc = swab32 (in->fcc);
  2834. out->retrans_flg = swab32 (in->retrans_flg);
  2835. out->rtr_list_entries = swab32 (in->rtr_list_entries);
  2836. for (i = 0; i < out->rtr_list_entries; i++) {
  2837. totemip_copy_endian_convert(&out->rtr_list[i].ring_id.rep, &in->rtr_list[i].ring_id.rep);
  2838. out->rtr_list[i].ring_id.seq = swab64 (in->rtr_list[i].ring_id.seq);
  2839. out->rtr_list[i].seq = swab32 (in->rtr_list[i].seq);
  2840. }
  2841. }
  2842. static void mcast_endian_convert (struct mcast *in, struct mcast *out)
  2843. {
  2844. out->header.type = in->header.type;
  2845. out->header.endian_detector = ENDIAN_LOCAL;
  2846. out->header.nodeid = swab32 (in->header.nodeid);
  2847. out->seq = swab32 (in->seq);
  2848. totemip_copy_endian_convert(&out->ring_id.rep, &in->ring_id.rep);
  2849. totemip_copy_endian_convert(&out->source, &in->source);
  2850. out->ring_id.seq = swab64 (in->ring_id.seq);
  2851. out->guarantee = in->guarantee;
  2852. }
  2853. static void memb_merge_detect_endian_convert (
  2854. struct memb_merge_detect *in,
  2855. struct memb_merge_detect *out)
  2856. {
  2857. out->header.type = in->header.type;
  2858. out->header.endian_detector = ENDIAN_LOCAL;
  2859. out->header.nodeid = swab32 (in->header.nodeid);
  2860. totemip_copy_endian_convert(&out->ring_id.rep, &in->ring_id.rep);
  2861. out->ring_id.seq = swab64 (in->ring_id.seq);
  2862. }
  2863. static int message_handler_memb_join (
  2864. struct totemsrp_instance *instance,
  2865. struct totem_ip_address *system_from,
  2866. void *msg,
  2867. int msg_len,
  2868. int endian_conversion_needed)
  2869. {
  2870. struct memb_join *memb_join;
  2871. struct memb_join memb_join_convert;
  2872. int gather_entered;
  2873. if (endian_conversion_needed) {
  2874. memb_join = &memb_join_convert;
  2875. memb_join_endian_convert (msg, &memb_join_convert);
  2876. } else {
  2877. memb_join = (struct memb_join *)msg;
  2878. }
  2879. memb_set_merge(memb_join->proc_list, memb_join->proc_list_entries,
  2880. instance->my_nodeid_lookup_list, &instance->my_nodeid_lookup_entries);
  2881. assert (system_from->nodeid != 0);
  2882. if (instance->token_ring_id_seq < memb_join->ring_seq) {
  2883. instance->token_ring_id_seq = memb_join->ring_seq;
  2884. }
  2885. switch (instance->memb_state) {
  2886. case MEMB_STATE_OPERATIONAL:
  2887. gather_entered = memb_join_process (instance,
  2888. memb_join, system_from);
  2889. if (gather_entered == 0) {
  2890. memb_state_gather_enter (instance);
  2891. }
  2892. break;
  2893. case MEMB_STATE_GATHER:
  2894. memb_join_process (instance, memb_join, system_from);
  2895. break;
  2896. case MEMB_STATE_COMMIT:
  2897. if (memb_set_subset (system_from,
  2898. 1,
  2899. instance->my_new_memb_list,
  2900. instance->my_new_memb_entries) &&
  2901. memb_join->ring_seq >= instance->my_ring_id.seq) {
  2902. memb_join_process (instance, memb_join, system_from);
  2903. memb_state_gather_enter (instance);
  2904. }
  2905. break;
  2906. case MEMB_STATE_RECOVERY:
  2907. if (memb_set_subset (system_from,
  2908. 1,
  2909. instance->my_new_memb_list,
  2910. instance->my_new_memb_entries) &&
  2911. memb_join->ring_seq >= instance->my_ring_id.seq) {
  2912. ring_state_restore (instance);
  2913. memb_join_process (instance,memb_join,
  2914. system_from);
  2915. memb_state_gather_enter (instance);
  2916. }
  2917. break;
  2918. }
  2919. return (0);
  2920. }
  2921. static int message_handler_memb_commit_token (
  2922. struct totemsrp_instance *instance,
  2923. struct totem_ip_address *system_from,
  2924. void *msg,
  2925. int msg_len,
  2926. int endian_conversion_needed)
  2927. {
  2928. struct memb_commit_token memb_commit_token_convert;
  2929. struct memb_commit_token *memb_commit_token;
  2930. struct totem_ip_address sub[PROCESSOR_COUNT_MAX];
  2931. int sub_entries;
  2932. if (endian_conversion_needed) {
  2933. memb_commit_token = &memb_commit_token_convert;
  2934. memb_commit_token_endian_convert (msg, memb_commit_token);
  2935. } else {
  2936. memb_commit_token = (struct memb_commit_token *)msg;
  2937. }
  2938. /* TODO do we need to check for a duplicate token?
  2939. if (memb_commit_token->token_seq > 0 &&
  2940. instance->my_token_seq >= memb_commit_token->token_seq) {
  2941. printf ("already received commit token %d %d\n",
  2942. memb_commit_token->token_seq, instance->my_token_seq);
  2943. return (0);
  2944. }
  2945. */
  2946. #ifdef RANDOM_DROP
  2947. if (random()%100 < 10) {
  2948. return (0);
  2949. }
  2950. #endif
  2951. switch (instance->memb_state) {
  2952. case MEMB_STATE_OPERATIONAL:
  2953. /* discard token */
  2954. break;
  2955. case MEMB_STATE_GATHER:
  2956. memb_set_subtract (sub, &sub_entries,
  2957. instance->my_proc_list, instance->my_proc_list_entries,
  2958. instance->my_failed_list, instance->my_failed_list_entries);
  2959. if (memb_set_equal (memb_commit_token->addr,
  2960. memb_commit_token->addr_entries,
  2961. sub,
  2962. sub_entries) &&
  2963. memb_commit_token->ring_id.seq > instance->my_ring_id.seq) {
  2964. memb_state_commit_enter (instance, memb_commit_token);
  2965. }
  2966. break;
  2967. case MEMB_STATE_COMMIT:
  2968. if (memcmp (&memb_commit_token->ring_id, &instance->my_ring_id,
  2969. sizeof (struct memb_ring_id)) == 0) {
  2970. // if (memb_commit_token->ring_id.seq == instance->my_ring_id.seq) {
  2971. memb_state_recovery_enter (instance, memb_commit_token);
  2972. }
  2973. break;
  2974. case MEMB_STATE_RECOVERY:
  2975. instance->totemsrp_log_printf (instance->totemsrp_log_level_notice,
  2976. "Sending initial ORF token\n");
  2977. if (totemip_equal(&instance->my_id, &instance->my_ring_id.rep)) {
  2978. // TODO convert instead of initiate
  2979. orf_token_send_initial (instance);
  2980. reset_token_timeout (instance); // REVIEWED
  2981. reset_token_retransmit_timeout (instance); // REVIEWED
  2982. }
  2983. break;
  2984. }
  2985. return (0);
  2986. }
  2987. static int message_handler_token_hold_cancel (
  2988. struct totemsrp_instance *instance,
  2989. struct totem_ip_address *system_from,
  2990. void *msg,
  2991. int msg_len,
  2992. int endian_conversion_needed)
  2993. {
  2994. struct token_hold_cancel *token_hold_cancel = (struct token_hold_cancel *)msg;
  2995. if (memcmp (&token_hold_cancel->ring_id, &instance->my_ring_id,
  2996. sizeof (struct memb_ring_id)) == 0) {
  2997. instance->my_seq_unchanged = 0;
  2998. if (totemip_equal(&instance->my_ring_id.rep, &instance->my_id)) {
  2999. timer_function_token_retransmit_timeout (instance);
  3000. }
  3001. }
  3002. return (0);
  3003. }
  3004. void main_deliver_fn (
  3005. void *context,
  3006. struct totem_ip_address *system_from,
  3007. void *msg,
  3008. int msg_len)
  3009. {
  3010. struct totemsrp_instance *instance = (struct totemsrp_instance *)context;
  3011. struct message_header *message_header = (struct message_header *)msg;
  3012. if (msg_len < sizeof (struct message_header)) {
  3013. instance->totemsrp_log_printf (instance->totemsrp_log_level_security, "Received message is too short... ignoring %d.\n", msg_len);
  3014. return;
  3015. }
  3016. system_from->nodeid = message_header->nodeid;
  3017. assert (system_from->nodeid != 0);
  3018. /*
  3019. * Handle incoming message
  3020. */
  3021. totemsrp_message_handlers.handler_functions[(int)message_header->type] (
  3022. instance,
  3023. system_from,
  3024. msg,
  3025. msg_len,
  3026. message_header->endian_detector != ENDIAN_LOCAL);
  3027. }
  3028. void main_iface_change_fn (
  3029. void *context,
  3030. struct totem_ip_address *iface_addr)
  3031. {
  3032. struct totemsrp_instance *instance = (struct totemsrp_instance *)context;
  3033. totemip_copy (&instance->my_id, iface_addr);
  3034. assert (instance->my_id.nodeid);
  3035. totemip_copy (&instance->my_memb_list[0], iface_addr);
  3036. if (instance->first_run++ == 0) {
  3037. memb_ring_id_create_or_load (instance, &instance->my_ring_id);
  3038. instance->totemsrp_log_printf (
  3039. instance->totemsrp_log_level_notice,
  3040. "Created or loaded sequence id %lld.%s for this ring.\n",
  3041. instance->my_ring_id.seq,
  3042. totemip_print (&instance->my_ring_id.rep));
  3043. }
  3044. memb_state_gather_enter (instance);
  3045. }
  3046. void totemsrp_net_mtu_adjust (struct totem_config *totem_config) {
  3047. totem_config->net_mtu -= sizeof (struct mcast);
  3048. }