tcp.rs 195 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546354735483549355035513552355335543555355635573558355935603561356235633564356535663567356835693570357135723573357435753576357735783579358035813582358335843585358635873588358935903591359235933594359535963597359835993600360136023603360436053606360736083609361036113612361336143615361636173618361936203621362236233624362536263627362836293630363136323633363436353636363736383639364036413642364336443645364636473648364936503651365236533654365536563657365836593660366136623663366436653666366736683669367036713672367336743675367636773678367936803681368236833684368536863687368836893690369136923693369436953696369736983699370037013702370337043705370637073708370937103711371237133714371537163717371837193720372137223723372437253726372737283729373037313732373337343735373637373738373937403741374237433744374537463747374837493750375137523753375437553756375737583759376037613762376337643765376637673768376937703771377237733774377537763777377837793780378137823783378437853786378737883789379037913792379337943795379637973798379938003801380238033804380538063807380838093810381138123813381438153816381738183819382038213822382338243825382638273828382938303831383238333834383538363837383838393840384138423843384438453846384738483849385038513852385338543855385638573858385938603861386238633864386538663867386838693870387138723873387438753876387738783879388038813882388338843885388638873888388938903891389238933894389538963897389838993900390139023903390439053906390739083909391039113912391339143915391639173918391939203921392239233924392539263927392839293930393139323933393439353936393739383939394039413942394339443945394639473948394939503951395239533954395539563957395839593960396139623963396439653966396739683969397039713972397339743975397639773978397939803981398239833984398539863987398839893990399139923993399439953996399739983999400040014002400340044005400640074008400940104011401240134014401540164017401840194020402140224023402440254026402740284029403040314032403340344035403640374038403940404041404240434044404540464047404840494050405140524053405440554056405740584059406040614062406340644065406640674068406940704071407240734074407540764077407840794080408140824083408440854086408740884089409040914092409340944095409640974098409941004101410241034104410541064107410841094110411141124113411441154116411741184119412041214122412341244125412641274128412941304131413241334134413541364137413841394140414141424143414441454146414741484149415041514152415341544155415641574158415941604161416241634164416541664167416841694170417141724173417441754176417741784179418041814182418341844185418641874188418941904191419241934194419541964197419841994200420142024203420442054206420742084209421042114212421342144215421642174218421942204221422242234224422542264227422842294230423142324233423442354236423742384239424042414242424342444245424642474248424942504251425242534254425542564257425842594260426142624263426442654266426742684269427042714272427342744275427642774278427942804281428242834284428542864287428842894290429142924293429442954296429742984299430043014302430343044305430643074308430943104311431243134314431543164317431843194320432143224323432443254326432743284329433043314332433343344335433643374338433943404341434243434344434543464347434843494350435143524353435443554356435743584359436043614362436343644365436643674368436943704371437243734374437543764377437843794380438143824383438443854386438743884389439043914392439343944395439643974398439944004401440244034404440544064407440844094410441144124413441444154416441744184419442044214422442344244425442644274428442944304431443244334434443544364437443844394440444144424443444444454446444744484449445044514452445344544455445644574458445944604461446244634464446544664467446844694470447144724473447444754476447744784479448044814482448344844485448644874488448944904491449244934494449544964497449844994500450145024503450445054506450745084509451045114512451345144515451645174518451945204521452245234524452545264527452845294530453145324533453445354536453745384539454045414542454345444545454645474548454945504551455245534554455545564557455845594560456145624563456445654566456745684569457045714572457345744575457645774578457945804581458245834584458545864587458845894590459145924593459445954596459745984599460046014602460346044605460646074608460946104611461246134614461546164617461846194620462146224623462446254626462746284629463046314632463346344635463646374638463946404641464246434644464546464647464846494650465146524653465446554656465746584659466046614662466346644665466646674668466946704671467246734674467546764677467846794680468146824683468446854686468746884689469046914692469346944695469646974698469947004701470247034704470547064707470847094710471147124713471447154716471747184719472047214722472347244725472647274728472947304731473247334734473547364737473847394740474147424743474447454746474747484749475047514752475347544755475647574758475947604761476247634764476547664767476847694770477147724773477447754776477747784779478047814782478347844785478647874788478947904791479247934794479547964797479847994800480148024803480448054806480748084809481048114812481348144815481648174818481948204821482248234824482548264827482848294830483148324833483448354836483748384839484048414842484348444845484648474848484948504851485248534854485548564857485848594860486148624863486448654866486748684869487048714872487348744875487648774878487948804881488248834884488548864887488848894890489148924893489448954896489748984899490049014902490349044905490649074908490949104911491249134914491549164917491849194920492149224923492449254926492749284929493049314932493349344935493649374938493949404941494249434944494549464947494849494950495149524953495449554956495749584959496049614962496349644965496649674968496949704971497249734974497549764977497849794980498149824983498449854986498749884989499049914992499349944995499649974998499950005001500250035004500550065007500850095010501150125013501450155016501750185019502050215022502350245025502650275028502950305031503250335034503550365037503850395040504150425043504450455046504750485049505050515052505350545055505650575058505950605061506250635064506550665067506850695070507150725073507450755076507750785079508050815082508350845085508650875088508950905091509250935094509550965097509850995100510151025103510451055106510751085109511051115112511351145115511651175118511951205121512251235124512551265127512851295130513151325133513451355136513751385139514051415142514351445145514651475148514951505151515251535154515551565157515851595160516151625163516451655166516751685169517051715172517351745175517651775178517951805181518251835184518551865187518851895190519151925193519451955196519751985199520052015202520352045205520652075208520952105211521252135214521552165217521852195220522152225223522452255226522752285229523052315232523352345235523652375238523952405241524252435244524552465247524852495250525152525253525452555256525752585259526052615262526352645265526652675268526952705271527252735274527552765277527852795280528152825283528452855286528752885289529052915292529352945295529652975298529953005301530253035304530553065307530853095310531153125313531453155316531753185319532053215322532353245325532653275328532953305331533253335334533553365337533853395340534153425343534453455346534753485349535053515352535353545355535653575358535953605361536253635364536553665367536853695370537153725373537453755376537753785379538053815382538353845385538653875388538953905391539253935394539553965397539853995400540154025403540454055406540754085409541054115412541354145415541654175418541954205421542254235424542554265427542854295430543154325433543454355436543754385439544054415442544354445445544654475448544954505451545254535454545554565457545854595460546154625463546454655466546754685469547054715472
  1. // Heads up! Before working on this file you should read, at least, RFC 793 and
  2. // the parts of RFC 1122 that discuss TCP. Consult RFC 7414 when implementing
  3. // a new feature.
  4. use core::{cmp, fmt, mem};
  5. #[cfg(feature = "async")]
  6. use core::task::Waker;
  7. use crate::{Error, Result};
  8. use crate::time::{Duration, Instant};
  9. use crate::socket::{Socket, SocketMeta, SocketHandle, PollAt};
  10. use crate::storage::{Assembler, RingBuffer};
  11. #[cfg(feature = "async")]
  12. use crate::socket::WakerRegistration;
  13. use crate::wire::{IpProtocol, IpRepr, IpAddress, IpEndpoint, TcpSeqNumber, TcpRepr, TcpControl};
  14. /// A TCP socket ring buffer.
  15. pub type SocketBuffer<'a> = RingBuffer<'a, u8>;
  16. /// The state of a TCP socket, according to [RFC 793].
  17. ///
  18. /// [RFC 793]: https://tools.ietf.org/html/rfc793
  19. #[derive(Debug, PartialEq, Eq, Clone, Copy)]
  20. #[cfg_attr(feature = "defmt", derive(defmt::Format))]
  21. pub enum State {
  22. Closed,
  23. Listen,
  24. SynSent,
  25. SynReceived,
  26. Established,
  27. FinWait1,
  28. FinWait2,
  29. CloseWait,
  30. Closing,
  31. LastAck,
  32. TimeWait
  33. }
  34. impl fmt::Display for State {
  35. fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
  36. match *self {
  37. State::Closed => write!(f, "CLOSED"),
  38. State::Listen => write!(f, "LISTEN"),
  39. State::SynSent => write!(f, "SYN-SENT"),
  40. State::SynReceived => write!(f, "SYN-RECEIVED"),
  41. State::Established => write!(f, "ESTABLISHED"),
  42. State::FinWait1 => write!(f, "FIN-WAIT-1"),
  43. State::FinWait2 => write!(f, "FIN-WAIT-2"),
  44. State::CloseWait => write!(f, "CLOSE-WAIT"),
  45. State::Closing => write!(f, "CLOSING"),
  46. State::LastAck => write!(f, "LAST-ACK"),
  47. State::TimeWait => write!(f, "TIME-WAIT")
  48. }
  49. }
  50. }
  51. // Conservative initial RTT estimate.
  52. const RTTE_INITIAL_RTT: u32 = 300;
  53. const RTTE_INITIAL_DEV: u32 = 100;
  54. // Minimum "safety margin" for the RTO that kicks in when the
  55. // variance gets very low.
  56. const RTTE_MIN_MARGIN: u32 = 5;
  57. const RTTE_MIN_RTO: u32 = 10;
  58. const RTTE_MAX_RTO: u32 = 10000;
  59. #[derive(Debug, Clone, Copy)]
  60. #[cfg_attr(feature = "defmt", derive(defmt::Format))]
  61. struct RttEstimator {
  62. // Using u32 instead of Duration to save space (Duration is i64)
  63. rtt: u32,
  64. deviation: u32,
  65. timestamp: Option<(Instant, TcpSeqNumber)>,
  66. max_seq_sent: Option<TcpSeqNumber>,
  67. rto_count: u8,
  68. }
  69. impl Default for RttEstimator {
  70. fn default() -> Self {
  71. Self {
  72. rtt: RTTE_INITIAL_RTT,
  73. deviation: RTTE_INITIAL_DEV,
  74. timestamp: None,
  75. max_seq_sent: None,
  76. rto_count: 0,
  77. }
  78. }
  79. }
  80. impl RttEstimator {
  81. fn retransmission_timeout(&self) -> Duration {
  82. let margin = RTTE_MIN_MARGIN.max(self.deviation * 4);
  83. let ms = (self.rtt + margin).max(RTTE_MIN_RTO).min(RTTE_MAX_RTO);
  84. Duration::from_millis(ms as u64)
  85. }
  86. fn sample(&mut self, new_rtt: u32) {
  87. // "Congestion Avoidance and Control", Van Jacobson, Michael J. Karels, 1988
  88. self.rtt = (self.rtt * 7 + new_rtt + 7) / 8;
  89. let diff = (self.rtt as i32 - new_rtt as i32 ).abs() as u32;
  90. self.deviation = (self.deviation * 3 + diff + 3) / 4;
  91. self.rto_count = 0;
  92. let rto = self.retransmission_timeout().millis();
  93. net_trace!("rtte: sample={:?} rtt={:?} dev={:?} rto={:?}", new_rtt, self.rtt, self.deviation, rto);
  94. }
  95. fn on_send(&mut self, timestamp: Instant, seq: TcpSeqNumber) {
  96. if self.max_seq_sent.map(|max_seq_sent| seq > max_seq_sent).unwrap_or(true) {
  97. self.max_seq_sent = Some(seq);
  98. if self.timestamp.is_none() {
  99. self.timestamp = Some((timestamp, seq));
  100. net_trace!("rtte: sampling at seq={:?}", seq);
  101. }
  102. }
  103. }
  104. fn on_ack(&mut self, timestamp: Instant, seq: TcpSeqNumber) {
  105. if let Some((sent_timestamp, sent_seq)) = self.timestamp {
  106. if seq >= sent_seq {
  107. self.sample((timestamp - sent_timestamp).millis() as u32);
  108. self.timestamp = None;
  109. }
  110. }
  111. }
  112. fn on_retransmit(&mut self) {
  113. if self.timestamp.is_some() {
  114. net_trace!("rtte: abort sampling due to retransmit");
  115. }
  116. self.timestamp = None;
  117. self.rto_count = self.rto_count.saturating_add(1);
  118. if self.rto_count >= 3 {
  119. // This happens in 2 scenarios:
  120. // - The RTT is higher than the initial estimate
  121. // - The network conditions change, suddenly making the RTT much higher
  122. // In these cases, the estimator can get stuck, because it can't sample because
  123. // all packets sent would incur a retransmit. To avoid this, force an estimate
  124. // increase if we see 3 consecutive retransmissions without any successful sample.
  125. self.rto_count = 0;
  126. self.rtt = RTTE_MAX_RTO.min(self.rtt*2);
  127. let rto = self.retransmission_timeout().millis();
  128. net_trace!("rtte: too many retransmissions, increasing: rtt={:?} dev={:?} rto={:?}", self.rtt, self.deviation, rto);
  129. }
  130. }
  131. }
  132. #[derive(Debug, Clone, Copy, PartialEq)]
  133. #[cfg_attr(feature = "defmt", derive(defmt::Format))]
  134. enum Timer {
  135. Idle {
  136. keep_alive_at: Option<Instant>,
  137. },
  138. Retransmit {
  139. expires_at: Instant,
  140. delay: Duration
  141. },
  142. FastRetransmit,
  143. Close {
  144. expires_at: Instant
  145. }
  146. }
  147. const ACK_DELAY_DEFAULT: Duration = Duration { millis: 10 };
  148. const CLOSE_DELAY: Duration = Duration { millis: 10_000 };
  149. impl Default for Timer {
  150. fn default() -> Timer {
  151. Timer::Idle { keep_alive_at: None }
  152. }
  153. }
  154. impl Timer {
  155. fn should_keep_alive(&self, timestamp: Instant) -> bool {
  156. match *self {
  157. Timer::Idle { keep_alive_at: Some(keep_alive_at) }
  158. if timestamp >= keep_alive_at => {
  159. true
  160. }
  161. _ => false
  162. }
  163. }
  164. fn should_retransmit(&self, timestamp: Instant) -> Option<Duration> {
  165. match *self {
  166. Timer::Retransmit { expires_at, delay }
  167. if timestamp >= expires_at => {
  168. Some(timestamp - expires_at + delay)
  169. },
  170. Timer::FastRetransmit => Some(Duration::from_millis(0)),
  171. _ => None
  172. }
  173. }
  174. fn should_close(&self, timestamp: Instant) -> bool {
  175. match *self {
  176. Timer::Close { expires_at }
  177. if timestamp >= expires_at => {
  178. true
  179. }
  180. _ => false
  181. }
  182. }
  183. fn poll_at(&self) -> PollAt {
  184. match *self {
  185. Timer::Idle { keep_alive_at: Some(keep_alive_at) } => PollAt::Time(keep_alive_at),
  186. Timer::Idle { keep_alive_at: None } => PollAt::Ingress,
  187. Timer::Retransmit { expires_at, .. } => PollAt::Time(expires_at),
  188. Timer::FastRetransmit => PollAt::Now,
  189. Timer::Close { expires_at } => PollAt::Time(expires_at),
  190. }
  191. }
  192. fn set_for_idle(&mut self, timestamp: Instant, interval: Option<Duration>) {
  193. *self = Timer::Idle {
  194. keep_alive_at: interval.map(|interval| timestamp + interval)
  195. }
  196. }
  197. fn set_keep_alive(&mut self) {
  198. if let Timer::Idle { ref mut keep_alive_at } = *self {
  199. if keep_alive_at.is_none() {
  200. *keep_alive_at = Some(Instant::from_millis(0))
  201. }
  202. }
  203. }
  204. fn rewind_keep_alive(&mut self, timestamp: Instant, interval: Option<Duration>) {
  205. if let Timer::Idle { ref mut keep_alive_at } = *self {
  206. *keep_alive_at = interval.map(|interval| timestamp + interval)
  207. }
  208. }
  209. fn set_for_retransmit(&mut self, timestamp: Instant, delay: Duration) {
  210. match *self {
  211. Timer::Idle { .. } | Timer::FastRetransmit { .. } => {
  212. *self = Timer::Retransmit {
  213. expires_at: timestamp + delay,
  214. delay: delay,
  215. }
  216. }
  217. Timer::Retransmit { expires_at, delay }
  218. if timestamp >= expires_at => {
  219. *self = Timer::Retransmit {
  220. expires_at: timestamp + delay,
  221. delay: delay * 2
  222. }
  223. }
  224. Timer::Retransmit { .. } => (),
  225. Timer::Close { .. } => ()
  226. }
  227. }
  228. fn set_for_fast_retransmit(&mut self) {
  229. *self = Timer::FastRetransmit
  230. }
  231. fn set_for_close(&mut self, timestamp: Instant) {
  232. *self = Timer::Close {
  233. expires_at: timestamp + CLOSE_DELAY
  234. }
  235. }
  236. fn is_retransmit(&self) -> bool {
  237. match *self {
  238. Timer::Retransmit {..} | Timer::FastRetransmit => true,
  239. _ => false,
  240. }
  241. }
  242. }
  243. /// A Transmission Control Protocol socket.
  244. ///
  245. /// A TCP socket may passively listen for connections or actively connect to another endpoint.
  246. /// Note that, for listening sockets, there is no "backlog"; to be able to simultaneously
  247. /// accept several connections, as many sockets must be allocated, or any new connection
  248. /// attempts will be reset.
  249. #[derive(Debug)]
  250. pub struct TcpSocket<'a> {
  251. pub(crate) meta: SocketMeta,
  252. state: State,
  253. timer: Timer,
  254. rtte: RttEstimator,
  255. assembler: Assembler,
  256. rx_buffer: SocketBuffer<'a>,
  257. rx_fin_received: bool,
  258. tx_buffer: SocketBuffer<'a>,
  259. /// Interval after which, if no inbound packets are received, the connection is aborted.
  260. timeout: Option<Duration>,
  261. /// Interval at which keep-alive packets will be sent.
  262. keep_alive: Option<Duration>,
  263. /// The time-to-live (IPv4) or hop limit (IPv6) value used in outgoing packets.
  264. hop_limit: Option<u8>,
  265. /// Address passed to listen(). Listen address is set when listen() is called and
  266. /// used every time the socket is reset back to the LISTEN state.
  267. listen_address: IpAddress,
  268. /// Current local endpoint. This is used for both filtering the incoming packets and
  269. /// setting the source address. When listening or initiating connection on/from
  270. /// an unspecified address, this field is updated with the chosen source address before
  271. /// any packets are sent.
  272. local_endpoint: IpEndpoint,
  273. /// Current remote endpoint. This is used for both filtering the incoming packets and
  274. /// setting the destination address. If the remote endpoint is unspecified, it means that
  275. /// aborting the connection will not send an RST, and, in TIME-WAIT state, will not
  276. /// send an ACK.
  277. remote_endpoint: IpEndpoint,
  278. /// The sequence number corresponding to the beginning of the transmit buffer.
  279. /// I.e. an ACK(local_seq_no+n) packet removes n bytes from the transmit buffer.
  280. local_seq_no: TcpSeqNumber,
  281. /// The sequence number corresponding to the beginning of the receive buffer.
  282. /// I.e. userspace reading n bytes adds n to remote_seq_no.
  283. remote_seq_no: TcpSeqNumber,
  284. /// The last sequence number sent.
  285. /// I.e. in an idle socket, local_seq_no+tx_buffer.len().
  286. remote_last_seq: TcpSeqNumber,
  287. /// The last acknowledgement number sent.
  288. /// I.e. in an idle socket, remote_seq_no+rx_buffer.len().
  289. remote_last_ack: Option<TcpSeqNumber>,
  290. /// The last window length sent.
  291. remote_last_win: u16,
  292. /// The sending window scaling factor advertised to remotes which support RFC 1323.
  293. /// It is zero if the window <= 64KiB and/or the remote does not support it.
  294. remote_win_shift: u8,
  295. /// The remote window size, relative to local_seq_no
  296. /// I.e. we're allowed to send octets until local_seq_no+remote_win_len
  297. remote_win_len: usize,
  298. /// The receive window scaling factor for remotes which support RFC 1323, None if unsupported.
  299. remote_win_scale: Option<u8>,
  300. /// Whether or not the remote supports selective ACK as described in RFC 2018.
  301. remote_has_sack: bool,
  302. /// The maximum number of data octets that the remote side may receive.
  303. remote_mss: usize,
  304. /// The timestamp of the last packet received.
  305. remote_last_ts: Option<Instant>,
  306. /// The sequence number of the last packet recived, used for sACK
  307. local_rx_last_seq: Option<TcpSeqNumber>,
  308. /// The ACK number of the last packet recived.
  309. local_rx_last_ack: Option<TcpSeqNumber>,
  310. /// The number of packets recived directly after
  311. /// each other which have the same ACK number.
  312. local_rx_dup_acks: u8,
  313. /// Duration for Delayed ACK. If None no ACKs will be delayed.
  314. ack_delay: Option<Duration>,
  315. /// Delayed ack timer. If set, packets containing exclusively
  316. /// ACK or window updates (ie, no data) won't be sent until expiry.
  317. ack_delay_until: Option<Instant>,
  318. #[cfg(feature = "async")]
  319. rx_waker: WakerRegistration,
  320. #[cfg(feature = "async")]
  321. tx_waker: WakerRegistration,
  322. }
  323. const DEFAULT_MSS: usize = 536;
  324. impl<'a> TcpSocket<'a> {
  325. #[allow(unused_comparisons)] // small usize platforms always pass rx_capacity check
  326. /// Create a socket using the given buffers.
  327. pub fn new<T>(rx_buffer: T, tx_buffer: T) -> TcpSocket<'a>
  328. where T: Into<SocketBuffer<'a>> {
  329. let (rx_buffer, tx_buffer) = (rx_buffer.into(), tx_buffer.into());
  330. let rx_capacity = rx_buffer.capacity();
  331. // From RFC 1323:
  332. // [...] the above constraints imply that 2 * the max window size must be less
  333. // than 2**31 [...] Thus, the shift count must be limited to 14 (which allows
  334. // windows of 2**30 = 1 Gbyte).
  335. if rx_capacity > (1 << 30) {
  336. panic!("receiving buffer too large, cannot exceed 1 GiB")
  337. }
  338. let rx_cap_log2 = mem::size_of::<usize>() * 8 -
  339. rx_capacity.leading_zeros() as usize;
  340. TcpSocket {
  341. meta: SocketMeta::default(),
  342. state: State::Closed,
  343. timer: Timer::default(),
  344. rtte: RttEstimator::default(),
  345. assembler: Assembler::new(rx_buffer.capacity()),
  346. tx_buffer: tx_buffer,
  347. rx_buffer: rx_buffer,
  348. rx_fin_received: false,
  349. timeout: None,
  350. keep_alive: None,
  351. hop_limit: None,
  352. listen_address: IpAddress::default(),
  353. local_endpoint: IpEndpoint::default(),
  354. remote_endpoint: IpEndpoint::default(),
  355. local_seq_no: TcpSeqNumber::default(),
  356. remote_seq_no: TcpSeqNumber::default(),
  357. remote_last_seq: TcpSeqNumber::default(),
  358. remote_last_ack: None,
  359. remote_last_win: 0,
  360. remote_win_len: 0,
  361. remote_win_shift: rx_cap_log2.saturating_sub(16) as u8,
  362. remote_win_scale: None,
  363. remote_has_sack: false,
  364. remote_mss: DEFAULT_MSS,
  365. remote_last_ts: None,
  366. local_rx_last_ack: None,
  367. local_rx_last_seq: None,
  368. local_rx_dup_acks: 0,
  369. ack_delay: Some(ACK_DELAY_DEFAULT),
  370. ack_delay_until: None,
  371. #[cfg(feature = "async")]
  372. rx_waker: WakerRegistration::new(),
  373. #[cfg(feature = "async")]
  374. tx_waker: WakerRegistration::new(),
  375. }
  376. }
  377. /// Register a waker for receive operations.
  378. ///
  379. /// The waker is woken on state changes that might affect the return value
  380. /// of `recv` method calls, such as receiving data, or the socket closing.
  381. ///
  382. /// Notes:
  383. ///
  384. /// - Only one waker can be registered at a time. If another waker was previously registered,
  385. /// it is overwritten and will no longer be woken.
  386. /// - The Waker is woken only once. Once woken, you must register it again to receive more wakes.
  387. /// - "Spurious wakes" are allowed: a wake doesn't guarantee the result of `recv` has
  388. /// necessarily changed.
  389. #[cfg(feature = "async")]
  390. pub fn register_recv_waker(&mut self, waker: &Waker) {
  391. self.rx_waker.register(waker)
  392. }
  393. /// Register a waker for send operations.
  394. ///
  395. /// The waker is woken on state changes that might affect the return value
  396. /// of `send` method calls, such as space becoming available in the transmit
  397. /// buffer, or the socket closing.
  398. ///
  399. /// Notes:
  400. ///
  401. /// - Only one waker can be registered at a time. If another waker was previously registered,
  402. /// it is overwritten and will no longer be woken.
  403. /// - The Waker is woken only once. Once woken, you must register it again to receive more wakes.
  404. /// - "Spurious wakes" are allowed: a wake doesn't guarantee the result of `send` has
  405. /// necessarily changed.
  406. #[cfg(feature = "async")]
  407. pub fn register_send_waker(&mut self, waker: &Waker) {
  408. self.tx_waker.register(waker)
  409. }
  410. /// Return the socket handle.
  411. #[inline]
  412. pub fn handle(&self) -> SocketHandle {
  413. self.meta.handle
  414. }
  415. /// Return the timeout duration.
  416. ///
  417. /// See also the [set_timeout](#method.set_timeout) method.
  418. pub fn timeout(&self) -> Option<Duration> {
  419. self.timeout
  420. }
  421. /// Return the ACK delay duration.
  422. ///
  423. /// See also the [set_ack_delay](#method.set_ack_delay) method.
  424. pub fn ack_delay(&self) -> Option<Duration> {
  425. self.ack_delay
  426. }
  427. /// Return the current window field value, including scaling according to RFC 1323.
  428. ///
  429. /// Used in internal calculations as well as packet generation.
  430. ///
  431. #[inline]
  432. fn scaled_window(&self) -> u16 {
  433. cmp::min(self.rx_buffer.window() >> self.remote_win_shift as usize,
  434. (1 << 16) - 1) as u16
  435. }
  436. /// Set the timeout duration.
  437. ///
  438. /// A socket with a timeout duration set will abort the connection if either of the following
  439. /// occurs:
  440. ///
  441. /// * After a [connect](#method.connect) call, the remote endpoint does not respond within
  442. /// the specified duration;
  443. /// * After establishing a connection, there is data in the transmit buffer and the remote
  444. /// endpoint exceeds the specified duration between any two packets it sends;
  445. /// * After enabling [keep-alive](#method.set_keep_alive), the remote endpoint exceeds
  446. /// the specified duration between any two packets it sends.
  447. pub fn set_timeout(&mut self, duration: Option<Duration>) {
  448. self.timeout = duration
  449. }
  450. /// Set the ACK delay duration.
  451. ///
  452. /// By default, the ACK delay is set to 10ms.
  453. pub fn set_ack_delay(&mut self, duration: Option<Duration>) {
  454. self.ack_delay = duration
  455. }
  456. /// Return the keep-alive interval.
  457. ///
  458. /// See also the [set_keep_alive](#method.set_keep_alive) method.
  459. pub fn keep_alive(&self) -> Option<Duration> {
  460. self.keep_alive
  461. }
  462. /// Set the keep-alive interval.
  463. ///
  464. /// An idle socket with a keep-alive interval set will transmit a "challenge ACK" packet
  465. /// every time it receives no communication during that interval. As a result, three things
  466. /// may happen:
  467. ///
  468. /// * The remote endpoint is fine and answers with an ACK packet.
  469. /// * The remote endpoint has rebooted and answers with an RST packet.
  470. /// * The remote endpoint has crashed and does not answer.
  471. ///
  472. /// The keep-alive functionality together with the timeout functionality allows to react
  473. /// to these error conditions.
  474. pub fn set_keep_alive(&mut self, interval: Option<Duration>) {
  475. self.keep_alive = interval;
  476. if self.keep_alive.is_some() {
  477. // If the connection is idle and we've just set the option, it would not take effect
  478. // until the next packet, unless we wind up the timer explicitly.
  479. self.timer.set_keep_alive();
  480. }
  481. }
  482. /// Return the time-to-live (IPv4) or hop limit (IPv6) value used in outgoing packets.
  483. ///
  484. /// See also the [set_hop_limit](#method.set_hop_limit) method
  485. pub fn hop_limit(&self) -> Option<u8> {
  486. self.hop_limit
  487. }
  488. /// Set the time-to-live (IPv4) or hop limit (IPv6) value used in outgoing packets.
  489. ///
  490. /// A socket without an explicitly set hop limit value uses the default [IANA recommended]
  491. /// value (64).
  492. ///
  493. /// # Panics
  494. ///
  495. /// This function panics if a hop limit value of 0 is given. See [RFC 1122 § 3.2.1.7].
  496. ///
  497. /// [IANA recommended]: https://www.iana.org/assignments/ip-parameters/ip-parameters.xhtml
  498. /// [RFC 1122 § 3.2.1.7]: https://tools.ietf.org/html/rfc1122#section-3.2.1.7
  499. pub fn set_hop_limit(&mut self, hop_limit: Option<u8>) {
  500. // A host MUST NOT send a datagram with a hop limit value of 0
  501. if let Some(0) = hop_limit {
  502. panic!("the time-to-live value of a packet must not be zero")
  503. }
  504. self.hop_limit = hop_limit
  505. }
  506. /// Return the local endpoint.
  507. #[inline]
  508. pub fn local_endpoint(&self) -> IpEndpoint {
  509. self.local_endpoint
  510. }
  511. /// Return the remote endpoint.
  512. #[inline]
  513. pub fn remote_endpoint(&self) -> IpEndpoint {
  514. self.remote_endpoint
  515. }
  516. /// Return the connection state, in terms of the TCP state machine.
  517. #[inline]
  518. pub fn state(&self) -> State {
  519. self.state
  520. }
  521. fn reset(&mut self) {
  522. let rx_cap_log2 = mem::size_of::<usize>() * 8 -
  523. self.rx_buffer.capacity().leading_zeros() as usize;
  524. self.state = State::Closed;
  525. self.timer = Timer::default();
  526. self.rtte = RttEstimator::default();
  527. self.assembler = Assembler::new(self.rx_buffer.capacity());
  528. self.tx_buffer.clear();
  529. self.rx_buffer.clear();
  530. self.rx_fin_received = false;
  531. self.keep_alive = None;
  532. self.timeout = None;
  533. self.hop_limit = None;
  534. self.listen_address = IpAddress::default();
  535. self.local_endpoint = IpEndpoint::default();
  536. self.remote_endpoint = IpEndpoint::default();
  537. self.local_seq_no = TcpSeqNumber::default();
  538. self.remote_seq_no = TcpSeqNumber::default();
  539. self.remote_last_seq = TcpSeqNumber::default();
  540. self.remote_last_ack = None;
  541. self.remote_last_win = 0;
  542. self.remote_win_len = 0;
  543. self.remote_win_scale = None;
  544. self.remote_win_shift = rx_cap_log2.saturating_sub(16) as u8;
  545. self.remote_mss = DEFAULT_MSS;
  546. self.remote_last_ts = None;
  547. self.ack_delay = Some(ACK_DELAY_DEFAULT);
  548. self.ack_delay_until = None;
  549. #[cfg(feature = "async")]
  550. {
  551. self.rx_waker.wake();
  552. self.tx_waker.wake();
  553. }
  554. }
  555. /// Start listening on the given endpoint.
  556. ///
  557. /// This function returns `Err(Error::Illegal)` if the socket was already open
  558. /// (see [is_open](#method.is_open)), and `Err(Error::Unaddressable)`
  559. /// if the port in the given endpoint is zero.
  560. pub fn listen<T>(&mut self, local_endpoint: T) -> Result<()>
  561. where T: Into<IpEndpoint> {
  562. let local_endpoint = local_endpoint.into();
  563. if local_endpoint.port == 0 { return Err(Error::Unaddressable) }
  564. if self.is_open() { return Err(Error::Illegal) }
  565. self.reset();
  566. self.listen_address = local_endpoint.addr;
  567. self.local_endpoint = local_endpoint;
  568. self.remote_endpoint = IpEndpoint::default();
  569. self.set_state(State::Listen);
  570. Ok(())
  571. }
  572. /// Connect to a given endpoint.
  573. ///
  574. /// The local port must be provided explicitly. Assuming `fn get_ephemeral_port() -> u16`
  575. /// allocates a port between 49152 and 65535, a connection may be established as follows:
  576. ///
  577. /// ```rust,ignore
  578. /// socket.connect((IpAddress::v4(10, 0, 0, 1), 80), get_ephemeral_port())
  579. /// ```
  580. ///
  581. /// The local address may optionally be provided.
  582. ///
  583. /// This function returns an error if the socket was open; see [is_open](#method.is_open).
  584. /// It also returns an error if the local or remote port is zero, or if the remote address
  585. /// is unspecified.
  586. pub fn connect<T, U>(&mut self, remote_endpoint: T, local_endpoint: U) -> Result<()>
  587. where T: Into<IpEndpoint>, U: Into<IpEndpoint> {
  588. let remote_endpoint = remote_endpoint.into();
  589. let local_endpoint = local_endpoint.into();
  590. if self.is_open() { return Err(Error::Illegal) }
  591. if !remote_endpoint.is_specified() { return Err(Error::Unaddressable) }
  592. if local_endpoint.port == 0 { return Err(Error::Unaddressable) }
  593. // If local address is not provided, use an unspecified address but a specified protocol.
  594. // This lets us lower IpRepr later to determine IP header size and calculate MSS,
  595. // but without committing to a specific address right away.
  596. let local_addr = match local_endpoint.addr {
  597. IpAddress::Unspecified => remote_endpoint.addr.to_unspecified(),
  598. ip => ip,
  599. };
  600. let local_endpoint = IpEndpoint { addr: local_addr, ..local_endpoint };
  601. // Carry over the local sequence number.
  602. let local_seq_no = self.local_seq_no;
  603. self.reset();
  604. self.local_endpoint = local_endpoint;
  605. self.remote_endpoint = remote_endpoint;
  606. self.local_seq_no = local_seq_no;
  607. self.remote_last_seq = local_seq_no;
  608. self.set_state(State::SynSent);
  609. Ok(())
  610. }
  611. /// Close the transmit half of the full-duplex connection.
  612. ///
  613. /// Note that there is no corresponding function for the receive half of the full-duplex
  614. /// connection; only the remote end can close it. If you no longer wish to receive any
  615. /// data and would like to reuse the socket right away, use [abort](#method.abort).
  616. pub fn close(&mut self) {
  617. match self.state {
  618. // In the LISTEN state there is no established connection.
  619. State::Listen =>
  620. self.set_state(State::Closed),
  621. // In the SYN-SENT state the remote endpoint is not yet synchronized and, upon
  622. // receiving an RST, will abort the connection.
  623. State::SynSent =>
  624. self.set_state(State::Closed),
  625. // In the SYN-RECEIVED, ESTABLISHED and CLOSE-WAIT states the transmit half
  626. // of the connection is open, and needs to be explicitly closed with a FIN.
  627. State::SynReceived | State::Established =>
  628. self.set_state(State::FinWait1),
  629. State::CloseWait =>
  630. self.set_state(State::LastAck),
  631. // In the FIN-WAIT-1, FIN-WAIT-2, CLOSING, LAST-ACK, TIME-WAIT and CLOSED states,
  632. // the transmit half of the connection is already closed, and no further
  633. // action is needed.
  634. State::FinWait1 | State::FinWait2 | State::Closing |
  635. State::TimeWait | State::LastAck | State::Closed => ()
  636. }
  637. }
  638. /// Aborts the connection, if any.
  639. ///
  640. /// This function instantly closes the socket. One reset packet will be sent to the remote
  641. /// endpoint.
  642. ///
  643. /// In terms of the TCP state machine, the socket may be in any state and is moved to
  644. /// the `CLOSED` state.
  645. pub fn abort(&mut self) {
  646. self.set_state(State::Closed);
  647. }
  648. /// Return whether the socket is passively listening for incoming connections.
  649. ///
  650. /// In terms of the TCP state machine, the socket must be in the `LISTEN` state.
  651. #[inline]
  652. pub fn is_listening(&self) -> bool {
  653. match self.state {
  654. State::Listen => true,
  655. _ => false
  656. }
  657. }
  658. /// Return whether the socket is open.
  659. ///
  660. /// This function returns true if the socket will process incoming or dispatch outgoing
  661. /// packets. Note that this does not mean that it is possible to send or receive data through
  662. /// the socket; for that, use [can_send](#method.can_send) or [can_recv](#method.can_recv).
  663. ///
  664. /// In terms of the TCP state machine, the socket must not be in the `CLOSED`
  665. /// or `TIME-WAIT` states.
  666. #[inline]
  667. pub fn is_open(&self) -> bool {
  668. match self.state {
  669. State::Closed => false,
  670. State::TimeWait => false,
  671. _ => true
  672. }
  673. }
  674. /// Return whether a connection is active.
  675. ///
  676. /// This function returns true if the socket is actively exchanging packets with
  677. /// a remote endpoint. Note that this does not mean that it is possible to send or receive
  678. /// data through the socket; for that, use [can_send](#method.can_send) or
  679. /// [can_recv](#method.can_recv).
  680. ///
  681. /// If a connection is established, [abort](#method.close) will send a reset to
  682. /// the remote endpoint.
  683. ///
  684. /// In terms of the TCP state machine, the socket must not be in the `CLOSED`, `TIME-WAIT`,
  685. /// or `LISTEN` state.
  686. #[inline]
  687. pub fn is_active(&self) -> bool {
  688. match self.state {
  689. State::Closed => false,
  690. State::TimeWait => false,
  691. State::Listen => false,
  692. _ => true
  693. }
  694. }
  695. /// Return whether the transmit half of the full-duplex connection is open.
  696. ///
  697. /// This function returns true if it's possible to send data and have it arrive
  698. /// to the remote endpoint. However, it does not make any guarantees about the state
  699. /// of the transmit buffer, and even if it returns true, [send](#method.send) may
  700. /// not be able to enqueue any octets.
  701. ///
  702. /// In terms of the TCP state machine, the socket must be in the `ESTABLISHED` or
  703. /// `CLOSE-WAIT` state.
  704. #[inline]
  705. pub fn may_send(&self) -> bool {
  706. match self.state {
  707. State::Established => true,
  708. // In CLOSE-WAIT, the remote endpoint has closed our receive half of the connection
  709. // but we still can transmit indefinitely.
  710. State::CloseWait => true,
  711. _ => false
  712. }
  713. }
  714. /// Return whether the receive half of the full-duplex connection is open.
  715. ///
  716. /// This function returns true if it's possible to receive data from the remote endpoint.
  717. /// It will return true while there is data in the receive buffer, and if there isn't,
  718. /// as long as the remote endpoint has not closed the connection.
  719. ///
  720. /// In terms of the TCP state machine, the socket must be in the `ESTABLISHED`,
  721. /// `FIN-WAIT-1`, or `FIN-WAIT-2` state, or have data in the receive buffer instead.
  722. #[inline]
  723. pub fn may_recv(&self) -> bool {
  724. match self.state {
  725. State::Established => true,
  726. // In FIN-WAIT-1/2, we have closed our transmit half of the connection but
  727. // we still can receive indefinitely.
  728. State::FinWait1 | State::FinWait2 => true,
  729. // If we have something in the receive buffer, we can receive that.
  730. _ if !self.rx_buffer.is_empty() => true,
  731. _ => false
  732. }
  733. }
  734. /// Check whether the transmit half of the full-duplex connection is open
  735. /// (see [may_send](#method.may_send), and the transmit buffer is not full.
  736. #[inline]
  737. pub fn can_send(&self) -> bool {
  738. if !self.may_send() { return false }
  739. !self.tx_buffer.is_full()
  740. }
  741. /// Return the maximum number of bytes inside the recv buffer.
  742. #[inline]
  743. pub fn recv_capacity(&self) -> usize {
  744. self.rx_buffer.capacity()
  745. }
  746. /// Return the maximum number of bytes inside the transmit buffer.
  747. #[inline]
  748. pub fn send_capacity(&self) -> usize {
  749. self.tx_buffer.capacity()
  750. }
  751. /// Check whether the receive half of the full-duplex connection buffer is open
  752. /// (see [may_recv](#method.may_recv), and the receive buffer is not empty.
  753. #[inline]
  754. pub fn can_recv(&self) -> bool {
  755. if !self.may_recv() { return false }
  756. !self.rx_buffer.is_empty()
  757. }
  758. fn send_impl<'b, F, R>(&'b mut self, f: F) -> Result<R>
  759. where F: FnOnce(&'b mut SocketBuffer<'a>) -> (usize, R) {
  760. if !self.may_send() { return Err(Error::Illegal) }
  761. // The connection might have been idle for a long time, and so remote_last_ts
  762. // would be far in the past. Unless we clear it here, we'll abort the connection
  763. // down over in dispatch() by erroneously detecting it as timed out.
  764. if self.tx_buffer.is_empty() { self.remote_last_ts = None }
  765. let _old_length = self.tx_buffer.len();
  766. let (size, result) = f(&mut self.tx_buffer);
  767. if size > 0 {
  768. #[cfg(any(test, feature = "verbose"))]
  769. net_trace!("{}:{}:{}: tx buffer: enqueueing {} octets (now {})",
  770. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  771. size, _old_length + size);
  772. }
  773. Ok(result)
  774. }
  775. /// Call `f` with the largest contiguous slice of octets in the transmit buffer,
  776. /// and enqueue the amount of elements returned by `f`.
  777. ///
  778. /// This function returns `Err(Error::Illegal)` if the transmit half of
  779. /// the connection is not open; see [may_send](#method.may_send).
  780. pub fn send<'b, F, R>(&'b mut self, f: F) -> Result<R>
  781. where F: FnOnce(&'b mut [u8]) -> (usize, R) {
  782. self.send_impl(|tx_buffer| {
  783. tx_buffer.enqueue_many_with(f)
  784. })
  785. }
  786. /// Enqueue a sequence of octets to be sent, and fill it from a slice.
  787. ///
  788. /// This function returns the amount of octets actually enqueued, which is limited
  789. /// by the amount of free space in the transmit buffer; down to zero.
  790. ///
  791. /// See also [send](#method.send).
  792. pub fn send_slice(&mut self, data: &[u8]) -> Result<usize> {
  793. self.send_impl(|tx_buffer| {
  794. let size = tx_buffer.enqueue_slice(data);
  795. (size, size)
  796. })
  797. }
  798. fn recv_error_check(&mut self) -> Result<()> {
  799. // We may have received some data inside the initial SYN, but until the connection
  800. // is fully open we must not dequeue any data, as it may be overwritten by e.g.
  801. // another (stale) SYN. (We do not support TCP Fast Open.)
  802. if !self.may_recv() {
  803. if self.rx_fin_received {
  804. return Err(Error::Finished)
  805. }
  806. return Err(Error::Illegal)
  807. }
  808. Ok(())
  809. }
  810. fn recv_impl<'b, F, R>(&'b mut self, f: F) -> Result<R>
  811. where F: FnOnce(&'b mut SocketBuffer<'a>) -> (usize, R) {
  812. self.recv_error_check()?;
  813. let _old_length = self.rx_buffer.len();
  814. let (size, result) = f(&mut self.rx_buffer);
  815. self.remote_seq_no += size;
  816. if size > 0 {
  817. #[cfg(any(test, feature = "verbose"))]
  818. net_trace!("{}:{}:{}: rx buffer: dequeueing {} octets (now {})",
  819. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  820. size, _old_length - size);
  821. }
  822. Ok(result)
  823. }
  824. /// Call `f` with the largest contiguous slice of octets in the receive buffer,
  825. /// and dequeue the amount of elements returned by `f`.
  826. ///
  827. /// This function errors if the receive half of the connection is not open.
  828. ///
  829. /// If the receive half has been gracefully closed (with a FIN packet), `Err(Error::Finished)`
  830. /// is returned. In this case, the previously received data is guaranteed to be complete.
  831. ///
  832. /// In all other cases, `Err(Error::Illegal)` is returned and previously received data (if any)
  833. /// may be incomplete (truncated).
  834. pub fn recv<'b, F, R>(&'b mut self, f: F) -> Result<R>
  835. where F: FnOnce(&'b mut [u8]) -> (usize, R) {
  836. self.recv_impl(|rx_buffer| {
  837. rx_buffer.dequeue_many_with(f)
  838. })
  839. }
  840. /// Dequeue a sequence of received octets, and fill a slice from it.
  841. ///
  842. /// This function returns the amount of octets actually dequeued, which is limited
  843. /// by the amount of occupied space in the receive buffer; down to zero.
  844. ///
  845. /// See also [recv](#method.recv).
  846. pub fn recv_slice(&mut self, data: &mut [u8]) -> Result<usize> {
  847. self.recv_impl(|rx_buffer| {
  848. let size = rx_buffer.dequeue_slice(data);
  849. (size, size)
  850. })
  851. }
  852. /// Peek at a sequence of received octets without removing them from
  853. /// the receive buffer, and return a pointer to it.
  854. ///
  855. /// This function otherwise behaves identically to [recv](#method.recv).
  856. pub fn peek(&mut self, size: usize) -> Result<&[u8]> {
  857. self.recv_error_check()?;
  858. let buffer = self.rx_buffer.get_allocated(0, size);
  859. if !buffer.is_empty() {
  860. #[cfg(any(test, feature = "verbose"))]
  861. net_trace!("{}:{}:{}: rx buffer: peeking at {} octets",
  862. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  863. buffer.len());
  864. }
  865. Ok(buffer)
  866. }
  867. /// Peek at a sequence of received octets without removing them from
  868. /// the receive buffer, and fill a slice from it.
  869. ///
  870. /// This function otherwise behaves identically to [recv_slice](#method.recv_slice).
  871. pub fn peek_slice(&mut self, data: &mut [u8]) -> Result<usize> {
  872. let buffer = self.peek(data.len())?;
  873. let data = &mut data[..buffer.len()];
  874. data.copy_from_slice(buffer);
  875. Ok(buffer.len())
  876. }
  877. /// Return the amount of octets queued in the transmit buffer.
  878. ///
  879. /// Note that the Berkeley sockets interface does not have an equivalent of this API.
  880. pub fn send_queue(&self) -> usize {
  881. self.tx_buffer.len()
  882. }
  883. /// Return the amount of octets queued in the receive buffer. This value can be larger than
  884. /// the slice read by the next `recv` or `peek` call because it includes all queued octets,
  885. /// and not only the octets that may be returned as a contiguous slice.
  886. ///
  887. /// Note that the Berkeley sockets interface does not have an equivalent of this API.
  888. pub fn recv_queue(&self) -> usize {
  889. self.rx_buffer.len()
  890. }
  891. fn set_state(&mut self, state: State) {
  892. if self.state != state {
  893. if self.remote_endpoint.addr.is_unspecified() {
  894. net_trace!("{}:{}: state={}=>{}",
  895. self.meta.handle, self.local_endpoint,
  896. self.state, state);
  897. } else {
  898. net_trace!("{}:{}:{}: state={}=>{}",
  899. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  900. self.state, state);
  901. }
  902. }
  903. self.state = state;
  904. #[cfg(feature = "async")]
  905. {
  906. // Wake all tasks waiting. Even if we haven't received/sent data, this
  907. // is needed because return values of functions may change depending on the state.
  908. // For example, a pending read has to fail with an error if the socket is closed.
  909. self.rx_waker.wake();
  910. self.tx_waker.wake();
  911. }
  912. }
  913. pub(crate) fn reply(ip_repr: &IpRepr, repr: &TcpRepr) -> (IpRepr, TcpRepr<'static>) {
  914. let reply_repr = TcpRepr {
  915. src_port: repr.dst_port,
  916. dst_port: repr.src_port,
  917. control: TcpControl::None,
  918. seq_number: TcpSeqNumber(0),
  919. ack_number: None,
  920. window_len: 0,
  921. window_scale: None,
  922. max_seg_size: None,
  923. sack_permitted: false,
  924. sack_ranges: [None, None, None],
  925. payload: &[]
  926. };
  927. let ip_reply_repr = IpRepr::Unspecified {
  928. src_addr: ip_repr.dst_addr(),
  929. dst_addr: ip_repr.src_addr(),
  930. protocol: IpProtocol::Tcp,
  931. payload_len: reply_repr.buffer_len(),
  932. hop_limit: 64
  933. };
  934. (ip_reply_repr, reply_repr)
  935. }
  936. pub(crate) fn rst_reply(ip_repr: &IpRepr, repr: &TcpRepr) -> (IpRepr, TcpRepr<'static>) {
  937. debug_assert!(repr.control != TcpControl::Rst);
  938. let (ip_reply_repr, mut reply_repr) = Self::reply(ip_repr, repr);
  939. // See https://www.snellman.net/blog/archive/2016-02-01-tcp-rst/ for explanation
  940. // of why we sometimes send an RST and sometimes an RST|ACK
  941. reply_repr.control = TcpControl::Rst;
  942. reply_repr.seq_number = repr.ack_number.unwrap_or_default();
  943. if repr.control == TcpControl::Syn {
  944. reply_repr.ack_number = Some(repr.seq_number + repr.segment_len());
  945. }
  946. (ip_reply_repr, reply_repr)
  947. }
  948. fn ack_reply(&mut self, ip_repr: &IpRepr, repr: &TcpRepr) -> (IpRepr, TcpRepr<'static>) {
  949. let (mut ip_reply_repr, mut reply_repr) = Self::reply(ip_repr, repr);
  950. // From RFC 793:
  951. // [...] an empty acknowledgment segment containing the current send-sequence number
  952. // and an acknowledgment indicating the next sequence number expected
  953. // to be received.
  954. reply_repr.seq_number = self.remote_last_seq;
  955. reply_repr.ack_number = Some(self.remote_seq_no + self.rx_buffer.len());
  956. self.remote_last_ack = reply_repr.ack_number;
  957. // From RFC 1323:
  958. // The window field [...] of every outgoing segment, with the exception of SYN
  959. // segments, is right-shifted by [advertised scale value] bits[...]
  960. reply_repr.window_len = self.scaled_window();
  961. self.remote_last_win = reply_repr.window_len;
  962. // If the remote supports selective acknowledgement, add the option to the outgoing
  963. // segment.
  964. if self.remote_has_sack {
  965. net_debug!("sending sACK option with current assembler ranges");
  966. // RFC 2018: The first SACK block (i.e., the one immediately following the kind and
  967. // length fields in the option) MUST specify the contiguous block of data containing
  968. // the segment which triggered this ACK, unless that segment advanced the
  969. // Acknowledgment Number field in the header.
  970. reply_repr.sack_ranges[0] = None;
  971. if let Some(last_seg_seq) = self.local_rx_last_seq.map(|s| s.0 as u32) {
  972. reply_repr.sack_ranges[0] = self.assembler.iter_data(
  973. reply_repr.ack_number.map(|s| s.0 as usize).unwrap_or(0))
  974. .map(|(left, right)| (left as u32, right as u32))
  975. .find(|(left, right)| *left <= last_seg_seq && *right >= last_seg_seq);
  976. }
  977. if reply_repr.sack_ranges[0].is_none() {
  978. // The matching segment was removed from the assembler, meaning the acknowledgement
  979. // number has advanced, or there was no previous sACK.
  980. //
  981. // While the RFC says we SHOULD keep a list of reported sACK ranges, and iterate
  982. // through those, that is currently infeasable. Instead, we offer the range with
  983. // the lowest sequence number (if one exists) to hint at what segments would
  984. // most quickly advance the acknowledgement number.
  985. reply_repr.sack_ranges[0] = self.assembler.iter_data(
  986. reply_repr.ack_number.map(|s| s.0 as usize).unwrap_or(0))
  987. .map(|(left, right)| (left as u32, right as u32))
  988. .next();
  989. }
  990. }
  991. // Since the sACK option may have changed the length of the payload, update that.
  992. ip_reply_repr.set_payload_len(reply_repr.buffer_len());
  993. (ip_reply_repr, reply_repr)
  994. }
  995. pub(crate) fn accepts(&self, ip_repr: &IpRepr, repr: &TcpRepr) -> bool {
  996. if self.state == State::Closed { return false }
  997. // If we're still listening for SYNs and the packet has an ACK, it cannot
  998. // be destined to this socket, but another one may well listen on the same
  999. // local endpoint.
  1000. if self.state == State::Listen && repr.ack_number.is_some() { return false }
  1001. // Reject packets with a wrong destination.
  1002. if self.local_endpoint.port != repr.dst_port { return false }
  1003. if !self.local_endpoint.addr.is_unspecified() &&
  1004. self.local_endpoint.addr != ip_repr.dst_addr() { return false }
  1005. // Reject packets from a source to which we aren't connected.
  1006. if self.remote_endpoint.port != 0 &&
  1007. self.remote_endpoint.port != repr.src_port { return false }
  1008. if !self.remote_endpoint.addr.is_unspecified() &&
  1009. self.remote_endpoint.addr != ip_repr.src_addr() { return false }
  1010. true
  1011. }
  1012. pub(crate) fn process(&mut self, timestamp: Instant, ip_repr: &IpRepr, repr: &TcpRepr) ->
  1013. Result<Option<(IpRepr, TcpRepr<'static>)>> {
  1014. debug_assert!(self.accepts(ip_repr, repr));
  1015. // Consider how much the sequence number space differs from the transmit buffer space.
  1016. let (sent_syn, sent_fin) = match self.state {
  1017. // In SYN-SENT or SYN-RECEIVED, we've just sent a SYN.
  1018. State::SynSent | State::SynReceived => (true, false),
  1019. // In FIN-WAIT-1, LAST-ACK, or CLOSING, we've just sent a FIN.
  1020. State::FinWait1 | State::LastAck | State::Closing => (false, true),
  1021. // In all other states we've already got acknowledgemetns for
  1022. // all of the control flags we sent.
  1023. _ => (false, false)
  1024. };
  1025. let control_len = (sent_syn as usize) + (sent_fin as usize);
  1026. // Reject unacceptable acknowledgements.
  1027. match (self.state, repr) {
  1028. // An RST received in response to initial SYN is acceptable if it acknowledges
  1029. // the initial SYN.
  1030. (State::SynSent, &TcpRepr {
  1031. control: TcpControl::Rst, ack_number: None, ..
  1032. }) => {
  1033. net_debug!("{}:{}:{}: unacceptable RST (expecting RST|ACK) \
  1034. in response to initial SYN",
  1035. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1036. return Err(Error::Dropped)
  1037. }
  1038. (State::SynSent, &TcpRepr {
  1039. control: TcpControl::Rst, ack_number: Some(ack_number), ..
  1040. }) => {
  1041. if ack_number != self.local_seq_no + 1 {
  1042. net_debug!("{}:{}:{}: unacceptable RST|ACK in response to initial SYN",
  1043. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1044. return Err(Error::Dropped)
  1045. }
  1046. }
  1047. // Any other RST need only have a valid sequence number.
  1048. (_, &TcpRepr { control: TcpControl::Rst, .. }) => (),
  1049. // The initial SYN cannot contain an acknowledgement.
  1050. (State::Listen, &TcpRepr { ack_number: None, .. }) => (),
  1051. // This case is handled above.
  1052. (State::Listen, &TcpRepr { ack_number: Some(_), .. }) => unreachable!(),
  1053. // Every packet after the initial SYN must be an acknowledgement.
  1054. (_, &TcpRepr { ack_number: None, .. }) => {
  1055. net_debug!("{}:{}:{}: expecting an ACK",
  1056. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1057. return Err(Error::Dropped)
  1058. }
  1059. // Any ACK in the SYN-SENT state must have the SYN flag set.
  1060. (State::SynSent, &TcpRepr {
  1061. control: TcpControl::None, ack_number: Some(_), ..
  1062. }) => {
  1063. net_debug!("{}:{}:{}: expecting a SYN|ACK",
  1064. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1065. self.abort();
  1066. return Err(Error::Dropped)
  1067. }
  1068. // Every acknowledgement must be for transmitted but unacknowledged data.
  1069. (_, &TcpRepr { ack_number: Some(ack_number), .. }) => {
  1070. let unacknowledged = self.tx_buffer.len() + control_len;
  1071. if ack_number < self.local_seq_no {
  1072. net_debug!("{}:{}:{}: duplicate ACK ({} not in {}...{})",
  1073. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1074. ack_number, self.local_seq_no, self.local_seq_no + unacknowledged);
  1075. return Err(Error::Dropped)
  1076. }
  1077. if ack_number > self.local_seq_no + unacknowledged {
  1078. net_debug!("{}:{}:{}: unacceptable ACK ({} not in {}...{})",
  1079. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1080. ack_number, self.local_seq_no, self.local_seq_no + unacknowledged);
  1081. return Ok(Some(self.ack_reply(ip_repr, &repr)))
  1082. }
  1083. }
  1084. }
  1085. let window_start = self.remote_seq_no + self.rx_buffer.len();
  1086. let window_end = self.remote_seq_no + self.rx_buffer.capacity();
  1087. let segment_start = repr.seq_number;
  1088. let segment_end = repr.seq_number + repr.segment_len();
  1089. let payload_offset;
  1090. match self.state {
  1091. // In LISTEN and SYN-SENT states, we have not yet synchronized with the remote end.
  1092. State::Listen | State::SynSent =>
  1093. payload_offset = 0,
  1094. // In all other states, segments must occupy a valid portion of the receive window.
  1095. _ => {
  1096. let mut segment_in_window = true;
  1097. if window_start == window_end && segment_start != segment_end {
  1098. net_debug!("{}:{}:{}: non-zero-length segment with zero receive window, \
  1099. will only send an ACK",
  1100. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1101. segment_in_window = false;
  1102. }
  1103. if segment_start == segment_end && segment_end == window_start - 1 {
  1104. net_debug!("{}:{}:{}: received a keep-alive or window probe packet, \
  1105. will send an ACK",
  1106. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1107. segment_in_window = false;
  1108. } else if !((window_start <= segment_start && segment_start <= window_end) &&
  1109. (window_start <= segment_end && segment_end <= window_end)) {
  1110. net_debug!("{}:{}:{}: segment not in receive window \
  1111. ({}..{} not intersecting {}..{}), will send challenge ACK",
  1112. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1113. segment_start, segment_end, window_start, window_end);
  1114. segment_in_window = false;
  1115. }
  1116. if segment_in_window {
  1117. // We've checked that segment_start >= window_start above.
  1118. payload_offset = (segment_start - window_start) as usize;
  1119. self.local_rx_last_seq = Some(repr.seq_number);
  1120. } else {
  1121. // If we're in the TIME-WAIT state, restart the TIME-WAIT timeout, since
  1122. // the remote end may not have realized we've closed the connection.
  1123. if self.state == State::TimeWait {
  1124. self.timer.set_for_close(timestamp);
  1125. }
  1126. return Ok(Some(self.ack_reply(ip_repr, &repr)))
  1127. }
  1128. }
  1129. }
  1130. // Compute the amount of acknowledged octets, removing the SYN and FIN bits
  1131. // from the sequence space.
  1132. let mut ack_len = 0;
  1133. let mut ack_of_fin = false;
  1134. if repr.control != TcpControl::Rst {
  1135. if let Some(ack_number) = repr.ack_number {
  1136. ack_len = ack_number - self.local_seq_no;
  1137. // There could have been no data sent before the SYN, so we always remove it
  1138. // from the sequence space.
  1139. if sent_syn {
  1140. ack_len -= 1
  1141. }
  1142. // We could've sent data before the FIN, so only remove FIN from the sequence
  1143. // space if all of that data is acknowledged.
  1144. if sent_fin && self.tx_buffer.len() + 1 == ack_len {
  1145. ack_len -= 1;
  1146. net_trace!("{}:{}:{}: received ACK of FIN",
  1147. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1148. ack_of_fin = true;
  1149. }
  1150. self.rtte.on_ack(timestamp, ack_number);
  1151. }
  1152. }
  1153. // Disregard control flags we don't care about or shouldn't act on yet.
  1154. let mut control = repr.control;
  1155. control = control.quash_psh();
  1156. // If a FIN is received at the end of the current segment but the start of the segment
  1157. // is not at the start of the receive window, disregard this FIN.
  1158. if control == TcpControl::Fin && window_start != segment_start {
  1159. control = TcpControl::None;
  1160. }
  1161. // Validate and update the state.
  1162. match (self.state, control) {
  1163. // RSTs are not accepted in the LISTEN state.
  1164. (State::Listen, TcpControl::Rst) =>
  1165. return Err(Error::Dropped),
  1166. // RSTs in SYN-RECEIVED flip the socket back to the LISTEN state.
  1167. (State::SynReceived, TcpControl::Rst) => {
  1168. net_trace!("{}:{}:{}: received RST",
  1169. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1170. self.local_endpoint.addr = self.listen_address;
  1171. self.remote_endpoint = IpEndpoint::default();
  1172. self.set_state(State::Listen);
  1173. return Ok(None)
  1174. }
  1175. // RSTs in any other state close the socket.
  1176. (_, TcpControl::Rst) => {
  1177. net_trace!("{}:{}:{}: received RST",
  1178. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1179. self.set_state(State::Closed);
  1180. self.local_endpoint = IpEndpoint::default();
  1181. self.remote_endpoint = IpEndpoint::default();
  1182. return Ok(None)
  1183. }
  1184. // SYN packets in the LISTEN state change it to SYN-RECEIVED.
  1185. (State::Listen, TcpControl::Syn) => {
  1186. net_trace!("{}:{}: received SYN",
  1187. self.meta.handle, self.local_endpoint);
  1188. self.local_endpoint = IpEndpoint::new(ip_repr.dst_addr(), repr.dst_port);
  1189. self.remote_endpoint = IpEndpoint::new(ip_repr.src_addr(), repr.src_port);
  1190. // FIXME: use something more secure here
  1191. self.local_seq_no = TcpSeqNumber(-repr.seq_number.0);
  1192. self.remote_seq_no = repr.seq_number + 1;
  1193. self.remote_last_seq = self.local_seq_no;
  1194. self.remote_has_sack = repr.sack_permitted;
  1195. if let Some(max_seg_size) = repr.max_seg_size {
  1196. self.remote_mss = max_seg_size as usize
  1197. }
  1198. self.remote_win_scale = repr.window_scale;
  1199. // No window scaling means don't do any window shifting
  1200. if self.remote_win_scale.is_none() {
  1201. self.remote_win_shift = 0;
  1202. }
  1203. self.set_state(State::SynReceived);
  1204. self.timer.set_for_idle(timestamp, self.keep_alive);
  1205. }
  1206. // ACK packets in the SYN-RECEIVED state change it to ESTABLISHED.
  1207. (State::SynReceived, TcpControl::None) => {
  1208. self.set_state(State::Established);
  1209. self.timer.set_for_idle(timestamp, self.keep_alive);
  1210. }
  1211. // FIN packets in the SYN-RECEIVED state change it to CLOSE-WAIT.
  1212. // It's not obvious from RFC 793 that this is permitted, but
  1213. // 7th and 8th steps in the "SEGMENT ARRIVES" event describe this behavior.
  1214. (State::SynReceived, TcpControl::Fin) => {
  1215. self.remote_seq_no += 1;
  1216. self.rx_fin_received = true;
  1217. self.set_state(State::CloseWait);
  1218. self.timer.set_for_idle(timestamp, self.keep_alive);
  1219. }
  1220. // SYN|ACK packets in the SYN-SENT state change it to ESTABLISHED.
  1221. (State::SynSent, TcpControl::Syn) => {
  1222. net_trace!("{}:{}:{}: received SYN|ACK",
  1223. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1224. self.local_endpoint = IpEndpoint::new(ip_repr.dst_addr(), repr.dst_port);
  1225. self.remote_seq_no = repr.seq_number + 1;
  1226. self.remote_last_seq = self.local_seq_no + 1;
  1227. self.remote_last_ack = Some(repr.seq_number);
  1228. if let Some(max_seg_size) = repr.max_seg_size {
  1229. self.remote_mss = max_seg_size as usize;
  1230. }
  1231. self.set_state(State::Established);
  1232. self.timer.set_for_idle(timestamp, self.keep_alive);
  1233. }
  1234. // ACK packets in ESTABLISHED state reset the retransmit timer,
  1235. // except for duplicate ACK packets which preserve it.
  1236. (State::Established, TcpControl::None) => {
  1237. if !self.timer.is_retransmit() || ack_len != 0 {
  1238. self.timer.set_for_idle(timestamp, self.keep_alive);
  1239. }
  1240. },
  1241. // FIN packets in ESTABLISHED state indicate the remote side has closed.
  1242. (State::Established, TcpControl::Fin) => {
  1243. self.remote_seq_no += 1;
  1244. self.rx_fin_received = true;
  1245. self.set_state(State::CloseWait);
  1246. self.timer.set_for_idle(timestamp, self.keep_alive);
  1247. }
  1248. // ACK packets in FIN-WAIT-1 state change it to FIN-WAIT-2, if we've already
  1249. // sent everything in the transmit buffer. If not, they reset the retransmit timer.
  1250. (State::FinWait1, TcpControl::None) => {
  1251. if ack_of_fin {
  1252. self.set_state(State::FinWait2);
  1253. }
  1254. self.timer.set_for_idle(timestamp, self.keep_alive);
  1255. }
  1256. // FIN packets in FIN-WAIT-1 state change it to CLOSING, or to TIME-WAIT
  1257. // if they also acknowledge our FIN.
  1258. (State::FinWait1, TcpControl::Fin) => {
  1259. self.remote_seq_no += 1;
  1260. self.rx_fin_received = true;
  1261. if ack_of_fin {
  1262. self.set_state(State::TimeWait);
  1263. self.timer.set_for_close(timestamp);
  1264. } else {
  1265. self.set_state(State::Closing);
  1266. self.timer.set_for_idle(timestamp, self.keep_alive);
  1267. }
  1268. }
  1269. // Data packets in FIN-WAIT-2 reset the idle timer.
  1270. (State::FinWait2, TcpControl::None) => {
  1271. self.timer.set_for_idle(timestamp, self.keep_alive);
  1272. }
  1273. // FIN packets in FIN-WAIT-2 state change it to TIME-WAIT.
  1274. (State::FinWait2, TcpControl::Fin) => {
  1275. self.remote_seq_no += 1;
  1276. self.rx_fin_received = true;
  1277. self.set_state(State::TimeWait);
  1278. self.timer.set_for_close(timestamp);
  1279. }
  1280. // ACK packets in CLOSING state change it to TIME-WAIT.
  1281. (State::Closing, TcpControl::None) => {
  1282. if ack_of_fin {
  1283. self.set_state(State::TimeWait);
  1284. self.timer.set_for_close(timestamp);
  1285. } else {
  1286. self.timer.set_for_idle(timestamp, self.keep_alive);
  1287. }
  1288. }
  1289. // ACK packets in CLOSE-WAIT state reset the retransmit timer.
  1290. (State::CloseWait, TcpControl::None) => {
  1291. self.timer.set_for_idle(timestamp, self.keep_alive);
  1292. }
  1293. // ACK packets in LAST-ACK state change it to CLOSED.
  1294. (State::LastAck, TcpControl::None) => {
  1295. if ack_of_fin {
  1296. // Clear the remote endpoint, or we'll send an RST there.
  1297. self.set_state(State::Closed);
  1298. self.local_endpoint = IpEndpoint::default();
  1299. self.remote_endpoint = IpEndpoint::default();
  1300. } else {
  1301. self.timer.set_for_idle(timestamp, self.keep_alive);
  1302. }
  1303. }
  1304. _ => {
  1305. net_debug!("{}:{}:{}: unexpected packet {}",
  1306. self.meta.handle, self.local_endpoint, self.remote_endpoint, repr);
  1307. return Err(Error::Dropped)
  1308. }
  1309. }
  1310. // Update remote state.
  1311. self.remote_last_ts = Some(timestamp);
  1312. // RFC 1323: The window field (SEG.WND) in the header of every incoming segment, with the
  1313. // exception of SYN segments, is left-shifted by Snd.Wind.Scale bits before updating SND.WND.
  1314. self.remote_win_len = (repr.window_len as usize) << (self.remote_win_scale.unwrap_or(0) as usize);
  1315. if ack_len > 0 {
  1316. // Dequeue acknowledged octets.
  1317. debug_assert!(self.tx_buffer.len() >= ack_len);
  1318. net_trace!("{}:{}:{}: tx buffer: dequeueing {} octets (now {})",
  1319. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1320. ack_len, self.tx_buffer.len() - ack_len);
  1321. self.tx_buffer.dequeue_allocated(ack_len);
  1322. // There's new room available in tx_buffer, wake the waiting task if any.
  1323. #[cfg(feature = "async")]
  1324. self.tx_waker.wake();
  1325. }
  1326. if let Some(ack_number) = repr.ack_number {
  1327. // TODO: When flow control is implemented,
  1328. // refractor the following block within that implementation
  1329. // Detect and react to duplicate ACKs by:
  1330. // 1. Check if duplicate ACK and change self.local_rx_dup_acks accordingly
  1331. // 2. If exactly 3 duplicate ACKs recived, set for fast retransmit
  1332. // 3. Update the last received ACK (self.local_rx_last_ack)
  1333. match self.local_rx_last_ack {
  1334. // Duplicate ACK if payload empty and ACK doesn't move send window ->
  1335. // Increment duplicate ACK count and set for retransmit if we just recived
  1336. // the third duplicate ACK
  1337. Some(ref last_rx_ack) if
  1338. repr.payload.is_empty() &&
  1339. *last_rx_ack == ack_number &&
  1340. ack_number < self.remote_last_seq => {
  1341. // Increment duplicate ACK count
  1342. self.local_rx_dup_acks = self.local_rx_dup_acks.saturating_add(1);
  1343. net_debug!("{}:{}:{}: received duplicate ACK for seq {} (duplicate nr {}{})",
  1344. self.meta.handle, self.local_endpoint, self.remote_endpoint, ack_number,
  1345. self.local_rx_dup_acks, if self.local_rx_dup_acks == u8::max_value() { "+" } else { "" });
  1346. if self.local_rx_dup_acks == 3 {
  1347. self.timer.set_for_fast_retransmit();
  1348. net_debug!("{}:{}:{}: started fast retransmit",
  1349. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1350. }
  1351. },
  1352. // No duplicate ACK -> Reset state and update last recived ACK
  1353. _ => {
  1354. if self.local_rx_dup_acks > 0 {
  1355. self.local_rx_dup_acks = 0;
  1356. net_debug!("{}:{}:{}: reset duplicate ACK count",
  1357. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1358. }
  1359. self.local_rx_last_ack = Some(ack_number);
  1360. }
  1361. };
  1362. // We've processed everything in the incoming segment, so advance the local
  1363. // sequence number past it.
  1364. self.local_seq_no = ack_number;
  1365. // During retransmission, if an earlier segment got lost but later was
  1366. // successfully received, self.local_seq_no can move past self.remote_last_seq.
  1367. // Do not attempt to retransmit the latter segments; not only this is pointless
  1368. // in theory but also impossible in practice, since they have been already
  1369. // deallocated from the buffer.
  1370. if self.remote_last_seq < self.local_seq_no {
  1371. self.remote_last_seq = self.local_seq_no
  1372. }
  1373. }
  1374. let payload_len = repr.payload.len();
  1375. if payload_len == 0 { return Ok(None) }
  1376. let assembler_was_empty = self.assembler.is_empty();
  1377. // Try adding payload octets to the assembler.
  1378. match self.assembler.add(payload_offset, payload_len) {
  1379. Ok(()) => {
  1380. debug_assert!(self.assembler.total_size() == self.rx_buffer.capacity());
  1381. // Place payload octets into the buffer.
  1382. net_trace!("{}:{}:{}: rx buffer: receiving {} octets at offset {}",
  1383. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1384. payload_len, payload_offset);
  1385. self.rx_buffer.write_unallocated(payload_offset, repr.payload);
  1386. }
  1387. Err(_) => {
  1388. net_debug!("{}:{}:{}: assembler: too many holes to add {} octets at offset {}",
  1389. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1390. payload_len, payload_offset);
  1391. return Err(Error::Dropped)
  1392. }
  1393. }
  1394. if let Some(contig_len) = self.assembler.remove_front() {
  1395. debug_assert!(self.assembler.total_size() == self.rx_buffer.capacity());
  1396. // Enqueue the contiguous data octets in front of the buffer.
  1397. net_trace!("{}:{}:{}: rx buffer: enqueueing {} octets (now {})",
  1398. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1399. contig_len, self.rx_buffer.len() + contig_len);
  1400. self.rx_buffer.enqueue_unallocated(contig_len);
  1401. // There's new data in rx_buffer, notify waiting task if any.
  1402. #[cfg(feature = "async")]
  1403. self.rx_waker.wake();
  1404. }
  1405. if !self.assembler.is_empty() {
  1406. // Print the ranges recorded in the assembler.
  1407. net_trace!("{}:{}:{}: assembler: {}",
  1408. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1409. self.assembler);
  1410. }
  1411. // Handle delayed acks
  1412. if let Some(ack_delay) = self.ack_delay {
  1413. if self.ack_to_transmit() || self.window_to_update() {
  1414. self.ack_delay_until = match self.ack_delay_until {
  1415. None => {
  1416. net_trace!("{}:{}:{}: starting delayed ack timer",
  1417. self.meta.handle, self.local_endpoint, self.remote_endpoint
  1418. );
  1419. Some(timestamp + ack_delay)
  1420. }
  1421. // RFC1122 says "in a stream of full-sized segments there SHOULD be an ACK
  1422. // for at least every second segment".
  1423. // For now, we send an ACK every second received packet, full-sized or not.
  1424. Some(_) => {
  1425. net_trace!("{}:{}:{}: delayed ack timer already started, forcing expiry",
  1426. self.meta.handle, self.local_endpoint, self.remote_endpoint
  1427. );
  1428. None
  1429. }
  1430. };
  1431. }
  1432. }
  1433. // Per RFC 5681, we should send an immediate ACK when either:
  1434. // 1) an out-of-order segment is received, or
  1435. // 2) a segment arrives that fills in all or part of a gap in sequence space.
  1436. if !self.assembler.is_empty() || !assembler_was_empty {
  1437. // Note that we change the transmitter state here.
  1438. // This is fine because smoltcp assumes that it can always transmit zero or one
  1439. // packets for every packet it receives.
  1440. net_trace!("{}:{}:{}: ACKing incoming segment",
  1441. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1442. Ok(Some(self.ack_reply(ip_repr, &repr)))
  1443. } else {
  1444. Ok(None)
  1445. }
  1446. }
  1447. fn timed_out(&self, timestamp: Instant) -> bool {
  1448. match (self.remote_last_ts, self.timeout) {
  1449. (Some(remote_last_ts), Some(timeout)) =>
  1450. timestamp >= remote_last_ts + timeout,
  1451. (_, _) =>
  1452. false
  1453. }
  1454. }
  1455. fn seq_to_transmit(&self) -> bool {
  1456. // We can send data if we have data that:
  1457. // - hasn't been sent before
  1458. // - fits in the remote window
  1459. let can_data = self.remote_last_seq
  1460. < self.local_seq_no + core::cmp::min(self.remote_win_len, self.tx_buffer.len());
  1461. // Do we have to send a FIN?
  1462. let want_fin = match self.state {
  1463. State::FinWait1 => true,
  1464. State::Closing => true,
  1465. State::LastAck => true,
  1466. _ => false,
  1467. };
  1468. // Can we actually send the FIN? We can send it if:
  1469. // 1. We have unsent data that fits in the remote window.
  1470. // 2. We have no unsent data.
  1471. // This condition matches only if #2, because #1 is already covered by can_data and we're ORing them.
  1472. let can_fin =
  1473. want_fin && self.remote_last_seq == self.local_seq_no + self.tx_buffer.len();
  1474. can_data || can_fin
  1475. }
  1476. fn delayed_ack_expired(&self, timestamp: Instant) -> bool {
  1477. match self.ack_delay_until {
  1478. None => true,
  1479. Some(t) => t <= timestamp,
  1480. }
  1481. }
  1482. fn ack_to_transmit(&self) -> bool {
  1483. if let Some(remote_last_ack) = self.remote_last_ack {
  1484. remote_last_ack < self.remote_seq_no + self.rx_buffer.len()
  1485. } else {
  1486. false
  1487. }
  1488. }
  1489. fn window_to_update(&self) -> bool {
  1490. match self.state {
  1491. State::SynSent | State::SynReceived | State::Established | State::FinWait1 | State::FinWait2 =>
  1492. (self.rx_buffer.window() >> self.remote_win_shift) as u16 > self.remote_last_win,
  1493. _ => false,
  1494. }
  1495. }
  1496. pub(crate) fn dispatch<F>(&mut self, timestamp: Instant, ip_mtu: usize,
  1497. emit: F) -> Result<()>
  1498. where F: FnOnce((IpRepr, TcpRepr)) -> Result<()> {
  1499. if !self.remote_endpoint.is_specified() { return Err(Error::Exhausted) }
  1500. if self.remote_last_ts.is_none() {
  1501. // We get here in exactly two cases:
  1502. // 1) This socket just transitioned into SYN-SENT.
  1503. // 2) This socket had an empty transmit buffer and some data was added there.
  1504. // Both are similar in that the socket has been quiet for an indefinite
  1505. // period of time, it isn't anymore, and the local endpoint is talking.
  1506. // So, we start counting the timeout not from the last received packet
  1507. // but from the first transmitted one.
  1508. self.remote_last_ts = Some(timestamp);
  1509. }
  1510. // Check if any state needs to be changed because of a timer.
  1511. if self.timed_out(timestamp) {
  1512. // If a timeout expires, we should abort the connection.
  1513. net_debug!("{}:{}:{}: timeout exceeded",
  1514. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1515. self.set_state(State::Closed);
  1516. } else if !self.seq_to_transmit() {
  1517. if let Some(retransmit_delta) = self.timer.should_retransmit(timestamp) {
  1518. // If a retransmit timer expired, we should resend data starting at the last ACK.
  1519. net_debug!("{}:{}:{}: retransmitting at t+{}",
  1520. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1521. retransmit_delta);
  1522. self.remote_last_seq = self.local_seq_no;
  1523. self.rtte.on_retransmit();
  1524. }
  1525. }
  1526. // Decide whether we're sending a packet.
  1527. if self.seq_to_transmit() {
  1528. // If we have data to transmit and it fits into partner's window, do it.
  1529. net_trace!("{}:{}:{}: outgoing segment will send data or flags",
  1530. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1531. } else if self.ack_to_transmit() && self.delayed_ack_expired(timestamp) {
  1532. // If we have data to acknowledge, do it.
  1533. net_trace!("{}:{}:{}: outgoing segment will acknowledge",
  1534. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1535. } else if self.window_to_update() && self.delayed_ack_expired(timestamp) {
  1536. // If we have window length increase to advertise, do it.
  1537. net_trace!("{}:{}:{}: outgoing segment will update window",
  1538. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1539. } else if self.state == State::Closed {
  1540. // If we need to abort the connection, do it.
  1541. net_trace!("{}:{}:{}: outgoing segment will abort connection",
  1542. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1543. } else if self.timer.should_retransmit(timestamp).is_some() {
  1544. // If we have packets to retransmit, do it.
  1545. net_trace!("{}:{}:{}: retransmit timer expired",
  1546. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1547. } else if self.timer.should_keep_alive(timestamp) {
  1548. // If we need to transmit a keep-alive packet, do it.
  1549. net_trace!("{}:{}:{}: keep-alive timer expired",
  1550. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1551. } else if self.timer.should_close(timestamp) {
  1552. // If we have spent enough time in the TIME-WAIT state, close the socket.
  1553. net_trace!("{}:{}:{}: TIME-WAIT timer expired",
  1554. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1555. self.reset();
  1556. return Err(Error::Exhausted)
  1557. } else {
  1558. return Err(Error::Exhausted)
  1559. }
  1560. // Construct the lowered IP representation.
  1561. // We might need this to calculate the MSS, so do it early.
  1562. let mut ip_repr = IpRepr::Unspecified {
  1563. src_addr: self.local_endpoint.addr,
  1564. dst_addr: self.remote_endpoint.addr,
  1565. protocol: IpProtocol::Tcp,
  1566. hop_limit: self.hop_limit.unwrap_or(64),
  1567. payload_len: 0
  1568. }.lower(&[])?;
  1569. // Construct the basic TCP representation, an empty ACK packet.
  1570. // We'll adjust this to be more specific as needed.
  1571. let mut repr = TcpRepr {
  1572. src_port: self.local_endpoint.port,
  1573. dst_port: self.remote_endpoint.port,
  1574. control: TcpControl::None,
  1575. seq_number: self.remote_last_seq,
  1576. ack_number: Some(self.remote_seq_no + self.rx_buffer.len()),
  1577. window_len: self.scaled_window(),
  1578. window_scale: None,
  1579. max_seg_size: None,
  1580. sack_permitted: false,
  1581. sack_ranges: [None, None, None],
  1582. payload: &[]
  1583. };
  1584. match self.state {
  1585. // We transmit an RST in the CLOSED state. If we ended up in the CLOSED state
  1586. // with a specified endpoint, it means that the socket was aborted.
  1587. State::Closed => {
  1588. repr.control = TcpControl::Rst;
  1589. }
  1590. // We never transmit anything in the LISTEN state.
  1591. State::Listen => return Err(Error::Exhausted),
  1592. // We transmit a SYN in the SYN-SENT state.
  1593. // We transmit a SYN|ACK in the SYN-RECEIVED state.
  1594. State::SynSent | State::SynReceived => {
  1595. repr.control = TcpControl::Syn;
  1596. if self.state == State::SynSent {
  1597. repr.ack_number = None;
  1598. repr.window_scale = Some(self.remote_win_shift);
  1599. repr.sack_permitted = true;
  1600. } else {
  1601. repr.sack_permitted = self.remote_has_sack;
  1602. repr.window_scale = self.remote_win_scale.map(
  1603. |_| self.remote_win_shift);
  1604. }
  1605. }
  1606. // We transmit data in all states where we may have data in the buffer,
  1607. // or the transmit half of the connection is still open.
  1608. State::Established | State::FinWait1 | State::Closing | State::CloseWait | State::LastAck => {
  1609. // Extract as much data as the remote side can receive in this packet
  1610. // from the transmit buffer.
  1611. // Right edge of window, ie the max sequence number we're allowed to send.
  1612. let win_right_edge = self.local_seq_no + self.remote_win_len;
  1613. // Max amount of octets we're allowed to send according to the remote window.
  1614. let win_limit = if win_right_edge >= self.remote_last_seq {
  1615. win_right_edge - self.remote_last_seq
  1616. } else {
  1617. // This can happen if we've sent some data and later the remote side
  1618. // has shrunk its window so that data is no longer inside the window.
  1619. // This should be very rare and is strongly discouraged by the RFCs,
  1620. // but it does happen in practice.
  1621. // http://www.tcpipguide.com/free/t_TCPWindowManagementIssues.htm
  1622. 0
  1623. };
  1624. // Maximum size we're allowed to send. This can be limited by 3 factors:
  1625. // 1. remote window
  1626. // 2. MSS the remote is willing to accept, probably determined by their MTU
  1627. // 3. MSS we can send, determined by our MTU.
  1628. let size = win_limit
  1629. .min(self.remote_mss)
  1630. .min(ip_mtu - ip_repr.buffer_len() - repr.mss_header_len());
  1631. let offset = self.remote_last_seq - self.local_seq_no;
  1632. repr.payload = self.tx_buffer.get_allocated(offset, size);
  1633. // If we've sent everything we had in the buffer, follow it with the PSH or FIN
  1634. // flags, depending on whether the transmit half of the connection is open.
  1635. if offset + repr.payload.len() == self.tx_buffer.len() {
  1636. match self.state {
  1637. State::FinWait1 | State::LastAck | State::Closing =>
  1638. repr.control = TcpControl::Fin,
  1639. State::Established | State::CloseWait if !repr.payload.is_empty() =>
  1640. repr.control = TcpControl::Psh,
  1641. _ => ()
  1642. }
  1643. }
  1644. }
  1645. // In FIN-WAIT-2 and TIME-WAIT states we may only transmit ACKs for incoming data or FIN
  1646. State::FinWait2 | State::TimeWait => {}
  1647. }
  1648. // There might be more than one reason to send a packet. E.g. the keep-alive timer
  1649. // has expired, and we also have data in transmit buffer. Since any packet that occupies
  1650. // sequence space will elicit an ACK, we only need to send an explicit packet if we
  1651. // couldn't fill the sequence space with anything.
  1652. let is_keep_alive;
  1653. if self.timer.should_keep_alive(timestamp) && repr.is_empty() {
  1654. repr.seq_number = repr.seq_number - 1;
  1655. repr.payload = b"\x00"; // RFC 1122 says we should do this
  1656. is_keep_alive = true;
  1657. } else {
  1658. is_keep_alive = false;
  1659. }
  1660. // Trace a summary of what will be sent.
  1661. if is_keep_alive {
  1662. net_trace!("{}:{}:{}: sending a keep-alive",
  1663. self.meta.handle, self.local_endpoint, self.remote_endpoint);
  1664. } else if !repr.payload.is_empty() {
  1665. net_trace!("{}:{}:{}: tx buffer: sending {} octets at offset {}",
  1666. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1667. repr.payload.len(), self.remote_last_seq - self.local_seq_no);
  1668. }
  1669. if repr.control != TcpControl::None || repr.payload.is_empty() {
  1670. let flags =
  1671. match (repr.control, repr.ack_number) {
  1672. (TcpControl::Syn, None) => "SYN",
  1673. (TcpControl::Syn, Some(_)) => "SYN|ACK",
  1674. (TcpControl::Fin, Some(_)) => "FIN|ACK",
  1675. (TcpControl::Rst, Some(_)) => "RST|ACK",
  1676. (TcpControl::Psh, Some(_)) => "PSH|ACK",
  1677. (TcpControl::None, Some(_)) => "ACK",
  1678. _ => "<unreachable>"
  1679. };
  1680. net_trace!("{}:{}:{}: sending {}",
  1681. self.meta.handle, self.local_endpoint, self.remote_endpoint,
  1682. flags);
  1683. }
  1684. if repr.control == TcpControl::Syn {
  1685. // Fill the MSS option. See RFC 6691 for an explanation of this calculation.
  1686. let mut max_segment_size = ip_mtu;
  1687. max_segment_size -= ip_repr.buffer_len();
  1688. max_segment_size -= repr.mss_header_len();
  1689. repr.max_seg_size = Some(max_segment_size as u16);
  1690. }
  1691. // Actually send the packet. If this succeeds, it means the packet is in
  1692. // the device buffer, and its transmission is imminent. If not, we might have
  1693. // a number of problems, e.g. we need neighbor discovery.
  1694. //
  1695. // Bailing out if the packet isn't placed in the device buffer allows us
  1696. // to not waste time waiting for the retransmit timer on packets that we know
  1697. // for sure will not be successfully transmitted.
  1698. ip_repr.set_payload_len(repr.buffer_len());
  1699. emit((ip_repr, repr))?;
  1700. // We've sent something, whether useful data or a keep-alive packet, so rewind
  1701. // the keep-alive timer.
  1702. self.timer.rewind_keep_alive(timestamp, self.keep_alive);
  1703. // Reset delayed-ack timer
  1704. if self.ack_delay_until.is_some() {
  1705. net_trace!("{}:{}:{}: stop delayed ack timer",
  1706. self.meta.handle, self.local_endpoint, self.remote_endpoint
  1707. );
  1708. self.ack_delay_until = None;
  1709. }
  1710. // Leave the rest of the state intact if sending a keep-alive packet, since those
  1711. // carry a fake segment.
  1712. if is_keep_alive { return Ok(()) }
  1713. // We've sent a packet successfully, so we can update the internal state now.
  1714. self.remote_last_seq = repr.seq_number + repr.segment_len();
  1715. self.remote_last_ack = repr.ack_number;
  1716. self.remote_last_win = repr.window_len;
  1717. if repr.segment_len() > 0 {
  1718. self.rtte.on_send(timestamp, repr.seq_number + repr.segment_len());
  1719. }
  1720. if !self.seq_to_transmit() && repr.segment_len() > 0 {
  1721. // If we've transmitted all data we could (and there was something at all,
  1722. // data or flag, to transmit, not just an ACK), wind up the retransmit timer.
  1723. self.timer.set_for_retransmit(timestamp, self.rtte.retransmission_timeout());
  1724. }
  1725. if self.state == State::Closed {
  1726. // When aborting a connection, forget about it after sending a single RST packet.
  1727. self.local_endpoint = IpEndpoint::default();
  1728. self.remote_endpoint = IpEndpoint::default();
  1729. }
  1730. Ok(())
  1731. }
  1732. #[allow(clippy::if_same_then_else)]
  1733. pub(crate) fn poll_at(&self) -> PollAt {
  1734. // The logic here mirrors the beginning of dispatch() closely.
  1735. if !self.remote_endpoint.is_specified() {
  1736. // No one to talk to, nothing to transmit.
  1737. PollAt::Ingress
  1738. } else if self.remote_last_ts.is_none() {
  1739. // Socket stopped being quiet recently, we need to acquire a timestamp.
  1740. PollAt::Now
  1741. } else if self.state == State::Closed {
  1742. // Socket was aborted, we have an RST packet to transmit.
  1743. PollAt::Now
  1744. } else if self.seq_to_transmit() {
  1745. // We have a data or flag packet to transmit.
  1746. PollAt::Now
  1747. } else {
  1748. let want_ack = self.ack_to_transmit() || self.window_to_update();
  1749. let delayed_ack_poll_at = match (want_ack, self.ack_delay_until) {
  1750. (false, _) => PollAt::Ingress,
  1751. (true, None) => PollAt::Now,
  1752. (true, Some(t)) => PollAt::Time(t),
  1753. };
  1754. let timeout_poll_at = match (self.remote_last_ts, self.timeout) {
  1755. // If we're transmitting or retransmitting data, we need to poll at the moment
  1756. // when the timeout would expire.
  1757. (Some(remote_last_ts), Some(timeout)) => PollAt::Time(remote_last_ts + timeout),
  1758. // Otherwise we have no timeout.
  1759. (_, _) => PollAt::Ingress,
  1760. };
  1761. // We wait for the earliest of our timers to fire.
  1762. *[self.timer.poll_at(), timeout_poll_at, delayed_ack_poll_at]
  1763. .iter()
  1764. .min().unwrap_or(&PollAt::Ingress)
  1765. }
  1766. }
  1767. }
  1768. impl<'a> Into<Socket<'a>> for TcpSocket<'a> {
  1769. fn into(self) -> Socket<'a> {
  1770. Socket::Tcp(self)
  1771. }
  1772. }
  1773. impl<'a> fmt::Write for TcpSocket<'a> {
  1774. fn write_str(&mut self, slice: &str) -> fmt::Result {
  1775. let slice = slice.as_bytes();
  1776. if self.send_slice(slice) == Ok(slice.len()) {
  1777. Ok(())
  1778. } else {
  1779. Err(fmt::Error)
  1780. }
  1781. }
  1782. }
  1783. #[cfg(test)]
  1784. mod test {
  1785. use core::i32;
  1786. use std::vec::Vec;
  1787. use crate::wire::{IpAddress, IpRepr, IpCidr};
  1788. use crate::wire::ip::test::{MOCK_IP_ADDR_1, MOCK_IP_ADDR_2, MOCK_IP_ADDR_3, MOCK_UNSPECIFIED};
  1789. use super::*;
  1790. // =========================================================================================//
  1791. // Constants
  1792. // =========================================================================================//
  1793. const LOCAL_PORT: u16 = 80;
  1794. const REMOTE_PORT: u16 = 49500;
  1795. const LOCAL_END: IpEndpoint = IpEndpoint { addr: MOCK_IP_ADDR_1, port: LOCAL_PORT };
  1796. const REMOTE_END: IpEndpoint = IpEndpoint { addr: MOCK_IP_ADDR_2, port: REMOTE_PORT };
  1797. const LOCAL_SEQ: TcpSeqNumber = TcpSeqNumber(10000);
  1798. const REMOTE_SEQ: TcpSeqNumber = TcpSeqNumber(-10000);
  1799. const SEND_IP_TEMPL: IpRepr = IpRepr::Unspecified {
  1800. src_addr: MOCK_IP_ADDR_1, dst_addr: MOCK_IP_ADDR_2,
  1801. protocol: IpProtocol::Tcp, payload_len: 20,
  1802. hop_limit: 64
  1803. };
  1804. const SEND_TEMPL: TcpRepr<'static> = TcpRepr {
  1805. src_port: REMOTE_PORT, dst_port: LOCAL_PORT,
  1806. control: TcpControl::None,
  1807. seq_number: TcpSeqNumber(0), ack_number: Some(TcpSeqNumber(0)),
  1808. window_len: 256, window_scale: None,
  1809. max_seg_size: None,
  1810. sack_permitted: false,
  1811. sack_ranges: [None, None, None],
  1812. payload: &[]
  1813. };
  1814. const _RECV_IP_TEMPL: IpRepr = IpRepr::Unspecified {
  1815. src_addr: MOCK_IP_ADDR_1, dst_addr: MOCK_IP_ADDR_2,
  1816. protocol: IpProtocol::Tcp, payload_len: 20,
  1817. hop_limit: 64
  1818. };
  1819. const RECV_TEMPL: TcpRepr<'static> = TcpRepr {
  1820. src_port: LOCAL_PORT, dst_port: REMOTE_PORT,
  1821. control: TcpControl::None,
  1822. seq_number: TcpSeqNumber(0), ack_number: Some(TcpSeqNumber(0)),
  1823. window_len: 64, window_scale: None,
  1824. max_seg_size: None,
  1825. sack_permitted: false,
  1826. sack_ranges: [None, None, None],
  1827. payload: &[]
  1828. };
  1829. #[cfg(feature = "proto-ipv6")]
  1830. const BASE_MSS: u16 = 1460;
  1831. #[cfg(all(feature = "proto-ipv4", not(feature = "proto-ipv6")))]
  1832. const BASE_MSS: u16 = 1480;
  1833. // =========================================================================================//
  1834. // Helper functions
  1835. // =========================================================================================//
  1836. fn send(socket: &mut TcpSocket, timestamp: Instant, repr: &TcpRepr) ->
  1837. Result<Option<TcpRepr<'static>>> {
  1838. let ip_repr = IpRepr::Unspecified {
  1839. src_addr: MOCK_IP_ADDR_2,
  1840. dst_addr: MOCK_IP_ADDR_1,
  1841. protocol: IpProtocol::Tcp,
  1842. payload_len: repr.buffer_len(),
  1843. hop_limit: 64
  1844. };
  1845. net_trace!("send: {}", repr);
  1846. assert!(socket.accepts(&ip_repr, repr));
  1847. match socket.process(timestamp, &ip_repr, repr) {
  1848. Ok(Some((_ip_repr, repr))) => {
  1849. net_trace!("recv: {}", repr);
  1850. Ok(Some(repr))
  1851. }
  1852. Ok(None) => Ok(None),
  1853. Err(err) => Err(err)
  1854. }
  1855. }
  1856. fn recv<F>(socket: &mut TcpSocket, timestamp: Instant, mut f: F)
  1857. where F: FnMut(Result<TcpRepr>) {
  1858. let mtu = 1520;
  1859. let result = socket.dispatch(timestamp, mtu, |(ip_repr, tcp_repr)| {
  1860. let ip_repr = ip_repr.lower(&[IpCidr::new(LOCAL_END.addr, 24)]).unwrap();
  1861. assert_eq!(ip_repr.protocol(), IpProtocol::Tcp);
  1862. assert_eq!(ip_repr.src_addr(), MOCK_IP_ADDR_1);
  1863. assert_eq!(ip_repr.dst_addr(), MOCK_IP_ADDR_2);
  1864. assert_eq!(ip_repr.payload_len(), tcp_repr.buffer_len());
  1865. net_trace!("recv: {}", tcp_repr);
  1866. Ok(f(Ok(tcp_repr)))
  1867. });
  1868. match result {
  1869. Ok(()) => (),
  1870. Err(e) => f(Err(e))
  1871. }
  1872. }
  1873. macro_rules! send {
  1874. ($socket:ident, $repr:expr) =>
  1875. (send!($socket, time 0, $repr));
  1876. ($socket:ident, $repr:expr, $result:expr) =>
  1877. (send!($socket, time 0, $repr, $result));
  1878. ($socket:ident, time $time:expr, $repr:expr) =>
  1879. (send!($socket, time $time, $repr, Ok(None)));
  1880. ($socket:ident, time $time:expr, $repr:expr, $result:expr) =>
  1881. (assert_eq!(send(&mut $socket, Instant::from_millis($time), &$repr), $result));
  1882. }
  1883. macro_rules! recv {
  1884. ($socket:ident, [$( $repr:expr ),*]) => ({
  1885. $( recv!($socket, Ok($repr)); )*
  1886. recv!($socket, Err(Error::Exhausted))
  1887. });
  1888. ($socket:ident, $result:expr) =>
  1889. (recv!($socket, time 0, $result));
  1890. ($socket:ident, time $time:expr, $result:expr) =>
  1891. (recv(&mut $socket, Instant::from_millis($time), |result| {
  1892. // Most of the time we don't care about the PSH flag.
  1893. let result = result.map(|mut repr| {
  1894. repr.control = repr.control.quash_psh();
  1895. repr
  1896. });
  1897. assert_eq!(result, $result)
  1898. }));
  1899. ($socket:ident, time $time:expr, $result:expr, exact) =>
  1900. (recv(&mut $socket, Instant::from_millis($time), |repr| assert_eq!(repr, $result)));
  1901. }
  1902. macro_rules! sanity {
  1903. ($socket1:expr, $socket2:expr) => ({
  1904. let (s1, s2) = ($socket1, $socket2);
  1905. assert_eq!(s1.state, s2.state, "state");
  1906. assert_eq!(s1.listen_address, s2.listen_address, "listen_address");
  1907. assert_eq!(s1.local_endpoint, s2.local_endpoint, "local_endpoint");
  1908. assert_eq!(s1.remote_endpoint, s2.remote_endpoint, "remote_endpoint");
  1909. assert_eq!(s1.local_seq_no, s2.local_seq_no, "local_seq_no");
  1910. assert_eq!(s1.remote_seq_no, s2.remote_seq_no, "remote_seq_no");
  1911. assert_eq!(s1.remote_last_seq, s2.remote_last_seq, "remote_last_seq");
  1912. assert_eq!(s1.remote_last_ack, s2.remote_last_ack, "remote_last_ack");
  1913. assert_eq!(s1.remote_last_win, s2.remote_last_win, "remote_last_win");
  1914. assert_eq!(s1.remote_win_len, s2.remote_win_len, "remote_win_len");
  1915. assert_eq!(s1.timer, s2.timer, "timer");
  1916. })
  1917. }
  1918. #[cfg(feature = "log")]
  1919. fn init_logger() {
  1920. struct Logger;
  1921. static LOGGER: Logger = Logger;
  1922. impl log::Log for Logger {
  1923. fn enabled(&self, _metadata: &log::Metadata) -> bool {
  1924. true
  1925. }
  1926. fn log(&self, record: &log::Record) {
  1927. println!("{}", record.args());
  1928. }
  1929. fn flush(&self) {
  1930. }
  1931. }
  1932. // If it fails, that just means we've already set it to the same value.
  1933. let _ = log::set_logger(&LOGGER);
  1934. log::set_max_level(log::LevelFilter::Trace);
  1935. println!();
  1936. }
  1937. fn socket() -> TcpSocket<'static> {
  1938. socket_with_buffer_sizes(64, 64)
  1939. }
  1940. fn socket_with_buffer_sizes(tx_len: usize, rx_len: usize) -> TcpSocket<'static> {
  1941. #[cfg(feature = "log")]
  1942. init_logger();
  1943. let rx_buffer = SocketBuffer::new(vec![0; rx_len]);
  1944. let tx_buffer = SocketBuffer::new(vec![0; tx_len]);
  1945. let mut socket = TcpSocket::new(rx_buffer, tx_buffer);
  1946. socket.set_ack_delay(None);
  1947. socket
  1948. }
  1949. fn socket_syn_received_with_buffer_sizes(
  1950. tx_len: usize,
  1951. rx_len: usize
  1952. ) -> TcpSocket<'static> {
  1953. let mut s = socket_with_buffer_sizes(tx_len, rx_len);
  1954. s.state = State::SynReceived;
  1955. s.local_endpoint = LOCAL_END;
  1956. s.remote_endpoint = REMOTE_END;
  1957. s.local_seq_no = LOCAL_SEQ;
  1958. s.remote_seq_no = REMOTE_SEQ + 1;
  1959. s.remote_last_seq = LOCAL_SEQ;
  1960. s.remote_win_len = 256;
  1961. s
  1962. }
  1963. fn socket_syn_received() -> TcpSocket<'static> {
  1964. socket_syn_received_with_buffer_sizes(64, 64)
  1965. }
  1966. fn socket_syn_sent() -> TcpSocket<'static> {
  1967. let mut s = socket();
  1968. s.state = State::SynSent;
  1969. s.local_endpoint = IpEndpoint::new(MOCK_UNSPECIFIED, LOCAL_PORT);
  1970. s.remote_endpoint = REMOTE_END;
  1971. s.local_seq_no = LOCAL_SEQ;
  1972. s.remote_last_seq = LOCAL_SEQ;
  1973. s
  1974. }
  1975. fn socket_syn_sent_with_local_ipendpoint(local: IpEndpoint) -> TcpSocket<'static> {
  1976. let mut s = socket();
  1977. s.state = State::SynSent;
  1978. s.local_endpoint = local;
  1979. s.remote_endpoint = REMOTE_END;
  1980. s.local_seq_no = LOCAL_SEQ;
  1981. s.remote_last_seq = LOCAL_SEQ;
  1982. s
  1983. }
  1984. fn socket_established_with_buffer_sizes(tx_len: usize, rx_len: usize) -> TcpSocket<'static> {
  1985. let mut s = socket_syn_received_with_buffer_sizes(tx_len, rx_len);
  1986. s.state = State::Established;
  1987. s.local_seq_no = LOCAL_SEQ + 1;
  1988. s.remote_last_seq = LOCAL_SEQ + 1;
  1989. s.remote_last_ack = Some(REMOTE_SEQ + 1);
  1990. s.remote_last_win = 64;
  1991. s
  1992. }
  1993. fn socket_established() -> TcpSocket<'static> {
  1994. socket_established_with_buffer_sizes(64, 64)
  1995. }
  1996. fn socket_fin_wait_1() -> TcpSocket<'static> {
  1997. let mut s = socket_established();
  1998. s.state = State::FinWait1;
  1999. s
  2000. }
  2001. fn socket_fin_wait_2() -> TcpSocket<'static> {
  2002. let mut s = socket_fin_wait_1();
  2003. s.state = State::FinWait2;
  2004. s.local_seq_no = LOCAL_SEQ + 1 + 1;
  2005. s.remote_last_seq = LOCAL_SEQ + 1 + 1;
  2006. s
  2007. }
  2008. fn socket_closing() -> TcpSocket<'static> {
  2009. let mut s = socket_fin_wait_1();
  2010. s.state = State::Closing;
  2011. s.remote_last_seq = LOCAL_SEQ + 1 + 1;
  2012. s.remote_seq_no = REMOTE_SEQ + 1 + 1;
  2013. s
  2014. }
  2015. fn socket_time_wait(from_closing: bool) -> TcpSocket<'static> {
  2016. let mut s = socket_fin_wait_2();
  2017. s.state = State::TimeWait;
  2018. s.remote_seq_no = REMOTE_SEQ + 1 + 1;
  2019. if from_closing {
  2020. s.remote_last_ack = Some(REMOTE_SEQ + 1 + 1);
  2021. }
  2022. s.timer = Timer::Close { expires_at: Instant::from_secs(1) + CLOSE_DELAY };
  2023. s
  2024. }
  2025. fn socket_close_wait() -> TcpSocket<'static> {
  2026. let mut s = socket_established();
  2027. s.state = State::CloseWait;
  2028. s.remote_seq_no = REMOTE_SEQ + 1 + 1;
  2029. s.remote_last_ack = Some(REMOTE_SEQ + 1 + 1);
  2030. s
  2031. }
  2032. fn socket_last_ack() -> TcpSocket<'static> {
  2033. let mut s = socket_close_wait();
  2034. s.state = State::LastAck;
  2035. s
  2036. }
  2037. fn socket_recved() -> TcpSocket<'static> {
  2038. let mut s = socket_established();
  2039. send!(s, TcpRepr {
  2040. seq_number: REMOTE_SEQ + 1,
  2041. ack_number: Some(LOCAL_SEQ + 1),
  2042. payload: &b"abcdef"[..],
  2043. ..SEND_TEMPL
  2044. });
  2045. recv!(s, [TcpRepr {
  2046. seq_number: LOCAL_SEQ + 1,
  2047. ack_number: Some(REMOTE_SEQ + 1 + 6),
  2048. window_len: 58,
  2049. ..RECV_TEMPL
  2050. }]);
  2051. s
  2052. }
  2053. // =========================================================================================//
  2054. // Tests for the CLOSED state.
  2055. // =========================================================================================//
  2056. #[test]
  2057. fn test_closed_reject() {
  2058. let s = socket();
  2059. assert_eq!(s.state, State::Closed);
  2060. let tcp_repr = TcpRepr {
  2061. control: TcpControl::Syn,
  2062. ..SEND_TEMPL
  2063. };
  2064. assert!(!s.accepts(&SEND_IP_TEMPL, &tcp_repr));
  2065. }
  2066. #[test]
  2067. fn test_closed_reject_after_listen() {
  2068. let mut s = socket();
  2069. s.listen(LOCAL_END).unwrap();
  2070. s.close();
  2071. let tcp_repr = TcpRepr {
  2072. control: TcpControl::Syn,
  2073. ..SEND_TEMPL
  2074. };
  2075. assert!(!s.accepts(&SEND_IP_TEMPL, &tcp_repr));
  2076. }
  2077. #[test]
  2078. fn test_closed_close() {
  2079. let mut s = socket();
  2080. s.close();
  2081. assert_eq!(s.state, State::Closed);
  2082. }
  2083. // =========================================================================================//
  2084. // Tests for the LISTEN state.
  2085. // =========================================================================================//
  2086. fn socket_listen() -> TcpSocket<'static> {
  2087. let mut s = socket();
  2088. s.state = State::Listen;
  2089. s.local_endpoint = IpEndpoint::new(IpAddress::default(), LOCAL_PORT);
  2090. s
  2091. }
  2092. #[test]
  2093. fn test_listen_sack_option() {
  2094. let mut s = socket_listen();
  2095. send!(s, TcpRepr {
  2096. control: TcpControl::Syn,
  2097. seq_number: REMOTE_SEQ,
  2098. ack_number: None,
  2099. sack_permitted: false,
  2100. ..SEND_TEMPL
  2101. });
  2102. assert!(!s.remote_has_sack);
  2103. recv!(s, [TcpRepr {
  2104. control: TcpControl::Syn,
  2105. seq_number: LOCAL_SEQ,
  2106. ack_number: Some(REMOTE_SEQ + 1),
  2107. max_seg_size: Some(BASE_MSS),
  2108. ..RECV_TEMPL
  2109. }]);
  2110. let mut s = socket_listen();
  2111. send!(s, TcpRepr {
  2112. control: TcpControl::Syn,
  2113. seq_number: REMOTE_SEQ,
  2114. ack_number: None,
  2115. sack_permitted: true,
  2116. ..SEND_TEMPL
  2117. });
  2118. assert!(s.remote_has_sack);
  2119. recv!(s, [TcpRepr {
  2120. control: TcpControl::Syn,
  2121. seq_number: LOCAL_SEQ,
  2122. ack_number: Some(REMOTE_SEQ + 1),
  2123. max_seg_size: Some(BASE_MSS),
  2124. sack_permitted: true,
  2125. ..RECV_TEMPL
  2126. }]);
  2127. }
  2128. #[test]
  2129. fn test_listen_syn_win_scale_buffers() {
  2130. for (buffer_size, shift_amt) in &[
  2131. (64, 0),
  2132. (128, 0),
  2133. (1024, 0),
  2134. (65535, 0),
  2135. (65536, 1),
  2136. (65537, 1),
  2137. (131071, 1),
  2138. (131072, 2),
  2139. (524287, 3),
  2140. (524288, 4),
  2141. (655350, 4),
  2142. (1048576, 5),
  2143. ] {
  2144. let mut s = socket_with_buffer_sizes(64, *buffer_size);
  2145. s.state = State::Listen;
  2146. s.local_endpoint = IpEndpoint::new(IpAddress::default(), LOCAL_PORT);
  2147. assert_eq!(s.remote_win_shift, *shift_amt);
  2148. send!(s, TcpRepr {
  2149. control: TcpControl::Syn,
  2150. seq_number: REMOTE_SEQ,
  2151. ack_number: None,
  2152. window_scale: Some(0),
  2153. ..SEND_TEMPL
  2154. });
  2155. assert_eq!(s.remote_win_shift, *shift_amt);
  2156. recv!(s, [TcpRepr {
  2157. control: TcpControl::Syn,
  2158. seq_number: LOCAL_SEQ,
  2159. ack_number: Some(REMOTE_SEQ + 1),
  2160. max_seg_size: Some(BASE_MSS),
  2161. window_scale: Some(*shift_amt),
  2162. window_len: cmp::min(*buffer_size >> *shift_amt, 65535) as u16,
  2163. ..RECV_TEMPL
  2164. }]);
  2165. }
  2166. }
  2167. #[test]
  2168. fn test_listen_sanity() {
  2169. let mut s = socket();
  2170. s.listen(LOCAL_PORT).unwrap();
  2171. sanity!(s, socket_listen());
  2172. }
  2173. #[test]
  2174. fn test_listen_validation() {
  2175. let mut s = socket();
  2176. assert_eq!(s.listen(0), Err(Error::Unaddressable));
  2177. }
  2178. #[test]
  2179. fn test_listen_twice() {
  2180. let mut s = socket();
  2181. assert_eq!(s.listen(80), Ok(()));
  2182. assert_eq!(s.listen(80), Err(Error::Illegal));
  2183. }
  2184. #[test]
  2185. fn test_listen_syn() {
  2186. let mut s = socket_listen();
  2187. send!(s, TcpRepr {
  2188. control: TcpControl::Syn,
  2189. seq_number: REMOTE_SEQ,
  2190. ack_number: None,
  2191. ..SEND_TEMPL
  2192. });
  2193. sanity!(s, socket_syn_received());
  2194. }
  2195. #[test]
  2196. fn test_listen_syn_reject_ack() {
  2197. let s = socket_listen();
  2198. let tcp_repr = TcpRepr {
  2199. control: TcpControl::Syn,
  2200. seq_number: REMOTE_SEQ,
  2201. ack_number: Some(LOCAL_SEQ),
  2202. ..SEND_TEMPL
  2203. };
  2204. assert!(!s.accepts(&SEND_IP_TEMPL, &tcp_repr));
  2205. assert_eq!(s.state, State::Listen);
  2206. }
  2207. #[test]
  2208. fn test_listen_rst() {
  2209. let mut s = socket_listen();
  2210. send!(s, TcpRepr {
  2211. control: TcpControl::Rst,
  2212. seq_number: REMOTE_SEQ,
  2213. ack_number: None,
  2214. ..SEND_TEMPL
  2215. }, Err(Error::Dropped));
  2216. }
  2217. #[test]
  2218. fn test_listen_close() {
  2219. let mut s = socket_listen();
  2220. s.close();
  2221. assert_eq!(s.state, State::Closed);
  2222. }
  2223. // =========================================================================================//
  2224. // Tests for the SYN-RECEIVED state.
  2225. // =========================================================================================//
  2226. #[test]
  2227. fn test_syn_received_ack() {
  2228. let mut s = socket_syn_received();
  2229. recv!(s, [TcpRepr {
  2230. control: TcpControl::Syn,
  2231. seq_number: LOCAL_SEQ,
  2232. ack_number: Some(REMOTE_SEQ + 1),
  2233. max_seg_size: Some(BASE_MSS),
  2234. ..RECV_TEMPL
  2235. }]);
  2236. send!(s, TcpRepr {
  2237. seq_number: REMOTE_SEQ + 1,
  2238. ack_number: Some(LOCAL_SEQ + 1),
  2239. ..SEND_TEMPL
  2240. });
  2241. assert_eq!(s.state, State::Established);
  2242. sanity!(s, socket_established());
  2243. }
  2244. #[test]
  2245. fn test_syn_received_fin() {
  2246. let mut s = socket_syn_received();
  2247. recv!(s, [TcpRepr {
  2248. control: TcpControl::Syn,
  2249. seq_number: LOCAL_SEQ,
  2250. ack_number: Some(REMOTE_SEQ + 1),
  2251. max_seg_size: Some(BASE_MSS),
  2252. ..RECV_TEMPL
  2253. }]);
  2254. send!(s, TcpRepr {
  2255. control: TcpControl::Fin,
  2256. seq_number: REMOTE_SEQ + 1,
  2257. ack_number: Some(LOCAL_SEQ + 1),
  2258. payload: &b"abcdef"[..],
  2259. ..SEND_TEMPL
  2260. });
  2261. recv!(s, [TcpRepr {
  2262. seq_number: LOCAL_SEQ + 1,
  2263. ack_number: Some(REMOTE_SEQ + 1 + 6 + 1),
  2264. window_len: 58,
  2265. ..RECV_TEMPL
  2266. }]);
  2267. assert_eq!(s.state, State::CloseWait);
  2268. sanity!(s, TcpSocket {
  2269. remote_last_ack: Some(REMOTE_SEQ + 1 + 6 + 1),
  2270. remote_last_win: 58,
  2271. ..socket_close_wait()
  2272. });
  2273. }
  2274. #[test]
  2275. fn test_syn_received_rst() {
  2276. let mut s = socket_syn_received();
  2277. recv!(s, [TcpRepr {
  2278. control: TcpControl::Syn,
  2279. seq_number: LOCAL_SEQ,
  2280. ack_number: Some(REMOTE_SEQ + 1),
  2281. max_seg_size: Some(BASE_MSS),
  2282. ..RECV_TEMPL
  2283. }]);
  2284. send!(s, TcpRepr {
  2285. control: TcpControl::Rst,
  2286. seq_number: REMOTE_SEQ + 1,
  2287. ack_number: Some(LOCAL_SEQ),
  2288. ..SEND_TEMPL
  2289. });
  2290. assert_eq!(s.state, State::Listen);
  2291. assert_eq!(s.local_endpoint, IpEndpoint::new(IpAddress::Unspecified, LOCAL_END.port));
  2292. assert_eq!(s.remote_endpoint, IpEndpoint::default());
  2293. }
  2294. #[test]
  2295. fn test_syn_received_no_window_scaling() {
  2296. let mut s = socket_listen();
  2297. send!(s, TcpRepr {
  2298. control: TcpControl::Syn,
  2299. seq_number: REMOTE_SEQ,
  2300. ack_number: None,
  2301. ..SEND_TEMPL
  2302. });
  2303. assert_eq!(s.state(), State::SynReceived);
  2304. assert_eq!(s.local_endpoint(), LOCAL_END);
  2305. assert_eq!(s.remote_endpoint(), REMOTE_END);
  2306. recv!(s, [TcpRepr {
  2307. control: TcpControl::Syn,
  2308. seq_number: LOCAL_SEQ,
  2309. ack_number: Some(REMOTE_SEQ + 1),
  2310. max_seg_size: Some(BASE_MSS),
  2311. window_scale: None,
  2312. ..RECV_TEMPL
  2313. }]);
  2314. send!(s, TcpRepr {
  2315. seq_number: REMOTE_SEQ + 1,
  2316. ack_number: Some(LOCAL_SEQ + 1),
  2317. window_scale: None,
  2318. ..SEND_TEMPL
  2319. });
  2320. assert_eq!(s.remote_win_scale, None);
  2321. }
  2322. #[test]
  2323. fn test_syn_received_window_scaling() {
  2324. for scale in 0..14 {
  2325. let mut s = socket_listen();
  2326. send!(s, TcpRepr {
  2327. control: TcpControl::Syn,
  2328. seq_number: REMOTE_SEQ,
  2329. ack_number: None,
  2330. window_scale: Some(scale),
  2331. ..SEND_TEMPL
  2332. });
  2333. assert_eq!(s.state(), State::SynReceived);
  2334. assert_eq!(s.local_endpoint(), LOCAL_END);
  2335. assert_eq!(s.remote_endpoint(), REMOTE_END);
  2336. recv!(s, [TcpRepr {
  2337. control: TcpControl::Syn,
  2338. seq_number: LOCAL_SEQ,
  2339. ack_number: Some(REMOTE_SEQ + 1),
  2340. max_seg_size: Some(BASE_MSS),
  2341. window_scale: Some(0),
  2342. ..RECV_TEMPL
  2343. }]);
  2344. send!(s, TcpRepr {
  2345. seq_number: REMOTE_SEQ + 1,
  2346. ack_number: Some(LOCAL_SEQ + 1),
  2347. window_scale: None,
  2348. ..SEND_TEMPL
  2349. });
  2350. assert_eq!(s.remote_win_scale, Some(scale));
  2351. }
  2352. }
  2353. #[test]
  2354. fn test_syn_received_close() {
  2355. let mut s = socket_syn_received();
  2356. s.close();
  2357. assert_eq!(s.state, State::FinWait1);
  2358. }
  2359. // =========================================================================================//
  2360. // Tests for the SYN-SENT state.
  2361. // =========================================================================================//
  2362. #[test]
  2363. fn test_connect_validation() {
  2364. let mut s = socket();
  2365. assert_eq!(s.connect((IpAddress::Unspecified, 80), LOCAL_END),
  2366. Err(Error::Unaddressable));
  2367. assert_eq!(s.connect(REMOTE_END, (MOCK_UNSPECIFIED, 0)),
  2368. Err(Error::Unaddressable));
  2369. assert_eq!(s.connect((MOCK_UNSPECIFIED, 0), LOCAL_END),
  2370. Err(Error::Unaddressable));
  2371. assert_eq!(s.connect((IpAddress::Unspecified, 80), LOCAL_END),
  2372. Err(Error::Unaddressable));
  2373. s.connect(REMOTE_END, LOCAL_END).expect("Connect failed with valid parameters");
  2374. assert_eq!(s.local_endpoint(), LOCAL_END);
  2375. assert_eq!(s.remote_endpoint(), REMOTE_END);
  2376. }
  2377. #[test]
  2378. fn test_connect() {
  2379. let mut s = socket();
  2380. s.local_seq_no = LOCAL_SEQ;
  2381. s.connect(REMOTE_END, LOCAL_END.port).unwrap();
  2382. assert_eq!(s.local_endpoint, IpEndpoint::new(MOCK_UNSPECIFIED, LOCAL_END.port));
  2383. recv!(s, [TcpRepr {
  2384. control: TcpControl::Syn,
  2385. seq_number: LOCAL_SEQ,
  2386. ack_number: None,
  2387. max_seg_size: Some(BASE_MSS),
  2388. window_scale: Some(0),
  2389. sack_permitted: true,
  2390. ..RECV_TEMPL
  2391. }]);
  2392. send!(s, TcpRepr {
  2393. control: TcpControl::Syn,
  2394. seq_number: REMOTE_SEQ,
  2395. ack_number: Some(LOCAL_SEQ + 1),
  2396. max_seg_size: Some(BASE_MSS - 80),
  2397. window_scale: Some(0),
  2398. ..SEND_TEMPL
  2399. });
  2400. assert_eq!(s.local_endpoint, LOCAL_END);
  2401. }
  2402. #[test]
  2403. fn test_connect_unspecified_local() {
  2404. let mut s = socket();
  2405. assert_eq!(s.connect(REMOTE_END, (MOCK_UNSPECIFIED, 80)),
  2406. Ok(()));
  2407. s.abort();
  2408. assert_eq!(s.connect(REMOTE_END, (IpAddress::Unspecified, 80)),
  2409. Ok(()));
  2410. s.abort();
  2411. }
  2412. #[test]
  2413. fn test_connect_specified_local() {
  2414. let mut s = socket();
  2415. assert_eq!(s.connect(REMOTE_END, (MOCK_IP_ADDR_2, 80)),
  2416. Ok(()));
  2417. }
  2418. #[test]
  2419. fn test_connect_twice() {
  2420. let mut s = socket();
  2421. assert_eq!(s.connect(REMOTE_END, (IpAddress::Unspecified, 80)),
  2422. Ok(()));
  2423. assert_eq!(s.connect(REMOTE_END, (IpAddress::Unspecified, 80)),
  2424. Err(Error::Illegal));
  2425. }
  2426. #[test]
  2427. fn test_syn_sent_sanity() {
  2428. let mut s = socket();
  2429. s.local_seq_no = LOCAL_SEQ;
  2430. s.connect(REMOTE_END, LOCAL_END).unwrap();
  2431. sanity!(s, socket_syn_sent_with_local_ipendpoint(LOCAL_END));
  2432. }
  2433. #[test]
  2434. fn test_syn_sent_syn_ack() {
  2435. let mut s = socket_syn_sent();
  2436. recv!(s, [TcpRepr {
  2437. control: TcpControl::Syn,
  2438. seq_number: LOCAL_SEQ,
  2439. ack_number: None,
  2440. max_seg_size: Some(BASE_MSS),
  2441. window_scale: Some(0),
  2442. sack_permitted: true,
  2443. ..RECV_TEMPL
  2444. }]);
  2445. send!(s, TcpRepr {
  2446. control: TcpControl::Syn,
  2447. seq_number: REMOTE_SEQ,
  2448. ack_number: Some(LOCAL_SEQ + 1),
  2449. max_seg_size: Some(BASE_MSS - 80),
  2450. window_scale: Some(0),
  2451. ..SEND_TEMPL
  2452. });
  2453. recv!(s, [TcpRepr {
  2454. seq_number: LOCAL_SEQ + 1,
  2455. ack_number: Some(REMOTE_SEQ + 1),
  2456. ..RECV_TEMPL
  2457. }]);
  2458. recv!(s, time 1000, Err(Error::Exhausted));
  2459. assert_eq!(s.state, State::Established);
  2460. sanity!(s, socket_established());
  2461. }
  2462. #[test]
  2463. fn test_syn_sent_rst() {
  2464. let mut s = socket_syn_sent();
  2465. send!(s, TcpRepr {
  2466. control: TcpControl::Rst,
  2467. seq_number: REMOTE_SEQ,
  2468. ack_number: Some(LOCAL_SEQ + 1),
  2469. ..SEND_TEMPL
  2470. });
  2471. assert_eq!(s.state, State::Closed);
  2472. }
  2473. #[test]
  2474. fn test_syn_sent_rst_no_ack() {
  2475. let mut s = socket_syn_sent();
  2476. send!(s, TcpRepr {
  2477. control: TcpControl::Rst,
  2478. seq_number: REMOTE_SEQ,
  2479. ack_number: None,
  2480. ..SEND_TEMPL
  2481. }, Err(Error::Dropped));
  2482. assert_eq!(s.state, State::SynSent);
  2483. }
  2484. #[test]
  2485. fn test_syn_sent_rst_bad_ack() {
  2486. let mut s = socket_syn_sent();
  2487. send!(s, TcpRepr {
  2488. control: TcpControl::Rst,
  2489. seq_number: REMOTE_SEQ,
  2490. ack_number: Some(TcpSeqNumber(1234)),
  2491. ..SEND_TEMPL
  2492. }, Err(Error::Dropped));
  2493. assert_eq!(s.state, State::SynSent);
  2494. }
  2495. #[test]
  2496. fn test_syn_sent_bad_ack() {
  2497. let mut s = socket_syn_sent();
  2498. send!(s, TcpRepr {
  2499. control: TcpControl::None,
  2500. ack_number: Some(TcpSeqNumber(1)),
  2501. ..SEND_TEMPL
  2502. }, Err(Error::Dropped));
  2503. assert_eq!(s.state, State::Closed);
  2504. }
  2505. #[test]
  2506. fn test_syn_sent_close() {
  2507. let mut s = socket();
  2508. s.close();
  2509. assert_eq!(s.state, State::Closed);
  2510. }
  2511. #[test]
  2512. fn test_syn_sent_win_scale_buffers() {
  2513. for (buffer_size, shift_amt) in &[
  2514. (64, 0),
  2515. (128, 0),
  2516. (1024, 0),
  2517. (65535, 0),
  2518. (65536, 1),
  2519. (65537, 1),
  2520. (131071, 1),
  2521. (131072, 2),
  2522. (524287, 3),
  2523. (524288, 4),
  2524. (655350, 4),
  2525. (1048576, 5),
  2526. ] {
  2527. let mut s = socket_with_buffer_sizes(64, *buffer_size);
  2528. assert_eq!(s.remote_win_shift, *shift_amt);
  2529. s.connect(REMOTE_END, LOCAL_END).unwrap();
  2530. recv!(s, [TcpRepr {
  2531. control: TcpControl::Syn,
  2532. ack_number: None,
  2533. max_seg_size: Some(BASE_MSS),
  2534. window_scale: Some(*shift_amt),
  2535. window_len: cmp::min(*buffer_size >> *shift_amt, 65535) as u16,
  2536. sack_permitted: true,
  2537. ..RECV_TEMPL
  2538. }]);
  2539. }
  2540. }
  2541. // =========================================================================================//
  2542. // Tests for the ESTABLISHED state.
  2543. // =========================================================================================//
  2544. #[test]
  2545. fn test_established_recv() {
  2546. let mut s = socket_established();
  2547. send!(s, TcpRepr {
  2548. seq_number: REMOTE_SEQ + 1,
  2549. ack_number: Some(LOCAL_SEQ + 1),
  2550. payload: &b"abcdef"[..],
  2551. ..SEND_TEMPL
  2552. });
  2553. recv!(s, [TcpRepr {
  2554. seq_number: LOCAL_SEQ + 1,
  2555. ack_number: Some(REMOTE_SEQ + 1 + 6),
  2556. window_len: 58,
  2557. ..RECV_TEMPL
  2558. }]);
  2559. assert_eq!(s.rx_buffer.dequeue_many(6), &b"abcdef"[..]);
  2560. }
  2561. fn setup_rfc2018_cases() -> (TcpSocket<'static>, Vec<u8>) {
  2562. // This is a utility function used by the tests for RFC 2018 cases. It configures a socket
  2563. // in a particular way suitable for those cases.
  2564. //
  2565. // RFC 2018: Assume the left window edge is 5000 and that the data transmitter sends [...]
  2566. // segments, each containing 500 data bytes.
  2567. let mut s = socket_established_with_buffer_sizes(4000, 4000);
  2568. s.remote_has_sack = true;
  2569. // create a segment that is 500 bytes long
  2570. let mut segment: Vec<u8> = Vec::with_capacity(500);
  2571. // move the last ack to 5000 by sending ten of them
  2572. for _ in 0..50 { segment.extend_from_slice(b"abcdefghij") }
  2573. for offset in (0..5000).step_by(500) {
  2574. send!(s, TcpRepr {
  2575. seq_number: REMOTE_SEQ + 1 + offset,
  2576. ack_number: Some(LOCAL_SEQ + 1),
  2577. payload: &segment,
  2578. ..SEND_TEMPL
  2579. });
  2580. recv!(s, [TcpRepr {
  2581. seq_number: LOCAL_SEQ + 1,
  2582. ack_number: Some(REMOTE_SEQ + 1 + offset + 500),
  2583. window_len: 3500,
  2584. ..RECV_TEMPL
  2585. }]);
  2586. s.recv(|data| {
  2587. assert_eq!(data.len(), 500);
  2588. assert_eq!(data, segment.as_slice());
  2589. (500, ())
  2590. }).unwrap();
  2591. }
  2592. assert_eq!(s.remote_last_win, 3500);
  2593. (s, segment)
  2594. }
  2595. #[test]
  2596. fn test_established_rfc2018_cases() {
  2597. // This test case verifies the exact scenarios described on pages 8-9 of RFC 2018. Please
  2598. // ensure its behavior does not deviate from those scenarios.
  2599. let (mut s, segment) = setup_rfc2018_cases();
  2600. // RFC 2018:
  2601. //
  2602. // Case 2: The first segment is dropped but the remaining 7 are received.
  2603. //
  2604. // Upon receiving each of the last seven packets, the data receiver will return a TCP ACK
  2605. // segment that acknowledges sequence number 5000 and contains a SACK option specifying one
  2606. // block of queued data:
  2607. //
  2608. // Triggering ACK Left Edge Right Edge
  2609. // Segment
  2610. //
  2611. // 5000 (lost)
  2612. // 5500 5000 5500 6000
  2613. // 6000 5000 5500 6500
  2614. // 6500 5000 5500 7000
  2615. // 7000 5000 5500 7500
  2616. // 7500 5000 5500 8000
  2617. // 8000 5000 5500 8500
  2618. // 8500 5000 5500 9000
  2619. //
  2620. for offset in (500..3500).step_by(500) {
  2621. send!(s, TcpRepr {
  2622. seq_number: REMOTE_SEQ + 1 + offset + 5000,
  2623. ack_number: Some(LOCAL_SEQ + 1),
  2624. payload: &segment,
  2625. ..SEND_TEMPL
  2626. }, Ok(Some(TcpRepr {
  2627. seq_number: LOCAL_SEQ + 1,
  2628. ack_number: Some(REMOTE_SEQ + 1 + 5000),
  2629. window_len: 4000,
  2630. sack_ranges: [
  2631. Some((REMOTE_SEQ.0 as u32 + 1 + 5500,
  2632. REMOTE_SEQ.0 as u32 + 1 + 5500 + offset as u32)),
  2633. None, None],
  2634. ..RECV_TEMPL
  2635. })));
  2636. }
  2637. }
  2638. #[test]
  2639. fn test_established_sliding_window_recv() {
  2640. let mut s = socket_established();
  2641. // Update our scaling parameters for a TCP with a scaled buffer.
  2642. assert_eq!(s.rx_buffer.len(), 0);
  2643. s.rx_buffer = SocketBuffer::new(vec![0; 262143]);
  2644. s.assembler = Assembler::new(s.rx_buffer.capacity());
  2645. s.remote_win_scale = Some(0);
  2646. s.remote_last_win = 65535;
  2647. s.remote_win_shift = 2;
  2648. // Create a TCP segment that will mostly fill an IP frame.
  2649. let mut segment: Vec<u8> = Vec::with_capacity(1400);
  2650. for _ in 0..100 { segment.extend_from_slice(b"abcdefghijklmn") }
  2651. assert_eq!(segment.len(), 1400);
  2652. // Send the frame
  2653. send!(s, TcpRepr {
  2654. seq_number: REMOTE_SEQ + 1,
  2655. ack_number: Some(LOCAL_SEQ + 1),
  2656. payload: &segment,
  2657. ..SEND_TEMPL
  2658. });
  2659. // Ensure that the received window size is shifted right by 2.
  2660. recv!(s, [TcpRepr {
  2661. seq_number: LOCAL_SEQ + 1,
  2662. ack_number: Some(REMOTE_SEQ + 1 + 1400),
  2663. window_len: 65185,
  2664. ..RECV_TEMPL
  2665. }]);
  2666. }
  2667. #[test]
  2668. fn test_established_send() {
  2669. let mut s = socket_established();
  2670. // First roundtrip after establishing.
  2671. s.send_slice(b"abcdef").unwrap();
  2672. recv!(s, [TcpRepr {
  2673. seq_number: LOCAL_SEQ + 1,
  2674. ack_number: Some(REMOTE_SEQ + 1),
  2675. payload: &b"abcdef"[..],
  2676. ..RECV_TEMPL
  2677. }]);
  2678. assert_eq!(s.tx_buffer.len(), 6);
  2679. send!(s, TcpRepr {
  2680. seq_number: REMOTE_SEQ + 1,
  2681. ack_number: Some(LOCAL_SEQ + 1 + 6),
  2682. ..SEND_TEMPL
  2683. });
  2684. assert_eq!(s.tx_buffer.len(), 0);
  2685. // Second roundtrip.
  2686. s.send_slice(b"foobar").unwrap();
  2687. recv!(s, [TcpRepr {
  2688. seq_number: LOCAL_SEQ + 1 + 6,
  2689. ack_number: Some(REMOTE_SEQ + 1),
  2690. payload: &b"foobar"[..],
  2691. ..RECV_TEMPL
  2692. }]);
  2693. send!(s, TcpRepr {
  2694. seq_number: REMOTE_SEQ + 1,
  2695. ack_number: Some(LOCAL_SEQ + 1 + 6 + 6),
  2696. ..SEND_TEMPL
  2697. });
  2698. assert_eq!(s.tx_buffer.len(), 0);
  2699. }
  2700. #[test]
  2701. fn test_established_send_no_ack_send() {
  2702. let mut s = socket_established();
  2703. s.send_slice(b"abcdef").unwrap();
  2704. recv!(s, [TcpRepr {
  2705. seq_number: LOCAL_SEQ + 1,
  2706. ack_number: Some(REMOTE_SEQ + 1),
  2707. payload: &b"abcdef"[..],
  2708. ..RECV_TEMPL
  2709. }]);
  2710. s.send_slice(b"foobar").unwrap();
  2711. recv!(s, [TcpRepr {
  2712. seq_number: LOCAL_SEQ + 1 + 6,
  2713. ack_number: Some(REMOTE_SEQ + 1),
  2714. payload: &b"foobar"[..],
  2715. ..RECV_TEMPL
  2716. }]);
  2717. }
  2718. #[test]
  2719. fn test_established_send_buf_gt_win() {
  2720. let mut data = [0; 32];
  2721. for (i, elem) in data.iter_mut().enumerate() {
  2722. *elem = i as u8
  2723. }
  2724. let mut s = socket_established();
  2725. s.remote_win_len = 16;
  2726. s.send_slice(&data[..]).unwrap();
  2727. recv!(s, [TcpRepr {
  2728. seq_number: LOCAL_SEQ + 1,
  2729. ack_number: Some(REMOTE_SEQ + 1),
  2730. payload: &data[0..16],
  2731. ..RECV_TEMPL
  2732. }]);
  2733. }
  2734. #[test]
  2735. fn test_established_send_window_shrink() {
  2736. let mut s = socket_established();
  2737. // 6 octets fit on the remote side's window, so we send them.
  2738. s.send_slice(b"abcdef").unwrap();
  2739. recv!(s, [TcpRepr {
  2740. seq_number: LOCAL_SEQ + 1,
  2741. ack_number: Some(REMOTE_SEQ + 1),
  2742. payload: &b"abcdef"[..],
  2743. ..RECV_TEMPL
  2744. }]);
  2745. assert_eq!(s.tx_buffer.len(), 6);
  2746. println!("local_seq_no={} remote_win_len={} remote_last_seq={}", s.local_seq_no, s.remote_win_len, s.remote_last_seq);
  2747. // - Peer doesn't ack them yet
  2748. // - Sends data so we need to reply with an ACK
  2749. // - ...AND and sends a window announcement that SHRINKS the window, so data we've
  2750. // previously sent is now outside the window. Yes, this is allowed by TCP.
  2751. send!(s, TcpRepr {
  2752. seq_number: REMOTE_SEQ + 1,
  2753. ack_number: Some(LOCAL_SEQ + 1),
  2754. window_len: 3,
  2755. payload: &b"xyzxyz"[..],
  2756. ..SEND_TEMPL
  2757. });
  2758. assert_eq!(s.tx_buffer.len(), 6);
  2759. println!("local_seq_no={} remote_win_len={} remote_last_seq={}", s.local_seq_no, s.remote_win_len, s.remote_last_seq);
  2760. // More data should not get sent since it doesn't fit in the window
  2761. s.send_slice(b"foobar").unwrap();
  2762. recv!(s, [TcpRepr {
  2763. seq_number: LOCAL_SEQ + 1 + 6,
  2764. ack_number: Some(REMOTE_SEQ + 1 + 6),
  2765. window_len: 64 - 6,
  2766. ..RECV_TEMPL
  2767. }]);
  2768. }
  2769. #[test]
  2770. fn test_established_send_wrap() {
  2771. let mut s = socket_established();
  2772. let local_seq_start = TcpSeqNumber(i32::MAX - 1);
  2773. s.local_seq_no = local_seq_start + 1;
  2774. s.remote_last_seq = local_seq_start + 1;
  2775. s.send_slice(b"abc").unwrap();
  2776. recv!(s, time 1000, Ok(TcpRepr {
  2777. seq_number: local_seq_start + 1,
  2778. ack_number: Some(REMOTE_SEQ + 1),
  2779. payload: &b"abc"[..],
  2780. ..RECV_TEMPL
  2781. }));
  2782. }
  2783. #[test]
  2784. fn test_established_no_ack() {
  2785. let mut s = socket_established();
  2786. send!(s, TcpRepr {
  2787. seq_number: REMOTE_SEQ + 1,
  2788. ack_number: None,
  2789. ..SEND_TEMPL
  2790. }, Err(Error::Dropped));
  2791. }
  2792. #[test]
  2793. fn test_established_bad_ack() {
  2794. let mut s = socket_established();
  2795. // Already acknowledged data.
  2796. send!(s, TcpRepr {
  2797. seq_number: REMOTE_SEQ + 1,
  2798. ack_number: Some(TcpSeqNumber(LOCAL_SEQ.0 - 1)),
  2799. ..SEND_TEMPL
  2800. }, Err(Error::Dropped));
  2801. assert_eq!(s.local_seq_no, LOCAL_SEQ + 1);
  2802. // Data not yet transmitted.
  2803. send!(s, TcpRepr {
  2804. seq_number: REMOTE_SEQ + 1,
  2805. ack_number: Some(LOCAL_SEQ + 10),
  2806. ..SEND_TEMPL
  2807. }, Ok(Some(TcpRepr {
  2808. seq_number: LOCAL_SEQ + 1,
  2809. ack_number: Some(REMOTE_SEQ + 1),
  2810. ..RECV_TEMPL
  2811. })));
  2812. assert_eq!(s.local_seq_no, LOCAL_SEQ + 1);
  2813. }
  2814. #[test]
  2815. fn test_established_bad_seq() {
  2816. let mut s = socket_established();
  2817. // Data outside of receive window.
  2818. send!(s, TcpRepr {
  2819. seq_number: REMOTE_SEQ + 1 + 256,
  2820. ack_number: Some(LOCAL_SEQ + 1),
  2821. ..SEND_TEMPL
  2822. }, Ok(Some(TcpRepr {
  2823. seq_number: LOCAL_SEQ + 1,
  2824. ack_number: Some(REMOTE_SEQ + 1),
  2825. ..RECV_TEMPL
  2826. })));
  2827. assert_eq!(s.remote_seq_no, REMOTE_SEQ + 1);
  2828. }
  2829. #[test]
  2830. fn test_established_fin() {
  2831. let mut s = socket_established();
  2832. send!(s, TcpRepr {
  2833. control: TcpControl::Fin,
  2834. seq_number: REMOTE_SEQ + 1,
  2835. ack_number: Some(LOCAL_SEQ + 1),
  2836. ..SEND_TEMPL
  2837. });
  2838. recv!(s, [TcpRepr {
  2839. seq_number: LOCAL_SEQ + 1,
  2840. ack_number: Some(REMOTE_SEQ + 1 + 1),
  2841. ..RECV_TEMPL
  2842. }]);
  2843. assert_eq!(s.state, State::CloseWait);
  2844. sanity!(s, socket_close_wait());
  2845. }
  2846. #[test]
  2847. fn test_established_fin_after_missing() {
  2848. let mut s = socket_established();
  2849. send!(s, TcpRepr {
  2850. control: TcpControl::Fin,
  2851. seq_number: REMOTE_SEQ + 1 + 6,
  2852. ack_number: Some(LOCAL_SEQ + 1),
  2853. payload: &b"123456"[..],
  2854. ..SEND_TEMPL
  2855. }, Ok(Some(TcpRepr {
  2856. seq_number: LOCAL_SEQ + 1,
  2857. ack_number: Some(REMOTE_SEQ + 1),
  2858. ..RECV_TEMPL
  2859. })));
  2860. assert_eq!(s.state, State::Established);
  2861. send!(s, TcpRepr {
  2862. seq_number: REMOTE_SEQ + 1,
  2863. ack_number: Some(LOCAL_SEQ + 1),
  2864. payload: &b"abcdef"[..],
  2865. ..SEND_TEMPL
  2866. }, Ok(Some(TcpRepr {
  2867. seq_number: LOCAL_SEQ + 1,
  2868. ack_number: Some(REMOTE_SEQ + 1 + 6 + 6),
  2869. window_len: 52,
  2870. ..RECV_TEMPL
  2871. })));
  2872. assert_eq!(s.state, State::Established);
  2873. }
  2874. #[test]
  2875. fn test_established_send_fin() {
  2876. let mut s = socket_established();
  2877. s.send_slice(b"abcdef").unwrap();
  2878. send!(s, TcpRepr {
  2879. control: TcpControl::Fin,
  2880. seq_number: REMOTE_SEQ + 1,
  2881. ack_number: Some(LOCAL_SEQ + 1),
  2882. ..SEND_TEMPL
  2883. });
  2884. assert_eq!(s.state, State::CloseWait);
  2885. recv!(s, [TcpRepr {
  2886. seq_number: LOCAL_SEQ + 1,
  2887. ack_number: Some(REMOTE_SEQ + 1 + 1),
  2888. payload: &b"abcdef"[..],
  2889. ..RECV_TEMPL
  2890. }]);
  2891. }
  2892. #[test]
  2893. fn test_established_rst() {
  2894. let mut s = socket_established();
  2895. send!(s, TcpRepr {
  2896. control: TcpControl::Rst,
  2897. seq_number: REMOTE_SEQ + 1,
  2898. ack_number: Some(LOCAL_SEQ + 1),
  2899. ..SEND_TEMPL
  2900. });
  2901. assert_eq!(s.state, State::Closed);
  2902. }
  2903. #[test]
  2904. fn test_established_rst_no_ack() {
  2905. let mut s = socket_established();
  2906. send!(s, TcpRepr {
  2907. control: TcpControl::Rst,
  2908. seq_number: REMOTE_SEQ + 1,
  2909. ack_number: None,
  2910. ..SEND_TEMPL
  2911. });
  2912. assert_eq!(s.state, State::Closed);
  2913. }
  2914. #[test]
  2915. fn test_established_close() {
  2916. let mut s = socket_established();
  2917. s.close();
  2918. assert_eq!(s.state, State::FinWait1);
  2919. sanity!(s, socket_fin_wait_1());
  2920. }
  2921. #[test]
  2922. fn test_established_abort() {
  2923. let mut s = socket_established();
  2924. s.abort();
  2925. assert_eq!(s.state, State::Closed);
  2926. recv!(s, [TcpRepr {
  2927. control: TcpControl::Rst,
  2928. seq_number: LOCAL_SEQ + 1,
  2929. ack_number: Some(REMOTE_SEQ + 1),
  2930. ..RECV_TEMPL
  2931. }]);
  2932. }
  2933. #[test]
  2934. fn test_established_rst_bad_seq() {
  2935. let mut s = socket_established();
  2936. send!(s, TcpRepr {
  2937. control: TcpControl::Rst,
  2938. seq_number: REMOTE_SEQ, // Wrong seq
  2939. ack_number: None,
  2940. ..SEND_TEMPL
  2941. }, Ok(Some(TcpRepr {
  2942. seq_number: LOCAL_SEQ + 1,
  2943. ack_number: Some(REMOTE_SEQ + 1),
  2944. ..RECV_TEMPL
  2945. })));
  2946. assert_eq!(s.state, State::Established);
  2947. // Send something to advance seq by 1
  2948. send!(s, TcpRepr {
  2949. seq_number: REMOTE_SEQ + 1, // correct seq
  2950. ack_number: Some(LOCAL_SEQ + 1),
  2951. payload: &b"a"[..],
  2952. ..SEND_TEMPL
  2953. });
  2954. // Send wrong rst again, check that the challenge ack is correctly updated
  2955. // The ack number must be updated even if we don't call dispatch on the socket
  2956. // See https://github.com/smoltcp-rs/smoltcp/issues/338
  2957. send!(s, TcpRepr {
  2958. control: TcpControl::Rst,
  2959. seq_number: REMOTE_SEQ, // Wrong seq
  2960. ack_number: None,
  2961. ..SEND_TEMPL
  2962. }, Ok(Some(TcpRepr {
  2963. seq_number: LOCAL_SEQ + 1,
  2964. ack_number: Some(REMOTE_SEQ + 2), // this has changed
  2965. window_len: 63,
  2966. ..RECV_TEMPL
  2967. })));
  2968. }
  2969. // =========================================================================================//
  2970. // Tests for the FIN-WAIT-1 state.
  2971. // =========================================================================================//
  2972. #[test]
  2973. fn test_fin_wait_1_fin_ack() {
  2974. let mut s = socket_fin_wait_1();
  2975. recv!(s, [TcpRepr {
  2976. control: TcpControl::Fin,
  2977. seq_number: LOCAL_SEQ + 1,
  2978. ack_number: Some(REMOTE_SEQ + 1),
  2979. ..RECV_TEMPL
  2980. }]);
  2981. send!(s, TcpRepr {
  2982. seq_number: REMOTE_SEQ + 1,
  2983. ack_number: Some(LOCAL_SEQ + 1 + 1),
  2984. ..SEND_TEMPL
  2985. });
  2986. assert_eq!(s.state, State::FinWait2);
  2987. sanity!(s, socket_fin_wait_2());
  2988. }
  2989. #[test]
  2990. fn test_fin_wait_1_fin_fin() {
  2991. let mut s = socket_fin_wait_1();
  2992. recv!(s, [TcpRepr {
  2993. control: TcpControl::Fin,
  2994. seq_number: LOCAL_SEQ + 1,
  2995. ack_number: Some(REMOTE_SEQ + 1),
  2996. ..RECV_TEMPL
  2997. }]);
  2998. send!(s, TcpRepr {
  2999. control: TcpControl::Fin,
  3000. seq_number: REMOTE_SEQ + 1,
  3001. ack_number: Some(LOCAL_SEQ + 1),
  3002. ..SEND_TEMPL
  3003. });
  3004. assert_eq!(s.state, State::Closing);
  3005. sanity!(s, socket_closing());
  3006. }
  3007. #[test]
  3008. fn test_fin_wait_1_fin_with_data_queued() {
  3009. let mut s = socket_established();
  3010. s.remote_win_len = 6;
  3011. s.send_slice(b"abcdef123456").unwrap();
  3012. s.close();
  3013. recv!(s, Ok(TcpRepr {
  3014. seq_number: LOCAL_SEQ + 1,
  3015. ack_number: Some(REMOTE_SEQ + 1),
  3016. payload: &b"abcdef"[..],
  3017. ..RECV_TEMPL
  3018. }));
  3019. send!(s, TcpRepr {
  3020. seq_number: REMOTE_SEQ + 1,
  3021. ack_number: Some(LOCAL_SEQ + 1 + 6),
  3022. ..SEND_TEMPL
  3023. });
  3024. assert_eq!(s.state, State::FinWait1);
  3025. }
  3026. #[test]
  3027. fn test_fin_wait_1_recv() {
  3028. let mut s = socket_fin_wait_1();
  3029. send!(s, TcpRepr {
  3030. seq_number: REMOTE_SEQ + 1,
  3031. ack_number: Some(LOCAL_SEQ + 1),
  3032. payload: &b"abc"[..],
  3033. ..SEND_TEMPL
  3034. });
  3035. assert_eq!(s.state, State::FinWait1);
  3036. s.recv(|data| {
  3037. assert_eq!(data, b"abc");
  3038. (3, ())
  3039. }).unwrap();
  3040. }
  3041. #[test]
  3042. fn test_fin_wait_1_close() {
  3043. let mut s = socket_fin_wait_1();
  3044. s.close();
  3045. assert_eq!(s.state, State::FinWait1);
  3046. }
  3047. // =========================================================================================//
  3048. // Tests for the FIN-WAIT-2 state.
  3049. // =========================================================================================//
  3050. #[test]
  3051. fn test_fin_wait_2_fin() {
  3052. let mut s = socket_fin_wait_2();
  3053. send!(s, time 1_000, TcpRepr {
  3054. control: TcpControl::Fin,
  3055. seq_number: REMOTE_SEQ + 1,
  3056. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3057. ..SEND_TEMPL
  3058. });
  3059. assert_eq!(s.state, State::TimeWait);
  3060. sanity!(s, socket_time_wait(false));
  3061. }
  3062. #[test]
  3063. fn test_fin_wait_2_recv() {
  3064. let mut s = socket_fin_wait_2();
  3065. send!(s, TcpRepr {
  3066. seq_number: REMOTE_SEQ + 1,
  3067. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3068. payload: &b"abc"[..],
  3069. ..SEND_TEMPL
  3070. });
  3071. assert_eq!(s.state, State::FinWait2);
  3072. s.recv(|data| {
  3073. assert_eq!(data, b"abc");
  3074. (3, ())
  3075. }).unwrap();
  3076. recv!(s, [TcpRepr {
  3077. seq_number: LOCAL_SEQ + 1 + 1,
  3078. ack_number: Some(REMOTE_SEQ + 1 + 3),
  3079. ..RECV_TEMPL
  3080. }]);
  3081. }
  3082. #[test]
  3083. fn test_fin_wait_2_close() {
  3084. let mut s = socket_fin_wait_2();
  3085. s.close();
  3086. assert_eq!(s.state, State::FinWait2);
  3087. }
  3088. // =========================================================================================//
  3089. // Tests for the CLOSING state.
  3090. // =========================================================================================//
  3091. #[test]
  3092. fn test_closing_ack_fin() {
  3093. let mut s = socket_closing();
  3094. recv!(s, [TcpRepr {
  3095. seq_number: LOCAL_SEQ + 1 + 1,
  3096. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3097. ..RECV_TEMPL
  3098. }]);
  3099. send!(s, time 1_000, TcpRepr {
  3100. seq_number: REMOTE_SEQ + 1 + 1,
  3101. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3102. ..SEND_TEMPL
  3103. });
  3104. assert_eq!(s.state, State::TimeWait);
  3105. sanity!(s, socket_time_wait(true));
  3106. }
  3107. #[test]
  3108. fn test_closing_close() {
  3109. let mut s = socket_closing();
  3110. s.close();
  3111. assert_eq!(s.state, State::Closing);
  3112. }
  3113. // =========================================================================================//
  3114. // Tests for the TIME-WAIT state.
  3115. // =========================================================================================//
  3116. #[test]
  3117. fn test_time_wait_from_fin_wait_2_ack() {
  3118. let mut s = socket_time_wait(false);
  3119. recv!(s, [TcpRepr {
  3120. seq_number: LOCAL_SEQ + 1 + 1,
  3121. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3122. ..RECV_TEMPL
  3123. }]);
  3124. }
  3125. #[test]
  3126. fn test_time_wait_from_closing_no_ack() {
  3127. let mut s = socket_time_wait(true);
  3128. recv!(s, []);
  3129. }
  3130. #[test]
  3131. fn test_time_wait_close() {
  3132. let mut s = socket_time_wait(false);
  3133. s.close();
  3134. assert_eq!(s.state, State::TimeWait);
  3135. }
  3136. #[test]
  3137. fn test_time_wait_retransmit() {
  3138. let mut s = socket_time_wait(false);
  3139. recv!(s, [TcpRepr {
  3140. seq_number: LOCAL_SEQ + 1 + 1,
  3141. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3142. ..RECV_TEMPL
  3143. }]);
  3144. send!(s, time 5_000, TcpRepr {
  3145. control: TcpControl::Fin,
  3146. seq_number: REMOTE_SEQ + 1,
  3147. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3148. ..SEND_TEMPL
  3149. }, Ok(Some(TcpRepr {
  3150. seq_number: LOCAL_SEQ + 1 + 1,
  3151. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3152. ..RECV_TEMPL
  3153. })));
  3154. assert_eq!(s.timer, Timer::Close { expires_at: Instant::from_secs(5) + CLOSE_DELAY });
  3155. }
  3156. #[test]
  3157. fn test_time_wait_timeout() {
  3158. let mut s = socket_time_wait(false);
  3159. recv!(s, [TcpRepr {
  3160. seq_number: LOCAL_SEQ + 1 + 1,
  3161. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3162. ..RECV_TEMPL
  3163. }]);
  3164. assert_eq!(s.state, State::TimeWait);
  3165. recv!(s, time 60_000, Err(Error::Exhausted));
  3166. assert_eq!(s.state, State::Closed);
  3167. }
  3168. // =========================================================================================//
  3169. // Tests for the CLOSE-WAIT state.
  3170. // =========================================================================================//
  3171. #[test]
  3172. fn test_close_wait_ack() {
  3173. let mut s = socket_close_wait();
  3174. s.send_slice(b"abcdef").unwrap();
  3175. recv!(s, [TcpRepr {
  3176. seq_number: LOCAL_SEQ + 1,
  3177. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3178. payload: &b"abcdef"[..],
  3179. ..RECV_TEMPL
  3180. }]);
  3181. send!(s, TcpRepr {
  3182. seq_number: REMOTE_SEQ + 1 + 1,
  3183. ack_number: Some(LOCAL_SEQ + 1 + 6),
  3184. ..SEND_TEMPL
  3185. });
  3186. }
  3187. #[test]
  3188. fn test_close_wait_close() {
  3189. let mut s = socket_close_wait();
  3190. s.close();
  3191. assert_eq!(s.state, State::LastAck);
  3192. sanity!(s, socket_last_ack());
  3193. }
  3194. // =========================================================================================//
  3195. // Tests for the LAST-ACK state.
  3196. // =========================================================================================//
  3197. #[test]
  3198. fn test_last_ack_fin_ack() {
  3199. let mut s = socket_last_ack();
  3200. recv!(s, [TcpRepr {
  3201. control: TcpControl::Fin,
  3202. seq_number: LOCAL_SEQ + 1,
  3203. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3204. ..RECV_TEMPL
  3205. }]);
  3206. assert_eq!(s.state, State::LastAck);
  3207. send!(s, TcpRepr {
  3208. seq_number: REMOTE_SEQ + 1 + 1,
  3209. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3210. ..SEND_TEMPL
  3211. });
  3212. assert_eq!(s.state, State::Closed);
  3213. }
  3214. #[test]
  3215. fn test_last_ack_ack_not_of_fin() {
  3216. let mut s = socket_last_ack();
  3217. recv!(s, [TcpRepr {
  3218. control: TcpControl::Fin,
  3219. seq_number: LOCAL_SEQ + 1,
  3220. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3221. ..RECV_TEMPL
  3222. }]);
  3223. assert_eq!(s.state, State::LastAck);
  3224. // ACK received that doesn't ack the FIN: socket should stay in LastAck.
  3225. send!(s, TcpRepr {
  3226. seq_number: REMOTE_SEQ + 1 + 1,
  3227. ack_number: Some(LOCAL_SEQ + 1),
  3228. ..SEND_TEMPL
  3229. });
  3230. assert_eq!(s.state, State::LastAck);
  3231. // ACK received of fin: socket should change to Closed.
  3232. send!(s, TcpRepr {
  3233. seq_number: REMOTE_SEQ + 1 + 1,
  3234. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3235. ..SEND_TEMPL
  3236. });
  3237. assert_eq!(s.state, State::Closed);
  3238. }
  3239. #[test]
  3240. fn test_last_ack_close() {
  3241. let mut s = socket_last_ack();
  3242. s.close();
  3243. assert_eq!(s.state, State::LastAck);
  3244. }
  3245. // =========================================================================================//
  3246. // Tests for transitioning through multiple states.
  3247. // =========================================================================================//
  3248. #[test]
  3249. fn test_listen() {
  3250. let mut s = socket();
  3251. s.listen(IpEndpoint::new(IpAddress::default(), LOCAL_PORT)).unwrap();
  3252. assert_eq!(s.state, State::Listen);
  3253. }
  3254. #[test]
  3255. fn test_three_way_handshake() {
  3256. let mut s = socket_listen();
  3257. send!(s, TcpRepr {
  3258. control: TcpControl::Syn,
  3259. seq_number: REMOTE_SEQ,
  3260. ack_number: None,
  3261. ..SEND_TEMPL
  3262. });
  3263. assert_eq!(s.state(), State::SynReceived);
  3264. assert_eq!(s.local_endpoint(), LOCAL_END);
  3265. assert_eq!(s.remote_endpoint(), REMOTE_END);
  3266. recv!(s, [TcpRepr {
  3267. control: TcpControl::Syn,
  3268. seq_number: LOCAL_SEQ,
  3269. ack_number: Some(REMOTE_SEQ + 1),
  3270. max_seg_size: Some(BASE_MSS),
  3271. ..RECV_TEMPL
  3272. }]);
  3273. send!(s, TcpRepr {
  3274. seq_number: REMOTE_SEQ + 1,
  3275. ack_number: Some(LOCAL_SEQ + 1),
  3276. ..SEND_TEMPL
  3277. });
  3278. assert_eq!(s.state(), State::Established);
  3279. assert_eq!(s.local_seq_no, LOCAL_SEQ + 1);
  3280. assert_eq!(s.remote_seq_no, REMOTE_SEQ + 1);
  3281. }
  3282. #[test]
  3283. fn test_remote_close() {
  3284. let mut s = socket_established();
  3285. send!(s, TcpRepr {
  3286. control: TcpControl::Fin,
  3287. seq_number: REMOTE_SEQ + 1,
  3288. ack_number: Some(LOCAL_SEQ + 1),
  3289. ..SEND_TEMPL
  3290. });
  3291. assert_eq!(s.state, State::CloseWait);
  3292. recv!(s, [TcpRepr {
  3293. seq_number: LOCAL_SEQ + 1,
  3294. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3295. ..RECV_TEMPL
  3296. }]);
  3297. s.close();
  3298. assert_eq!(s.state, State::LastAck);
  3299. recv!(s, [TcpRepr {
  3300. control: TcpControl::Fin,
  3301. seq_number: LOCAL_SEQ + 1,
  3302. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3303. ..RECV_TEMPL
  3304. }]);
  3305. send!(s, TcpRepr {
  3306. seq_number: REMOTE_SEQ + 1 + 1,
  3307. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3308. ..SEND_TEMPL
  3309. });
  3310. assert_eq!(s.state, State::Closed);
  3311. }
  3312. #[test]
  3313. fn test_local_close() {
  3314. let mut s = socket_established();
  3315. s.close();
  3316. assert_eq!(s.state, State::FinWait1);
  3317. recv!(s, [TcpRepr {
  3318. control: TcpControl::Fin,
  3319. seq_number: LOCAL_SEQ + 1,
  3320. ack_number: Some(REMOTE_SEQ + 1),
  3321. ..RECV_TEMPL
  3322. }]);
  3323. send!(s, TcpRepr {
  3324. seq_number: REMOTE_SEQ + 1,
  3325. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3326. ..SEND_TEMPL
  3327. });
  3328. assert_eq!(s.state, State::FinWait2);
  3329. send!(s, TcpRepr {
  3330. control: TcpControl::Fin,
  3331. seq_number: REMOTE_SEQ + 1,
  3332. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3333. ..SEND_TEMPL
  3334. });
  3335. assert_eq!(s.state, State::TimeWait);
  3336. recv!(s, [TcpRepr {
  3337. seq_number: LOCAL_SEQ + 1 + 1,
  3338. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3339. ..RECV_TEMPL
  3340. }]);
  3341. }
  3342. #[test]
  3343. fn test_simultaneous_close() {
  3344. let mut s = socket_established();
  3345. s.close();
  3346. assert_eq!(s.state, State::FinWait1);
  3347. recv!(s, [TcpRepr { // due to reordering, this is logically located...
  3348. control: TcpControl::Fin,
  3349. seq_number: LOCAL_SEQ + 1,
  3350. ack_number: Some(REMOTE_SEQ + 1),
  3351. ..RECV_TEMPL
  3352. }]);
  3353. send!(s, TcpRepr {
  3354. control: TcpControl::Fin,
  3355. seq_number: REMOTE_SEQ + 1,
  3356. ack_number: Some(LOCAL_SEQ + 1),
  3357. ..SEND_TEMPL
  3358. });
  3359. assert_eq!(s.state, State::Closing);
  3360. recv!(s, [TcpRepr {
  3361. seq_number: LOCAL_SEQ + 1 + 1,
  3362. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3363. ..RECV_TEMPL
  3364. }]);
  3365. // ... at this point
  3366. send!(s, TcpRepr {
  3367. seq_number: REMOTE_SEQ + 1 + 1,
  3368. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3369. ..SEND_TEMPL
  3370. });
  3371. assert_eq!(s.state, State::TimeWait);
  3372. recv!(s, []);
  3373. }
  3374. #[test]
  3375. fn test_simultaneous_close_combined_fin_ack() {
  3376. let mut s = socket_established();
  3377. s.close();
  3378. assert_eq!(s.state, State::FinWait1);
  3379. recv!(s, [TcpRepr {
  3380. control: TcpControl::Fin,
  3381. seq_number: LOCAL_SEQ + 1,
  3382. ack_number: Some(REMOTE_SEQ + 1),
  3383. ..RECV_TEMPL
  3384. }]);
  3385. send!(s, TcpRepr {
  3386. control: TcpControl::Fin,
  3387. seq_number: REMOTE_SEQ + 1,
  3388. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3389. ..SEND_TEMPL
  3390. });
  3391. assert_eq!(s.state, State::TimeWait);
  3392. recv!(s, [TcpRepr {
  3393. seq_number: LOCAL_SEQ + 1 + 1,
  3394. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3395. ..RECV_TEMPL
  3396. }]);
  3397. }
  3398. #[test]
  3399. fn test_simultaneous_close_raced() {
  3400. let mut s = socket_established();
  3401. s.close();
  3402. assert_eq!(s.state, State::FinWait1);
  3403. // Socket receives FIN before it has a chance to send its own FIN
  3404. send!(s, TcpRepr {
  3405. control: TcpControl::Fin,
  3406. seq_number: REMOTE_SEQ + 1,
  3407. ack_number: Some(LOCAL_SEQ + 1),
  3408. ..SEND_TEMPL
  3409. });
  3410. assert_eq!(s.state, State::Closing);
  3411. // FIN + ack-of-FIN
  3412. recv!(s, [TcpRepr {
  3413. control: TcpControl::Fin,
  3414. seq_number: LOCAL_SEQ + 1,
  3415. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3416. ..RECV_TEMPL
  3417. }]);
  3418. assert_eq!(s.state, State::Closing);
  3419. send!(s, TcpRepr {
  3420. seq_number: REMOTE_SEQ + 1 + 1,
  3421. ack_number: Some(LOCAL_SEQ + 1 + 1),
  3422. ..SEND_TEMPL
  3423. });
  3424. assert_eq!(s.state, State::TimeWait);
  3425. recv!(s, []);
  3426. }
  3427. #[test]
  3428. fn test_simultaneous_close_raced_with_data() {
  3429. let mut s = socket_established();
  3430. s.send_slice(b"abcdef").unwrap();
  3431. s.close();
  3432. assert_eq!(s.state, State::FinWait1);
  3433. // Socket receives FIN before it has a chance to send its own data+FIN
  3434. send!(s, TcpRepr {
  3435. control: TcpControl::Fin,
  3436. seq_number: REMOTE_SEQ + 1,
  3437. ack_number: Some(LOCAL_SEQ + 1),
  3438. ..SEND_TEMPL
  3439. });
  3440. assert_eq!(s.state, State::Closing);
  3441. // data + FIN + ack-of-FIN
  3442. recv!(s, [TcpRepr {
  3443. control: TcpControl::Fin,
  3444. seq_number: LOCAL_SEQ + 1,
  3445. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3446. payload: &b"abcdef"[..],
  3447. ..RECV_TEMPL
  3448. }]);
  3449. assert_eq!(s.state, State::Closing);
  3450. send!(s, TcpRepr {
  3451. seq_number: REMOTE_SEQ + 1 + 1,
  3452. ack_number: Some(LOCAL_SEQ + 1 + 6 + 1),
  3453. ..SEND_TEMPL
  3454. });
  3455. assert_eq!(s.state, State::TimeWait);
  3456. recv!(s, []);
  3457. }
  3458. #[test]
  3459. fn test_fin_with_data() {
  3460. let mut s = socket_established();
  3461. s.send_slice(b"abcdef").unwrap();
  3462. s.close();
  3463. recv!(s, [TcpRepr {
  3464. control: TcpControl::Fin,
  3465. seq_number: LOCAL_SEQ + 1,
  3466. ack_number: Some(REMOTE_SEQ + 1),
  3467. payload: &b"abcdef"[..],
  3468. ..RECV_TEMPL
  3469. }])
  3470. }
  3471. #[test]
  3472. fn test_mutual_close_with_data_1() {
  3473. let mut s = socket_established();
  3474. s.send_slice(b"abcdef").unwrap();
  3475. s.close();
  3476. assert_eq!(s.state, State::FinWait1);
  3477. recv!(s, [TcpRepr {
  3478. control: TcpControl::Fin,
  3479. seq_number: LOCAL_SEQ + 1,
  3480. ack_number: Some(REMOTE_SEQ + 1),
  3481. payload: &b"abcdef"[..],
  3482. ..RECV_TEMPL
  3483. }]);
  3484. send!(s, TcpRepr {
  3485. control: TcpControl::Fin,
  3486. seq_number: REMOTE_SEQ + 1,
  3487. ack_number: Some(LOCAL_SEQ + 1 + 6 + 1),
  3488. ..SEND_TEMPL
  3489. });
  3490. }
  3491. #[test]
  3492. fn test_mutual_close_with_data_2() {
  3493. let mut s = socket_established();
  3494. s.send_slice(b"abcdef").unwrap();
  3495. s.close();
  3496. assert_eq!(s.state, State::FinWait1);
  3497. recv!(s, [TcpRepr {
  3498. control: TcpControl::Fin,
  3499. seq_number: LOCAL_SEQ + 1,
  3500. ack_number: Some(REMOTE_SEQ + 1),
  3501. payload: &b"abcdef"[..],
  3502. ..RECV_TEMPL
  3503. }]);
  3504. send!(s, TcpRepr {
  3505. seq_number: REMOTE_SEQ + 1,
  3506. ack_number: Some(LOCAL_SEQ + 1 + 6 + 1),
  3507. ..SEND_TEMPL
  3508. });
  3509. assert_eq!(s.state, State::FinWait2);
  3510. send!(s, TcpRepr {
  3511. control: TcpControl::Fin,
  3512. seq_number: REMOTE_SEQ + 1,
  3513. ack_number: Some(LOCAL_SEQ + 1 + 6 + 1),
  3514. ..SEND_TEMPL
  3515. });
  3516. recv!(s, [TcpRepr {
  3517. seq_number: LOCAL_SEQ + 1 + 6 + 1,
  3518. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3519. ..RECV_TEMPL
  3520. }]);
  3521. assert_eq!(s.state, State::TimeWait);
  3522. }
  3523. // =========================================================================================//
  3524. // Tests for retransmission on packet loss.
  3525. // =========================================================================================//
  3526. #[test]
  3527. fn test_duplicate_seq_ack() {
  3528. let mut s = socket_recved();
  3529. // remote retransmission
  3530. send!(s, TcpRepr {
  3531. seq_number: REMOTE_SEQ + 1,
  3532. ack_number: Some(LOCAL_SEQ + 1),
  3533. payload: &b"abcdef"[..],
  3534. ..SEND_TEMPL
  3535. }, Ok(Some(TcpRepr {
  3536. seq_number: LOCAL_SEQ + 1,
  3537. ack_number: Some(REMOTE_SEQ + 1 + 6),
  3538. window_len: 58,
  3539. ..RECV_TEMPL
  3540. })));
  3541. }
  3542. #[test]
  3543. fn test_data_retransmit() {
  3544. let mut s = socket_established();
  3545. s.send_slice(b"abcdef").unwrap();
  3546. recv!(s, time 1000, Ok(TcpRepr {
  3547. seq_number: LOCAL_SEQ + 1,
  3548. ack_number: Some(REMOTE_SEQ + 1),
  3549. payload: &b"abcdef"[..],
  3550. ..RECV_TEMPL
  3551. }));
  3552. recv!(s, time 1050, Err(Error::Exhausted));
  3553. recv!(s, time 2000, Ok(TcpRepr {
  3554. seq_number: LOCAL_SEQ + 1,
  3555. ack_number: Some(REMOTE_SEQ + 1),
  3556. payload: &b"abcdef"[..],
  3557. ..RECV_TEMPL
  3558. }));
  3559. }
  3560. #[test]
  3561. fn test_data_retransmit_bursts() {
  3562. let mut s = socket_established();
  3563. s.remote_mss = 6;
  3564. s.send_slice(b"abcdef012345").unwrap();
  3565. recv!(s, time 0, Ok(TcpRepr {
  3566. control: TcpControl::None,
  3567. seq_number: LOCAL_SEQ + 1,
  3568. ack_number: Some(REMOTE_SEQ + 1),
  3569. payload: &b"abcdef"[..],
  3570. ..RECV_TEMPL
  3571. }), exact);
  3572. recv!(s, time 0, Ok(TcpRepr {
  3573. control: TcpControl::Psh,
  3574. seq_number: LOCAL_SEQ + 1 + 6,
  3575. ack_number: Some(REMOTE_SEQ + 1),
  3576. payload: &b"012345"[..],
  3577. ..RECV_TEMPL
  3578. }), exact);
  3579. recv!(s, time 0, Err(Error::Exhausted));
  3580. recv!(s, time 50, Err(Error::Exhausted));
  3581. recv!(s, time 1000, Ok(TcpRepr {
  3582. control: TcpControl::None,
  3583. seq_number: LOCAL_SEQ + 1,
  3584. ack_number: Some(REMOTE_SEQ + 1),
  3585. payload: &b"abcdef"[..],
  3586. ..RECV_TEMPL
  3587. }), exact);
  3588. recv!(s, time 1500, Ok(TcpRepr {
  3589. control: TcpControl::Psh,
  3590. seq_number: LOCAL_SEQ + 1 + 6,
  3591. ack_number: Some(REMOTE_SEQ + 1),
  3592. payload: &b"012345"[..],
  3593. ..RECV_TEMPL
  3594. }), exact);
  3595. recv!(s, time 1550, Err(Error::Exhausted));
  3596. }
  3597. #[test]
  3598. fn test_send_data_after_syn_ack_retransmit() {
  3599. let mut s = socket_syn_received();
  3600. recv!(s, time 50, Ok(TcpRepr {
  3601. control: TcpControl::Syn,
  3602. seq_number: LOCAL_SEQ,
  3603. ack_number: Some(REMOTE_SEQ + 1),
  3604. max_seg_size: Some(BASE_MSS),
  3605. ..RECV_TEMPL
  3606. }));
  3607. recv!(s, time 750, Ok(TcpRepr { // retransmit
  3608. control: TcpControl::Syn,
  3609. seq_number: LOCAL_SEQ,
  3610. ack_number: Some(REMOTE_SEQ + 1),
  3611. max_seg_size: Some(BASE_MSS),
  3612. ..RECV_TEMPL
  3613. }));
  3614. send!(s, TcpRepr {
  3615. seq_number: REMOTE_SEQ + 1,
  3616. ack_number: Some(LOCAL_SEQ + 1),
  3617. ..SEND_TEMPL
  3618. });
  3619. assert_eq!(s.state(), State::Established);
  3620. s.send_slice(b"abcdef").unwrap();
  3621. recv!(s, [TcpRepr {
  3622. seq_number: LOCAL_SEQ + 1,
  3623. ack_number: Some(REMOTE_SEQ + 1),
  3624. payload: &b"abcdef"[..],
  3625. ..RECV_TEMPL
  3626. }])
  3627. }
  3628. #[test]
  3629. fn test_established_retransmit_for_dup_ack() {
  3630. let mut s = socket_established();
  3631. // Duplicate ACKs do not replace the retransmission timer
  3632. s.send_slice(b"abc").unwrap();
  3633. recv!(s, time 1000, Ok(TcpRepr {
  3634. seq_number: LOCAL_SEQ + 1,
  3635. ack_number: Some(REMOTE_SEQ + 1),
  3636. payload: &b"abc"[..],
  3637. ..RECV_TEMPL
  3638. }));
  3639. // Retransmit timer is on because all data was sent
  3640. assert_eq!(s.tx_buffer.len(), 3);
  3641. // ACK nothing new
  3642. send!(s, TcpRepr {
  3643. seq_number: REMOTE_SEQ + 1,
  3644. ack_number: Some(LOCAL_SEQ + 1),
  3645. ..SEND_TEMPL
  3646. });
  3647. // Retransmit
  3648. recv!(s, time 4000, Ok(TcpRepr {
  3649. seq_number: LOCAL_SEQ + 1,
  3650. ack_number: Some(REMOTE_SEQ + 1),
  3651. payload: &b"abc"[..],
  3652. ..RECV_TEMPL
  3653. }));
  3654. }
  3655. #[test]
  3656. fn test_established_retransmit_reset_after_ack() {
  3657. let mut s = socket_established();
  3658. s.remote_win_len = 6;
  3659. s.send_slice(b"abcdef").unwrap();
  3660. s.send_slice(b"123456").unwrap();
  3661. s.send_slice(b"ABCDEF").unwrap();
  3662. recv!(s, time 1000, Ok(TcpRepr {
  3663. seq_number: LOCAL_SEQ + 1,
  3664. ack_number: Some(REMOTE_SEQ + 1),
  3665. payload: &b"abcdef"[..],
  3666. ..RECV_TEMPL
  3667. }));
  3668. send!(s, time 1005, TcpRepr {
  3669. seq_number: REMOTE_SEQ + 1,
  3670. ack_number: Some(LOCAL_SEQ + 1 + 6),
  3671. window_len: 6,
  3672. ..SEND_TEMPL
  3673. });
  3674. recv!(s, time 1010, Ok(TcpRepr {
  3675. seq_number: LOCAL_SEQ + 1 + 6,
  3676. ack_number: Some(REMOTE_SEQ + 1),
  3677. payload: &b"123456"[..],
  3678. ..RECV_TEMPL
  3679. }));
  3680. send!(s, time 1015, TcpRepr {
  3681. seq_number: REMOTE_SEQ + 1,
  3682. ack_number: Some(LOCAL_SEQ + 1 + 6 + 6),
  3683. window_len: 6,
  3684. ..SEND_TEMPL
  3685. });
  3686. recv!(s, time 1020, Ok(TcpRepr {
  3687. seq_number: LOCAL_SEQ + 1 + 6 + 6,
  3688. ack_number: Some(REMOTE_SEQ + 1),
  3689. payload: &b"ABCDEF"[..],
  3690. ..RECV_TEMPL
  3691. }));
  3692. }
  3693. #[test]
  3694. fn test_established_queue_during_retransmission() {
  3695. let mut s = socket_established();
  3696. s.remote_mss = 6;
  3697. s.send_slice(b"abcdef123456ABCDEF").unwrap();
  3698. recv!(s, time 1000, Ok(TcpRepr {
  3699. seq_number: LOCAL_SEQ + 1,
  3700. ack_number: Some(REMOTE_SEQ + 1),
  3701. payload: &b"abcdef"[..],
  3702. ..RECV_TEMPL
  3703. })); // this one is dropped
  3704. recv!(s, time 1005, Ok(TcpRepr {
  3705. seq_number: LOCAL_SEQ + 1 + 6,
  3706. ack_number: Some(REMOTE_SEQ + 1),
  3707. payload: &b"123456"[..],
  3708. ..RECV_TEMPL
  3709. })); // this one is received
  3710. recv!(s, time 1010, Ok(TcpRepr {
  3711. seq_number: LOCAL_SEQ + 1 + 6 + 6,
  3712. ack_number: Some(REMOTE_SEQ + 1),
  3713. payload: &b"ABCDEF"[..],
  3714. ..RECV_TEMPL
  3715. })); // also dropped
  3716. recv!(s, time 2000, Ok(TcpRepr {
  3717. seq_number: LOCAL_SEQ + 1,
  3718. ack_number: Some(REMOTE_SEQ + 1),
  3719. payload: &b"abcdef"[..],
  3720. ..RECV_TEMPL
  3721. })); // retransmission
  3722. send!(s, time 2005, TcpRepr {
  3723. seq_number: REMOTE_SEQ + 1,
  3724. ack_number: Some(LOCAL_SEQ + 1 + 6 + 6),
  3725. ..SEND_TEMPL
  3726. }); // acknowledgement of both segments
  3727. recv!(s, time 2010, Ok(TcpRepr {
  3728. seq_number: LOCAL_SEQ + 1 + 6 + 6,
  3729. ack_number: Some(REMOTE_SEQ + 1),
  3730. payload: &b"ABCDEF"[..],
  3731. ..RECV_TEMPL
  3732. })); // retransmission of only unacknowledged data
  3733. }
  3734. #[test]
  3735. fn test_close_wait_retransmit_reset_after_ack() {
  3736. let mut s = socket_close_wait();
  3737. s.remote_win_len = 6;
  3738. s.send_slice(b"abcdef").unwrap();
  3739. s.send_slice(b"123456").unwrap();
  3740. s.send_slice(b"ABCDEF").unwrap();
  3741. recv!(s, time 1000, Ok(TcpRepr {
  3742. seq_number: LOCAL_SEQ + 1,
  3743. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3744. payload: &b"abcdef"[..],
  3745. ..RECV_TEMPL
  3746. }));
  3747. send!(s, time 1005, TcpRepr {
  3748. seq_number: REMOTE_SEQ + 1 + 1,
  3749. ack_number: Some(LOCAL_SEQ + 1 + 6),
  3750. window_len: 6,
  3751. ..SEND_TEMPL
  3752. });
  3753. recv!(s, time 1010, Ok(TcpRepr {
  3754. seq_number: LOCAL_SEQ + 1 + 6,
  3755. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3756. payload: &b"123456"[..],
  3757. ..RECV_TEMPL
  3758. }));
  3759. send!(s, time 1015, TcpRepr {
  3760. seq_number: REMOTE_SEQ + 1 + 1,
  3761. ack_number: Some(LOCAL_SEQ + 1 + 6 + 6),
  3762. window_len: 6,
  3763. ..SEND_TEMPL
  3764. });
  3765. recv!(s, time 1020, Ok(TcpRepr {
  3766. seq_number: LOCAL_SEQ + 1 + 6 + 6,
  3767. ack_number: Some(REMOTE_SEQ + 1 + 1),
  3768. payload: &b"ABCDEF"[..],
  3769. ..RECV_TEMPL
  3770. }));
  3771. }
  3772. #[test]
  3773. fn test_fin_wait_1_retransmit_reset_after_ack() {
  3774. let mut s = socket_established();
  3775. s.remote_win_len = 6;
  3776. s.send_slice(b"abcdef").unwrap();
  3777. s.send_slice(b"123456").unwrap();
  3778. s.send_slice(b"ABCDEF").unwrap();
  3779. s.close();
  3780. recv!(s, time 1000, Ok(TcpRepr {
  3781. seq_number: LOCAL_SEQ + 1,
  3782. ack_number: Some(REMOTE_SEQ + 1),
  3783. payload: &b"abcdef"[..],
  3784. ..RECV_TEMPL
  3785. }));
  3786. send!(s, time 1005, TcpRepr {
  3787. seq_number: REMOTE_SEQ + 1,
  3788. ack_number: Some(LOCAL_SEQ + 1 + 6),
  3789. window_len: 6,
  3790. ..SEND_TEMPL
  3791. });
  3792. recv!(s, time 1010, Ok(TcpRepr {
  3793. seq_number: LOCAL_SEQ + 1 + 6,
  3794. ack_number: Some(REMOTE_SEQ + 1),
  3795. payload: &b"123456"[..],
  3796. ..RECV_TEMPL
  3797. }));
  3798. send!(s, time 1015, TcpRepr {
  3799. seq_number: REMOTE_SEQ + 1,
  3800. ack_number: Some(LOCAL_SEQ + 1 + 6 + 6),
  3801. window_len: 6,
  3802. ..SEND_TEMPL
  3803. });
  3804. recv!(s, time 1020, Ok(TcpRepr {
  3805. control: TcpControl::Fin,
  3806. seq_number: LOCAL_SEQ + 1 + 6 + 6,
  3807. ack_number: Some(REMOTE_SEQ + 1),
  3808. payload: &b"ABCDEF"[..],
  3809. ..RECV_TEMPL
  3810. }));
  3811. }
  3812. #[test]
  3813. fn test_fast_retransmit_after_triple_duplicate_ack() {
  3814. let mut s = socket_established();
  3815. s.remote_mss = 6;
  3816. // Normal ACK of previously recived segment
  3817. send!(s, time 0, TcpRepr {
  3818. seq_number: REMOTE_SEQ + 1,
  3819. ack_number: Some(LOCAL_SEQ + 1),
  3820. ..SEND_TEMPL
  3821. });
  3822. // Send a long string of text divided into several packets
  3823. // because of previously recieved "window_len"
  3824. s.send_slice(b"xxxxxxyyyyyywwwwwwzzzzzz").unwrap();
  3825. // This packet is lost
  3826. recv!(s, time 1000, Ok(TcpRepr {
  3827. seq_number: LOCAL_SEQ + 1,
  3828. ack_number: Some(REMOTE_SEQ + 1),
  3829. payload: &b"xxxxxx"[..],
  3830. ..RECV_TEMPL
  3831. }));
  3832. recv!(s, time 1005, Ok(TcpRepr {
  3833. seq_number: LOCAL_SEQ + 1 + 6,
  3834. ack_number: Some(REMOTE_SEQ + 1),
  3835. payload: &b"yyyyyy"[..],
  3836. ..RECV_TEMPL
  3837. }));
  3838. recv!(s, time 1010, Ok(TcpRepr {
  3839. seq_number: LOCAL_SEQ + 1 + (6 * 2),
  3840. ack_number: Some(REMOTE_SEQ + 1),
  3841. payload: &b"wwwwww"[..],
  3842. ..RECV_TEMPL
  3843. }));
  3844. recv!(s, time 1015, Ok(TcpRepr {
  3845. seq_number: LOCAL_SEQ + 1 + (6 * 3),
  3846. ack_number: Some(REMOTE_SEQ + 1),
  3847. payload: &b"zzzzzz"[..],
  3848. ..RECV_TEMPL
  3849. }));
  3850. // First duplicate ACK
  3851. send!(s, time 1050, TcpRepr {
  3852. seq_number: REMOTE_SEQ + 1,
  3853. ack_number: Some(LOCAL_SEQ + 1),
  3854. ..SEND_TEMPL
  3855. });
  3856. // Second duplicate ACK
  3857. send!(s, time 1055, TcpRepr {
  3858. seq_number: REMOTE_SEQ + 1,
  3859. ack_number: Some(LOCAL_SEQ + 1),
  3860. ..SEND_TEMPL
  3861. });
  3862. // Third duplicate ACK
  3863. // Should trigger a fast retransmit of dropped packet
  3864. send!(s, time 1060, TcpRepr {
  3865. seq_number: REMOTE_SEQ + 1,
  3866. ack_number: Some(LOCAL_SEQ + 1),
  3867. ..SEND_TEMPL
  3868. });
  3869. // Fast retransmit packet
  3870. recv!(s, time 1100, Ok(TcpRepr {
  3871. seq_number: LOCAL_SEQ + 1,
  3872. ack_number: Some(REMOTE_SEQ + 1),
  3873. payload: &b"xxxxxx"[..],
  3874. ..RECV_TEMPL
  3875. }));
  3876. recv!(s, time 1105, Ok(TcpRepr {
  3877. seq_number: LOCAL_SEQ + 1 + 6,
  3878. ack_number: Some(REMOTE_SEQ + 1),
  3879. payload: &b"yyyyyy"[..],
  3880. ..RECV_TEMPL
  3881. }));
  3882. recv!(s, time 1110, Ok(TcpRepr {
  3883. seq_number: LOCAL_SEQ + 1 + (6 * 2),
  3884. ack_number: Some(REMOTE_SEQ + 1),
  3885. payload: &b"wwwwww"[..],
  3886. ..RECV_TEMPL
  3887. }));
  3888. recv!(s, time 1115, Ok(TcpRepr {
  3889. seq_number: LOCAL_SEQ + 1 + (6 * 3),
  3890. ack_number: Some(REMOTE_SEQ + 1),
  3891. payload: &b"zzzzzz"[..],
  3892. ..RECV_TEMPL
  3893. }));
  3894. // After all was send out, enter *normal* retransmission,
  3895. // don't stay in fast retransmission.
  3896. assert!(match s.timer {
  3897. Timer::Retransmit { expires_at, .. } => expires_at > Instant::from_millis(1115),
  3898. _ => false,
  3899. });
  3900. // ACK all recived segments
  3901. send!(s, time 1120, TcpRepr {
  3902. seq_number: REMOTE_SEQ + 1,
  3903. ack_number: Some(LOCAL_SEQ + 1 + (6 * 4)),
  3904. ..SEND_TEMPL
  3905. });
  3906. }
  3907. #[test]
  3908. fn test_fast_retransmit_duplicate_detection_with_data() {
  3909. let mut s = socket_established();
  3910. s.send_slice(b"abc").unwrap(); // This is lost
  3911. recv!(s, time 1000, Ok(TcpRepr {
  3912. seq_number: LOCAL_SEQ + 1,
  3913. ack_number: Some(REMOTE_SEQ + 1),
  3914. payload: &b"abc"[..],
  3915. ..RECV_TEMPL
  3916. }));
  3917. // Normal ACK of previously recieved segment
  3918. send!(s, TcpRepr {
  3919. seq_number: REMOTE_SEQ + 1,
  3920. ack_number: Some(LOCAL_SEQ + 1),
  3921. ..SEND_TEMPL
  3922. });
  3923. // First duplicate
  3924. send!(s, TcpRepr {
  3925. seq_number: REMOTE_SEQ + 1,
  3926. ack_number: Some(LOCAL_SEQ + 1),
  3927. ..SEND_TEMPL
  3928. });
  3929. // Second duplicate
  3930. send!(s, TcpRepr {
  3931. seq_number: REMOTE_SEQ + 1,
  3932. ack_number: Some(LOCAL_SEQ + 1),
  3933. ..SEND_TEMPL
  3934. });
  3935. assert_eq!(s.local_rx_dup_acks, 2,
  3936. "duplicate ACK counter is not set");
  3937. // This packet has content, hence should not be detected
  3938. // as a duplicate ACK and should reset the duplicate ACK count
  3939. send!(s, TcpRepr {
  3940. seq_number: REMOTE_SEQ + 1,
  3941. ack_number: Some(LOCAL_SEQ + 1),
  3942. payload: &b"xxxxxx"[..],
  3943. ..SEND_TEMPL
  3944. });
  3945. recv!(s, [TcpRepr {
  3946. seq_number: LOCAL_SEQ + 1 + 3,
  3947. ack_number: Some(REMOTE_SEQ + 1 + 6),
  3948. window_len: 58,
  3949. ..RECV_TEMPL
  3950. }]);
  3951. assert_eq!(s.local_rx_dup_acks, 0,
  3952. "duplicate ACK counter is not reset when reciving data");
  3953. }
  3954. #[test]
  3955. fn test_fast_retransmit_duplicate_detection() {
  3956. let mut s = socket_established();
  3957. s.remote_mss = 6;
  3958. // Normal ACK of previously recived segment
  3959. send!(s, time 0, TcpRepr {
  3960. seq_number: REMOTE_SEQ + 1,
  3961. ack_number: Some(LOCAL_SEQ + 1),
  3962. ..SEND_TEMPL
  3963. });
  3964. // First duplicate, should not be counted as there is nothing to resend
  3965. send!(s, time 0, TcpRepr {
  3966. seq_number: REMOTE_SEQ + 1,
  3967. ack_number: Some(LOCAL_SEQ + 1),
  3968. ..SEND_TEMPL
  3969. });
  3970. assert_eq!(s.local_rx_dup_acks, 0,
  3971. "duplicate ACK counter is set but wound not transmit data");
  3972. // Send a long string of text divided into several packets
  3973. // because of small remote_mss
  3974. s.send_slice(b"xxxxxxyyyyyywwwwwwzzzzzz").unwrap();
  3975. // This packet is reordered in network
  3976. recv!(s, time 1000, Ok(TcpRepr {
  3977. seq_number: LOCAL_SEQ + 1,
  3978. ack_number: Some(REMOTE_SEQ + 1),
  3979. payload: &b"xxxxxx"[..],
  3980. ..RECV_TEMPL
  3981. }));
  3982. recv!(s, time 1005, Ok(TcpRepr {
  3983. seq_number: LOCAL_SEQ + 1 + 6,
  3984. ack_number: Some(REMOTE_SEQ + 1),
  3985. payload: &b"yyyyyy"[..],
  3986. ..RECV_TEMPL
  3987. }));
  3988. recv!(s, time 1010, Ok(TcpRepr {
  3989. seq_number: LOCAL_SEQ + 1 + (6 * 2),
  3990. ack_number: Some(REMOTE_SEQ + 1),
  3991. payload: &b"wwwwww"[..],
  3992. ..RECV_TEMPL
  3993. }));
  3994. recv!(s, time 1015, Ok(TcpRepr {
  3995. seq_number: LOCAL_SEQ + 1 + (6 * 3),
  3996. ack_number: Some(REMOTE_SEQ + 1),
  3997. payload: &b"zzzzzz"[..],
  3998. ..RECV_TEMPL
  3999. }));
  4000. // First duplicate ACK
  4001. send!(s, time 1050, TcpRepr {
  4002. seq_number: REMOTE_SEQ + 1,
  4003. ack_number: Some(LOCAL_SEQ + 1),
  4004. ..SEND_TEMPL
  4005. });
  4006. // Second duplicate ACK
  4007. send!(s, time 1055, TcpRepr {
  4008. seq_number: REMOTE_SEQ + 1,
  4009. ack_number: Some(LOCAL_SEQ + 1),
  4010. ..SEND_TEMPL
  4011. });
  4012. // Reordered packet arrives which should reset duplicate ACK count
  4013. send!(s, time 1060, TcpRepr {
  4014. seq_number: REMOTE_SEQ + 1,
  4015. ack_number: Some(LOCAL_SEQ + 1 + (6 * 3)),
  4016. ..SEND_TEMPL
  4017. });
  4018. assert_eq!(s.local_rx_dup_acks, 0,
  4019. "duplicate ACK counter is not reset when reciving ACK which updates send window");
  4020. // ACK all recived segments
  4021. send!(s, time 1120, TcpRepr {
  4022. seq_number: REMOTE_SEQ + 1,
  4023. ack_number: Some(LOCAL_SEQ + 1 + (6 * 4)),
  4024. ..SEND_TEMPL
  4025. });
  4026. }
  4027. #[test]
  4028. fn test_fast_retransmit_dup_acks_counter() {
  4029. let mut s = socket_established();
  4030. s.send_slice(b"abc").unwrap(); // This is lost
  4031. recv!(s, time 0, Ok(TcpRepr {
  4032. seq_number: LOCAL_SEQ + 1,
  4033. ack_number: Some(REMOTE_SEQ + 1),
  4034. payload: &b"abc"[..],
  4035. ..RECV_TEMPL
  4036. }));
  4037. send!(s, time 0, TcpRepr {
  4038. seq_number: REMOTE_SEQ + 1,
  4039. ack_number: Some(LOCAL_SEQ + 1),
  4040. ..SEND_TEMPL
  4041. });
  4042. // A lot of retransmits happen here
  4043. s.local_rx_dup_acks = u8::max_value() - 1;
  4044. // Send 3 more ACKs, which could overflow local_rx_dup_acks,
  4045. // but intended behaviour is that we saturate the bounds
  4046. // of local_rx_dup_acks
  4047. send!(s, time 0, TcpRepr {
  4048. seq_number: REMOTE_SEQ + 1,
  4049. ack_number: Some(LOCAL_SEQ + 1),
  4050. ..SEND_TEMPL
  4051. });
  4052. send!(s, time 0, TcpRepr {
  4053. seq_number: REMOTE_SEQ + 1,
  4054. ack_number: Some(LOCAL_SEQ + 1),
  4055. ..SEND_TEMPL
  4056. });
  4057. send!(s, time 0, TcpRepr {
  4058. seq_number: REMOTE_SEQ + 1,
  4059. ack_number: Some(LOCAL_SEQ + 1),
  4060. ..SEND_TEMPL
  4061. });
  4062. assert_eq!(s.local_rx_dup_acks, u8::max_value(), "duplicate ACK count should not overflow but saturate");
  4063. }
  4064. // =========================================================================================//
  4065. // Tests for window management.
  4066. // =========================================================================================//
  4067. #[test]
  4068. fn test_maximum_segment_size() {
  4069. let mut s = socket_listen();
  4070. s.tx_buffer = SocketBuffer::new(vec![0; 32767]);
  4071. send!(s, TcpRepr {
  4072. control: TcpControl::Syn,
  4073. seq_number: REMOTE_SEQ,
  4074. ack_number: None,
  4075. max_seg_size: Some(1000),
  4076. ..SEND_TEMPL
  4077. });
  4078. recv!(s, [TcpRepr {
  4079. control: TcpControl::Syn,
  4080. seq_number: LOCAL_SEQ,
  4081. ack_number: Some(REMOTE_SEQ + 1),
  4082. max_seg_size: Some(BASE_MSS),
  4083. ..RECV_TEMPL
  4084. }]);
  4085. send!(s, TcpRepr {
  4086. seq_number: REMOTE_SEQ + 1,
  4087. ack_number: Some(LOCAL_SEQ + 1),
  4088. window_len: 32767,
  4089. ..SEND_TEMPL
  4090. });
  4091. s.send_slice(&[0; 1200][..]).unwrap();
  4092. recv!(s, Ok(TcpRepr {
  4093. seq_number: LOCAL_SEQ + 1,
  4094. ack_number: Some(REMOTE_SEQ + 1),
  4095. payload: &[0; 1000][..],
  4096. ..RECV_TEMPL
  4097. }));
  4098. }
  4099. #[test]
  4100. fn test_close_wait_no_window_update() {
  4101. let mut s = socket_established();
  4102. send!(s, TcpRepr {
  4103. control: TcpControl::Fin,
  4104. seq_number: REMOTE_SEQ + 1,
  4105. ack_number: Some(LOCAL_SEQ + 1),
  4106. payload: &[1,2,3,4],
  4107. ..SEND_TEMPL
  4108. });
  4109. assert_eq!(s.state, State::CloseWait);
  4110. // we ack the FIN, with the reduced window size.
  4111. recv!(s, Ok(TcpRepr {
  4112. seq_number: LOCAL_SEQ + 1,
  4113. ack_number: Some(REMOTE_SEQ + 6),
  4114. window_len: 60,
  4115. ..RECV_TEMPL
  4116. }));
  4117. let rx_buf = &mut [0; 32];
  4118. assert_eq!(s.recv_slice(rx_buf), Ok(4));
  4119. // check that we do NOT send a window update even if it has changed.
  4120. recv!(s, Err(Error::Exhausted));
  4121. }
  4122. #[test]
  4123. fn test_time_wait_no_window_update() {
  4124. let mut s = socket_fin_wait_2();
  4125. send!(s, TcpRepr {
  4126. control: TcpControl::Fin,
  4127. seq_number: REMOTE_SEQ + 1,
  4128. ack_number: Some(LOCAL_SEQ + 2),
  4129. payload: &[1,2,3,4],
  4130. ..SEND_TEMPL
  4131. });
  4132. assert_eq!(s.state, State::TimeWait);
  4133. // we ack the FIN, with the reduced window size.
  4134. recv!(s, Ok(TcpRepr {
  4135. seq_number: LOCAL_SEQ + 2,
  4136. ack_number: Some(REMOTE_SEQ + 6),
  4137. window_len: 60,
  4138. ..RECV_TEMPL
  4139. }));
  4140. let rx_buf = &mut [0; 32];
  4141. assert_eq!(s.recv_slice(rx_buf), Ok(4));
  4142. // check that we do NOT send a window update even if it has changed.
  4143. recv!(s, Err(Error::Exhausted));
  4144. }
  4145. // =========================================================================================//
  4146. // Tests for flow control.
  4147. // =========================================================================================//
  4148. #[test]
  4149. fn test_psh_transmit() {
  4150. let mut s = socket_established();
  4151. s.remote_mss = 6;
  4152. s.send_slice(b"abcdef").unwrap();
  4153. s.send_slice(b"123456").unwrap();
  4154. recv!(s, time 0, Ok(TcpRepr {
  4155. control: TcpControl::None,
  4156. seq_number: LOCAL_SEQ + 1,
  4157. ack_number: Some(REMOTE_SEQ + 1),
  4158. payload: &b"abcdef"[..],
  4159. ..RECV_TEMPL
  4160. }), exact);
  4161. recv!(s, time 0, Ok(TcpRepr {
  4162. control: TcpControl::Psh,
  4163. seq_number: LOCAL_SEQ + 1 + 6,
  4164. ack_number: Some(REMOTE_SEQ + 1),
  4165. payload: &b"123456"[..],
  4166. ..RECV_TEMPL
  4167. }), exact);
  4168. }
  4169. #[test]
  4170. fn test_psh_receive() {
  4171. let mut s = socket_established();
  4172. send!(s, TcpRepr {
  4173. control: TcpControl::Psh,
  4174. seq_number: REMOTE_SEQ + 1,
  4175. ack_number: Some(LOCAL_SEQ + 1),
  4176. payload: &b"abcdef"[..],
  4177. ..SEND_TEMPL
  4178. });
  4179. recv!(s, [TcpRepr {
  4180. seq_number: LOCAL_SEQ + 1,
  4181. ack_number: Some(REMOTE_SEQ + 1 + 6),
  4182. window_len: 58,
  4183. ..RECV_TEMPL
  4184. }]);
  4185. }
  4186. #[test]
  4187. fn test_zero_window_ack() {
  4188. let mut s = socket_established();
  4189. s.rx_buffer = SocketBuffer::new(vec![0; 6]);
  4190. s.assembler = Assembler::new(s.rx_buffer.capacity());
  4191. send!(s, TcpRepr {
  4192. seq_number: REMOTE_SEQ + 1,
  4193. ack_number: Some(LOCAL_SEQ + 1),
  4194. payload: &b"abcdef"[..],
  4195. ..SEND_TEMPL
  4196. });
  4197. recv!(s, [TcpRepr {
  4198. seq_number: LOCAL_SEQ + 1,
  4199. ack_number: Some(REMOTE_SEQ + 1 + 6),
  4200. window_len: 0,
  4201. ..RECV_TEMPL
  4202. }]);
  4203. send!(s, TcpRepr {
  4204. seq_number: REMOTE_SEQ + 1 + 6,
  4205. ack_number: Some(LOCAL_SEQ + 1),
  4206. payload: &b"123456"[..],
  4207. ..SEND_TEMPL
  4208. }, Ok(Some(TcpRepr {
  4209. seq_number: LOCAL_SEQ + 1,
  4210. ack_number: Some(REMOTE_SEQ + 1 + 6),
  4211. window_len: 0,
  4212. ..RECV_TEMPL
  4213. })));
  4214. }
  4215. #[test]
  4216. fn test_zero_window_ack_on_window_growth() {
  4217. let mut s = socket_established();
  4218. s.rx_buffer = SocketBuffer::new(vec![0; 6]);
  4219. s.assembler = Assembler::new(s.rx_buffer.capacity());
  4220. send!(s, TcpRepr {
  4221. seq_number: REMOTE_SEQ + 1,
  4222. ack_number: Some(LOCAL_SEQ + 1),
  4223. payload: &b"abcdef"[..],
  4224. ..SEND_TEMPL
  4225. });
  4226. recv!(s, [TcpRepr {
  4227. seq_number: LOCAL_SEQ + 1,
  4228. ack_number: Some(REMOTE_SEQ + 1 + 6),
  4229. window_len: 0,
  4230. ..RECV_TEMPL
  4231. }]);
  4232. recv!(s, time 0, Err(Error::Exhausted));
  4233. s.recv(|buffer| {
  4234. assert_eq!(&buffer[..3], b"abc");
  4235. (3, ())
  4236. }).unwrap();
  4237. recv!(s, time 0, Ok(TcpRepr {
  4238. seq_number: LOCAL_SEQ + 1,
  4239. ack_number: Some(REMOTE_SEQ + 1 + 6),
  4240. window_len: 3,
  4241. ..RECV_TEMPL
  4242. }));
  4243. recv!(s, time 0, Err(Error::Exhausted));
  4244. s.recv(|buffer| {
  4245. assert_eq!(buffer, b"def");
  4246. (buffer.len(), ())
  4247. }).unwrap();
  4248. recv!(s, time 0, Ok(TcpRepr {
  4249. seq_number: LOCAL_SEQ + 1,
  4250. ack_number: Some(REMOTE_SEQ + 1 + 6),
  4251. window_len: 6,
  4252. ..RECV_TEMPL
  4253. }));
  4254. }
  4255. #[test]
  4256. fn test_fill_peer_window() {
  4257. let mut s = socket_established();
  4258. s.remote_mss = 6;
  4259. s.send_slice(b"abcdef123456!@#$%^").unwrap();
  4260. recv!(s, [TcpRepr {
  4261. seq_number: LOCAL_SEQ + 1,
  4262. ack_number: Some(REMOTE_SEQ + 1),
  4263. payload: &b"abcdef"[..],
  4264. ..RECV_TEMPL
  4265. }, TcpRepr {
  4266. seq_number: LOCAL_SEQ + 1 + 6,
  4267. ack_number: Some(REMOTE_SEQ + 1),
  4268. payload: &b"123456"[..],
  4269. ..RECV_TEMPL
  4270. }, TcpRepr {
  4271. seq_number: LOCAL_SEQ + 1 + 6 + 6,
  4272. ack_number: Some(REMOTE_SEQ + 1),
  4273. payload: &b"!@#$%^"[..],
  4274. ..RECV_TEMPL
  4275. }]);
  4276. }
  4277. #[test]
  4278. fn test_announce_window_after_read() {
  4279. let mut s = socket_established();
  4280. s.rx_buffer = SocketBuffer::new(vec![0; 6]);
  4281. s.assembler = Assembler::new(s.rx_buffer.capacity());
  4282. send!(s, TcpRepr {
  4283. seq_number: REMOTE_SEQ + 1,
  4284. ack_number: Some(LOCAL_SEQ + 1),
  4285. payload: &b"abc"[..],
  4286. ..SEND_TEMPL
  4287. });
  4288. recv!(s, [TcpRepr {
  4289. seq_number: LOCAL_SEQ + 1,
  4290. ack_number: Some(REMOTE_SEQ + 1 + 3),
  4291. window_len: 3,
  4292. ..RECV_TEMPL
  4293. }]);
  4294. // Test that `dispatch` updates `remote_last_win`
  4295. assert_eq!(s.remote_last_win, s.rx_buffer.window() as u16);
  4296. s.recv(|buffer| {
  4297. (buffer.len(), ())
  4298. }).unwrap();
  4299. assert!(s.window_to_update());
  4300. recv!(s, [TcpRepr {
  4301. seq_number: LOCAL_SEQ + 1,
  4302. ack_number: Some(REMOTE_SEQ + 1 + 3),
  4303. window_len: 6,
  4304. ..RECV_TEMPL
  4305. }]);
  4306. assert_eq!(s.remote_last_win, s.rx_buffer.window() as u16);
  4307. // Provoke immediate ACK to test that `process` updates `remote_last_win`
  4308. send!(s, TcpRepr {
  4309. seq_number: REMOTE_SEQ + 1 + 6,
  4310. ack_number: Some(LOCAL_SEQ + 1),
  4311. payload: &b"def"[..],
  4312. ..SEND_TEMPL
  4313. }, Ok(Some(TcpRepr {
  4314. seq_number: LOCAL_SEQ + 1,
  4315. ack_number: Some(REMOTE_SEQ + 1 + 3),
  4316. window_len: 6,
  4317. ..RECV_TEMPL
  4318. })));
  4319. send!(s, TcpRepr {
  4320. seq_number: REMOTE_SEQ + 1 + 3,
  4321. ack_number: Some(LOCAL_SEQ + 1),
  4322. payload: &b"abc"[..],
  4323. ..SEND_TEMPL
  4324. }, Ok(Some(TcpRepr {
  4325. seq_number: LOCAL_SEQ + 1,
  4326. ack_number: Some(REMOTE_SEQ + 1 + 9),
  4327. window_len: 0,
  4328. ..RECV_TEMPL
  4329. })));
  4330. assert_eq!(s.remote_last_win, s.rx_buffer.window() as u16);
  4331. s.recv(|buffer| {
  4332. (buffer.len(), ())
  4333. }).unwrap();
  4334. assert!(s.window_to_update());
  4335. }
  4336. // =========================================================================================//
  4337. // Tests for timeouts.
  4338. // =========================================================================================//
  4339. #[test]
  4340. fn test_listen_timeout() {
  4341. let mut s = socket_listen();
  4342. s.set_timeout(Some(Duration::from_millis(100)));
  4343. assert_eq!(s.poll_at(), PollAt::Ingress);
  4344. }
  4345. #[test]
  4346. fn test_connect_timeout() {
  4347. let mut s = socket();
  4348. s.local_seq_no = LOCAL_SEQ;
  4349. s.connect(REMOTE_END, LOCAL_END.port).unwrap();
  4350. s.set_timeout(Some(Duration::from_millis(100)));
  4351. recv!(s, time 150, Ok(TcpRepr {
  4352. control: TcpControl::Syn,
  4353. seq_number: LOCAL_SEQ,
  4354. ack_number: None,
  4355. max_seg_size: Some(BASE_MSS),
  4356. window_scale: Some(0),
  4357. sack_permitted: true,
  4358. ..RECV_TEMPL
  4359. }));
  4360. assert_eq!(s.state, State::SynSent);
  4361. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(250)));
  4362. recv!(s, time 250, Ok(TcpRepr {
  4363. control: TcpControl::Rst,
  4364. seq_number: LOCAL_SEQ + 1,
  4365. ack_number: Some(TcpSeqNumber(0)),
  4366. window_scale: None,
  4367. ..RECV_TEMPL
  4368. }));
  4369. assert_eq!(s.state, State::Closed);
  4370. }
  4371. #[test]
  4372. fn test_established_timeout() {
  4373. let mut s = socket_established();
  4374. s.set_timeout(Some(Duration::from_millis(1000)));
  4375. recv!(s, time 250, Err(Error::Exhausted));
  4376. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(1250)));
  4377. s.send_slice(b"abcdef").unwrap();
  4378. assert_eq!(s.poll_at(), PollAt::Now);
  4379. recv!(s, time 255, Ok(TcpRepr {
  4380. seq_number: LOCAL_SEQ + 1,
  4381. ack_number: Some(REMOTE_SEQ + 1),
  4382. payload: &b"abcdef"[..],
  4383. ..RECV_TEMPL
  4384. }));
  4385. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(955)));
  4386. recv!(s, time 955, Ok(TcpRepr {
  4387. seq_number: LOCAL_SEQ + 1,
  4388. ack_number: Some(REMOTE_SEQ + 1),
  4389. payload: &b"abcdef"[..],
  4390. ..RECV_TEMPL
  4391. }));
  4392. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(1255)));
  4393. recv!(s, time 1255, Ok(TcpRepr {
  4394. control: TcpControl::Rst,
  4395. seq_number: LOCAL_SEQ + 1 + 6,
  4396. ack_number: Some(REMOTE_SEQ + 1),
  4397. ..RECV_TEMPL
  4398. }));
  4399. assert_eq!(s.state, State::Closed);
  4400. }
  4401. #[test]
  4402. fn test_established_keep_alive_timeout() {
  4403. let mut s = socket_established();
  4404. s.set_keep_alive(Some(Duration::from_millis(50)));
  4405. s.set_timeout(Some(Duration::from_millis(100)));
  4406. recv!(s, time 100, Ok(TcpRepr {
  4407. seq_number: LOCAL_SEQ,
  4408. ack_number: Some(REMOTE_SEQ + 1),
  4409. payload: &[0],
  4410. ..RECV_TEMPL
  4411. }));
  4412. recv!(s, time 100, Err(Error::Exhausted));
  4413. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(150)));
  4414. send!(s, time 105, TcpRepr {
  4415. seq_number: REMOTE_SEQ + 1,
  4416. ack_number: Some(LOCAL_SEQ + 1),
  4417. ..SEND_TEMPL
  4418. });
  4419. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(155)));
  4420. recv!(s, time 155, Ok(TcpRepr {
  4421. seq_number: LOCAL_SEQ,
  4422. ack_number: Some(REMOTE_SEQ + 1),
  4423. payload: &[0],
  4424. ..RECV_TEMPL
  4425. }));
  4426. recv!(s, time 155, Err(Error::Exhausted));
  4427. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(205)));
  4428. recv!(s, time 200, Err(Error::Exhausted));
  4429. recv!(s, time 205, Ok(TcpRepr {
  4430. control: TcpControl::Rst,
  4431. seq_number: LOCAL_SEQ + 1,
  4432. ack_number: Some(REMOTE_SEQ + 1),
  4433. ..RECV_TEMPL
  4434. }));
  4435. recv!(s, time 205, Err(Error::Exhausted));
  4436. assert_eq!(s.state, State::Closed);
  4437. }
  4438. #[test]
  4439. fn test_fin_wait_1_timeout() {
  4440. let mut s = socket_fin_wait_1();
  4441. s.set_timeout(Some(Duration::from_millis(1000)));
  4442. recv!(s, time 100, Ok(TcpRepr {
  4443. control: TcpControl::Fin,
  4444. seq_number: LOCAL_SEQ + 1,
  4445. ack_number: Some(REMOTE_SEQ + 1),
  4446. ..RECV_TEMPL
  4447. }));
  4448. recv!(s, time 1100, Ok(TcpRepr {
  4449. control: TcpControl::Rst,
  4450. seq_number: LOCAL_SEQ + 1 + 1,
  4451. ack_number: Some(REMOTE_SEQ + 1),
  4452. ..RECV_TEMPL
  4453. }));
  4454. assert_eq!(s.state, State::Closed);
  4455. }
  4456. #[test]
  4457. fn test_last_ack_timeout() {
  4458. let mut s = socket_last_ack();
  4459. s.set_timeout(Some(Duration::from_millis(1000)));
  4460. recv!(s, time 100, Ok(TcpRepr {
  4461. control: TcpControl::Fin,
  4462. seq_number: LOCAL_SEQ + 1,
  4463. ack_number: Some(REMOTE_SEQ + 1 + 1),
  4464. ..RECV_TEMPL
  4465. }));
  4466. recv!(s, time 1100, Ok(TcpRepr {
  4467. control: TcpControl::Rst,
  4468. seq_number: LOCAL_SEQ + 1 + 1,
  4469. ack_number: Some(REMOTE_SEQ + 1 + 1),
  4470. ..RECV_TEMPL
  4471. }));
  4472. assert_eq!(s.state, State::Closed);
  4473. }
  4474. #[test]
  4475. fn test_closed_timeout() {
  4476. let mut s = socket_established();
  4477. s.set_timeout(Some(Duration::from_millis(200)));
  4478. s.remote_last_ts = Some(Instant::from_millis(100));
  4479. s.abort();
  4480. assert_eq!(s.poll_at(), PollAt::Now);
  4481. recv!(s, time 100, Ok(TcpRepr {
  4482. control: TcpControl::Rst,
  4483. seq_number: LOCAL_SEQ + 1,
  4484. ack_number: Some(REMOTE_SEQ + 1),
  4485. ..RECV_TEMPL
  4486. }));
  4487. assert_eq!(s.poll_at(), PollAt::Ingress);
  4488. }
  4489. // =========================================================================================//
  4490. // Tests for keep-alive.
  4491. // =========================================================================================//
  4492. #[test]
  4493. fn test_responds_to_keep_alive() {
  4494. let mut s = socket_established();
  4495. send!(s, TcpRepr {
  4496. seq_number: REMOTE_SEQ,
  4497. ack_number: Some(LOCAL_SEQ + 1),
  4498. ..SEND_TEMPL
  4499. }, Ok(Some(TcpRepr {
  4500. seq_number: LOCAL_SEQ + 1,
  4501. ack_number: Some(REMOTE_SEQ + 1),
  4502. ..RECV_TEMPL
  4503. })));
  4504. }
  4505. #[test]
  4506. fn test_sends_keep_alive() {
  4507. let mut s = socket_established();
  4508. s.set_keep_alive(Some(Duration::from_millis(100)));
  4509. // drain the forced keep-alive packet
  4510. assert_eq!(s.poll_at(), PollAt::Now);
  4511. recv!(s, time 0, Ok(TcpRepr {
  4512. seq_number: LOCAL_SEQ,
  4513. ack_number: Some(REMOTE_SEQ + 1),
  4514. payload: &[0],
  4515. ..RECV_TEMPL
  4516. }));
  4517. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(100)));
  4518. recv!(s, time 95, Err(Error::Exhausted));
  4519. recv!(s, time 100, Ok(TcpRepr {
  4520. seq_number: LOCAL_SEQ,
  4521. ack_number: Some(REMOTE_SEQ + 1),
  4522. payload: &[0],
  4523. ..RECV_TEMPL
  4524. }));
  4525. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(200)));
  4526. recv!(s, time 195, Err(Error::Exhausted));
  4527. recv!(s, time 200, Ok(TcpRepr {
  4528. seq_number: LOCAL_SEQ,
  4529. ack_number: Some(REMOTE_SEQ + 1),
  4530. payload: &[0],
  4531. ..RECV_TEMPL
  4532. }));
  4533. send!(s, time 250, TcpRepr {
  4534. seq_number: REMOTE_SEQ + 1,
  4535. ack_number: Some(LOCAL_SEQ + 1),
  4536. ..SEND_TEMPL
  4537. });
  4538. assert_eq!(s.poll_at(), PollAt::Time(Instant::from_millis(350)));
  4539. recv!(s, time 345, Err(Error::Exhausted));
  4540. recv!(s, time 350, Ok(TcpRepr {
  4541. seq_number: LOCAL_SEQ,
  4542. ack_number: Some(REMOTE_SEQ + 1),
  4543. payload: &b"\x00"[..],
  4544. ..RECV_TEMPL
  4545. }));
  4546. }
  4547. // =========================================================================================//
  4548. // Tests for time-to-live configuration.
  4549. // =========================================================================================//
  4550. #[test]
  4551. fn test_set_hop_limit() {
  4552. let mut s = socket_syn_received();
  4553. let mtu = 1520;
  4554. s.set_hop_limit(Some(0x2a));
  4555. assert_eq!(s.dispatch(Instant::from_millis(0), mtu, |(ip_repr, _)| {
  4556. assert_eq!(ip_repr.hop_limit(), 0x2a);
  4557. Ok(())
  4558. }), Ok(()));
  4559. }
  4560. #[test]
  4561. #[should_panic(expected = "the time-to-live value of a packet must not be zero")]
  4562. fn test_set_hop_limit_zero() {
  4563. let mut s = socket_syn_received();
  4564. s.set_hop_limit(Some(0));
  4565. }
  4566. // =========================================================================================//
  4567. // Tests for reassembly.
  4568. // =========================================================================================//
  4569. #[test]
  4570. fn test_out_of_order() {
  4571. let mut s = socket_established();
  4572. send!(s, TcpRepr {
  4573. seq_number: REMOTE_SEQ + 1 + 3,
  4574. ack_number: Some(LOCAL_SEQ + 1),
  4575. payload: &b"def"[..],
  4576. ..SEND_TEMPL
  4577. }, Ok(Some(TcpRepr {
  4578. seq_number: LOCAL_SEQ + 1,
  4579. ack_number: Some(REMOTE_SEQ + 1),
  4580. ..RECV_TEMPL
  4581. })));
  4582. s.recv(|buffer| {
  4583. assert_eq!(buffer, b"");
  4584. (buffer.len(), ())
  4585. }).unwrap();
  4586. send!(s, TcpRepr {
  4587. seq_number: REMOTE_SEQ + 1,
  4588. ack_number: Some(LOCAL_SEQ + 1),
  4589. payload: &b"abcdef"[..],
  4590. ..SEND_TEMPL
  4591. }, Ok(Some(TcpRepr {
  4592. seq_number: LOCAL_SEQ + 1,
  4593. ack_number: Some(REMOTE_SEQ + 1 + 6),
  4594. window_len: 58,
  4595. ..RECV_TEMPL
  4596. })));
  4597. s.recv(|buffer| {
  4598. assert_eq!(buffer, b"abcdef");
  4599. (buffer.len(), ())
  4600. }).unwrap();
  4601. }
  4602. #[test]
  4603. fn test_buffer_wraparound_rx() {
  4604. let mut s = socket_established();
  4605. s.rx_buffer = SocketBuffer::new(vec![0; 6]);
  4606. s.assembler = Assembler::new(s.rx_buffer.capacity());
  4607. send!(s, TcpRepr {
  4608. seq_number: REMOTE_SEQ + 1,
  4609. ack_number: Some(LOCAL_SEQ + 1),
  4610. payload: &b"abc"[..],
  4611. ..SEND_TEMPL
  4612. });
  4613. s.recv(|buffer| {
  4614. assert_eq!(buffer, b"abc");
  4615. (buffer.len(), ())
  4616. }).unwrap();
  4617. send!(s, TcpRepr {
  4618. seq_number: REMOTE_SEQ + 1 + 3,
  4619. ack_number: Some(LOCAL_SEQ + 1),
  4620. payload: &b"defghi"[..],
  4621. ..SEND_TEMPL
  4622. });
  4623. let mut data = [0; 6];
  4624. assert_eq!(s.recv_slice(&mut data[..]), Ok(6));
  4625. assert_eq!(data, &b"defghi"[..]);
  4626. }
  4627. #[test]
  4628. fn test_buffer_wraparound_tx() {
  4629. let mut s = socket_established();
  4630. s.tx_buffer = SocketBuffer::new(vec![b'.'; 9]);
  4631. assert_eq!(s.send_slice(b"xxxyyy"), Ok(6));
  4632. assert_eq!(s.tx_buffer.dequeue_many(3), &b"xxx"[..]);
  4633. assert_eq!(s.tx_buffer.len(), 3);
  4634. // "abcdef" not contiguous in tx buffer
  4635. assert_eq!(s.send_slice(b"abcdef"), Ok(6));
  4636. recv!(s, Ok(TcpRepr {
  4637. seq_number: LOCAL_SEQ + 1,
  4638. ack_number: Some(REMOTE_SEQ + 1),
  4639. payload: &b"yyyabc"[..],
  4640. ..RECV_TEMPL
  4641. }));
  4642. recv!(s, Ok(TcpRepr {
  4643. seq_number: LOCAL_SEQ + 1 + 6,
  4644. ack_number: Some(REMOTE_SEQ + 1),
  4645. payload: &b"def"[..],
  4646. ..RECV_TEMPL
  4647. }));
  4648. }
  4649. // =========================================================================================//
  4650. // Tests for graceful vs ungraceful rx close
  4651. // =========================================================================================//
  4652. #[test]
  4653. fn test_rx_close_fin() {
  4654. let mut s = socket_established();
  4655. send!(s, TcpRepr {
  4656. control: TcpControl::Fin,
  4657. seq_number: REMOTE_SEQ + 1,
  4658. ack_number: Some(LOCAL_SEQ + 1),
  4659. payload: &b"abc"[..],
  4660. ..SEND_TEMPL
  4661. });
  4662. s.recv(|data| {
  4663. assert_eq!(data, b"abc");
  4664. (3, ())
  4665. }).unwrap();
  4666. assert_eq!(s.recv(|_| (0, ())), Err(Error::Finished));
  4667. }
  4668. #[test]
  4669. fn test_rx_close_fin_in_fin_wait_1() {
  4670. let mut s = socket_fin_wait_1();
  4671. send!(s, TcpRepr {
  4672. control: TcpControl::Fin,
  4673. seq_number: REMOTE_SEQ + 1,
  4674. ack_number: Some(LOCAL_SEQ + 1),
  4675. payload: &b"abc"[..],
  4676. ..SEND_TEMPL
  4677. });
  4678. assert_eq!(s.state, State::Closing);
  4679. s.recv(|data| {
  4680. assert_eq!(data, b"abc");
  4681. (3, ())
  4682. }).unwrap();
  4683. assert_eq!(s.recv(|_| (0, ())), Err(Error::Finished));
  4684. }
  4685. #[test]
  4686. fn test_rx_close_fin_in_fin_wait_2() {
  4687. let mut s = socket_fin_wait_2();
  4688. send!(s, TcpRepr {
  4689. control: TcpControl::Fin,
  4690. seq_number: REMOTE_SEQ + 1,
  4691. ack_number: Some(LOCAL_SEQ + 1 + 1),
  4692. payload: &b"abc"[..],
  4693. ..SEND_TEMPL
  4694. });
  4695. assert_eq!(s.state, State::TimeWait);
  4696. s.recv(|data| {
  4697. assert_eq!(data, b"abc");
  4698. (3, ())
  4699. }).unwrap();
  4700. assert_eq!(s.recv(|_| (0, ())), Err(Error::Finished));
  4701. }
  4702. #[test]
  4703. fn test_rx_close_fin_with_hole() {
  4704. let mut s = socket_established();
  4705. send!(s, TcpRepr {
  4706. seq_number: REMOTE_SEQ + 1,
  4707. ack_number: Some(LOCAL_SEQ + 1),
  4708. payload: &b"abc"[..],
  4709. ..SEND_TEMPL
  4710. });
  4711. send!(s, TcpRepr {
  4712. control: TcpControl::Fin,
  4713. seq_number: REMOTE_SEQ + 1 + 6,
  4714. ack_number: Some(LOCAL_SEQ + 1),
  4715. payload: &b"ghi"[..],
  4716. ..SEND_TEMPL
  4717. }, Ok(Some(TcpRepr {
  4718. seq_number: LOCAL_SEQ + 1,
  4719. ack_number: Some(REMOTE_SEQ + 1 + 3),
  4720. window_len: 61,
  4721. ..RECV_TEMPL
  4722. })));
  4723. s.recv(|data| {
  4724. assert_eq!(data, b"abc");
  4725. (3, ())
  4726. }).unwrap();
  4727. s.recv(|data| {
  4728. assert_eq!(data, b"");
  4729. (0, ())
  4730. }).unwrap();
  4731. send!(s, TcpRepr {
  4732. control: TcpControl::Rst,
  4733. seq_number: REMOTE_SEQ + 1 + 9,
  4734. ack_number: Some(LOCAL_SEQ + 1),
  4735. ..SEND_TEMPL
  4736. });
  4737. // Error must be `Illegal` even if we've received a FIN,
  4738. // because we are missing data.
  4739. assert_eq!(s.recv(|_| (0, ())), Err(Error::Illegal));
  4740. }
  4741. #[test]
  4742. fn test_rx_close_rst() {
  4743. let mut s = socket_established();
  4744. send!(s, TcpRepr {
  4745. seq_number: REMOTE_SEQ + 1,
  4746. ack_number: Some(LOCAL_SEQ + 1),
  4747. payload: &b"abc"[..],
  4748. ..SEND_TEMPL
  4749. });
  4750. send!(s, TcpRepr {
  4751. control: TcpControl::Rst,
  4752. seq_number: REMOTE_SEQ + 1 + 3,
  4753. ack_number: Some(LOCAL_SEQ + 1),
  4754. ..SEND_TEMPL
  4755. });
  4756. s.recv(|data| {
  4757. assert_eq!(data, b"abc");
  4758. (3, ())
  4759. }).unwrap();
  4760. assert_eq!(s.recv(|_| (0, ())), Err(Error::Illegal));
  4761. }
  4762. #[test]
  4763. fn test_rx_close_rst_with_hole() {
  4764. let mut s = socket_established();
  4765. send!(s, TcpRepr {
  4766. seq_number: REMOTE_SEQ + 1,
  4767. ack_number: Some(LOCAL_SEQ + 1),
  4768. payload: &b"abc"[..],
  4769. ..SEND_TEMPL
  4770. });
  4771. send!(s, TcpRepr {
  4772. seq_number: REMOTE_SEQ + 1 + 6,
  4773. ack_number: Some(LOCAL_SEQ + 1),
  4774. payload: &b"ghi"[..],
  4775. ..SEND_TEMPL
  4776. }, Ok(Some(TcpRepr {
  4777. seq_number: LOCAL_SEQ + 1,
  4778. ack_number: Some(REMOTE_SEQ + 1 + 3),
  4779. window_len: 61,
  4780. ..RECV_TEMPL
  4781. })));
  4782. send!(s, TcpRepr {
  4783. control: TcpControl::Rst,
  4784. seq_number: REMOTE_SEQ + 1 + 9,
  4785. ack_number: Some(LOCAL_SEQ + 1),
  4786. ..SEND_TEMPL
  4787. });
  4788. s.recv(|data| {
  4789. assert_eq!(data, b"abc");
  4790. (3, ())
  4791. }).unwrap();
  4792. assert_eq!(s.recv(|_| (0, ())), Err(Error::Illegal));
  4793. }
  4794. // =========================================================================================//
  4795. // Tests for delayed ACK
  4796. // =========================================================================================//
  4797. #[test]
  4798. fn test_delayed_ack() {
  4799. let mut s = socket_established();
  4800. s.set_ack_delay(Some(ACK_DELAY_DEFAULT));
  4801. send!(s, TcpRepr {
  4802. seq_number: REMOTE_SEQ + 1,
  4803. ack_number: Some(LOCAL_SEQ + 1),
  4804. payload: &b"abc"[..],
  4805. ..SEND_TEMPL
  4806. });
  4807. // No ACK is immediately sent.
  4808. recv!(s, Err(Error::Exhausted));
  4809. // After 10ms, it is sent.
  4810. recv!(s, time 11, Ok(TcpRepr {
  4811. seq_number: LOCAL_SEQ + 1,
  4812. ack_number: Some(REMOTE_SEQ + 1 + 3),
  4813. window_len: 61,
  4814. ..RECV_TEMPL
  4815. }));
  4816. }
  4817. #[test]
  4818. fn test_delayed_ack_win() {
  4819. let mut s = socket_established();
  4820. s.set_ack_delay(Some(ACK_DELAY_DEFAULT));
  4821. send!(s, TcpRepr {
  4822. seq_number: REMOTE_SEQ + 1,
  4823. ack_number: Some(LOCAL_SEQ + 1),
  4824. payload: &b"abc"[..],
  4825. ..SEND_TEMPL
  4826. });
  4827. // Reading the data off the buffer should cause a window update.
  4828. s.recv(|data| {
  4829. assert_eq!(data, b"abc");
  4830. (3, ())
  4831. }).unwrap();
  4832. // However, no ACK or window update is immediately sent.
  4833. recv!(s, Err(Error::Exhausted));
  4834. // After 10ms, it is sent.
  4835. recv!(s, time 11, Ok(TcpRepr {
  4836. seq_number: LOCAL_SEQ + 1,
  4837. ack_number: Some(REMOTE_SEQ + 1 + 3),
  4838. ..RECV_TEMPL
  4839. }));
  4840. }
  4841. #[test]
  4842. fn test_delayed_ack_reply() {
  4843. let mut s = socket_established();
  4844. s.set_ack_delay(Some(ACK_DELAY_DEFAULT));
  4845. send!(s, TcpRepr {
  4846. seq_number: REMOTE_SEQ + 1,
  4847. ack_number: Some(LOCAL_SEQ + 1),
  4848. payload: &b"abc"[..],
  4849. ..SEND_TEMPL
  4850. });
  4851. s.recv(|data| {
  4852. assert_eq!(data, b"abc");
  4853. (3, ())
  4854. }).unwrap();
  4855. s.send_slice(&b"xyz"[..]).unwrap();
  4856. // Writing data to the socket causes ACK to not be delayed,
  4857. // because it is immediately sent with the data.
  4858. recv!(s, Ok(TcpRepr {
  4859. seq_number: LOCAL_SEQ + 1,
  4860. ack_number: Some(REMOTE_SEQ + 1 + 3),
  4861. payload: &b"xyz"[..],
  4862. ..RECV_TEMPL
  4863. }));
  4864. }
  4865. #[test]
  4866. fn test_delayed_ack_every_second_packet() {
  4867. let mut s = socket_established();
  4868. s.set_ack_delay(Some(ACK_DELAY_DEFAULT));
  4869. send!(s, TcpRepr {
  4870. seq_number: REMOTE_SEQ + 1,
  4871. ack_number: Some(LOCAL_SEQ + 1),
  4872. payload: &b"abc"[..],
  4873. ..SEND_TEMPL
  4874. });
  4875. // No ACK is immediately sent.
  4876. recv!(s, Err(Error::Exhausted));
  4877. send!(s, TcpRepr {
  4878. seq_number: REMOTE_SEQ + 1 + 3,
  4879. ack_number: Some(LOCAL_SEQ + 1),
  4880. payload: &b"def"[..],
  4881. ..SEND_TEMPL
  4882. });
  4883. // Every 2nd packet, ACK is sent without delay.
  4884. recv!(s, Ok(TcpRepr {
  4885. seq_number: LOCAL_SEQ + 1,
  4886. ack_number: Some(REMOTE_SEQ + 1 + 6),
  4887. window_len: 58,
  4888. ..RECV_TEMPL
  4889. }));
  4890. }
  4891. // =========================================================================================//
  4892. // Tests for packet filtering.
  4893. // =========================================================================================//
  4894. #[test]
  4895. fn test_doesnt_accept_wrong_port() {
  4896. let mut s = socket_established();
  4897. s.rx_buffer = SocketBuffer::new(vec![0; 6]);
  4898. s.assembler = Assembler::new(s.rx_buffer.capacity());
  4899. let tcp_repr = TcpRepr {
  4900. seq_number: REMOTE_SEQ + 1,
  4901. ack_number: Some(LOCAL_SEQ + 1),
  4902. dst_port: LOCAL_PORT + 1,
  4903. ..SEND_TEMPL
  4904. };
  4905. assert!(!s.accepts(&SEND_IP_TEMPL, &tcp_repr));
  4906. let tcp_repr = TcpRepr {
  4907. seq_number: REMOTE_SEQ + 1,
  4908. ack_number: Some(LOCAL_SEQ + 1),
  4909. src_port: REMOTE_PORT + 1,
  4910. ..SEND_TEMPL
  4911. };
  4912. assert!(!s.accepts(&SEND_IP_TEMPL, &tcp_repr));
  4913. }
  4914. #[test]
  4915. fn test_doesnt_accept_wrong_ip() {
  4916. let s = socket_established();
  4917. let tcp_repr = TcpRepr {
  4918. seq_number: REMOTE_SEQ + 1,
  4919. ack_number: Some(LOCAL_SEQ + 1),
  4920. payload: &b"abcdef"[..],
  4921. ..SEND_TEMPL
  4922. };
  4923. let ip_repr = IpRepr::Unspecified {
  4924. src_addr: MOCK_IP_ADDR_2,
  4925. dst_addr: MOCK_IP_ADDR_1,
  4926. protocol: IpProtocol::Tcp,
  4927. payload_len: tcp_repr.buffer_len(),
  4928. hop_limit: 64
  4929. };
  4930. assert!(s.accepts(&ip_repr, &tcp_repr));
  4931. let ip_repr_wrong_src = IpRepr::Unspecified {
  4932. src_addr: MOCK_IP_ADDR_3,
  4933. dst_addr: MOCK_IP_ADDR_1,
  4934. protocol: IpProtocol::Tcp,
  4935. payload_len: tcp_repr.buffer_len(),
  4936. hop_limit: 64
  4937. };
  4938. assert!(!s.accepts(&ip_repr_wrong_src, &tcp_repr));
  4939. let ip_repr_wrong_dst = IpRepr::Unspecified {
  4940. src_addr: MOCK_IP_ADDR_2,
  4941. dst_addr: MOCK_IP_ADDR_3,
  4942. protocol: IpProtocol::Tcp,
  4943. payload_len: tcp_repr.buffer_len(),
  4944. hop_limit: 64
  4945. };
  4946. assert!(!s.accepts(&ip_repr_wrong_dst, &tcp_repr));
  4947. }
  4948. // =========================================================================================//
  4949. // Timer tests
  4950. // =========================================================================================//
  4951. #[test]
  4952. fn test_timer_retransmit() {
  4953. const RTO: Duration = Duration::from_millis(100);
  4954. let mut r = Timer::default();
  4955. assert_eq!(r.should_retransmit(Instant::from_secs(1)), None);
  4956. r.set_for_retransmit(Instant::from_millis(1000), RTO);
  4957. assert_eq!(r.should_retransmit(Instant::from_millis(1000)), None);
  4958. assert_eq!(r.should_retransmit(Instant::from_millis(1050)), None);
  4959. assert_eq!(r.should_retransmit(Instant::from_millis(1101)), Some(Duration::from_millis(101)));
  4960. r.set_for_retransmit(Instant::from_millis(1101), RTO);
  4961. assert_eq!(r.should_retransmit(Instant::from_millis(1101)), None);
  4962. assert_eq!(r.should_retransmit(Instant::from_millis(1150)), None);
  4963. assert_eq!(r.should_retransmit(Instant::from_millis(1200)), None);
  4964. assert_eq!(r.should_retransmit(Instant::from_millis(1301)), Some(Duration::from_millis(300)));
  4965. r.set_for_idle(Instant::from_millis(1301), None);
  4966. assert_eq!(r.should_retransmit(Instant::from_millis(1350)), None);
  4967. }
  4968. #[test]
  4969. fn test_rtt_estimator() {
  4970. #[cfg(feature = "log")]
  4971. init_logger();
  4972. let mut r = RttEstimator::default();
  4973. let rtos = &[
  4974. 751, 766, 755, 731, 697, 656, 613, 567,
  4975. 523, 484, 445, 411, 378, 350, 322, 299,
  4976. 280, 261, 243, 229, 215, 206, 197, 188
  4977. ];
  4978. for &rto in rtos {
  4979. r.sample(100);
  4980. assert_eq!(r.retransmission_timeout(), Duration::from_millis(rto));
  4981. }
  4982. }
  4983. }