• Título: Efficient implementation of the ordered read write locks model on multicore architectures (Implementación eficiente de modelos de locks de lecto-escritura ordenada sobre plataformas multicore).
• Director: Jens Gustedt.
• Co-Director: Diego Garbervetsky.
• Jurados: Dr. Gervasio Perez, Dr. Fernando Schapachnik.
• Resumen:

Las computadoras con procesadores múltiples son moneda corriente en la informática actual, se los puede encontrar tanto en servidores como teléfonos móviles e incluso en relojes inteligentes. Su adopción, sin embargo, plantea algunos desafíos entre los cuales el control de concurrencia es probablemente uno de los más difíciles de superar. Los lenguajes de programación actuales proporcionan un soporte rudimentario para aprovechar con éxito estas arquitecturas, y las numerosas soluciones existentes a este problema presentan distintas optimizaciones.

Este trabajo presenta una implementación eficiente del modelo de lecto-escritura ordenada. Se trata de un enfoque para abordar el problema de control de concurrencia, en el cual se elimina cualquier posibilidad de bloqueo mutuo, al mismo tiempo que logra una alta paralelización del procesamiento. Para lograr esta implementación, se desarrolló una instrumentación personalizada que permitió encontrar los componentes a mejorar. Además, se realizaron observaciones sobre invariantes impuestos por el modelo teórico que permitieron mejorar la eficiencia de la implementación.

Con respecto a la implementación de referencia, la presentada en este trabajo mejora el rendimiento en arquitecturas de múltiples procesadores entre 7 y 31 veces para los casos estudiados, escalando mejor con un número creciente de procesadores y permitiendo al mismo tiempo ser utilizada para cálculos de menores dimensiones.