Cost enforcement in the real-time specification for Java |
| |
Authors: | Osmar Marchi dos Santos Andy Wellings |
| |
Affiliation: | (1) Computer Science Department, University of York, York, YO 105DD, UK |
| |
Abstract: | The Real-Time Specification for Java (RTSJ) provides an integrated approach to scheduling periodic real-time threads and monitoring
their CPU execution time. It defines a cost enforcement model whereby a periodic real-time thread is suspended when it consumes
more CPU time (budget) than it requested in a single release. However, compliant implementations need not support this model, as the underlying operating systems mechanisms are not widely
available. Consequently, experience with the model is limited (it is generally not provided in most implementations of the
RTSJ). In previous work we showed, using model checking techniques, that the current version of the cost enforcement model
can, under certain unlikely scenarios, allow a periodic thread more than its CPU budget in a single period. Such a behaviour can undermine any schedulability analysis that has been undertaken. In this paper, we present a revised
formal model, which corrects this anomalous behaviour, and evaluate its properties. We also extend the formal model, so it
allows support for real-time threads with sporadic and aperiodic releases, and show how our revised cost enforcement model
is valid for all types of threads.
|
| |
Keywords: | Fault-tolerance Java programming language Real-time specification for Java Model checking |
本文献已被 SpringerLink 等数据库收录! |
|