Esta es Leslie Lampport , la autora de los trabajos fundamentales en computación distribuida, y también puede conocerlo por las letras La en la palabra La TeX - "Lamport TeX". Esta es la primera vez que introdujo el concepto de consistencia consistente en 1979, y su artículo "Cómo hacer una computadora multiprocesador que ejecute correctamente programas multiproceso" ganó el Premio Dijkstra (más precisamente, en 2000 el premio se llamó de la manera antigua: "Premio de papel influyente PODC "). Hay un artículo en Wikipedia sobre él donde puedes obtener algunos enlaces más interesantes. Si está encantado de resolver problemas en los eventos anteriores o problemas de los generales bizantinos (BFT), entonces debe comprender que Lamport está detrás de todo esto.

También vendrá a nuestra nueva conferencia sobre computación distribuida: Hydra, que se realizará del 11 al 12 de julio en San Petersburgo. Veamos qué tipo de bestia es esta.

Hydra 2019

Temas como el multihilo son algunos de los más populares en nuestras conferencias, siempre han sido así. Estaba desierta en esta habitación, pero aquí aparece un hombre en el escenario hablando sobre el modelo de memoria, la recolección de basura antes de que ocurra o con varios subprocesos y ¡boom! - Ya menos de mil personas ocupan todo el espacio disponible para sentarse y escuchar con atención. ¿Cuál es la esencia de este éxito? ¿Quizás en el hecho de que todos tenemos algún tipo de hardware en nuestras manos que puede organizar la computación distribuida? ¿O es que subconscientemente entendemos nuestra incapacidad para cargarlo a su verdadero valor? Hay una historia real de un cuanto cuántico de San Petersburgo (es decir, un analista y desarrollador cuantitativo financiero), en cuyas manos estaba un clúster informático, cuyo poder solo él solo puede usar. ¿Y qué harías si tuvieras el poder de cumplir tus tareas muchas veces más que ahora?

Debido a esta popularidad, el tema del rendimiento y la informática eficiente tiende a extenderse por todo el programa de la conferencia. ¿Cuántos de los dos días de presentaciones se pueden hacer sobre el rendimiento: un tercio, dos tercios? En algunos lugares, existen restricciones artificiales que limitan este crecimiento: además del rendimiento, todavía debe haber espacio para nuevos marcos web, para algún tipo de astronáutica arquitectónica o desproporcionada. No hay actuación, ¡no nos comerás a todos!

O puede ir en sentido contrario, darse por vencido y honestamente hacer una conferencia que se centrará exclusivamente en la informática distribuida y solo en ellos. Y aquí está ella, Hydra.

Admitamos honestamente que hoy todos los cálculos están distribuidos de alguna manera. Ya sea una máquina multinúcleo, un clúster informático o un servicio distribuido a gran escala, en todas partes hay muchos procesos que realizan simultáneamente cálculos independientes, sincronizándose entre sí. Hydra se dedicará a cómo esto se organiza en teoría y funciona en la práctica.

Programa de la conferencia

El programa se encuentra actualmente en proceso de formación. Debe incluir informes de los fundadores de las teorías de los sistemas distribuidos y los ingenieros que trabajan con ellos en la producción.

Por ejemplo, ahora se sabe sobre la participación de Leslie Lamport de Microsoft Research y Maurice Herlihy de Brown University.

Maurice Herlichi es un profesor muy famoso y respetado de Ciencias de la Computación, sobre él también hay una página de Wikipedia donde puedes revisar los enlaces y los trabajos. Allí puede ver hasta dos premios Dijkstra, el primero para el trabajo de Sincronización sin esperas , y el segundo, más reciente, Memoria transaccional: Soporte arquitectónico para estructuras de datos sin bloqueo . Por cierto, los enlaces ni siquiera conducen a SciHub, sino a Brown University y Virginia Tech University, puedes abrir y leer.

Maurice está a punto de celebrar una nota clave llamada "Blockchains desde una perspectiva informática distribuida". Si está interesado, puede echar un vistazo a la grabación del informe de Maurice de St. Petersburg JUG. Evalúe con qué claridad y claridad transmite el tema.

La segunda nota, titulada "Estructuras de datos duales", será leída por Michael Scott, de la Universidad de Rochester. Y adivina qué: también tiene su propia página de Wikipedia . En Wisconsin, es conocido por su trabajo como decano en la Universidad Wisconsin-Madison, y en el mundo es la persona que, junto con Doug Lea, desarrolló esos algoritmos sin bloqueo y colas sincrónicas que ejecutan bibliotecas Java. Recibió su Premio Dijkstra tres años después de Herliha, por su trabajo "Algoritmos para sincronización escalable en multiprocesadores de memoria compartida" (como debería ser, está abiertamente en la biblioteca en línea de la Universidad de Rochester).

Todavía hay mucho tiempo hasta mediados de julio. Hablaremos sobre el resto de los oradores y sus temas a medida que se aclare el programa y se acerque a julio.

En general, surge la pregunta: ¿por qué hacemos Hydra en el verano? Después de todo, esta es una temporada muerta, vacaciones. El problema es que entre los oradores hay profesores universitarios, y se les quita cualquier otro tiempo. Simplemente no pudimos elegir otras fechas.

Áreas de discusión

En otras conferencias, sucede que el orador lee lo que se necesita e inmediatamente se va. Los participantes ni siquiera tienen tiempo para buscarlo; después de todo, sin un vacío, comienza el próximo informe. Esto es muy doloroso, especialmente si personas tan importantes como Lamport, Herlichi y Scott están presentes, y generalmente vas a la conferencia solo para reunirte con ellos y discutir algo.

Hemos resuelto este problema. Inmediatamente después de su informe, el orador va a un área de discusión especial equipada con al menos una pizarra con un marcador, y tiene un margen de tiempo bastante grande. Formalmente, el orador promete estar allí al menos todo el tiempo entre los informes. En realidad, estas zonas de discusión pueden extenderse durante horas (dependiendo del deseo y la resistencia del hablante).

En cuanto a Lamport, si entendí correctamente, quiere convencer a tantas personas como sea posible de que TLA + es algo bueno. ( Artículo de Wikipedia sobre TLA + ). Quizás esta sea una buena oportunidad para que los ingenieros aprendan algo nuevo y útil. Leslie ofrece esta opción: cualquiera que esté interesado puede ver sus conferencias anteriores y hacer preguntas. Es decir, en lugar de la nota clave, puede haber una sesión especializada de preguntas y respuestas, y luego una zona de debate. Busqué en Google un poco y encontré un excelente curso TLA + (duplicado oficialmente por una lista de reproducción de YouTube ) y una conferencia de una hora de duración "Pensando por encima del código" con Microsoft Faculty Summit.

Si percibiste a todas estas personas como nombres en granito de Wikipedia y en las portadas de los libros, ¡es hora de conocerlos en vivo! Comunique y haga preguntas que las páginas de los artículos científicos no responderán, pero sus autores con gusto se pondrán en contacto.

Llamada para papeles

No es ningún secreto que muchos de los que leen el artículo no son reacios a decir algo lo suficientemente interesante. Desde un punto de vista de ingeniería, desde un punto de vista científico, desde cualquier. La informática distribuida es un tema muy amplio y profundo, donde hay espacio para todos.

Si desea realizar junto a Lamport, esto es completamente posible. Para convertirse en un orador, debe seguir el enlace , leer detenidamente todo lo que contiene y hacerlo de acuerdo con las instrucciones.

Mantén la calma, tan pronto como te unas al proceso, ellos te ayudarán. El comité del programa tiene la capacidad de ayudar con el informe en sí, su esencia y diseño. El coordinador ayudará a lidiar con los problemas de organización, etc.

Especial atención a la imagen con las fechas. Julio es una fecha bastante lejana para el participante, y el orador debe comenzar a actuar ahora.

Escuela SPTDC

La conferencia se llevará a cabo en el mismo sitio con la escuela SPTDC, por lo que para todos los que compren un boleto para la escuela, boletos para la conferencia, con un descuento del 20% .

La Escuela de Verano sobre Práctica y Teoría de la Computación Distribuida (SPTDC) es una escuela que ofrece una amplia gama de cursos sobre los aspectos prácticos y teóricos de los sistemas distribuidos, impartidos por especialistas reconocidos en el campo relevante.

La escuela se llevará a cabo en inglés, así es como se ve la lista de temas cubiertos:

• Estructuras de datos concurrentes: corrección y eficiencia;
• Algoritmos para memoria no volátil;
• Computabilidad distribuida
• Aprendizaje automático distribuido;
• Replicación de máquina de estado y Paxos;
• Tolerancia bizantina a las fallas;
• Conceptos básicos algorítmicos de blockchains.

Hablarán los siguientes oradores:

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Universidad de Brown);
• Michael Scott (Universidad de Rochester);
• Dan Alistarh (IST Austria);
• Trevor Brown (Universidad de Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Universidad Ben Gurion);
• Achour Mostefaoui (Universidad de Nantes).

Puedes ver libremente la lista de reproducción de informes escolares anteriores en YouTube:

Próximos pasos

El programa de la conferencia aún se está formando. Siga las noticias en Habré o en las redes sociales ( fb , vk , twitter ).

Si realmente cree en la conferencia (o quiere usar el precio especial de inicio, como dicen, "Early Bird"), puede ir al sitio web y comprar boletos .

¡Nos vemos en Hydra!