2016
Run-time checking multi-threaded java programs
Publication
Publication
Presented at the
International Conference on Current Trends in Theory and Practice of Informatics
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.
| Additional Metadata | |
|---|---|
| SDL eCommerce | |
| doi.org/10.1007/978-3-662-49192-8_18 | |
| International Conference on Current Trends in Theory and Practice of Informatics | |
| Organisation | Computer Security |
|
de Boer, F., & de Gouw, S. (2016). Run-time checking multi-threaded java programs. Presented at the International Conference on Current Trends in Theory and Practice of Informatics. doi:10.1007/978-3-662-49192-8_18 |
|
