Lo leslie lamport - el autor de trabajos fundamentales en computación distribuida, y también puedes conocerlo por las letras La en la palabra LaTeX - "Lamport TeX". Fue él quien por primera vez, allá por 1979, introdujo el concepto , y su artículo recibió el Premio Dijkstra (más precisamente, en 2000 el premio se llamaba a la antigua usanza: "Premio PODC Influential Paper"). hay sobre el , donde puede obtener algunos enlaces más interesantes. Si está entusiasmado con la resolución de problemas que suceden antes o (BFT), necesitan entender que Lamport está detrás de todo.
Y pronto vendrá a nuestra nueva conferencia sobre computación distribuida: Hydra, que se llevará a cabo el 11 y 12 de julio en San Petersburgo. Veamos qué tipo de animal es.
Hydra 2019
Temas como los subprocesos múltiples son algunos de los temas más candentes en nuestras conferencias, siempre lo han sido. Simplemente estaba desierto en esta sala, pero luego aparece una persona en el escenario, hablando sobre el modelo de memoria, sucede antes o la recolección de basura de subprocesos múltiples y - ¡bum! - ya menos de mil personas ocupan todo el espacio disponible para sentarse y escuchar atentamente. ¿Cuál es la esencia de este éxito? ¿Quizás el hecho de que todos tengamos en nuestras manos algún tipo de hardware capaz de organizar la computación distribuida? ¿O es que inconscientemente entendemos nuestra incapacidad para cargarlo en su verdadero valor? Hay una historia real de un cuántico de San Petersburgo (es decir, un analista y desarrollador cuantitativo financiero), que terminó con un clúster de computación en sus manos, cuya potencia total solo puede ser utilizada por él solo. ¿Y qué harías si llegaras a realizar tus tareas con capacidades muchas veces mayores que las actuales?
Debido a esta popularidad, el tema del rendimiento y la computación eficiente tiende a extenderse por todo el programa de la conferencia. ¿Cuántos de los dos días de informes se pueden hacer sobre el desempeño: un tercio, dos tercios? En algunos lugares hay restricciones artificiales que limitan este crecimiento: además del rendimiento, todavía debe haber espacio para nuevos marcos web, para algún tipo de devops o arquitectura astronáutica. ¡No, rendimiento, no nos comerá a todos enteros!
O puede ir por el camino opuesto, darse por vencido y honestamente hacer una conferencia que sea completamente sobre computación distribuida y solo sobre ellos. Y aquí está, Hidra.
Admitamos honestamente que hoy en día toda la computación está distribuida de una forma u otra. Ya sea que se trate de una máquina de múltiples núcleos, un clúster de computación o un servicio distribuido a gran escala, hay muchos procesos en todas partes que realizan cálculos independientes en paralelo, sincronizándose entre sí. Cómo funciona en teoría y cómo funciona en la práctica será el enfoque de Hydra.
Programa de la conferencia
El programa está actualmente en desarrollo. Debe incluir informes de los fundadores de las teorías de los sistemas distribuidos y de los ingenieros que trabajan con ellos en la producción.
Por ejemplo, ya conocemos la participación de Leslie Lamport de Microsoft Research y Maurice Herlihy de Brown University.
Mauricio Herlihy - un profesor de informática muy famoso y respetado, también hay una historia sobre él , donde se pueden consultar los enlaces y trabajos. Allí se pueden encontrar hasta dos premios Dijkstra, el primero por trabajos en , y el segundo, más reciente - . Por cierto, los enlaces ni siquiera conducen a SciHub, sino a la Universidad Brown y la Universidad Tecnológica de Virginia, que puede abrir y leer.
Maurice presentará un discurso de apertura llamado "Blockchains desde una perspectiva de computación distribuida". Si está interesado, puede echar un vistazo a la grabación del informe de Maurice del JUG de San Petersburgo. Evalúe cuán clara y comprensiblemente transmite el tema.
La segunda nota clave llamada "Estructuras de datos duales" dirá miguel scott de la Universidad de Rochester. Y adivina qué, él también tiene el suyo. . En su hogar en Wisconsin, es conocido por su trabajo como decano de la Universidad de Wisconsin-Madison, y en el mundo es el hombre que, junto con Doug Lea, desarrolló esos algoritmos sin bloqueo y colas sincrónicas en las que se ejecutan las bibliotecas de Java. . Recibió su Premio Dijkstra tres años después de Herlihy, por su trabajo "Algoritmos para sincronización escalable en multiprocesadores de memoria compartida" (como era de esperar, en la biblioteca en línea de la Universidad de Rochester).
Todavía queda mucho tiempo hasta mediados de julio. Le informaremos sobre otros oradores y sus temas a medida que refinamos el programa y nos acercamos a julio.
En general, surge la pregunta: ¿por qué hacemos Hydra en el verano? Después de todo, esta es la temporada baja, las vacaciones. El problema es que entre los ponentes hay profesores universitarios, y cualquier otro momento les resulta ocupado. No podíamos elegir otras fechas.
Zonas de debate
En otras conferencias, sucede que el orador lee lo necesario y se va inmediatamente. Los participantes ni siquiera tienen tiempo para buscarlo; después de todo, el próximo informe comienza casi sin interrupción. Duele mucho, especialmente cuando personas importantes como Lamport, Herlihy y Scott están presentes y vas a la conferencia solo para conocerlos y hablar de algo.
Hemos resuelto este problema. Inmediatamente después de su informe, el orador se dirige a un área de discusión especial equipada con al menos una pizarra con un marcador, y tiene bastante tiempo. Formalmente, el orador promete estar allí al menos durante el descanso entre informes. En realidad, estas áreas de discusión lata estirar durante horas y horas (dependiendo del deseo y la resistencia del hablante).
En cuanto a Lamport, si entiendo bien, quiere convencer a la mayor cantidad de gente posible de que - Ésto es una cosa buena. (). Quizás esta sea una buena oportunidad para que los ingenieros aprendan algo nuevo y útil. Leslie ofrece esta opción: quien esté interesado puede ver sus conferencias pasadas y hacer preguntas. Es decir, en lugar de una conferencia magistral, puede haber, por así decirlo, una sesión de preguntas y respuestas especializada y luego otra zona de discusión. Busqué un poco en Google y encontré uno genial (oficialmente apodado ) y una hora de conferencia con la cumbre de la facultad de Microsoft.
Si pensó en todas estas personas como nombres grabados en granito de Wikipedia y en portadas de libros, ¡es hora de conocerlos en vivo! Chatea y haz preguntas que las páginas de artículos científicos no responderán, pero sus autores estarán felices de contactarte.
Llamar por papeles
No es ningún secreto que muchos de los que ahora están leyendo el artículo no son reacios a contar algo lo suficientemente interesante. Desde un punto de vista de ingeniería, desde un punto de vista científico, desde cualquier punto de vista. La computación distribuida es un tema muy amplio y profundo, donde hay lugar para todos.
Si quieres jugar junto a Lamport, es totalmente posible. Para convertirte en orador, necesitas , lea atentamente todo lo que hay allí y hágalo de acuerdo con las instrucciones.
Ten calma, tan pronto como te conectes al proceso, serás ayudado. El comité de programa tiene recursos suficientes para ayudar con el informe en sí, su esencia y diseño. El coordinador le ayudará a lidiar con cuestiones organizativas, etc.
Presta especial atención a la imagen con las fechas. Julio es una fecha bastante lejana para el participante, y el orador necesita 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 de 20%.
- una escuela que ofrece una amplia gama de cursos sobre los aspectos prácticos y teóricos de los sistemas distribuidos, que son impartidos por expertos reconocidos en el campo correspondiente.
La escuela se llevará a cabo en inglés, así que aquí está 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áquinas de estado y Paxos;
- Tolerancia a fallas bizantina;
- Fundamentos algorítmicos de blockchains.
Hablarán los siguientes ponentes:
- 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).
con los informes de la escuela anterior se pueden ver libremente en YouTube:
Próximos pasos
El programa de la conferencia todavía se está formando. Siga las noticias en Habré o en las redes sociales (, , ).
Si realmente cree en la conferencia (o quiere aprovechar el precio inicial especial, como dicen, "Early Bird"), puede ir al sitio y .
¡Nos vemos en Hidra!
Fuente: habr.com