Li Leslie Lampport - otè a nan travay fondamantal nan distribye informatique, epi ou ka konnen l 'tou pa lèt yo La nan mo a LaTeX - "Lamport TeX". Se li ki pou premye fwa, tounen nan 1979, prezante konsèp la konsistans konsistan, ak atik li a "Kijan pou fè yon òdinatè miltipwosesè ki kòrèkteman egzekite pwogram miltipwosesis yo" te resevwa prim lan Dijkstra (plis jisteman, nan lane 2000 yo te rele prim lan nan ansyen fason: "PODC Enfliyan Papye Prim"). Gen sou li Atik Wikipedia, kote ou ka jwenn kèk lyen plis enteresan. Si ou eksite pou rezoud pwoblèm sou k ap pase-anvan oswa pwoblèm jeneral Bizanten yo (BFT), yo bezwen konprann ke Lampport se dèyè tout bagay.

Apre sa, li pral byento vini nan nouvo konferans nou an sou distribye informatique - Hydra, ki pral fèt Jiyè 11-12 nan St Petersburg. Ann wè ki kalite bèt li ye.

Hydra2019

Sijè tankou multithreading se kèk nan sijè ki pi cho nan konferans nou yo, yo te toujou. Li te jis dezète nan sal sa a, men Lè sa a, yon moun parèt sou sèn nan, ap pale sou modèl la memwa, k ap pase-anvan oswa milti-threaded koleksyon fatra ak - boom! - deja anba yon milye moun okipe tout espas ki disponib pou chita epi koute byen. Ki sans siksè sa a? Petèt lefèt ke nou tout gen sou men nou kèk kalite pyès ki nan konpitè ki kapab òganize distribye informatique? Oswa èske se ke nou enkonsyaman konprann enkapasite nou pou chaje li nan vrè valè li yo? Gen yon istwa reyèl nan yon sèl Saint Petersburg pwopòsyon (ki se, yon analis quantitative finansye ak pwomotè), ki te fini ak yon gwoup informatique nan men l ', pouvwa a plen nan ki ka sèlman itilize pa li pou kont li. E kisa ou ta fè si ou te rive fè travay ou ak kapasite anpil fwa pi gran pase kounye a?

Akòz popilarite sa a, sijè a nan pèfòmans ak informatique efikas gen tandans gaye atravè pwogram nan konferans. Konbyen nan de jou rapò yo ka fè sou pèfòmans - yon tyè, de tyè? Nan kèk kote, gen restriksyon atifisyèl ki limite kwasans sa a: anplis de pèfòmans, dwe toujou gen plas pou nouvo kad entènèt, pou kèk kalite devops oswa astwonotik achitekti. Non, pèfòmans, ou pa pral manje nou tout antye!

Oswa ou ka ale nan fason opoze a, bay moute ak onètman fè yon konferans ki pral antyèman sou distribye informatique ak sèlman sou yo. Epi isit la li ye, Hydra.

Ann onètman admèt ke jodi a tout informatique se yon fason oswa yon lòt distribye. Kit se yon machin milti-nwayo, yon gwoup enfòmatik, oswa yon sèvis distribiye gwo echèl, gen anpil pwosesis toupatou ki fè kalkil endepandan an paralèl, senkronize youn ak lòt. Ki jan li travay nan teyori ak ki jan li travay nan pratik yo pral konsantre nan Hydra.

Pwogram konferans

Pwogram nan ap devlope kounye a. Li ta dwe gen ladan rapò ki soti nan fondatè yo nan teyori yo nan sistèm distribiye ak enjenyè k ap travay avèk yo nan pwodiksyon an.

Pa egzanp, nou deja konnen patisipasyon Leslie Lampport nan Microsoft Research ak Maurice Herlihy nan Brown University.

Maurice Herlihy - yon pwofesè trè popilè ak respekte nan Syans enfòmatik, gen tou yon istwa sou li Paj Wikipedia, kote ou ka ale sou lyen yo ak travay. Gen ou ka remake otan ke de prim Dijkstra, premye a pou travay sou "Tann-gratis senkronizasyon", ak dezyèm lan, ki pi resan - "Memwa tranzaksyon: Sipò achitekti pou estrikti done ki pa fèmen yo". By wout la, lyen yo pa menm mennen nan SciHub, men nan Brown University ak Virginia Tech University, ou ka louvri ak li.

Maurice pral òganize yon diskou ki rele "Blockchains from a distributed computing perspective". Si w enterese, ou ka gade nan anrejistreman rapò Maurice ki soti nan JUG St Petersburg la. Evalye kijan li klè ak konprann li transmèt sijè a.

Dezyèm diskou ki rele "Dual Data Structures" pral li Michael Scott nan Inivèsite Rochester. Ak devine sa - li gen pwòp tèt li tou Paj Wikipedia. Lakay li nan Wisconsin, li se li te ye pou travay li kòm dwayen nan University of Wisconsin-Madison, ak nan mond lan se li ki moun ki, ansanm ak Doug Lea, devlope sa yo algoritm ki pa bloke ak moun kap kriye synchrone ke bibliyotèk Java kouri sou. . Li te resevwa Pri Dijkstra li twazan apre Herlihy, pou travay li "Algorithms for scaleable synchronization on shared-memory multiprocessors" (jan li espere, li kouche ouvè nan bibliyotèk sou entènèt University of Rochester).

Genyen toujou anpil tan jiska mitan mwa Jiyè. Nou pral pale w sou lòt oratè yo ak sijè yo pandan n ap rafine pwogram nan epi apwoche Jiyè.

An jeneral, kesyon an rive - poukisa nou fè Hydra nan ete a? Apre yo tout, sa a se sezon an koupe, jou ferye. Pwoblèm lan se ke gen pwofesè inivèsite nan mitan oratè yo, ak nenpòt ki lòt lè okipe pou yo. Nou jis pa t 'kapab chwazi lòt dat.

Zòn diskisyon yo

Nan lòt konferans, li rive ke oratè a li sa ki nesesè epi imedyatman kite. Patisipan yo pa menm gen tan gade pou li - apre tout, pwochen rapò a kòmanse prèske san yon espas. Sa fè mal anpil, sitou lè moun enpòtan tankou Lamport, Herlihy ak Scott prezan epi ou aktyèlman ale nan konferans lan jis pou rankontre yo epi pale sou yon bagay.

Nou te rezoud pwoblèm sa a. Touswit apre rapò li a, oratè a ale nan yon zòn diskisyon espesyal ki ekipe ak omwen yon tablo blanch ak yon makè, epi ou gen anpil tan. Fòmèlman, oratè a pwomèt yo dwe la omwen pandan repo ant rapò yo. An reyalite, zòn diskisyon sa yo kapab detire pou èdtan sou fen (depann sou dezi a ak andirans nan oratè a).

Kanta Lamport, si mwen byen konprann, li vle konvenk plis moun posib sa TLA+ - sa a se yon bon bagay. (Atik sou TLA+ sou Wikipedya). Petèt sa a pral yon bon chans pou enjenyè yo aprann yon bagay nouvo ak itil. Leslie ofri opsyon sa a - nenpòt moun ki enterese ka gade konferans sot pase yo epi vini ak kesyon. Sa vle di, olye pou yo yon diskou, ka gen, kòm li te, yon sesyon espesyalize Q&A, ak Lè sa a, yon lòt zòn diskisyon. Mwen googled yon ti jan ak jwenn yon gwo TLA+ kou (yo ame ofisyèlman playlist sou youtube) ak yon konferans èdtan "Panse pi wo pase kòd la" ak Microsoft Faculty Summit.

Si ou te panse de tout moun sa yo kòm non yo jete nan granit soti nan Wikipedya ak sou kouvèti liv, li lè yo rankontre yo an dirèk! Chat epi poze kesyon paj atik syantifik yo p ap reponn, men otè yo pral kontan pran kontak.

Rele pou papye

Li se okenn sekrè ke anpil nan moun ki kounye a li atik la yo pa advèrsè di yon bagay ki enteresan ase tèt yo. Soti nan yon pwen de vi jeni, nan yon pwen de vi syantifik, nan nenpòt ki pwen de vi. Enfòmatik distribiye se yon sijè trè laj ak pwofon, kote gen yon plas pou tout moun.

Si ou vle jwe ansanm ak Lampport, li nan totalman posib. Pou vin yon oratè, ou bezwen swiv lyen an, ak anpil atansyon li tout bagay la epi fè li dapre enstriksyon yo.

Rete kalm, le pli vit ke ou konekte ak pwosesis la, yo pral ede w. Komite pwogram nan gen ase resous pou ede ak rapò a li menm, sans li yo ak konsepsyon. Koòdonatè a pral ede w fè fas ak pwoblèm òganizasyonèl ak sou sa.

Peye atansyon espesyal sou foto a ak dat yo. Jiyè se yon dat ki pi lwen pou patisipan an, epi oratè a bezwen kòmanse aji kounye a.

Lekòl SPTDC

Konferans lan pral fèt sou menm sit ak lekòl SPTDC a, kidonk pou tout moun ki achte yon tikè pou lekòl la, tikè konferans - ak 20% rabè.

Lekòl ete sou pratik ak teyori nan enfòmatik distribiye (SPTDС) - yon lekòl ki bay yon pakèt kou sou aspè pratik ak teyorik nan sistèm distribiye, ki anseye pa ekspè rekonèt nan domèn ki enpòtan an.

Lekòl la ap fèt nan lang angle, kidonk isit la se lis sijè yo kouvri:

• Estrikti done konkouran: kòrèkteman ak efikasite;
• Algoritm pou memwa ki pa temèt;
• Konputabilite distribye;
• distribye aprantisaj machin;
• Eta-machin replikasyon ak Paxos;
• Byzantine fay-tolerans;
• Basics algoritmik nan blockchains.

Oratè sa yo pral pale:

• Leslie Lampport (Microsoft);
• Maurice Herlihy (Brown University);
• Michael Scott (University of Rochester);
• Dann Alistarh (IST Otrich);
• Trevor Brown (University of Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Ben Gurion University);
• Achour Mostefaoui (University of Nantes).

playlist ak rapò yo nan lekòl anvan an ka lib gade sou YouTube:

Pwochen etap yo

Pwogram konferans lan toujou ap fòme. Swiv nouvèl la sou Habré oswa sou rezo sosyal yo (fb, vk, twitter).

Si ou reyèlman kwè nan konferans lan (oswa ou vle pran avantaj de pri a kòmanse espesyal, jan yo di, "Early Bird") - ou ka ale nan sit la ak achte tikè.

Na wè nan Hydra!

Sous: www.habr.com