01746naa a2200145 a 450000100080000000500110000800800410001910000230006024500650008326000090014830000150015752011660017270000190133877302430135710028552007-08-16       1995    bl uuuu     u00u1 u    #d1 aDRUMMOND, L. M. A.  aAlgoritmos distribuidos para deteccao de predicados globais.  c1995  ap.335-352.  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.1 aBARBOSA, V. C.  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.