Resumen de Composición de restricciones de sincronización en lenguajes concurrentes orientados a objetos

Fernando Sánchez Figueroa , Juan Hernández Núñez , Manuel Barrena García , Juan Manuel Murillo Rodríguez , Antonio Polo Márquez

• Actualmente se conocen bien los problemas existentes en la combinación de los paradigmas de programación concurrente y orientado a objetos. En los últimos años la llamada anomalía en la herencia ha sido uno de los aspectos que más ha atraído la atención de los investigadores en los lenguajes concurrentes orientados a objetos (LCOO). Sin embargo, y aunque se han realizado algunas propuestas bastante prometedoras, la mayoría de ellas no ofrecen una solución satisfactoria al problema. Es más, estas propuestas no ofrecen la extensibilidad y reusabilidad de las restricciones de sincronicación, no sólo en la misma jerarquía de clases, sino también entre diferentes jerarquías(poliformismode las restricciones de sincornización). En este artículo identificamos por qué otras propuestas no consiguen su objetivo y además presentamos un nuevo marco que ayuda a los programadores a conseguir la extensibilidad, reusabilidad y el poliformismo de las restricciones de sincronización, solucionando definitivamente el problema de la anomalía en la herencia en los LCOO. En nuestra propuesta, la sincronización se convierte en un concepto abstracto (una clase abstracta) que puede ser reutilizada por otras clases. Estas nuevas técnicas aquí presentadas están siendo integradas en ALBA, un lenguajes concurrente basado en clases que hemos desarrollado en nuestro Departamento.