Dissertação para a obtenção do Grau de Mestre em

Os sistemas de tempo real modernos geram, cada vez mais, cargas computacionais pesadas e dinâmicas, começando-se a tornar pouco expectável que sejam implementados em sistemas uni-processador. Na verdade, amudança de sistemas comumúnico processador para sistemasmulƟ-processador pode ser vista, tanto no domínio geral, como no de sistemas embebidos, como uma forma eficiente, em termos energéƟcos, de melhorar a performance das aplicações. Simultaneamente, a proliferação das plataformas mulƟ-processador transformaram a pro-gramação paralela num tópico de elevado interesse, levando o paralelismo dinâmico a ganhar rapidamente popularidade como ummodelo de programação. A ideia, por detrás deste modelo, é encorajar os programadores a exporem todas as oportunidades de paralelismo através da sim-ples indicação de potenciais regiões paralelas dentro das aplicações. Todas estas anotações são encaradas pelo sistema unicamente como sugestões, podendo estas serem ignoradas e subsƟ-tuídas, por construtores sequenciais equivalentes, pela própria linguagem. Assim, o modo como a computação é na realidade subdividida, e mapeada nos vários processadores, é da respons-abilidade do compilador e do sistema computacional subjacente. Ao reƟrar este fardo do programador, a complexidade da programação é consideravelment