Grupo de investigación

Computación Simultánea

En las últimas décadas, la programación simultánea ha ido ganando popularidad. Cada lenguaje y plataforma proporciona sus correspondientes primitivos, que cada vez son más complicados de utilizar de forma eficiente debido a la cada vez mayor complejidad de los sistemas, como la presencia de nodos NUMA múltiples, así como a las relajaciones de los modelos de memoria. En la práctica, surgen una serie de preguntas importantes. ¿Cómo se pueden construir hoy en día algoritmos simultáneos eficientes? ¿Cuál es el mejor equilibrio entre las garantías de progreso, la eficiencia y la imparcialidad? ¿Cómo comprobar la exactitud de dichos algoritmos? ¿Cómo compararlos? Aunque la academia ha respondido parcialmente algunas de estas preguntas, todavía hay pendientes muchos problemas prácticos. Nuestro principal objetivo es responder estas preguntas con soluciones razonables en la práctica y valoradas teóricamente, así como con herramientas de alta calidad que puedan ayudar a otros investigadores y desarrolladores del campo de la simultaneidad.

Nuestros temas de interés:

  • Algoritmos simultáneos y estructuras de datos
  • Memoria no volátil (NVM)
  • Pruebas y verificaciones
  • Análisis del rendimiento, depuración y optimización
  • Lenguajes y modelos de programación paralela
  • Recuperación de memoria

La lista completa de publicaciones se puede consultar aquí.

Proyectos principales:

La programación simultánea tradicional incluye la manipulación de un estado mutable compartido. Una alternativa a este estilo de programación es el modelo de procesos secuenciales de comunicación (CSP), que comparte datos mediante comunicaciones explícitas. Las corrutinas de Kotlin son una biblioteca que trae este modelo al lenguaje Kotlin, donde los procesos se representan mediante corrutinas (son subprocesos atenuados).

Miembros del grupo

Nikita Koval
Nikita Koval
Responsable del laboratorio/grupo de investigación
Alexander Fedorov
Alexander Fedorov
Investigador
Dmitry Khalanskiy
Dmitry Khalanskiy
Investigador
Maria Sokolova
Maria Sokolova
Investigador
Maksim Zuev
Maksim Zuev
Estudiante