Forward to a Promising Future - Coordination Models and Languages (COORDINATION 2018) Access content directly
Conference Papers Year : 2018

Forward to a Promising Future

Dave Clarke
  • Function : Author
  • PersonId : 1033644
Huu-Phuc Vo
  • Function : Author


In many actor-based programming models, asynchronous method calls communicate their results using futures, where the fulfilment occurs under-the-hood. Promises play a similar role to futures, except that they must be explicitly created and explicitly fulfilled; this makes promises more flexible than futures, though promises lack fulfilment guarantees: they can be fulfilled once, multiple times or not at all. Unfortunately, futures are too rigid to exploit many available concurrent and parallel patterns. For instance, many computations block on a future to get its result only to return that result immediately (to fulfil their own future). To make futures more flexible, we explore a construct, forward, that delegates the responsibility for fulfilling the current implicit future to another computation. Forward reduces synchronisation and gives futures promise-like capabilities. This paper presents a formalisation of the forward construct, defined in a high-level source language, and a compilation strategy from the high-level language to a low-level, promised-based target language. The translation is shown to preserve semantics. Based on this foundation, we describe the implementation of forward in the parallel, actor-based language Encore, which compiles to C.
Fichier principal
Vignette du fichier
468924_1_En_7_Chapter.pdf (395.41 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01821490 , version 1 (22-06-2018)





Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo. Forward to a Promising Future. 20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.162-180, ⟨10.1007/978-3-319-92408-3_7⟩. ⟨hal-01821490⟩
251 View
57 Download



Gmail Facebook X LinkedIn More