Lustre, Fast First, and Fresh

The rate-synchronous model formalizes an industrial approach for composing Lustre nodes that execute at different rates. Such programs are compiled to cyclic sequential code in two steps. First, an integer linear program is solved to assign each component to a phase relative to its period. Second, t...

Full description

Saved in:
Bibliographic Details
Published in:IEEE embedded systems letters Vol. 17; no. 2; pp. 119 - 122
Main Authors: Bourke, Timothy, Pouzet, Marc
Format: Journal Article
Language:English
Published: IEEE 01.04.2025
Institute of Electrical and Electronics Engineers
Subjects:
Clocks
Codes
Computer Science
Dataflow synchronous programming
Mathematical models
Pipelines
Reactive power
Schedules
Semantics
Streams
Switches
Syntactics
time-centric reactive software
Dataflow Synchronous Programming
Time-Centric Reactive Software
ISSN:1943-0663, 1943-0671
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The rate-synchronous model formalizes an industrial approach for composing Lustre nodes that execute at different rates. Such programs are compiled to cyclic sequential code in two steps. First, an integer linear program is solved to assign each component to a phase relative to its period. Second, the corresponding step functions are ordered for execution within a cycle of the generated code. By default, programs are deterministic: for any valid schedule, the generated code calculates the values decreed by the source dataflow semantics at the specified rates. In practice, though, specifying precise values in the source program is sometimes unnecessary, impracticable, and overly constraining. In this case, the integer linear programming constraints can be relaxed, though not necessarily completely, and their solution decides which dataflow semantics applies. Care is still required to ensure that code generation remains deterministic.
ISSN:1943-0663
1943-0671
DOI:10.1109/LES.2024.3498932