BDBComp
Parceria:
SBC
Uma Técnica para Análise de Restrições de Tempo no Escalonamento em Síntese de Alto Nível

C. H. C. TolentinoL. C. V. dos Santos

A maioria das ferramentas de s�ntese tem suporte limitado a restri��es de tempo real no n�vel arquitetural. A raz�o � que tais restri��es dificultam a resolu��o do problema de escalonamento. Entretanto, restri��es de tempo podem diminuir a liberdade de escalonamento das opera��es, reduzindo o espa�o de busca por solu��es. Este artigo prop�e uma t�cnica de an�lise baseada em grafos que, n�o s� habilita um escalonador a suportar restri��es de tempo real, mas tamb�m melhora o tempo de busca na explora��o do espa�o de solu��es alternativas. A chave para efici�ncia da t�cnica � um mecanismo embutido que reconhece e revoga decis�es de escalonamento que resultam em infactibilidade. Os resultados experimentais mostram que a t�cnica proposta aumenta a probabilidade de se encontrar uma solu��o fact�vel, mas somente � compensada pela utiliza��o de um mecanismo para verifica��o din�mica de infactibilidade. O mecanismo proposto � baseado num novo algoritmo de baixa complexidade.

http://www.lbd.dcc.ufmg.br:8080/colecoes/wtr/2004/019.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD