News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Document

Detección de interleavings no serializables usando contadores de hardware

Frati, Fernando Emmanuel et al · SEDICI UNLP · 2012

Supplementary material available
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Frati, Fernando Emmanuel et al
Publisher
SEDICI UNLP
Year
2012
Language
Spanish

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Supplementary material available

El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Open material

Summary

Descripción general del contenido del recurso.

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 herramientas que permitan detectar su presencia en entornos de producción. Lamentablemente, los algoritmos que implementan esta técnica suelen ser muy costosos en tiempo de ejecución, restringiendo su uso a etapas de prueba del software. Este trabajo muestra cómo se pueden utilizar los contadores hardware presentes en las arquitecturas de los procesadores actuales para detectar la ocurrencia de interleavings no serializables. Esta optimización permitirá disminuir el overhead que introducen las herramientas de detección de errores de concurrencia. Eje: Workshop Procesamiento distribuido y paralelo (WPDP) Red de Universidades con Carreras en Informática (RedUNCI)

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Frati, F. E. E. A. (2012). Detección de interleavings no serializables usando contadores de hardware. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23631

MLA

Frati, Fernando Emmanuel et al. Detección de interleavings no serializables usando contadores de hardware. SEDICI UNLP, 2012. http://sedici.unlp.edu.ar/handle/10915/23631.

Chicago

Frati, Fernando Emmanuel et al. 2012. Detección de interleavings no serializables usando contadores de hardware. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23631.

Harvard

Frati, F. E. E. A. 2012, Detección de interleavings no serializables usando contadores de hardware, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23631 [Accessed 8 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
Detección de interleavings no serializables usando contadores de hardware
Author / contributors
Frati, Fernando Emmanuel et al
Publisher
SEDICI UNLP
Publication year
2012
Language
Spanish

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; arquitecturas paralelas; Parallel Architectures; programa concurrente; Hardware; Distributed; error de concurrencia; detección de errores; depuración; contadores de hardware
Copied