article · 2007
Avoiding Priority Inversion on the Processing of
Requests By Active, Y. Wang, F. Brasileiro, E. Anceaume, F. Greve, M. Hurfin
Cited by 0Abstract and details only
Abstract
We consider the priority inversion problem in an actively replicated system. Priority inversion was originally defined in the context of non-replicated systems. Therefore we first introduce the concept of group priority inversion, which extends the concept of (local) priority inversion to the context of a group of processors that perform an actively replicated processing. We then present the properties of a request scheduling protocol to enforce a total ordering for the processing of requests while avoiding group priority inversions. These properties have been implemented in a protocol that relies on a timed asynchronous system model equipped with a failure detector of the class 3S. The proposed solution allows to replicate a critical server while ensuring that the processing of all the incoming requests is consistent (mechanisms for solving the atomic broadcast problem) and predictable (mechanisms for solving the group priority inversion problem). Thus, the described request scheduling protocol is a key component which can be used to develop fault tolerant real time applications in a timed asynchronous system.
Cite this paper
Active, R. B., Wang, Y., Brasileiro, F., Anceaume, E., Greve, F., & Hurfin, M. (2007). Avoiding Priority Inversion on the Processing of.
Active, Requests By, et al. “Avoiding Priority Inversion on the Processing of.” 2007.
Active, Requests By, Y. Wang, F. Brasileiro, E. Anceaume, F. Greve, and M. Hurfin. 2007. “Avoiding Priority Inversion on the Processing of.”
Active, R.B. et al. (2007) ‘Avoiding Priority Inversion on the Processing of’.
@article{active2007avoiding,
title = {{Avoiding Priority Inversion on the Processing of}},
author = {Active, Requests By and Wang, Y. and Brasileiro, F. and Anceaume, E. and Greve, F. and Hurfin, M.},
year = {2007}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.