ProHoster > Blogs > Administrācija > SPTDC 2020 - treŔā skola par izplatītās skaitļoŔanas praksi un teoriju

SPTDC 2020 - treŔā skola par izplatītās skaitļoŔanas praksi un teoriju

Teorija ir tad, kad tu zini visu, bet nekas nedarbojas.
Prakse ir tad, kad viss darbojas, bet neviens nezina, kāpēc.
Sadalītās sistēmās teorija un prakse ir apvienotas:
nekas nedarbojas un neviens nezina, kāpēc.

Lai pierādÄ«tu, ka joks epigrāfā ir absolÅ«ts stulbums, mēs treÅ”o reizi rÄ«kojam SPTDC (skola par praksi un izkliedētās skaitļoÅ”anas teoriju). Jau esam pārrunājuÅ”i skolas vēsturi, tās lÄ«dzdibinātājus Pjotru Kuzņecovu un Vitāliju Aksjonovu, kā arÄ« JUG Ru Group dalÄ«bu SPTDC organizÄ“Å”anā. stāstÄ«ja uz Habrē. Tāpēc Å”odien tiek runāts par skolu 2020. gadā, par lekcijām un lektoriem, kā arÄ« par atŔķirÄ«bām starp skolu un konferenci.

SPTDC skola notiks no 6. gada 9. jūlija līdz 2020. jūlijam Maskavā.

Visas lekcijas notiks angļu valodā. Galvenās lekciju tēmas: pastāvÄ«gā vienlaicÄ«gā skaitļoÅ”ana, kriptogrāfijas rÄ«ki sadalÄ«tajām sistēmām, formālas metodes konsensa protokolu pārbaudei, konsekvence liela mēroga sistēmās, sadalÄ«tā maŔīnmācÄ«ba.

SPTDC 2020 - treŔā skola par izplatītās skaitļoŔanas praksi un teoriju
Vai jūs uzreiz uzminējāt, kāda militārā ranga ir attēlā redzamie varoņi? ES tevi apbrīnoju.

Lektori un lekcijas

SPTDC 2020 - treŔā skola par izplatÄ«tās skaitļoÅ”anas praksi un teorijuNirs Å avits (Nir Shavit) - MIT un Telavivas universitātes profesors, lieliskas grāmatas lÄ«dzautors Daudzprocesoru programmÄ“Å”anas māksla, Ä«paÅ”nieks Dijkstra balva izstrādei un ievieÅ”anai programmatÅ«ras transakciju atmiņa (STM) un Gēdeļa balva par darbu pie algebriskās topoloÄ£ijas pielietoÅ”anas koplietoÅ”anas atmiņas skaitļoÅ”anas modelÄ“Å”anā, uzņēmuma lÄ«dzdibinātājs Neironu maÄ£ija, kas rada ātrus maŔīnmācÄ«Å”anās algoritmus parastajiem CPU, un, protams, tam ir savs Vikipēdijas lapas ar braÅ”u un tveicÄ«gu fotogrāfiju. Nirs jau piedalÄ«jās mÅ«su skolā 2017. gadā, kur sniedza visaptveroÅ”u pārskatu par bloÄ·Ä“Å”anas paņēmieniem (1. daļa, 2. daļa). Mēs vēl nezinām, par ko Nir runās Å”ogad, bet mēs ceram uz ziņām no zinātnes priekÅ”gala.


SPTDC 2020 - treŔā skola par izplatÄ«tās skaitļoÅ”anas praksi un teorijuMaikls Skots (Maikls Skots) - pētnieks plkst Ročesteras Universitāte, kas visiem Java izstrādātājiem zināms kā radÄ«tājs nebloķējoÅ”i algoritmi un sinhronās rindas no Java standarta bibliotēkas. Protams, ar Dijkstra balvu par attÄ«stÄ«bu sinhronizācijas algoritmi koplietotās atmiņas skaitļoÅ”anai un paÅ”u Vikipēdijas lapa. PagājuÅ”ajā gadā Maikls mÅ«su skolā lasÄ«ja lekciju par nebloķējoŔām datu struktÅ«rām (1. daļa, 2. daļa). Å ogad viņŔ pateiks par programmÄ“Å”anu, izmantojot nepastāvÄ«ga atmiņa (NVM), kas samazina programmas sarežģītÄ«bu un atmiņas izmaksas salÄ«dzinājumā ar ā€œparastoā€ brÄ«vpiekļuves atmiņu (DRAM).


SPTDC 2020 - treŔā skola par izplatÄ«tās skaitļoÅ”anas praksi un teorijuAiziet Keidars (Idits Keidars) - Technion profesors un Ä«paÅ”nieks HirÅ”a indekss apmēram 40 (kas ir ļoti, ļoti ievērojams) par divi simti zinātnisku rakstu izkliedētās skaitļoÅ”anas, daudzpavedienu un kļūdu tolerances jomā. Idit pirmo reizi piedalās mÅ«su skolā, kur viņa lasÄ«s lekciju par sadalÄ«tās datu krātuves darbÄ«bas pamataspektiem: sadalÄ«tās atmiņas emulāciju, vienprātÄ«bas izstrādi un konfigurācijas izmaiņām.


SPTDC 2020 - treŔā skola par izplatÄ«tās skaitļoÅ”anas praksi un teorijuRodrigo Rodrigess (Rodrigo Rodrigues) - TĆ©cnico profesors, laboratorijas loceklis INESC-ID un autors pētnieciskais darbs sadalÄ«to sistēmu jomā. Å ogad mÅ«su skolā Rodrigo pateiks par konsekvenci un izolāciju izplatÄ«tajos datu krātuvēs, kā arÄ« analizēs, izmantojot CAP teorēmas vairāku konsekvences un izolācijas modeļu iespējamÄ«ba praksē.


SPTDC 2020 - treŔā skola par izplatÄ«tās skaitļoÅ”anas praksi un teorijuČeņs Jings (Jing Chen) - profesors Ņujorkas Å”tata universitātē Stony Brook, autors pētnieciskais darbs blokķēdes jomā un vadoÅ”ais zinātnieks Algorands - uzņēmums un blokķēdes platforma, kas izmanto konsensa algoritmu, kas pilnÄ«bā balstÄ«ts uz PierādÄ«jums par likmi. Å ogad mÅ«su skolā Čens runās par Algorand blokķēdi un veidiem, kā sasniegt tās interesantās Ä«paŔības: zemās prasÄ«bas tÄ«kla skaitļoÅ”anas resursiem, neiespējamÄ«bu sadalÄ«t darÄ«jumu vēsturi un garantēt darÄ«jumu apstrādes pabeigÅ”anu pēc tās pievienoÅ”anas blokķēdei.


SPTDC 2020 - treŔā skola par izplatÄ«tās skaitļoÅ”anas praksi un teorijuKristians KaÅ”ins (Christian Cachin) ir Bernes Universitātes profesors, vada pētniecÄ«bas grupu datu aizsardzÄ«bas jomā, lÄ«dzautors grāmatai ā€œIevads uzticamā un droŔā izplatÄ«tajā programmÄ“Å”anā", blokķēdes platformas izstrādātājs Hyperledger audums (bija pat runa par viņu ieraksts vietnē HabrĆ©) un autors pētnieciskais darbs kriptogrāfijas un droŔības jomā izplatÄ«tajās sistēmās. Å ogad mÅ«su skolā Kristiāna lasÄ«s lekciju četru daļu sērija par kriptogrāfijas rÄ«kiem sadalÄ«tai skaitļoÅ”anai: simetrisko un asimetrisko kriptogrāfiju, kā arÄ« koplietojamo atslēgu kriptogrāfija, pseidogadÄ«juma skaitļi un pārbaudāma nejauÅ”o skaitļu Ä£enerÄ“Å”ana.


SPTDC 2020 - treŔā skola par izplatÄ«tās skaitļoÅ”anas praksi un teorijuMarko Vukoļičs (Marko Vukolic) - IBM Research pētnieks, autors no darba blokķēdē un Hyperledger Fabric izstrādātājs. Mēs vēl nezinām, par ko Marko Å”ogad runās mÅ«su skolā, taču ceram, ka uzzināsim par viņa jaunākajiem sasniegumiem blokķēdes jomā: pētÄ«jumiem. veiktspējas pasliktināŔanās izplatÄ«ti konsensa protokoli klasteros lÄ«dz 100 maŔīnām, apraide Mir protokols ar globālo kārtÄ«bu un Bizantijas defektu tolerance vai bezbloku blokķēde StreamChain, samazinot darÄ«jumu apstrādes laiku.


SPTDC 2020 - treŔā skola par izplatÄ«tās skaitļoÅ”anas praksi un teorijuPrasads Džajanti (Prasads Džajanti) ir Dartmutas koledžas profesors, viena no elites grupām Ivy League, un autors pētnieciskais darbs daudzpavedienu algoritmu jomā. Å ogad mÅ«su skolā Prasad lasÄ«s lekciju par pavedienu sinhronizāciju un dažādu opciju ievieÅ”anas algoritmiem mutex: ar pārtraukÅ”anas vai atjaunoÅ”anas funkcijām nemainÄ«gās atmiņas modeļos, kā arÄ« atseviŔķām lasÄ«Å”anas un rakstÄ«Å”anas operācijām.


SPTDC 2020 - treŔā skola par izplatÄ«tās skaitļoÅ”anas praksi un teorijuAleksejs Gotsmans (Aleksejs Gotsmans) - IMDEA profesors un autors pētnieciskais darbs algoritmu programmatÅ«ras verifikācijas jomā. Mēs vēl nezinām, par ko Aleksejs Å”ogad lasÄ«s lekcijas mÅ«su skolā, bet mēs rēķināmies ar tēmu programmatÅ«ras verifikācijas un izkliedēto sistēmu krustpunktā.



Kāpēc Ŕī ir skola, nevis konference?

Pirmkārt, pasniedzēji runā akadēmiskā formātā un katru lielo lekciju lasa divi pāri: "pusotra stunda - pārtraukums - vēl pusotra stunda." Daudzus gadus pēc universitātes, ņemot vērā stundu garas konferenču prezentācijas un 10 minÅ«Å”u YouTube videoklipus, tas var bÅ«t sarežģīti. Labs pasniedzējs visas trÄ«s stundas padarÄ«s interesantas, bet katrs ir atbildÄ«gs par savu smadzeņu plastiskumu.

Noderīgs padoms: praktizējiet skolas lekciju video ierakstus 2017 gadā un 2019 gadā. Ardievu darbs - sveiki Bizantijas ģenerāļi.

Otrkārt, pasniedzēji koncentrējas uz zinātniskiem pētÄ«jumiem un runā par pamatprincipiem izkliedētās sistēmas un paralēlā skaitļoÅ”ana, kā arÄ« jaunumi no jaunākajām zinātnes jomām. Ja jÅ«su mērÄ·is ir ātri ieprogrammēt kaut ko un nākamajā dienā pēc skolas ievietot to ražoÅ”anā, arÄ« tas var bÅ«t sarežģīti.

NoderÄ«gs padoms: meklējiet skolas pasniedzēju pētnieciskos darbus par Google Scholar Šø arXiv.org. Ja jums patÄ«k lasÄ«t zinātniskus rakstus, jums patiks arÄ« skola.

TreÅ”kārt, SPTDC 2020 nav konference, jo tā ir konference par sadalÄ«tajām sistēmām un paralēlo skaitļoÅ”anu. Hidra 2020. Nesen bija ziņa par HabrĆ© ar viņas programmas pārskats. PagājuÅ”ajā gadā SPTDC un Hydra notika vienlaicÄ«gi un vienā un tajā paŔā vietā. Å ogad tie nepārklājas randiņos, tāpēc nekonkurē savā starpā par tavu laiku un uzmanÄ«bu.

Noderīgs padoms: iepazīstieties ar Hydra konferences programmu un apsveriet iespēju apmeklēt citu konferenci pēc skolas. Būs laba nedēļa.

Kā nokļūt skolā?

  • Pieraksti savā kalendārā datumus no 6. gada 9. jÅ«lija lÄ«dz 2020. jÅ«lijam (vai vēl labāk ā€” 11. jÅ«liju, lai pēc skolas varētu doties uz Hidras konferenci).
  • Esiet drosmÄ«gi, gatavojieties.
  • Izvēlieties biļetes un ej uz skolu.

Avots: www.habr.com

Pievieno komentāru