作者: Jorge Garrido , Juan Zamorano , Alejandro Alonso , Juan A. de la Puente
DOI: 10.1007/978-3-319-92432-8_5
关键词:
摘要: 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 is inter-task communication means protected objects. The definition resource locking policies with bounded priority inversion aspect objects, which has received considerable attention, some interesting results that can be real-time systems. However, there another important subject, service policy entries, less attention research community and also order to guarantee predictable behaviour. impact on response analysis evaluated paper self-service proxy model, their relation MSRP MrsP discussed. Extensions both contributed.