totemsrp.c 101 KB

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