{"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\/sv\/blog\/administrirovanie\/19-golov-gidry-bolshoj-obzor-programmy","title":{"rendered":"19 huvuden av hydran. Stort \u00f6versikt av programmet","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

11-12 juli \u00e4ger konferensen rum i Sankt Petersburg Hydra<\/a><\/noindex>, som handlar om utvecklingen av parallella och distribuerade system. Hydras styrka ligger i att den samlar fantastiska forskare (som vanligtvis endast finns p\u00e5 internationella vetenskapliga konferenser) och k\u00e4nda praktiska ingenj\u00f6rer i ett stort program som gr\u00e4nsar till vetenskap och praktik.<\/p>\n

<\/p>\n

Hydra \u00e4r en av de viktigaste konferenserna vi har haft de senaste \u00e5ren. Den f\u00f6regicks av en mycket grundlig f\u00f6rberedelse, urval av talare och presentationer. F\u00f6rra veckan kom det ut ett intervju med Habr,<\/a><\/noindex> med direkt\u00f6ren f\u00f6r JUG.ru Group, Aleksej Fedotov (23derevo<\/a><\/noindex>). <\/p>\n

<\/p>\n

Vi redan har diskuterat<\/a><\/noindex> , om tre viktiga deltagare, grundarna av teorin om distribuerade system \u2014 Leslie Lamport, Maurice Herlihy och Michael Scott. Det \u00e4r dags att prata mer ing\u00e5ende om hela programmet!<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motivation<\/h2>\n

<\/p>\n

Om du sysslar med programmering har du p\u00e5 ett eller annat s\u00e4tt att g\u00f6ra med multitr\u00e5dning och distribuerade ber\u00e4kningar. Specialister inom motsvarande omr\u00e5den arbetar direkt med dem, men implicit ser distribuerade system p\u00e5 oss fr\u00e5n alla h\u00e5ll: i varje flerk\u00e4rnig dator eller distribuerad tj\u00e4nst finns det n\u00e5got som utf\u00f6r ber\u00e4kningar parallellt.<\/p>\n

<\/p>\n

Det finns m\u00e5nga konferenser som belyser olika aspekter av till\u00e4mpad programmering. P\u00e5 andra sidan spektrumet har vi specialiserade vetenskapliga skolor, i form av f\u00f6rel\u00e4sningar som tar upp enorma m\u00e4ngder komplex teori. Till exempel p\u00e5g\u00e5r parallellt med Hydra i Petersburg skolan SPTDC.<\/a><\/noindex>. P\u00e5 konferensen Hydra har vi f\u00f6rs\u00f6kt sammanf\u00f6ra b\u00e5de h\u00e5rd praktik och vetenskap, och allt det som ligger i sk\u00e4rningspunkten.<\/strong> <\/p>\n

<\/p>\n

T\u00e4nk p\u00e5 detta: vi lever i en fantastisk tid d\u00e5 det \u00e4r m\u00f6jligt att m\u00f6ta grundarna av det vetenskaps- och ingenj\u00f6rsomr\u00e5de vi arbetar med. Fysiker tr\u00e4ffar varken Newton eller Einstein \u2014 t\u00e5get har g\u00e5tt. Men bredvid oss lever fortfarande de som skapade grunderna f\u00f6r teorin om distribuerade system, uppfann popul\u00e4ra programmeringsspr\u00e5k, och f\u00f6rst genomf\u00f6rde allt detta i fungerande prototyper. Dessa m\u00e4nniskor har inte \u00f6vergivit sitt arbete halvv\u00e4gs, utan arbetar just nu med aktuella fr\u00e5gor p\u00e5 v\u00e4rldsk\u00e4nda universitet och f\u00f6retag, och \u00e4r idag de st\u00f6rsta k\u00e4llorna till kunskap och erfarenhet. <\/p>\n

<\/p>\n

\u00c5 andra sidan \u00e4r m\u00f6jligheten att tr\u00e4ffa dem oftast rent teoretisk: f\u00e5 av oss kan st\u00e4ndigt \u00f6vervaka offentliga evenemang p\u00e5 n\u00e5got universitet i Rochester f\u00f6r att sedan snabbt resa till USA och tillbaka till en f\u00f6rel\u00e4sning med Michael Scott. Att bes\u00f6ka alla deltagare i Hydra skulle kosta en hel del, utan att r\u00e4kna med den o\u00e4ndliga m\u00e4ngden tid som skulle g\u00e5 (\u00e4ven om det l\u00e5ter som en intressant quest).<\/p>\n

<\/p>\n

\u00c5 andra sidan har vi m\u00e5nga topptekniker som just nu arbetar med aktuella problem inom distribuerade system, och de har definitivt n\u00e5got att ber\u00e4tta. Men problemet \u00e4r att de fungerar<\/em>, och deras tid \u00e4r dyr. Ja, om du \u00e4r anst\u00e4lld hos Microsoft, Google eller JetBrains \u00f6kar sannolikheten att tr\u00e4ffa en av de k\u00e4nda talarna p\u00e5 ett internt evenemang dramatiskt, men generellt - nej, det h\u00e4nder inte varje dag.<\/p>\n

<\/p>\n

D\u00e4rf\u00f6r fyller konferensen Hydra en viktig uppgift som de flesta av oss inte kan g\u00f6ra sj\u00e4lva \u2013 i en och samma plats och vid en och samma tid samlar m\u00e4nniskor vars id\u00e9er eller kommunikation kan f\u00f6r\u00e4ndra ditt liv. Jag medger att inte alla beh\u00f6ver distribuera system eller komplexa fundamentala koncept. Man kan programmerar CRUD-applikationer i PHP hela livet och \u00e4nd\u00e5 vara helt lycklig. Men f\u00f6r de som beh\u00f6ver det \u2013 det \u00e4r din chans.<\/p>\n

<\/p>\n

Sedan den f\u00f6rsta annonseringen av konferensen Hydra p\u00e5 Habr har det g\u00e5tt ganska mycket tid. Under denna tid har ett enormt arbete gjorts \u2013 och nu har vi en lista \u00f6ver n\u00e4stan alla f\u00f6redrag. Inga tr\u00e5kiga entr\u00e5diga algoritmer, bara ren distribuerad hardcore! L\u00e5t oss avsluta med allm\u00e4nna ord och se vad vi har nu.<\/p>\n

<\/p>\n

Keynotes<\/h2>\n

<\/p>\n

Keynotes inleder och avslutar konferensdagarna. Vanligtvis \u00e4r syftet med den \u00f6ppnande keynoten att st\u00e4lla in den allm\u00e4nna tonen och riktningen f\u00f6r konferensen. Den avslutande keynoten sammanfattar och f\u00f6rklarar hur vi ska leva med de kunskaper och f\u00e4rdigheter vi f\u00e5tt under konferensens dagar. B\u00f6rjan och slutet: det som kommer att minnas b\u00e4st och som \u00f6verhuvudtaget har \u00f6kad betydelse.<\/p>\n

<\/p>\n

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

<\/p>\n

\"19 Cliff \u00e4r en legend inom Java-v\u00e4rlden. I slutet av 90-talet skrev han en avhandling med titeln \u00abCombining Analyses, Combining Optimizations\u00bb<\/noindex>, som efter en tid blev grundlaget for HotSpot JVM Server Compiler. Tv\u00e5 \u00e5r senere arbejdede han allerede hos Sun Microsystems med JVM og viste verden, at JIT har ret til at eksistere. Hele denne historie om, at Java er en af de hurtigste moderne runtime-milj\u00f8er med de smarteste og hurtigste optimeringer, stammer fra Cliff Click. I starten blev det anset for, at hvis noget var tilg\u00e6ngeligt for en statisk compiler, skulle man ikke engang fors\u00f8ge at JIT\u2019te det. Takket v\u00e6re Cliff og holdets arbejde begyndte alle nye sprog at blive skabt med id\u00e9en om JIT-kompilering som standard. Uden tvivl var dette et arbejde, der ikke var for \u00e9n person, men Cliff spillede en meget vigtig rolle i det.<\/p>\n

<\/p>\n

I den \u00e5bnende keynote vil Cliff tale om et andet af sine projekter \u2014 H20<\/a><\/noindex>, en in-memory platform til distribueret og skalerbar maskinl\u00e6ring til industriel anvendelse. Mere specifikt \u2014 om det distribuerede lagringssystem af \"n\u00f8gle-v\u00e6rdi\" par indeni. Dette er en meget hurtig lagerl\u00f8sning med masser af interessante egenskaber (den pr\u00e6cise liste findes i beskrivningen<\/a><\/noindex>), som tillader brugen af lignende l\u00f8sninger i matematik til 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 p\u00e5 h\u00e5rdvaren og teknologistakken i Azul: JIT-kompilatorer, runtime, tr\u00e5dmodel, fejlh\u00e5ndtering, arbejde med stakken, hardware-interrupter, klasseindl\u00e6sning og s\u00e5 videre \u2014 ja, du forstod.<\/p>\n

<\/p>\n

Den mest interessante del begyndte, da de lavede hardware til store virksomheder \u2014 en supercomputer til k\u00f8rsel af Java. Dette var en ret innovativ l\u00f8sning, der var specifikt designet til Java, der har s\u00e6rlige krav \u2014 l\u00e6sbarhedsbariere for lav-latens affaldssamling, arrays med gr\u00e6nsekontrol, virtuelle opkald\u2026 En af de mest imponerende teknologier \u2014 hardware-transaktionel hukommelse. Hele L1 fra hver af de 864 kerner kunne deltage i transaktionel skrivning, hvilket er s\u00e6rlig vigtigt for arbejdet med l\u00e5sninger i Java (synchronized-blokke kan k\u00f8re parallelt, s\u00e5 l\u00e6nge der ikke er reelle hukommelseskonflikter). Men den smukke id\u00e9 brast mod den barske virkelighed \u2014 og i denne pr\u00e6sentation vil Cliff fort\u00e6lle, hvorfor HTM og STM ikke egner sig s\u00e6rlig godt til praktiske behov inden for multitr\u00e5dede beregninger.<\/p>\n

<\/p>\n

Michael Scott \u2014 Dubbla datastrukturer<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Michael Scott<\/a><\/noindex> \u2014 professor i datavetenskap vid University of Rochester, d\u00e4r \u00f6det har f\u00f6renat honom i 34 \u00e5r<\/noindex>, och vid sitt hemuniversitet Wisconsin\u2013Madison var han dekan i fem \u00e5r. Han forskar inom parallell och distribuerad programmering och programmeringsspr\u00e5k och utbildar studenter inom detta.<\/p>\n

<\/p>\n

Hela v\u00e4rlden k\u00e4nner Michael tack vare l\u00e4roboken \u00abProgramming Language Pragmatics\u00bb<\/a><\/noindex>, vars senaste upplaga kom relativt nyligen \u2014 2015. Hans arbete \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb<\/a><\/noindex> har f\u00e5tt Dijkstra-priset<\/a><\/noindex> \u00e4r en av de mest k\u00e4nda inom distribuerad databehandling och ligger \u00f6ppet<\/a><\/noindex> i onlinebiblioteket vid University of Rochester. Du kanske ocks\u00e5 k\u00e4nner honom som f\u00f6rfattaren till den ber\u00f6mda Michael-Scott-algoritmen fr\u00e5n \u00abSimple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms\u00bb<\/a><\/noindex>.<\/p>\n

<\/p>\n

N\u00e4r det kommer till Java-v\u00e4rlden \u00e4r detta ett s\u00e4rskilt fall: tillsammans med Doug Lea utvecklade han dessa icke-blockerande algoritmer och synkrona k\u00f6er som Java-biblioteken \u00e4r baserade p\u00e5. Det \u00e4r vad keynote-presentationen \u00abDubbla datastrukturer\u00bb handlar om \u2014 implementeringen av dessa strukturer i Java SE 6 har f\u00f6rb\u00e4ttrat prestandan med tio g\u00e5nger java.util.concurrent.ThreadPoolExecutor<\/code>. Om du \u00e4r intresserad av vad dessa \u00abDubbla datastrukturer\u00bb \u00e4r, s\u00e5 finns det en motsvarande studie<\/a><\/noindex>. <\/p>\n

<\/p>\n

Maurice Herlihy \u2014 Blockchains och framtiden f\u00f6r distribuerad databehandling<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Maurice Herlihy<\/a><\/noindex> \u2014 innehavare av hela tv\u00e5 Dijkstra-priser. Det f\u00f6rsta \u2014 f\u00f6r arbete vid \u00abWait-Free Synchronization\u00bb<\/a><\/noindex> (Brown University), och det andra, mer nyligen \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex> (Virginia Tech University). Dijkstra-priset tilldelas f\u00f6r arbeten vars betydelse och inflytande har varit m\u00e4rkbara under minst tio \u00e5r, och det \u00e4r uppenbart att Maurice \u00e4r en av de mest k\u00e4nda experterna inom omr\u00e5det. F\u00f6r n\u00e4rvarande \u00e4r han professor vid Brown University och har m\u00e5nga prestationer som skulle fylla ett helt stycke.<\/p>\n

<\/p>\n

I denna avslutande keynote kommer Maurice att tala om teorin och praktiken av blockchain-baserade distribuerade system ur ett klassiskt perspektiv av distribuerad databehandling och hur detta f\u00f6renklar m\u00e5nga relaterade problem. Detta \u00e4r en f\u00f6rel\u00e4sning som \u00e4r helt i konferensens \u00e4mne \u2014 inte om mining-hype, utan snarare om hur v\u00e5r kunskap kan anv\u00e4ndas p\u00e5 en \u00f6verraskande effektiv och relevant s\u00e4tt f\u00f6r olika uppgifter.<\/p>\n

<\/p>\n

I juli 2017 bes\u00f6kte Maurice redan Ryssland f\u00f6r SPTDC-skolan, deltog vid JUG.ru-m\u00f6tet, och inspelningen kan ses p\u00e5 YouTube:<\/p>\n

\n

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

Huvudprogrammet<\/h2>\n

<\/p>\n

H\u00e4r kommer en kort \u00f6versikt av presentationerna som ing\u00e5r i programmet. Vissa presentationer beskrivs h\u00e4r i detalj, medan andra \u00e4r mer kortfattade. L\u00e4ngre beskrivningar har mestadels tilldelats engelskspr\u00e5kiga presentationer som kr\u00e4ver h\u00e4nvisningar till vetenskapliga artiklar, termer p\u00e5 Wikipedia, och s\u00e5 vidare. Den fullst\u00e4ndiga listan kan ses p\u00e5 konferensens webbplats<\/a><\/noindex>. Listan p\u00e5 webbplatsen kommer att uppdateras och kompletteras. <\/p>\n

<\/p>\n

Leslie Lamport \u2014 Fr\u00e5gor & Svar<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Leslie Lamport \u00e4r f\u00f6rfattare till grundl\u00e4ggande verk inom distribuerade ber\u00e4kningar. \"LaTeX\"<\/a><\/noindex> st\u00e5r f\u00f6r \"Lamport TeX\". Det var han som f\u00f6rst, redan 1979, introducerade konceptet sekventiell konsistens<\/a><\/noindex>, och hans artikel \"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\"<\/a><\/noindex> fick Dijkstra-priset.<\/p>\n

<\/p>\n

Detta \u00e4r den mest ovanliga delen av programmet i och med att det inte ens \u00e4r en presentation, utan en fr\u00e5gestund. N\u00e4r en betydande del av publiken redan \u00e4r bekant (eller kan bli bekant) med olika verk baserade p\u00e5 \"Lamports teori\", hans egna artiklar och presentationer, \u00e4r det viktigaste att anv\u00e4nda all tillg\u00e4nglig tid f\u00f6r direkt kommunikation.<\/p>\n

<\/p>\n

Id\u00e9n \u00e4r enkel \u2014 du ser p\u00e5 YouTube tv\u00e5 presentationer: \"Programming Should Be More Than Coding\"<\/a><\/noindex> och \u00abIf You’re Not Writing a Program, Don’t Use a Programming Language\u00bb<\/a><\/noindex> och f\u00f6rbereder \u00e5tminstone en fr\u00e5ga, som Leslie svarar p\u00e5.<\/p>\n

<\/p>\n

Den f\u00f6rsta av dessa tv\u00e5 videor har vi redan omvandlat till en artikel<\/a><\/noindex>. Om du inte har en timme att se p\u00e5 videon kan du snabbt l\u00e4sa igenom allt detta i textformat.<\/p>\n

<\/p>\n

Observera: Det finns mycket mer video med Leslie Lamport p\u00e5 YouTube. Till exempel finns det en fantastisk kurs om TLA+<\/a><\/noindex>. Offline-versionen av hela kursen finns p\u00e5 f\u00f6rfattarens hemsida<\/a><\/noindex>, och p\u00e5 YouTube har han laddat upp det f\u00f6r enklare visning p\u00e5 mobila enheter.<\/p>\n

<\/p>\n

Martin Kleppmann \u2014 Synkronisering av data \u00f6ver anv\u00e4ndares enheter f\u00f6r distribuerat samarbete<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Martin Kleppmann \u00e4r forskare vid Cambridge University som arbetar med CRDT och formell verifiering av algoritmer. Martins bok \"Designing Data-Intensive Applications\"<\/noindex>, publicerad 2017, har blivit mycket framg\u00e5ngsrik och har hamnat p\u00e5 bestsellerlistor inom datalagring och bearbetning. Kevin Scott, CTO p\u00e5 Microsoft, har en g\u00e5ng sagt<\/a><\/noindex>: \"Denna bok borde vara obligatorisk f\u00f6r utvecklingsingenj\u00f6rer. Det \u00e4r en s\u00e4llsynt resurs som f\u00f6renar teori och praktik, vilket hj\u00e4lper utvecklare att b\u00e4ttre designa och implementera infrastruktur och databehandlingssystem.\" N\u00e5got liknande sa \u00e4ven skaparen av Kafka och CTO f\u00f6r Confluent, Jay Kreps.<\/p>\n

<\/p>\n

Innan han b\u00f6rjade med akademiska studier arbetade Martin inom industrin och var med och grundade tv\u00e5 framg\u00e5ngsrika startups:<\/p>\n

<\/p>\n