Ky Lesli Lamport â autor i punimeve themelore nĂ« llogaritĂ« e shpĂ«rndara, dhe ju ndoshta e njihni atĂ« nga shkronjat La nĂ« fjalĂ«n LaTeX â "Lamport TeX". Ai e prezantoi pĂ«r herĂ« tĂ« parĂ«, qĂ« nĂ« vitin 1979, konceptin e , dhe artikulli i tij mori çmimin Dijkstra (mĂ« saktĂ«, nĂ« vitin 2000 çmimi quhej ndryshe: "PODC Influential Paper Award"). Ka , ku mund tĂ« gjeni disa lidhje tĂ« tjera interesante. NĂ«se jeni tĂ« fascinuar nga zgjidhjet e problemeve si happens-before ose (BFT), atĂ«herĂ« duhet tĂ« kuptoni se pas gjithĂ« kĂ«saj qĂ«ndron Lamport.
Dhe gjithashtu ai sĂ« shpejti do tĂ« vijĂ« nĂ« konferencĂ«n tonĂ« tĂ« re pĂ«r llogaritĂ« e shpĂ«rndara â Hydra, e cila do tĂ« mbahet mĂ« 11-12 korrik nĂ« ShĂ«n Petersburg. Le tĂ« shohim se çfarĂ« Ă«shtĂ« ky kafshĂ«.
Hydra 2019
Temat si multithreading janĂ« disa nga mĂ« tĂ« njohurat nĂ« konferencat tona, gjithmonĂ« kanĂ« qenĂ« tĂ« tilla. Sapo ishte njĂ« sallĂ« e zbrazĂ«t, por ja, nĂ« skenĂ« del njĂ« njeri qĂ« flet pĂ«r modelin e memories, happens-before ose grumbullimin e plehrave me shumĂ« proçesorĂ« dhe â bam! â tashmĂ« afĂ«r njĂ« mijĂ« njerĂ«z zĂ«nĂ« tĂ« gjitha vendet nĂ« dispozicion pĂ«r tĂ« u ulur dhe dĂ«gjuar me vĂ«mendje. ĂfarĂ« Ă«shtĂ« thelbi i kĂ«tij suksesi? Ndoshta se tĂ« gjithĂ« ne kemi ndonjĂ« harduer qĂ« Ă«shtĂ« i aftĂ« tĂ« organizojĂ« llogaritĂ« e shpĂ«rndara? Ose se nĂ« mĂ«nyrĂ« tĂ« pavetĂ«dijshme e kuptojmĂ« pamundĂ«sinĂ« tonĂ« pĂ«r ta ngarkuar atĂ« si duhet? Ka njĂ« histori reale tĂ« njĂ« kvanteri nga ShĂ«n Petersburg (dmth analisti financiar dhe zhvilluesi kvantitativ), qĂ« kishte nĂ« dispozicion njĂ« klaster llogaritĂ«s, fuqinĂ« e plotĂ« tĂ« tĂ« cilit mund ta pĂ«rdorĂ« vetĂ«m ai. ĂfarĂ« do tĂ« bĂ«nit, sikur tĂ« kishit nĂ« dispozicion mundĂ«si shumĂ« mĂ« tĂ« mĂ«dha pĂ«r tĂ« kryer detyrat tuaja?
Falë popullaritetit të tillë, tema e performancës dhe llogaritjeve efikase ka tendencë të shfaqet gjithnjë e më shumë në programet e konferencave. Sa nga dy ditët e prezantimeve mund të flasim për performancën - një e tretë, dy të tretat? Ndonjëherë ka kufizime artificiale që e ndalojnë këtë rritje: përveç performancës, gjithmonë duhet të ketë hapësirë për korniza të reja web, për ndonjë devops ose astronautikë arkitekturore. Jo, performancë, ti nuk do të na përthithësh të gjithëve!
Por gjithashtu mund të ndjekim një rrugë të kundërt, të dorëzohemi dhe të bëjmë një konferencë që do të jetë krejtësisht mbi llogaritë e shpërndara dhe vetëm mbi to. Dhe ja, Hy dra.
Le tĂ« pranojmĂ« hapur se deri mĂ« sot tĂ« gjitha llogaritĂ« nĂ« njĂ« farĂ« mĂ«nyre janĂ« tĂ« shpĂ«rndara. QoftĂ« njĂ« makinĂ« me shumĂ« bĂ«rthama, njĂ« klaster llogaritar apo njĂ« shĂ«rbim i madh tĂ« shpĂ«rndarĂ« - kudo ka shumĂ« procese qĂ« kryejnĂ« llogaritje tĂ« pavarura paralelisht, duke u sinkronizuar me njĂ«ra-tjetrĂ«n. Teksa do flasim pĂ«r mĂ«nyrĂ«n se si funksionon kjo nĂ« teori dhe praktikĂ«, do tâi kushtohet Hydra.
Programi i konferencës
Programi është aktualisht në fazën e formimit. Ai do të përfshijë prezantime nga themeluesit e teorive të sistemeve të shpërndara dhe inxhinierëve që punojnë me ta në prodhim.
Për shembull, tashmë dihet për pjesëmarrjen e Leslie Lamport nga Microsoft Research dhe Morris Hirshfield nga Universiteti Brown.
Morris Hirshfield është një profesor shumë i njohur dhe i respektuar në Shkencat Kompjuterike, për të cilin gjithashtu ekziston , ku mund të shkoni përmes lidhjeve dhe punëve të tij. Atje mund të vini re dy çmime Dijkstra, e para për punën mbi , dhe e dyta, më e reja - . Përveç kësaj, lidhjet nuk çojnë as në SciHub, por në Universitetin Brown dhe Universitetin Virginia Tech, mund të hapen dhe të lexohen.
Morris do të mbajë një keynote me titull «Blockchains from a distributed computing perspective». Nëse jeni të interesuar, mund të shihni regjistrimin e prezantimit të Morris nga JUG në Shën Petersburg. Vlerësoni se sa qartë dhe thellësisht ai e shpjegon temën.
Keynote-i i dytĂ« me titull «Dual Data Structures» do tĂ« jepet nga Michael Scott nga Universiteti i Rochester. Dhe merrni njĂ« tjetĂ«r - ai gjithashtu ka njĂ« . NĂ« Wisconsin, ai Ă«shtĂ« i njohur pĂ«r punĂ«n e tij si dekan nĂ« universitetin Wisconsin-Madison, dhe nĂ« botĂ« â ai Ă«shtĂ« njeri qĂ«, sĂ« bashku me Doug Lea, zhvilloi ato algoritme pa bllokim dhe radhĂ«t sinkron qĂ« pĂ«rdoren nĂ« biblioteka Java. Ai mori çmimin Dijkstra tri vjet pas Hurlik, pĂ«r punĂ«n "Algoritmet pĂ«r sinkronizimin e shkallĂ«zueshĂ«m nĂ« shumĂ«proçesorĂ«t me memorie tĂ« pĂ«rbashkĂ«t" (siç duhet, nĂ« bibliotekĂ«n online tĂ« Universitetit tĂ« Rochester).
Derisa të mesit të korrikut ka shumë kohë. Për folësit e tjerë dhe temat e tyre do të flasim ndërsa të saktësohet programu dhe të afrohet korriku.
NĂ« tĂ« vĂ«rtetĂ«, lind pyetja â pse po e bĂ«jmĂ« Hidren verĂ«s? Sepse Ă«shtĂ« njĂ« sezon i vdekur, pushime. Problemi Ă«shtĂ« se mes spikerĂ«ve ka mĂ«sues universitare, dhe çdo kohĂ« tjetĂ«r Ă«shtĂ« e zĂ«nĂ« pĂ«r ta. Ne thjesht nuk mundĂ«m tĂ« zgjedhim datat e tjera.
Zonat e Diskutimit
NĂ« Konferenca tĂ« tjera, ndodh ndonjĂ«herĂ« qĂ« folĂ«si e lexon atĂ« qĂ« duhet dhe menjĂ«herĂ« largohet. PjesĂ«marrĂ«sit as qĂ« kanĂ« kohĂ« ta kĂ«rkojnĂ« atĂ« â sepse pothuajse pa ndalesĂ« fillon fjalimi tjetĂ«r. Kjo Ă«shtĂ« shumĂ« e dhimbshme, sidomos nĂ«se janĂ« tĂ« pranishĂ«m njerĂ«z tĂ« tillĂ« tĂ« rĂ«ndĂ«sishĂ«m si Lamport, Hurlik dhe Scott, dhe ju nĂ« fakt po shkoni nĂ« konferencĂ«, vetĂ«m pĂ«r tĂ« takuar dhe diskuar me ta.
Ne kemi zgjidhur këtë problem. Menjëherë pas fjalimit të tij, folësi shkon në një zonë të veçantë diskutimi, e pajisur me të paktën një bord me marker, dhe keni një rezervë të madhe kohe. Formalisht, folësi premton të qëndrojë atje të paktën gjatë gjithë kohës së pushimit midis fjalimeve. Në realitet, këto zona diskutimi mund të zgjaten për orë të tëra (varet nga dëshira dhe qëndresa e folësit).
Sa i pĂ«rket Lamportit, nĂ«se e kuptova saktĂ«sisht, ai dĂ«shiron tĂ« bindĂ« sa mĂ« shumĂ« njerĂ«z qĂ« Ă«shtĂ« njĂ« gjĂ« e mirĂ«. (). Ndoshta, kjo do tĂ« jetĂ« njĂ« rast i mirĂ« pĂ«r inxhinierĂ«t pĂ«r tĂ« mĂ«suar diçka tĂ« re dhe tĂ« dobishme. Leslie sugjeron njĂ« variant tĂ« tillĂ« â ata qĂ« janĂ« tĂ« interesuar mund tĂ« shohin ligjĂ«ratat e tij tĂ« kaluara dhe tĂ« vijnĂ« me pyetje. Pra, nĂ« vend tĂ« njĂ« keynote, mund tĂ« ketĂ« njĂ« lloj sesioni tĂ« specializuar Q&A, dhe pastaj edhe njĂ« zonĂ« diskutimi. Kam bĂ«rĂ« pak kĂ«rkime nĂ« Google dhe kam gjetur njĂ« kurs tĂ« shkĂ«lqyer (zyrtarisht i dyfishuar ) dhe njĂ« ligjĂ«ratĂ« njĂ« orĂ«she me Microsoft Faculty Summit.
NĂ«se i keni parĂ« tĂ« gjithĂ« kĂ«ta njerĂ«z si emra tĂ« gdhendur nĂ« granit nga Wikipedia dhe nĂ« kopertinat e librave â Ă«shtĂ« koha tĂ« takoni ata nĂ« jetĂ«n reale! TĂ« flisni dhe tĂ« bĂ«ni pyetje, pĂ«r tĂ« cilat faqet e artikujve shkencorĂ« nuk do t'ju japin pĂ«rgjigje, por autorĂ«t e tyre do tĂ« jenĂ« tĂ« lumtur pĂ«r t'u lidhur.
Thirrje për Dokumente
Nuk Ă«shtĂ« sekret qĂ« shumĂ« nga ata qĂ« po e lexojnĂ« kĂ«tĂ« artikull, vetĂ« do tĂ« donin tĂ« flisnin pĂ«r diçka mjaft interesante. Nga kĂ«ndvĂ«shtrimi inxhinierik, shkencor â nga çdo kĂ«ndvĂ«shtrim. Komputimi i shpĂ«rndarĂ« Ă«shtĂ« njĂ« temĂ« shumĂ« e gjerĂ« dhe e thellĂ«, ku ka vend pĂ«r tĂ« gjithĂ«.
Nëse dëshiron të flasësh pranë Lamport, është krejtësisht e mundur. Për t'u bërë folës, duhet , të lexosh me kujdes gjithçka atje dhe të veprovosh sipas udhëzimeve.
Mos u bëni merak, sa herë që të lidhesh me procesin, do të të ndihmojnë. Komiteti programor ka kapacitetin e mjaftueshëm për të ndihmuar me vetë dokumentin, thelbin dhe formatin e tij. Koordinatori do të ndihmojë në zgjidhjen e çështjeve organizative e kështu me radhë.
Këndvështroni me kujdes imazhin me datat. Korriku është një datë mjaft e largët për një pjesëmarrës, ndërsa folësi duhet të fillojë të veprojë tani.
Shkolla SPTDC
Konferenca do të zhvillohet në të njëjtin vend me shkollën SPTDC, kështu që për të gjithë ata që blejnë biletë për shkollën, biletat për konferencën do të jenë me 20% zbritje.
â njĂ« shkollĂ« qĂ« ofron njĂ« gamĂ« tĂ« gjerĂ« kursesh mbi aspektet praktike dhe teorike tĂ« sistemeve tĂ« shpĂ«rndara, tĂ« drejtuara nga specialistĂ« tĂ« njohur nĂ« fushĂ«n pĂ«rkatĂ«se.
Shkolla do të mbahet në gjuhën angleze, kështu që ky është lista e temave të diskutueshme:
- Struktura të dhënash me konkurencë: saktësia dhe efikasiteti;
- Algoritmet për memorinë e pa-flakshme;
- Computabiliteti i shpërndarë;
- Mësimi i makinerive të shpërndara;
- Riprodhimi i makinave të gjendjes dhe Paxos;
- Sebat i gabimeve bizantine;
- Elementet algoritmike të blokadave.
Disa nga folësit do të jenë:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Universiteti Brown);
- Michael Scott (Universiteti i Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Universiteti i Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Universiteti Ben Gurion);
- Achour Mostefaoui (Universiteti i Nantes).
me referatet e shkollës së kaluar mund të shikohet lirshëm në YouTube:
Hapat e ardhshëm
Programi i konferencës ende po formohet. Ndiqni lajmet në Habrë ose në rrjetet sociale (, , ).
NĂ«se vĂ«rtet besoni nĂ« konferencĂ«n (ose doni tĂ« pĂ«rfitoni nga çmimi special tĂ« fillimit, i quajtur "Early Bird") â mund tĂ« vizitoni faqen dhe .
Takohuni në Hydra!
Burimi: habr.com
