{"id":34759,"date":"2019-10-31T22:00:14","date_gmt":"2019-10-31T19:00:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry\/"},"modified":"2019-10-31T22:00:14","modified_gmt":"2019-10-31T19:00:14","slug":"osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Die Pioniere der Theorie verteilter Systeme in den F\u00e4ngen der Hydra","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"DieDas Leslie Lamport<\/strong> \u2014 der Autor grundlegender Arbeiten in verteilten Systemen. Vielleicht kennen Sie ihn auch von dem Buchstaben La im Wort La<\/b>TeX \u2014 \u201eLamport TeX\u201c. Er f\u00fchrte erstmals 1979 das Konzept ein, sequentiellen Konsistenz<\/a><\/noindex>ein, und sein Artikel \u00abHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u00bb<\/a><\/noindex> das den Dijkstra-Preis erhielt (genauer gesagt, wurde der Preis im Jahr 2000 noch unter dem alten Namen \u201ePODC Influential Paper Award\u201c vergeben). Es gibt einen Artikel \u00fcber ihn auf Wikipedia,<\/a><\/noindex>wo Sie noch einige interessante Links finden k\u00f6nnen. Wenn Sie begeistert sind von der L\u00f6sung von Problemen wie happens-before oder den Problemen der byzantinischen Gener\u00e4le<\/a><\/noindex> (BFT), sollten Sie verstehen, dass hinter alldem Lamport steckt.
\n<\/p>\n

<\/p>\n

Und er wird bald zu unserer neuen Konferenz \u00fcber verteilte Systeme \u2013 Hydra \u2013 kommen, die am 11. und 12. Juli in St. Petersburg stattfinden wird. Lassen Sie uns sehen, was das f\u00fcr ein Tier ist.<\/p>\n

<\/a><\/noindex><\/p>\n

Hydra 2019<\/h1>\n

<\/p>\n

Thema wie Multithreading geh\u00f6ren zu den bekanntesten auf unseren Konferenzen und waren immer schon so. Gerade war dieser Saal leer, und jetzt tritt jemand auf die B\u00fchne, der \u00fcber das Speichermodell, happens-before oder Multithreaded Garbage Collection spricht \u2013 und boom! Bereits fast tausend Personen f\u00fcllen den gesamten Platz, um zuzuh\u00f6ren. Was ist das Geheimnis dieses Erfolgs? Vielleicht, weil jeder von uns irgendeine Hardware hat, die verteiltes Rechnen erm\u00f6glicht? Oder weil wir unbewusst unsere Unf\u00e4higkeit erkennen, sie vollst\u00e4ndig zu nutzen? Es gibt eine wahre Geschichte eines Quants aus St. Petersburg (also eines finanziellen quantitativen Analysten und Entwicklers), der \u00fcber einen Rechencluster verf\u00fcgt, dessen volle Leistung nur er selbst nutzen kann. Was w\u00fcrden Sie tun, wenn Sie \u00fcber riesige Ressourcen verf\u00fcgen k\u00f6nnten, um Ihre Aufgaben zu bew\u00e4ltigen?<\/p>\n

<\/p>\n

Dank dieser Popularit\u00e4t verbreitet sich das Thema Leistung und effiziente Berechnungen in den Konferenzprogrammen. Wie viel kann man in zwei Tagen \u00fcber Performance sprechen \u2013 ein Drittel, zwei Drittel? An manchen Stellen gibt es k\u00fcnstliche Einschr\u00e4nkungen, die dieses Wachstum begrenzen: neben der Performance muss auch Platz f\u00fcr neue Web-Frameworks, f\u00fcr DevOps oder architektonische Herausforderungen bleiben. Nein, Performance, du wirst uns nicht alle auf einmal verschlingen!<\/p>\n

<\/p>\n

Oder man kann den entgegengesetzten Weg gehen, aufgeben und eine Konferenz ganz zu den verteilten Berechnungen zu machen \u2013 nur \u00fcber dieses Thema. Und hier ist sie, die Hydra.<\/p>\n

<\/p>\n

Lassen Sie uns ehrlich zugeben, dass heutzutage alle Berechnungen irgendwie verteilt sind. Sei es auf einer Mehrkernmaschine, einem Rechencluster oder einem gro\u00df angelegten verteilten Dienst \u2013 \u00fcberall gibt es zahlreiche Prozesse, die parallel unabh\u00e4ngige Berechnungen durchf\u00fchren und sich gegenseitig synchronisieren. Der Theorie und den praktischen Anwendungen diesem Themas wird Hydra gewidmet sein.<\/p>\n

<\/p>\n

Konferenzprogramm<\/h1>\n

<\/p>\n

Das Programm wird derzeit erstellt. Es sollen Beitr\u00e4ge von Pionieren der Theorien verteilter Systeme sowie von Ingenieuren, die in der Produktion mit diesen arbeiten, ber\u00fccksichtigt werden.<\/p>\n

<\/p>\n

So ist bereits bekannt, dass Leslie Lamport von Microsoft Research und Maurice Herlihy von der Brown University teilnehmen werden. <\/p>\n

<\/p>\n

\"Die Maurice Herlihy<\/strong> \u2014 ein sehr bekannter und respektierter Professor f\u00fcr Informatik, \u00fcber den auch eine Wikipedia-Seite existiert<\/a><\/noindex>, auf der Sie durch Links und Arbeiten st\u00f6bern k\u00f6nnen. Dort finden Sie sogar zwei Dijkstra-Preise: den ersten f\u00fcr seine Arbeit \u00fcber \u201eWait-Free Synchronization\u201c<\/a><\/noindex>, und den zweiten, aktuelleren \u2014 \u201eTransactional Memory: Architectural Support for Lock-Free Data Structures\u201c<\/a><\/noindex>. \u00dcbrigens f\u00fchren die Links nicht einmal zu SciHub, sondern zur Brown University und Virginia Tech University, Sie k\u00f6nnen sie \u00f6ffnen und lesen.
\n<\/p>\n

<\/p>\n

Maurice wird eine Keynote mit dem Titel \u201eBlockchains aus der Perspektive der verteilten Informatik\u201c halten. Wenn es interessiert, k\u00f6nnen Sie sich die Aufzeichnung von Maurices Vortrag beim St. Petersburger JUG anschauen. Beurteilen Sie, wie klar und verst\u00e4ndlich er das Thema vermittelt.<\/p>\n

\n

\r\n \"Video\r\n
<\/div>\r\n <\/div><\/center><\/p>\n

\"DieDie zweite Keynote mit dem Titel \u201eDual Data Structures\u201c wird gehalten von Michael Scott<\/strong> von der University of Rochester. Und raten Sie mal, er hat auch eine Wikipedia-Seite.<\/a><\/noindex>. In Wisconsin ist er bekannt f\u00fcr seine T\u00e4tigkeit als Dekan an der Universit\u00e4t Wisconsin-Madison. Zudem ist er derjenige, der zusammen mit Doug Lea die nicht-blockierenden Algorithmen und synchronen Warteschlangen entwickelt hat, auf denen die Java-Bibliotheken basieren. Er erhielt seinen Dijkstra-Preis drei Jahre nach Herlihy f\u00fcr die Arbeit \u201eAlgorithms for scalable synchronization on shared-memory multiprocessors\u201c (wie es sich geh\u00f6rt, liegt sie offen<\/a><\/noindex> in der Online-Bibliothek der Universit\u00e4t Rochester).
\n<\/p>\n

<\/p>\n

Bis zur Mitte Juli ist noch viel Zeit. \u00dcber die anderen Referenten und deren Themen werden wir berichten, w\u00e4hrend das Programm pr\u00e4ziser wird und wir uns Juli n\u00e4hern. <\/p>\n

<\/p>\n

Es stellt sich generell die Frage \u2013 warum veranstalten wir Hydra im Sommer? Schlie\u00dflich ist das eine tote Saison, Urlaubszeit. Das Problem ist, dass unter den Referenten Universit\u00e4tsdozenten sind und zu jeder anderen Zeit besch\u00e4ftigt sind. Wir konnten einfach keine anderen Termine w\u00e4hlen.<\/p>\n

<\/p>\n

Diskussionszonen<\/h1>\n

<\/p>\n

Auf anderen Konferenzen kommt es vor, dass der Referent seinen Vortrag h\u00e4lt und sofort wieder verschwindet. Die Teilnehmer haben nicht einmal Zeit, ihn zu suchen \u2013 denn kaum gibt es eine Pause, beginnt schon der n\u00e4chste Vortrag. Das ist \u00e4u\u00dferst frustrierend, besonders wenn so wichtige Pers\u00f6nlichkeiten wie Lamport, Curly und Scott anwesend sind, und man eigentlich zur Konferenz kommt, um sie zu treffen und etwas zu diskutieren. <\/p>\n

<\/p>\n

Bei uns ist dieses Problem gel\u00f6st. Direkt nach seinem Vortrag geht der Referent in einen speziellen Diskussionsbereich, der mindestens mit einem Whiteboard ausgestattet ist, und Sie haben gen\u00fcgend Zeit zur Verf\u00fcgung. Formell verspricht der Referent, dort mindestens die gesamte Pausenzeit zwischen den Vortr\u00e4gen zu sein. In der Realit\u00e4t k\u00f6nnen diese Diskussionsbereiche \u201etesten\u201c<\/em> sich stundenlang hinziehen (je nach Wunsch und Ausdauer des Referenten). <\/p>\n

<\/p>\n

Was Lamport betrifft, so m\u00f6chte er, wenn ich es richtig verstanden habe, so viele Leute wie m\u00f6glich \u00fcberzeugen, dass TLA+<\/a><\/noindex> das eine gute Sache ist. (Der Artikel \u00fcber TLA+ auf Wikipedia<\/a><\/noindex>). Es k\u00f6nnte eine gute Gelegenheit f\u00fcr Ingenieure sein, etwas Neues und N\u00fctzliches zu lernen. Leslie schl\u00e4gt vor, dass Interessierte seine fr\u00fcheren Vortr\u00e4ge ansehen und mit Fragen kommen. Das bedeutet, dass anstelle eines Keynotes eine spezialisierte Q&A-Session stattfinden k\u00f6nnte, gefolgt von einer Diskussionszone. Ich habe ein wenig gegoogelt und einen ausgezeichneten gefunden Kurs \u00fcber TLA+<\/a><\/noindex> (offiziell dupliziert in einer Playlist auf YouTube<\/a><\/noindex>) und einen einst\u00fcndigen Vortrag \u201eThinking Above the Code\u201c<\/a><\/noindex> auf dem Microsoft Faculty Summit.<\/p>\n

<\/p>\n

Wenn Sie all diese Leute als in Granit gemei\u00dfelte Namen aus Wikipedia und auf Buchcovern wahrgenommen haben, ist jetzt die Zeit, sie pers\u00f6nlich zu treffen! Interagieren Sie und stellen Sie Fragen, auf die die Seiten wissenschaftlicher Artikel keine Antworten geben, aber deren Autoren gerne zur Verf\u00fcgung stehen.<\/p>\n

<\/p>\n

Call for Papers<\/h1>\n

<\/p>\n

Es ist kein Geheimnis, dass viele von denen, die diesen Artikel gerade lesen, selbst etwas Interessantes zu erz\u00e4hlen haben. Sei es aus ingenieurtechnischer Sicht, aus wissenschaftlicher \u2014 von allem. Verteilte Berechnungen sind ein sehr breites und tiefgehendes Thema, wo es Platz f\u00fcr alle gibt.<\/p>\n

<\/p>\n

Wenn du neben Lamport pr\u00e4sentieren m\u00f6chtest, ist das durchaus m\u00f6glich. Um Referent zu werden, musst du Bitte folgen Sie dem Link<\/a><\/noindex><\/strong>, alles sorgf\u00e4ltig durchlesen und den Anweisungen entsprechend handeln. <\/p>\n

<\/p>\n

Seien Sie unbesorgt, sobald Sie den Prozess in Gang gesetzt haben, wird Ihnen geholfen. Das Programmkomitee verf\u00fcgt \u00fcber die n\u00f6tigen Ressourcen, um bei dem Bericht, seiner Struktur und Pr\u00e4sentation zu unterst\u00fctzen. Der Koordinator hilft Ihnen auch bei organisatorischen Fragen und mehr. <\/p>\n

<\/p>\n

Achten Sie besonders auf das Bild mit den Daten. Juli ist ein recht entferntes Datum f\u00fcr die Teilnehmer, w\u00e4hrend der Referent schon jetzt aktiv werden sollte. <\/p>\n

<\/p>\n

\"Die<\/p>\n

<\/p>\n

SPTDC Schule<\/h1>\n

<\/p>\n

Die Konferenz findet am selben Ort wie die SPTDC Schule statt, daher erhalten alle, die ein Ticket f\u00fcr die Schule kaufen, Tickets f\u00fcr die Konferenz \u2014 mit 20% Rabatt<\/strong>.<\/p>\n

<\/p>\n

Sommerakademie zur Praxis und Theorie des verteilten Rechnens (SPTDC)<\/a><\/noindex> \u2014 eine Schule, die eine breite Palette an Kursen zu praktischen und theoretischen Aspekten verteilter Systeme anbietet, geleitet von anerkannten Fachleuten auf dem jeweiligen Gebiet.<\/p>\n

<\/p>\n

Die Schule wird in englischer Sprache stattfinden, hier ist eine \u00dcbersicht der behandelten Themen:<\/p>\n

<\/p>\n