ProHoster > Blogs > Administrācija > Sadalīto sistēmu teorijas dibinātāji hidras rokās

Sadalīto sistēmu teorijas dibinātāji hidras rokās

SadalÄ«to sistēmu teorijas dibinātāji hidras rokāsTā Leslija Lamporta ir nozÄ«mÄ«gu darbu autors izplatÄ«tajā skaitļoÅ”anā, un jÅ«s, iespējams, viņu pazÄ«stat arÄ« pēc burtiem La vārdā LaTeX - "Lamport TeX". Tas bija viņŔ, kurÅ” pirmais, tālajā 1979. gadā, ieviesa Å”o koncepciju konsekventa konsekvence, un viņa raksts "Kā izveidot daudzprocesoru datoru, kas pareizi izpilda daudzprocesu programmas" saņēma Dijkstra balvu (precÄ«zāk, 2000. gadā balvu sauca vecajā veidā: ā€œPODC Influential Paper Awardā€). Ir par viņu Wikipedia raksts, kur var iegÅ«t vēl dažas interesantas saites. Ja esat sajÅ«smā par problēmu risināŔanu par notiek-pirms vai Bizantijas Ä£enerāļu problēmas (BFT), tad jums jāsaprot, ka aiz tā visa stāv Lamports.

ViņŔ arÄ« drÄ«zumā ieradÄ«sies mÅ«su jaunajā konferencē par izplatÄ«to skaitļoÅ”anu - Hydra, kas notiks 11.-12.jÅ«lijā Sanktpēterburgā. PaskatÄ«simies, kāds dzÄ«vnieks tas ir.

Hidra 2019

Tādas tēmas kā multithreading ir vienas no populārākajām mÅ«su konferencēs, vienmēr ir bijuÅ”as. Nupat Ŕī telpa bija pamesta, bet tad uz skatuves parādās cilvēks, kurÅ” runā par atmiņas modeli, notiek-pirms vai daudzpavedienu atkritumu savākÅ”ana un - bums! ā€” jau aptuveni tÅ«kstotis cilvēku aizņem visu pieejamo vietu, lai apsēstos un uzmanÄ«gi klausÄ«tos. Kāda ir Å”o panākumu bÅ«tÄ«ba? VarbÅ«t tas ir tāpēc, ka mums visiem ir kāda veida aparatÅ«ra, kas var organizēt izplatÄ«tu skaitļoÅ”anu? Vai arÄ« mēs neapzināti saprotam savu nespēju to ielādēt tā, kā tas ir pelnÄ«jis? Ir Ä«sts stāsts par vienu Sanktpēterburgas kvantu (tas ir, finanÅ”u kvantitatÄ«vo analÄ«tiÄ·i un izstrādātāju), kurÅ” atradās savā Ä«paÅ”umā skaitļoÅ”anas klasteris, kura pilnu jaudu varēja izmantot tikai viņŔ viens. Ko jÅ«s darÄ«tu, ja jums bÅ«tu iespējas veikt savus uzdevumus, kas bÅ«tu daudzkārt lielākas nekā tagad?

Šādas popularitātes dēļ produktivitātes un efektÄ«vas skaitļoÅ”anas tēmai ir tendence izplatÄ«ties konferences dienaskārtÄ«bā. Cik no divu dienu atskaitēm var sagatavot par sniegumu ā€“ treÅ”daļu, divas treÅ”daļas? Dažās vietās ir mākslÄ«gi ierobežojumi, kas ierobežo Å”o izaugsmi: papildus veiktspējai joprojām ir jābÅ«t vietai jauniem tÄ«mekļa ietvariem, sava veida devops vai arhitektÅ«ras astronautikai. Nē, priekÅ”nesums, jÅ«s mÅ«s visus neapēdÄ«sit!

Vai arÄ« varat iet pretējo ceļu, padoties un godÄ«gi noorganizēt konferenci, kas pilnÄ«bā bÅ«s par izplatÄ«to skaitļoÅ”anu un tikai par viņiem. Un Å”eit tas ir, Hidra.

AtzÄ«sim godÄ«gi, ka Å”odien visi aprēķini ir sadalÄ«ti tā vai citādi. NeatkarÄ«gi no tā, vai tā ir daudzkodolu iekārta, skaitļoÅ”anas klasteris vai liela mēroga izplatÄ«ts pakalpojums, visur ir daudz procesu, kas paralēli veic neatkarÄ«gus aprēķinus, sinhronizējot viens ar otru. Hidra bÅ«s veltÄ«ta tam, kā tas darbojas teorētiski un kā tas darbojas praksē.

Konferences programma

Programma Å”obrÄ«d ir veidoÅ”anās stadijā. Tajā jāiekļauj ziņojumi no izplatÄ«to sistēmu teoriju dibinātājiem un inženieriem, kas ar tiem strādā ražoÅ”anā.

Piemēram, jau zināma Leslijas Lamportes no Microsoft Research un Morisa Herlihija (Brown University) dalība.

SadalÄ«to sistēmu teorijas dibinātāji hidras rokās Moriss Herlihijs - ļoti slavens un cienÄ«ts datorzinātņu profesors, arÄ« par viņu ir informācija Vikipēdijas lapa, kur varat pārlÅ«kot saites un darbus. Tur jÅ«s varat pamanÄ«t divas Dijkstra balvas, pirmā par darbu pie "Sinhronizācija bez gaidÄ«Å”anas", un otrs, jaunāks - "Transakciju atmiņa: arhitektÅ«ras atbalsts bezbloķētām datu struktÅ«rām". Starp citu, saites pat neved uz SciHub, bet gan uz Brauna universitāti un Virdžīnijas Tech universitāti, jÅ«s varat atvērt un lasÄ«t.

Moriss rÄ«kos galveno runu ar nosaukumu ā€œBlockchains no sadalÄ«tās skaitļoÅ”anas perspektÄ«vasā€. Ja ir interese, var ieskatÄ«ties Morisa reportāžas ierakstā no Sanktpēterburgas KRÅŖZAS. Novērtējiet, cik skaidri un saprotami viņŔ nodod tēmu.

SadalÄ«to sistēmu teorijas dibinātāji hidras rokāsSkanēs otrais pamatnosacÄ«jumi ar nosaukumu ā€œDual Data Structuresā€. Maikls Skots no Ročesteras universitātes. Un uzmini ko ā€“ viņam arÄ« ir savs Vikipēdijas lapa. Mājās ViskonsÄ«nā viņŔ ir pazÄ«stams ar savu dekāna darbu Viskonsinas-Medisonas Universitātē, un pasaulē viņŔ ir cilvēks, kurÅ” kopā ar Dagu Lea izstrādāja nebloķējoÅ”os algoritmus un sinhronās rindas, uz kurām Java bibliotēkas. strādāt. ViņŔ saņēma Dijkstra balvu trÄ«s gadus pēc Herlihija par darbu ā€œAlgoritms mērogojamai sinhronizācijai koplietojamās atmiņas daudzprocesorosā€ (kā paredzēts, viņa melo atklāti Ročesteras Universitātes tieÅ”saistes bibliotēkā).

LÄ«dz jÅ«lija vidum vēl daudz laika. Mēs jums pastāstÄ«sim par atlikuÅ”ajiem runātājiem un viņu tēmām, pilnveidojot programmu un tuvojoties jÅ«lijam.

Vispār rodas jautājums - kāpēc mēs vasarā taisām Hidra? Galu galā Ŕī ir klusā sezona, brÄ«vdienas. Problēma ir tā, ka starp runātājiem ir augstskolu pasniedzēji, un jebkurÅ” cits laiks viņiem ir aizņemts. Mēs vienkārÅ”i nevarējām izvēlēties citus datumus.

Diskusiju zonas

Citās konferencēs gadās, ka runātājs izlasÄ«ja to, ko viņam vajadzēja, un nekavējoties aizgāja. DalÄ«bniekiem pat nav laika to meklēt - galu galā nākamais ziņojums sākas gandrÄ«z bez pārtraukuma. Tas ir ļoti sāpÄ«gi, it Ä«paÅ”i, ja klāt ir tādi svarÄ«gi cilvēki kā Lamports, Herlihijs un Skots, un jÅ«s patiesÄ«bā dodaties uz konferenci tikai tāpēc, lai viņus satiktu un kaut ko pārrunātu.

Mēs esam atrisinājuÅ”i Å”o problēmu. Uzreiz pēc ziņojuma runātājs dodas uz Ä«paÅ”u diskusiju zonu, kas aprÄ«kota ar vismaz tāfeli ar marÄ·ieri, un jums ir diezgan daudz laika. Formāli runātājs sola bÅ«t klāt vismaz visu prezentāciju pārtraukumu. PatiesÄ«bā Ŕīs diskusiju jomas var stiept stundām ilgi (atkarÄ«bā no runātāja vēlmes un izturÄ«bas).

Kas attiecas uz Lamportu, ja pareizi saprotu, viņŔ par to vēlas pārliecināt pēc iespējas vairāk cilvēku TLA+ - tā ir laba lieta. (Raksts par TLA+ Vikipēdijā). VarbÅ«t Ŕī bÅ«s laba iespēja inženieriem uzzināt ko jaunu un noderÄ«gu. Leslijs piedāvā Ŕādu iespēju ā€“ interesenti var noskatÄ«ties viņa pagātnes lekcijas un nākt ar jautājumiem. Tas ir, pamatnostādnes vietā varētu bÅ«t specializēta jautājumu un atbilžu sesija un pēc tam arÄ« diskusiju zona. Pagooglēju un atradu lielisku. TLA+ kurss (oficiāli dublēts atskaņoÅ”anas saraksts pakalpojumā YouTube) un stundu gara lekcija "DomāŔana virs koda" no Microsoft fakultātes samita.

Ja jÅ«s visus Å”os cilvēkus uztvērāt kā vārdus, kas izlieti granÄ«tā no Vikipēdijas un uz grāmatu vākiem, ir pienācis laiks satikt viņus klātienē! Tērzēt un uzdot jautājumus, uz kuriem zinātnisko rakstu lappuses neatbildēs, bet to autori labprāt sazināsies.

Call for Papers

Nav noslēpums, ka daudzi no tiem, kas tagad lasa rakstu, nevēlas mums pastāstÄ«t kaut ko interesantu. No inženiertehniskā viedokļa, no zinātniskā viedokļa - no jebkura viedokļa. Izkliedētā skaitļoÅ”ana ir ļoti plaÅ”a un dziļa tēma, kurā ir vieta ikvienam.

Ja vēlaties sacensties kopā ar Lamportu, tas ir pilnÄ«gi iespējams. Lai kļūtu par runātāju, jums ir nepiecieÅ”ams sekojiet saitei, rÅ«pÄ«gi izlasiet visu tur un dariet saskaņā ar instrukcijām.

Esiet droÅ”s, tiklÄ«dz pievienosities procesam, viņi jums palÄ«dzēs. Programmas komitejai ir pietiekamas iespējas, lai palÄ«dzētu ar paÅ”u ziņojumu, tā bÅ«tÄ«bu un noformējumu. Koordinators palÄ«dzēs jums sakārtot organizatoriskos jautājumus un tā tālāk.

ÄŖpaÅ”u uzmanÄ«bu pievērsiet attēlam ar datumiem. JÅ«lijs dalÄ«bniekam ir diezgan tāls datums, bet runātājam jāsāk rÄ«koties tagad.

Sadalīto sistēmu teorijas dibinātāji hidras rokās

SPTDC skola

Konference notiks tajā paŔā vietā, kur SPTDC skola, tāpēc ikvienam, kurÅ” iegādāsies biļeti uz skolu, biļetes uz konferenci bÅ«s ar 20% atlaidi.

Izkliedētās skaitļoÅ”anas prakses un teorijas vasaras skola (SPTDC) ir skola, kas nodroÅ”ina plaÅ”u kursu klāstu par izplatÄ«to sistēmu praktiskajiem un teorētiskajiem aspektiem, ko pasniedz atzÄ«ti attiecÄ«gās jomas eksperti.

Skola notiks angļu valodā, tāpēc apskatÄ«to tēmu saraksts izskatās Ŕādi:

  • VienlaicÄ«gas datu struktÅ«ras: pareizÄ«ba un efektivitāte;
  • Algoritmi nepastāvÄ«gai atmiņai;
  • SadalÄ«tā aprēķinojamÄ«ba;
  • Izkliedētā maŔīnmācÄ«ba;
  • Stāvokļa maŔīnas replikācija un Paxos;
  • Bizantijas kļūdu tolerance;
  • Blokķēžu algoritmiskie pamati.

Runās Ŕādi runātāji:

  • Leslija Lamporta (Microsoft);
  • Moriss Herlihijs (Brauna universitāte);
  • Maikls Skots (Ročesteras Universitāte);
  • Dan Alistarh (IST Austrija);
  • Trevors Brauns (Vaterlo Universitāte);
  • Eli Gafni (UCLA);
  • Denijs Hendlers (Ben Guriona universitāte);
  • Achour Mostefaoui (Nantes Universitāte).

atskaņoÅ”anas saraksts IepriekŔējās skolas atskaites varat brÄ«vi skatÄ«ties vietnē YouTube:

Nākamās darbības

Konferences programma vēl tiek veidota. Sekojiet jaunumiem HabrĆ© vai sociālajos tÄ«klos (fb, vk, čivināt).

Ja jÅ«s patieŔām ticat konferencei (vai vēlaties izmantot Ä«paÅ”o ieejas cenu, tā saukto ā€œEarly Birdā€), varat doties uz vietni un pirkt biļetes.

Tiekamies Hydra!

Avots: www.habr.com

Pievieno komentāru