19 hydra olori. Nla Akopọ ti awọn eto

Apero kan yoo waye ni Oṣu Keje 11-12 ni St Hydra, igbẹhin si idagbasoke awọn ọna ṣiṣe ti o jọra ati pinpin. Ẹtan ti Hydra ni pe o ṣọkan awọn onimọ-jinlẹ tutu (ti o le rii nigbagbogbo nikan ni awọn apejọ imọ-jinlẹ ajeji) ati awọn onimọ-ẹrọ adaṣe olokiki sinu eto nla kan ni ikorita ti imọ-jinlẹ ati adaṣe.

Hydra jẹ ọkan ninu awọn apejọ pataki julọ wa ni awọn ọdun diẹ sẹhin. O ti ṣaju nipasẹ igbaradi to ṣe pataki, yiyan awọn agbọrọsọ ati awọn ijabọ. Ni ose to koja nipa eyi Ifọrọwanilẹnuwo Khabro jade pẹlu oludari ti Ẹgbẹ JUG.ru, Alexey Fedorov (23 agbero).

awa ti sọ tẹlẹ nipa awọn olukopa pataki mẹta, awọn oludasilẹ ti ẹkọ ti awọn ọna ṣiṣe pinpin - Leslie Lamport, Maurice Herlihy ati Michael Scott. O to akoko lati sọrọ ni alaye diẹ sii nipa gbogbo eto naa!

19 hydra olori. Nla Akopọ ti awọn eto

Iwuri

Ti o ba ni ipa ninu siseto, lẹhinna ọna kan tabi omiiran o n ṣe pẹlu multithreading ati iširo pinpin. Awọn amoye ni awọn aaye ti o yẹ ṣiṣẹ pẹlu wọn taara, ṣugbọn ni ṣoki, pinpin n wo wa lati ibi gbogbo: ni eyikeyi kọmputa-ọpọlọpọ-mojuto tabi iṣẹ ti a pin ni nkan ti o ṣe awọn iṣiro ni afiwe.

Ọpọlọpọ awọn apejọ wa ti o bo ọpọlọpọ awọn aaye ti siseto ohun elo. Ni ìha keji julọ.Oniranran, a ni amọja awọn ile-iwe imo ijinle sayensi ti o han tiwa ni oye ti ẹkọ eka ninu kika ikowe. Fun apẹẹrẹ, ni afiwe pẹlu Hydra ni St Ile-iwe SPTDC. Ni apejọ Hydra, a gbiyanju lati ṣajọpọ iwa lile, imọ-jinlẹ, ati ohun gbogbo ni ikorita wọn.

Ronu nipa eyi: a n gbe ni akoko iyalẹnu nigbati o le pade ni eniyan awọn oludasilẹ aaye ti imọ-ẹrọ ati imọ-ẹrọ ti a ṣe ikẹkọ. Physicists yoo ko pade boya Newton tabi Einstein - reluwe ti lọ. Ṣugbọn lẹgbẹẹ wa tun n gbe awọn ti o ṣẹda awọn ipilẹ ti ẹkọ ti awọn eto pinpin, ti ṣẹda awọn ede siseto olokiki, ati fun igba akọkọ ṣe gbogbo eyi ni awọn apẹẹrẹ ṣiṣẹ. Awọn eniyan wọnyi ko fi iṣẹ wọn silẹ ni agbedemeji, wọn n ṣiṣẹ ni bayi lori awọn ọran titẹ ni awọn ile-ẹkọ giga ati awọn ile-iṣẹ olokiki agbaye, ati pe o jẹ orisun ti o tobi julọ ti imọ ati iriri loni.

Ni ida keji, aye lati pade wọn nigbagbogbo wa ni imọ-jinlẹ: diẹ ninu wa le ṣe atẹle nigbagbogbo awọn iṣẹlẹ gbangba ni diẹ ninu University of Rochester, ati lẹhinna yara lọ si AMẸRIKA ati pada fun ikẹkọ pẹlu Michael Scott. Ṣibẹwo gbogbo awọn ọmọ ẹgbẹ Hydra yoo jẹ owo kekere kan, kii ṣe kika abyss ti akoko isọnu (botilẹjẹpe o dabi bi ibeere ti o nifẹ si).

Ni apa keji, a ni ọpọlọpọ awọn onimọ-ẹrọ giga ti o n ṣiṣẹ lori awọn iṣoro titẹ ni awọn eto pinpin ni bayi, ati pe dajudaju wọn ni pupọ lati sọ. Sugbon nibi ni isoro - nwọn аботают, ati akoko wọn niyelori. Bẹẹni, ti o ba jẹ oṣiṣẹ ti Microsoft, Google tabi JetBrains, o ṣeeṣe lati pade ọkan ninu awọn agbohunsoke olokiki ni iṣẹlẹ inu kan pọ si ni didasilẹ, ṣugbọn ni gbogbogbo, rara, eyi ko ṣẹlẹ ni gbogbo ọjọ.

Ni ọna yii, Apejọ Hydra ṣe iṣẹ-ṣiṣe pataki kan ti ọpọlọpọ ninu wa ko le ṣe funrararẹ - ni aaye kan ati ni akoko kan, o mu awọn eniyan papọ ti awọn imọran tabi awọn ibaraẹnisọrọ pẹlu ẹniti o le yi igbesi aye rẹ pada. Mo gba pe kii ṣe gbogbo eniyan nilo awọn eto pinpin tabi diẹ ninu awọn nkan ipilẹ eka. O le ṣe eto awọn CRUD ni PHP fun iyoku igbesi aye rẹ ki o wa ni idunnu patapata. Ṣugbọn ẹnikẹni ti o nilo rẹ, eyi ni anfani rẹ.

Igba pipẹ ti kọja lati ikede akọkọ ti apejọ Hydra lori Habré. Lakoko yii, ọpọlọpọ iṣẹ ti ṣe - ati ni bayi a ni atokọ ti gbogbo awọn ijabọ. Ko si awọn algoridimu onilọra ẹyọkan, o kan lile lile pinpin mimọ! Jẹ ki a pari pẹlu awọn ọrọ gbogbogbo ki o wo ohun ti a ni lori ọwọ wa ni bayi.

Awọn koko ọrọ

Awọn akọsilẹ bọtini bẹrẹ ati pari awọn ọjọ ti apejọ naa. Nigbagbogbo aaye koko ọrọ ṣiṣi ni lati ṣeto ẹmi gbogbogbo ati itọsọna ti apejọ naa. Bọtini bọtini ipari ti o fa ila kan ati ṣalaye bi a ṣe le gbe pẹlu imọ ati awọn ọgbọn ti a gba lakoko apejọ naa. Ibẹrẹ ati opin: ohun ti a ranti julọ, ati ni apapọ, ti pọ si pataki.

Cliff Tẹ H2O ti pin K/V algorithm

19 hydra olori. Nla Akopọ ti awọn eto Cliff jẹ arosọ ni agbaye Java. Ni ipari awọn 90s, fun iwe-ẹkọ PhD rẹ, o kọ iwe kan ti o ni ẹtọ "Ṣajọpọ Awọn Atupalẹ, Iṣajọpọ Awọn iṣapeye", eyiti diẹ ninu awọn akoko nigbamii di ipilẹ fun HotSpot JVM Server Compiler. Ni ọdun meji lẹhinna, o ti n ṣiṣẹ tẹlẹ ni Sun Microsystems lori JVM ati fihan gbogbo agbaye pe JIT ni ẹtọ lati wa. Gbogbo itan yii nipa bii Java ṣe jẹ ọkan ninu awọn akoko asiko ode oni ti o yara julọ pẹlu ijafafa ati awọn iṣapeye ti o yara julọ wa lati Cliff Tẹ. Ni ibẹrẹ akọkọ, o gbagbọ pe ti nkan kan ba wa si alakojọ aimi, iwọ ko paapaa ni lati gbiyanju lati jit. Ṣeun si iṣẹ ti Cliff ati ẹgbẹ, gbogbo awọn ede tuntun bẹrẹ lati ṣẹda pẹlu imọran ti akopọ JIT nipasẹ aiyipada. Nitoribẹẹ, eyi kii ṣe iṣẹ eniyan kan, ṣugbọn Cliff ṣe ipa pataki ninu rẹ.

Ninu koko ọrọ ṣiṣi, Cliff yoo sọrọ nipa igbiyanju miiran rẹ - H20, Syeed iranti-iranti fun pinpin ati ikẹkọ ẹrọ ti iwọn fun awọn ohun elo ile-iṣẹ. Tabi diẹ sii ni deede, nipa ibi ipamọ pinpin ti awọn orisii iye bọtini inu rẹ. Eyi jẹ ibi ipamọ ti o yara pupọ pẹlu ọpọlọpọ awọn ohun-ini ti o nifẹ (akojọ deede wa ninu apejuwe), eyiti o gba laaye lilo iru awọn solusan ni mathimatiki ti ṣiṣan data nla.

Ijabọ miiran ti Cliff yoo fun ni - Awọn iriri iranti Idunadura Azul Hardware. Apakan miiran ti igbesi aye rẹ - ọdun mẹwa ṣiṣẹ ni Azul, nibiti o ti ṣe imudojuiwọn ati ilọsiwaju ọpọlọpọ awọn nkan ni ohun elo Azul ati akopọ imọ-ẹrọ: awọn olupilẹṣẹ JIT, akoko asiko, awoṣe okun, mimu aṣiṣe, mimu akopọ, awọn idilọwọ ohun elo, ikojọpọ kilasi, ati bẹbẹ lọ - daradara, o gba awọn ero.

Apakan ti o nifẹ julọ bẹrẹ nigbati wọn ṣe ohun elo fun iṣowo nla kan - supercomputer lati ṣiṣẹ Java. O jẹ ohun imotuntun kuku, ti a ṣe ni pataki fun Java, eyiti o ni awọn ibeere pataki - ka awọn idena iranti fun ikojọpọ idọti kekere-sinmi, awọn ilana pẹlu iṣayẹwo awọn aala, awọn ipe foju… Ọkan ninu awọn imọ-ẹrọ tutu julọ jẹ iranti iṣowo ohun elo. Gbogbo L1 ti eyikeyi ninu awọn ohun kohun 864 le kopa ninu kikọ iṣowo, eyiti o ṣe pataki julọ fun ṣiṣẹ pẹlu awọn titiipa ni Java (awọn bulọọki amuṣiṣẹpọ le ṣiṣẹ ni afiwe niwọn igba ti ko si rogbodiyan iranti gidi). Ṣugbọn imọran ẹlẹwa ti fọ nipasẹ otitọ lile - ati ninu ọrọ yii Cliff yoo sọ fun ọ idi ti HTM ati STM ko baamu daradara fun awọn iwulo iwulo ti iṣiro-asapo ọpọlọpọ.

Michael Scott - Awọn ẹya data meji

19 hydra olori. Nla Akopọ ti awọn eto Michael Scott - Ọjọgbọn ti Imọ-ẹrọ Kọmputa ni Yunifasiti ti Rochester, pẹlu ẹniti ayanmọ ti sopọ mọ rẹ tẹlẹ 34 ọdún, ati ni ile rẹ University of Wisconsin–Madison, o jẹ Diini fun odun marun. O ṣe iwadii ati kọ awọn ọmọ ile-iwe nipa isọdọkan ati pinpin kaakiri ati apẹrẹ ede.

Gbogbo agbaye mọ Michael o ṣeun si iwe-ẹkọ "Ede Pragmatics siseto", àtúnse tuntun ti eyiti a tẹjade laipẹ laipẹ - ni ọdun 2015. Iṣẹ rẹ "Alugoridimu fun amuṣiṣẹpọ ti iwọn lori awọn oluṣeto-ara-iranti pinpin" gba Dijkstra joju bi ọkan ninu awọn julọ olokiki ninu awọn aaye ti pin iširo ati eke gbangba ni University of Rochester Online Library. O tun le mọ ọ bi onkọwe ti Michael-Scott algorithm pupọ lati "Rọrun, Yara, ati Ise Wulo Kii Dina ati Idilọwọ Awọn alugoridimu Queue Igbakan".

Bi fun agbaye Java, eyi jẹ ọran pataki kan: papọ pẹlu Doug Lea, o ṣe agbekalẹ awọn algoridimu ti kii ṣe idiwọ ati awọn laini amuṣiṣẹpọ lori eyiti awọn ile-ikawe Java ṣiṣẹ. Eyi ni deede ohun ti bọtini “Awọn ẹya data Meji” yoo jẹ nipa - iṣafihan awọn ẹya wọnyi ni Java SE 6 ti ni ilọsiwaju iṣẹ nipasẹ awọn akoko 10 java.util.concurrent.ThreadPoolExecutor. Ti o ba n iyalẹnu tẹlẹ kini “awọn ẹya data Meji” wọnyi jẹ, lẹhinna alaye wa nipa rẹ jẹmọ iṣẹ.

Maurice Herlihy - Blockchains ati ọjọ iwaju ti iširo pinpin

19 hydra olori. Nla Akopọ ti awọn eto Maurice Herlihy - Winner ti meji Dijkstra Prizes. Ohun akọkọ jẹ fun iṣẹ "Amuṣiṣẹpọ-Ọfẹ" (Ile-ẹkọ giga Brown), ati ekeji, aipẹ diẹ sii - "Iranti Idunadura: Atilẹyin Itumọ fun Awọn ẹya data Titii-Ọfẹ" (Ile-ẹkọ giga ti Virginia Tech). Ẹbun Dijkstra ṣe idanimọ iṣẹ ti pataki ati ipa rẹ ti han fun o kere ju ọdun mẹwa, ati pe Maurice jẹ kedere ọkan ninu awọn amoye olokiki julọ ni aaye naa. Lọwọlọwọ o ṣiṣẹ bi olukọ ọjọgbọn ni Ile-ẹkọ giga Brown ati pe o ni atokọ gigun-pipe ti awọn aṣeyọri.

Ninu koko-ọrọ ipari ipari yii, Maurice yoo sọrọ nipa imọran ati iṣe ti awọn ọna ṣiṣe pinpin blockchain lati oju-ọna ti awọn kilasika ti iširo pinpin ati bi o ṣe jẹ ki ọpọlọpọ awọn iṣoro ti o ni ibatan simplifies. Eyi jẹ ijabọ iyasọtọ lori koko-ọrọ ti apejọpọ - kii ṣe rara nipa aruwo iwakusa, ṣugbọn dipo nipa bii imọ-jinlẹ wa ṣe le lo ni iyalẹnu ni imunadoko ati ni deede ni ibatan si awọn iṣẹ ṣiṣe lọpọlọpọ.

Ni Oṣu Keje ọdun 2017, Maurice ti wa tẹlẹ si Russia lati lọ si ile-iwe SPTDC, kopa ninu ipade JUG.ru, ati pe o le wo gbigbasilẹ lori YouTube:

Eto akọkọ

Nigbamii yoo jẹ apejuwe kukuru ti awọn ijabọ ti o wa ninu eto naa. Diẹ ninu awọn ijabọ ni a ṣe apejuwe nibi ni awọn alaye, awọn miiran diẹ sii ni ṣoki. Awọn apejuwe gigun lọ ni pataki si awọn ijabọ ede Gẹẹsi ti o nilo awọn ọna asopọ si awọn iwe imọ-jinlẹ, awọn ofin lori Wikipedia, ati bẹbẹ lọ. Ni kikun akojọ wa ri lori alapejọ aaye ayelujara. Atokọ lori oju opo wẹẹbu yoo ni imudojuiwọn ati afikun.

Leslie Lamport - Ibeere & A

19 hydra olori. Nla Akopọ ti awọn eto Leslie Lamport jẹ onkọwe ti awọn iṣẹ seminal ni iširo pinpin. "LaTeX" duro fun "Lamport TeX". O jẹ ẹniti o kọkọ, pada ni ọdun 1979, ṣafihan imọran naa aitasera lesese, ati awọn re article "Bi o ṣe le ṣe Kọmputa Multiprocessor kan ti o ṣe deede Awọn eto ilana pupọ" gba Dijkstra Prize.

Eyi jẹ apakan dani pupọ julọ ti eto naa ni awọn ọna kika, nitori kii ṣe ijabọ paapaa, ṣugbọn akoko ibeere ati idahun. Nigbati apakan pataki ti awọn olugbo ba ti mọ tẹlẹ (tabi o le faramọ) pẹlu gbogbo awọn iṣẹ ti o da lori “imọran Lamport”, awọn nkan tirẹ ati awọn ijabọ, o ṣe pataki diẹ sii lati lo gbogbo akoko ti o wa lori ibaraẹnisọrọ taara.

Ero naa rọrun - o wo awọn ijabọ meji lori YouTube: "Eto yẹ ki o jẹ diẹ sii ju ifaminsi" и "Ti O ko ba Kọ Eto kan, Maṣe Lo Ede siseto" ki o si mura o kere ju ibeere kan, ati Leslie dahun.

Ni igba akọkọ ti awọn wọnyi meji awọn fidio ti a ni tẹlẹ ni tan-sinu kan habro article. Ti o ko ba ni wakati kan ti akoko lati wo fidio naa, o le yara ka gbogbo rẹ ni fọọmu ọrọ.

Akiyesi: Ọpọlọpọ awọn fidio Leslie Lamport diẹ sii wa lori YouTube. Fun apẹẹrẹ, nla kan wa TLA + dajudaju. Ẹya aisinipo ti gbogbo iṣẹ ikẹkọ wa ni onkọwe ile iwe, o si gbe e sori YouTube fun wiwo irọrun lori awọn ẹrọ alagbeka.

Martin Kleppmann - Mimuuṣiṣẹpọ data kọja awọn ẹrọ olumulo fun ifowosowopo pinpin

19 hydra olori. Nla Akopọ ti awọn eto Martin Kleppmann jẹ oniwadi ni University of Cambridge ti n ṣiṣẹ lori CRDT ati ijẹrisi deede ti awọn algoridimu. Iwe Martin "Ṣiṣe awọn ohun elo ti o lekoko data", ti a tẹjade ni ọdun 2017, fihan pe o ṣaṣeyọri pupọ ati pe o ṣe lori awọn atokọ ti o dara julọ ni aaye ti ipamọ data ati sisẹ. Kevin Scott, CTO ni Microsoft, ni kete ti wi: “Ìwé yìí gbọ́dọ̀ jẹ́ ohun tí a gbọ́dọ̀ ní fún àwọn onímọ̀ ẹ̀rọ abánisọ̀rọ̀. Eyi jẹ orisun ti o ṣọwọn ti o ṣaapọ imọ-jinlẹ ati adaṣe lati ṣe iranlọwọ fun awọn olupolowo ijafafa ni ṣiṣe apẹrẹ ati imuse awọn amayederun ati awọn eto data. ” Eleda ti Kafka ati CTO ti Confluent, Jay Kreps, sọ nkankan iru.

Ṣaaju ki o to lọ si iwadii ẹkọ, Martin ṣiṣẹ ni ile-iṣẹ ati pe o ṣe ipilẹ awọn ibẹrẹ aṣeyọri meji:

  • Rapportive, igbẹhin si iṣafihan profaili awujọ ti awọn olubasọrọ lati imeeli rẹ, eyiti LinkedIn ra ni 2012;
  • Lọ Ṣe idanwo rẹ, iṣẹ kan fun idanwo awọn oju opo wẹẹbu ni adaṣe ni ọpọlọpọ awọn aṣawakiri, eyiti RedGate ra ni ọdun 2009.

Ni gbogbogbo, Martin, bi o tilẹ jẹ pe o jẹ olokiki ju awọn koko-ọrọ wa, ti ni anfani lati ṣe diẹ ninu awọn ilowosi si idagbasoke ti iširo pinpin ati si ile-iṣẹ naa.

Ninu ọrọ yii, Martin yoo sọrọ nipa koko-ọrọ ti o sunmọ si iwadii ẹkọ rẹ. Ninu Google Docs ati iru awọn sofas ti n ṣatunkọ awọn iwe-ipamọ, “atunṣe iṣọpọ” tọka si iṣẹ-ṣiṣe ẹda kan: olumulo kọọkan ni ẹda ti ara wọn ti iwe pinpin, eyiti wọn yipada lẹhinna, ati pe gbogbo awọn ayipada ni a firanṣẹ kọja nẹtiwọọki si iyoku olukopa. Awọn iyipada si awọn iwe aṣẹ ni aisinipo yori si aiṣedeede fun igba diẹ ti iwe ni ibatan si awọn olukopa miiran, ati imuṣiṣẹpọ tun nilo mimu rogbodiyan mu. Iyẹn gangan ohun ti wọn wa fun Awọn iru Data Replicated-free rogbodiyan (CRDT), ni otitọ, jẹ ohun tuntun ti iṣẹtọ, pataki eyiti eyiti a ṣe agbekalẹ nikan ni ọdun 2011. Ọrọ yii jiroro ohun ti o ṣẹlẹ lati igba naa ni agbaye ti CRDT, kini awọn ilọsiwaju to ṣẹṣẹ jẹ, ọna lati ṣiṣẹda awọn ohun elo agbegbe-akọkọ ni gbogbogbo ati lilo ile-ikawe orisun ṣiṣi Adapapọ gegebi bi.

Ni ọsẹ to nbọ a yoo ṣe agbejade ifọrọwanilẹnuwo gigun pẹlu Martin lori Habré, yoo jẹ ohun ti o dun.

Pedro Ramalhete - Awọn ẹya data ti ko duro ati awọn iṣowo ọfẹ

19 hydra olori. Nla Akopọ ti awọn eto Pedro ṣiṣẹ ni Sisiko ati pe o ti n ṣe agbekalẹ awọn algoridimu ti o jọra fun ọdun mẹwa sẹhin tabi bẹ, pẹlu awọn ilana imuṣiṣẹpọ, titiipa-ọfẹ ati awọn ẹya data ti ko duro ati ohun gbogbo ti o le fojuinu lori koko yii. Iwadi lọwọlọwọ rẹ ati awọn iwulo imọ-ẹrọ ni idojukọ lori Awọn iṣelọpọ Agbaye, Iranti Idunadura sọfitiwia, Iranti igbagbogbo ati awọn imọ-ẹrọ ti o jọra ti o jẹ ki awọn ohun elo ti o tọ, iwọn ati awọn ifarada aṣiṣe ṣiṣẹ. Oun tun jẹ onkọwe bulọọgi kan ti a mọ pupọ ni awọn iyika dín Concurrency Freaks.

Pupọ awọn ohun elo multithreaded ni bayi nṣiṣẹ lori awọn ẹya data ti o jọra, lati lilo awọn laini ifiranṣẹ laarin awọn oṣere si awọn ẹya data atọka ni awọn ile itaja iye-bọtini. Wọn ti ṣiṣẹ ni aṣeyọri ni Java JDK fun ọpọlọpọ ọdun, ati pe wọn ti ṣafikun laiyara si C ++.

Ọna ti o rọrun julọ lati ṣe imuse igbekalẹ data ti o jọra jẹ imuse ilana-tẹle (asapo-ẹyọkan) ninu eyiti awọn ọna ti ni aabo nipasẹ awọn mutexes. Eyi ni iraye si eyikeyi Oṣu Karun, ṣugbọn o ni awọn iṣoro ti o han gbangba pẹlu iwọn ati iṣẹ. Ni akoko kanna, titiipa-ọfẹ ati awọn ẹya data ti ko ni iduro kii ṣe dara julọ pẹlu awọn aṣiṣe nikan, ṣugbọn tun ni profaili iṣẹ ṣiṣe to dara julọ - sibẹsibẹ, idagbasoke wọn nilo imọ-jinlẹ jinlẹ ati aṣamubadọgba si ohun elo kan pato. Laini koodu aṣiṣe kan ti to lati fọ ohun gbogbo.

Bawo ni a ṣe le jẹ ki paapaa ti kii ṣe alamọja le ṣe apẹrẹ ati ṣe iru awọn ẹya data bẹẹ? O ti wa ni mọ pe eyikeyi lesese alugoridimu le ti wa ni ṣe o tẹle ailewu lilo boya gbogbo oniru, tabi iranti idunadura. Fun ohun kan, wọn le dinku idena lati iwọle si yiyan iṣoro yii. Bibẹẹkọ, awọn solusan mejeeji ni igbagbogbo ja si imuse ti ko munadoko. Pedro yoo sọrọ nipa bi wọn ṣe ṣakoso lati ṣe awọn aṣa wọnyi daradara ati bi o ṣe le lo wọn fun awọn algoridimu rẹ.

Heidi Howard - Liberating pin ipohunpo

19 hydra olori. Nla Akopọ ti awọn eto Heidi Howard jẹ, bii Martin, oniwadi awọn ọna ṣiṣe pinpin ni University of Cambridge. Awọn amọja rẹ jẹ aitasera, ifarada ẹbi, iṣẹ ṣiṣe ati ipinpinpin ipohunpo. O ti wa ni ti o dara ju mọ fun u gbogboogbo ti awọn Paxos alugoridimu ti a npe ni Paxos rọ.

ÌRÁNTÍ wipe Paxos jẹ ẹbi ti awọn ilana fun ipinnu iṣoro ti ipohunpo ni nẹtiwọọki ti awọn kọnputa ti ko ni igbẹkẹle, da lori iṣẹ ti Leslie Lamport. Nitorinaa, diẹ ninu awọn agbọrọsọ wa n ṣiṣẹ lori awọn iṣoro ti a dabaa ni ipilẹṣẹ nipasẹ awọn agbọrọsọ wa miiran - ati pe eyi jẹ iyalẹnu.

Agbara lati wa ifọkanbalẹ laarin ọpọlọpọ awọn agbalejo — fun sisọ, idibo adari, idinamọ, tabi isọdọkan — jẹ ọrọ ipilẹ ni awọn eto pinpin ode oni. Paxos jẹ ọna akọkọ lati yanju awọn iṣoro ifọkanbalẹ, ati pe ọpọlọpọ awọn iwadii n lọ ni ayika rẹ lati faagun ati mu algorithm fun ọpọlọpọ awọn iwulo iwulo.

Ninu ọrọ yii, a yoo tun wo ipilẹ imọ-jinlẹ ti Paxos, isinmi awọn ibeere atilẹba ati gbogbogbo algorithm. A yoo rii pe Paxos jẹ aṣayan pataki kan laarin ọpọlọpọ awọn isunmọ isọdọkan, ati pe awọn aaye miiran lori spekitiriumu naa tun wulo pupọ fun kikọ awọn eto pinpin to dara.

Alex Petrov - Din awọn idiyele ibi ipamọ rẹ dinku pẹlu Isọdọtun Igbala ati Awọn iye-iye Olowo poku

19 hydra olori. Nla Akopọ ti awọn eto Alex jẹ alamọja data data ati ibi ipamọ awọn ọna ṣiṣe, ati diẹ ṣe pataki fun wa, oluṣe kan ninu Cassandra. O n ṣiṣẹ lọwọlọwọ lori iwe kan, Database Internals, pẹlu O'Reilly.

Fun awọn ọna šiše pẹlu bajẹ aitasera (ni awọn ọrọ-ọrọ Russian - “iduroṣinṣin pipe”), lẹhin awọn ipadanu ipade kan tabi pipin nẹtiwọọki kan, o nilo lati yanju atayanyan atẹle: boya tẹsiwaju lati ṣiṣẹ awọn ibeere, rubọ aitasera, tabi kọ lati ṣiṣẹ wọn ki o rubọ wiwa. Ninu iru eto kan, awọn apejọ, awọn ipin agbekọja ti awọn apa ati rii daju pe o kere ju ipade kan ni iye to ṣẹṣẹ julọ, le jẹ ojutu eti to dara. O le ye awọn ikuna ati isonu ti Asopọmọra si diẹ ninu awọn apa lakoko ti o n dahun pẹlu awọn iye tuntun.

Sibẹsibẹ, ohun gbogbo ni idiyele rẹ. Ètò ìfidípòpò iyebíye kan túmọ̀sí iye owó ibi-ipamọ́ tí ó pọ̀ sí i: dátà abọ̀rìṣà gbọ́dọ̀ tọ́jú sórí ọ̀pọ̀ ọ̀nà lẹ́ẹ̀kan náà láti rí i dájú pé àwọn ẹ̀dà tó pọ̀ tó nígbà tí ìṣòro bá wáyé. O wa ni pe o ko ni lati tọju gbogbo data lori gbogbo awọn ẹda. O le dinku fifuye lori ibi ipamọ ti o ba tọju data nikan ni apakan awọn apa, ati lo awọn apa pataki (Ajọra Transient) fun awọn oju iṣẹlẹ mimu ikuna.

Lakoko ijabọ naa a yoo gbero Ẹri Replicas, eto ẹda ti a lo ninu Spanner и Mega itaja, ati imuse ti ero yii ni Apache Cassandra ti a npe ni Isọdọtun igba diẹ & Awọn iye owo ti o poku.

Dmitry Vyukov - Gorotines fara han

19 hydra olori. Nla Akopọ ti awọn eto Dmitry jẹ olupilẹṣẹ kan ni Google ti n ṣiṣẹ lori idanwo agbara fun C/C++ ati Lọ - Adirẹsi/Memory/ThreadSanitizer, ati awọn irinṣẹ iru fun ekuro Linux. Ti ṣe alabapin si Lọ oluṣeto gorutine ti iwọn, oludibo nẹtiwọọki kan, ati ikojọpọ idoti kan ti o jọra. O jẹ amoye ni multithreading, onkọwe ti mejila mejila tuntun ti kii ṣe idinamọ algorithms ati pe o jẹ oniwun ti Black igbanu Intel.

Bayi kekere kan nipa ijabọ funrararẹ. Ede Go ni atilẹyin abinibi fun multithreading ni irisi goroutines (awọn okun ina) ati awọn ikanni (awọn isinyi FIFO). Awọn ọna ṣiṣe wọnyi jẹ ki o rọrun pupọ ati igbadun fun awọn olumulo lati kọ awọn ohun elo olona-asapo igbalode, ati pe o dabi idan. Gege bi oye, ko si idan nibi. Ninu ọrọ yii, Dmitry yoo ṣawari sinu awọn intricacies ti oluṣeto Go ati ki o ṣe afihan awọn asiri ti imuse "idan" yii. Lákọ̀ọ́kọ́, yóò sọ̀rọ̀ àwòkọ́ṣe ti àwọn ohun èlò àkọ́kọ́ ti olùṣe ìtòlẹ́sẹẹsẹ náà yóò sì sọ bí ó ṣe ń ṣiṣẹ́. Nigbamii ti, a yoo ṣe akiyesi ni pẹkipẹki ni awọn aaye kọọkan gẹgẹbi aaye gbigbe ọkọ ayọkẹlẹ / ilana ṣiṣi silẹ ati mimu awọn ipe eto dina mu. Nikẹhin, Dmitry yoo sọrọ diẹ nipa awọn ilọsiwaju ti o ṣeeṣe si oluṣeto.

Dmitry Bugaichenko - Iyara itupalẹ awọnyaya pinpin pẹlu awọn afọwọya iṣeeṣe ati diẹ sii

19 hydra olori. Nla Akopọ ti awọn eto Dmitry ṣiṣẹ ni ijade fun awọn ọdun 9 laisi sisọnu olubasọrọ pẹlu ile-ẹkọ giga ati agbegbe imọ-jinlẹ. Itupalẹ data nla ni Odnoklassniki di aye alailẹgbẹ fun u lati darapọ ikẹkọ imọ-jinlẹ ati ipilẹ imọ-jinlẹ pẹlu idagbasoke ti gidi, awọn ọja ibeere.

Itupalẹ awọn aworan pinpin ti jẹ ati pe o jẹ iṣẹ ti o nira: nigbati o ba di pataki lati gba alaye nipa awọn asopọ ti fatesi adugbo, data nigbagbogbo ni lati gbe laarin awọn ẹrọ, eyiti o yori si akoko ipaniyan pọ si ati fifuye lori awọn amayederun nẹtiwọọki. Ninu ọrọ yii, a yoo rii bii o ṣe le gba awọn iyara sisẹ pataki nipa lilo awọn ẹya data iṣeeṣe tabi awọn ododo bii ami iwọn ti ayaworan ọrẹ ni nẹtiwọọki awujọ kan. Gbogbo eyi ni a ṣe apejuwe pẹlu awọn apẹẹrẹ koodu ni Apache Spark.

Denis Rystsov - Din awọn idiyele ibi ipamọ rẹ dinku pẹlu Isọdọtun Igbala ati Awọn iye-iye Olowo poku

19 hydra olori. Nla Akopọ ti awọn eto Denis - Olùgbéejáde Cosmos DB, amoye kan ni ṣiṣe ayẹwo awọn awoṣe aitasera, awọn algorithms ifọkanbalẹ, ati awọn iṣowo pinpin. Lọwọlọwọ o ṣiṣẹ ni Microsoft, ati pe ṣaaju pe o ṣiṣẹ lori awọn eto pinpin ni Amazon ati Yandex.

Ninu ọrọ yii, a yoo wo awọn ilana iṣowo pinpin ti o ti ṣẹda ni awọn ọdun diẹ sẹhin, eyiti o le ṣe imuse ni ẹgbẹ alabara lori oke eyikeyi ile itaja data ti o ṣe atilẹyin imudojuiwọn ipo (fiwewe ati ṣeto). Laini isalẹ ni pe igbesi aye ko pari pẹlu adehun meji-meji, awọn iṣowo le ṣafikun lori oke awọn apoti isura data eyikeyi - ni ipele ohun elo, ṣugbọn awọn ilana oriṣiriṣi (2PC, Percolator, RAMP) ni awọn iṣowo oriṣiriṣi ati pe a ko fun wa. lofe.

Alexei Zinoviev - Kii ṣe gbogbo awọn algoridimu ML jẹ ki o lọ si ọrun ti a pin

19 hydra olori. Nla Akopọ ti awọn eto Alexei (zaleslaw) jẹ agbọrọsọ igba pipẹ ati ọmọ ẹgbẹ ti awọn igbimọ eto ni awọn apejọ miiran. Olukọni adaṣe adaṣe ni Awọn ọna EPAM, ati pe o ti jẹ ọrẹ pẹlu Hadoop/Spark ati awọn data nla miiran lati ọdun 2012.

Ninu ọrọ yii, Alexey yoo sọrọ nipa awọn iṣoro ti iṣatunṣe awọn algorithms ikẹkọ ẹrọ kilasika fun ipaniyan ni ipo pinpin ti o da lori iriri rẹ ti n ṣiṣẹ pẹlu Apache Spark ML, Apache Mahout, Apache Flink ML ati iriri ti ṣiṣẹda Apache Ignite ML. Alexey yoo tun sọrọ nipa imuse ti awọn algoridimu ML ti o pin ni awọn ilana wọnyi.

Ati nikẹhin, awọn ijabọ meji lati Yandex nipa aaye data Yandex.

Vladislav Kuznetsov - Aaye data Yandex - bawo ni a ṣe rii daju ifarada aṣiṣe

19 hydra olori. Nla Akopọ ti awọn eto Vladislav jẹ olupilẹṣẹ ni Yandex ni ẹgbẹ Syeed pinpin. Aaye data Yandex jẹ iwọn ti nâa, pinpin geo-pin, DBMS ọlọdun ẹbi ti o le koju ikuna ti awọn disiki, awọn olupin, awọn agbeko ati awọn ile-iṣẹ data laisi sisọnu aitasera. Lati rii daju ifarada aṣiṣe, algorithm ti ohun-ini fun iyọrisi ipohunpo pinpin ni a lo, bakanna bi nọmba awọn solusan imọ-ẹrọ, eyiti a jiroro ni awọn alaye ninu ijabọ naa. Ijabọ naa le jẹ iwulo si awọn olupilẹṣẹ DBMS mejeeji ati awọn olupilẹṣẹ ti awọn solusan ohun elo ti o da lori DBMS.

Semyon Checherinda - Pinpin lẹkọ ni YDB

19 hydra olori. Nla Akopọ ti awọn eto Semyon jẹ olupilẹṣẹ ni ẹgbẹ Syeed pinpin ni Yandex, ti n ṣiṣẹ lori iṣeeṣe ti lilo agbatọju pupọ ti fifi sori YDB.

Aaye data Yandex jẹ apẹrẹ fun awọn ibeere OLTP ati ni ibamu pẹlu awọn ibeere ACID fun eto iṣowo kan. Ninu ijabọ yii, a yoo gbero algorithm ṣiṣe eto idunadura ti o wa labẹ eto idunadura YDB. Jẹ ki a wo iru awọn ile-iṣẹ ti o ṣe alabapin ninu awọn iṣowo, ti o ṣe ipinnu aṣẹ agbaye si awọn iṣowo, bawo ni atomity idunadura, igbẹkẹle, ati ipele ipinya ti o muna ti waye. Lilo iṣoro ti o wọpọ gẹgẹbi apẹẹrẹ, jẹ ki a wo awọn imuse iṣowo nipa lilo awọn ipele meji-meji ati awọn iṣowo ipinnu. Ẹ jẹ́ ká jíròrò ìyàtọ̀ wọn.

Ohun ti ni tókàn?

Eto alapejọ naa tẹsiwaju lati kun pẹlu awọn ijabọ tuntun. Ni pato, a reti a Iroyin lati Nikita Koval (ndkoval) lati JetBrains ati Oleg Anastasyev (m0nstermin) lati ile-iṣẹ Odnoklassniki. Nikita ṣiṣẹ lori awọn algoridimu fun awọn coroutines ninu ẹgbẹ Kotlin, ati pe Oleg ṣe agbekalẹ faaji ati awọn solusan fun awọn ọna ṣiṣe fifuye giga ni pẹpẹ Odnoklassniki. Ni afikun, iho 1 diẹ sii ni ipo sofo, igbimọ eto n ṣiṣẹ pẹlu awọn oludije fun ni bayi.

Apero Hydra yoo waye ni Oṣu Keje 11-12 ni St. Tiketi wa ra lori awọn osise aaye ayelujara. Jọwọ san ifojusi si wiwa ti Awọn tiketi ori ayelujara - ti o ba jẹ fun idi kan o ko le de St. Petersburg ni awọn ọjọ wọnyi.

Wo e ni Hydra!

orisun: www.habr.com

Fi ọrọìwòye kun