{"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\/sv\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Grundarna av teorin om distribuerade system i Hydra.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"GrundarnaDetta Leslie Lamport<\/strong> \u2014 f\u00f6rfattaren till grundl\u00e4ggande verk inom distribuerad databehandling, och du kanske k\u00e4nner igen honom fr\u00e5n bokst\u00e4verna La i ordet La<\/b>TeX \u2014 \"Lamport TeX\". Det var han som f\u00f6rst, redan 1979, inf\u00f6rde begreppet sekventiell konsistens<\/a><\/noindex>, och hans artikel \"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\"<\/a><\/noindex> fick Dijkstra-priset (egentligen kallades priset s\u00e5 2000: \"PODC Influential Paper Award\"). Det finns en artikel om honom p\u00e5 Wikipedia<\/a><\/noindex>, d\u00e4r man kan hitta n\u00e5gra fler intressanta l\u00e4nkar. Om du \u00e4r fascinerad av problem som h\u00e4nder-f\u00f6re eller byzantinska generalernas problem<\/a><\/noindex> (BFT), m\u00e5ste du f\u00f6rst\u00e5 att allt detta har Lamport bakom sig.
\n<\/p>\n

<\/p>\n

Och han kommer snart till v\u00e5r nya konferens om distribuerad databehandling \u2014 Hydra, som \u00e4ger rum 11-12 juli i Sankt Petersburg. L\u00e5t oss se vad detta \u00e4r f\u00f6r n\u00e5got.<\/p>\n

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

Hydra 2019<\/h1>\n

<\/p>\n

\u00c4mnen som m\u00e5ngtr\u00e5dighet \u00e4r n\u00e5gra av de mest popul\u00e4ra p\u00e5 v\u00e5ra konferenser, och har alltid varit det. Det var nyss tomt i denna lokal, men pl\u00f6tsligt st\u00e5r en person p\u00e5 scenen och pratar om minnesmodeller, happens-before eller m\u00e5ngtr\u00e5dig skr\u00e4ploggning \u2014 och pl\u00f6tsligt! \u2014 n\u00e4stan tusen personer fyller hela tillg\u00e4ngliga utrymmet f\u00f6r att s\u00e4tta sig ner och lyssna noga. Vad \u00e4r hemligheten bakom denna framg\u00e5ng? Kan det vara s\u00e5 att vi alla har n\u00e5gon typ av h\u00e5rdvara som kan organisera distribuerad databehandling? Eller att vi undermedvetet f\u00f6rst\u00e5r v\u00e5r of\u00f6rm\u00e5ga att utnyttja den fullt ut? Det finns en verklig historia om en kvant fr\u00e5n Sankt Petersburg (allts\u00e5 en finansiell kvantanalytiker och utvecklare), vars h\u00e4nder hade ett datorkluster vars fulla kapacitet endast han kan anv\u00e4nda. Vad skulle du g\u00f6ra om du fick resurser som var flera g\u00e5nger st\u00f6rre \u00e4n vad du har nu f\u00f6r att utf\u00f6ra dina uppgifter?<\/p>\n

<\/p>\n

Tack vare denna popularitet sprider sig \u00e4mnet prestanda och effektiva ber\u00e4kningar i programmet f\u00f6r konferenser. Hur m\u00e5nga av de tv\u00e5 dagarna med f\u00f6rel\u00e4sningar kan handla om prestanda \u2014 en tredjedel, tv\u00e5 tredjedelar? P\u00e5 vissa h\u00e5ll finns det artificiella begr\u00e4nsningar som begr\u00e4nsar detta utvidgande: f\u00f6rutom prestanda m\u00e5ste det finnas utrymme f\u00f6r nya webb-ramverk, n\u00e5got DevOps eller arkitektonisk astronautik. Nej, prestanda, du kommer inte att \u00e4ta upp oss alla helt!<\/p>\n

<\/p>\n

Men kan g\u00e5 en annan v\u00e4g, ge upp och \u00e4rligt h\u00e5lla en konferens som helt handlar om distribuerad databehandling och endast om det. H\u00e4r \u00e4r Hydra.<\/p>\n

<\/p>\n

L\u00e5t oss \u00e4rligt erk\u00e4nna att alla ber\u00e4kningar idag p\u00e5 n\u00e5got s\u00e4tt \u00e4r distribuerade. Oavsett om det \u00e4r en flerprocessormaskin, en ber\u00e4kningskluster eller en stor distribuerad tj\u00e4nst \u2013 \u00f6verallt finns det m\u00e5nga processer som parallellt utf\u00f6r oberoende ber\u00e4kningar och synkroniserar med varandra. Det \u00e4r detta som kommer att behandlas b\u00e5de teoretiskt och praktiskt p\u00e5 Hydra.<\/p>\n

<\/p>\n

Konferensprogrammet<\/h1>\n

<\/p>\n

Programmet \u00e4r f\u00f6r n\u00e4rvarande under utarbetande. Det kommer att inneh\u00e5lla f\u00f6redrag fr\u00e5n grundarna av teorierna om distribuerade system och ingenj\u00f6rer som arbetar med dem i produktionsmilj\u00f6.<\/p>\n

<\/p>\n

Till exempel \u00e4r det redan bekant att Leslie Lamport fr\u00e5n Microsoft Research och Maurice Herlihy fr\u00e5n Brown University kommer att delta. <\/p>\n

<\/p>\n

\"Grundarna Maurice Herlihy<\/strong> \u00e4r en mycket k\u00e4nd och respekterad professor i datavetenskap, och han har ocks\u00e5 en sida p\u00e5 Wikipedia<\/a><\/noindex>, d\u00e4r man kan g\u00e5 igenom l\u00e4nkar och arbeten. D\u00e4r kan ni se hela tv\u00e5 Dijkstra-priser, det f\u00f6rsta f\u00f6r arbetet om \u00abWait-Free Synchronization\u00bb<\/a><\/noindex>, och det andra, mer aktuella, \u2013 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex>. F\u00f6r \u00f6vrigt leder l\u00e4nkarna inte ens till SciHub, utan till Brown University och Virginia Tech University, man kan \u00f6ppna och l\u00e4sa.
\n<\/p>\n

<\/p>\n

Maurice planerar att h\u00e5lla ett keynote-tal med titeln \u00abBlockchains from a distributed computing perspective\u00bb. Om det \u00e4r intressant kan ni titta p\u00e5 inspelningen av Maurices f\u00f6rel\u00e4sning fr\u00e5n JUG i Sankt Petersburg. Bed\u00f6m hur klart och tydligt han presenterar \u00e4mnet.<\/p>\n

\n

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

\"GrundarnaDet andra keynote-talet med titeln \u00abDual Data Structures\u00bb kommer att h\u00e5llas av Michael Scott<\/strong> fr\u00e5n University of Rochester. Och gissa vad \u2013 han har ocks\u00e5 en egen Wikipedia-sida<\/a><\/noindex>. I Wisconsin \u00e4r han k\u00e4nd f\u00f6r sitt arbete som dekan vid Wisconsin-Madison universitet, och allm\u00e4nt \u00e4r han personen som tillsammans med Doug Lea utvecklade de icke-blockerande algoritmer och synkrona k\u00f6er som anv\u00e4nds av Java-bibliotek. Han fick sitt Dijkstra-pris tre \u00e5r efter Herlihy f\u00f6r arbetet \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb (som sig b\u00f6r, ligger \u00f6ppet tillg\u00e4nglig<\/a><\/noindex> i Rochester University online-bibliotek).
\n<\/p>\n

<\/p>\n

Det \u00e4r fortfarande gott om tid fram till mitten av juli. Vi kommer att ber\u00e4tta om de andra talarna och deras \u00e4mnen allt eftersom programmet klarnar och vi n\u00e4rmar oss juli. <\/p>\n

<\/p>\n

Det v\u00e4cker faktiskt fr\u00e5gan \u2014 varf\u00f6r g\u00f6r vi Hydra p\u00e5 sommaren? Det \u00e4r ju d\u00f6ds\u00e4song, semester. Problemet \u00e4r att bland talarna finns universitetsl\u00e4rare, och under annan tid \u00e4r de upptagna. Vi kunde helt enkelt inte v\u00e4lja n\u00e5gra andra datum.<\/p>\n

<\/p>\n

Diskussionszoner<\/h1>\n

<\/p>\n

P\u00e5 andra konferenser kan det h\u00e4nda att talaren l\u00e4ser upp vad som kr\u00e4vs och sedan genast f\u00f6rsvinner. Deltagarna har inte ens tid att leta efter dem \u2014 f\u00f6r n\u00e4sta f\u00f6redrag b\u00f6rjar n\u00e4stan utan uppeh\u00e5ll. Det \u00e4r mycket sm\u00e4rtsamt, speciellt om viktiga personer som Lamport, Hurley och Scott \u00e4r n\u00e4rvarande, och du faktiskt g\u00e5r p\u00e5 konferensen bara f\u00f6r att tr\u00e4ffa dem och diskutera n\u00e5got. <\/p>\n

<\/p>\n

Vi har l\u00f6st det problemet. Direkt efter sin presentation g\u00e5r talaren till en speciell diskussionszon, utrustad med \u00e5tminstone en whiteboard, och du har en ganska stor m\u00e4ngd tid. Formellt lovar talaren att vara d\u00e4r i alla fall hela pausen mellan presentationerna. I verkligheten str\u00e4cker sig dessa diskussionszoner kan<\/em> i timmar (beroende p\u00e5 talarens vilja och uth\u00e5llighet). <\/p>\n

<\/p>\n

N\u00e4r det g\u00e4ller Lamport, om jag f\u00f6rst\u00e5tt r\u00e4tt, vill han \u00f6vertyga s\u00e5 m\u00e5nga som m\u00f6jligt om att TLA+<\/a><\/noindex> \u2014 det \u00e4r en bra sak. (Artikel om TLA+ p\u00e5 Wikipedia<\/a><\/noindex>). Detta kan vara en bra m\u00f6jlighet f\u00f6r ingenj\u00f6rer att l\u00e4ra sig n\u00e5got nytt och anv\u00e4ndbart. Leslie f\u00f6resl\u00e5r en s\u00e5dan m\u00f6jlighet \u2014 de som \u00e4r intresserade kan kolla hans tidigare f\u00f6rel\u00e4sningar och komma med fr\u00e5gor. Ist\u00e4llet f\u00f6r en keynote kan det bli en specialiserad Q&A-session, och sedan en diskussionszon. Jag gjorde en snabb googling och hittade en utm\u00e4rkt kurs om TLA+<\/a><\/noindex> (officiellt duplicerad med en spellista p\u00e5 YouTube<\/a><\/noindex>) och en timmes f\u00f6rel\u00e4sning \u00abThinking Above the Code\u00bb<\/a><\/noindex> fr\u00e5n Microsoft Faculty Summit.<\/p>\n

<\/p>\n

Om du sett alla dessa personer som inristade namn i granit fr\u00e5n Wikipedia och p\u00e5 bokomslag \u2014 \u00e4r det dags att tr\u00e4ffa dem personligen! Prata och st\u00e4lla fr\u00e5gor som sidorna i vetenskapliga artiklar inte kommer att svara p\u00e5, men vars f\u00f6rfattare g\u00e4rna kommer att vara tillg\u00e4ngliga.<\/p>\n

<\/p>\n

Call for Papers<\/h1>\n

<\/p>\n

Det \u00e4r ingen hemlighet att m\u00e5nga av dem som l\u00e4ser denna artikel sj\u00e4lva g\u00e4rna vill ber\u00e4tta n\u00e5got tillr\u00e4ckligt intressant. Fr\u00e5n ett ingenj\u00f6rsperspektiv, fr\u00e5n ett vetenskapligt \u2014 fr\u00e5n vilket perspektiv som helst. Distribuerad databehandling \u00e4r ett mycket brett och djupt \u00e4mne, d\u00e4r det finns plats f\u00f6r alla.<\/p>\n

<\/p>\n

Om du vill tala bredvid Lamport, \u00e4r det helt m\u00f6jligt. F\u00f6r att bli talare beh\u00f6ver du g\u00e5 till l\u00e4nken<\/a><\/noindex><\/strong>, l\u00e4s noggrant allt d\u00e4r och f\u00f6lj instruktionerna. <\/p>\n

<\/p>\n

Var lugn, s\u00e5 snart du ansluter till processen kommer du att f\u00e5 hj\u00e4lp. Programkommitt\u00e9n har tillr\u00e4ckliga resurser f\u00f6r att st\u00f6dja dig med sj\u00e4lva presentationen, dess inneh\u00e5ll och formatet. Koordinatorn hj\u00e4lper dig med organisatoriska fr\u00e5gor och s\u00e5 vidare. <\/p>\n

<\/p>\n

L\u00e4gg s\u00e4rskild vikt vid bilden med datum. Juli \u00e4r ett ganska avl\u00e4gset datum f\u00f6r deltagaren, och talaren m\u00e5ste b\u00f6rja agera redan nu. <\/p>\n

<\/p>\n

\"Grundarna<\/p>\n

<\/p>\n

SPTDC-skolan<\/h1>\n

<\/p>\n

Konferensen kommer att h\u00e5llas p\u00e5 samma plats som SPTDC-skolan, s\u00e5 f\u00f6r alla som k\u00f6per biljett till skolan blir biljetterna till konferensen med 20% rabatt<\/strong>.<\/p>\n

<\/p>\n

Sommar skola om praktik och teori f\u00f6r distribuerad databehandling (SPTDC)<\/a><\/noindex> \u2014 en skola som erbjuder ett brett utbud av kurser om praktiska och teoretiska aspekter av distribuerade system, ledda av erk\u00e4nda specialister inom omr\u00e5det.<\/p>\n

<\/p>\n

Skolan kommer att h\u00e5llas p\u00e5 engelska, s\u00e5 h\u00e4r ser listan \u00f6ver diskussions\u00e4mnen ut:<\/p>\n

<\/p>\n