Teste de programas concorrentes com memória compartilhada

Este trabalho propõe um modelo de teste para programas concorrentes que utilizam memória compartilhada. O modelo é inovador em três aspectos principais: (1) tratar a sincronização e a comunicação de threads de forma separada, (2) considerar a sincronização decorrente da inicialização/finalização...

Full description

Bibliographic Details
Main Author: Felipe Santos Sarmanho
Other Authors: Paulo Sergio Lopes de Souza
Language:Portuguese
Published: Universidade de São Paulo 2009
Subjects:
Online Access:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29042010-101946/