El Leslie Lampport é o autor de obras fundamentais en computación distribuída, e tamén podes coñecelo polas letras La na palabra LaTeX - "Lamport TeX". Foi el quen primeiro, por 1979, introduciu o concepto , e o seu artigo recibiu o premio Dijkstra (máis precisamente, no ano 2000 o premio chamábase á súa antiga: "PODC Influential Paper Award"). Hai sobre el , onde podes obter algunhas ligazóns máis interesantes. Se estás entusiasmado con resolver problemas, ocorre antes ou (BFT), entón debes entender que Lampport está detrás de todo isto.
Tamén virá en breve á nosa nova conferencia sobre computación distribuída - Hydra, que terá lugar do 11 ao 12 de xullo en San Petersburgo. A ver que tipo de animal é este.
Hidra 2019
Temas como o multithreading están entre os máis populares nas nosas conferencias, sempre o foron. Xusto agora esta sala estaba deserta, pero entón aparece unha persoa no escenario falando sobre o modelo de memoria, acontece antes ou a recollida de lixo multiproceso e - boom! — xa preto de mil persoas ocupan todo o espazo dispoñible para sentarse e escoitar atentamente. Cal é a esencia deste éxito? Quizais sexa porque todos temos algún tipo de hardware a man que poida organizar a computación distribuída? Ou é que inconscientemente entendemos a nosa incapacidade para cargalo como se merece? Hai unha historia real dun quant de San Petersburgo (é dicir, un analista cuantitativo financeiro e desenvolvedor), que se atopou en posesión dun clúster de computación, cuxa potencia só el só podía usar. Que farías se tiveses unha capacidade para realizar as túas tarefas que fose moitas veces maior que agora?
Debido a tal popularidade, o tema da produtividade e da informática eficiente tende a estenderse pola axenda da conferencia. Cantos dos dous días de informes se poden facer sobre o rendemento: un terceiro, dous terzos? Nalgúns lugares existen restricións artificiais que limitan este crecemento: ademais do rendemento, aínda debe haber espazo para novos frameworks web, para algún tipo de devops ou astronáutica arquitectónica. Non, actuación, non nos comerás a todos enteiros!
Ou podes ir polo camiño contrario, rendirte e facer honestamente unha conferencia que versará enteiramente sobre a computación distribuída e só sobre elas. E aquí está, Hydra.
Admitamos sinceramente que hoxe todos os cálculos están distribuídos dun xeito ou doutro. Xa sexa unha máquina multinúcleo, un clúster de computación ou un servizo distribuído a gran escala, hai moitos procesos en todas partes que realizan cálculos independentes en paralelo, sincronizándose entre si. Hydra dedicarase a como funciona isto na teoría e como funciona na práctica.
Programa da conferencia
O programa atópase actualmente na súa fase de formación. Debe incluír informes dos fundadores das teorías dos sistemas distribuídos e dos enxeñeiros que traballan con eles na produción.
Por exemplo, xa se coñece a participación de Leslie Lamport de Microsoft Research e Maurice Herlihy da Brown University.
Maurice Herlihy - un profesor de Informática moi famoso e respectado, tamén hai información sobre el , onde podes navegar por ligazóns e obras. Alí podedes notar dous premios Dijkstra, o primeiro polo traballo , e o segundo, máis recente - . Por certo, as ligazóns nin sequera levan a SciHub, pero á Brown University e á Virginia Tech University, podes abrir e ler.
Maurice celebrará unha conferencia chamada "Blockchains desde unha perspectiva de computación distribuída". Se estás interesado, podes botarlle unha ollada á gravación do informe de Maurice do JUG de San Petersburgo. Avaliar a claridade e comprensión que transmite o tema.
Lerá a segunda charla chamada "Estruturas de datos duais". Michael Scott da Universidade de Rochester. E adiviña o que - tamén ten o seu . Na súa casa, en Wisconsin, é coñecido polo seu traballo como decano da Universidade de Wisconsin-Madison, e no mundo é o home que, xunto con Doug Lea, desenvolveu os algoritmos non bloqueadores e as colas sincrónicas sobre as bibliotecas de Java. traballo. Recibiu o premio Dijkstra tres anos despois de Herlihy, polo seu traballo "Algorithms for scalable synchronization on shared-memory multiprocessors" (como era de esperar, na biblioteca en liña da Universidade de Rochester).
Aínda queda moito tempo ata mediados de xullo. Falarémosvos dos relatores restantes e dos seus temas a medida que perfeccionemos o programa e nos acheguemos a xullo.
En xeral, xorde a pregunta: por que facemos Hydra no verán? Despois de todo, esta é a tempada baixa, as vacacións. O problema é que entre os falantes hai profesores universitarios, e calquera outro momento está ocupado para eles. Simplemente non puidemos escoller outras datas.
Áreas de debate
Noutras conferencias, ocorre que o relator leu o que necesitaba e inmediatamente marchou. Os participantes nin sequera teñen tempo para buscalo; despois de todo, o seguinte informe comeza case sen un intervalo. Isto é moi doloroso, especialmente se están presentes persoas importantes como Lamport, Herlihy e Scott, e realmente vas á conferencia só para coñecelos e discutir algo.
Resolvemos este problema. Inmediatamente despois do seu informe, o relator vai a unha zona de discusión especial, equipada polo menos cunha pizarra con rotulador, e tes bastante tempo. Formalmente, o relator promete estar alí polo menos durante todo o descanso entre presentacións. En realidade, estas áreas de discusión lata estirar durante horas e horas (dependendo do desexo e resistencia do falante).
En canto a Lamport, se entendo ben, quere convencer diso ao maior número posible - isto é bo. (). Quizais esta sexa unha boa oportunidade para que os enxeñeiros aprendan algo novo e útil. Leslie ofrece esta opción: aqueles que estean interesados poden ver as súas conferencias pasadas e facer preguntas. É dicir, en lugar dunha conferencia maxistral, podería haber unha sesión de preguntas e respostas especializada, e despois tamén unha zona de debate. Busquei en Google e atopei un xenial. (oficialmente dobrado ) e unha charla dunha hora de Microsoft Faculty Summit.
Se percibías a todas estas persoas como nomes fundidos en granito da Wikipedia e nas portadas de libros, é hora de coñecelos en persoa! Chatea e fai preguntas que as páxinas dos artigos científicos non responderán, pero os seus autores estarán encantados de contactar.
Chamada de Traballos
Non é ningún segredo que moitos dos que agora están a ler o artigo non se resisten a dicirnos algo bastante interesante. Desde o punto de vista da enxeñaría, desde o punto de vista científico -desde calquera punto de vista. A informática distribuída é un tema moi amplo e profundo onde hai espazo para todos.
Se queres competir xunto a Lamport, é totalmente posible. Para converterse nun orador necesitas , le todo alí atentamente e fai de acordo coas instrucións.
Tranquilo, en canto te incorpores ao proceso, eles vanche axudar. O Comité do Programa ten capacidades suficientes para axudar co propio informe, a súa esencia e deseño. O coordinador axudarache a resolver problemas de organización, etc.
Presta especial atención á imaxe coas datas. Xullo é unha data bastante afastada para o participante, pero o orador debe comezar a actuar agora.
Escola SPTDC
A conferencia celebrarase no mesmo sitio que a escola SPTDC, polo que para todos os que compren unha entrada para a escola, as entradas para a conferencia - cun 20% de desconto.
é unha escola que imparte unha ampla gama de cursos sobre os aspectos prácticos e teóricos dos sistemas distribuídos, impartidos por recoñecidos expertos na materia.
A escola realizarase en inglés, polo que este é o aspecto da lista de temas tratados:
- Estruturas de datos concorrentes: corrección e eficiencia;
- Algoritmos para memoria non volátil;
- computabilidade distribuída;
- Aprendizaxe automática distribuída;
- Réplica estado-máquina e Paxos;
- tolerancia a fallas bizantinas;
- Fundamentos algorítmicos de blockchains.
Intervirán os seguintes relatores:
- Leslie Lampport (Microsoft);
- Maurice Herlihy (Universidade de Brown);
- Michael Scott (Universidade de Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Universidade de Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Universidade Ben Gurion);
- Achour Mostefaoui (Universidade de Nantes).
Podes ver libremente os informes da escola anterior en YouTube:
Próximos pasos
O programa da conferencia aínda está en proceso de elaboración. Siga as novidades en Habré ou nas redes sociais (, , ).
Se realmente cres na conferencia (ou queres aproveitar o prezo especial da entrada, chamado "Early Bird"), podes ir á páxina web e .
Vémonos en Hydra!
Fonte: www.habr.com