kini Leslie Lampor mao ang tagsulat sa seminal nga mga buhat sa distributed computing, ug mahimo usab nimo siyang mailhan pinaagi sa mga letra nga La sa pulong LaTeX - "Lamport TeX". Siya ang una, kaniadtong 1979, nagpaila sa konsepto , ug ang iyang artikulo nakadawat sa Dijkstra Prize (mas tukma, sa 2000 ang award gitawag sa iyang daan nga paagi: "PODC Influential Paper Award"). Adunay mahitungod kaniya , diin makakuha ka ug mas makapaikag nga mga link. Kung naghinamhinam ka bahin sa pagsulbad sa mga problema sa mahitabo-sa wala pa o (BFT), unya kinahanglan nimong masabtan nga si Lamport ang nagpaluyo niining tanan.
Moabut usab siya sa dili madugay sa among bag-ong komperensya sa gipang-apod-apod nga kompyuter - Hydra, nga mahitabo sa Hulyo 11-12 sa St. Atong tan-awon kon unsang matanga kini nga mananap.
Hydra 2019
Ang mga hilisgutan sama sa multithreading usa sa labing inila sa among mga komperensya, kanunay. Karon lang kini nga lawak gibiyaan, apan unya usa ka tawo ang nagpakita sa entablado nga naghisgot bahin sa modelo sa panumduman, nahitabo-sa wala pa o multi-threaded nga koleksyon sa basura ug - boom! β mga usa na ka libo ka mga tawo ang nag-okupar sa tanan nga magamit nga lugar aron makalingkod ug maminaw pag-ayo. Unsa ang diwa niini nga kalampusan? Tingali tungod kay kitang tanan adunay usa ka matang sa hardware nga magamit nga maka-organisar sa gipang-apod-apod nga kompyuter? O kini ba nga wala naton nahibal-an nga nasabtan ang atong kawalay katakus sa pagkarga niini ingon nga angay niini? Adunay usa ka tinuod nga istorya sa usa ka St. Petersburg quant (nga mao, usa ka pinansyal nga quantitative analista ug developer), nga nakakaplag sa iyang kaugalingon sa pagpanag-iya sa usa ka computing cluster, ang bug-os nga gahum nga siya lamang ang makagamit. Unsa ang imong buhaton kon ikaw adunay kapasidad sa pagbuhat sa imong mga buluhaton nga sa daghang mga higayon mas dako kay sa karon?
Tungod sa ingon nga pagkapopular, ang hilisgutan sa pagka-produktibo ug episyente nga pag-compute lagmit nga mikaylap sa agenda sa komperensya. Pila sa duha ka adlaw nga mga taho ang mahimo bahin sa pasundayag - ikatulo, dos-tersiya? Sa pipila ka mga dapit adunay mga artipisyal nga mga pagdili nga naglimite niini nga pagtubo: dugang pa sa performance, kinahanglan pa nga adunay luna alang sa bag-ong web frameworks, alang sa pipila ka matang sa devops o arkitektura astronautics. Dili, pasundayag, dili ka makakaon kanamong tanan!
O mahimo ka nga moadto sa sukwahi nga paagi, mohunong ug matinud-anon nga maghimo usa ka komperensya nga hingpit nga bahin sa giapod-apod nga pagkalkula ug bahin lamang kanila. Ug ania kini, Hydra.
Atong matinud-anon nga dawaton nga karon ang tanan nga mga kalkulasyon giapod-apod sa usa ka paagi o sa lain. Bisan kung kini usa ka multi-core nga makina, usa ka cluster sa kompyuter, o usa ka dako nga giapod-apod nga serbisyo, adunay daghang mga proseso bisan diin nga nagpahigayon mga independente nga kalkulasyon nga managsama, nga nag-synchronize sa usag usa. Ang Hydra igahin kung giunsa kini molihok sa teorya ug kung giunsa kini molihok sa praktis.
Programa sa komperensya
Ang programa anaa sa yugto sa pagkaporma niini. Kini kinahanglan nga maglakip sa mga taho gikan sa mga magtutukod sa mga teorya sa gipang-apod-apod nga mga sistema ug mga inhenyero nga nagtrabaho kauban nila sa produksiyon.
Pananglitan, ang pag-apil ni Leslie Lamport gikan sa Microsoft Research ug Maurice Herlihy gikan sa Brown University nahibal-an na.
Maurice Herlihy - usa ka sikat kaayo ug respetado nga propesor sa Computer Science, adunay impormasyon usab mahitungod kaniya , diin maka-browse ka sa mga link ug mga buhat. Didto imong mamatikdan ang duha ka Dijkstra awards, ang una alang sa pagtrabaho , ug ang ikaduha, mas bag-o - . Pinaagi sa dalan, ang mga sumpay dili gani mosangpot sa SciHub, apan sa Brown University ug Virginia Tech University, mahimo nimong ablihan ug basahon.
Si Maurice maghimo usa ka keynote nga gitawag nga "Blockchains gikan sa usa ka giapod-apod nga panan-aw sa kompyuter." Kung interesado ka, mahimo nimong tan-awon ang pagrekord sa taho ni Maurice gikan sa St. Petersburg JUG. Timbang-timbanga kon unsa ka tin-aw ug masabtan ang iyang pagpahayag sa topiko.
Ang ikaduha nga keynote nga gitawag og "Dual Data Structures" mabasa Michael Scott gikan sa Unibersidad sa Rochester. Ug ambot unsa - siya usab adunay iyang kaugalingon . Sa balay sa Wisconsin, nailhan siya sa iyang trabaho isip usa ka dean sa Unibersidad sa Wisconsin-Madison, ug sa kalibutan siya ang tawo nga, kauban ni Doug Lea, nagpalambo sa mga non-blocking algorithm ug nagkadungan nga mga pila diin ang mga librarya sa Java. trabaho. Nadawat niya ang iyang Dijkstra Prize tulo ka tuig pagkahuman ni Herlihy, alang sa iyang trabaho nga "Algorithms for scalable synchronization on shared-memory multiprocessors" (sama sa gipaabot, sa University of Rochester online library).
Daghan pa ang panahon hangtod sa tungatunga sa Hulyo. Isulti namo kanimo ang bahin sa nahabilin nga mga mamumulong ug ang ilang mga hilisgutan samtang among gidalisay ang programa ug nagkaduol sa Hulyo.
Sa kinatibuk-an, mitungha ang pangutana - ngano nga buhaton naton ang Hydra sa ting-init? Human sa tanan, kini mao ang ubos nga panahon, holidays. Ang problema mao nga taliwala sa mga mamumulong adunay mga magtutudlo sa unibersidad, ug bisan unsang orasa busy alang kanila. Dili gyud kami makapili sa ubang mga petsa.
Mga dapit sa panaghisgot
Sa ubang mga komperensya, mahitabo nga ang mamumulong nagbasa sa iyang gikinahanglan ug dayon mibiya. Ang mga partisipante wala gani panahon sa pagpangita niini - human sa tanan, ang sunod nga report magsugod halos walay agwat. Sakit kaayo kini, labi na kung naa ang mga importanteng tawo sama nila Lamport, Herlihy ug Scott, ug moadto gyud ka sa komperensya aron lang mahimamat sila ug hisgutan ang usa ka butang.
Nasulbad na namo kini nga problema. Diha-diha dayon human sa iyang taho, ang mamumulong moadto sa usa ka espesyal nga dapit sa panaghisgot, nga adunay labing menos usa ka whiteboard nga adunay marka, ug ikaw adunay daghang oras. Sa pormal nga paagi, ang mamumulong nagsaad nga anaa didto labing menos sa tibuok nga pahulay tali sa mga presentasyon. Sa tinuud, kini nga mga lugar nga diskusyon mahimo pag-inat sa daghang oras sa katapusan (depende sa tinguha ug paglahutay sa mamumulong).
Sa bahin ni Lamport, kung nakasabot ko sa husto, gusto niya nga makombinser ang daghang mga tawo kutob sa mahimo - kini usa ka maayong butang. (). Tingali kini usa ka maayong higayon alang sa mga inhenyero nga makakat-on og bag-o ug mapuslanon. Gitanyag ni Leslie kini nga kapilian - kadtong interesado mahimong motan-aw sa iyang nangaging mga lektyur ug moabut uban ang mga pangutana. Kana mao, imbes usa ka keynote, mahimo nga adunay usa ka espesyal nga sesyon sa Q&A, ug unya usa usab ka lugar sa panaghisgot. Nag-googling ko ug nakakaplag ug nindot. (opisyal nga gitawag ) ug usa ka oras nga lecture gikan sa Microsoft Faculty Summit.
Kung imong gitan-aw kining tanan nga mga tawo ingon nga mga ngalan nga gibutang sa granite gikan sa Wikipedia ug sa mga hapin sa libro, panahon na aron makigkita sila sa personal! Pag-chat ug pangutana nga ang mga panid sa siyentipikong mga artikulo dili motubag, apan ang ilang mga tagsulat malipay nga makigkontak.
Paghangyo alang sa mga papeles
Dili kini sekreto nga daghan sa mga nagbasa karon sa artikulo wala magdumili sa pagsulti kanamo usa ka butang nga makapaikag. Gikan sa usa ka engineering nga punto sa panglantaw, gikan sa usa ka siyentipikong punto sa panglantaw - gikan sa bisan unsa nga punto sa panglantaw. Ang gipang-apod-apod nga computing kay halapad kaayo ug lawom nga hilisgutan diin adunay luna alang sa tanan.
Kung gusto nimo nga makigkompetensya kauban ang Lamport, mahimo kini. Aron mahimong mamumulong kinahanglan nimo , basaha pag-ayo ang tanan didto ug buhata sumala sa mga instruksyon.
Makasalig ka, kung moapil ka sa proseso, tabangan ka nila. Ang Komite sa Programa adunay igong kapabilidad sa pagtabang sa report mismo, ang esensya ug disenyo niini. Ang coordinator motabang kanimo sa pagsulbad sa mga isyu sa organisasyon ug uban pa.
Hatagi og espesyal nga pagtagad ang hulagway nga adunay mga petsa. Ang Hulyo usa ka medyo layo nga petsa alang sa partisipante, apan ang mamumulong kinahanglan nga magsugod sa paglihok karon.
eskwelahan sa SPTDC
Ang komperensya himuon sa parehas nga site sa eskuylahan sa SPTDC, busa alang sa tanan nga mopalit og tiket sa eskuylahan, ang mga tiket sa komperensya nga adunay 20% nga diskwento.
usa ka eskwelahan nga naghatag ug halapad nga kurso sa praktikal ug teoretikal nga aspeto sa gipang-apod-apod nga mga sistema, nga gitudlo sa mga giila nga eksperto sa may kalabutan nga natad.
Ang eskuylahan ipahigayon sa English, mao nga kini ang hitsura sa lista sa mga hilisgutan nga nasakop:
- Kadungan nga mga istruktura sa datos: pagkahusto ug kaepektibo;
- Algorithm para sa non-volatile memory;
- Giapod-apod nga computability;
- Giapod-apod nga pagkat-on sa makina;
- State-machine replication ug Paxos;
- Byzantine fault-tolerance;
- Algorithmic nga sukaranan sa mga blockchain.
Ang mosunod nga mga mamumulong mosulti:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (University of Rochester);
- Dan Astarh (IST Austria);
- Trevor Brown (University of Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion University);
- Achour Mostefaoui (University of Nantes).
Libre ka nga makatan-aw sa mga report sa miaging eskwelahan sa YouTube:
Sunod nga mga lakang
Ang programa sa komperensya giporma pa. Sunda ang balita sa HabrΓ© o sa mga social network (, , ).
Kung motuo gyud ka sa komperensya (o gusto nimong pahimuslan ang espesyal nga presyo sa pagsulod, nga gitawag nga "Early Bird"), mahimo kang moadto sa website ug .
Magkita ta sa Hydra!
Source: www.habr.com