Verificación modular de atomicidad en bytecode Java Multi-Thread

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se presenta la compilación...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Bavera, Francisco
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2007
Materias:
Ciencias Informáticas
Informática
teoría de Lipton
SOFTWARE ENGINEERING
concurrencia
Code generation
código móvil seguro
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22142
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22142
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Informática
teoría de Lipton
SOFTWARE ENGINEERING
concurrencia
Code generation
código móvil seguro
spellingShingle Ciencias Informáticas
Informática
teoría de Lipton
SOFTWARE ENGINEERING
concurrencia
Code generation
código móvil seguro
Bavera, Francisco
Verificación modular de atomicidad en bytecode Java Multi-Thread
topic_facet Ciencias Informáticas
Informática
teoría de Lipton
SOFTWARE ENGINEERING
concurrencia
Code generation
código móvil seguro
description En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se presenta la compilación propuesta de programas fuente Java con la especificación de atomicidad a bytecode Java, con dichas especificaciones incluidas el código compilado. Garantizar atomicidad en programas mult-thread permite, posteriormente, verificar propiedades funcionales más complejas utilizando técnicas para programas secuenciales.
format Objeto de conferencia
Objeto de conferencia
author Bavera, Francisco
author_facet Bavera, Francisco
author_sort Bavera, Francisco
title Verificación modular de atomicidad en bytecode Java Multi-Thread
title_short Verificación modular de atomicidad en bytecode Java Multi-Thread
title_full Verificación modular de atomicidad en bytecode Java Multi-Thread
title_fullStr Verificación modular de atomicidad en bytecode Java Multi-Thread
title_full_unstemmed Verificación modular de atomicidad en bytecode Java Multi-Thread
title_sort verificación modular de atomicidad en bytecode java multi-thread
publishDate 2007
url http://sedici.unlp.edu.ar/handle/10915/22142
work_keys_str_mv AT baverafrancisco verificacionmodulardeatomicidadenbytecodejavamultithread
bdutipo_str Repositorios
_version_ 1764820465593876483

Ejemplares similares