SPTDC 2020 - die derde skool oor die praktyk en teorie van verspreide rekenaars

Teorie is wanneer jy alles weet maar niks werk nie.
Oefening is wanneer alles werk maar niemand weet hoekom nie.
verspreide stelsels, teorie en praktyk word gekombineer:
niks werk nie en niemand weet hoekom nie.

Om te bewys dat die grappie in die epigraaf absolute onsin is, hou ons SPTDC (skool oor praktyk en teorie van verspreide rekenaars) vir die derde keer. Oor die geskiedenis van die skool, sy medestigters Petr Kuznetsov en Vitaly Aksyonov, sowel as die deelname van JUG Ru Group in die SPTDC-organisasie, het ons reeds vertel op Habr. Daarom gaan vandag oor die skool in 2020, oor lesings en dosente, asook oor die verskille tussen die skool en die konferensie.

Die SPTDC-skool word van 6 tot 9 Julie 2020 in Moskou gehou.

Alle lesings sal in Engels wees. Lesingonderwerpe: aanhoudende gelyktydige berekening, kriptografiese gereedskap vir verspreide stelsels, formele metodes om konsensusprotokolle te verifieer, konsekwentheid in grootskaalse stelsels, verspreide masjienleer.

Het jy dadelik geraai watter militêre rang die karakters in die prent is? Ek is mal oor jou.

Dosente en lesings

Nir Shavit (Nir Shavit) is 'n professor by MIT en Tel Aviv Universiteit, mede-outeur van 'n wonderlike boek Die kuns van multiverwerker programmering, Eienaar Dijkstra-pryse vir die ontwikkeling en implementering sagteware transaksionele geheue (STM) en Gödel-prys vir sy werk oor die toepassing van algebraïese topologie op die simulasie van gedeelde geheue rekenaars, medestigter van die maatskappy Neurale magie, wat vinnige masjienleeralgoritmes vir konvensionele SVE's skep, en het natuurlik sy eie Wikipedia-bladsye met pittige en bedompige fotografie. Nir het reeds in 2017 aan ons skool deelgeneem, waar hy 'n volledige oorsig oor blokkeertegnieke gegee het (deel 1, deel 2). Waaroor Nir vanjaar gaan praat, weet ons nog nie, maar ons hoop op nuus van die voorpunt van die wetenskap.


Michael Scott (Michael Scott) is 'n navorser in Universiteit van Rochester, bekend aan alle Java-ontwikkelaars as die skepper van nie-blokkerende algoritmes en sinchrone toue van die Java-standaardbiblioteek. Natuurlik met Dijkstra se Design Award sinchronisasie algoritmes vir gedeelde geheue rekenaar en eie Wikipedia-bladsy. Verlede jaar het Michael 'n lesing by ons skool gegee oor nie-blokkerende datastrukture (deel 1, deel 2). Vanjaar het hy sal vertel oor programmering gebruik nie-vlugtige geheue (NVM), wat programkompleksiteit en geheuebokoste verminder in vergelyking met "gewone" ewekansige-toeganggeheue (DRAM).


Idit Keidar (Idit Keidar) is 'n professor by die Technion en die eienaar van Hirsch-indeks ongeveer 40 (wat baie, baie is) vir tweehonderd wetenskaplike artikels op die gebied van verspreide rekenaars, multithreading en fouttoleransie. Eidit neem vir die eerste keer deel aan ons skool, waar sy 'n lesing gee oor die basiese aspekte van die werk van verspreide datapakhuise: verspreide geheue-emulasie, konsensusontwikkeling en konfigurasieveranderinge.


Rodrigo Rodriguez (Rodrigo Rodrigues) - professor by Técnico, lid van die laboratorium INESC ID en skrywer navorsingswerk op die gebied van verspreide stelsels. Hierdie jaar by ons skool Rodrigo sal vertel oor konsekwentheid en isolasie in verspreide datapakhuise, en sal ook ontleed met behulp van CAP-stellings uitvoerbaarheid in die praktyk van verskeie modelle van konsekwentheid en isolasie.


Chen Ching (Jing Chen) is 'n professor aan die Staatsuniversiteit van New York by Stony Brook, skrywer navorsingswerk op die gebied van blokketting en 'n toonaangewende wetenskaplike in Algorand - 'n maatskappy en 'n blockchain-platform wat 'n konsensusalgoritme gebruik wat geheel en al gebaseer is op Bewys van die saak. Chen sal hierdie jaar by ons skool praat oor die Algorand-blokketting en maniere om sy interessante eienskappe te bereik: veeleisend om rekenaarhulpbronne te netwerk, die onmoontlikheid om die transaksiegeskiedenis te verdeel en die einde van transaksieverwerking te waarborg nadat dit by die blokketting gevoeg is.


Christian Kashin (Christian Cachin) is 'n professor aan die Universiteit van Bern, hoof van 'n navorsingsgroep op die gebied van databeskerming, mede-outeur van die boek "Inleiding tot betroubare en veilige verspreide programmering”, blockchain platform ontwikkelaar Hyperledger Fabric (oor haar selfs was plaas op Habré) en skrywer navorsingswerk op die gebied van kriptografie en sekuriteit in verspreide stelsels. Hierdie jaar in ons skool Christian 'n lesing gee in vier dele oor kriptografiese gereedskap vir verspreide rekenaars: simmetriese en asimmetriese kriptografie, en ook oor gedeelde sleutel kriptografie, pseudorandom getalle en verifieerbare ewekansige getalgenerering.


Marko Vukolich (Marko Vukolic) is 'n navorser by IBM Research, skrywer werke in blockchain en ontwikkelaar van Hyperledger Fabric. Ons weet nog nie waaroor Marco hierdie jaar by ons skool gaan praat nie, maar ons hoop om meer te wete te kom oor sy jongste ontwikkelings op die gebied van blokketting: navorsing prestasie agteruitgang versprei konsensusprotokolle op groepe van tot 100 masjiene, uitgesaai Mir protokol met globale orde en Bisantynse foutverdraagsaamheid of bloklose blokketting StreamChaintransaksieverwerkingstyd te verminder.


Prasad Jayanti (Prasad Jayanti) is 'n professor by Dartmouth College, deel van die elite klimop liga, en die skrywer navorsingswerk op die gebied van multithreaded algoritmes. Hierdie jaar in ons skool Prasad 'n lesing gee oor draadsinchronisasie en algoritmes vir die implementering van verskeie opsies mutex: met onderbrekings- of herstelfunksies in nie-vlugtige geheuemodelle, en met aparte lees- en skryfbewerkings.


Alexey Gotsman (Alexey Gotsman) is 'n professor by IMDEA en 'n skrywer navorsingswerk op die gebied van programverifikasie van algoritmes. Ons weet nog nie wat Alexey vanjaar by ons skool gaan doseer nie, maar ons sien uit na 'n onderwerp op die kruising van sagtewareverifikasie en verspreide stelsels.

Hoekom is dit 'n skool en nie 'n konferensie nie?

Eerstens praat die dosente in 'n akademiese formaat en lees twee pare van elke groot lesing: "'n uur en 'n half - 'n pouse - nog 'n uur en 'n half." Baie jare uit die universiteit, met 'n gewoonte van uurlange konferensiepraatjies en 10 minute YouTube-video's, kan dit moeilik wees. ’n Goeie dosent sal al drie ure interessant maak, maar elkeen is verantwoordelik vir die plastisiteit van hul eie brein.

Nuttige wenk: Oefen op video-opnames van skoollesings in 2017 jaar en 2019 jaar. Totsiens, werk - hallo, Bisantynse generaals.

Tweedens fokus die dosente op wetenskaplike navorsing en praat oor die grondbeginsels verspreide stelsels en parallelle rekenaars, sowel as nuus van die voorpunt van wetenskap. As jou doel is om iets vinnig te kodeer en dit die volgende dag ná skool in produksie te ontplooi, kan dit ook moeilik wees.

Nuttige wenk: Soek die navorsingsvraestelle van die skool se dosente by Google Scholar и arXiv.org. As jy daarvan hou om wetenskaplike referate te lees, sal jy die skool ook geniet.

Derdens is die SPTDC 2020-skool nie 'n konferensie nie, want die konferensie oor verspreide stelsels en parallelle rekenaars is Hidra 2020. Onlangs op Habré was daar 'n post met hersiening van sy program. Verlede jaar het SPTDC en Hydra gelyktydig en op dieselfde terrein plaasgevind. Hierdie jaar oorvleuel hulle nie in datums nie, so hulle kompeteer nie met mekaar vir jou tyd en aandag nie.

Nuttige wenk: Kyk na die Hydra-konferensieprogram en oorweeg dit om ook die konferensie na skool by te woon. Hierdie gaan 'n goeie week wees.

Hoe om by die skool te kom?

• Skryf die datums van 6 Julie tot 9 Julie 2020 in die kalender neer (of beter, teen 11 Julie om na die Hydra-konferensie na skool te gaan).
• Hou moed, maak gereed.
• Kies kaartjies en skool toe gaan.

Bron: will.com