ACESSO A RECURSOS COMPARTILHADOS EM SISTEMAS DE TEMPO REAL
Para assegurar a integridade de aplicaes de tempo-real que consistem na
execuo de tarefas concorrentes que acedem a recursos partilhados, o acesso a estes devem ser efetuado em regime de excluso mtua. As inverses de prioridade surgem associadas preempo de tarefas. Num sistema sem preempo, considerando que uma tarefa dever, no final de cada instncia libertar todos os recursos utilizados nessa instncia. As tcnicas utilizadas para limitao da inverso de prioridade so, de fato tcnicas para controle de preempo em sistemas preemptivos. Estas tcnicas so divididas em dois grupos, o primeiro contm as tcnicas bsicas, que so de fcil implementao mas no so seletivas as tarefas que sofrem bloqueio. Isso significa que todas as tarefas sero bloqueadas independente de maior prioridade ou no. Este grupo pouco eficiente e causam perturbaes na pontualidade do sistema. O segundo grupo encontram-se as tcnicas baseadas em semforos que permitem reduzir o conjunto das tarefas afetadas pelos bloqueios associados s inverses de prioridade. O protocolo de herana de prioridade (PIP) foi desenvolvido como uma soluo simples mas eficaz para eliminar o indeterminismo associado ao bloqueio indireto, causando nas tarefas de maior prioridade pelas tarefas de prioridade intermediria. Este protocolo relativamente fcil de implementar, pois apenas necessita de mais um campo na estrutura de controle da tarefa (TCB Task Control Block) para armazenar a prioridade herdada. No caso de se permitir o acesso encadeado a mltiplos recursos a implementao fica mais complexa j que necessrio garantir a transitividade da herana. As particularidades do protocolo de herana de prioridade destina-se a garantir que quando uma tarefa acede a um recurso partilhado todo os recursos que poder ainda necessitar durante a sua execuo. Se a prioridade da tarefa for superior maior prioridade dos semforos bloqueados, isso quer dizer que essa tarefa no utiliza os recursos desses semforos. O protocolo de Teto de prioridades (PCP) tem como vantagem relativamente ao protocolo de herana de prioridades o fato de ser livre de bloqueios em cadeia e de deadlocks. Porm, apresenta um bloqueio adicional, bloqueio de teto que poder atrasar tarefas que no usam os recursos ocupados nesse instante e que no usam os recursos ocupados nesse instante e que no seriam bloqueadas com protocolo de herana.
A poltica de pilha de recursos (SRP) um protocolo criado para poder ser
aplicado indistintamente em sistemas de prioridade fixas ou dinmicas. Tem como principal caracterstica o fato de impor bloqueios apenas antes das tarefas iniciarem a execuo. Aps o incio de execuo e at a terminao as tarefas j no sofrero qualquer bloqueio. O artigo estudado citou o quo problemtico o acesso a recursos partilhados em sistemas multi-tarefa de tempo real, tambm como as tcnicas normalmente usadas para garantir excluso mtua. O PIP o nico protocolo transparente que ao programador em que o programador no tem de declarar alguma informao adicional para alm da utilizao dos semforos, mas ele o nico que no previne deadlocks. importante ressaltar que o protocolo SRP funciona tanto com prioridades fixas como com propriedades dinmicas e que este protocolo efetua bloqueios apenas antes da tarefa iniciar a execuo, ao contrrio dos outros dois o que reduz as comutaes de contexto.