Capítulo de libro:
On the effect of protected entry servicing policies on the response time of Ada tasks.
On the effect of protected entry servicing policies on the response time of Ada tasks.
Año:2018
Áreas de investigación
-
Tecnología electrónica y de las comunicaciones, -
Ciencias de la computación y tecnología informática
Datos
|
Descripción
|
|
|---|---|
| Real-time multiprocessor systems are being used extensively in industrial applications. Ada provides ample support for such systems, including a complete tasking model providing time predictability, especially when restricted by the Ravenscar profile. A fundamental element of this tasking model is inter-task communication by means of protected objects. The definition of resource locking policies with bounded priority inversion is a fundamental aspect of protected objects, which has received considerable attention, with some interesting results that can be used in multiprocessor real-time systems. However, there is another important subject, the service policy for protected entries, that has received less attention in the research community and is also important in order to guarantee a predictable time behaviour. The impact of the service model on the response time analysis of multiprocessor real-time systems is evaluated in the paper for the self-service model and the proxy model, and their relation to the MSRP and the MrsP locking policies is discussed. Extensions to response time analysis for the proxy model with both locking policies are also contributed. | |
|
Internacional
|
Si |
|
DOI
|
10.1007/978-3-319-92432-8_5 |
|
Edición del Libro
|
|
|
Editorial del Libro
|
Springer |
|
ISBN
|
978-3-319-92431-1 |
|
Serie
|
|
|
Título del Libro
|
Reliable Software Technologies - Ada-Europe 2018. Part of the Lecture Notes in Computer Science book series (LNCS, volume 10873) |
|
Desde página
|
73 |
|
Hasta página
|
86 |
Participantes
- Autor: Jorge Garrido Balaguer (UPM)
- Autor: Alejandro Antonio Alonso Muñoz (UPM)
- Autor: Juan Antonio de la Puente Alfaro (UPM)
- Autor: Juan Rafael Zamorano Flores (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
- Centro o Instituto I+D+i: Centro de I+d+i en Procesado de la Información y Telecomunicaciones
- Departamento: Ingeniería de Sistemas Telemáticos
- Departamento: Arquitectura y Tecnología de Sistemas Informáticos
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)