Unserializable interleaving detection using hardware counters

Título:

Unserializable interleaving detection using hardware counters

Autor:

Frati, Fernando Emmanuel

Colaboradores:

; Olcoz Herrero, Katzalín; Piñuel Moreno, Luis; Naiouf, Ricardo Marcelo; De Giusti, Armando Eduardo

Temas:

ARQUITECTURAS PARALELAS

En:

IASTED International Conference on Parallel and Distributed Computing and Systems (24ª : 2012 : Las Vegas) PDCS 2012

Resumen:

Concurrent programs are needed to take advantage of multicore computers. Debugging such concurrent programs is very difficult due to their nondeterminism. So, error detection tools need to be used in production environments. One very popular detection technique is interleaving analysis, which detects atomicity violations in shared memory programs. Unfortunately, the algorithms that implement this technique can be very costly at runtime, restricting its use to the software testing stage. This paper shows how to use the hardware counters present in today's processors to detect the occurrence of unserializable interleavings. This optimization will reduce the overhead introduced by concurrency bug detection tools.

URL/DOI:

http://goo.gl/t83VNJ

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (190,0 kB)

Idioma:

Inglés

Publicación:

, 2012

Puede solicitar más fácilmente el ejemplar con: A0321

Ver estantes