Kenning er þegar þú veist allt en ekkert virkar.
Æfingin er þegar allt virkar en enginn veit hvers vegna.
dreifð kerfi, kenning og framkvæmd eru sameinuð:
ekkert virkar og enginn veit hvers vegna.
Til að sanna að brandarinn í grafíkinni sé algjört bull þá höldum við SPTDC (skóla um framkvæmd og kenningu um dreifða tölvu) í þriðja sinn. Um sögu skólans, meðstofnendur hans Petr Kuznetsov og Vitaly Aksyonov, sem og þátttöku JUG Ru Group í SPTDC samtökunum, höfum við þegar sagt á Habr. Því snýst dagurinn í dag um skólann árið 2020, um fyrirlestra og fyrirlesara, sem og um muninn á skólanum og ráðstefnunni.
SPTDC skólinn verður haldinn frá 6. til 9. júlí 2020 í Moskvu.
Allir fyrirlestrar verða á ensku. Viðfangsefni fyrirlestra: viðvarandi samtímatölvun, dulritunarverkfæri fyrir dreifð kerfi, formlegar aðferðir til að sannreyna samstöðureglur, samræmi í stórum kerfum, dreifð vélanám.
Gafstu strax í hvaða hernaðarstöðu persónurnar í myndinni eru? Ég dái þig.
Fyrirlesarar og fyrirlestrar
Nir Shavit (Nir Shavit) er prófessor við MIT og Tel Aviv háskólann, meðhöfundur að frábærri bók Listin að fjölgjörva forritun, eigandi Dijkstra verðlaunin fyrir þróun og framkvæmd viðskiptaminni hugbúnaðar (STM) og Gödel verðlaunin fyrir vinnu sína við beitingu algebrufræðilegrar staðfræði við eftirlíkingu á samnýtt minni tölvu, meðstofnandi fyrirtækisins Taugatöfrar, sem býr til hraðvirkar vélanámsreiknirit fyrir hefðbundna örgjörva, og hefur auðvitað sína eigin Wikipedia síður með flottri og dúndrandi ljósmyndun. Nir tók þegar þátt í skólanum okkar árið 2017, þar sem hann fór yfir tæmandi úttekt á blokkunartækni (Part 1, Part 2). Hvað Nir mun fjalla um í ár vitum við ekki enn, en vonumst eftir fréttum af fremstu röð vísinda.
Michael Scott (Michael Scott) er rannsakandi í Háskólinn í Rochester, þekktur af öllum Java forriturum sem skapari ólokandi reiknirit og samstilltar biðraðir frá Java staðlaða bókasafninu. Auðvitað með hönnunarverðlaun Dijkstra samstillingar reiknirit fyrir samnýtt minni tölvuvinnslu og eiga Wikipedia síða. Á síðasta ári hélt Michael fyrirlestur í skólanum okkar um ólokandi gagnaskipulag (Part 1, Part 2). Í ár er hann mun segja um forritun með því að nota óstöðugt minni (NVM), sem dregur úr flækjustigi forrita og minniskostnaði samanborið við „venjulegt“ handahófsaðgangsminni (DRAM).
Idit Keiðar (Idit Keidar) er prófessor við Technion og eigandi Hirsch vísitölu um 40 (sem er mjög, mjög mikið) fyrir tvö hundruð vísindagreinar á sviði dreifðrar tölvunar, fjölþráða og bilanaþols. Eidit tekur þátt í skólanum okkar í fyrsta skipti þar sem hún halda fyrirlestur um grunnþætti í starfi dreifðra gagnavöruhúsa: dreifð minnishermi, samstöðuþróun og stillingarbreytingar.
Rodrigo Rodriguez (Rodrigo Rodrigues) - prófessor við Técnico, meðlimur rannsóknarstofunnar INESC auðkenni og höfundur rannsóknarvinnu á sviði dreifkerfa. Í ár í skólanum okkar Rodrigo mun segja um samræmi og einangrun í dreifðum vöruhúsum gagna, og mun einnig greina með því að nota CAP setningar hagkvæmni í reynd nokkurra líkana um samræmi og einangrun.
Chen Ching (Jing Chen) er prófessor við State University of New York í Stony Brook, rithöfundur rannsóknarvinnu á sviði blockchain og leiðandi vísindamaður í Algorand - fyrirtæki og blockchain vettvangur sem notar samstöðu reiknirit sem byggist algjörlega á Sönnun á hlutverki. Á þessu ári í skólanum okkar mun Chen tala um Algorand blockchain og leiðir til að ná fram áhugaverðum eiginleikum þess: krefjandi fyrir netkerfi tölvuauðlinda, ómöguleikann á að skipta viðskiptasögunni og tryggja að vinnslu færslunnar sé lokið eftir að henni er bætt við blockchain.
Christian Kashin (Christian Cachin) er prófessor við háskólann í Bern, yfirmaður rannsóknarhóps á sviði gagnaverndar, meðhöfundur bókarinnar "Kynning á áreiðanlegri og öruggri dreifðri forritun“, verktaki blockchain vettvangs Hyperledger Fabric (um hana jafnvel var færsla á Habré) og höfundur rannsóknarvinnu á sviði dulritunar og öryggis í dreifðum kerfum. Í ár í skólanum okkar Christian halda fyrirlestur í fjórum hlutum um dulritunarverkfæri fyrir dreifða tölvuvinnslu: samhverfa og ósamhverfa dulritun, og einnig um dulmál með sameiginlegum lyklum, gervi-slembitölur og sannanlega slembitölugerð.
Marko Vukolich (Marko Vukolic) er rannsakandi hjá IBM Research, rithöfundur af vinnu í blockchain og þróunaraðili Hyperledger Fabric. Við vitum ekki enn hvað Marco mun tala um í skólanum okkar á þessu ári, en við vonumst til að læra um nýjustu þróun hans á sviði blockchain: rannsóknir skert frammistöðu dreift samstöðureglum um þyrpingar með allt að 100 vélum, útvarpað Mir siðareglur með alheimsreglu og Býzantískt bilanaþol eða blokkalaus blockchain StreamChainlágmarka vinnslutíma viðskipta.
Prasad Jayanti (Prasad Jayanti) er prófessor við Dartmouth College, hluti af elítunni Ivy deildin, og höfundur rannsóknarvinnu á sviði margþráðra reiknirita. Í ár í skólanum okkar Prasad halda fyrirlestur um samstillingu þráða og reiknirit til að útfæra ýmsa valkosti mutex: með truflunar- eða endurheimtaraðgerðum í óstöðugum minnislíkönum og með aðskildum lestrar- og skrifaðgerðum.
Alexey Gotsman (Alexey Gotsman) er prófessor við IMDEA og rithöfundur rannsóknarvinnu á sviði sannprófunar forrita á reikniritum. Við vitum ekki enn hvað Alexey mun fyrirlesa í skólanum okkar á þessu ári, en við hlökkum til efnis á mótum hugbúnaðarsannprófunar og dreifðra kerfa.
Af hverju er þetta skóli en ekki ráðstefna?
Í fyrsta lagi tala fyrirlesararnir á fræðilegu formi og lesa tvö pör af hverjum stórum fyrirlestri: "einn og hálfur klukkutími - hlé - annar og hálfur klukkutími." Mörg ár frá háskóla, með klukkutíma löngum ráðstefnuræðum og 10 mínútna YouTube myndböndum, getur þetta verið erfiður. Góður fyrirlesari mun gera alla þrjá tímana áhugaverða, en hver og einn ber ábyrgð á plastleika eigin heila.
Gagnleg ábending: Æfðu þig á myndbandsupptökum af fyrirlestrum skóla í 2017 ári og 2019 ári. Bless, vinna - halló, býsanskir hershöfðingjar.
Í öðru lagi leggja fyrirlesarar áherslu á vísindarannsóknir og ræða um grundvallaratriðin dreifð kerfi og samhliða tölvuvinnslu, auk frétta úr fremstu röð vísinda. Ef markmið þitt er að kóða eitthvað fljótt og setja það í framleiðslu daginn eftir eftir skóla í mikilli eftirför, getur þetta líka verið erfitt.
Gagnleg ábending: Leitaðu að rannsóknarritgerðum fyrirlesara skólans á Google Scholar и arXiv.org. Ef þér finnst gaman að lesa vísindagreinar muntu líka njóta skólans.
Í þriðja lagi er SPTDC 2020 skólinn ekki ráðstefna, vegna þess að ráðstefnan um dreifð kerfi og samhliða tölvuvinnslu er Hydra2020. Nýlega á Habré var færsla með endurskoðun á dagskrá þess. Á síðasta ári fóru SPTDC og Hydra fram samtímis og á sama stað. Í ár skarast þær ekki í dagsetningum, svo þær keppa ekki hver við annan um tíma þinn og athygli.
Gagnleg ráð: Skoðaðu Hydra ráðstefnudagskrána og íhugaðu að mæta líka á ráðstefnuna eftir skóla. Þetta verður góð vika.
Hvernig á að komast í skólann?
- Skrifaðu dagsetningar frá 6. júlí til 9. júlí 2020 í dagatalið (eða betra, fyrir 11. júlí til að fara á Hydra ráðstefnuna eftir skóla).
- Vertu tilbúinn.
- Veldu miða og fara í skólann.
Heimild: www.habr.com