Teoria on sitä, kun tiedät kaiken, mutta mikään ei toimi.
Käytäntö on sitä, kun kaikki toimii, mutta kukaan ei tiedä miksi.
hajautetut järjestelmät, teoria ja käytäntö yhdistetään:
mikään ei toimi eikä kukaan tiedä miksi.
Todistamme, että epigrafin vitsi on ehdoton hölynpöly, järjestämme SPTDC:n (hajautetun laskennan käytännön ja teorian koulu) kolmatta kertaa. Olemme jo kertoneet koulun historiasta, sen perustajista Petr Kuznetsovista ja Vitaly Aksjonovista sekä JUG Ru Groupin osallistumisesta SPTDC-organisaatioon. kertoi osoitteessa Habr. Siksi tänään on kyse koulusta vuonna 2020, luennoista ja luennoitsijoista sekä koulun ja konferenssin eroista.
SPTDC-koulu pidetään 6.-9 Moskovassa.
Kaikki luennot ovat englanniksi. Luentoaiheet: jatkuva rinnakkainen laskenta, kryptografiset työkalut hajautetuille järjestelmille, muodolliset menetelmät konsensusprotokollien todentamiseen, yhtenäisyys suurissa järjestelmissä, hajautettu koneoppiminen.
Arvasitko heti, minkä sotilasarvon kuvan hahmot ovat? Palvon sinua.
Luennoitsijat ja luennot
Nir Shavit (Nir Shavit) on MIT:n ja Tel Avivin yliopiston professori, upean kirjan toinen kirjoittaja Moniprosessoriohjelmoinnin taito, omistaja Dijkstra-palkinnot kehittämistä ja toteutusta varten ohjelmistotapahtumamuisti (STM) ja Gödel-palkinto hänen työstään algebrallisen topologian soveltamisessa jaetun muistin laskennan simulointiin, yksi yrityksen perustajista Neuraalinen taika, joka luo nopeita koneoppimisalgoritmeja perinteisille prosessoreille, ja sillä on tietysti omat Wikipedian sivut reippaalla ja kiihkeällä valokuvauksella. Nir osallistui koulullemme jo vuonna 2017, jossa hän teki kattavan katsauksen estotekniikoista (osa 1, osa 2). Emme vielä tiedä, mistä Nir puhuu tänä vuonna, mutta toivomme uutisia tieteen kärjestä.
Michael Scott (Michael Scott) on tutkija Rochesterin yliopisto, jonka kaikki Java-kehittäjät tuntevat luojana estävät algoritmit ja synkroniset jonot Java-standardikirjastosta. Tietysti Dijkstran muotoilupalkinnolla synkronointialgoritmit jaetun muistin laskemiseen ja oma Wikipedian sivu. Michael piti viime vuonna luennon koulussamme ei-blokevista tietorakenteista (osa 1, osa 2). Tänä vuonna hän kertoo ohjelmoinnin käytöstä pitkäkestoinen muisti (NVM), joka vähentää ohjelman monimutkaisuutta ja muistin lisäkustannuksia verrattuna "tavalliseen" hajasaantimuistiin (DRAM).
Idit Keidar (Idit Keidar) - Technionin professori ja omistaja Hirsch-indeksi noin 40 (mikä on erittäin, erittäin paljon) varten kaksisataa tieteellistä artikkelia hajautetun laskennan, monisäikeen ja vikasietoisuuden alalla. Eidit osallistuu ensimmäistä kertaa koulullemme, jossa hän pitää luento hajautettujen tietovarastojen työn perusnäkökohdista: hajautetun muistin emulointi, konsensuskehitys ja konfiguraatiomuutokset.
Rodrigo Rodriguez (Rodrigo Rodrigues) - Técnicon professori, laboratorion jäsen INESC-tunnus ja kirjoittaja tutkimustyö hajautettujen järjestelmien alalla. Tänä vuonna koulussamme Rodrigo kertoo hajautettujen tietovarastojen johdonmukaisuudesta ja eristyneisyydestä, ja analysoi myös käyttämällä CAP-lauseet useiden johdonmukaisuus- ja eristysmallien toteutettavuus käytännössä.
Chen Ching (Jing Chen) on professori New Yorkin osavaltion yliopistossa Stony Brookissa, kirjailija tutkimustyö lohkoketjun alalla ja johtava tutkija Algorand — yritys ja lohkoketjualusta, joka käyttää täysin konsensusalgoritmia Todiste panoksesta. Tänä vuonna koulussamme Chen puhuu Algorand-lohkoketjusta ja tavoista saavuttaa sen mielenkiintoiset ominaisuudet: verkkolaskentaresurssien vaatimattomuus, tapahtumahistorian jakamisen mahdottomuus ja tapahtuman käsittelyn päättymisen takaaminen sen jälkeen, kun se on lisätty lohkoketjuun.
Christian Kashin (Christian Cachin) on Bernin yliopiston professori, tietosuoja-alan tutkimusryhmän johtaja, kirjan toinen kirjoittaja "Johdatus luotettavaan ja suojattuun hajautettuun ohjelmointiin”, blockchain-alustan kehittäjä Hyperledger-kangas (hänestä jopa oli postaus Habressa) ja kirjoittaja tutkimustyö hajautettujen järjestelmien salauksen ja turvallisuuden alalla. Tänä vuonna koulussamme Christian pitää luento neljässä osassa hajautetun laskennan salaustyökaluista: symmetrinen ja epäsymmetrinen salakirjoitus sekä myös jaetun avaimen salaus, pseudosatunnaislukuja ja todennettavissa oleva satunnaislukugenerointi.
Marko Vukolich (Marko Vukolic) on IBM Researchin tutkija, kirjailija työstä lohkoketjussa ja Hyperledger Fabricin kehittäjä. Emme vielä tiedä, mistä Marco puhuu koulussamme tänä vuonna, mutta toivomme saavamme tietää hänen viimeisimmästä kehityksestään blockchainin alalla: tutkimus suorituskyvyn heikkeneminen hajautetut konsensusprotokollat jopa 100 koneen klustereissa, lähetys Mir-protokolla globaalilla järjestyksellä ja Bysantin vikasietoisuus tai lohkoton lohkoketju StreamChainminimoida tapahtuman käsittelyaika.
Prasad Jayanti (Prasad Jayanti) on professori Dartmouth Collegessa, osa eliittiä muratti liiga, ja kirjoittaja tutkimustyö monisäikeisten algoritmien alalla. Tänä vuonna koulussamme Prasad pitää luento säikeiden synkronoinnista ja eri vaihtoehtojen toteuttamisalgoritmeista mutex: keskeytys- tai palautustoiminnoilla haihtumattomissa muistimalleissa ja erillisillä luku- ja kirjoitustoiminnoilla.
Aleksei Gotsman (Alexey Gotsman) on IMDEA:n professori ja kirjailija tutkimustyö algoritmien ohjelmatarkistuksen alalla. Emme vielä tiedä, mitä Aleksei luennoi koulussamme tänä vuonna, mutta odotamme innolla aihetta ohjelmistovarmennuksen ja hajautettujen järjestelmien risteyksessä.
Miksi tämä on koulu eikä konferenssi?
Ensinnäkin luennoitsijat puhuvat akateemisessa muodossa ja lukevat kaksi paria jokaisesta suuresta luennosta: "puolitoista tuntia - tauko - vielä puolitoista tuntia." Useita vuosia yliopiston jälkeen, kun on tapana pitää tunnin mittaisia konferenssipuheita ja 10 minuutin YouTube-videoita, tämä voi olla hankalaa. Hyvä luennoitsija tekee kaikista kolmesta tunnista mielenkiintoisia, mutta jokainen on vastuussa omien aivojensa plastisuudesta.
Hyödyllinen vinkki: Harjoittele videotallenteita koulun luennoista 2017 vuosi ja 2019 vuosi. Hyvästi, työ - hei, Bysantin kenraalit.
Toiseksi luennoitsijat keskittyvät tieteelliseen tutkimukseen ja puhuvat perusteista hajautettuja järjestelmiä ja rinnakkaislaskentaa sekä uutisia tieteen kärjestä. Jos tavoitteesi on koodata jotain nopeasti ja ottaa se tuotantoon seuraavana päivänä koulun jälkeen, tämä voi myös olla vaikeaa.
Hyödyllinen vinkki: Etsi koulun luennoitsijoiden tutkimuspapereita osoitteesta Google Scholar и arXiv.org. Jos pidät tieteellisten julkaisujen lukemisesta, pidät myös koulusta.
Kolmanneksi SPTDC 2020 -koulu ei ole konferenssi, koska hajautettujen järjestelmien ja rinnakkaislaskennan konferenssi on Hydra 2020. Äskettäin Habressa oli postaus ohjelmansa tarkastelu. Viime vuonna SPTDC ja Hydra järjestettiin samanaikaisesti ja samassa paikassa. Tänä vuonna ne eivät mene päällekkäin päivämäärissä, joten ne eivät kilpaile keskenään ajasta ja huomiosta.
Hyödyllinen vinkki: Tutustu Hydra-konferenssiohjelmaan ja harkitse konferenssiin osallistumista myös koulun jälkeen. Tästä tulee hyvä viikko.
Miten päästä kouluun?
- Kirjoita kalenteriin päivämäärät 6.–9 (tai paremmin 2020. heinäkuuta mennessä, jotta pääset Hydra-konferenssiin koulun jälkeen).
- Ole rohkea, valmistaudu.
- Valitse liput ja mennä kouluun.
Lähde: will.com