{"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 Begr\u00fcnder der Theorie verteilter Systeme in den F\u00e4ngen der Hydra","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"DieDas ist Leslie Lamport<\/strong> \u2014 Autor grundlegender Arbeiten im Bereich der verteilten Berechnungen, und vielleicht kennen Sie ihn auch von den Buchstaben La in dem Wort La<\/b>TeX \u2014 \u201eLamport TeX\u201c. Er f\u00fchrte erstmals, bereits 1979, das Konzept der sequentiellen Konsistenz<\/a><\/noindex>ein, und sein Artikel \u201eHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u201c<\/a><\/noindex> erhielt den Dijkstra-Preis (genauer gesagt, wurde der Preis im Jahr 2000 noch so genannt: \u201ePODC Influential Paper Award\u201c). Es gibt eine Wikipedia-Seite \u00fcber ihn<\/a><\/noindex>, wo Sie noch einige interessante Links finden k\u00f6nnen. Wenn Sie begeistert sind von der L\u00f6sung der Probleme mit happens-before oder den byzantinischen Gener\u00e4len<\/a><\/noindex> (BFT), sollten Sie verstehen, dass hinter all dem Lamport steckt.
\n<\/p>\n

<\/p>\n

Und er wird bald zu unserer neuen Konferenz \u00fcber verteilte Berechnungen \u2014 Hydra, die am 11.-12. Juli in Sankt Petersburg stattfindet, kommen. Lassen Sie uns sehen, was das f\u00fcr ein Tier ist.<\/p>\n

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

Hydra 2019<\/h1>\n

<\/p>\n

Themen wie Multithreading geh\u00f6ren zu den beliebtesten auf unseren Konferenzen und waren es schon immer. Gerade war dieser Saal leer, aber pl\u00f6tzlich erscheint ein Mensch auf der B\u00fchne, der \u00fcber das Speichermodell, happens-before oder multithreaded Garbage Collection spricht und \u2014 bumm! \u2014 schon f\u00fcllen fast tausend Menschen den gesamten verf\u00fcgbaren Raum, um zuzuh\u00f6ren. Was ist das Geheimnis dieses Erfolgs? Vielleicht, weil wir alle irgendeine Hardware besitzen, die in der Lage ist, verteilte Berechnungen durchzuf\u00fchren? Oder weil wir unterbewusst unsere Unf\u00e4higkeit erkennen, sie angemessen auszulasten? Es gibt eine echte Geschichte von einem Petersburger Quants (also einem finanziellen quantitativen Analysten und Entwickler), der einen Rechencluster zur Verf\u00fcgung hat, dessen volle Kapazit\u00e4t nur er alleine nutzen kann. Was w\u00fcrden Sie tun, wenn Sie \u00fcber Kr\u00e4fte verf\u00fcgen w\u00fcrden, die um ein Vielfaches gr\u00f6\u00dfer sind als die, die Sie derzeit haben?<\/p>\n

<\/p>\n

Aufgrund dieser Beliebtheit hat das Thema Leistungsf\u00e4higkeit und effiziente Berechnungen die Eigenschaft, sich durch das Konferenzprogramm zu verbreiten. Wie viel von den zwei Tagen Vortr\u00e4gen kann \u00fcber Performance gesprochen werden - ein Drittel, zwei Drittel? An einigen Stellen gibt es k\u00fcnstliche Einschr\u00e4nkungen, die dieses Wachstum limitiert: Neben der Performance sollte unbedingt auch Platz f\u00fcr neue Web-Frameworks, f\u00fcr DevOps oder architektonische Astronautik bleiben. Nein, Performance, du wirst uns nicht alle ganz verschlingen!<\/p>\n

<\/p>\n

Oder man k\u00f6nnte den entgegengesetzten Weg einschlagen, aufgeben und ehrlich eine Konferenz veranstalten, die sich ausschlie\u00dflich mit verteilten Berechnungen besch\u00e4ftigt. Und hier ist sie, die Hydra.<\/p>\n

<\/p>\n

Lassen Sie uns ehrlich zugeben, dass heutzutage alle Berechnungen mehr oder weniger verteilt sind. Sei es eine Mehrkernmaschine, ein Rechencluster oder ein gro\u00df angelegter verteilter Service - \u00fcberall gibt es zahlreiche Prozesse, die unabh\u00e4ngig parallel Berechnungen ausf\u00fchren und sich untereinander synchronisieren. Der Theorie, wie dies organisiert ist, und der Praxis, wie es funktioniert, wird sich die Hydra widmen.<\/p>\n

<\/p>\n

Konferenzprogramm<\/h1>\n

<\/p>\n

Das Programm befindet sich derzeit in der Entstehungsphase. Es werden Vortr\u00e4ge von den Pionieren der Theorien verteilter Systeme und Ingenieuren, die in der Produktion mit ihnen arbeiten, enthalten sein.<\/p>\n

<\/p>\n

Zum Beispiel 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> ist ein sehr bekannter und respektierter Professor f\u00fcr Informatik, \u00fcber den es auch eine Wikipedia-Seite<\/a><\/noindex>, auf der man sich durch die Links und Arbeiten klicken kann. Dort k\u00f6nnen Sie gleich zwei Dijkstra-Preise bemerken, der erste f\u00fcr die Arbeit \u00fcber \u00bbWait-Free Synchronization\u00ab<\/a><\/noindex>, und der zweite, neuere - \u00bbTransactional Memory: Architectural Support for Lock-Free Data Structures\u00ab<\/a><\/noindex>. \u00dcbrigens f\u00fchren die Links nicht einmal zu SciHub, sondern zur Brown University und zur Virginia Tech University, man kann sie \u00f6ffnen und lesen.
\n<\/p>\n

<\/p>\n

Maurice wird einen Keynote-Vortrag mit dem Titel \u201eBlockchains from a distributed computing perspective\u201c halten. Wenn es interessiert, kann man sich die Aufzeichnung von Maurices Vortrag beim St. Petersburger JUG ansehen. Sch\u00e4tzen Sie ein, wie klar und verst\u00e4ndlich er das Thema vermittelt.<\/p>\n

\n

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

\"DieDer zweite Keynote mit dem Titel \u201eDual Data Structures\u201c wird Michael Scott<\/strong> von der University of Rochester halten. Und erraten Sie was - auch er hat seine Wikipedia-Seite<\/a><\/noindex>. In Wisconsin ist er durch seine T\u00e4tigkeit als Dekan an der Universit\u00e4t Wisconsin-Madison bekannt, und in der Fachwelt ist er eine Person, die zusammen mit Doug Lea die nicht blockierenden Algorithmen und synchronen Warteschlangen entwickelt hat, auf denen die Java-Bibliotheken basieren. Seinen Dijkstra-Preis erhielt er 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 ihre Themen werden wir berichten, w\u00e4hrend wir das Programm verfeinern und uns dem Juli n\u00e4hern. <\/p>\n

<\/p>\n

Generell stellt sich die Frage - warum veranstalten wir Hydra im Sommer? Es ist schlie\u00dflich Nebensaison, Urlaubszeit. Das Problem ist, dass unter den Sprechern Universit\u00e4tsdozenten sind, und zu jeder anderen Zeit sind sie besch\u00e4ftigt. Wir konnten einfach keine anderen Termine w\u00e4hlen.<\/p>\n

<\/p>\n

Diskussionszonen<\/h1>\n

<\/p>\n

Bei anderen Konferenzen ist es oft so, dass der Referent seine Pr\u00e4sentation h\u00e4lt und sofort geht. Die Teilnehmer haben nicht einmal die Zeit, ihn zu suchen - denn fast ohne Unterbrechung beginnt der n\u00e4chste Vortrag. Das ist sehr schmerzhaft, besonders wenn so wichtige Personen wie Lamport, Herlihy und Scott anwesend sind, und man eigentlich zur Konferenz kommt, nur um sie zu treffen und etwas zu besprechen. <\/p>\n

<\/p>\n

Bei uns ist dieses Problem gel\u00f6st. Direkt nach seinem Vortrag geht der Sprecher in eine spezielle Diskussionszone, die mindestens mit einer Tafel und Markern ausgestattet ist, und ihr habt ziemlich viel Zeit zur Verf\u00fcgung. Formell verspricht der Referent, dort mindestens die gesamte Zeit der Pause zwischen den Vortr\u00e4gen zu bleiben. In der Realit\u00e4t k\u00f6nnen diese Diskussionszonen sich<\/em> stundenlang hinziehen (je nach Wunsch und Ausdauer des Sprechers). <\/p>\n

<\/p>\n

Was Lamport betrifft, wenn ich richtig verstanden habe, m\u00f6chte er so viele Leute wie m\u00f6glich \u00fcberzeugen, dass TLA+<\/a><\/noindex> eine gute Sache ist. (Ein Artikel \u00fcber TLA+ bei Wikipedia<\/a><\/noindex>). Vielleicht wird es eine gute Gelegenheit f\u00fcr Ingenieure, etwas Neues und N\u00fctzliches zu erfahren. Leslie schl\u00e4gt einen solchen Ansatz vor - interessierte k\u00f6nnen sich seine fr\u00fcheren Vortr\u00e4ge ansehen und mit Fragen kommen. Statt eines Keynotes k\u00f6nnte es so etwas wie eine spezialisierte Q&A-Session geben, und danach noch eine Diskussionszone. Ich habe ein wenig gegoogelt und einen tollen Kurs \u00fcber TLA+<\/a><\/noindex> (offiziell mit einem YouTube-Playlist<\/a><\/noindex>) und eine einst\u00fcndige Vorlesung \u201eThinking Above the Code\u201c<\/a><\/noindex> vom Microsoft Faculty Summit gefunden.<\/p>\n

<\/p>\n

Wenn Sie all diese Menschen als in Granit gemei\u00dfelte Namen aus Wikipedia und auf Buchcovern wahrgenommen haben, ist es h\u00f6chste Zeit, sie live zu treffen! Sprechen Sie mit ihnen und stellen Sie Fragen, auf die die Seiten wissenschaftlicher Artikel keine Antworten haben, aber deren Autoren werden gerne den Kontakt suchen.<\/p>\n

<\/p>\n

Call for Papers<\/h1>\n

<\/p>\n

Es ist kein Geheimnis, dass viele von denen, die diesen Artikel jetzt lesen, selbst etwas ausreichend Interessantes erz\u00e4hlen m\u00f6chten. Aus ingenieurtechnischer Sicht, aus wissenschaftlicher \u2014 aus jeder. Verteilte Berechnungen sind ein sehr weitreichendes und tiefes Thema, in dem es Platz f\u00fcr alle gibt.<\/p>\n

<\/p>\n

Wenn Sie neben Lamport sprechen m\u00f6chten, ist das durchaus m\u00f6glich. Um Referent zu werden, m\u00fcssen Sie dem Link folgen<\/a><\/noindex><\/strong>, alles sorgf\u00e4ltig lesen und die Anweisungen befolgen. <\/p>\n

<\/p>\n

Seien Sie unbesorgt, sobald Sie in den Prozess eingebunden sind, werden Sie Unterst\u00fctzung erhalten. Das Programmkomitee hat ausreichend M\u00f6glichkeiten, um beim Vortrag, dessen Inhalt und Gestaltung zu helfen. Der Koordinator wird bei organisatorischen Fragen und \u00e4hnlichem helfen. <\/p>\n

<\/p>\n

Achten Sie besonders auf das Bild mit den Daten. Juli ist ein ziemlich weiter Zeitraum f\u00fcr einen Teilnehmer, w\u00e4hrend der Referent sofort handeln muss. <\/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, ein Ticket f\u00fcr die Konferenz \u2014 mit 20% Rabatt<\/strong>.<\/p>\n

<\/p>\n

Summer School on Practice and Theory of Distributed Computing (SPTDC)<\/a><\/noindex> ist eine Schule, die eine breite Palette von Kursen zu praktischen und theoretischen Aspekten verteilter Systeme anbietet, die von anerkannten Spezialisten auf dem jeweiligen Gebiet geleitet werden.<\/p>\n

<\/p>\n

Die Schule wird auf Englisch durchgef\u00fchrt, daher sieht die Liste der behandelten Themen folgenderma\u00dfen aus:<\/p>\n

<\/p>\n