Struct rtlola_frontend::mir::Schedule

pub struct Schedule {
    pub hyper_period: Duration,
    pub deadlines: Vec<Deadline>,
}

A schedule for the periodic streams.

The schedule is a sequence of deadlines and describes a single hyper-period. Hence, the sequences is meant to repeat afterwards.

Fields

hyper_period: Duration

The hyper_period is the duration after which the schedule is meant to repeat.

It is therefore the least common multiple of all periods.

Example:

If there are three streams, one running at 0.5Hz, one with 1Hz, and one with 2Hz. The hyper-period then is 2000ms.

deadlines: Vec<Deadline>

A sequence of deadlines within a hyper-period.

Deadlines represent points in time at which periodic stream needs to be updated. Deadlines may not be empty. The first deadline is due Deadline::pause time units after the start of the schedule. Subsequent deadlines are due Deadline::pause time units after their predecessor.

Example:

Assume there are two periodic streams, a running at 1Hz and b running at 2Hz. The deadlines are thus {b} at time 500ms and {a, b} 500ms later. Then, the schedule repeats.

See Also

• Deadline

Trait Implementations

impl Clone for Schedule

fn clone(&self) -> Schedule

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Schedule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.