Abstract
Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. This work provides an efficient execution model and implementation for SCOOP, a concurrency approach that provides not only data-race freedom but also pre/postcondition reasoning guarantees between threads. The extensions we propose influence the underlying semantics to increase the amount of concurrent execution that is possible, exclude certain classes of deadlocks, and enable greater performance.
- B. Morandi, M. Schill, S. Nanz, and B. Meyer. Prototyping a concurrency model. In Proc. ACSD’13, pages 170–179. IEEE, 2013. Google Scholar
Digital Library
- S. Nanz, S. West, K. Soares da Silveira, and B. Meyer. Benchmarking usability and performance of multicore languages. In Proc. ESEM’13, pages 183–192. IEEE, 2013.Google Scholar
- P. Nienaltowski. Practical framework for contract-based concurrent object-oriented programming. PhD thesis, ETH Zurich, 2007.Google Scholar
- Quicksilver, an implementation of the SCOOP/Qs model. https: //github.com/scottgw/quicksilver, Sept. 2014.Google Scholar
- S. West, S. Nanz, and B. Meyer. Efficient and reasonable object-oriented concurrency. http://arxiv.org/abs/1405.7153, 2014.Google Scholar
- G. V. Wilson and R. B. Irvin. Assessing and comparing the usability of parallel programming systems. Technical Report CSRI-321, University of Toronto, 1995.Google Scholar
- Introduction Execution Model Implementation Language ComparisonGoogle Scholar
Index Terms
Efficient and reasonable object-oriented concurrency
Recommendations
Efficient and reasonable object-oriented concurrency
PPoPP 2015: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel ProgrammingMaking threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. This work provides an efficient execution model and implementation for SCOOP, a concurrency approach that provides not only data-race freedom ...
Efficient and reasonable object-oriented concurrency
ESEC/FSE 2015: Proceedings of the 2015 10th Joint Meeting on Foundations of Software EngineeringMaking threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. This work provides an efficient execution model for SCOOP, a concurrency approach that provides not only data-race freedom but also pre/...
A multi-threaded object-oriented programming model
This paper presents a concurrent object-oriented programming (COOP) model established around concurrent objects which may have a body. Once an object with a body is created, its body begins to run as a separate execution thread of the object. ...






Comments