Resumen

La memoria transaccional de software es un mecanismo efectivo para evitar errores de concurrencia en programas multihilo. Sin embargo, dos problemas dificultan la adopción de tales sistemas tradicionales en el mundo real: alto costo humano para equipar programas con funcionalidad de transacciones y baja compatibilidad con llamadas de E/S y variables condicionales. Este artículo presenta Convoider para resolver estos problemas. Al interceptar operaciones entre hilos y designar código entre ellos como transacciones en cada hilo, Convoider transaccionaliza automáticamente programas objetivo sin necesidad de modificar el código fuente ni recompilarlo. Al guardar/restaurar marcos de pila y registros de CPU al comenzar/abortar una transacción, Convoider hace que el flujo de ejecución sea revocable. Al convertir hilos en procesos, aprovechar la protección de memoria virtual y personalizar la asignación/desasignación de memoria, Convoider hace que las manipulaciones de memoria sean revocables. Al mantener sistemas de archivos virtuales y redirigir operaciones de E/S hacia ellos, Convoider hace que los efectos de E/S sean

• Materias:Sensores Seguridad informática Rendimiento del hardware Matriz
• Subjects:sensors Computer security Hardware performance Matrix
• Palabras claves:Memoria transaccional; Errores de concurrencia; Convoider; Operaciones entre hilos; Manipulaciones de memoria; Operaciones de E/S
• Keywords:Transactional memory; Concurrency bugs; Convoider; Interthread operations; Memory manipulations; I/O operations