Theorie is dat je alles weet, maar niets werkt.
De praktijk is dat alles werkt, maar niemand weet waarom.
In gedistribueerde systemen is theorie en praktijk worden gecombineerd:
niets werkt en niemand weet waarom.
Om te bewijzen dat de grap in het motto absolute domheid is, houden we voor de derde keer SPTDC (school voor praktijk en theorie van gedistribueerd computergebruik). We hebben de geschiedenis van de school, de medeoprichters Pyotr Kuznetsov en Vitaly Aksyonov, en de deelname van JUG Ru Group aan de organisatie van SPTDC al besproken vertelde op Habré. Daarom hebben we het vandaag over de school in 2020, over lezingen en docenten, maar ook over de verschillen tussen de school en de conferentie.
De SPTDC-school wordt gehouden van 6 juli tot 9 juli 2020 in Moskou.
Alle lezingen zullen in het Engels zijn. De belangrijkste onderwerpen van de lezingen: persistent concurrent computing, cryptografische hulpmiddelen voor gedistribueerde systemen, formele methoden voor het verifiëren van consensusprotocollen, consistentie in grootschalige systemen, gedistribueerde machine learning.
Heb je meteen geraden welke militaire rang de personages op de foto hebben? Ik aanbid je.
Docenten en lezingen
Nir Shavit (Nir Shavit) - professor aan MIT en de Universiteit van Tel Aviv, co-auteur van een geweldig boek De kunst van het programmeren met meerdere processors, eigenaar Dijkstra-prijzen voor ontwikkeling en implementatie softwarematig transactioneel geheugen (STM) en Gödel-prijs voor zijn werk over de toepassing van algebraïsche topologie op de modellering van gedeelde geheugencomputers, medeoprichter van het bedrijf Neurale magie, dat snelle machine learning-algoritmen voor gewone CPU's creëert, en uiteraard zijn eigen algoritmen heeft Wikipedia-pagina's met een onstuimige en zwoele foto. Nir deed in 2017 al mee op onze school, waar hij een uitgebreid overzicht gaf van blokkeertechnieken (Deel 1, Deel 2). We weten nog niet waar Nir dit jaar over zal praten, maar we hopen op nieuws uit de voorhoede van de wetenschap.
Michaël Scott (Michael Scott) - onderzoeker bij Universiteit van Rochester, bij alle Java-ontwikkelaars bekend als de maker van niet-blokkerende algoritmen en synchrone wachtrijen uit de Java Standard-bibliotheek. Uiteraard met de Dijkstraprijs voor ontwikkeling synchronisatie-algoritmen voor gedeeld geheugencomputergebruik en eigen Wikipedia-pagina. Vorig jaar gaf Michael een lezing op onze school over niet-blokkerende datastructuren (Deel 1, Deel 2). Dit jaar hij zal het vertellen over programmeren met behulp van niet-vluchtig geheugen (NVM), wat de programmacomplexiteit en geheugenoverhead vermindert in vergelijking met "gewoon" Random Access Memory (DRAM).
Gaat Keidar (Idit Keidar) - professor aan het Technion en eigenaar Hirsch-index ongeveer 40 (wat heel, heel aanzienlijk is) voor tweehonderd wetenschappelijke artikelen op het gebied van gedistribueerd computergebruik, multithreading en fouttolerantie. Idit doet voor het eerst mee op onze school, waar ze zal een lezing geven over de basisaspecten van de werking van gedistribueerde dataopslag: gedistribueerde geheugenemulatie, consensusontwikkeling en configuratiewijzigingen.
Rodrigo Rodriguez (Rodrigo Rodrigues) - professor bij Técnico, lid van het laboratorium INESC-ID en auteur onderzoekswerk op het gebied van gedistribueerde systemen. Dit jaar op onze school Rodrigo zal het vertellen over consistentie en isolatie in gedistribueerde datastores, en zal ook het gebruik ervan analyseren CAP-stellingen haalbaarheid in de praktijk van verschillende modellen van consistentie en isolatie.
Chen Jing (Jing Chen) - Professor aan de State University van New York in Stony Brook, auteur onderzoekswerk op het gebied van blockchain en een vooraanstaand wetenschapper op het gebied van blockchain Algorand - een bedrijf en blockchain-platform dat een consensusalgoritme gebruikt dat volledig is gebaseerd op Bewijs van inzet. Dit jaar zal Chen op onze school praten over de Algorand-blockchain en manieren om de interessante eigenschappen ervan te bereiken: lage eisen aan netwerkcomputerbronnen, de onmogelijkheid om de transactiegeschiedenis te splitsen en de voltooiing van transactieverwerking te garanderen nadat deze aan de blockchain is toegevoegd.
Christian Cashin (Christian Cachin) is professor aan de Universiteit van Bern en leidt een onderzoeksgroep op het gebied van gegevensbescherming, en co-auteur van het boek “Inleiding tot betrouwbaar en veilig gedistribueerd programmeren", blockchain-platformontwikkelaar Hyperledger Fabric (er werd zelfs over haar gesproken post op Habré) en auteur onderzoekswerk op het gebied van cryptografie en beveiliging in gedistribueerde systemen. Dit jaar op onze christelijke school zal een lezing geven een vierdelige serie over cryptografische hulpmiddelen voor gedistribueerd computergebruik: symmetrische en asymmetrische cryptografie, evenals gedeelde sleutelcryptografie, pseudowillekeurige getallen en verifieerbare generatie van willekeurige getallen.
Marko Vukolić (Marko Vukolic) - onderzoeker bij IBM Research, auteur van werk in blockchain en ontwikkelaar van Hyperledger Fabric. We weten nog niet waar Marco dit jaar op onze school over zal praten, maar we hopen dat we kennis zullen maken met zijn nieuwste ontwikkelingen op het gebied van blockchain: onderzoek prestatievermindering gedistribueerde consensusprotocollen op clusters van maximaal 100 machines, uitgezonden Mir-protocol met de mondiale orde en Byzantijnse fouttolerantie of blokloze blockchain StreamChain, waardoor de verwerkingstijd van transacties wordt geminimaliseerd.
Prasad Jayanti (Prasad Jayanti) is een professor aan het Dartmouth College, een van de elite Ivy Liga, en de auteur onderzoekswerk op het gebied van multi-threaded algoritmen. Dit jaar op onze school Prasad zal een lezing geven over threadsynchronisatie en algoritmen voor het implementeren van verschillende opties mutex: Met interrupt- of herstelfuncties in niet-vluchtige geheugenmodellen, evenals afzonderlijke lees- en schrijfbewerkingen.
Alexey Gotsman (Alexey Gotsman) - professor bij IMDEA en auteur onderzoekswerk op het gebied van softwareverificatie van algoritmen. We weten nog niet waar Alexey dit jaar een lezing over zal geven op onze school, maar we rekenen op een onderwerp op het snijvlak van softwareverificatie en gedistribueerde systemen.
Waarom is dit een school en geen conferentie?
Ten eerste spreken docenten in een academisch format en wordt elk groot college door twee koppels gegeven: “anderhalf uur - pauze - nog eens anderhalf uur.” Vele jaren na de universiteit, met de gewoonte van conferentiepresentaties van een uur en YouTube-video's van tien minuten, kan dit moeilijk zijn. Een goede docent maakt de hele drie uur interessant, maar iedereen is verantwoordelijk voor de plasticiteit van zijn eigen brein.
Nuttig advies: oefen op video-opnamen van schoollezingen in 2017 jaar en 2019 jaar. Vaarwel werk - hallo Byzantijnse generaals.
Ten tweede richten docenten zich op wetenschappelijk onderzoek en praten ze over fundamentele principes gedistribueerde systemen en parallel computergebruik, evenals nieuws uit de allernieuwste wetenschappelijke hoek. Als het je doel is om snel iets te programmeren en het de volgende dag na schooltijd in productie te zetten, kan dit ook lastig zijn.
Handige tip: zoek naar onderzoekspapers van docenten op school Google Scholar и arXiv.org. Als je graag wetenschappelijke artikelen leest, zul je school ook leuk vinden.
Ten derde is SPTDC 2020 geen conferentie, omdat het een conferentie over gedistribueerde systemen en parallel computing is Hydra2020. Onlangs stond er een bericht op Habré met een overzicht van haar programma. Vorig jaar vonden SPTDC en Hydra gelijktijdig en op dezelfde locatie plaats. Dit jaar overlappen ze elkaar niet in data, dus ze concurreren niet met elkaar om jouw tijd en aandacht.
Handige tip: Bekijk het Hydra-conferentieprogramma en overweeg om na schooltijd nog een conferentie bij te wonen. Het wordt een goede week.
Hoe naar school gaan?
- Noteer de data van 6 juli t/m 9 juli 2020 in je agenda (of beter nog 11 juli, zodat je na schooltijd naar de Hydra-conferentie kunt gaan).
- Houd moed, maak je klaar.
- Kies kaartjes en naar school gaan.
Bron: www.habr.com