response-time-analysis 0.3.2

Definitions and algorithms for response-time analysis of real-time systems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

/*! Models of resource supply (e.g., dedicated processors, reservations, etc.)

This module provides the trait [SupplyBound], which models the notion of
a *supply-bound function* (SBF), as well as common types of supply. */

use auto_impl::auto_impl;

use crate::time::{Duration, Service};

/// Generic interface for models of processor supply.
#[auto_impl(&, Box, Rc)]
pub trait SupplyBound {
    /// Bound the minimum amount of service provided during an
    /// interval of length `delta`.
    fn provided_service(&self, delta: Duration) -> Service;

    /// Bound the maximum interval length during which the supply
    /// provides at least `demand` amount of service.
    fn service_time(&self, demand: Service) -> Duration {
        let mut t = Duration::from(demand);
        loop {
            let supply = self.provided_service(t);
            if supply >= demand {
                return t;
            }
            // jump ahead by how much is still missing
            t += Duration::from(demand - supply);
        }
    }
}

mod constrained;
mod dedicated;
mod periodic;

pub use constrained::Constrained;
pub use dedicated::Dedicated;
pub use periodic::Periodic;

#[cfg(test)]
mod tests;