Acesso a Recursos Partilhados em Sistemas de Tempo Real

• Author(s): Rui Santos ; Arnaldo Oliveira ; Luís Almeida
• Date: 2013
• Origin: Electrónica e Telecomunicações
• Subject(s): sistemas de tempo-real; acesso a recursos partilhados; protocolos de gestão de semáforos; protocolo de herança de prioridades; protocolo de tecto de prioridades; política de pilha de recursos; sistemas de tempo-real; acesso a recursos partilhados; protocolos de gestão de semáforos; protocolo de herança de prioridades; protocolo de tecto de prioridades; política de pilha de recursos
• Document Type: Article
• Language: Portuguese

Description

Real-time systems are typically reactive systems implemented with a set of concurrent tasks running on top ofan executive or operating system. Due to concurrent task execution and access to shared resources, it is fundamental thatthe execution of critical regions is performed in a safe way,i.e. controlled by appropriate synchronization primitives (e.g.semaphores). To reduce the sources of unbounded priority inversions the semaphores must be managed by protocols adequate for real-time systems. This paper describes some protocols used for such purposes, namely the Priority Inheritance Protocol (PIP), the Priority Ceiling Protocol (PCP) and the Stack Resource Policy (SRP).Keywords: real-time systems; shared resource access; semaphore management protocols; priority inheritance protocol; priority ceiling protocol; stack resource policy Os sistemas de tempo-real são em geral sistemas reactivos cujo comportamento é implementado através de umconjunto de tarefas que executam concorrentemente sobre um executivo ou sistema operativo. Devido à execução concorrente das tarefas e ao acesso a recursos partilhados, é fundamental que a entrada em regiões críticas seja feita de forma segura, isto é, controlada por primitivas de sincronização, e.g. semáforos, e protocolos adequados a sistemas de temporeal que reduzam o tempo de bloqueio de tarefas prioritárias.Neste artigo apresentamos algumas técnicas para controlo das inversões de prioridade resultantes do acesso a recursos partilhados, focando sobre os seguintes protocolos de gestão de semáforos: Priority Inheritance Protocol (PIP), o Priority Ceiling Protocol (PCP) e o Stack Resource Policy (SRP).