High-Performance Embedded Computing

4.4 Operating System Design 247

7. Task input ports are updated.

8. The set of active tasks is updated.

9. The time clock is updated.

Giotto allows separate specification of implementation information. The plat-

form specification defines a hardware platform using techniques like those used

in hardware/software co-design; we discuss these models in Section 7.4.2. The

jitter tolerance defines how much task timing can vary. A variety of scheduling

and allocation algorithms can be used to implement the Giotto program onto the

platform. Giotto provides an annotation mechanism that can be used to supply

hints for synthesis.

SHIM SHIM [Edw05] is a programming ...