Assertion checking traditionally focused on state-based properties. In a multi-threaded environment, approaches based on sharedstate require complex locking mechanisms to ensure that specifications are checked atomically (in the same state). In addition to this increased complexity, locks also negatively affect performance. In this paper, we extend both the underlying theory and the practical implementation of SAGA, a run-time checker for single-threaded Java programs, to multi-threading, while avoiding locks.
CITATION STYLE
de Boer, F. S., & de Gouw, S. (2016). Run-time checking multi-threaded java programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9587, pp. 217–228). Springer Verlag. https://doi.org/10.1007/978-3-662-49192-8_18
Mendeley helps you to discover research relevant for your work.