ClockWork shows that we can improve the flexibility and efficiency of real-time kernels. We do this by proposing methods for scheduling based on so-called Real-Time Transactions. ClockWork uses Real-Time Transactions which allow scheduling decisions to be taken by the system. A programmer does not need to be aware of synchronisation due to the sharing of resources and may have the illusion of a run-to-completion semantics even under pre-emptive scheduling protocols. The ClockWork tool presented here analyses the schedulability of a set of RT Transactions for a variety of protocols and visualises the result in a graphical form.
|Name||CTIT Technical Report Series|