See on Leslie Lamport â seaduslike tööde autor hajutatud arvutustes, ning vĂ”ite teda samuti tunda sĂ”na La tĂ€hed LaTeX â "Lamport TeX". Just tema tutvustas esmakordselt 1979. aastal mĂ”istet , ning tema artikkel sai Dijkstra auhinna (tĂ”epoolest, 2000. aastal nimetati auhind vanas nimekujus: âPODC mĂ”juka artikli auhindâ). Temast on , kust leiate veel mĂ”ned huvitavad lingid. Kui olete elevil ĂŒlesannete lahendamisest happens-before vĂ”i (BFT) ĂŒle, siis peaksite mĂ”istma, et kĂ”ik selle taga on Lamport.
Ja ta tuleb peagi meie uuele hajutatud arvutuste konverentsile â Hydra, mis toimub 11.-12. juulil Peterburis. Vaata, mis loom see on.
Hydra 2019
Teemad nagu mitme pead (multithreading) on ĂŒks populaarsemaid meie konverentsidel, nii on see alati olnud. Just oli see saal tĂŒhi, kuid nĂŒĂŒd astub lavale inimene, rÀÀkides mĂ€lumudelist, happens-before vĂ”i mitmepealise prĂŒgikorjamise peale ja â bum! â juba tuhande inimesega tĂ€idab kogu vabade kohtade alla, et istuda ja tĂ€helepanelikult kuulata. Mis on selle edu saladus? VĂ”ib-olla see, et kĂ”igil meil on mingisugune riistvara, mis suudab korraldada hajutatud arvutusi? VĂ”i on teadvuslikult arusaamatus oma vĂ”imetusest koormata seda Ă”iglaselt? On tĂ”eline lugu ĂŒhest Peterburi kvantist (st finantskvantitatiivne analĂŒĂŒtik ja arendaja), kellele sattus kĂ€tte arvutusklaster, mille kogu vĂ”imsust suudab kasutada ainult tema. Aga mida teeksite, kui saaksite oma ĂŒlesannete tĂ€itmiseks vĂ”imsusi kordades rohkem kui teil praegu on?
Kuna selline populaarsus, on jÔudnud arutelu tulemuste ja tÔhusate arvutuste teema konverentside programmidesse. Kui palju kahest pÀevast ettekandeid perfromansi kohta peaks olema - kolmandik, kaks kolmandikku? Kusagil on kunstlikud piirangud, mis piiravad seda kasvu: lisaks toimivusele peab jÀÀma ruumi ka uutele veebiraamistikutele, mÔne arendusprotsessi vÔi arhitektuuri astronautikale. Ei, efektiivsus, sa ei söö meid kÔiki Àra!
Aga vÔib minna vastupidist teed, alla anda ja teha ausalt konverents, mis keskendubainult hajutatud arvutustele. Ja siin ta on, Hydra.
Olgem ausad, et tĂ€napĂ€eva arvutused on paratamatult hajutatud. Olgu need mitme tuuma masinad, arvutirĂŒhmad vĂ”i suured hajutatud teenused - igal pool on palju protsesse, mis teevad sĂ”ltumatuid arvutusi paralleelselt, ĂŒksteisega sĂŒnkroonituna. Selle teooria ja selle praktilise toimimise ĂŒle arutame Hydra konverentsil.
Konverentsi programm
Programm on praegu koostamise faasis. See peaks sisaldama ettekandeid hajutatud sĂŒsteemide teooriate rajajatelt ja inseneridelt, kes töötavad nendega praktikas.
NĂ€iteks on juba teada, et osaleb Leslie Lamport Microsoft Researchist ja Maurice Herlihy Brown Universityst.
Maurice Herlihy on vÀga tuntud ja lugupeetud arvutiteaduse professor, kelle kohta on ka , kus saad jÀlgida linke ja töid. Sealt vÔid leida kaks Dijkstra auhinda, esimene - töö eest , ja teine, uuem - . Muide, lingid viivad mitte isegi SciHub'i, vaid Brown University ja Virginia Tech University, sealt saab avada ja lugeda.
Maurice kavatseb teha avakĂ”ne pealkirjaga âBlockchains from a distributed computing perspectiveâ. Kui huvitav, saad vaadata Maurice'i ettekande salvestust Peterburi JUG-ist. Hinda, kui selgelt ja arusaadavalt ta teemat edastab.
Teise avakĂ”ne pealkirjaga âDual Data Structuresâ peab Michael Scott Rochesteri Ălikoolist. Ja Ă€ra arva, tal on ka oma Wisconsinis on tuntud oma töö eest Wisconsin-Madisoni ĂŒlikooli dekaanina, samuti on ta inimene, kes koos Doug Leaga arendas vĂ€lja need blokeerimata algoritmid ja sĂŒnkroonsed jĂ€rjestused, millel töötavad Java raamatukogud. Oma Dijkstra auhinna sai ta kolm aastat pĂ€rast Herlihyt, teoste eest "Algorithms for scalable synchronization on shared-memory multiprocessors" (nagu ikka, Rochesteri Ălikooli veebiraamatukogus).
Juuli keskpaigani on veel palju aega. Teiste ettekandjate ja nende teemade kohta rÀÀgime, kui programm tÀpsustub ja juuli lÀhenevad.
Tegelikult tekib kĂŒsimus â miks me teeme Hydra suviti? 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 ei saanud lihtsalt teisi kuupĂ€evi valida.
Arutelualad
Teistel konverentsidel juhtub tihti, et ettekandja loeb, mida on vaja, ja lahkub kohe. Osalejatel pole isegi aega teda otsida â jĂ€rgmine ettekande algab peaaegu viivitamatult. See on vĂ€ga valus, eriti kui kohal on sellised olulised inimesed nagu Lamport, Herlihy ja Scott, ja sa tegelikult tuled konverentsile ainult selleks, et nendega kohtuda ja midagi arutada.
Meil on see probleem lahendatud. Vahetult pÀrast oma ettekannet suundub esineja spetsiaalsesse arutelualasse, mis on varustatud vÀhemalt markeritahvli ja piisavalt ajaga. Formaalselt lubab ettekandja viibida seal vÀhemalt kogu vaheaja ettekannete vahel. Tegelikult vÔivad need arutelualad kasutada sama nime kesta tunde (sÔltuvalt esineja soovist ja vastupidavusest).
Mis puudutab Lamportit, siis kui ma Ă”igesti aru sain, tahab ta vĂ”imalikult palju inimesi veenda, et on hea asi. (). VĂ”ib-olla on see hea vĂ”imalus inseneridele midagi uut ja kasulikku teada saada. Leslie pakub sellist varianti â kes on sellest huvitatud, vĂ”ib vaadata tema varasemaid loenguid ja tulla kĂŒsimustega. See tĂ€hendab, et pealavastuse asemel vĂ”ib olla nagu spetsialiseeritud Q&A sessioon ning seejĂ€rel veel aruteluala. Otsisin natuke ja leidsin suurepĂ€rase (ametlikult dubleeritud ) ja tunni loengu Microsofti teaduskonna tippsummitis.
Kui te olete neid kĂ”iki inimesi kĂ€sitanud kui Vikipeedia kivisse valatud nimesid ja raamatute kaanel - on aeg kohtuda nendega isiklikult! Suhelda ja esitada kĂŒsimusi, millele teadusartiklite lehtedelt vastuseid ei saa, kuid nende autorid on valmis kontaktiks.
Artiklite esitamine
Ei ole saladus, et paljud neist, kes praegu artiklit loevad, ei oleks pahased, kui nad saaksid rÀÀkida millestki piisavalt huvitavast. Inseneritehnilisest vaatenurgast, teaduslikust - igasugusest. Jagatud arvutused on vĂ€ga lai ja sĂŒgav teema, kus on koht kĂ”igile.
Kui soovid esineda koos Lamportiga, siis see on tÀiesti vÔimalik. Et saada ettekandjaks, tuleb , lugeda seda hoolikalt ja toimida vastavalt juhistele.
Olge rahulikud, kui te protsessi liitute, aitavad teid. Programmikomisjonil on piisavad vĂ”imalused, et aidata ettekanne, selle sisu ja vormistamisel. Koordinaator aitab korralduslikke kĂŒsimusi selgitada jne.
Pöörake erilist tĂ€helepanu kuupĂ€evadele pildil. Juuli on osaleja jaoks ĂŒsna kauge kuupĂ€ev ning ettekandjal tuleb alustada tegutsemist juba praegu.
SPTDC kool
Konverents toimub samas kohas SPTDC kooliga, seega saavad kÔik, kes ostavad kooli piletid, konverentsi piletid - 20% allahindlusega..
on kool, mis pakub laia valikut kursusi, mis kĂ€sitlevad jagatud sĂŒsteemide praktilisi ja teoreetilisi aspekte, mida juhivad tunnustatud spetsialistid vastavas valdkonnas.
Kool toimub ingliskeeles, seega nÀeb arutlusele tulevate teemade nimekiri vÀlja jÀrgmine:
- Korraga andmestruktuurid: Ôigsus ja efektiivsus;
- Algsed algoritmid mittelenduvate mÀlude jaoks;
- Jagatud arvutatavus;
- Jagatud masinÔpe;
- Oleku masinate replikatsioon ja Paxos;
- Byzantine vea taluvus;
- Blokiahelate algoritmilised pÔhialused.
Esinevad jÀrgmised spetsialistid:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (Rochesteri Ălikool);
- Dan Alistarh (IST Austria);
- Trevor Brown (Waterloo Ălikool);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurioni Ălikool);
- Achour Mostefaoui (Nantes'i Ălikool).
eelmise kooli ettekannetega on vabalt vaadatav YouTube'is:
JĂ€rgmised sammud
Konverentsi programm on endiselt kujundamisel. JÀlgige uudiseid Habras vÔi sotsiaalmeedias (, , ).
Kui te tĂ”eliselt usute konverentsi (vĂ”i soovite kasutada spetsiaalset alguskuupĂ€eva hinda, mida nimetatakse "Early Bird") - saate kĂŒlastada veebisaiti ja .
Kohtume Hydral!
Allikas: habr.com
