International School on Formal Methods for the Design of Computer, Communication and Software Systems

SFM 2015: Formal Methods for Multicore Programming pp 1-56

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore

  • Stephan Brandauer
  • Elias Castegren
  • Dave Clarke
  • Kiko Fernandez-Reyes
  • Einar Broch Johnsen
  • Ka I. Pun
  • S. Lizeth Tapia Tarifa
  • Tobias Wrigstad
  • Albert Mingkun Yang
Conference paper

DOI: 10.1007/978-3-319-18941-3_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9104)
Cite this paper as:
Brandauer S. et al. (2015) Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. In: Bernardo M., Johnsen E. (eds) Formal Methods for Multicore Programming. SFM 2015. Lecture Notes in Computer Science, vol 9104. Springer, Cham

Abstract

The age of multi-core computers is upon us, yet current programming languages, typically designed for single-core computers and adapted post hoc for multi-cores, remain tied to the constraints of a sequential mindset and are thus in many ways inadequate. New programming language designs are required that break away from this old-fashioned mindset. To address this need, we have been developing a new programming language called Encore, in the context of the European Project UpScale. The paper presents a motivation for the Encore language, examples of its main constructs, several larger programs, a formalisation of its core, and a discussion of some future directions our work will take. The work is ongoing and we started more or less from scratch. That means that a lot of work has to be done, but also that we need not be tied to decisions made for sequential language designs. Any design decision can be made in favour of good performance and scalability. For this reason, Encore offers an interesting platform for future exploration into object-oriented parallel programming.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Stephan Brandauer
    • 1
  • Elias Castegren
    • 1
  • Dave Clarke
    • 1
  • Kiko Fernandez-Reyes
    • 1
  • Einar Broch Johnsen
    • 2
  • Ka I. Pun
    • 2
  • S. Lizeth Tapia Tarifa
    • 2
  • Tobias Wrigstad
    • 1
  • Albert Mingkun Yang
    • 1
  1. 1.Department of Information TechnologyUppsala UniversityUppsalaSweden
  2. 2.Department of InformaticsUniversity of OsloOsloNorway

Personalised recommendations