Hija Leslie Lampport - l-awtur ta 'xogħlijiet fundamentali fil-kompjuters distribwiti, u tista' wkoll tkun taf lilu bl-ittri La fil-kelma LaTeX - "Lamport TeX". Kien hu li għall-ewwel darba, lura fl-1979, daħħal il-kunċett konsistenza konsistenti, u l-artiklu tiegħu "Kif tagħmel Kompjuter Multiproċessur Li Teżegwixxi Programmi Multiproċess B'mod korrett" irċieva l-Premju Dijkstra (b'mod aktar preċiż, fl-2000 il-premju kien imsejjaħ fl-antik: "PODC Influential Paper Award"). Hemm dwaru Artiklu tal-Wikipedija, fejn tista' tikseb xi links aktar interessanti. Jekk inti eċċitati dwar is-soluzzjoni tal-problemi fuq jiġri-qabel jew problemi tal-ġenerali Biżantini (BFT), iridu jifhmu li Lampport huwa wara kollox.

U dalwaqt se jasal għall-konferenza l-ġdida tagħna dwar il-kompjuters distribwiti - Hydra, li se ssir 11-12 ta 'Lulju f'San Pietruburgu. Ejja naraw x’tip ta’ annimal hu.

Hydra 2019

Suġġetti bħall-multithreading huma wħud mill-aktar suġġetti jaħarqu fil-konferenzi tagħna, dejjem kienu. Kien biss abbandunat f'din is-sala, iżda mbagħad persuna tidher fuq il-palk, titkellem dwar il-mudell tal-memorja, jiġri-qabel jew ġbir ta 'żibel b'ħafna kamini u - boom! - diġà taħt elf ruħ jokkupaw l-ispazju kollu disponibbli biex joqogħdu bilqegħda u jisimgħu bir-reqqa. X'inhi l-essenza ta' dan is-suċċess? Forsi l-fatt li lkoll għandna f’idejna xi tip ta’ ħardwer kapaċi jorganizza kompjuters distribwiti? Jew huwa li aħna subkonxjament nifhmu l-inkapaċità tagħna li tagħbijah fil-valur veru tiegħu? Hemm storja reali ta 'kwantum wieħed ta' San Pietruburgu (jiġifieri, analista u żviluppatur kwantitattiv finanzjarju), li spiċċa b'raggruppament tal-kompjuters f'idejh, li l-qawwa sħiħa tiegħu tista 'tintuża biss minnu biss. U x'tagħmel jekk ikollok twettaq il-kompiti tiegħek b'kapaċitajiet ħafna drabi akbar minn issa?

Minħabba din il-popolarità, is-suġġett tal-prestazzjoni u l-kompjuters effiċjenti għandu t-tendenza li jinfirex mal-programm tal-konferenza. Kemm mill-jumejn ta' rapporti jistgħu jsiru dwar il-prestazzjoni - terz, żewġ terzi? F'xi postijiet hemm restrizzjonijiet artifiċjali li jillimitaw dan it-tkabbir: minbarra l-prestazzjoni, għad irid ikun hemm lok għal oqfsa tal-web ġodda, għal xi tip ta 'devops jew astronawtika arkitettonika. Le, prestazzjoni, mhux se tiekolna lkoll sħaħ!

Jew tista 'tmur bil-maqlub, iċedi qalbek u tagħmel onestament konferenza li tkun kompletament dwar kompjuters distribwiti u biss dwarhom. U hawn, Hydra.

Ejja onestament nammettu li llum il-kompjuters kollu huwa mqassam b'xi mod jew ieħor. Kemm jekk hija magna multi-core, cluster tal-kompjuters, jew servizz distribwit fuq skala kbira, hemm ħafna proċessi kullimkien li jwettqu kalkoli indipendenti b'mod parallel, sinkronizzanti ma 'xulxin. Kif taħdem fit-teorija u kif taħdem fil-prattika se tkun il-fokus ta 'Hydra.

Programm tal-Konferenza

Il-programm bħalissa qed jiġi żviluppat. Għandu jinkludi rapporti mill-fundaturi tat-teoriji tas-sistemi distribwiti u l-inġiniera li jaħdmu magħhom fil-produzzjoni.

Per eżempju, aħna diġà nafu dwar il-parteċipazzjoni ta 'Leslie Lamport mill-Microsoft Research u Maurice Herlihy mill-Università Brown.

Maurice Herlihy - professur famuż u rispettat ħafna tax-Xjenza tal-Kompjuter, hemm ukoll storja dwaru Paġna tal-Wikipedija, fejn tista 'tmur fuq il-links u xogħlijiet. Hemmhekk tista’ tinnota daqs żewġ premjijiet Dijkstra, l-ewwel għax-xogħol fuqhom "Sinkronizzazzjoni mingħajr stennija", u t-tieni, aktar reċenti - "Memorja Transazzjonali: Appoġġ Arkitettoniku għall-Istrutturi tad-Dejta mingħajr Lock". Mill-mod, il-links lanqas biss iwasslu għal SciHub, iżda għal Brown University u Virginia Tech University, tista 'tiftaħ u taqra.

Maurice se jospita diskors ewlieni msejjaħ "Blockchains minn perspettiva ta' kompjuters distribwit". Jekk interessat, tista’ tagħti ħarsa lejn ir-reġistrazzjoni tar-rapport ta’ Maurice mill-JUG ta’ San Pietruburgu. Evalwa kemm iwassal is-suġġett b'mod ċar u li jinftiehem.

It-tieni keynote imsejħa "Dual Data Structures" se taqra Michael Scott mill-Università ta’ Rochester. U aqta xiex - għandu tiegħu wkoll Paġna tal-Wikipedija. Fid-dar f’Wisconsin, huwa magħruf għax-xogħol tiegħu bħala dekan fl-Università ta’ Wisconsin-Madison, u fid-dinja huwa l-bniedem li, flimkien ma’ Doug Lea, żviluppa dawk l-algoritmi li ma jimblukkawx u l-kjuwijiet sinkroniċi li jaħdmu fuqhom il-libreriji Java. . Huwa rċieva l-Premju Dijkstra tiegħu tliet snin wara Herlihy, għax-xogħol tiegħu "Algorithms for scalable synchronization on shared-memory multiprocessors" (kif mistenni, hi tpoġġi miftuħa fil-librerija onlajn tal-Università ta’ Rochester).

Għad fadal ħafna żmien sa nofs Lulju. Aħna se ngħidulkom dwar kelliema oħra u s-suġġetti tagħhom hekk kif nirfinaw il-programm u noqorbu lejn Lulju.

B'mod ġenerali, tqum il-mistoqsija - għaliex nagħmlu Hydra fis-sajf? Wara kollox, dan huwa l-istaġun, il-vaganzi. Il-problema hi li hemm professuri universitarji fost il-kelliema, u kwalunkwe ħin ieħor huwa okkupat għalihom. Aħna sempliċement ma stajniex nagħżlu dati oħra.

Żoni ta' diskussjoni

F’konferenzi oħra, jiġri li l-kelliem qara dak li hu meħtieġ u telaq minnufih. Il-parteċipanti lanqas biss għandhom ħin biex ifittxuha - wara kollox, ir-rapport li jmiss jibda kważi mingħajr vojt. Iweġġa’ ħafna, speċjalment meta nies importanti bħal Lamport, Herlihy u Scott ikunu preżenti u fil-fatt tmur għall-konferenza biss biex tiltaqa’ magħhom u titkellem dwar xi ħaġa.

Solvejna din il-problema. Immedjatament wara r-rapport tiegħu, il-kelliem imur f'żona speċjali ta' diskussjoni mgħammra b'tal-inqas whiteboard b'markatur, u għandek ħafna ħin mhux ħażin. Formalment, il-kelliem iwiegħed li jkun hemm għall-inqas waqt il-waqfa bejn ir-rapporti. Fir-realtà, dawn l-oqsma ta 'diskussjoni tista ' stretch għal sigħat fuq tarf (skond ix-xewqa u r-reżistenza tal-kelliem).

Fir-rigward ta’ Lamport, jekk nifhem sew, irid jikkonvinċi kemm jista’ jkun nies li TLA+ - din hija ħaġa tajba. (Artiklu dwar TLA+ fuq il-Wikipedija). Forsi dan ikun ċans tajjeb għall-inġiniera biex jitgħallmu xi ħaġa ġdida u utli. Leslie joffri din l-għażla - min hu interessat jista' jara l-lectures tiegħu tal-passat u jiġi bil-mistoqsijiet. Jiġifieri, minflok keynote, jista’ jkun hemm, kif kienet, sessjoni speċjalizzata ta’ Q&A, u mbagħad żona oħra ta’ diskussjoni. I googled ftit u sibt waħda kbira Kors TLA+ (issettjati uffiċjalment playlist fuq youtube) u siegħa lekċer "Aħseb 'il fuq mill-Kodiċi" mas-Summit tal-Fakultà tal-Microsoft.

Jekk ħsibt f’dawn in-nies kollha bħala ismijiet mitfugħa fil-granit mill-Wikipedija u fuq il-qoxra tal-kotba, wasal iż-żmien li tiltaqa’ magħhom live! Chat u staqsi mistoqsijiet li l-paġni ta 'artikli xjentifiċi mhux se jwieġbu, iżda l-awturi tagħhom se jkunu kuntenti li jagħmlu kuntatt.

Sejħa għal Dokumenti

Mhuwiex sigriet li ħafna minn dawk li issa qed jaqraw l-artiklu mhumiex joqogħdu lura milli jgħidu xi ħaġa interessanti biżżejjed huma stess. Mil-lat tal-inġinerija, mill-aspett xjentifiku, minn kull aspett. L-informatika mqassma hija suġġett wiesa' ħafna u profond, fejn hemm post għal kulħadd.

Jekk trid tilgħab ma' Lamport, huwa kompletament possibbli. Biex issir kelliem, għandek bżonn segwi l-link, aqra bir-reqqa kollox hemm u agħmel dan skond l-istruzzjonijiet.

Kun kalm, hekk kif tikkonnettja mal-proċess, tkun megħjun. Il-kumitat tal-programm għandu riżorsi suffiċjenti biex jgħin fir-rapport innifsu, l-essenza u t-tfassil tiegħu. Il-koordinatur jgħinek tittratta kwistjonijiet organizzattivi u l-bqija.

Oqgħod attent ħafna għall-istampa bid-dati. Lulju huwa data pjuttost imbiegħda għall-parteċipant, u l-kelliem jeħtieġ li jibda jaġixxi issa.

SPTDC Skola

Il-konferenza se ssir fuq l-istess sit mal-iskola SPTDC, għalhekk għal kull min jixtri biljett għall-iskola, biljetti tal-konferenzi - bi skont ta ’20%.

Skola Sajf dwar il-Prattika u t-Teorija tal-Kompjuter Imqassam (SPTDС) - skola li tipprovdi firxa wiesgħa ta' korsijiet dwar l-aspetti prattiċi u teoretiċi ta' sistemi distribwiti, li huma mgħallma minn esperti rikonoxxuti fil-qasam rilevanti.

L-iskola se ssir bl-Ingliż, għalhekk hawn il-lista tas-suġġetti koperti:

• Strutturi ta' data konkorrenti: korrettezza u effiċjenza;
• Algoritmi għal memorja mhux volatili;
• Kompjutabilità distribwita;
• tagħlim imqassam bil-magni;
• Replikazzjoni tal-magni tal-istat u Paxos;
• Tolleranza għall-ħsarat Biżantini;
• Bażi algoritmiċi tal-blockchains.

Il-kelliema li ġejjin se jkunu qed jitkellmu:

• Leslie Lampport (Microsoft);
• Maurice Herlihy (Università ta’ Brown);
• Michael Scott (Università ta' Rochester);
• Dan Alistarh (IST Awstrija);
• Trevor Brown (Università ta’ Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Università Ben Gurion);
• Achour Mostefaoui (Università ta’ Nantes).

playlist bir-rapporti ta 'l-iskola preċedenti tista' tara liberament fuq YouTube:

Il-passi li jmiss

Il-programm tal-konferenza għadu qed jiġi ffurmat. Segwi l-aħbarijiet fuq Habré jew fin-netwerks soċjali (fb, vk, twitter).

Jekk verament temmen fil-konferenza (jew trid tieħu vantaġġ mill-prezz tal-bidu speċjali, kif jgħidu, "Early Bird") - tista 'tmur fis-sit u jixtru biljetti.

Narawkom Hydra!

Sors: www.habr.com