Detección de interleavings no serializables usando contadores de hardware
El análisis de interleavings es una técnica que permite detectar violaciones de atomicidad en programas de memoria compartida. Los errores de concurrencia están fuertemente ligados al no determinismo presente en la ejecución de las aplicaciones, por lo que se considera necesario contar con herramien...
Guardado en:
| Autores principales: | Frati, Fernando Emmanuel, Olcoz Herrero, Katzalin, Piñuel Moreno, Luis, Naiouf, Marcelo, De Giusti, Armando Eduardo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2012
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23631 |
| Aporte de: |
Ejemplares similares
-
Optimización de herramientas de monitoreo de errores de concurrencia a través de contadores de hardware
por: Frati, Fernando Emmanuel, et al.
Publicado: (2011) -
Software para arquitecturas basadas en procesadores de múltiples núcleos : Detección automática de errores de concurrencia
por: Frati, Fernando Emmanuel
Publicado: (2015) -
Software for multi-core processor-based architectures : Automatic detection of concurrency errors
por: Frati, Fernando Emmanuel
Publicado: (2015) -
Evaluación de técnicas de detección de errores en programas concurrentes
por: Frati, Fernando Emmanuel
Publicado: (2014) -
Modelo para sintonización dinámica de aplicaciones guiada por eventos de hardware
por: Frati, Fernando Emmanuel, et al.
Publicado: (2014)