{"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\/da\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Grundl\u00e6ggere af teorien om distribuerede systemer i Hydra's favn","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"Grundl\u00e6ggereDette Leslie Lamport<\/strong> \u2013 forfatter af grundl\u00e6ggende v\u00e6rker inden for distribuerede computationer, og du kan muligvis ogs\u00e5 kende ham fra bogstaverne La i ordet La<\/b>TeX \u2013 \"Lamport TeX\". Det var ham, der f\u00f8rst, tilbage i 1979, introducerede begrebet sekventiel konsistens<\/a><\/noindex>, og hans artikel \"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\"<\/a><\/noindex> modtog Dijkstra-prisen (mere pr\u00e6cist, i 2000 blev prisen kaldt det gamle navn: \"PODC Influential Paper Award\"). Der er en artikel om ham p\u00e5 Wikipedia<\/a><\/noindex>, hvor man kan finde yderligere interessante links. Hvis du er begejstret for problemer som happens-before eller de byzantinske generalers problemer<\/a><\/noindex> (BFT), s\u00e5 skal du forst\u00e5, at Lamport st\u00e5r bag alt dette.
\n<\/p>\n

<\/p>\n

Og han kommer snart til vores nye konference om distribuerede computationer \u2013 Hydra, som finder sted den 11. og 12. juli i Sankt Petersborg. Lad os se, hvad det er for et dyr.<\/p>\n

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

Hydra 2019<\/h1>\n

<\/p>\n

Emner som multitr\u00e5dning er nogle af de mest popul\u00e6re p\u00e5 vores konferencer, de har altid v\u00e6ret det. Der var netop tomt i denne sal, men s\u00e5 dukker der en person op p\u00e5 scenen, som taler om hukommelsesmodeller, happens-before eller multitr\u00e5det skraldeopsamling, og \u2013 bam! \u2013 n\u00e6sten tusind personer fylder al plads for at sidde og lytte opm\u00e6rksomt. Hvad er hemmeligheden bag denne succes? M\u00e5ske er det, fordi vi alle har noget hardware i h\u00e6nderne, der kan organisere distribuerede computationer? Eller fordi vi ubevidst forst\u00e5r vores manglende evne til at udnytte det fuldt ud? Der er en virkelig historie om en kvanteanalytiker fra Sankt Petersborg (dvs. en finansiel kvantitativ analytiker og udvikler), der havde et compute cluster i h\u00e6nderne, hvis fulde kapacitet kun han kan udnytte. Hvad ville du g\u00f8re, hvis du fik adgang til beregningskraft mange gange st\u00f8rre end det, du har nu?<\/p>\n

<\/p>\n

Takket v\u00e6re denne popularitet har emnet om ydeevne og effektive computationer en tendens til at sprede sig i konferencens program. Hvor meget af de to dages pr\u00e6sentationer kan der laves om ydeevne \u2013 en tredjedel, to tredjedele? Nogle steder eksisterer der kunstige begr\u00e6nsninger, der limiterer denne v\u00e6kst: udover ydeevne skal der ogs\u00e5 v\u00e6re plads til nye web-frameworks, til noget DevOps eller arkitektonisk astronautik. Nej, ydeevne, du vil ikke spise os alle!<\/p>\n

<\/p>\n

Eller man kan tage den modsatte vej, give op og \u00e6rligt lave en konference, der udelukkende handler om fordelt computing og kun om dette. Og her er den, Hydra.<\/p>\n

<\/p>\n

Lad os \u00e6rligt erkende, at alle beregninger i dag p\u00e5 en eller anden m\u00e5de er fordelte. Uanset om det er en multikernet maskine, et beregningscluster eller en stor skaleret distribueret tjeneste \u2014 der er mange processer, der udf\u00f8rer uafh\u00e6ngige beregninger parallelt, mens de synkroniserer med hinanden. Det, som dette handler om i teorien og fungerer i praksis, vil blive dedikeret til Hydra.<\/p>\n

<\/p>\n

Konferenceprogrammet<\/h1>\n

<\/p>\n

Programmet er i \u00f8jeblikket under udarbejdelse. Det skal inkludere pr\u00e6sentationer fra grundl\u00e6ggerne af teorierne om distribuerede systemer og ingeni\u00f8rer, der arbejder med dem i produktion.<\/p>\n

<\/p>\n

For eksempel er det allerede nu kendt, at Leslie Lamport fra Microsoft Research og Maurice Herlihy fra Brown University deltager. <\/p>\n

<\/p>\n

\"Grundl\u00e6ggere Maurice Herlihy<\/strong> er en meget anerkendt og respekteret professor i Computer Science, og der er ogs\u00e5 en side p\u00e5 Wikipedia<\/a><\/noindex>, hvor man kan skimme links og v\u00e6rker. Her kan man bem\u00e6rke ikke mindre end to Dijkstra-priser, den f\u00f8rste \u2014 for arbejdet med \u00abWait-Free Synchronization\u00bb<\/a><\/noindex>, og den anden, mere ny \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex>. I \u00f8vrigt f\u00f8rer links ikke engang til SciHub, men til Brown University og Virginia Tech University, hvor de kan \u00e5bnes og l\u00e6ses.
\n<\/p>\n

<\/p>\n

Maurice planl\u00e6gger at holde en keynote med titlen \u00abBlockchains from a distributed computing perspective\u00bb. Hvis det er interessant, kan man se optagelsen af Maurices pr\u00e6sentation fra JUG i St. Petersborg. Vurd\u00e9r, hvor klart og forst\u00e5eligt han formidler emnet.<\/p>\n

\n

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

\"Grundl\u00e6ggereDen anden keynote med titlen \u00abDual Data Structures\u00bb vil blive pr\u00e6senteret af Michael Scott<\/strong> fra University of Rochester. Og g\u00e6t hvad \u2014 han har ogs\u00e5 sin egen Wikipedia-side<\/a><\/noindex>. Derhjemme i Wisconsin er han kendt for at have arbejdet som dekan ved universitetet Wisconsin-Madison, og i den brede verden \u2014 er han personen, der sammen med Doug Lea udviklede de ikke-blokerende algoritmer og synkroniserede k\u00f8er, som Java-bibliotekerne fungerer med. Han modtog sin Dijkstra-pris tre \u00e5r efter Herlihy for arbejdet \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb (som det sig h\u00f8r og b\u00f8r, ligger frit tilg\u00e6ngeligt<\/a><\/noindex> i online-biblioteket p\u00e5 Rochester University).
\n<\/p>\n

<\/p>\n

Der er stadig meget tid indtil midten af juli. Vi vil fort\u00e6lle om de andre talere og deres emner, mens programmet bliver pr\u00e6ciseret og vi n\u00e6rmer os juli. <\/p>\n

<\/p>\n

Generelt set opst\u00e5r sp\u00f8rgsm\u00e5let - hvorfor laver vi Hydra om sommeren? Det er jo d\u00f8ds\u00e6sonen, ferietid. Problemet er, at blandt talerne er der universitetl\u00e6rere, og de har travlt p\u00e5 alle andre tidspunkter. Vi kunne simpelthen ikke v\u00e6lge andre datoer.<\/p>\n

<\/p>\n

Diskussionszoner<\/h1>\n

<\/p>\n

P\u00e5 andre konferencer kan det ske, at taleren l\u00e6ser det vigtige og s\u00e5 straks g\u00e5r. Deltagerne har ikke engang tid til at finde dem - for n\u00e6sten uden pauser starter den n\u00e6ste pr\u00e6sentation. Det er sv\u00e6rt, is\u00e6r hvis der er s\u00e5 vigtige personer til stede som Lamport, Hurley og Scott, og man faktisk g\u00e5r til konferencen kun for at m\u00f8de dem og diskutere noget. <\/p>\n

<\/p>\n

Vi har l\u00f8st dette problem. Umiddelbart efter deres pr\u00e6sentation g\u00e5r taleren til en speciel diskussionszone, der er udstyret med mindst en tavle med marker, og I har en ret stor m\u00e6ngde tid. Formelt lover taleren at v\u00e6re der i det mindste hele pausen mellem pr\u00e6sentationerne. I virkeligheden kan disse diskussionszoner kan<\/em> str\u00e6kke sig over timer (afh\u00e6ngigt af talerens lyst og udholdenhed). <\/p>\n

<\/p>\n

Hvad ang\u00e5r Lamport, hvis jeg forstod det korrekt, \u00f8nsker han at overbevise s\u00e5 mange mennesker som muligt om, at TLA+<\/a><\/noindex> er en god ting. (Artiklen om TLA+ p\u00e5 Wikipedia<\/a><\/noindex>). Dette kan v\u00e6re en god mulighed for ingeni\u00f8rer til at l\u00e6re noget nyt og nyttigt. Leslie tilbyder s\u00e5dan en mulighed - dem der er interesseret, kan se hans tidligere forel\u00e6sninger og komme med sp\u00f8rgsm\u00e5l. Det vil sige, at der i stedet for en keynote kan v\u00e6re en slags specialiseret Q&A session, og derefter ogs\u00e5 en diskussionszone. Jeg har lidt googlet og fundet et fremragende kursus i TLA+<\/a><\/noindex> (officielt duplikeret playlisten p\u00e5 YouTube<\/a><\/noindex>) og en time lang forel\u00e6sning \u00abThinking Above the Code\u00bb<\/a><\/noindex> fra Microsoft Faculty Summit.<\/p>\n

<\/p>\n

Hvis du har set disse mennesker som nedskrevne navne i granit fra Wikipedia og p\u00e5 bogforsider - er det nu tid til at m\u00f8de dem i virkeligheden! At kommunikere og stille sp\u00f8rgsm\u00e5l, som siderne i videnskabelige artikler ikke besvarer, men hvis forfattere med gl\u00e6de vil tage kontakt.<\/p>\n

<\/p>\n

Call for Papers<\/h1>\n

<\/p>\n

Det er ingen hemmelighed, at mange af dem, der nu l\u00e6ser artiklen, ogs\u00e5 gerne vil fort\u00e6lle noget, der er interessant. Fra et ingeni\u00f8rperspektiv, fra et videnskabeligt - uanset hvad. Fordelt computing er et meget bredt og dybt emne, hvor der er plads til alle.<\/p>\n

<\/p>\n

Hvis du \u00f8nsker at tale ved siden af Lamport, er det bestemt muligt. For at blive taler skal man g\u00e5 til linket<\/a><\/noindex><\/strong>, l\u00e6s omhyggeligt alt der og f\u00f8lg instruktionerne. <\/p>\n

<\/p>\n

V\u00e6r rolig, s\u00e5 snart du tilslutter dig processen, vil du f\u00e5 hj\u00e6lp. Programkomit\u00e9en har de n\u00f8dvendige ressourcer til at hj\u00e6lpe med selve pr\u00e6sentationen, dens indhold og udformning. Koordinatoren vil hj\u00e6lpe med organisatoriske sp\u00f8rgsm\u00e5l osv. <\/p>\n

<\/p>\n

L\u00e6g s\u00e6rlig v\u00e6gt p\u00e5 billedet med datoerne. Juli er en ret fjern dato for deltageren, men pr\u00e6sentatoren skal begynde at handle nu. <\/p>\n

<\/p>\n

\"Grundl\u00e6ggere<\/p>\n

<\/p>\n

SPTDC Skolen<\/h1>\n

<\/p>\n

Konferencen afholdes p\u00e5 samme sted som SPTDC skolen, derfor f\u00e5r alle, der k\u00f8ber billet til skolen, billetter til konferencen \u2014 med 20% rabat<\/strong>.<\/p>\n

<\/p>\n

Sommer Skole om Praksis og Teori af Distribuerede Computere (SPTDC)<\/a><\/noindex> \u2014 en skole, der tilbyder et bredt udvalg af kurser om praktiske og teoretiske aspekter af distribuerede systemer, ledet af anerkendte specialister inden for det relevante omr\u00e5de.<\/p>\n

<\/p>\n

Skolen vil blive afholdt p\u00e5 engelsk, s\u00e5 her er en liste over emnerne, der vil blive behandlet:<\/p>\n

<\/p>\n