Sciweavers

13 search results - page 1 / 3
» Cooperative types for controlling thread interference in Jav...
Sort
View
ISSTA
2012
ACM
11 years 6 months ago
Cooperative types for controlling thread interference in Java
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac ...
TLDI
2010
ACM
210views Formal Methods» more  TLDI 2010»
14 years 15 days ago
Effects for cooperable and serializable threads
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
Jaeheon Yi, Cormac Flanagan
PLDI
2003
ACM
13 years 8 months ago
Ownership types for safe region-based memory management in real-time Java
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
Chandrasekhar Boyapati, Alexandru Salcianu, Willia...
ECOOP
2008
Springer
13 years 5 months ago
Kilim: Isolation-Typed Actors for Java
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...
Sriram Srinivasan, Alan Mycroft
PPPJ
2003
ACM
13 years 8 months ago
Efficient Java thread serialization
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
Sara Bouchenak, Daniel Hagimont, Noel De Palma