Bounded Stream Scheduling in Polyhedral OpenStream - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Bounded Stream Scheduling in Polyhedral OpenStream

Nuno Miguel Nobre
  • Function : Author
  • PersonId : 1058583
Andi Drebes
  • Function : Author
  • PersonId : 997185
Graham Riley
  • Function : Author
  • PersonId : 1058584
Antoniu Pop
  • Function : Author
  • PersonId : 997186


We consider OpenStream, a streaming dataflow language which supports the specification of concurrent tasks that communicate through streams. Streams, in the spirit of classical process networks, have no restrictions on their size. In order to deploy an OpenStream program on a chip, however, the size of the streams has to be bounded. This constricts the range of runtime behavior by restricting the schedules to a subset of parallel executions where the required memory never surpasses the available resources. In this paper we exploit an approach that, conservatively, certifies that augmenting the intrinsic dataflow dependencies of the program with stream bounding constraints does not deadlock the program: it cannot show the existence of a deadlock but can give a certificate for the absence thereof. The aim of this work is to study the limitations of this stream bounding strategy and to demonstrate how it can currently be used to determine if an OpenStream program can execute under the particular memory constraints of a given architecture.
Fichier principal
Vignette du fichier
IMPACT_2020_paper_4.pdf (954.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02441182 , version 1 (15-01-2020)
hal-02441182 , version 2 (06-02-2020)


  • HAL Id : hal-02441182 , version 2


Nuno Miguel Nobre, Andi Drebes, Graham Riley, Antoniu Pop. Bounded Stream Scheduling in Polyhedral OpenStream. IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Jan 2020, Bologna, Italy. ⟨hal-02441182v2⟩
192 View
82 Download


Gmail Facebook X LinkedIn More