AvaliaÃÃo de desempenho do serviÃo de controle de concorrÃncia usando Redes de Petri EstocÃstica

AUTOR(ES)

Roberta Andrade de AraÃjo Fagundes

DATA DE PUBLICAÇÃO

2006

RESUMO

O processo de avaliaÃÃo de desempenho pode ser implementado atravÃs de diversos mÃtodos: mediÃÃo que à processo de coleta de informaÃÃes de um sistema real; simulaÃÃo computacional e modelos analÃticos que capturam o comportamento temporal de um sistema atravÃs de uma representaÃÃo matemÃtica. A avaliaÃÃo baseada em modelos possibilita a anÃlise de desempenho de sistemas, antes mesmo de sua implementaÃÃo, o que possibilita ajustes ainda na fase de desenvolvimento. O uso de modelos como mecanismo de avaliaÃÃo tambÃm torna possÃvel a avaliaÃÃo de cenÃrios complexos, possibilitando, portanto, a anÃlise de desempenho em funÃÃo de restriÃÃes temporais e de recursos. O interesse na avaliaÃÃo de desempenho do sistema do middleware està aumentando. O CORBA à um padrÃo de middleware orientado a objetos definido pela OMG que permite aplicaÃÃes distribuÃdas em uma rede (local ou mesmo na Internet) se comuniquem. O serviÃo de controle de concorrÃncia (SCC) faz parte do conjunto de serviÃos conhecidos como serviÃos comuns do CORBA e sÃo usados por vÃrias aplicaÃÃes de diversos domÃnios. O SCC do CORBA foi definido para coordenar o acesso a recursos compartilhados, atravÃs do uso de locks, garantindo a consistÃncia quando o recurso à acessado concorrentemente. Este trabalho propÃe modelos redes de Petri estocÃstica para avaliar o desempenho do SCC do CORBA. Com a finalidade de validar os modelos propostos, os resultados da avaliaÃÃo das redes de Petri sÃo comparados com as medidas obtidas no OpenORB (nÃcleo do CORBA). TambÃm sÃo apresentados cenÃrios de desempenho que auxiliam a tomada de decisÃes para melhoria do desempenho do SCC do CORBA

ASSUNTO(S)

mÃtodos formais avaliaÃÃo de desempenho performance evaluation concurrency control service serviÃo de controle de concorrÃncia ciencia da computacao formal method

Documentos Relacionados

• ISPN: Modelagem e avaliaÃÃo estocÃstica intervalar
• AvaliaÃÃo estocÃstica de consumo de energia no projeto de sistemas embarcados
• AvaliaÃÃo do serviÃo de auto-atendimento do SEBRAE-NA
• ComparaÃÃo dos mÃtodos anÃlise por envoltÃria de dados e anÃlise por fronteira estocÃstica em avaliaÃÃo de eficiÃncia.
• AvaliaÃÃo da ansiedade e medo do tratamento odontolÃgico em usuÃrios de serviÃo pÃblico