{"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\/da\/blog\/administrirovanie\/19-golov-gidry-bolshoj-obzor-programmy","title":{"rendered":"19 hoveder af hydra. Stor gennemgang af programmet","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Den 11.-12. juli finder konferencen sted i Sankt Petersborg Hydra<\/a><\/noindex>, der omhandler udviklingen af parallelle og distribuerede systemer. Hydra's styrke ligger i at samle dygtige forskere (som man normalt kun finder p\u00e5 internationale videnskabelige konferencer) og anerkendte praktiserende ingeni\u00f8rer i et stort program p\u00e5 gr\u00e6nsen mellem videnskab og praksis.<\/p>\n

<\/p>\n

Hydra er en af de vigtigste konferencer, vi har haft de seneste \u00e5r. Forud for den var der en meget grundig forberedelse, udv\u00e6lgelse af talere og pr\u00e6sentationer. I sidste uge blev der udgivet et interview p\u00e5 Habr<\/a><\/noindex> med direkt\u00f8ren for JUG.ru Group, Aleksej Fedorov (23derevo<\/a><\/noindex>). <\/p>\n

<\/p>\n

Vi allerede fortalt<\/a><\/noindex> ) om tre vigtige personer, grundl\u00e6ggerne af teorien om distribuerede systemer \u2014 Leslie Lamport, Maurice Herlihy og Michael Scott. Det er tid til at tale mere detaljeret om hele programmet!<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motivation<\/h2>\n

<\/p>\n

Hvis du arbejder med programmering, s\u00e5 har du p\u00e5 en eller anden m\u00e5de med multitr\u00e5dning og distribuerede beregninger at g\u00f8re. Specialister inden for de relevante omr\u00e5der arbejder direkte med dem, men implicit ser vi distributionen overalt: i enhver multicore-computer eller distribueret service vil der v\u00e6re noget, der udf\u00f8rer beregninger parallelt.<\/p>\n

<\/p>\n

Der findes mange konferencer, der d\u00e6kker forskellige aspekter af anvendt programmering. P\u00e5 den anden side har vi specialiserede videnskabelige skoler, der i form af forel\u00e6sninger afsl\u00f8rer enorme m\u00e6ngder kompleks teori. For eksempel finder der parallelt med Hydra i Skt. Petersborg en SPTDC-skole sted<\/a><\/noindex>. P\u00e5 Hydra-konferencen har vi fors\u00f8gt at samle b\u00e5de h\u00e5rd praksis og videnskab samt alt det, der ligger p\u00e5 deres gr\u00e6nse.<\/strong> <\/p>\n

<\/p>\n

T\u00e6nk over dette: vi lever i en bem\u00e6rkelsesv\u00e6rdig tid, hvor det er muligt at m\u00f8de grundl\u00e6ggerne inden for det omr\u00e5de af videnskab og ingeni\u00f8rkunst, som vi arbejder med. Fysikere vil ikke m\u00f8de hverken Newton eller Einstein \u2014 det tog afsted. Men blandt os lever der stadig mennesker, der har skabt grundlag for teorien om distribuerede systemer, opfundet popul\u00e6re programmeringssprog og f\u00f8rste gang realiseret alt dette i fungerende prototyper. Disse mennesker har ikke forladt deres arbejde halvm\u00e5dig, de besk\u00e6ftiger sig stadig med aktuelle opgaver p\u00e5 verdensber\u00f8mte universiteter og virksomheder og er de st\u00f8rste kilder til viden og erfaring den dag i dag. <\/p>\n

<\/p>\n

P\u00e5 den anden side forbliver muligheden for at m\u00f8des med dem ofte ren teori: f\u00e5 af os kan konstant overv\u00e5ge offentlige arrangementer p\u00e5 et universitet i Rochester for derefter at skynde os til USA og tilbage til en forel\u00e6sning med Michael Scott. At bes\u00f8ge alle deltagerne i Hydra ville koste en mindre formue, uden at n\u00e6vne det enorme tidsspilde (selvom det lyder som en interessant quest).<\/p>\n

<\/p>\n

P\u00e5 den anden side har vi mange fremragende ingeni\u00f8rer, der lige nu arbejder p\u00e5 relevante problemer inden for distribuerede systemer, og de har bestemt noget at fort\u00e6lle. Men problemet er \u2014 de arbejder<\/em>, og deres tid er kostbar. Ja, hvis du er medarbejder i Microsoft, Google eller JetBrains, stiger chancen for at m\u00f8de en af de kendte talere til et internt arrangement drastisk, men generelt \u2014 nej, det sker ikke hver dag.<\/p>\n

<\/p>\n

Dermed udf\u00f8rer konferencen Hydra en vigtig opgave, som de fleste af os ikke kan g\u00f8re selv \u2014 at samle mennesker p\u00e5 \u00e9t sted og p\u00e5 \u00e9t tidspunkt, hvis ideer eller interaktion kan \u00e6ndre dit liv. Jeg indr\u00f8mmer, at ikke alle beh\u00f8ver distribuerede systemer, eller nogle komplekse fundamentale emner. Man kan programmere CRUD'er i PHP hele livet og v\u00e6re ganske glad. Men for dem der har brug for det \u2014 det er jeres chance.<\/p>\n

<\/p>\n

Det er allerede g\u00e5et en hel del tid siden den f\u00f8rste annoncering af konferencen Hydra p\u00e5 Habr\u00e9. I mellemtiden er der gjort et k\u00e6mpe stykke arbejde \u2014 og nu har vi en liste over n\u00e6sten alle pr\u00e6sentationer. Ingen sl\u00f8ve en-tr\u00e5dede algoritmer, kun ren distribueret hardcore! Lad os afslutte med de generelle ord og se, hvad vi nu har i h\u00e6nderne.<\/p>\n

<\/p>\n

Keynotes<\/h2>\n

<\/p>\n

Keynotes indleder og afslutter konferencedagene. Normalt er meningen med den \u00e5bne keynote at s\u00e6tte den overordnede stemning og retning for konferencen. Den afsluttende keynote opsummerer og forklarer, hvordan vi skal leve med de viden og f\u00e6rdigheder, vi har erhvervet i l\u00f8bet af konferencedagene. Start og slutning: det, der huskes bedst, og generelt har h\u00f8jere betydning.<\/p>\n

<\/p>\n

Cliff Click \u2014 The H2O distributed K\/V algorithm<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Cliff er en legende i Java-verdenen. I slutningen af 90'erne skrev han en afhandling til sin PhD med titlen \u00abCombining Analyses, Combining Optimizations\u00bb<\/noindex>, som efter noget tid blev grundlaget for HotSpot JVM Server Compiler. To \u00e5r senere arbejdede han allerede hos Sun Microsystems med JVM og viste verden, at JIT havde ret til at eksistere. Hele denne historie om, at Java er en af de hurtigste moderne runtime-systemer med de smarteste og hurtigste optimeringer stammer faktisk fra Cliff Click. I starten blev det anset for, at hvis noget kunne g\u00f8res af en statisk compiler, kunne det i hvert fald ikke fors\u00f8ges at JIT'e. Takket v\u00e6re Cliff og teamets arbejde, begyndte nye sprog at blive skabt med ideen om JIT-kompilering som standard. Det var uden tvivl ikke et job for \u00e9n person, men Cliff spillede en meget vigtig rolle i det.<\/p>\n

<\/p>\n

I den \u00e5bning keynote vil Cliff tale om sit andet projekt \u2014 H20<\/a><\/noindex>, en in-memory platform til distribueret og skalerbar maskinl\u00e6ring til industriel brug. Mere pr\u00e6cist \u2014 om det distribuerede n\u00f8gle-v\u00e6rdi lager inden i den. Det er et meget hurtigt lager med mange interessante egenskaber (den pr\u00e6cise liste findes i beskrivelsen<\/a><\/noindex>), som g\u00f8r det muligt at anvende s\u00e5danne l\u00f8sninger i matematik for streaming af store data.<\/p>\n

<\/p>\n

En anden pr\u00e6sentation, som Cliff vil give \u2014 The Azul Hardware Transactional Memory experience<\/a><\/noindex>. En anden del af hans biografi \u2014 ti \u00e5r arbejde hos Azul<\/noindex>, hvor han opdaterede og forbedrede meget i hardwaren og Azul's teknologistak: JIT-compilere, runtime, tr\u00e5dmodel, fejlbehandling, h\u00e5ndtering af stakken, hardware interrupts, klassel\u00e6sning osv. \u2014 ja, du forst\u00e5r.<\/p>\n

<\/p>\n

Den mest interessante del begyndte, da de lavede hardware til store virksomheder \u2014 en supercomputer til at k\u00f8re Java. Det var en rimeligt innovativ ting, specifikt designet til Java, som har s\u00e6rlige krav \u2014 hukommelsesbarrierer for l\u00e6sning til lav-pause garbage collection, arrays med gr\u00e6nsekontrol, virtuelle opkald\u2026 En af de mest interessante teknologier var hardware transaktionel hukommelse. Hele L1 af hver af de 864 kerner kunne deltage i en transaktionel optegnelse, hvilket s\u00e6rligt er vigtigt for arbejdet med l\u00e5se i Java (synchronized blokke kan k\u00f8re parallelt, s\u00e5 l\u00e6nge der ikke er en reel hukommelseskonflikt). Men den smukke id\u00e9 br\u00f8d sammen under den h\u00e5rde virkelighed \u2014 og i denne pr\u00e6sentation vil Cliff fort\u00e6lle, hvorfor HTM og STM ikke passer s\u00e6rlig godt til de praktiske behov for multitr\u00e5dede beregninger.<\/p>\n

<\/p>\n

Michael Scott \u2014 Dobbelt datakonstruktioner<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Michael Scott<\/a><\/noindex> \u2014 professor i datalogi ved University of Rochester, hvor sk\u00e6bnen har bragt ham i 34 \u00e5r<\/noindex>, og ved sit alma mater University of Wisconsin\u2013Madison var han dekan i fem \u00e5r. Han forsker inden for parallel og distribueret programmering samt designsprog og underviser i dette.<\/p>\n

<\/p>\n

Hele verden kender Michael fra l\u00e6rebogen \u00abProgramming Language Pragmatics\u00bb<\/a><\/noindex>, den seneste udgave af hvilken kom relativt for nylig \u2014 i 2015. Hans arbejde \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb<\/a><\/noindex> har modtaget Dijkstra-prisen<\/a><\/noindex> betegnes som et af de mest kendte inden for distribuerede beregninger og ligger frit tilg\u00e6ngelig<\/a><\/noindex> i universitetets online-bibliotek i Rochester. Du kender m\u00e5ske ogs\u00e5 ham som forfatteren bag den ber\u00f8mte Michael-Scott-algoritme fra \u00abSimple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms\u00bb<\/a><\/noindex>.<\/p>\n

<\/p>\n

N\u00e5r det g\u00e6lder Java-verdenen, er situationen s\u00e6rlig: sammen med Doug Lea udviklede han de ikke-blokerende algoritmer og synkroniserede k\u00f8er, som Java-bibliotekerne anvender. Dette vil v\u00e6re emnet for keynote-pr\u00e6sentationen \u00abDobbelt datakonstruktioner\u00bb \u2014 implementeringen af disse strukturer i Java SE 6 har givet 10 gange bedre ydeevne java.util.concurrent.ThreadPoolExecutor<\/code>. Hvis du er nysgerrig p\u00e5, hvad disse \u00abDobbelt datakonstruktioner\u00bb er, findes der et tilsvarende arbejde<\/a><\/noindex>. <\/p>\n

<\/p>\n

Maurice Herlihy \u2014 Blockchains and the future of distributed computing<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Maurice Herlihy<\/a><\/noindex> \u2014 indehaver af hele to Dijkstra-priser. Den f\u00f8rste \u2014 for arbejdet om \u00abWait-Free Synchronization\u00bb<\/a><\/noindex> (Brown University), og den anden, mere nylige \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex> (Virginia Tech University). Dijkstra-prisen gives for arbejder, hvis betydning og indflydelse har v\u00e6ret m\u00e6rkbar i mindst ti \u00e5r, og det er klart, at Maurice er en af de mest anerkendte eksperter inden for omr\u00e5det. I \u00f8jeblikket arbejder han som professor ved Brown University og har en r\u00e6kke pr\u00e6stationer, der fylder et helt afsnit.<\/p>\n

<\/p>\n

I denne afsluttende keynote vil Maurice tale om teorien og praksis inden for blokchain-distriberede systemer set fra klassisk distribueret beregning, og hvordan det forenkler mange relaterede problemer. Dette er et foredrag, der udelukkende omhandler konferencens tema \u2014 ikke om mining-hype, men i stedet hvordan vi kan anvende vores viden overraskende effektivt og relevant p\u00e5 de mest forskellige opgaver.<\/p>\n

<\/p>\n

I juli 2017 bes\u00f8gte Maurice allerede Rusland til SPTDC-skolen, deltog i JUG.ru-m\u00f8det, og optagelsen kan ses p\u00e5 YouTube:<\/p>\n

\n

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

Hovedprogram<\/h2>\n

<\/p>\n

Here is a brief overview of the presentations included in the program. Some presentations are described in detail, while others are shorter. The longer descriptions are primarily for English-language presentations that require citations of scientific papers, terms on Wikipedia, and so on. You can find the complete list on the conference website.<\/a><\/noindex>The list on the website will be updated and supplemented. <\/p>\n

<\/p>\n

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

<\/p>\n

\"19 Leslie Lamport is the author of foundational works in distributed computing. \u00abLaTeX\u00bb<\/a><\/noindex> stands for \u00abLamport TeX\u00bb. He first introduced the concept back in 1979, sekventiel konsistens<\/a><\/noindex>, og hans artikel \"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\"<\/a><\/noindex> was awarded the Dijkstra Prize.<\/p>\n

<\/p>\n

This is the most unusual part of the program in format because it is not even a lecture, but a Q&A session. When a significant portion of the audience is already familiar with (or can get acquainted with) all sorts of works based on 'Lamport's theory', his own articles and lectures, it is essential to spend all available time on direct communication.<\/p>\n

<\/p>\n

The idea is simple \u2014 you watch two lectures on YouTube: \u00abProgramming Should Be More Than Coding\u00bb<\/a><\/noindex> og \u00abHvis du ikke skriver et program, s\u00e5 brug ikke et programmeringssprog\u00bb<\/a><\/noindex> and prepare at least one question, which Leslie will answer.<\/p>\n

<\/p>\n

We have already turned the first of these two videos into a hub article. If you don't have an hour to watch the video, you can quickly read all this in text form.<\/a><\/noindex>Note: there are many more videos featuring Leslie Lamport on YouTube. For example, there is an excellent<\/p>\n

<\/p>\n

. The offline version of this entire course is available on kursus i TLA+<\/a><\/noindex>the author's homepage , and on YouTube, he uploaded it for more convenient viewing on mobile devices.<\/a><\/noindex>Martin Kleppmann \u2014<\/p>\n

<\/p>\n

Syncing data across user devices for distributed collaboration Martin Kleppmann is a researcher at the University of Cambridge working on CRDT and formal verification of algorithms. His book<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 \u00abDesigning Data-Intensive Applications\u00bb , published in 2017, became very successful and made it to the bestseller lists in the field of data storage and processing. Kevin Scott, CTO at Microsoft,<\/noindex>once said : \u00abThis book is a must-read for software engineers. It is a rare resource that combines theory and practice, helping developers design and implement data processing infrastructure and systems more intelligently\u00bb. Something similar was said by the creator of Kafka and CTO of Confluent, Jay Kreps.<\/a><\/noindex>: \u00abDenne bog b\u00f8r v\u00e6re obligatorisk for ingeni\u00f8rer og udviklere. Det er en sj\u00e6lden ressource, der kombinerer teori og praksis, og hj\u00e6lper udviklere med at designe og implementere infrastruktur og databehandlingssystemer smartere\u00bb. Noget lignende sagde ogs\u00e5 skaberen af Kafka og CTO for Confluent, Jay Kreps.<\/p>\n

<\/p>\n

F\u00f8r han begyndte med akademisk forskning, arbejdede Martin i industrien og blev medstifter af to succesrige startups:<\/p>\n

<\/p>\n