{"id":35091,"date":"2019-10-31T22:02:18","date_gmt":"2019-10-31T19:02:18","guid":{"rendered":"https:\/\/prohoster.info\/blog\/19-golov-gidry-bolshoj-obzor-programmy\/"},"modified":"2019-10-31T22:02:18","modified_gmt":"2019-10-31T19:02:18","slug":"19-golov-gidry-bolshoj-obzor-programmy","status":"publish","type":"post","link":"https:\/\/prohoster.info\/es\/blog\/administrirovanie\/19-golov-gidry-bolshoj-obzor-programmy","title":{"rendered":"19 cabezas de hidra. Gran revisi\u00f3n del programa","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

La conferencia se llevar\u00e1 a cabo en San Petersburgo del 11 al 12 de julio Hydra<\/a><\/noindex>, dedicada al desarrollo de sistemas paralelos y distribuidos. La caracter\u00edstica de Hydra es que re\u00fane a grandes cient\u00edficos (que generalmente solo se pueden encontrar en conferencias cient\u00edficas en el extranjero) y a destacados ingenieros pr\u00e1cticos en un mismo programa que mezcla ciencia y pr\u00e1ctica.<\/p>\n

<\/p>\n

Hydra es una de nuestras conferencias m\u00e1s importantes de los \u00faltimos a\u00f1os. Su preparaci\u00f3n fue muy seria, con la selecci\u00f3n de ponentes y presentaciones. La semana pasada se public\u00f3 una entrevista en Habr<\/a><\/noindex> con el director de JUG.ru Group, Alexey Fedorov (23derevo<\/a><\/noindex>). <\/p>\n

<\/p>\n

Nosotros ya hemos hablado<\/a><\/noindex> ) sobre tres importantes participantes, fundadores de la teor\u00eda de sistemas distribuidos: Leslie Lamport, Maurice Herlihy y Michael Scott. \u00a1Es hora de hablar en detalle sobre todo el programa!<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motivaci\u00f3n<\/h2>\n

<\/p>\n

Si te dedicas a la programaci\u00f3n, de una forma u otra te enfrentas a la multiprocesaci\u00f3n y al c\u00f3mputo distribuido. Los especialistas en los campos correspondientes trabajan directamente con ellos, pero la distribuci\u00f3n se asoma indirectamente en todas partes: en cualquier computadora multin\u00facleo o servicio distribuido siempre hay algo que ejecuta c\u00e1lculos en paralelo.<\/p>\n

<\/p>\n

Existen muchas conferencias que abordan diferentes aspectos de la programaci\u00f3n aplicada. Al otro lado del espectro, tenemos escuelas cient\u00edficas especializadas que, en forma de conferencias, desvelan grandes vol\u00famenes de teor\u00eda compleja. Por ejemplo, simult\u00e1neamente con Hydra, en San Petersburgo se lleva a cabo la escuela SPTDC.<\/a><\/noindex>. En la conferencia Hydra nos esforzamos por combinar tanto la dura pr\u00e1ctica como la ciencia, y todo lo que se encuentra en su intersecci\u00f3n.<\/strong> <\/p>\n

<\/p>\n

Reflexiona sobre esto: vivimos en un tiempo extraordinario en el que es posible conocer en persona a los fundadores del campo de la ciencia y la ingenier\u00eda en el que trabajamos. Los f\u00edsicos no conocer\u00e1n a Newton ni a Einstein; el tren ya parti\u00f3. Pero a\u00fan hay quienes establecieron las bases de la teor\u00eda de los sistemas distribuidos, inventaron lenguajes de programaci\u00f3n populares y llevaron todo esto a prototipos funcionales. Estas personas no abandonaron su trabajo a medias, est\u00e1n trabajando actualmente en problemas relevantes en universidades y compa\u00f1\u00edas de renombre mundial, y son las mayores fuentes de conocimiento y experiencia en la actualidad. <\/p>\n

<\/p>\n

Por otro lado, la posibilidad de encontrarse con ellos generalmente queda en el terreno de lo te\u00f3rico: pocos de nosotros podemos monitorear constantemente eventos p\u00fablicos en alguna universidad de Rochester y luego hacer un viaje r\u00e1pido a EE. UU. y volver a la conferencia de Michael Scott. Visitar a todos los participantes de Hydra costar\u00eda una peque\u00f1a fortuna, sin contar la gran cantidad de tiempo perdido (aunque suena como una aventura interesante).<\/p>\n

<\/p>\n

Por otro lado, tenemos muchos ingenieros destacados que est\u00e1n trabajando en problemas actuales de sistemas distribuidos, y definitivamente tienen mucho que contar. Pero el problema es que ellos, operan<\/em>, y su tiempo es valioso. S\u00ed, si eres empleado de Microsoft, Google o JetBrains, la probabilidad de encontrarte a uno de los ponentes conocidos en un evento interno aumenta dr\u00e1sticamente, pero en general, no es algo que suceda a diario.<\/p>\n

<\/p>\n

As\u00ed, la conferencia Hydra cumple una importante funci\u00f3n que la mayor\u00eda de nosotros no podemos hacer por nuestra cuenta: re\u00fane en un solo lugar y momento a personas cuyas ideas o cuyas interacciones pueden cambiar tu vida. Admito que no todos necesitan sistemas distribuidos ni conceptos fundamentales complejos. Se puede pasar toda la vida programando CRUD en PHP y ser completamente feliz. Pero para aquellos que lo necesitan, esta es su oportunidad.<\/p>\n

<\/p>\n

Desde el primer anuncio de la conferencia Hydra en Habr, ha pasado bastante tiempo. Durante este per\u00edodo, se ha realizado un gran trabajo, y ahora tenemos una lista de casi todas las presentaciones. \u00a1Nada de algoritmos monohilo aburridos, solo puro hardcore distribuido! Terminemos con las palabras generales y veamos qu\u00e9 tenemos ahora en nuestras manos.<\/p>\n

<\/p>\n

Keynotes<\/h2>\n

<\/p>\n

Los keynotes inician y cierran los d\u00edas de la conferencia. Normalmente, el prop\u00f3sito del keynote inaugural es establecer el ambiente general y la direcci\u00f3n de la conferencia. El keynote de clausura hace un resumen y explica c\u00f3mo debemos vivir con los conocimientos y habilidades adquiridos durante los d\u00edas de la conferencia. Inicio y final: lo que recordaremos mejor y, en general, tiene una importancia especial.<\/p>\n

<\/p>\n

Cliff Click \u2014 El algoritmo K\/V distribuido H2O<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Cliff es una leyenda en el mundo de Java. A fines de la d\u00e9cada de 1990, escribi\u00f3 una tesis para su doctorado titulada \u00abCombinando An\u00e1lisis, Combinando Optimizaciones\u00bb<\/noindex>, que se convirti\u00f3 en la base para HotSpot JVM Server Compiler despu\u00e9s de un tiempo. Dos a\u00f1os m\u00e1s tarde, ya estaba trabajando en Sun Microsystems en la JVM y demostr\u00f3 al mundo que JIT ten\u00eda un lugar. Toda esta historia sobre c\u00f3mo Java es uno de los tiempos de ejecuci\u00f3n modernos m\u00e1s r\u00e1pidos con las optimizaciones m\u00e1s inteligentes y r\u00e1pidas proviene de Cliff Click. Al principio, se pensaba que si algo estaba disponible para el compilador est\u00e1tico, no hab\u00eda necesidad de intentar jit. Gracias al trabajo de Cliff y su equipo, todos los nuevos lenguajes comenzaron a crearse con la idea de la compilaci\u00f3n JIT por defecto. Sin duda, no fue un trabajo de una sola persona, pero Cliff tuvo un papel muy importante en ello.<\/p>\n

<\/p>\n

En la keynote de apertura, Cliff hablar\u00e1 sobre otro de sus proyectos \u2014 H20<\/a><\/noindex>, una plataforma en memoria para el aprendizaje autom\u00e1tico distribuido y escalable para aplicaciones industriales. M\u00e1s espec\u00edficamente, sobre el almacenamiento distribuido de pares \u00abclave-valor\u00bb dentro de ella. Es un almacenamiento muy r\u00e1pido con muchas propiedades interesantes (la lista exacta est\u00e1 en la descripci\u00f3n<\/a><\/noindex>), que permiten usar soluciones similares en matem\u00e1ticas de transmisi\u00f3n de grandes datos.<\/p>\n

<\/p>\n

Otra charla que dar\u00e1 Cliff es \u2014 La experiencia de la memoria transaccional hardware de Azul<\/a><\/noindex>. Otra parte de su biograf\u00eda es una d\u00e9cada de trabajo en Azul<\/noindex>, donde actualiz\u00f3 y mejor\u00f3 muchas cosas en el hardware y el stack de tecnolog\u00edas de Azul: compiladores JIT, tiempo de ejecuci\u00f3n, modelo de hilos, manejo de errores, trabajo con la pila, interrupciones hardware, carga de clases, y as\u00ed sucesivamente \u2014 ya entendieron.<\/p>\n

<\/p>\n

La parte m\u00e1s interesante comenz\u00f3 cuando hicieron hardware para grandes empresas \u2014 un superordenador para ejecutar Java. Era algo bastante innovador, dise\u00f1ado espec\u00edficamente para Java, que tiene requisitos especiales \u2014 barreras de memoria para lectura para la recolecci\u00f3n de basura de baja latencia, arreglos con comprobaci\u00f3n de l\u00edmites, llamados virtuales\u2026 Una de las tecnolog\u00edas m\u00e1s impresionantes fue la memoria transaccional hardware. Todo el L1 de cualquiera de los 864 n\u00facleos pod\u00eda participar en una escritura transaccional, lo cual es especialmente importante para trabajar con bloqueos en Java (los bloques synchronized pueden funcionar en paralelo, siempre que no haya conflicto real en la memoria). Sin embargo, una buena idea se enfrent\u00f3 a una dura realidad \u2014 y en esta charla, Cliff explicar\u00e1 por qu\u00e9 HTM y STM no son muy adecuadas para las necesidades pr\u00e1cticas de la computaci\u00f3n multihilo.<\/p>\n

<\/p>\n

Michael Scott \u2014 Estructuras de datos duales<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Michael Scott<\/a><\/noindex> \u2014 profesor de Ciencias de la Computaci\u00f3n en la Universidad de Rochester, con la que el destino lo ha vinculado desde hace 34 a\u00f1os<\/noindex>, y en su universidad natal Wisconsin\u2013Madison, fue decano durante cinco a\u00f1os. Se dedica a la investigaci\u00f3n en programaci\u00f3n paralela y distribuida, as\u00ed como en el dise\u00f1o de lenguajes y ense\u00f1a estos temas a los estudiantes.<\/p>\n

<\/p>\n

El mundo entero conoce a Michael gracias a su manual \u00abProgramming Language Pragmatics\u00bb<\/a><\/noindex>, cuya \u00faltima edici\u00f3n se public\u00f3 relativamente hace poco \u2014 en 2015. Su trabajo \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb<\/a><\/noindex> reciba gan\u00f3 el premio Dijkstra<\/a><\/noindex> como uno de los m\u00e1s reconocidos en el \u00e1mbito de los c\u00e1lculos distribuidos y est\u00e1 disponible<\/a><\/noindex> en la biblioteca en l\u00ednea de la Universidad de Rochester. Tambi\u00e9n podr\u00eda conocerlo como el autor del famoso algoritmo de Michael-Scott de \u00abSimple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms\u00bb<\/a><\/noindex>.<\/p>\n

<\/p>\n

En cuanto al mundo de Java, hay un caso especial: junto con Doug Lea, desarroll\u00f3 esos algoritmos no bloqueantes y las colas sincronizadas que utilizan las bibliotecas de Java. De esto tratar\u00e1 la keynote \u00abEstructuras de datos duales\u00bb \u2014 la implementaci\u00f3n de estas estructuras en Java SE 6 permiti\u00f3 mejorar el rendimiento java.util.concurrent.ThreadPoolExecutor<\/code>. Si le interesa saber de antemano qu\u00e9 son estas \u00abEstructuras de datos duales\u00bb, hay un trabajo correspondiente<\/a><\/noindex>. <\/p>\n

<\/p>\n

Maurice Herlihy \u2014 Blockchain y el futuro de la computaci\u00f3n distribuida<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Maurice Herlihy<\/a><\/noindex> \u2014 ganador de dos premios Dijkstra. El primero \u2014 por su trabajo en \u00abWait-Free Synchronization\u00bb<\/a><\/noindex> (Universidad de Brown), y el segundo, m\u00e1s reciente \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex> (Universidad de Virginia Tech). El premio Dijkstra se otorga por trabajos cuyas contribuciones y su impacto han sido notables durante al menos diez a\u00f1os, y es claro que Maurice es uno de los especialistas m\u00e1s reconocidos en el \u00e1rea. Actualmente, trabaja como profesor en la Universidad de Brown y tiene muchos logros que podr\u00edan llenar un p\u00e1rrafo.<\/p>\n

<\/p>\n

En esta keynote de cierre, Maurice hablar\u00e1 sobre la teor\u00eda y pr\u00e1ctica de los sistemas distribuidos basados en blockchain desde la perspectiva de la teor\u00eda cl\u00e1sica de c\u00e1lculos distribuidos y c\u00f3mo esto simplifica muchos problemas relacionados. Esta es una charla estrictamente tem\u00e1tica de la conferencia \u2014 no trata sobre el bombo del minado, sino sobre c\u00f3mo nuestro conocimiento puede ser sorprendentemente efectivo y relevante para una variedad de tareas.<\/p>\n

<\/p>\n

En julio de 2017, Maurice ya estuvo en Rusia para la escuela SPTDC, particip\u00f3 en un meetup de JUG.ru y la grabaci\u00f3n est\u00e1 disponible en YouTube:<\/p>\n

\n

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

Programa principal<\/h2>\n

<\/p>\n

A continuaci\u00f3n, habr\u00e1 una breve revisi\u00f3n de las charlas incluidas en el programa. Algunas de las charlas se describen aqu\u00ed en detalle, mientras que otras son m\u00e1s breves. Las descripciones largas, principalmente, fueron asignadas a las charlas en ingl\u00e9s que requieren referencias a trabajos cient\u00edficos, t\u00e9rminos de Wikipedia, etc. La lista completa se puede ver en el sitio web de la conferencia<\/a><\/noindex>. La lista en el sitio web se actualizar\u00e1 y complementar\u00e1. <\/p>\n

<\/p>\n

Leslie Lamport \u2014 Q & A<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Leslie Lamport es autor de trabajos fundamentales en computaci\u00f3n distribuida. \u00abLaTeX\u00bb<\/a><\/noindex> se traduce como \u00abLamport TeX\u00bb. Fue \u00e9l quien por primera vez, en 1979, introdujo el concepto consistencia secuencial<\/a><\/noindex>, y su art\u00edculo \u00abHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u00bb<\/a><\/noindex> recibi\u00f3 el premio Dijkstra.<\/p>\n

<\/p>\n

Esta es la parte m\u00e1s inusual del programa, porque no es ni siquiera una charla, sino una sesi\u00f3n de preguntas y respuestas. Cuando una parte significativa de la audiencia ya est\u00e1 familiarizada (o puede familiarizarse) con los numerosos trabajos basados en \u00abla teor\u00eda de Lamport\u00bb, as\u00ed como con sus propios art\u00edculos y charlas, es crucial dedicar todo el tiempo disponible a la comunicaci\u00f3n directa.<\/p>\n

<\/p>\n

La idea es sencilla: ves dos charlas en YouTube: \u00abProgramming Should Be More Than Coding\u00bb<\/a><\/noindex> y \u00abSi No Est\u00e1s Escribiendo un Programa, No Use un Lenguaje de Programaci\u00f3n\u00bb<\/a><\/noindex> y preparas al menos una pregunta, a lo que Leslie responde.<\/p>\n

<\/p>\n

La primera de estos dos videos ya hemos convertido en un art\u00edculo tipo hub<\/a><\/noindex>. Si no tienes una hora para ver el video, puedes leer todo esto r\u00e1pidamente en formato de texto.<\/p>\n

<\/p>\n

Nota: hay muchos m\u00e1s videos de Leslie Lamport en YouTube. Por ejemplo, hay uno excelente curso sobre TLA+<\/a><\/noindex>. La versi\u00f3n offline de todo este curso est\u00e1 en la p\u00e1gina de inicio del autor<\/a><\/noindex>, y en YouTube la ha subido para una visualizaci\u00f3n m\u00e1s c\u00f3moda en dispositivos m\u00f3viles.<\/p>\n

<\/p>\n

Martin Kleppmann \u2014 Sincronizando datos entre dispositivos de usuarios para colaboraci\u00f3n distribuida<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Martin Kleppmann es investigador en la Universidad de Cambridge, trabajando en CRDT y verificaci\u00f3n formal de algoritmos. El libro de Martin \u00abDesigning Data-Intensive Applications\u00bb<\/noindex>, publicado en 2017, ha sido muy exitoso y ha llegado a las listas de bestsellers en el \u00e1rea de almacenamiento y procesamiento de datos. Kevin Scott, CTO de Microsoft, una vez dijo<\/a><\/noindex>: \u00abEste libro deber\u00eda ser obligatorio para ingenieros desarrolladores. Es un recurso raro que une teor\u00eda y pr\u00e1ctica, ayudando a los desarrolladores a dise\u00f1ar e implementar de manera m\u00e1s inteligente la infraestructura y sistemas de procesamiento de datos\u00bb. Algo similar dijo el creador de Kafka y CTO de Confluent, Jay Kreps.<\/p>\n

<\/p>\n

Antes de dedicarse a la investigaci\u00f3n acad\u00e9mica, Mart\u00edn trabaj\u00f3 en la industria y fue cofundador de dos startups exitosas:<\/p>\n

<\/p>\n