Interlock avoidance in transparent and dynamic parallel program instrumentation using logical clocks.

DOI10.1016/S0167-8191(99)00010-1zbMath1047.68599MaRDI QIDQ1606872

R. Smith

Publication date: 25 July 2002

Published in: Parallel Computing (Search for Journal in Brave)

zbMATH Keywords

monitoring parallel programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Interlock avoidance in transparent and dynamic parallel program instrumentation using logical clocks.