Theorie ist, wenn man alles weiß, aber nichts funktioniert.
Übung ist, wenn alles funktioniert, aber niemand weiß warum.
In verteilten Systemen Theorie und Praxis werden vereint:
nichts funktioniert und niemand weiß warum.
Um zu beweisen, dass der Witz im Epigraph absolute Dummheit ist, veranstalten wir zum dritten Mal die SPTDC (Schule für Praxis und Theorie des verteilten Rechnens). Wir haben bereits die Geschichte der Schule, ihrer Mitbegründer Pjotr Kusnezow und Vitali Aksjonow sowie die Beteiligung der JUG Ru Group an der Organisation des SPTDC besprochen erzählt auf Habré. Deshalb sprechen wir heute über die Schule im Jahr 2020, über Vorträge und Dozenten sowie über die Unterschiede zwischen der Schule und der Konferenz.
Die SPTDC-Schule findet vom 6. bis 9. Juli 2020 in Moskau statt.
Alle Vorträge werden auf Englisch gehalten. Die Hauptthemen der Vorlesungen: Persistent Concurrent Computing, kryptografische Werkzeuge für verteilte Systeme, formale Methoden zur Überprüfung von Konsensprotokollen, Konsistenz in Großsystemen, verteiltes maschinelles Lernen.
Haben Sie sofort erraten, welchen militärischen Rang die Charaktere auf dem Bild haben? Ich verehre dich.
Dozenten und Vorträge
Nir Shavit (Nir Shavit) – Professor am MIT und an der Universität Tel Aviv, Co-Autor eines großartigen Buches Die Kunst der Multiprozessor-Programmierung, Eigentümer Dijkstra-Preis für die Entwicklung und Umsetzung Software-Transaktionsspeicher (STM) und Gödel-Preis für seine Arbeit zur Anwendung der algebraischen Topologie auf die Modellierung von Shared-Memory-Computing, Mitbegründer des Unternehmens Neuronale Magie, das schnelle Algorithmen für maschinelles Lernen für gewöhnliche CPUs erstellt und natürlich auch über eigene verfügt Wikipedia-Seiten mit einem schneidigen und sinnlichen Foto. Nir nahm bereits 2017 an unserer Schule teil, wo er einen umfassenden Überblick über Blockierungstechniken gab (Teil 1, Teil 2). Wir wissen noch nicht, worüber Nir dieses Jahr sprechen wird, aber wir hoffen auf Neuigkeiten von der Spitze der Wissenschaft.
Michael Scott (Michael Scott) – Forscher bei Universität Rochester, allen Java-Entwicklern als Ersteller bekannt nicht blockierende Algorithmen und synchrone Warteschlangen aus der Java-Standardbibliothek. Natürlich mit dem Dijkstra-Preis für Entwicklung Synchronisationsalgorithmen für Shared-Memory-Computing und besitzen Wikipedia-Seite. Letztes Jahr hielt Michael an unserer Schule einen Vortrag über nicht blockierende Datenstrukturen (Teil 1, Teil 2). Dieses Jahr er werde es erzählen über die Programmierung mit nichtflüchtiger Speicher (NVM), was die Programmkomplexität und den Speicheraufwand im Vergleich zum „normalen“ Direktzugriffsspeicher (DRAM) reduziert.
Geht Keidar (Idit Keidar) – Professor am Technion und Eigentümer Hirsch-Index etwa 40 (was sehr, sehr beträchtlich ist) für zweihundert wissenschaftliche Artikel im Bereich verteiltes Rechnen, Multithreading und Fehlertoleranz. Idit nimmt zum ersten Mal an unserer Schule teil, wo sie wird einen Vortrag halten über die grundlegenden Aspekte des Betriebs der verteilten Datenspeicherung: verteilte Speicheremulation, Konsensentwicklung und Konfigurationsänderungen.
Rodrigo Rodriguez (Rodrigo Rodrigues) – Professor am Técnico, Mitglied des Labors INESC-ID und Autor Forschungsarbeit im Bereich verteilter Systeme. Dieses Jahr an unserer Schule Rodrigo werde es erzählen über Konsistenz und Isolation in verteilten Datenspeichern und analysieren auch deren Verwendung CAP-Theoreme praktische Durchführbarkeit mehrerer Konsistenz- und Isolationsmodelle.
Chen Jing (Jing Chen) – Professor an der State University of New York in Stony Brook, Autor Forschungsarbeit im Bereich Blockchain und ein führender Wissenschaftler in Algorand - eine Unternehmens- und Blockchain-Plattform, die einen Konsensalgorithmus verwendet, der vollständig auf basiert Nachweis des Einsatzes. Dieses Jahr wird Chen an unserer Schule über die Algorand-Blockchain und Möglichkeiten sprechen, ihre interessanten Eigenschaften zu erreichen: geringe Anforderungen an Netzwerk-Rechenressourcen, die Unmöglichkeit, den Transaktionsverlauf aufzuteilen und die Garantie des Abschlusses der Transaktionsverarbeitung nach dem Hinzufügen zur Blockchain.
Christian Cashin (Christian Cachin) ist Professor an der Universität Bern, Leiter einer Forschungsgruppe im Bereich Datenschutz, Co-Autor des Buches „Einführung in die zuverlässige und sichere verteilte Programmierung", Entwickler einer Blockchain-Plattform Hyperledger Stoff (Es gab sogar ein Gespräch über sie Beitrag auf Habré) und Autor Forschungsarbeit im Bereich Kryptographie und Sicherheit in verteilten Systemen. Dieses Jahr an unserer Schule Christian wird einen Vortrag halten eine vierteilige Reihe über kryptografische Tools für verteiltes Rechnen: symmetrische und asymmetrische Kryptografie sowie Kryptographie mit gemeinsamem Schlüssel, Pseudozufallszahlen und überprüfbare Zufallszahlengenerierung.
Marko Vukolić (Marko Vukolic) – Forscher bei IBM Research, Autor der Arbeit in Blockchain und Entwickler von Hyperledger Fabric. Wir wissen noch nicht, worüber Marco dieses Jahr an unserer Schule sprechen wird, aber wir hoffen, dass wir etwas über seine neuesten Entwicklungen im Bereich der Blockchain-Forschung erfahren Leistungsabfall Verteilte Konsensprotokolle auf Clustern von bis zu 100 Maschinen, Broadcast Mir-Protokoll mit globaler Ordnung und Byzantinische Fehlertoleranz oder blocklose Blockchain StreamChain, wodurch die Transaktionsverarbeitungszeit minimiert wird.
Prasad Jayanti (Prasad Jayanti) ist Professor am Dartmouth College und gehört zur Elite Ivy League, und der Autor Forschungsarbeit im Bereich der Multithread-Algorithmen. Dieses Jahr an unserer Schule Prasad wird einen Vortrag halten über Thread-Synchronisation und Algorithmen zur Implementierung verschiedener Optionen Mutex: Mit Unterbrechungs- oder Wiederherstellungsfunktionen in nichtflüchtigen Speichermodellen sowie separaten Lese- und Schreibvorgängen.
Alexey Gotsman (Alexey Gotsman) – Professor am IMDEA und Autor Forschungsarbeit im Bereich der Softwareverifizierung von Algorithmen. Wir wissen noch nicht, worüber Alexey dieses Jahr an unserer Schule einen Vortrag halten wird, aber wir rechnen mit einem Thema an der Schnittstelle von Softwareverifizierung und verteilten Systemen.
Warum ist dies eine Schule und keine Konferenz?
Erstens sprechen die Dozenten im akademischen Format und jede große Vorlesung wird von zwei Paaren gehalten: „Anderthalb Stunden – Pause – noch einmal anderthalb Stunden.“ Viele Jahre nach dem Studium kann dies schwierig sein, da man sich an stundenlange Konferenzpräsentationen und 10-minütige YouTube-Videos gewöhnt hat. Ein guter Dozent wird die gesamten drei Stunden interessant gestalten, aber für die Plastizität seines Gehirns ist jeder selbst verantwortlich.
Hilfreicher Rat: Üben Sie an Videoaufzeichnungen von Schulvorlesungen in 2017 Jahr und 2019 Jahr. Auf Wiedersehen Arbeit – hallo byzantinische Generäle.
Zweitens konzentrieren sich die Dozenten auf die wissenschaftliche Forschung und sprechen über grundlegende Prinzipien verteilte Systeme und paralleles Rechnen sowie Neuigkeiten aus der neuesten Wissenschaft. Wenn Ihr Ziel darin besteht, schnell etwas zu programmieren und es am nächsten Tag nach der Schule in die Produktion umzusetzen, kann dies ebenfalls schwierig sein.
Hilfreicher Tipp: Suchen Sie nach Forschungsarbeiten von Schuldozenten auf Google Scholar и arXiv.org. Wenn Sie gerne wissenschaftliche Arbeiten lesen, wird Ihnen auch die Schule gefallen.
Drittens ist die SPTDC 2020 keine Konferenz, sondern eine Konferenz über verteilte Systeme und paralleles Rechnen Hydra 2020. Kürzlich gab es auf Habré einen Beitrag mit ein Überblick über ihr Programm. Letztes Jahr fanden SPTDC und Hydra gleichzeitig und am selben Ort statt. In diesem Jahr überschneiden sich die Termine nicht, sodass sie nicht miteinander um Ihre Zeit und Aufmerksamkeit konkurrieren.
Hilfreicher Tipp: Schauen Sie sich das Hydra-Konferenzprogramm an und überlegen Sie, nach der Schule an einer weiteren Konferenz teilzunehmen. Es wird eine gute Woche.
Wie komme ich zur Schule?
- Notieren Sie sich die Daten vom 6. bis 9. Juli 2020 in Ihrem Kalender (oder besser noch den 11. Juli, damit Sie nach der Schule zur Hydra-Konferenz gehen können).
- Fassen Sie Mut, machen Sie sich bereit.
- Wählen Sie Tickets und gehe zur Schule.
Source: habr.com