ev Leslie Lamport nivîskarê karên bingehîn e di hesabkirina belavbûyî de, û dibe ku hûn wî bi tîpên La jî di peyvê de nas bikin. LaTeX - "Lamport TeX". Ew bû ku yekem, di sala 1979-an de, ev têgeh destnîşan kir , û gotara wî Xelata Dijkstra wergirt (bi teybetî, di 2000 de xelat bi awayê xwe yê kevin hate binav kirin: "Xelata Kaxezê ya Bibandor PODC"). Li ser wî heye , ku hûn dikarin hin girêdanên balkêştir bistînin. Ger hûn bi heyecan in ku pirsgirêkên li ser diqewime-berî an (BFT), wê hingê divê hûn fêm bikin ku Lamport li pişt van hemîyan e.
Ew ê her weha di nêzîk de were konfêransa me ya nû ya li ser komputera belavkirî - Hydra, ku dê di 11-12 Tîrmehê de li St. Ka em bibînin ka ev çi celeb heywan e.
Hydra 2019
Mijarên mîna pirtextî di konferansên me de yên herî populer in, her gav bûne. Hema nuha ev jûr çolê bû, lê dûv re kesek derdikeve ser sehnê û behsa modela bîranînê dike, diqewime-berî an berhevkirina çopê ya pir-tehlî û - boom! — Jixwe nêzîkî hezar kes hemû cîhê berdest digrin da ku rûnin û bi baldarî guhdarî bikin. Esasê vê serkeftinê çi ye? Dibe ku ji ber vê yekê ye ku em hemî li ber destê me cûreyek hardware heye ku dikare hesabkirina belavbûyî organîze bike? An jî ew e ku em bi binhişmendî nebûna xwe ya barkirina wê wekî ku heq dike fam dikin? Çîrokek rastîn a yek quantek St. Ger kapasîteya we hebe ku hûn karên xwe yên ku gelek caran ji ya niha mezintir bûn, hûnê çi bikin?
Ji ber populerbûna wusa, mijara hilberandin û hesabkirina bikêr dibe ku li seranserê rojeva konferansê belav bibe. Çend ji du rojên raporan dikarin di derbarê performansê de bêne çêkirin - sêyemîn, du sê? Li hin deveran qedexeyên çêkirî hene ku vê mezinbûnê sînordar dikin: ji bilî performansê, divê hîn jî cîh ji bo çarçoweyên tevneyê yên nû, ji bo cûreyek devops an astronotîkên mîmarî hebe. Na, performans, hûn ê me hemûyan bi tevahî nexwin!
An jî hûn dikarin berevajî vê yekê biçin, dev jê berdin û bi dilsozî konferansek çêbikin ku dê bi tevahî li ser hesabkirina belavkirî û tenê li ser wan be. Û li vir e, Hydra.
Werin em bi dilpakî qebûl bikin ku îro hemî hesabên bi vî rengî têne belav kirin. Ka ew makîneyek pir-bingehîn be, komikek hesabker, an karûbarek belavkirî ya mezin be, li her deverê gelek pêvajo hene ku hesabên serbixwe di paralel de pêk tînin, bi hevûdu re hevdem dikin. Hydra dê ji bo ku ev di teorîyê de û çawa ew di pratîkê de dixebite veqetandin.
Bernameya konferansê
Bername niha di qonaxa damezrandinê de ye. Divê ew raporên ji damezrînerên teoriyên pergalên belavbûyî û endezyarên ku di hilberînê de bi wan re dixebitin vehewîne.
Mînakî, beşdariya Leslie Lamport ji Lêkolîna Microsoft û Maurice Herlihy ji Zanîngeha Brown jixwe tê zanîn.
Maurice Herlihy - Profesorekî pir navdar û rêzdar ê Zanista Kompîturê, di derbarê wî de jî agahî hene , ku hûn dikarin li ser girêdan û xebatan bigerin. Li wir hûn dikarin du xelatên Dijkstra-yê bibînin, ya yekem ji bo xebata li ser , û ya duyemîn, nûtir - . Bi awayê, zencîre jî rê nade SciHub, lê ji Zanîngeha Brown û Zanîngeha Virginia Tech re, hûn dikarin vekin û bixwînin.
Maurice dê serpêhatiyek bi navê "Blockchains ji perspektîfek hesabkeriya belavkirî" bigire. Ger bala we dikişîne, hûn dikarin li qeyda rapora Maurice ji JUG ya St. Binirxînin ka ew çiqas zelal û têgihîştî mijarê radigihîne.
Gotara duyemîn a bi navê "Strukturên Daneyên Dualî" dê were xwendin Michael Scott ji Zanîngeha Rochester. Û texmîn bikin - ew jî ya xwe heye . Li malê li Wisconsin, ew bi xebata xwe wekî dekan li Zanîngeha Wisconsin-Madison tê zanîn, û li cîhanê ew mirovê ku bi Doug Lea re, algorîtmayên ne-astengker û rêzikên hevdem ên ku pirtûkxaneyên Java li ser wan têne pêşve xistin. kar. Wî xelata xwe ya Dijkstra sê sal piştî Herlihy wergirt, ji bo xebata xwe "Algorîtmayên ji bo hevdemkirina berbelavkirî li ser pirpêvajoyên bîranîna hevpar" (wek ku tê hêvî kirin, li pirtûkxaneya serhêl a Zanîngeha Rochester).
Heta nîvê tîrmehê hîn gelek dem maye. Em ê ji we re qala axaftvanên mayî û mijarên wan bikin dema ku em bernameyê safî dikin û nêzî Tîrmehê dibin.
Bi gelemperî, pirs derdikeve holê - çima em di havînê de Hydra dikin? Beriya her tiştî, ev demsala kêm, betlane ye. Pirsgirêk ew e ku di nav axaftvanan de mamosteyên zanîngehê hene û her dem ji bo wan mijûl e. Me bi hêsanî nikarîbû tarîxên din hilbijêrin.
Qadên nîqaşê
Di konferansên din de, wusa diqewime ku axaftvan tiştê ku jê re lazim bû dixwîne û tavilê jê diçe. Beşdar jî wextê wan tune ku li wê bigerin - her tiştî, rapora din hema hema bê navber dest pê dike. Ev pir bi êş e, nemaze heke mirovên girîng ên mîna Lamport, Herlihy û Scott amade bin, û hûn bi rastî diçin konferansê tenê ji bo ku bi wan re hevdîtin bikin û tiştek nîqaş bikin.
Me ev pirsgirêk çareser kir. Di cih de piştî rapora xwe, axaftvan diçe qada nîqaşê ya taybetî, ku bi kêmanî tabloyek spî ya bi nîşanker ve girêdayî ye, û wextê we pir zêde heye. Bi fermî, axaftvan soz dide ku bi kêmî ve di navberê de di navbera pêşkêşiyan de li wir be. Di rastiyê de, ev qadên nîqaşê dibe bi saetan dirêj bike (li gor xwestek û bîhnfirehiya axaftvan).
Di derbarê Lamport de, ger ez rast fêm bikim, ew dixwaze bi qasî ku pêkan be wê yekê qanih bike - ev tiştekî baş e. (). Dibe ku ev ji endezyaran re bibe şansek baş ku fêrî tiştek nû û kêrhatî bibin. Leslie vê vebijarkê pêşkêşî dike - yên eleqedar dikarin li dersên wî yên berê temaşe bikin û bi pirsan werin. Ango, li şûna xalek sereke, dibe ku rûniştinek Q&A pispor hebe, û dûv re jî qada nîqaşê. Min hinek googlê kir û yekî mezin dît. (bi fermî dublaj kirin ) û derseke demjimêrek dirêj ji Civîna Fakulteya Microsoft.
Ger we van hemî kesan wekî navên ku ji Wîkîpediya û li ser bergê pirtûkan bi granît hatine avêtin fêm kirin, dem e ku hûn bi kesane bi wan re hevdîtin bikin! Sohbet bikin û pirsan bipirsin ku rûpelên gotarên zanistî dê bersivê nedin, lê nivîskarên wan dê kêfxweş bibin ku têkiliyê deynin.
Call for Papers
Ne veşartî ye ku gelek ji wan ên ku niha gotarê dixwînin, ne razî ne ku ji me re tiştek balkêş bibêjin. Ji hêla endezyariyê ve, ji hêla zanistî ve - ji her nêrînek. Komputera belavkirî mijarek pir berfireh û kûr e ku cîh ji her kesî re heye.
Heke hûn dixwazin bi Lamport re pêşbaziyê bikin, ew bi tevahî gengaz e. Ji bo ku hûn bibin axaftvan hûn hewce ne , her tiştî li wir bi baldarî bixwînin û li gorî rêwerzan bikin.
Bawer bin, gava ku hûn beşdarî pêvajoyê bibin, ew ê alîkariya we bikin. Komîteya Bernameyê xwedan şiyanên têr in ku ji bo raporê bixwe, esas û sêwirana wê alîkar be. Koordînator dê ji we re bibe alîkar ku hûn pirsgirêkên rêxistinî û hwd.
Bi taybetî bala xwe bidin wêneyê bi tarîxên. Tîrmeh ji bo beşdarvan dîrokek pir dûr e, lê pêdivî ye ku axaftvan nuha dest bi çalakiyê bike.
Dibistana SPTDC
Konferans dê li heman malperê wekî dibistana SPTDC were lidarxistin, ji ber vê yekê ji bo her kesê ku bilêtek dibistanê bikire, dê bilêtên konferansê bêne kirin. bi 20% discount.
dibistanek e ku qursek berfireh li ser aliyên pratîkî û teorîkî yên pergalên belavkirî peyda dike, ku ji hêla pisporên naskirî yên di warê têkildar de têne fêr kirin.
Dibistan dê bi Englishngilîzî were girtin, ji ber vê yekê navnîşa mijarên ku hatine girtin wiha xuya dike:
- Strukturên daneya hevdem: rastbûn û karîgerî;
- Algorîtmayên ji bo bîra non-volatile;
- Hesabkirina belavkirî;
- Fêrbûna makîneyê ya belavkirî;
- Replication dewlet-makîne û Paxos;
- Bîzansî xelet-tolerans;
- Bingehên Algorîtmîkî yên Blockchains.
Axaftvanên jêrîn dê biaxivin:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Zanîngeha Brown);
- Michael Scott (Zanîngeha Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Zanîngeha Waterloo);
- Elî Gafnî (UCLA);
- Danny Hendler (Zanîngeha Ben Gurion);
- Achour Mostefaoui (Zanîngeha Nantes).
Hûn dikarin bi serbestî raporên dibistana berê li ser YouTube temaşe bikin:
Gavên din
Bernameya konferansê hê jî tê çêkirin. Nûçeyên li ser Habré an li ser torên civakî bişopînin (, , ).
Ger hûn bi rastî ji konferansê bawer dikin (an jî dixwazin ji bihayê têketina taybetî, ku jê re tê gotin "Early Bird" sûd werbigirin), hûn dikarin biçin malperê û .
Te li Hydra bibînin!
Source: www.habr.com