Eyi jẹ Leslie Lamport jẹ onkọwe ti awọn iṣẹ seminal ni iširo pinpin, ati pe o tun le mọ ọ nipasẹ awọn lẹta La ninu ọrọ naa. LaTeX - "Lamport TeX". O jẹ ẹniti o kọkọ, pada ni ọdun 1979, ṣafihan imọran naa , ati awọn re article gba Dijkstra Prize (diẹ sii ni pipe, ni ọdun 2000 ni a pe ẹbun naa ni ọna atijọ rẹ: “Award Paper Paper PODC”). Nibẹ ni nipa rẹ , Nibi ti o ti le gba diẹ ninu awọn diẹ awon ìjápọ. Ti o ba ni itara nipa yanju awọn iṣoro lori ṣẹlẹ-ṣaaju tabi (BFT), lẹhinna o gbọdọ loye pe Lamport wa lẹhin gbogbo eyi.
Oun yoo tun wa laipe si apejọ tuntun wa lori iširo pinpin - Hydra, eyiti yoo waye ni Oṣu Keje 11-12 ni St. Jẹ ki a wo iru ẹranko ti eyi jẹ.
Hydra 2019
Awọn koko-ọrọ bii multithreading wa laarin awọn olokiki julọ ni awọn apejọ wa, nigbagbogbo ti wa. Ni bayi yara yii ti di ahoro, ṣugbọn lẹhinna eniyan han lori ipele ti o sọrọ nipa awoṣe iranti, ṣẹlẹ-ṣaaju tabi ikojọpọ idoti-asapo pupọ ati - ariwo! - tẹlẹ nipa ẹgbẹrun eniyan ti gba gbogbo aaye ti o wa lati joko ati tẹtisi ni pẹkipẹki. Kini pataki ti aṣeyọri yii? Boya o jẹ nitori pe gbogbo wa ni iru ohun elo kan ni ọwọ ti o le ṣeto awọn iširo pinpin? Tabi ṣe o jẹ pe a ni oye ti ailagbara wa lati fifuye bi o ti yẹ? Itan gidi kan wa ti Quant St. Kini iwọ yoo ṣe ti o ba ni agbara lati ṣe awọn iṣẹ-ṣiṣe rẹ ti o pọ ni igba pupọ ju ti o wa lọ bayi?
Nitori iru gbaye-gbale bẹ, koko-ọrọ ti iṣelọpọ ati ṣiṣe iširo daradara duro lati tan kaakiri eto apejọ. Bawo ni ọpọlọpọ awọn ọjọ meji ti awọn ijabọ le ṣee ṣe nipa iṣẹ ṣiṣe - ẹkẹta, idamẹta meji? Ni diẹ ninu awọn aaye awọn ihamọ atọwọda ti o ṣe idiwọ idagbasoke yii: ni afikun si iṣẹ ṣiṣe, aye tun gbọdọ wa fun awọn ilana wẹẹbu tuntun, fun iru awọn devops tabi awọn astronautics ayaworan. Rara, iṣẹ ṣiṣe, iwọ kii yoo jẹ gbogbo wa ni kikun!
Tabi o le lọ ni ọna idakeji, fi silẹ ati nitootọ ṣe apejọ kan ti yoo jẹ patapata nipa awọn iširo pinpin ati nipa wọn nikan. Ati pe o wa, Hydra.
Jẹ ki a ni otitọ gba pe loni gbogbo awọn iṣiro ti pin ni ọna kan tabi omiiran. Boya o jẹ ẹrọ ti o pọju-pupọ, iṣupọ iširo, tabi iṣẹ ti a pin kaakiri, ọpọlọpọ awọn ilana wa nibi gbogbo ti o ṣe awọn iṣiro ominira ni afiwe, mimuuṣiṣẹpọ pẹlu ara wọn. Hydra yoo ṣe iyasọtọ si bii eyi ṣe n ṣiṣẹ ni imọ-jinlẹ ati bii o ṣe n ṣiṣẹ ni iṣe.
Eto alapejọ
Eto naa wa lọwọlọwọ ni ipele idasile rẹ. O yẹ ki o pẹlu awọn ijabọ lati ọdọ awọn oludasilẹ ti awọn imọ-jinlẹ ti awọn eto pinpin ati awọn onimọ-ẹrọ ti n ṣiṣẹ pẹlu wọn ni iṣelọpọ.
Fun apẹẹrẹ, ikopa ti Leslie Lamport lati Microsoft Iwadi ati Maurice Herlihy lati Brown University jẹ ti mọ tẹlẹ.
Maurice Herlihy - olokiki pupọ ati olokiki olokiki ti Imọ-ẹrọ Kọmputa, alaye tun wa nipa rẹ , nibi ti o ti le lọ kiri nipasẹ awọn ọna asopọ ati awọn iṣẹ. Nibẹ ni o le ṣe akiyesi awọn ẹbun Dijkstra meji, akọkọ fun iṣẹ lori , ati awọn keji, diẹ to šẹšẹ - . Nipa ọna, awọn ọna asopọ ko paapaa ja si SciHub, ṣugbọn si Brown University ati Virginia Tech University, o le ṣii ati ka.
Maurice yoo mu koko-ọrọ kan ti a pe ni “Blockchains lati irisi iširo pinpin.” Ti o ba nifẹ, o le wo igbasilẹ ti iroyin Maurice lati St. Petersburg JUG. Ṣe ayẹwo bi o ṣe ṣafihan koko-ọrọ naa ni kedere ati ni oye.
Koko-ọrọ keji ti a pe ni “Awọn ẹya data Meji” yoo ka Michael Scott lati University of Rochester. Ati ki o gboju kini - o tun ni tirẹ . Ni ile ni Wisconsin, o jẹ olokiki fun iṣẹ rẹ bi Diini ni Ile-ẹkọ giga ti Wisconsin-Madison, ati ni agbaye o jẹ ọkunrin ti o, papọ pẹlu Doug Lea, ṣe agbekalẹ awọn algoridimu ti kii ṣe idinamọ ati awọn laini amuṣiṣẹpọ lori eyiti awọn ile-ikawe Java. ṣiṣẹ. O gba Ẹbun Dijkstra rẹ ni ọdun mẹta lẹhin Herlihy, fun iṣẹ rẹ “Alugoridimu fun amuṣiṣẹpọ iwọn lori awọn oluṣeto iranti pinpin” (bi o ti ṣe yẹ, ni University of Rochester online ìkàwé).
Akoko pupọ tun wa titi di aarin Oṣu Keje. A yoo sọ fun ọ nipa awọn agbọrọsọ ti o ku ati awọn koko-ọrọ wọn bi a ṣe n ṣatunṣe eto naa ati ti o sunmọ Keje.
Ni gbogbogbo, ibeere naa waye - kilode ti a ṣe Hydra ni igba ooru? Lẹhinna, eyi ni akoko kekere, awọn isinmi. Iṣoro naa ni pe laarin awọn agbohunsoke awọn olukọ ile-ẹkọ giga wa, ati pe akoko eyikeyi miiran n ṣiṣẹ fun wọn. A nìkan ko le yan miiran ọjọ.
Awọn agbegbe ijiroro
Ni awọn apejọ miiran, o ṣẹlẹ pe agbọrọsọ ka ohun ti o nilo ati ki o lọ lẹsẹkẹsẹ. Awọn olukopa ko paapaa ni akoko lati wa rẹ - lẹhinna, ijabọ atẹle bẹrẹ fere laisi aarin. Eyi jẹ irora pupọ, paapaa ti awọn eniyan pataki bi Lamport, Herlihy ati Scott ba wa, ati pe iwọ yoo lọ si apejọ gangan lati pade wọn ati jiroro nkankan.
A ti yanju iṣoro yii. Lẹsẹkẹsẹ lẹhin ijabọ rẹ, agbọrọsọ lọ si agbegbe ifọrọwerọ pataki kan, ti o ni ipese pẹlu o kere ju pátákó funfun kan pẹlu ami-ami, ati pe o ni akoko pupọ. Ni deede, agbọrọsọ ṣe ileri lati wa nibẹ ni o kere ju lakoko gbogbo isinmi laarin awọn ifarahan. Ni otito, awọn agbegbe fanfa le na fun awọn wakati ni opin (da lori ifẹ ati ifarada ti agbọrọsọ).
Bi fun Lamport, ti MO ba loye ni deede, o fẹ lati parowa fun ọpọlọpọ eniyan bi o ti ṣee ṣe pe - Eyi jẹ ohun ti o dara. (). Boya eyi yoo jẹ aye ti o dara fun awọn onimọ-ẹrọ lati kọ nkan tuntun ati iwulo. Leslie nfunni ni aṣayan yii - awọn ti o nifẹ le wo awọn ikowe rẹ ti o kọja ati wa pẹlu awọn ibeere. Iyẹn ni, dipo koko ọrọ kan, igba Q&A pataki kan le wa, ati lẹhinna agbegbe ijiroro kan. Mo ti ṣe diẹ ninu awọn googling ati ki o ri kan nla. (ti a gbasilẹ ni ifowosi ) ati ikẹkọ wakati kan lati Microsoft Oluko Summit.
Ti o ba woye gbogbo awọn eniyan wọnyi bi awọn orukọ ti a sọ sinu giranaiti lati Wikipedia ati lori awọn ideri iwe, o to akoko lati pade wọn ni eniyan! Wiregbe ki o beere awọn ibeere ti awọn oju-iwe ti awọn nkan imọ-jinlẹ kii yoo dahun, ṣugbọn awọn onkọwe wọn yoo dun lati kan si.
Pe fun awọn Igbe
Kii ṣe aṣiri pe ọpọlọpọ awọn ti wọn n ka nkan naa ni bayi ko kọju si sisọ nkan ti o nifẹ si wa. Lati oju-ọna imọ-ẹrọ, lati oju-ọna ti imọ-jinlẹ - lati oju-ọna eyikeyi. Iṣiro pinpin jẹ koko ọrọ ti o gbooro pupọ ati ti o jinlẹ nibiti aye wa fun gbogbo eniyan.
Ti o ba fẹ dije lẹgbẹẹ Lamport, o ṣee ṣe patapata. Lati di agbọrọsọ o nilo , Ka ohun gbogbo nibẹ daradara ki o ṣe ni ibamu si awọn ilana naa.
Ni idaniloju, ni kete ti o ba darapọ mọ ilana naa, wọn yoo ran ọ lọwọ. Igbimọ Eto naa ni awọn agbara to lati ṣe iranlọwọ pẹlu ijabọ naa funrararẹ, pataki ati apẹrẹ rẹ. Alakoso yoo ran ọ lọwọ lati yanju awọn ọran eto ati bẹbẹ lọ.
San ifojusi pataki si aworan pẹlu awọn ọjọ. Oṣu Keje jẹ ọjọ ti o jinna kuku fun alabaṣe, ṣugbọn agbọrọsọ nilo lati bẹrẹ iṣe ni bayi.
Ile-iwe SPTDC
Apejọ naa yoo waye ni aaye kanna bi ile-iwe SPTDC, nitorinaa fun gbogbo eniyan ti o ra tikẹti si ile-iwe, awọn tikẹti si apejọ yoo jẹ pẹlu eni 20%.
jẹ ile-iwe ti o pese ọpọlọpọ awọn iṣẹ ikẹkọ lori awọn aaye iṣe ati imọ-jinlẹ ti awọn eto pinpin, ti a kọ nipasẹ awọn amoye ti a mọ ni aaye ti o yẹ.
Ile-iwe naa yoo waye ni ede Gẹẹsi, nitorinaa eyi ni atokọ ti awọn akọle ti a bo ṣe dabi:
- Awọn ẹya data nigbakanna: titọ ati ṣiṣe;
- Awọn alugoridimu fun iranti ti kii ṣe iyipada;
- Iṣiro pinpin;
- Ẹkọ ẹrọ ti a pin;
- Atunṣe-ẹrọ ti Ipinle ati Paxos;
- Ifarada-ẹbi Byzantine;
- Awọn ipilẹ algoridimu ti blockchains.
Awọn agbọrọsọ wọnyi yoo sọrọ:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Ile-ẹkọ giga Brown);
- Michael Scott (University of Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (University of Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion University);
- Acour Mostefaoui (University of Nantes).
O le ni ọfẹ wo awọn ijabọ ile-iwe ti tẹlẹ lori YouTube:
Next awọn igbesẹ
Eto alapejọ ti wa ni idasilẹ. Tẹle awọn iroyin lori Habré tabi lori awọn nẹtiwọọki awujọ (, , ).
Ti o ba gbagbọ gaan ninu apejọ naa (tabi fẹ lati lo anfani ti idiyele titẹsi pataki, ti a pe ni “Early Bird”), o le lọ si oju opo wẹẹbu ati .
Wo e ni Hydra!
orisun: www.habr.com