BDBComp
Parceria:
SBC
Algoritmos Distribuídos para Detecção de Predicados Globais

Um Modelo Estatístico Gerativo para o Aprendizado Não Supervisionado das Estruturas Argumentais dos Verbos

L.M.A. DrummondV.C. Barbosa

Um dos aspectos mais importantes de depuradores de programas paralelos distribuídosconsiste na facilidade de se estabelecerem breakpoints que possam ser descritos porpredicados envolvendo estados globais e, então, denominados predicados globais.Neste artigo consideramos o projeto de algoritmos distribuídos para a detecção de taisbreakpoints em programas paralelos distribuídos e fornecemos quatro algoritmos, um paracada tipo diferente de breakpoint. Um dos algoritmos detecta a ocorrência de breakpointsincondicionais, enquanto os outros três detectam a ocorrência de breakpoints sobre predicadosdisjuntivos, predicados conjuntivos estáveis e predicados conjuntivos genéricos. Todosos algoritmos apresentados detectam os breakpoints nos estados globais mais adiantadosem relação às propriedades envolvidas. No caso de breakpoint incondicional, tal estadoglobal mais adiantado deve coincidir exatamente com os breakpoints incondiconais locaisrequisitados para os processos que realmente participam do breakpoint. No caso dos outrosbreakpoints (condicionais), detecta-se o estado global mais adiantado onde o predicadodisjuntivo ou o conjuntivo considerado é verdadeiro. Thiago Alexandre Salgueiro PardoDaniel MarcuMaria das Graças Volpe Nunes

http://www.lbd.dcc.ufmg.br/colecoes/sbac-pad/1995/0021.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