Ajo Leslie Lamport është autor i veprave kryesore në informatikë të shpërndarë dhe mund ta njihni edhe me shkronjat La në fjalë LaTeX - "Lamport TeX". Ishte ai që i pari, në vitin 1979, prezantoi konceptin , dhe artikullin e tij mori çmimin Dijkstra (më saktë, në vitin 2000 çmimi u quajt në mënyrën e tij të vjetër: “PODC Influential Paper Award”). Ka rreth tij , ku mund të gjeni disa lidhje më interesante. Nëse jeni të ngazëllyer për zgjidhjen e problemeve në të ndodhë-para ose (BFT), atëherë duhet të kuptoni që Lamport qëndron pas gjithë kësaj.
Ai gjithashtu do të vijë së shpejti në konferencën tonë të re për informatikë të shpërndarë - Hydra, e cila do të zhvillohet më 11-12 korrik në Shën Petersburg. Le të shohim se çfarë lloj kafshe është kjo.
Hidra 2019
Temat si multithreading janë ndër më të njohurat në konferencat tona, kanë qenë gjithmonë. Vetëm tani kjo dhomë ishte e shkretë, por më pas një person shfaqet në skenë duke folur për modelin e kujtesës, ndodh-para ose me shumë fije grumbullimi i plehrave dhe - bum! — tashmë rreth një mijë njerëz zënë të gjithë hapësirën e disponueshme për t'u ulur dhe për të dëgjuar me kujdes. Cili është thelbi i këtij suksesi? Ndoshta kjo është për shkak se ne të gjithë kemi një lloj hardueri në dorë që mund të organizojë llogaritjen e shpërndarë? Apo është se ne nënndërgjegjeshëm e kuptojmë paaftësinë tonë për ta ngarkuar atë ashtu siç e meriton? Ekziston një histori e vërtetë e një sasie të Shën Peterburgut (domethënë një analist dhe zhvillues sasior financiar), i cili e gjeti veten në zotërim të një grupi kompjuterik, fuqinë e plotë të të cilit vetëm ai mund ta përdorte. Çfarë do të bënit nëse do të kishit kapacitetin për të kryer detyrat tuaja shumë herë më të mëdha se sa tani?
Për shkak të një popullariteti të tillë, tema e produktivitetit dhe llogaritjes efikase tenton të përhapet në axhendën e konferencës. Sa nga dy ditët e raporteve mund të bëhen për performancën - një e treta, dy të tretat? Në disa vende ka kufizime artificiale që kufizojnë këtë rritje: përveç performancës, duhet të ketë ende hapësirë për korniza të reja ueb, për një lloj devops ose astronautikë arkitekturore. Jo, performancë, nuk do të na hani të gjithë!
Ose mund të shkoni në anën e kundërt, të hiqni dorë dhe të bëni sinqerisht një konferencë që do të jetë tërësisht rreth kompjuterëve të shpërndarë dhe vetëm rreth tyre. Dhe ja ku është, Hidra.
Le të pranojmë sinqerisht se sot të gjitha llogaritjet shpërndahen në një mënyrë ose në një tjetër. Pavarësisht nëse është një makinë me shumë bërthama, një grup kompjuterik ose një shërbim i shpërndarë në shkallë të gjerë, ka shumë procese kudo që kryejnë llogaritje të pavarura paralelisht, duke sinkronizuar me njëri-tjetrin. Hydra do t'i kushtohet mënyrës se si funksionon kjo në teori dhe si funksionon në praktikë.
Programi i konferencës
Programi aktualisht është në fazën e formimit të tij. Ai duhet të përfshijë raporte nga themeluesit e teorive të sistemeve të shpërndara dhe inxhinierët që punojnë me ta në prodhim.
Për shembull, pjesëmarrja e Leslie Lamport nga Microsoft Research dhe Maurice Herlihy nga Brown University është tashmë e njohur.
Maurice Herlihy - një profesor shumë i njohur dhe i respektuar i Shkencave Kompjuterike, ka të dhëna edhe për të , ku mund të shfletoni lidhjet dhe veprat. Aty mund të vërehen dy çmime Dijkstra, i pari për punë , dhe e dyta, më e fundit - . Nga rruga, lidhjet nuk të çojnë as në SciHub, por në Universitetin Brown dhe Universitetin Teknik të Virxhinias, ju mund të hapni dhe lexoni.
Maurice do të mbajë një fjalim kryesor të quajtur "Blockchains nga një perspektivë informatike e shpërndarë". Nëse jeni të interesuar, mund t'i hidhni një sy regjistrimit të raportit të Maurice nga JUG e Shën Petersburgut. Vlerësoni se sa qartë dhe kuptueshëm e përcjell ai temën.
Fjala e dytë kryesore e quajtur "Strukturat e dyfishta të të dhënave" do të lexojë Michael Scott nga Universiteti i Rochester. Dhe me mend çfarë - ai gjithashtu ka të tijën . Në shtëpinë e tij në Wisconsin, ai njihet për punën e tij si dekan në Universitetin e Wisconsin-Madison, dhe në botë është njeriu që, së bashku me Doug Lea, zhvilluan algoritmet jobllokuese dhe radhët sinkrone në të cilat bibliotekat Java puna. Ai mori çmimin Dijkstra tre vjet pas Herlihy, për veprën e tij "Algoritme për sinkronizim të shkallëzuar në multiprocesorët me memorie të përbashkët" (siç pritej, në bibliotekën online të Universitetit të Rochester).
Ka ende shumë kohë deri në mes të korrikut. Ne do t'ju tregojmë për folësit e mbetur dhe temat e tyre ndërsa përsosim programin dhe i afrohemi korrikut.
Në përgjithësi, lind pyetja - pse e bëjmë Hidrën gjatë verës? Në fund të fundit, ky është sezoni i ulët, pushimet. Problemi është se mes folësve ka mësues universiteti dhe çdo kohë tjetër është e zënë për ta. Thjesht nuk mund të zgjidhnim data të tjera.
Zonat e diskutimit
Në konferenca të tjera, ndodh që folësi të lexojë atë që i duhej dhe të largohej menjëherë. Pjesëmarrësit nuk kanë as kohë ta kërkojnë - në fund të fundit, raporti tjetër fillon pothuajse pa një interval. Kjo është shumë e dhimbshme, veçanërisht nëse njerëz të rëndësishëm si Lamport, Herlihy dhe Scott janë të pranishëm, dhe ju në fakt po shkoni në konferencë vetëm për t'i takuar dhe për të diskutuar diçka.
Ne e kemi zgjidhur këtë problem. Menjëherë pas raportimit të tij, folësi shkon në një zonë të veçantë diskutimi, të pajisur me të paktën një tabelë të bardhë me një shënues dhe ju keni mjaft kohë. Formalisht, folësi premton të jetë aty të paktën gjatë gjithë pushimit ndërmjet prezantimeve. Në realitet, këto fusha diskutimi mund shtrihen për orë të tëra (në varësi të dëshirës dhe qëndrueshmërisë së folësit).
Sa për Lamportin, nëse e kuptoj mirë, ai dëshiron të bindë sa më shumë njerëz për këtë - kjo është një gjë e mirë. (). Ndoshta ky do të jetë një shans i mirë për inxhinierët që të mësojnë diçka të re dhe të dobishme. Leslie ofron këtë opsion - ata që janë të interesuar mund të shikojnë leksionet e tij të kaluara dhe të vijnë me pyetje. Kjo do të thotë, në vend të një fjalimi kryesor, mund të ketë një sesion të specializuar për pyetje dhe përgjigje, dhe më pas gjithashtu një zonë diskutimi. Bëra disa google dhe gjeta një të mirë. (i dubluar zyrtarisht ) dhe një leksion një orë nga Samiti i Fakultetit të Microsoft.
Nëse i keni perceptuar të gjithë këta njerëz si emra të hedhur në granit nga Wikipedia dhe në kopertina librash, është koha t'i takoni ata personalisht! Bisedoni dhe bëni pyetje që faqet e artikujve shkencorë nuk do t'u përgjigjen, por autorët e tyre do të jenë të lumtur t'i kontaktojnë.
Thirrje për Papers
Nuk është sekret që shumë nga ata që po lexojnë tani artikullin nuk janë të urtë të na thonë diçka mjaft interesante. Nga pikëpamja inxhinierike, nga pikëpamja shkencore - nga çdo këndvështrim. Informatika e shpërndarë është një temë shumë e gjerë dhe e thellë ku ka vend për të gjithë.
Nëse doni të konkurroni së bashku me Lamport, është plotësisht e mundur. Për t'u bërë folës ju duhet , lexoni gjithçka me kujdes dhe veproni sipas udhëzimeve.
Jini të sigurt, sapo t'i bashkoheni procesit, ata do t'ju ndihmojnë. Komiteti i Programit ka aftësi të mjaftueshme për të ndihmuar me vetë raportin, thelbin dhe hartimin e tij. Koordinatori do t'ju ndihmojë të zgjidhni çështjet organizative dhe kështu me radhë.
Kushtojini vëmendje të veçantë fotos me datat. Korriku është një datë mjaft e largët për pjesëmarrësin, por folësi duhet të fillojë të veprojë tani.
Shkolla SPTDC
Konferenca do të mbahet në të njëjtin vend me shkollën SPTDC, kështu që për të gjithë ata që blejnë një biletë për në shkollë, biletat për konferencën do të jenë me zbritje 20%.
është një shkollë që ofron një gamë të gjerë kursesh mbi aspektet praktike dhe teorike të sistemeve të shpërndara, të mësuara nga ekspertë të njohur në fushën përkatëse.
Shkolla do të mbahet në gjuhën angleze, kështu që ja si duket lista e temave të trajtuara:
- Strukturat e njëkohshme të të dhënave: korrektësia dhe efikasiteti;
- Algoritme për memorie jo të paqëndrueshme;
- Llogaritshmëria e shpërndarë;
- Mësimi i makinerisë i shpërndarë;
- Replikimi i makinës shtetërore dhe Paxos;
- Toleranca bizantine ndaj gabimeve;
- Bazat algoritmike të blockchains.
Do të flasin folësit e mëposhtëm:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Universiteti Brown);
- Michael Scott (Universiteti i Roçesterit);
- Dan Alistarh (IST Austria);
- Trevor Brown (Universiteti i Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Universiteti Ben Gurion);
- Achour Mostefaoui (Universiteti i Nantes).
Raportet e shkollës së mëparshme mund t'i shikoni lirisht në YouTube:
Hapat e ardhshëm
Programi i konferencës është ende duke u formuar. Ndiqni lajmet në Habré ose në rrjetet sociale (, , ).
Nëse vërtet besoni në konferencë (ose dëshironi të përfitoni nga çmimi special i hyrjes, i quajtur "Early Bird"), mund të shkoni në faqen e internetit dhe .
Shihemi në Hidra!
Burimi: www.habr.com