Kjo Lesli Lamport â autor i punimeve themelore nĂ« llogaritĂ« e shpĂ«rndara, ndoshta e njihni edhe nga shkronjat La nĂ« fjalĂ«n LaTeX â «Lamport TeX». Ai ishte ai qĂ« e futi pĂ«r herĂ« tĂ« parĂ«, nĂ« vitin 1979, konceptin , dhe artikulli i tij ka marrĂ« çmimin Dijkstra (nĂ« fakt, nĂ« vitin 2000 çmimi quhej ndryshe: «PODC Influential Paper Award»). Ka mĂ« shumĂ« rreth tij , ku mund tĂ« gjenni disa lidhje tĂ« tjera interesante. NĂ«se jeni tĂ« entuziazmuar nga zgjidhja e problemeve nĂ« happens-before ose (BFT), duhet tĂ« keni parasysh se pas gjithĂ« kĂ«saj qĂ«ndron Lamport.
Dhe po ashtu, ai 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 drejtim.
Hydra 2019
Temat si multithreading janĂ« njĂ« nga mĂ« tĂ« njohurat nĂ« konferencat tona, gjithmonĂ« ka qenĂ« kĂ«shtu. Pak mĂ« parĂ«, ky sallĂ« ishte bosh, por ja, nĂ« skenĂ« del njĂ« person qĂ« flet pĂ«r modelin e memories, happens-before ose grumbullimin e tejzgjatur tĂ« mbeturinave dhe â bum! â tashmĂ« deri nĂ« njĂ« mijĂ« njerĂ«z mbushin çdo hapĂ«sirĂ« tĂ« disponueshme pĂ«r tĂ« ulur dhe dĂ«gjuar me vĂ«mendje. ĂfarĂ« e bĂ«n kĂ«tĂ« sukses? Ndoshta, sepse ne tĂ« gjithĂ« kemi ndonjĂ« hardware qĂ« mund tĂ« organizojĂ« llogaritĂ« e shpĂ«rndara? Apo sepse nĂ« mĂ«nyrĂ« tĂ« pavetĂ«dijshme e kuptojmĂ« pamundĂ«sinĂ« tonĂ« pĂ«r ta shfrytĂ«zuar siç duhet? Ka njĂ« histori tĂ« vĂ«rtetĂ« nga njĂ« kvant nga ShĂ«n Peterburgu (pra, njĂ« analist dhe zhvillues kuantitativ financiar), i cili kishte nĂ« duar njĂ« klaster llogaritĂ«s, fuqinĂ« e plotĂ« tĂ« cilit mund ta pĂ«rdorte vetĂ«m ai. ĂfarĂ« do tĂ« bĂ«nit ju, po tĂ« kishit pĂ«r tĂ« realizuar detyrat tuaja fuqinĂ« shumĂ« mĂ« tĂ« madhe se tani?
FalĂ« kĂ«saj popullariteti, tema e performancĂ«s dhe llogaritjeve efikase ka tendencĂ«n tĂ« pĂ«rfshihet nĂ« programet e konferencave. Sa nga dy ditĂ«t e diskutimeve mund tĂ« bĂ«hen pĂ«r performancĂ«n â njĂ« e tretĂ«, dy tĂ« tretat? NĂ« disa vende ka kufizime artificiale qĂ« kufizojnĂ« kĂ«tĂ« rritje: pĂ«rveç performancĂ«s gjithmonĂ« duhet tĂ« mbetet hapĂ«sirĂ« pĂ«r framework-e tĂ« reja web, pĂ«r ndonjĂ« devops apo astronautikĂ« arkitekturore. Jo, performanca, nuk do tĂ« na hani tĂ« gjithĂ«ve nĂ« njĂ« herĂ«!
Po ashtu, mund të shkojmë në rrugën e kundërt, të dorëzohemi dhe të organizojmë në mënyrë të ndershme një konferencë që do të jetë krejtësisht për llogaritë e shpërndara dhe vetëm për to. Dhe ja, Hydra.
Le tĂ« pranojmĂ« sinqerisht, qĂ« deri mĂ« sot tĂ« gjitha llogaritĂ« nĂ« mĂ«nyrĂ« tĂ« ndonjĂ« forme janĂ« tĂ« shpĂ«rndara. QoftĂ« makina me shumĂ« bĂ«rthama, klaster llogaritar apo shĂ«rbim i shpĂ«rndarĂ« nĂ« shkallĂ« tĂ« gjerĂ« â pĂ«r çdo vend ka shumĂ« procese qĂ« kryejnĂ« llogaritje tĂ« pavarura nĂ« mĂ«nyrĂ« paralele, duke u sinkronizuar me njĂ«ri-tjetrin. Si Ă«shtĂ« kjo e strukturuar nĂ« teori dhe si funksionon nĂ« praktikĂ«, kjo do tĂ« jetĂ« tema e Hydra.
Programi i konferencës
Programi është aktualisht në fazën e formimit. Ai duhet të përfshijë diskutime nga themeluesit e teorive të sistemeve të shpërndara dhe inxhinierëve që punojnë me to në prodhim.
Për shembull, është tashmë e njohur pjesëmarrja e Leslie Lamport nga Microsoft Research dhe Maurice Herlihy nga University of Brown.
Maurice Herlihy â profesor i njohur dhe i respektuar nĂ« ShkencĂ«n e Kompjuterve, pĂ«r tĂ« cilin gjithashtu ka , ku mund tĂ« kaloni nĂ«pĂ«r lidhjet dhe punimet. Atje mund tĂ« vini re dy çmime Dijkstra, i pari â pĂ«r punĂ«n mbi , dhe i dyti, mĂ« i ri â . PĂ«rveç kĂ«saj, lidhjet çojnĂ« madje jo nĂ« SciHub, por nĂ« Universitetin e Brown dhe Universitetin e Virginia Tech, mund t'i hapni dhe t'i lexoni.
Maurice planifikon të mbajë një diskutim kryesor me titull «Blockchains from a distributed computing perspective». Nëse jeni të interesuar, mund të shihni regjistrimin e diskutimit të Maurice nga JUG në Shën Petersburg. Vlerësojeni se sa qartë dhe mirë e transmeton temën.
Diskutimi i dytĂ« kryesor me titull «Struktura tĂ« DhĂ«nash Duale» do tĂ« mbahen nga Majkl Skoti nga Universiteti i Rochester. Dhe tĂ« merrni mend, ai ka gjithashtu . NĂ« shkollĂ«n e tij nĂ« Wisconsin ai Ă«shtĂ« i njohur pĂ«r punĂ«n si dekan nĂ« Universitetin Wisconsin-Madison, dhe nĂ« botĂ« â si ai njeri qĂ« sĂ« bashku me Doug Lea zhvilloi kĂ«to algoritme tĂ« mos-bllokimit dhe queues sinkronike, mbi tĂ« cilat punojnĂ« bibliotekat Java. Ai e mori çmimin Dijkstra tre vjet pas Herlihy, pĂ«r punĂ«n «Algorithms for scalable synchronization on shared-memory multiprocessors» (si zakonisht, nĂ« bibliotekĂ«n online tĂ« Universitetit tĂ« Rochester).
Ka ende shumë kohë deri në mes të korrikut. Ne do të flasim për të tjerët folësit dhe temat e tyre ndërsa po qartësojmë programin dhe po afrohemi në korrik.
NĂ« pĂ«rgjithĂ«si, lind pyetja â pse e bĂ«jmĂ« HydrĂ«n nĂ« verĂ«? Sepse Ă«shtĂ« sezon i vdekur, pushime. Problemi Ă«shtĂ« se midis folĂ«sve ka mĂ«sues universiteti, dhe çdo kohĂ« tjetĂ«r Ă«shtĂ« e zĂ«nĂ« pĂ«r ta. Ne thjesht nuk mund tĂ« zgjidhnim data tĂ« tjera.
Zona diskutimi
Në konferenca të tjera ndodhin raste kur folësi mbaron me atë që duhet dhe largohesh menjëherë. Pjesëmarrësit as që kanë kohë ta gjejnë - sepse direkt pas tij fillon prezantimi tjetër. Kjo është shumë e dhimbshme, sidomos kur janë të pranishëm njerëz kaq të rëndësishëm si Lamport, Herlihy dhe Scott, dhe në të vërtetë po shkon në konferencë vetëm për t'u takuar me ta dhe për të biseduar për ndonjë çështje.
Kjo problematikë është zgjidhur nga ne. Menjëherë pas fjalimit të tij, folësi shkon në një zonë diskutimi të veçantë, e pajisur të paktën me një tabelë me marker, dhe ju keni një periudhë të madhe kohe. Formalisht, folësi premton të jetë aty të paktën gjatë gjithë kohës së pushimit ndërmjet prezantimeve. Në realitet, këto zona diskutimi mund mund të zgjasin për orë të tëra (varet nga dëshira dhe durimi i folësit).
Sa i pĂ«rket Lamportit, nĂ«se e kuptoj saktĂ«, ai dĂ«shiron tĂ« bindĂ« sa mĂ« shumĂ« njerĂ«z qĂ« â kjo Ă«shtĂ« njĂ« gjĂ« e mirĂ«. (). Ndoshta, ky do tĂ« jetĂ« njĂ« shans i shkĂ«lqyer pĂ«r inxhinierĂ«t pĂ«r tĂ« mĂ«suar diçka tĂ« re dhe tĂ« dobishme. Leslie ofron njĂ« variant tĂ« tillĂ« - ata qĂ« janĂ« tĂ« interesuar, mund tĂ« shikojnĂ« leksionet e tij tĂ« kaluara dhe tĂ« vijnĂ« me pyetje. KĂ«shtu qĂ« nĂ« vend tĂ« njĂ« keynoti, mund tĂ« ketĂ« njĂ« sesion tĂ« specializuar pyetje-pĂ«rgjigje, dhe mĂ« pas edhe njĂ« zonĂ« diskutimi. UnĂ« e kam kĂ«rkuar pak dhe kam gjetur njĂ« (nĂ« mĂ«nyrĂ« zyrtare tĂ« dyfishuar ) dhe njĂ« leksion njĂ«orĂ«sh nga Microsoft Faculty Summit.
NĂ«se i keni perceptuar kĂ«ta njerĂ«z si emra tĂ« hekuros nĂ« granit nga Wikipedia dhe nĂ« kopertinat e librave - Ă«shtĂ« koha tâi takoni ata nĂ« jetĂ«! TĂ« bisedoni dhe tĂ« bĂ«ni pyetje, pĂ«r tĂ« cilat nuk do tĂ« merrni pĂ«rgjigje nĂ« faqet e artikujve shkencorĂ«, por autorĂ«t e tyre do tĂ« jenĂ« tĂ« gatshĂ«m tĂ« lidhen.
Thirrje për Dokumente
Nuk është sekret se shumë nga ata që po e lexojnë këtë artikull, vetë dëshirojnë të flasin për diçka mjaft interesante. Nga pikëpamja inxhinierike, nga ajo shkencore - nga çdo drejtim. Kompjuterat e shpërndarë - janë një temë shumë e gjerë dhe e thellë, ku ka vend për të gjithë.
Nëse dëshiron të prezantosh afër Lamportit, kjo është krejt e mundur. Për të qenë folës, duhet , ta lexoni me kujdes dhe të veproni sipas udhëzimeve.
Mos u shqetësoni, pasi të lidheni me procesin, do t'ju ndihmojnë. Komiteti i programit ka mundësi të mjaftueshme për të ndihmuar me fjalimin vetë, me përmbajtjen dhe dizajnin e tij. Koordinatori do t'ju ndihmojë të zgjidhni çështjet organizative e kështu me radhë.
Kthejeni vëmendjen te imazhi me datat. Korriku është një datë mjaft e largët për pjesëmarrësin, ndërsa folësi duhet të fillojë të veprojë që tani.
Shkolla SPTDC
Konferenca do të zhvillohet në të njëjtën vend me shkollën SPTDC, kështu që për të gjithë ata që blenë biletë për shkollën, biletat për konferencën janë me zbritje 20%.
është një shkollë që ofron një gamë të gjerë kursesh mbi aspektet praktike dhe teorike të sistemeve të shpërndara, të udhëhequra nga specialistë të njohur në fushën përkatëse.
Shkolla do të zhvillohet në anglisht, kështu që ky është lista e temave që do të shqyrtohen:
- Struktura të dhënash të përbashkëta: saktësia dhe efikasiteti;
- Algoritmet për memorie jo-volatile;
- Kompjuterabiliteti i shpërndarë;
- Mësimi i makinerisë së shpërndarë;
- Riprodhimi i makinerisë së shtetit dhe Paxos;
- Toleranca ndaj gabimeve Bizantine;
- Elementet themelore algoritmike të bllokimeve.
Folësit do të jenë si më poshtë:
- 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).
me fjalime nga shkolla e mëparshme 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 dëshironi të shfrytëzoni çmimin fillestar të veçantë, siç quhet, "Early Bird") - mund të kaloni në faqen e internetit dhe .
Do të takojmë në Hydra!
Burimi: habr.com
