|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
04/07/1996 |
|
Data da última atualização: |
16/08/2007 |
|
Autoria: |
DRUMMOND, L. M. A.; BARBOSA, V. C. |
|
Título: |
Algoritmos distribuidos para deteccao de predicados globais. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995. |
|
Páginas: |
p.335-352. |
|
Idioma: |
Português |
|
Conteúdo: |
Um dos aspectos mais importantes de depuradores de programas paralelos distribuidos consiste na facilidade de se estabelecerem breakpoints que possam ser descritos por predicados envolvendo estados globais e, entao, denominados predicados globais. Neste artigo consideramos o projeto de algoritmos distribuidos para a deteccao de tais breakpoints em programas paralelos distribuidos e fornecemos quatro algoritmos, um para cada tipo diferente de breakpoint. Um dos algoritmos detecta a ocorrencia de breakpoints incondicionais, enquanto os outros tres detectam a ocorrencia de breakpoints sobre predicados conjuntivos estaveis e predicados conjuntivos genericos. Todos os algoritmos apresentados detectam os breakpoints nos estados globais mais adiantados em relacao as propriedades envolvidas. No caso de breakpoint incondicional, tal estado global mais adiantado deve coincidir exatamente com os breakpoints incondicionais locais requisitados para os processos que realmente participam do breakpoint. No caso dos outros breakpoints (condicionais), detecta-se o estado global mais adiantado onde o predicado disjuntivo ou o conjuntivo considerado e verdadeiro. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01746naa a2200145 a 4500
001 1002855
005 2007-08-16
008 1995 bl uuuu u00u1 u #d
100 1 $aDRUMMOND, L. M. A.
245 $aAlgoritmos distribuidos para deteccao de predicados globais.
260 $c1995
300 $ap.335-352.
520 $aUm dos aspectos mais importantes de depuradores de programas paralelos distribuidos consiste na facilidade de se estabelecerem breakpoints que possam ser descritos por predicados envolvendo estados globais e, entao, denominados predicados globais. Neste artigo consideramos o projeto de algoritmos distribuidos para a deteccao de tais breakpoints em programas paralelos distribuidos e fornecemos quatro algoritmos, um para cada tipo diferente de breakpoint. Um dos algoritmos detecta a ocorrencia de breakpoints incondicionais, enquanto os outros tres detectam a ocorrencia de breakpoints sobre predicados conjuntivos estaveis e predicados conjuntivos genericos. Todos os algoritmos apresentados detectam os breakpoints nos estados globais mais adiantados em relacao as propriedades envolvidas. No caso de breakpoint incondicional, tal estado global mais adiantado deve coincidir exatamente com os breakpoints incondicionais locais requisitados para os processos que realmente participam do breakpoint. No caso dos outros breakpoints (condicionais), detecta-se o estado global mais adiantado onde o predicado disjuntivo ou o conjuntivo considerado e verdadeiro.
700 1 $aBARBOSA, V. C.
773 $tIn: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
