Teorija yra tada, kai žinai viską, bet niekas neveikia.
Praktika yra tada, kai viskas veikia, bet niekas nežino kodėl.
Paskirstytose sistemose teorija ir praktika derinamos:
niekas neveikia ir niekas nežino kodėl.
Siekdami įrodyti, kad pokštas epigrafe yra absoliuti kvailystė, trečią kartą rengiame SPTDC (mokyklą apie praktiką ir paskirstytojo skaičiavimo teoriją). Jau aptarėme mokyklos istoriją, jos įkūrėjus Piotrą Kuznecovą ir Vitalijų Aksjonovą, taip pat JUG Ru Group dalyvavimą organizuojant SPTDC. pasakojo ant Habré. Todėl šiandien kalbame apie mokyklą 2020 metais, apie paskaitas ir lektorius, taip pat apie mokyklos ir konferencijos skirtumus.
SPTDC mokykla vyks 6 m. liepos 9 – liepos 2020 dienomis Maskvoje.
Visos paskaitos vyks anglų kalba. Pagrindinės paskaitų temos: nuolatinis lygiagretusis skaičiavimas, kriptografiniai įrankiai paskirstytoms sistemoms, formalūs konsensuso protokolų tikrinimo metodai, nuoseklumas didelės apimties sistemose, paskirstytasis mašininis mokymasis.
Ar iš karto atspėjote, kokio karinio rango yra paveikslo veikėjai? Aš tave dievinu.
Lektoriai ir paskaitos
Nir Shavit (Nir Shavit) – MIT ir Tel Avivo universiteto profesorius, puikios knygos bendraautoris Daugiaprocesorinio programavimo menas, savininkas Dijkstra premija kūrimui ir įgyvendinimui programinės įrangos operacijų atmintis (STM) ir Gödelio premija už darbą taikant algebrinę topologiją bendros atminties skaičiavimui modeliuoti, vienas iš įmonės įkūrėjų Neuroninė magija, kuri sukuria greitus mašininio mokymosi algoritmus paprastiems procesoriams ir, žinoma, turi savo Vikipedijos puslapiai su veržlia ir tvankia nuotrauka. Nir jau dalyvavo mūsų mokykloje 2017 m., kur išsamiai apžvelgė blokavimo būdus (Dalis 1, Dalis 2). Dar nežinome, apie ką Niras kalbės šiais metais, bet tikimės naujienų iš mokslo priešakyje.
Maiklas Skotas (Michael Scott) – tyrėjas Ročesterio universitetas, visiems Java kūrėjams žinomas kaip kūrėjas neblokuojančius algoritmus ir sinchronines eiles iš Java standartinės bibliotekos. Žinoma, su Dijkstra premija už vystymąsi bendrosios atminties skaičiavimo sinchronizavimo algoritmai ir savo Vikipedijos puslapis. Praėjusiais metais Michaelas mūsų mokykloje skaitė paskaitą apie neblokuojančias duomenų struktūras (Dalis 1, Dalis 2). Šiemet jis pasakys apie programavimą naudojant nepastovioji atmintis (NVM), kuris sumažina programos sudėtingumą ir atminties sąnaudas, palyginti su „įprasta“ laisvosios kreipties atmintimi (DRAM).
Eina Keidaras (Idit Keidar) - Techniono profesorius ir savininkas Hirscho indeksas apie 40 (tai yra labai, labai daug) už du šimtai mokslinių straipsnių paskirstytojo skaičiavimo, kelių gijų ir atsparumo gedimams srityje. Idit pirmą kartą dalyvauja mūsų mokykloje, kur ji skaitys paskaitą apie pagrindinius paskirstytos duomenų saugyklos veikimo aspektus: paskirstytos atminties emuliaciją, konsensuso kūrimą ir konfigūracijos pakeitimus.
Rodrigo Rodriguezas (Rodrigo Rodrigues) – Técnico profesorius, laboratorijos narys INESC-ID ir autorius tiriamasis darbas paskirstytų sistemų srityje. Šiais metais mūsų mokykloje Rodrigo pasakys apie nuoseklumą ir izoliaciją paskirstytose duomenų saugyklose, taip pat analizuos naudodami BŽŪP teoremos kelių nuoseklumo ir izoliacijos modelių įgyvendinamumas praktiškai.
Chen Jing (Jing Chen) – Niujorko valstijos universiteto Stony Brook profesorius, autorius tiriamasis darbas blokų grandinės srityje ir pirmaujantis mokslininkas Algorandas - įmonė ir blokų grandinės platforma, kuri naudoja konsensuso algoritmą, pagrįstą visiškai Įrodymas apie akcijų. Šiais metais mūsų mokykloje Chen kalbės apie Algorand blokų grandinę ir būdus, kaip pasiekti įdomių jos savybių: mažus poreikius tinklo skaičiavimo resursams, negalėjimą suskaidyti transakcijų istorijos ir garantuoti, kad transakcijų apdorojimas bus baigtas jį įtraukus į blokų grandinę.
Kristianas Kašinas (Christian Cachin) yra Berno universiteto profesorius, vadovaujantis tyrimų grupei duomenų apsaugos srityje, knygos „“ bendraautoris.Įvadas į patikimą ir saugų paskirstytą programavimą“, „blockchain“ platformos kūrėjas „Hyperledger“ audinys (apie ją net buvo kalbama įrašas apie Habré) ir autorius tiriamasis darbas kriptografijos ir paskirstytų sistemų saugumo srityje. Šiais metais mūsų mokykloje Christian skaitys paskaitą keturių dalių serija apie paskirstytojo skaičiavimo kriptografines priemones: simetrinę ir asimetrinę kriptografiją, taip pat bendrinamo rakto kriptografija, pseudoatsitiktiniai skaičiai ir patikrinamas atsitiktinių skaičių generavimas.
Marko Vukoličius (Marko Vukolic) – IBM tyrimų mokslininkas, autorius darbų blokų grandinėje ir Hyperledger Fabric kūrėjas. Dar nežinome, apie ką Marco šiais metais kalbės mūsų mokykloje, bet tikimės, kad sužinosime apie jo naujausius pasiekimus blockchain srityje: tyrimus. veikimo pablogėjimas išplatino konsensuso protokolus iki 100 mašinų grupių, transliuoja Mir protokolas su pasauline tvarka ir Bizantijos gedimų tolerancija arba blokų grandinė StreamChain, sumažinant operacijos apdorojimo laiką.
Prasadas Jayanti (Prasad Jayanti) yra Dartmuto koledžo profesorius, vienas iš elito Ivy lyga, ir autorius tiriamasis darbas kelių gijų algoritmų srityje. Šiais metais mūsų mokykloje Prasad skaitys paskaitą apie gijų sinchronizavimą ir įvairių variantų įgyvendinimo algoritmus mutex: Su nepastovios atminties modelių pertraukimo arba atkūrimo funkcijomis, taip pat atskiromis skaitymo ir rašymo operacijomis.
Aleksejus Gotsmanas (Aleksėjus Gotsmanas) - IMDEA profesorius ir autorius tiriamasis darbas programinės įrangos algoritmų tikrinimo srityje. Dar nežinome, apie ką Aleksejus šiais metais skaitys paskaitas mūsų mokykloje, bet tikimės temos programinės įrangos patikros ir paskirstytų sistemų sankirtoje.
Kodėl tai mokykla, o ne konferencija?
Pirma, dėstytojai kalba akademiniu formatu ir kiekvieną didelę paskaitą skaito dvi poros: "pusantros valandos - pertrauka - dar pusantros valandos." Praėjus daugeliui metų po universiteto, įpratus valandų trukmės konferencijų pranešimus ir 10 minučių trukmės „YouTube“ vaizdo įrašus, tai gali būti sunku. Geras dėstytojas visas tris valandas padarys įdomias, bet kiekvienas atsakingas už savo smegenų plastiškumą.
Naudingas patarimas: praktikuokite mokyklos paskaitų vaizdo įrašus 2017 metų ir 2019 metų. Atsisveikink su darbu – sveiki Bizantijos generolai.
Antra, dėstytojai orientuojasi į mokslinius tyrimus ir kalba apie esminius principus paskirstytos sistemos ir lygiagretusis skaičiavimas, taip pat naujienos iš mokslo pažangos. Jei jūsų tikslas yra greitai ką nors suprogramuoti ir kitą dieną po pamokų įdiegti į gamybą, tai taip pat gali būti sunku.
Naudingas patarimas: ieškokite mokyklų dėstytojų mokslinių darbų apie "Google Scholar" и arXiv.org. Jei jums patinka skaityti mokslinius straipsnius, jums patiks ir mokykla.
Trečia, SPTDC 2020 nėra konferencija, nes konferencija apie paskirstytas sistemas ir lygiagretųjį skaičiavimą yra „Hydra 2020“. Neseniai Habré buvo įrašas su jos programos apžvalga. Praėjusiais metais SPTDC ir Hydra vyko vienu metu ir toje pačioje vietoje. Šiemet jie nepersidengia pasimatymais, todėl nekonkuruoja tarpusavyje dėl jūsų laiko ir dėmesio.
Naudingas patarimas: peržiūrėkite „Hydra“ konferencijos programą ir apsvarstykite galimybę po pamokų dalyvauti kitoje konferencijoje. Tai bus gera savaitė.
Kaip patekti į mokyklą?
- Į savo kalendorių užsirašykite datas nuo 6 m. liepos 9 d. iki liepos 2020 d. (o dar geriau – liepos 11 d., kad po pamokų galėtumėte eiti į „Hydra“ konferenciją).
- Pasinerkite, ruoškitės.
- Pasirinkite bilietus ir eiti į mokyklą.
Šaltinis: www.habr.com