Solana lyderio tvarkaraščio pasiūlymas pasitiki nepatvirtintomis vietomis
Rogeris Wattenhoferis ir Quentinas Kniepas siūlo paspartinti Solanos blokų gamybą, suplanuodami netoliese esančius tikrintojus. Jų planas remiasi pačių praneštomis vietomis, todėl blokų gamintojų tvarka yra nepatvirtinta fizinė įvestis. Kiekvienas suplanuotas posūkis bloko gamybos metu vadinamas lyderio langu.
Siekiama, kad greitas perdavimas būtų mažiau priklausomas nuo veiklos šalia didžiausių Solanos akcijų centrų. Autorių modeliavimas sumažina vidutinį sąžiningų tikrintojų perdavimo delsą nuo 36,2 milisekundžių iki 17,0 milisekundžių, nesuteikdamas jokiam tikrintojui daugiau lyderio langų. Pertvarkymas taip pat keičia valdymo tęstinumą: trijų langų grupės gali būti sujungtos į ilgesnius iš eilės ruožus.
Wattenhoferis, Anza tyrimų vadovas ir ETH Ciuricho profesorius, geografinį tvarkaraštį parengė kartu su Kniepu, kuris save laiko Anza ir ETH Ciuricho tyrėju. Jų SIMD-0675 juodraštis aiškiai parodo tą įtampą, pagal siūlomą trijų langų nustatymą iš eilės įrašomi šeši priešingi langai.
Tiek planavimo pasiūlymas, tiek su juo susijęs vietos registracijos pasiūlymas buvo pateikti kaip ištraukimo užklausos rugsėjo 29 d. Nuo spalio 7 d. jos lieka atviros. Tai siūlomos taisyklės ir sumodeliuoti rezultatai, o ne rezultatai iš įdiegto geografinio tvarkaraščio.
Geografinė tvarka tiems patiems paskirstimams
Pagal projektą Solana pirmiausia apskaičiuotų atsitiktinių lyderių tvarkaraštį pagal akcijų paketą, kaip įprasta. Antruoju būdu tie lyderių langai būtų suskirstyti į mažas grupes, vadinamas šiukšliadėžėmis, naudojant praneštą geografinį artumą.
Lyderis yra tikrintuvas, priskirtas blokams kurti lango metu. Kiekvienas tikrintuvas išsaugos tiksliai tiek langų, kiek gavo pradiniame tvarkaraštyje; pokytis susijęs su tuo, kada atsiranda tos galimybės ir kuris lyderis yra prieš jas.
Šis pirmtakas yra svarbus Alpenglow greitai perduodant lyderį, kai ankstesnis lyderis siunčia savo bloką tiesiai kitam. Autoriai teigia, kad atsitiktinis tvarkaraštis yra palankus tikrintojams, esant didelėms akcijų koncentracijoms: jie labiau linkę būti arčiau lyderio, kurio seka, o nuotoliniai tikrintojai dažniau susiduria su ilgu šuoliu.
Grupuojant netoliese esančius lyderius siekiama suteikti už tų centrų ribų esantiems tikrintojams daugiau vietos perdavimo. Todėl numatoma decentralizacijos nauda yra paskata veikti toliau nuo esamų centrų, o ne akcijų perskirstymas ar papildomi lyderių paskirstymai. Modeliavimas matuoja planavimą ir delsą, todėl faktinis operatoriaus perkėlimas ir akcijų koncentracija nepatenka į rezultatus.
Skersvėjis suporuoja trijų langų šiukšliadėžę su 10 % akcijų paketu. Tas aukštas apibrėžia, kaip plačiai turi išsiplėsti tikrintojo kaimynystė, kad pasiektų pakankamai akcijų. Tankiai apgyvendinta vieta gauna mažesnį spindulį; retam reikia didesnio spindulio. Grindys apima aktyvų akcijų paketą su galiojančiomis praneštomis vietomis. Užpildytoje šiukšliadėžėje gali būti mažiau nei 10 % to paties operatoriaus statymo ir pasikartojančių langų.
Vykdymo trukmės modeliavimas naudoja pagrindinio tinklo akcijų pasiskirstymą iš 1038 epochos su 661 tikrintuvu, kurių vietos buvo pataisytos naudojant globalinio matavimus. Kiekvienoje modeliuotoje epochoje yra 108 000 lyderių langų, o rezultatų vidurkis yra penkios atsitiktinės sėklos.
Geografinis atstumas lemia bin narystę. Kad būtų galima įvertinti perdavimo greitį, modelis priskiria tikrintojus prie artimiausios RIPE Atlas metropolinės zonos ir apskaičiuoja vienos krypties delsą kaip pusę vidutinės kelionės pirmyn ir atgal laiko tarp tų sričių. Perdavimas viename metro yra nulis.
Taikant atsitiktinį tvarkaraštį, vidutinis delsimas tarp sąžiningų tikrintojų yra 36,2 milisekundės. Su trijų langų dėžėmis tai yra 17,0 milisekundžių. Visų perdavimų mediana, skirtinga populiacija, sumažėja nuo 23,4 milisekundžių iki 4,5 milisekundžių.
Šie rezultatai patvirtina reikšmingą modeliuotą perdavimo delsos sumažėjimą. Lizdų trukmė ir operacijos baigtumas matuoja skirtingus intervalus nuo modeliuoto perdavimo delsos. Nulinės delsos prielaida metropolitenuose taip pat supaprastina tinklo sąlygas, su kuriomis iš tikrųjų susiduria tikrintojai.
Yra platesnė priežastis traktuoti geografiją kaip naudingą, bet netobulą nuorodą. Rugpjūčio mėn. atliktas tyrimas, kurį paskelbė Solana fondas, siejo didesnį atstumą su nuobaudomis dėl perdavimo, tačiau perspėjo, kad atstumas nenustatytas kaip priežastis. Maršruto parinkimo, tarpusavio ryšio ir patvirtinimo infrastruktūra liko nepastebėta.
Nuosekli kontrolė ir vietos skatinimo priemonės
Saugumo kompromisas pasirodo tame pačiame modeliavime. Jos priešas valdo 5% visų akcijų ir sėdi Sidnėjuje, o Okeanijoje neturi jokio kito tikrintojo. Autoriai apibūdina šią izoliuotą vietą kaip artimą blogiausiam atvejui, nes užpuolikas gali vienas užpildyti šiukšliadėžes.
Šis pavyzdys svarbus kartu su 10 % akcijų paketu. Grindys reguliuoja kaimynystės statybą; izoliuotas 5% užpuolikas iliustruoja, kaip tikrasis šiukšliadėžės valdymas gali skirtis nuo to spindulio slenksčio.
Užpuolikas, vedantis kitą šiukšliadėžę, gali toliau kontroliuoti savo ribą. Siūlomu nustatymu ilgiausia pastebėta priešpriešinė seka buvo šeši langai, susidedantys iš dviejų šiukšliadėžių. Ši konstrukcija leidžia gretimoms dėžėms išplėsti nuoseklų valdymą, viršijantį sukonfigūruotą dėžės dydį.
Projekte pripažįstama, kad regioniniai energijos tiekimo, tinklo ar jurisdikcijos sutrikimai dabar gali paveikti nuoseklius lyderius ir sudaryti ilgesnes praleistų laiko tarpsnių sekas nei visiškai atsitiktinis tvarkaraštis. Taip pat nurodoma veiksmingesnės regioninės cenzūros galimybė bėgimo metu.
Remiantis juodraščio prielaidomis, kad viename pagrindiniame lange yra keturi skyriai ir 200 milisekundžių tarpai, trijų langų dėžė idealiai trunka 2,4 sekundės. Šis paveikslas apibūdina vieną dėžę pagal nurodytas laiko prielaidas; regioninis poveikis gali peržengti šiukšliadėžių ribas.
Autoriai pripažįsta tolesnį greičio ir saugumo pasirinkimą. Alternatyva, pridėta spalio 2 d., sudarytų lyderius trumpiausiu geografiniu keliu kiekvienoje šiukšliadėžėje. Projekte jis nepriimamas, paaiškinant, kad tai susilpnintų atsitiktinės atrankos tvarkaraščio simetriją ir gretimus laiko tarpsnius būtų lengviau nuspėjami toje pačioje vietoje esantiems priešpriešiniams tikrintojams.
Papildoma SIMD-0674 specifikacija patalpintų savarankiškai praneštas koordinates į tikrintojų balsų sąskaitas. Pasirašyti atnaujinimai nustato, kas suteikė leidimą registracijai, o geometrinis patikrinimas nustato, kad nurodytas taškas yra netoli Žemės paviršiaus. Tikroji mašinos vieta lieka už šių patikrinimų ribų.
SIMD-0675 remiasi ekonominiu argumentu: pranešus apie tolimą vietą, tikrintojas dažnai atsilieka nuo lyderių, kurie yra toliau nuo tikrosios mašinos, todėl jo paties perdavimas sulėtėja.
Autoriai išbando šį argumentą, kiekviename iš dešimties miestų paimdami didžiausią tikrintuvą, palikdami jį fiziškai vietoje ir pakeisdami registruotą miestą. Sumodeliuotas Ashburn tikrintuvas sumažina vidutinį perdavimo delsą nuo 23,7 milisekundžių iki 21,0 milisekundžių, nurodydamas San Paulą, o tai yra 2,7 ± 0,2 milisekundės pagerėjimas.
Autoriai nenurodo jokio kito nelygiaverčio melo, įgyjančio daugiau nei 0,3 milisekundės.
Eksperimentas taip pat formuoja apylinkes ir šiukšliadėžes naudojant RIPE Atlas delsą, o siūlomame tvarkaraštyje naudojamas geografinis atstumas. Dėl individualaus tikrintojo skatinamųjų rezultatų koordinuotas kenkėjiškų vietų ataskaitų teikimas ir jų poveikis nuosekliai kontrolei lieka neišspręstas.
Klaidingi pranešimai dažnai sumažina atrinkto tikrintojo greitį, tačiau Ashburn išimtis riboja galimybę pasitikėti fizine vieta vien dėl ekonominių paskatų.
Laiko kompensacija ir peržiūra į priekį
Kitas pasiūlymo skaičius gali užgožti greičio reikalavimą. SIMD-0675 padidintų HANDOVER_COMPENSATION nuo 25 milisekundžių iki 50 milisekundžių, net ir sumažėjus perdavimo delsai.
Atskirame kompensavimo pasiūlyme atsižvelgiama į optimistinį bloko kūrimą, kuris jau atliktas prieš ParentReady – protokolo įvykį, kuris paleidžia skaičiuojamą gamybos laikmatį. Kompensacija atima laiką iš pirmojo lizdo gamybos biudžeto po to įvykio ir perkelia lyderio lango skirtąjį laiką anksčiau. Tai yra laiko koregavimas, o ne tikrintojo atlyginimas.
Geografinis modeliavimas padidina intervalą nuo ankstesnio lyderio bloko gavimo iki ParentReady nuo 23,2 milisekundžių iki 46,2 milisekundžių. Šis atskiras intervalas lemia didesnę kompensavimo vertę, net jei perdavimo delsa mažėja.
Planavimo ištraukimo užklausoje šiuo metu nėra peržiūrų. Vietovės registracijos ištraukimo užklausa gavo Buffalojoec patvirtinimą spalio 5 d. su įspėjimu dėl galimų atskirti balsavimo paskyros išdėstymo pakeitimų, bet lieka atvira. Fondo spalio 1 d. pakeitimų žurnalas taip pat vadina abu siūlomus pakeitimus, įtraukiant Alpenglow į „Devnet“ funkcijų vartus.
Pats tvarkaraštis yra labai svarbus sutarimui ir jam reikia funkcijų vartų; juodraštis vis dar nepalieka funkcijos rakto ir stebėjimo problemų. Jo siūlomas perėjimas naudotų naują algoritmą iš dviejų epochų po aktyvinimo.
Peržiūros klausimas yra, ar modeliuotas vėlavimo ir bendros vietos pranašumo sumažėjimas pateisina pasikeitusį blokų gamybos tęstinumą.
