{"id":35091,"date":"2019-10-31T22:02:18","date_gmt":"2019-10-31T19:02:18","guid":{"rendered":"https:\/\/prohoster.info\/blog\/19-golov-gidry-bolshoj-obzor-programmy\/"},"modified":"2019-10-31T22:02:18","modified_gmt":"2019-10-31T19:02:18","slug":"19-golov-gidry-bolshoj-obzor-programmy","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/administrirovanie\/19-golov-gidry-bolshoj-obzor-programmy","title":{"rendered":"19 K\u00f6pfe der Hydra. Gro\u00dfer \u00dcberblick \u00fcber das Programm.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Am 11.-12. Juli findet in \u0421\u0430\u043d\u043a\u0442-\u041f\u0435\u0442\u0435\u0440\u0431\u0443\u0440\u0433 eine Konferenz statt Hydra<\/a><\/noindex>, die sich mit der Entwicklung von parallelen und verteilten Systemen besch\u00e4ftigt. Das Besondere an Hydra ist, dass sie gro\u00dfartige Wissenschaftler (die normalerweise nur auf ausl\u00e4ndischen Wissenschaftskonferenzen zu finden sind) und bekannte praktizierende Ingenieure in ein gro\u00dfes Programm an der Schnittstelle von Wissenschaft und Praxis vereint.<\/p>\n

<\/p>\n

Hydra ist eine unserer wichtigsten Konferenzen in den letzten Jahren. Sie wurde durch eine sehr gr\u00fcndliche Vorbereitung, die Auswahl von Speakern und Vortr\u00e4gen, eingeleitet. Letzte Woche erschien dazu ein Habr-Interview<\/a><\/noindex> mit dem Direktor der JUG.ru Group, Alexey Fedorov (23derevo<\/a><\/noindex>). <\/p>\n

<\/p>\n

Wir hat bereits dar\u00fcber berichtet<\/a><\/noindex> \u00fcber drei wichtige Teilnehmer, die Pioniere der Theorie verteilter Systeme \u2014 Leslie Lamport, Maurice Herlihy und Michael Scott. Es ist an der Zeit, detaillierter \u00fcber das gesamte Programm zu sprechen!<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motivation<\/h2>\n

<\/p>\n

Wenn Sie Programmierung betreiben, haben Sie auf die eine oder andere Weise mit Multithreading und verteiltem Rechnen zu tun. Fachleute in den entsprechenden Bereichen arbeiten direkt damit, aber die Verteilung schaut uns \u00fcberall subtil an: In jedem Multikerncomputer oder in einem verteilten Dienst gibt es etwas, das Berechnungen parallel ausf\u00fchrt.<\/p>\n

<\/p>\n

Es gibt viele Konferenzen, die verschiedene Aspekte der angewandten Programmierung beleuchten. Auf der anderen Seite des Spektrums haben wir spezielle wissenschaftliche Schulen, die in Form von Vorlesungen riesige Mengen komplexer Theorie aufdecken. Zum Beispiel findet parallel zu Hydra in St. Petersburg eine SPTDC-Schule statt.<\/a><\/noindex>. Auf der Konferenz Hydra haben wir versucht, strenge Praxis, Wissenschaft und alles, was an ihrem Schnittpunkt liegt, zusammenzubringen.<\/strong> <\/p>\n

<\/p>\n

Denken Sie einmal dar\u00fcber nach: Wir leben in einer erstaunlichen Zeit, in der man die Gr\u00fcnder des Wissenschafts- und Ingenieurbereichs, in dem wir t\u00e4tig sind, pers\u00f6nlich treffen kann. Physiker werden weder Newton noch Einstein treffen \u2014 der Zug ist abgefahren. Aber neben uns leben immer noch die, die die Grundlagen der Theorie verteilter Systeme geschaffen, beliebte Programmiersprachen erfunden und das alles zum ersten Mal in funktionierenden Prototypen umgesetzt haben. Diese Menschen haben ihre Arbeit nicht halbherzig aufgegeben, besch\u00e4ftigen sich gerade jetzt mit aktuellen Herausforderungen an weltbekannten Universit\u00e4ten und Unternehmen und sind die gr\u00f6\u00dften Wissens- und Erfahrungstr\u00e4ger unserer Zeit. <\/p>\n

<\/p>\n

Auf der anderen Seite bleibt die M\u00f6glichkeit, ihnen zu begegnen, oft rein theoretischer Natur: Nur wenige von uns k\u00f6nnen st\u00e4ndig \u00f6ffentliche Veranstaltungen an irgendeiner Universit\u00e4t in Rochester \u00fcberwachen, um dann in die USA zu reisen und zur\u00fcck f\u00fcr eine Vorlesung bei Michael Scott. Alle Teilnehmer von Hydra zu besuchen, w\u00fcrde ein kleines Verm\u00f6gen kosten, ganz zu schweigen von der Menge an verlorener Zeit (auch wenn das wie eine interessante Quest klingt).<\/p>\n

<\/p>\n

Auf der anderen Seite haben wir viele Top-Ingenieure, die gerade an aktuellen Problemen verteilte Systeme arbeiten, und sie haben sicherlich etwas zu erz\u00e4hlen. Aber das Problem ist \u2014 sie die<\/em>, und ihre Zeit ist kostbar. Ja, wenn du Mitarbeiter von Microsoft, Google oder JetBrains bist, steigt die Wahrscheinlichkeit, einen der bekannten Referenten bei einer internen Veranstaltung zu treffen, erheblich, aber im Allgemeinen \u2014 nein, das passiert nicht jeden Tag.<\/p>\n

<\/p>\n

Somit erf\u00fcllt die Hydra-Konferenz eine wichtige Aufgabe, die die meisten von uns nicht selbst erledigen k\u00f6nnen \u2014 sie vereint an einem Ort und zu einer Zeit Menschen, deren Ideen oder der Austausch mit denen dein Leben ver\u00e4ndern kann. Ich gebe zu, dass nicht jeder an verteilten Systemen oder an irgendeiner komplexen grundlegenden Dinge interessiert ist. Man kann ein Leben lang CRUDs in PHP programmieren und dabei ganz gl\u00fccklich bleiben. Aber f\u00fcr die, die daran interessiert sind \u2014 das ist eure Chance.<\/p>\n

<\/p>\n

Seit der ersten Ank\u00fcndigung der Hydra-Konferenz auf Habr\u0430 ist bereits viel Zeit vergangen. In dieser Zeit wurde eine enorme Menge Arbeit geleistet \u2014 und hier haben wir eine Liste von fast allen Vortr\u00e4gen. Keine lahmenden einstr\u00e4ngigen Algorithmen, nur reiner verteilte Hardcore! Lassen Sie uns mit den allgemeinen Worten abschlie\u00dfen und sehen, was wir jetzt in den H\u00e4nden halten.<\/p>\n

<\/p>\n

Keynotes<\/h2>\n

<\/p>\n

Keynotes beginnen und beenden die Tage der Konferenz. In der Regel besteht der Sinn des er\u00f6ffnenden Keynotes darin, den allgemeinen Geist und die Richtung der Konferenz zu setzen. Der Schluss-Keynote zieht eine Linie und erkl\u00e4rt, wie wir mit dem Wissen und den F\u00e4higkeiten leben, die wir an den Konferenztagen erworben haben. Der Anfang und das Ende: Das, was am besten in Erinnerung bleibt, und hat im Allgemeinen ein erh\u00f6htes Gewicht.<\/p>\n

<\/p>\n

Cliff Click \u2014 Der H2O verteilte K\/V-Algorithmus<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Cliff ist eine Legende in der Java-Welt. Ende der 90er Jahre schrieb er f\u00fcr seine Dissertation eine Arbeit mit dem Titel \u201eKombinieren von Analysen, Kombinieren von Optimierungen\u201c<\/noindex>, die nach einiger Zeit die Grundlage f\u00fcr den HotSpot JVM Server Compiler wurde. Nach zwei Jahren arbeitete er bereits bei Sun Microsystems an der JVM und zeigte der Welt, dass JIT eine Daseinsberechtigung hat. Diese gesamte Geschichte, dass Java eine der schnellsten modernen Laufzeitumgebungen mit den cleversten und schnellsten Optimierungen ist, stammt tats\u00e4chlich von Cliff Click. Zu Beginn wurde angenommen, dass, wenn etwas f\u00fcr einen statischen Compiler verf\u00fcgbar ist, es sich nicht lohnen w\u00fcrde, es zu jittieren. Dank der Arbeiten von Cliff und seinem Team begannen alle neuen Sprachen mit der Idee einer Standard-JIT-Kompilierung entwickelt zu werden. Nat\u00fcrlich war dies keine Aufgabe f\u00fcr nur eine Person, aber Cliff spielte dabei eine sehr wichtige Rolle.<\/p>\n

<\/p>\n

Im Er\u00f6ffnungsvortrag wird Cliff \u00fcber ein anderes seiner Projekte berichten \u2014 H20<\/a><\/noindex>, einer In-Memory-Plattform f\u00fcr verteiltes und skalierbares maschinelles Lernen f\u00fcr industrielle Anwendungen. Genauer gesagt \u2014 \u00fcber den verteilten Schl\u00fcssel-Wert-Speicher darin. Dies ist ein sehr schneller Speicher mit einer Vielzahl interessanter Eigenschaften (eine genaue Liste findet sich im Beschreibung<\/a><\/noindex>), die es erm\u00f6glichen, solche L\u00f6sungen im Bereich Streaming-Mathematik der gro\u00dfen Daten zu verwenden.<\/p>\n

<\/p>\n

Ein weiterer Vortrag, den Cliff halten wird \u2014 Die Azul Hardware Transactional Memory-Erfahrung<\/a><\/noindex>. Ein weiterer Teil seiner Biographie \u2014 zehn Jahre Arbeit bei Azul<\/noindex>, wo er viele verschiedene Dinge in der Hardware und im Technologie-Stack von Azul aktualisiert und verbessert hat: JIT-Compiler, Laufzeitumgebung, Thread-Modell, Fehlerbehandlung, Arbeiten mit dem Stack, hardwaregest\u00fctzte Interrupts, Klassenladen und so weiter und so fort \u2014 nun, Sie wissen, was ich meine.<\/p>\n

<\/p>\n

Der interessanteste Teil begann, als sie Hardware f\u00fcr gro\u00dfe Unternehmen entwickelten \u2014 einen Supercomputer f\u00fcr den Betrieb von Java. Das war eine ziemlich innovative Sache, speziell auf Java zugeschnitten, die besondere Anforderungen hat \u2014 Lese-Speicherbarrieren f\u00fcr eine latenzarme Garbage Collection, Array-Grenzkontrollen, virtuelle Aufrufe\u2026 Eine der coolsten Technologien \u2014 hardwaregest\u00fctzter transaktionaler Speicher. Der gesamte L1-Speicher eines der 864 Kerne konnte an einer transaktionalen Aufzeichnung teilnehmen, was besonders wichtig f\u00fcr die Arbeit mit Locking in Java ist (synchronized-Bl\u00f6cke k\u00f6nnen parallel arbeiten, solange es keinen realen Konflikt im Speicher gibt). Aber die sch\u00f6ne Idee fiel einer harten Realit\u00e4t zum Opfer \u2014 und in diesem Vortrag wird Cliff erkl\u00e4ren, warum HTM und STM nicht so gut f\u00fcr die praktischen Bed\u00fcrfnisse der Multithread-Berechnungen geeignet sind.<\/p>\n

<\/p>\n

Michael Scott \u2014 Duale Datenstrukturen<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Michael Scott<\/a><\/noindex> \u2014 Professor f\u00fcr Informatik an der University of Rochester, mit der ihn das Schicksal verband bereits seit 34 Jahren<\/noindex>, und an der heimischen Universit\u00e4t Wisconsin\u2013Madison war er f\u00fcnf Jahre lang Dekan. Er forscht im Bereich der parallelen und verteilten Programmierung sowie des Sprachdesigns und unterrichtet dies an Studierenden.<\/p>\n

<\/p>\n

Die ganze Welt kennt Michael durch sein Lehrbuch \u201eProgramming Language Pragmatics\u201c<\/a><\/noindex>, dessen letzte Ausgabe relativ neu erschien \u2014 im Jahr 2015. Seine Arbeit \u201eAlgorithms for scalable synchronization on shared-memory multiprocessors\u201c<\/a><\/noindex> eine wurde mit dem Dijkstra-Preis ausgezeichnet<\/a><\/noindex> und gilt als eine der bekanntesten im Bereich der verteilten Berechnungen und liegt offen<\/a><\/noindex> in der Online-Bibliothek der University of Rochester. Sie k\u00f6nnen ihn auch als Autor des bekannten Michael-Scott-Algorithmus aus \u201eSimple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms\u201c<\/a><\/noindex>.<\/p>\n

<\/p>\n

Im Java-Bereich ist die Situation besonders: Zusammen mit Doug Lea hat er die nicht blockierenden Algorithmen und synchronen Warteschlangen entwickelt, auf denen die Java-Bibliotheken basieren. Genau darum wird es im Keynote \u201eDuale Datenstrukturen\u201c gehen \u2014 die Implementierung dieser Strukturen in Java SE 6 erm\u00f6glichte eine zehnfache Verbesserung der Leistung java.util.concurrent.ThreadPoolExecutor<\/code>. Wenn Sie vorher interessiert sind, was diese \u201eDuale Datenstrukturen\u201c sind, gibt es dazu eine entsprechende Arbeit<\/a><\/noindex>. <\/p>\n

<\/p>\n

Maurice Herlihy \u2014 Blockchains und die Zukunft der verteilten Berechnung<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Maurice Herlihy<\/a><\/noindex> \u2014 Tr\u00e4ger von gleich zwei Dijkstra-Preisen. Der erste \u2014 f\u00fcr die Arbeit \u00fcber \u00bbWait-Free Synchronization\u00ab<\/a><\/noindex> (Brown University), und der zweite, neuere \u2014 \u00bbTransactional Memory: Architectural Support for Lock-Free Data Structures\u00ab<\/a><\/noindex> (Virginia Tech University). Der Dijkstra-Preis wird f\u00fcr Arbeiten verliehen, deren Bedeutung und Einfluss \u00fcber einen Zeitraum von mindestens zehn Jahren bemerkbar waren, und offensichtlich ist Maurice einer der bekanntesten Spezialisten auf diesem Gebiet. Momentan ist er Professor an der Brown University und hat zahlreiche Erfolge, die einen ganzen Absatz f\u00fcllen.<\/p>\n

<\/p>\n

In diesem Abschluss-Keynote wird Maurice \u00fcber die Theorie und Praxis von Blockchain-verteilten Systemen aus der Perspektive der klassischen verteilten Berechnungen berichten und dar\u00fcber, wie dies viele verwandte Probleme vereinfacht. Dies ist ein Vortrag, der ausschlie\u00dflich im Thema der Konferenz liegt \u2014 es geht nicht um Mining-Hype, sondern vielmehr darum, wie wir unser Wissen erstaunlich effizient und passend auf die unterschiedlichsten Aufgaben anwenden k\u00f6nnen.<\/p>\n

<\/p>\n

Im Juli 2017 war Maurice bereits in Russland bei der Schule SPTDC, nahm an einem Meetup von JUG.ru teil, und die Aufzeichnung kann auf YouTube angesehen werden:<\/p>\n

\n

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

Hauptprogramm<\/h2>\n

<\/p>\n

Weiter wird es einen kurzen \u00dcberblick \u00fcber die Vortr\u00e4ge geben, die in das Programm aufgenommen wurden. Einige Vortr\u00e4ge werden hier ausf\u00fchrlicher beschrieben, andere \u2013 k\u00fcrzer. L\u00e4ngere Beschreibungen wurden haupts\u00e4chlich englischsprachigen Vortr\u00e4gen gewidmet, die auf wissenschaftliche Arbeiten, Begriffe aus Wikipedia usw. verweisen m\u00fcssen. Eine vollst\u00e4ndige Liste kann auf der Konferenzwebseite eingesehen werden<\/a><\/noindex>. Die Liste auf der Webseite wird aktualisiert und erg\u00e4nzt. <\/p>\n

<\/p>\n

Leslie Lamport \u2013 Q & A<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Leslie Lamport ist der Autor grundlegendender Arbeiten im Bereich der verteilten Berechnungen. \u00bbLaTeX\u00ab<\/a><\/noindex> steht f\u00fcr \u00bbLamport TeX\u00ab. Er f\u00fchrte erstmals 1979 das Konzept ein, sequentiellen Konsistenz<\/a><\/noindex>ein, und sein Artikel \u201eHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u201c<\/a><\/noindex> wurde mit dem Dijkstra-Preis ausgezeichnet.<\/p>\n

<\/p>\n

Dies ist der ungew\u00f6hnlichste Teil des Programms, da es sich nicht einmal um einen Vortrag handelt, sondern um eine Frage-und-Antwort-Sitzung. Wenn ein erheblicher Teil des Publikums bereits bekannt ist (oder sich mit den verschiedenen Arbeiten, die auf der \u00bbLampert-Theorie\u00ab basieren, seinen eigenen Artikeln und Vortr\u00e4gen vertraut machen kann), ist es wichtig, die gesamte verf\u00fcgbare Zeit f\u00fcr direkte Kommunikation zu nutzen.<\/p>\n

<\/p>\n

Die Idee ist einfach \u2013 Sie schauen sich auf YouTube zwei Vortr\u00e4ge an: \u00bbProgramming Should Be More Than Coding\u00ab<\/a><\/noindex> und \u00abWenn Sie kein Programm schreiben, verwenden Sie keine Programmiersprache\u00bb<\/a><\/noindex> und bereiten mindestens eine Frage vor, die Leslie beantworten wird.<\/p>\n

<\/p>\n

Das erste dieser beiden Videos haben wir bereits in einen Hubartikel verwandelt<\/a><\/noindex>. Wenn Sie keine Stunde Zeit haben, um sich das Video anzusehen, k\u00f6nnen Sie alles schnell in Textform lesen.<\/p>\n

<\/p>\n

Zur Information: Auf YouTube gibt es viel mehr Videos mit Leslie Lamport. Beispielsweise gibt es ein ausgezeichnetes Kurs \u00fcber TLA+<\/a><\/noindex>. Die Offline-Version dieses gesamten Kurses ist auf der Homepage des Autors<\/a><\/noindex>, auf YouTube hat er es f\u00fcr ein bequemeres Ansehen auf mobilen Ger\u00e4ten hochgeladen.<\/p>\n

<\/p>\n

Martin Kleppmann \u2013 Daten zwischen Benutzerger\u00e4ten f\u00fcr verteilte Zusammenarbeit synchronisieren<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Martin Kleppmann ist Forscher an der Universit\u00e4t Cambridge und besch\u00e4ftigt sich mit CRDT und formeller Verifikation von Algorithmen. Martins Buch \u00bbDesigning Data-Intensive Applications\u00ab<\/noindex>, ver\u00f6ffentlicht im Jahr 2017, war sehr erfolgreich und landete in den Bestsellerlisten im Bereich Datenspeicherung und -verarbeitung. Kevin Scott, CTO von Microsoft, sagte einmal<\/a><\/noindex>: \u00bbDieses Buch sollte f\u00fcr Software-Entwickler Pflicht sein. Es ist eine seltene Ressource, die Theorie und Praxis vereint und Entwicklern hilft, die Infrastruktur und die Systeme zur Datenverarbeitung intelligenter zu gestalten und zu implementieren.\u00ab \u00c4hnliches sagte auch der Erfinder von Kafka und CTO von Confluent, Jay Kreps.<\/p>\n

<\/p>\n

Bevor Martin sich mit akademischen Forschungen besch\u00e4ftigte, arbeitete er in der Industrie und war Mitgr\u00fcnder von zwei erfolgreichen Startups:<\/p>\n

<\/p>\n