An instrumentation technique for online analysis of multithreaded programs

Summary form only given. A formal analysis technique aiming at finding safety errors in multithreaded systems at runtime is investigated. An automatic code instrumentation procedure based on multithreaded vector clocks for generating the causal partial order on relevant state update events from a ru...

Full description

Bibliographic Details

Published in:	Parallel and Distributed Processing: Proceedings, 18th International Symposium, Santa Fe, NM, 2004 p. 268
Main Authors:	Rosu, G., Sen, K.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 2004
Subjects:	Clocks Computer errors Computer science Instruments Java Packaging Runtime Safety Testing Yarn
ISBN:	0769521320, 9780769521329
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!