Data/hora: 10/06/2024 18:49:15

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: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (3438-1) - ADD - PL - -- - 004.36 - SIM - 1995.00007 - DIS