Ni Leslie Lamport ndiye mwandishi wa kazi za semina katika kompyuta iliyosambazwa, na unaweza pia kumjua kwa herufi La katika neno. LaTeX - "Lamport TeX". Ni yeye ambaye kwanza, nyuma mwaka wa 1979, alianzisha dhana hiyo uthabiti wa mfuatano, na makala yake "Jinsi ya kutengeneza Multiprocessor Kompyuta ambayo Inatekeleza Programu nyingi kwa Usahihi" alipokea Tuzo la Dijkstra (kwa usahihi zaidi, mwaka wa 2000 tuzo hiyo iliitwa kwa njia yake ya zamani: "Tuzo la Karatasi yenye Ushawishi wa PODC"). Kuna juu yake Makala ya Wikipedia, ambapo unaweza kupata viungo vingine vya kuvutia zaidi. Ikiwa unafurahiya kutatua shida kwenye kinachotokea-kabla au matatizo ya majenerali wa Byzantine (BFT), basi lazima uelewe kuwa Lamport yuko nyuma ya haya yote.

Pia hivi karibuni atakuja kwenye mkutano wetu mpya juu ya kompyuta iliyosambazwa - Hydra, ambayo itafanyika Julai 11-12 huko St. Hebu tuone huyu ni mnyama wa aina gani.

Hydra 2019

Mada kama vile usomaji mwingi ni kati ya maarufu zaidi kwenye mikutano yetu, zimekuwa zikipendwa kila wakati. Hivi sasa chumba hiki kiliachwa, lakini basi mtu anaonekana kwenye hatua akiongea juu ya mfano wa kumbukumbu, hufanyika-kabla au mkusanyiko wa takataka zenye nyuzi nyingi na - boom! - tayari takriban watu elfu moja wanachukua nafasi yote inayopatikana ili kuketi na kusikiliza kwa makini. Nini kiini cha mafanikio haya? Labda ni kwa sababu sote tuna aina fulani ya vifaa ambavyo vinaweza kupanga kompyuta iliyosambazwa? Au ni kwamba tunaelewa bila kujua kutoweza kwetu kuipakia inavyostahili? Kuna hadithi ya kweli ya quant moja ya St. Ungefanya nini ikiwa ungekuwa na uwezo wa kufanya kazi zako ambazo ni kubwa mara nyingi kuliko ilivyo sasa?

Kwa sababu ya umaarufu kama huo, mada ya tija na utumiaji bora wa kompyuta inaelekea kuenea katika ajenda ya mkutano. Ni siku ngapi kati ya siku mbili za ripoti zinaweza kufanywa kuhusu utendaji - theluthi, theluthi mbili? Katika baadhi ya maeneo kuna vikwazo vya bandia vinavyozuia ukuaji huu: pamoja na utendaji, lazima bado kuwe na nafasi ya mifumo mpya ya mtandao, kwa aina fulani ya devops au astronautics ya usanifu. Hapana, utendaji, hautatula sisi sote!

Au unaweza kwenda kinyume, kukata tamaa na kwa uaminifu kufanya mkutano ambao utakuwa kabisa kuhusu kusambazwa kwa kompyuta na tu juu yao. Na hapa ni, Hydra.

Hebu tukubali kwa uaminifu kwamba leo mahesabu yote yanasambazwa kwa njia moja au nyingine. Iwe ni mashine ya msingi nyingi, nguzo ya kompyuta, au huduma iliyosambazwa kwa kiasi kikubwa, kuna michakato mingi kila mahali ambayo hufanya mahesabu ya kujitegemea kwa sambamba, kusawazisha na kila mmoja. Hydra itajitolea kwa jinsi hii inavyofanya kazi katika nadharia na jinsi inavyofanya kazi kwa vitendo.

Mpango wa mkutano

Mpango huo kwa sasa uko katika hatua yake ya uundaji. Inapaswa kujumuisha ripoti kutoka kwa waanzilishi wa nadharia za mifumo iliyosambazwa na wahandisi wanaofanya kazi nao katika uzalishaji.

Kwa mfano, ushiriki wa Leslie Lamport kutoka Utafiti wa Microsoft na Maurice Herlihy kutoka Chuo Kikuu cha Brown tayari unajulikana.

Maurice Herlihy - profesa maarufu sana na anayeheshimiwa wa Sayansi ya Kompyuta, pia kuna habari juu yake Ukurasa wa Wikipedia, ambapo unaweza kuvinjari kupitia viungo na kazi. Huko unaweza kugundua tuzo mbili za Dijkstra, ya kwanza kwa kazi "Usawazishaji Usiosubiri", na ya pili, ya hivi karibuni zaidi - "Kumbukumbu ya Shughuli: Usaidizi wa Usanifu kwa Miundo ya Data Isiyofungiwa". Kwa njia, viungo havielekezi hata kwa SciHub, lakini kwa Chuo Kikuu cha Brown na Chuo Kikuu cha Virginia Tech, unaweza kufungua na kusoma.

Maurice atashikilia mada kuu inayoitwa "Blockchains kutoka kwa mtazamo wa kompyuta uliosambazwa." Ikiwa una nia, unaweza kuangalia rekodi ya ripoti ya Maurice kutoka kwa JUG ya St. Tathmini jinsi anavyowasilisha mada kwa uwazi na kwa kueleweka.

Neno kuu la pili linaloitwa "Muundo wa Data Mbili" litasoma Michael Scott kutoka Chuo Kikuu cha Rochester. Na nadhani nini - yeye pia ana yake mwenyewe Ukurasa wa Wikipedia. Akiwa nyumbani huko Wisconsin, anajulikana kwa kazi yake kama mkuu wa Chuo Kikuu cha Wisconsin-Madison, na ulimwenguni ndiye mtu ambaye, pamoja na Doug Lea, walitengeneza algorithms isiyozuia na foleni zinazolingana ambazo maktaba za Java. kazi. Alipokea Tuzo lake la Dijkstra miaka mitatu baada ya Herlihy, kwa kazi yake "Algorithms kwa ulandanishi mbaya kwenye wasindikaji wa kumbukumbu zilizoshirikiwa" (kama inavyotarajiwa, anadanganya waziwazi katika maktaba ya mtandaoni ya Chuo Kikuu cha Rochester).

Bado kuna muda mwingi hadi katikati ya Julai. Tutakuambia kuhusu wasemaji waliosalia na mada zao tunapoboresha programu na kukaribia Julai.

Kwa ujumla, swali linatokea - kwa nini tunafanya Hydra katika majira ya joto? Baada ya yote, huu ni msimu wa chini, likizo. Shida ni kwamba kati ya wasemaji kuna walimu wa vyuo vikuu, na wakati mwingine wowote ni busy kwao. Hatukuweza kuchagua tarehe zingine.

Kanda za majadiliano

Katika mikutano mingine, hutokea kwamba msemaji alisoma kile alichohitaji na mara moja akaondoka. Washiriki hawana hata wakati wa kuitafuta - baada ya yote, ripoti inayofuata huanza karibu bila muda. Hili ni chungu sana, hasa ikiwa watu muhimu kama Lamport, Herlihy na Scott wapo, na kwa kweli unaenda kwenye mkutano ili tu kukutana nao na kujadili jambo fulani.

Tumetatua tatizo hili. Mara tu baada ya ripoti yake, mzungumzaji huenda kwenye eneo maalum la majadiliano, lililo na angalau ubao mweupe wenye alama, na una wakati mwingi sana. Rasmi, mzungumzaji anaahidi kuwa huko angalau wakati wa mapumziko kati ya mawasilisho. Kwa kweli, maeneo haya ya majadiliano unaweza kunyoosha kwa masaa kwa mwisho (kulingana na hamu na uvumilivu wa mzungumzaji).

Kuhusu Lamport, ikiwa ninaelewa kwa usahihi, anataka kuwashawishi watu wengi iwezekanavyo TLA+ - hii ni jambo jema. (Nakala kuhusu TLA+ kwenye Wikipedia) Labda hii itakuwa nafasi nzuri kwa wahandisi kujifunza kitu kipya na muhimu. Leslie anatoa chaguo hili - wale ambao wana nia wanaweza kutazama mihadhara yake ya zamani na kuja na maswali. Hiyo ni, badala ya mada kuu, kunaweza kuwa na kipindi maalum cha Maswali na Majibu, na kisha eneo la majadiliano. Nilifanya googling na nikapata nzuri. Kozi ya TLA+ (iliyopewa jina rasmi orodha ya kucheza kwenye YouTube) na mhadhara wa saa moja "Kufikiria Juu ya Kanuni" kutoka kwa Mkutano wa Kitivo cha Microsoft.

Ikiwa uliwatambua watu hawa wote kama majina yaliyotupwa kwenye graniti kutoka Wikipedia na kwenye majalada ya vitabu, ni wakati wa kukutana nao ana kwa ana! Ongea na uulize maswali ambayo kurasa za nakala za kisayansi hazitajibu, lakini waandishi wao watafurahi kuwasiliana.

Wito kwa Machapisho

Sio siri kwamba wengi wa wale ambao sasa wanasoma nakala hiyo hawachukii kutuambia jambo la kupendeza sana. Kutoka kwa mtazamo wa uhandisi, kutoka kwa mtazamo wa kisayansi - kutoka kwa mtazamo wowote. Kompyuta iliyosambazwa ni mada pana na ya kina ambapo kuna nafasi kwa kila mtu.

Ikiwa unataka kushindana pamoja na Lamport, inawezekana kabisa. Ili kuwa mzungumzaji unahitaji fuata kiunga, soma kila kitu hapo kwa uangalifu na ufanye kulingana na maagizo.

Kuwa na uhakika, mara tu unapojiunga na mchakato, watakusaidia. Kamati ya Programu ina uwezo wa kutosha kusaidia na ripoti yenyewe, kiini na muundo wake. Mratibu atakusaidia kutatua masuala ya shirika na kadhalika.

Makini maalum kwa picha iliyo na tarehe. Julai ni tarehe ya mbali kwa mshiriki, lakini mzungumzaji anahitaji kuanza kutenda sasa.

Shule ya SPTDC

Mkutano huo utafanyika kwenye tovuti sawa na shule ya SPTDC, kwa hivyo kwa kila mtu anayenunua tikiti ya kwenda shuleni, tikiti za mkutano huo - na punguzo la 20%.

Shule ya Majira ya Mazoezi na Nadharia ya Kompyuta Iliyosambazwa (SPTDC) ni shule inayotoa kozi mbalimbali za kiutendaji na nadharia za mifumo iliyosambazwa, zinazofundishwa na wataalam wanaotambulika katika fani husika.

Shule itafanyika kwa Kiingereza, kwa hivyo orodha ya mada zinazoshughulikiwa inaonekana kama hii:

• Miundo ya data inayofanana: usahihi na ufanisi;
• Algorithms kwa kumbukumbu isiyo na tete;
• Utangamano wa kusambazwa;
• Kujifunza kwa mashine iliyosambazwa;
• Replication-mashine ya serikali na Paxos;
• Uvumilivu wa makosa ya Byzantine;
• Misingi ya algorithmic ya blockchains.

Wazungumzaji wafuatao watazungumza:

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Chuo Kikuu cha Brown);
• Michael Scott (Chuo Kikuu cha Rochester);
• Dan Alistarh (IST Austria);
• Trevor Brown (Chuo Kikuu cha Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Chuo Kikuu cha Ben Gurion);
• Achour Mostefaoui (Chuo Kikuu cha Nantes).

orodha ya kucheza Unaweza kutazama bila malipo ripoti za shule ya awali kwenye YouTube:

Hatua zifuatazo

Mpango wa mkutano bado unaundwa. Fuata habari kwenye Habre au kwenye mitandao ya kijamii (fb, vk, Twitter).

Ikiwa unaamini kweli katika mkutano huo (au unataka kufaidika na bei maalum ya kuingia, inayoitwa "Ndege wa Mapema"), unaweza kwenda kwenye tovuti na kununua tiketi.

Tukutane Hydra!

Chanzo: mapenzi.com