Jaotatud süsteemide teooria rajajad hüdraga embuses. See Leslie Lamport — põhiteooriate autor hajusates arvutustes, ja te tunnete teda võib-olla ka sõna La tähe poolest LaTeX — «Lamport TeX». Just tema tutvustas juba 1979. aastal mõistet järjekindlast kooskõlastatusest, ja tema artikkel «Kuidas teha mitu protsessorit, mis õigesti täidab mitu ülesannet» sai Dijkstra auhinna (täpsemalt, 2000. aastal kutsuti auhind vanasti «PODC Influential Paper Award»). Temast on olemas artikkel Vikipeedias, kus leiate veel mõningaid huvitavaid linke. Kui olete põnevil задачи решений happens-before või bütsantsi kindralite probleemidest (BFT), siis peaksite mõistma, et kogu selle taga on Lamport.

Ja ta tuleb peagi meie uuele hajutatud arvutuste konverentsile — Hydra, mis leiab aset 11.-12. juulil Peterburis. Võtame hetk ja vaatame, millega on tegemist.

Hydra 2019

Nagu mitmeprotsessimine teemad on meie konverentsidel alati olnud ühed populaarseimad. Just äsja oli see saal tühi, kuid nüüd astub lavale inimene, kes räägib mälumudelist, happens-before'ist või mitmeprotsessilisest prügikogumisest, ja — bum! — juba on tuhat inimest kõikjal, et võtta istet ja tähelepanelikult kuulata. Mis on selle edu saladus? Kas võib-olla on see, et meil on käes mõni riistvara, mis suudab korraldada jaotatud arvutusi? Või on see, et alateadlikult mõistame oma suutmatust seda täielikult kasutusele võtta? On olemas tõeline lugu ühest Peterburi kvantist (ehk finantskvantitatiivne analüütik ja arendaja), kelle käes oli arvutiklaster, mille täielikku jõudlust suudab kasutada vaid tema. Mida teie teeksite, kui saaksite oma ülesannete täitmiseks palju suuremad ressursid kui praegu?

Sellest populaarsusest tulenevalt levib teema tootlikkusest ja tõhusatest arvutustest konverentside kavadesse. Kui palju kahest päevast ettekannetest võiks rääkida tootlikkusest – kolmandik, kaks kolmandikku? Mõnes kohas on kunstlikud piirangud, mis piiravad seda laienemist: tootlikkuse kõrval peab alati jääma koht uutele veebiraamistikutele, mõnele DevOpsile või arhitektuurilisele astronaudimisele. Ei, tootlikkus, sa ei söö meid kõiki ühes tükis!

Või võiks minna vastupidist teed, alla anda ja ausalt korraldada konverents, mis keskendub täielikult ja ainult jaotatud arvutustele. Ja siin ta on, Hydra.

Olgem ausad, et tänapäeva kõik arvutused on rohkemal või vähemal määral jaotatud. Olgu selleks palju sisendeid omav masin, arvutuste klastri või suurem jaotatud teenus – igal pool on palju protsesse, mis teevad iseseisvaid arvutusi paralleelselt omavahel sünkroonituna. Just sellele, kuidas see teoorias toimib ja praktikas välja näeb, keskendub Hydra.

Konverentsi programm

Programm on praegu vormimise etapis. See sisaldab ettekandeid ja teadustöid jaotatud süsteemide teooriate rajajatelt ja inseneridelt, kes töötavad nendega aktiivselt.

Näiteks on juba teada, et osaleb Leslie Lamport Microsoft Research'ist ja Maurice Herlihy Brown University'ist.

Jaotatud süsteemide teooria rajajad hüdraga embuses. Maurice Herlihy on väga tuntud ja hinnatud arvutiteaduse professor, kellest on ka Wikipedia leht, kus saab liikuda linkidele ja teadustöödele. Seal võite märkida koguni kaks Dijkstra auhinda, esimene — töö eest «Wait-Free Synchronization», ja teine, uuem — «Transactional Memory: Architectural Support for Lock-Free Data Structures». Muide, lingid viivad mitte ainult SciHub'i, vaid ka Brown University' ja Virginia Tech University' juurde, seega saate neid avada ja lugeda.

Maurice kavatseb pidada põhiettekande pealkirjaga «Blockchains from a distributed computing perspective». Kui olete huvitatud, siis võite vaadata Maurice'i ettekande salvestust Peterburi JUG'ist. Hinnake, kui selgelt ja arusaadavalt ta teemat esitleb.

Jaotatud süsteemide teooria rajajad hüdraga embuses. Teise põhiettekande pealkirjaga «Dual Data Structures» peab Michael Scott University of Rochester'ist. Ja arvatavasti on tal ka oma Wikipedia leht. Wisconsini osariigis on ta tuntud Wisconsin-Madisoni ülikooli dekaani töö poolest, ning üldiselt on ta tuntud kui inimene, kes koos Doug Leaga töötas välja need mitteblokeerivad algoritmid ja sünkroonsed järjekorrad, mida Java raamatukogud kasutavad. Oma Dijkstra auhinna sai ta kolm aastat pärast Herlihit, töö eest "Algorithms for scalable synchronization on shared-memory multiprocessors" (nagu peab, see on avalikult saadaval Rochesteri Ülikooli veebiraamatukogus).

Kuni juuli keskpaigani on veel palju aega. Teiste ettekandjate ja nende teemade kohta anname teada, kui programm täpsustub ja juuli läheneb.

Tegelikult on tekkinud küsimus — miks me korraldame Hydra suvel? See on ju surnud hooaeg, puhkused. Probleem on selles, et esinejate seas on ülikooli õppejõud, ning igal muul ajal on nad hõivatud. Me lihtsalt ei suutnud valida teisi kuupäevi.

Arutelualad

Teistel konverentsidel juhtub, et esineja loeb, mis on vajalik, ja lahkub kohe. Osalejatel pole isegi aega teda otsida – järgmine ettekande algab peaaegu kohe. See on väga valus, eriti kui kohal on sellised tähtsad inimesed nagu Lamport, Hurley ja Scott, ja sa oled tegelikult konverentsile tulnud ainult selleks, et nendega kohtuda ja midagi arutada.

Meie juures on see probleem lahendatud. Omaaegse ettekande järel suundub esineja spetsiaalsesse arutelualasse, mis on varustatud vähemalt markertahvli, ja teil on piisavalt aega. Ametlikult lubab ettekandja viibida seal vähemalt kogu vaheaja jooksul ettekannete vahel. Tegelikult võivad need arutelualad „katsetada“ sularaha väljastamist – vältides tootja ettenähtud kontrolle. Kaardiröövlid installivad sellised muudetud tööriistad oma sülearvutisse või ühesilindrilisse mikrokontrollerisse, mille nad seejärel ühendavad otse sularaha väljastamise seadmega, et ebaseaduslikult raha välja võtta. kestma tundide viisi (sõltuvalt esineja soovist ja vastupidavusest).

Mis puudutab Lamporti, siis kui ma õigesti aru sain, soovib ta võimalikult palju inimesi veenda, et TLA+ on hea asi. (Artikkel TLA+ kohta Vikipeedias). See this as a great opportunity for engineers to learn something new and valuable. Leslie suggests an alternative — those interested can check out his past lectures and come with questions. Instead of a keynote, there could be a specialized Q&A session, followed by a discussion zone. I did some research and found an excellent course on TLA+ (officially duplicated with the YouTube playlist) and a one-hour lecture ‘Thinking Above the Code’ from the Microsoft Faculty Summit.

If you’ve seen all these people as solid granite names from Wikipedia and book covers — now is the perfect time to meet them in person! Engage and ask questions that the pages of academic articles won't answer, but their authors will be happy to address.

Call for Papers

It's no secret that many of those reading this article would also like to share something interesting. From an engineering perspective, scientifically — from any angle. Distributed computing is a vast and deep topic that has room for everyone.

If you want to present alongside Lamport, it is quite possible. To become a speaker, you need to follow the link, ole tähelepanelik seal kõike lugedes ja tegutsedes vastavalt juhistele.

Olge rahulikud, kui olete protsessiga liitunud, saavad nad teid aidata. Programmi komiteel on piisavad ressursid, et toetada teid esitluse, selle sisu ja vormistamise osas. Koordinaator aitab korralduslike küsimustega ja nii edasi.

Pöörake erilist tähelepanu pildile kuupäevadega. Juuli on osalejale üsna kauge aeg, kuid esinejal on vaja hakata tegutsema juba praegu.

Jaotatud süsteemide teooria rajajad hüdraga embuses.

SPTDC Kool

Konverents toimub ühel ja samal platvormil SPTDC kooliga, seega kõik, kes ostavad koolipileti, saavad konverentsipiletid — 20% allahindlusega.

Suvekool jaotatud arvutamise praktika ja teooria kohta (SPTDC) — kool, mis pakub laia valikut kursusi jaotatud süsteemide praktiliste ja teoreetiliste aspektide kohta, mida viivad läbi valdkonna tunnustatud spetsialistid.

Kool toimuvad inglise keeles, seega näeb arutletav teemade nimekiri välja järgmine: