Unserializable interleaving detection using hardware counters (Record no. 51550)

MARC details
000 -CABECERA
campo de control de longitud fija 01680naa a2200253 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170215.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2012 xx o 000 0 eng d
024 8# - Otro identificador estandar
Número estándar o código DIF-M6562
-- 6701
-- DIF001625
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Frati, Fernando Emmanuel
245 10 - MENCIÓN DE TÍTULO
Título Unserializable interleaving detection using hardware counters
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 archivo (190,0 kB)
500 ## - NOTA GENERAL
Nota general Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
520 ## - SUMARIO, ETC.
Sumario, etc. 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.
534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL
Encabezamiento principal del original IASTED International Conference on Parallel and Distributed Computing and Systems (24ª : 2012 : Las Vegas) PDCS 2012
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada ARQUITECTURAS PARALELAS
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Olcoz Herrero, Katzalín
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Piñuel Moreno, Luis
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Naiouf, Ricardo Marcelo
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona De Giusti, Armando Eduardo
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso <a href="http://goo.gl/t83VNJ">http://goo.gl/t83VNJ</a>
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Capítulo de libro
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Colección Biblioteca permanente Biblioteca actual Fecha de adquisición Total de préstamos Signatura topográfica completa Fecha visto por última vez Identificador Uniforme del Recurso Precio válido a partir de Tipo de ítem Koha
      Recurso en Línea Biblioteca digital Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025   A0321 11/03/2025 http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=587 11/03/2025 Capítulo de libro