Using Ownership to Reason About Inherent Parallelism in Object-Oriented Programs
Contribuinte(s) |
Gupta, Rajiv |
---|---|
Data(s) |
01/03/2010
|
Resumo |
With the emergence of multi-cores into the mainstream, there is a growing need for systems to allow programmers and automated systems to reason about data dependencies and inherent parallelismin imperative object-oriented languages. In this paper we exploit the structure of object-oriented programs to abstract computational side-effects. We capture and validate these effects using a static type system. We use these as the basis of sufficient conditions for several different data and task parallelism patterns. We compliment our static type system with a lightweight runtime system to allow for parallelization in the presence of complex data flows. We have a functioning compiler and worked examples to demonstrate the practicality of our solution. |
Formato |
application/pdf |
Identificador | |
Publicador |
Springer-Verlag Berlin Heidelberg |
Relação |
http://eprints.qut.edu.au/31633/1/31633.pdf DOI:10.1007/978-3-642-11970-5_9 Craik, Andrew J. & Kelly, Wayne A. (2010) Using Ownership to Reason About Inherent Parallelism in Object-Oriented Programs. Lecture Notes in Computer Science, 6011, pp. 145-164. |
Direitos |
Copyright 2010 Springer-Verlag Berlin Heidelberg |
Fonte |
Computer Science; Faculty of Science and Technology |
Palavras-Chave | #080299 Computation Theory and Mathematics not elsewhere classified #080308 Programming Languages #080304 Concurrent Programming #Parallelization #Inherent Parallelism #Ownership Types #Sufficient Conditions |
Tipo |
Journal Article |