see Leslie Lamport on hajutatud andmetöötluse põhjapanevate tööde autor ja võite teda tunda ka sõna La tähtede järgi LaTeX - "Lamport TeX". Tema oli see, kes 1979. aastal esmakordselt selle kontseptsiooni kasutusele võttis ja tema artikkel sai Dijkstra auhinna (täpsemalt nimetati 2000. aastal auhinda vanaviisi: “PODC Influential Paper Award”). Tema kohta on olemas , kust saab veel huvitavaid linke. Kui olete põnevil probleemide lahendamisest teemal juhtub-enne või (BFT), siis peate mõistma, et Lamport on selle kõige taga.
Peagi tuleb ta ka meie uuele hajutatud andmetöötluse konverentsile - Hydrale, mis toimub 11.-12.juulil Peterburis. Vaatame, mis loom see on.
Hüdra 2019
Sellised teemad nagu multithreading on meie konverentsidel ühed populaarsemad, on alati olnud. Just praegu oli see ruum mahajäetud, aga siis ilmub lavale inimene, kes räägib mälumudelist, juhtub-enne või mitmelõimeline prügikoristus ja - buum! — juba umbes tuhat inimest hõivavad kogu vaba ruumi, et maha istuda ja tähelepanelikult kuulata. Mis on selle edu olemus? Võib-olla on põhjus selles, et meil kõigil on käepärast riistvara, mis suudab hajutatud andmetöötlust korraldada? Või on asi selles, et me alateadlikult mõistame oma võimetust laadida seda nii, nagu see väärib? On tõsine lugu ühest Peterburi kvantist (ehk finantskvantitatiivsest analüütikust ja arendajast), kes leidis end oma valduses andmetöötlusklastri, mille täit võimsust sai kasutada ainult tema üksi. Mida teeksite, kui teil oleks oma ülesannete täitmise võimekus mitu korda suurem kui praegu?
Tänu sellisele populaarsusele kipub tootlikkuse ja tõhusa andmetöötluse teema konverentsi päevakavas levima. Kui palju saab kahest päevast aruandeid jõudluse kohta teha – kolmandiku, kaks kolmandikku? Kohati on kunstlikud piirangud, mis seda kasvu piiravad: lisaks jõudlusele peab jääma ruumi ka uutele veebiraamistikele, mingitele devopidele või arhitektuursele astronautikale. Ei, esinemine, te ei söö meid kõiki tervelt ära!
Või võite minna vastupidisele teele, loobuda ja ausalt korraldada konverents, mis käsitleb täielikult hajutatud andmetöötlust ja ainult neid. Ja siin see on, Hydra.
Tunnistagem ausalt, et tänapäeval on kõik arvutused ühel või teisel viisil jaotatud. Olenemata sellest, kas tegemist on mitmetuumalise masinaga, andmetöötlusklastriga või suuremahulise hajutatud teenusega, on kõikjal palju protsesse, mis teostavad paralleelselt sõltumatuid arvutusi, sünkroonides üksteisega. Hydra on pühendatud sellele, kuidas see teoorias ja kuidas see praktikas töötab.
Konverentsi programm
Programm on praegu kujunemisjärgus. See peaks sisaldama aruandeid hajutatud süsteemide teooriate rajajatelt ja nendega tootmises töötavatelt inseneridelt.
Näiteks on juba teada Leslie Lamporti Microsoft Researchist ja Maurice Herlihy osalemisest Browni ülikoolist.
Maurice Herlihy - väga kuulus ja lugupeetud arvutiteaduse professor, tema kohta on ka teavet , kus saate sirvida linke ja teoseid. Seal on kaks Dijkstra auhinda, esimene töö eest ja teine, uuem - . Muide, lingid ei vii isegi SciHubisse, vaid Browni ülikooli ja Virginia tehnikaülikooli, saate avada ja lugeda.
Maurice peab peaettekande "Plokiahelad hajutatud andmetöötluse vaatenurgast". Kel huvi, võib piiluda Maurice’i reportaaži salvestist Peterburi KANNIST. Hinda, kui selgelt ja arusaadavalt ta teemat edasi annab.
Loetakse teine peaettekanne nimega "Kahekordsed andmestruktuurid". Michael Scott Rochesteri ülikoolist. Ja mine tea – tal on ka oma . Kodus Wisconsinis on ta tuntud oma töö poolest Wisconsini-Madisoni ülikooli dekaanina ja maailmas on ta mees, kes töötas koos Doug Leaga välja mitteblokeerivad algoritmid ja sünkroonsed järjekorrad, millel Java raamatukogud töötavad. tööd. Ta sai Dijkstra auhinna kolm aastat pärast Herlihyt töö eest "Algoritms for skaleeritav sünkroonimine jagatud mäluga multiprotsessoritel" (nagu oodati, Rochesteri ülikooli veebiraamatukogus).
Juuli keskpaigani on veel palju aega. Ülejäänud esinejatest ja nende teemadest räägime teile programmi täpsustamisel ja juulile lähenedes.
Üldiselt tekib küsimus - miks me suvel Hydrat teeme? Lõppude lõpuks on praegu madalhooaeg, pühad. Probleem on selles, et esinejate hulgas on ülikooli õppejõude ja iga muu aeg on nende jaoks kiire. Me lihtsalt ei saanud teisi kuupäevi valida.
Arutelualad
Teistel konverentsidel juhtub nii, et esineja luges, mida vaja, ja lahkus kohe. Osalejatel pole isegi aega seda otsida - järgmine aruanne algab ju peaaegu ilma vaheajata. See on väga valus, eriti kui kohal on sellised tähtsad inimesed nagu Lamport, Herlihy ja Scott ja te lähete konverentsile lihtsalt selleks, et nendega kohtuda ja midagi arutada.
Oleme selle probleemi lahendanud. Kohe pärast oma ettekannet läheb kõneleja spetsiaalsesse aruteluala, mis on varustatud vähemalt markeriga tahvliga, ja teil on üsna palju aega. Vormiliselt lubab esineja kohal olla vähemalt kogu ettekannetevahelise vaheaja. Tegelikkuses need aruteluvaldkonnad võib venitada tundide kaupa (olenevalt kõneleja soovist ja vastupidavusest).
Mis puutub Lamporti, siis kui ma õigesti aru saan, tahab ta selles võimalikult paljusid veenda - see on hea asi. (). Võib-olla on see inseneridele hea võimalus õppida midagi uut ja kasulikku. Leslie pakub seda võimalust – huvilised saavad vaadata tema varasemaid loenguid ja tulla küsimustega. See tähendab, et põhiettekande asemel võiks olla spetsiaalne küsimuste ja vastuste sessioon ning seejärel ka arutelutsoon. Googeldasin ja leidsin ühe suurepärase. (ametlikult dubleeritud ) ja tunniajaline loeng Microsofti teaduskonna tippkohtumiselt.
Kui tajusite kõiki neid inimesi Vikipeediast ja raamatukaantele graniidist valatud nimedena, on aeg nendega isiklikult kohtuda! Vestlege ja esitage küsimusi, millele teadusartiklite leheküljed ei vasta, kuid nende autorid võtavad hea meelega ühendust.
Tere tulemast!
Pole saladus, et paljud neist, kes praegu artiklit loevad, ei soovi meile midagi üsna huvitavat rääkida. Inseneri seisukohalt, teaduslikust vaatenurgast - mis tahes vaatenurgast. Hajutatud andmetöötlus on väga lai ja sügav teema, kus on ruumi kõigile.
Kui soovite Lamportiga võistelda, on see täiesti võimalik. Kõnelejaks saamiseks vajate , lugege kõik seal hoolikalt läbi ja tehke vastavalt juhistele.
Võite olla kindel, et niipea, kui protsessiga liitute, aitavad nad teid. Programmikomiteel on piisavalt võimalusi, et aidata koostada aruannet ennast, selle olemust ja ülesehitust. Koordinaator aitab teil korraldada korralduslikke küsimusi ja nii edasi.
Pöörake erilist tähelepanu kuupäevadega pildile. Juuli on osaleja jaoks üsna kauge kuupäev, kuid kõnelejal on vaja kohe tegutsema hakata.
SPTDC kool
Konverents toimub SPTDC kooliga samas kohas, seega kõigile, kes ostavad kooli pileti, on piletid konverentsile. 20% soodustusega.
on kool, mis pakub laia valikut hajutatud süsteemide praktilisi ja teoreetilisi aspekte käsitlevaid kursusi, mida õpetavad vastava valdkonna tunnustatud eksperdid.
Kool toimub inglise keeles, seega näeb käsitletavate teemade loend välja järgmine:
- Samaaegsed andmestruktuurid: korrektsus ja tõhusus;
- Püsimälu algoritmid;
- hajutatud arvutatavus;
- hajutatud masinõpe;
- Oleku-masina replikatsioon ja Paxos;
- Bütsantsi veataluvus;
- Plokiahelate algoritmilised põhitõed.
Kõnelevad järgmised esinejad:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Browni Ülikool);
- Michael Scott (Rochesteri ülikool);
- Dan Alistarh (IST Austria);
- Trevor Brown (Waterloo Ülikool);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurioni ülikool);
- Achour Mostefaoui (Nantesi ülikool).
Eelmise kooli aruandeid saate vabalt vaadata YouTube'is:
Järgmised sammud
Konverentsi programm on alles kujunemisel. Jälgi uudiseid Habres või sotsiaalvõrgustikes (, , ).
Kui te tõesti usute konverentsi (või soovite kasutada erihinda, nn "Early Bird"), võite minna veebisaidile ja .
Kohtumiseni Hydras!
Allikas: www.habr.com