uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Multiple Aggregate Entry Points for Ownership Types
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
2012 (English)In: ECOOP 2012 – Object-Oriented Programming, Springer Berlin/Heidelberg, 2012, 156-180 p.Conference paper (Refereed)
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012. 156-180 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7313
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-176660DOI: 10.1007/978-3-642-31057-7_8ISBN: 978-3-642-31056-0 (print)OAI: oai:DiVA.org:uu-176660DiVA: diva2:536386
Conference
26th European Conference on Object-Oriented Programming
Projects
UPMARCFacilitating Concurrent and Parallel Programming in Mainstream Programming Languages
Available from: 2012-06-28 Created: 2012-06-21 Last updated: 2016-01-13Bibliographically approved
In thesis
1. Language Constructs for Safe Parallel Programming on Multi-Cores
Open this publication in new window or tab >>Language Constructs for Safe Parallel Programming on Multi-Cores
2016 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

The last decade has seen the transition from single-core processors to multi-cores and many-cores. This move has by and large shifted the responsibility from chip manufacturers to programmers to keep up with ever-increasing expectations on performance. In the single-core era, improvements in hardware capacity could immediately be leveraged by an application: faster machine - faster program. In the age of the multi-cores, this is no longer the case. Programs must be written in specific ways to utilize available parallel hardware resources.

Programming language support for concurrent and parallel programming is poor in most popular object-oriented programming languages. Shared memory, threads and locks is the most common concurrency model provided. Threads and locks are hard to understand, error-prone and inflexible; they break encapsulation - the very foundation of the object-oriented approach. This makes it hard to break large complex problems into smaller pieces which can be solved independently and composed to make a whole. Ubiquitous parallelism and object-orientation, seemingly, do not match.

Actors, or active objects, have been proposed as a concurrency model better fit for object-oriented programming than threads and locks. Asynchronous message passing between actors each with a logical thread of control preserves encapsulation as objects themselves decide when messages are executed. Unfortunately most implementations of active objects do not prevent sharing of mutable objects across actors. Sharing, whether on purpose or by accident, exposes objects to multiple threads of control, destroying object encapsulation.

In this thesis we show techniques for compiler-enforced isolation of active objects, while allowing sharing and zero-copy communication of mutable data in the cases where it is safe to do so. We also show how the same techniques that enforce isolation can be utilized internal to an active object to allow data race-free parallel message processing and data race-free structured parallel computations. This overcomes the coarse-grained nature of active object parallelism without compromising safety.

Place, publisher, year, edition, pages
Uppsala: Acta Universitatis Upsaliensis, 2016. 105 p.
Series
Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, ISSN 1651-6214 ; 1319
Keyword
Programming Languages, Type Systems, Ownership Types, Concurrency, Parallelism, Actors, Active Objects, Structured Parallelism, Data Race-Freedom, Immutability, Uniqueness
National Category
Computer Science
Research subject
Computer Science
Identifiers
urn:nbn:se:uu:diva-266795 (URN)978-91-554-9413-1 (ISBN)
Public defence
2016-01-18, 2446, ITC, Lägerhyddsvägen 2, hus 2, Uppsala, 13:00 (English)
Opponent
Supervisors
Projects
UPMARC
Available from: 2015-12-17 Created: 2015-11-10 Last updated: 2016-04-18Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Östlund, JohanWrigstad, Tobias
By organisation
Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 375 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf