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 , ja tema artikkel sai Dijkstra auhinna (täpsemalt, 2000. aastal kutsuti auhind vanasti «PODC Influential Paper Award»). Temast on olemas , kus leiate veel mõningaid huvitavaid linke. Kui olete põnevil задачи решений happens-before või (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.
Maurice Herlihy on väga tuntud ja hinnatud arvutiteaduse professor, kellest on ka , kus saab liikuda linkidele ja teadustöödele. Seal võite märkida koguni kaks Dijkstra auhinda, esimene — töö eest , ja teine, uuem — . 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.
Teise põhiettekande pealkirjaga «Dual Data Structures» peab Michael Scott University of Rochester'ist. Ja arvatavasti on tal ka oma . 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, 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 on hea asi. (). 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 (officially duplicated ) and a one-hour lecture 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 , 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.
SPTDC Kool
Konverents toimub ühel ja samal platvormil SPTDC kooliga, seega kõik, kes ostavad koolipileti, saavad konverentsipiletid — 20% allahindlusega.
— 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:
- Konkreetsete andmestruktuuride: õigsus ja efektiivsus;
- Algsed algoritmid mitte-volatile mälule;
- Jaotatud arvutatavus;
- Jaotatud masinõpe;
- Oleku-masina replikeerimine ja Paxos;
- Byzantine vea taluvus;
- Blokeeringute algoritmilised alused.
Esinevad järgmised esinejad:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (University of Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (University of Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion University);
- Achour Mostefaoui (University of Nantes).
eelneva kooli ettekanded saab vabalt vaadata YouTube'is:
Järgmised sammud
Konverentsi programm on veel koostamisel. Jälgige uudiseid Habr's või sotsiaalmeedias (, , ).
Kui te tõeliselt usute konverentsi (või soovite kasutada spetsiaalset esimest hinda, nn «Early Bird») — saate minna saidile ja .
Kohtume Hydras!
Allikas: habr.com
