Performability analysis of computer systems : from model specification to solution

• Autor(a) principal: Silva, Edmundo Albuquerque de Souza e
• Data de Publicação: 1991
• Outros Autores: Gail, H. Richard
• Tipo de documento: Relatório
• Idioma: por
• Título da fonte: Repositório Institucional da UFRJ
• Texto Completo: http://hdl.handle.net/11422/1556
• topic: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO; Sistemas de computadores

Modelagem de disponibilidade/confiabilidade de sistemas de computação diz respeito à representação de mudanças na estrutura do sistema sendo modelado, geralmente, causadas por falhas, e como essas mudanças afetam a disponibilidade do sistema. Modelagem de desempenho, por outro lado, é voltada para a representação da natureza probabilística das demandas dos usuários e tenta prever a capacidade do sistema pra realizar tarefas, supondo-se que a estrutura do sistema permanece constante. Com o advento de sistemas desagradáveis, o sistema pode ser reestruturado em consequência a falhas e pode continuar a realizar tarefas, mesmo a uma capacidade reduzida. Análise de desempenhabilidade ('performability') considera o efeito das mudanças estruturais e o seu impacto no desempenho lobal do sistema. A complexibilidade dos atuais sistemas de computação, e a variedade de diferentes problemas a serem analisados, incluindo avaliação simultânea de desempenho e disponibilidade, demonstram a necessidade de ferramentas sofisticadas que permitam a especificação de uma classe geral de problemas além de incorporarem técnicas poderosas analíticas e/ou de simulação. No que diz respeito a especificação do modelo, é discutido um paradigma orientado a objeto, recentemente proposto, que acomoda uma grande variedade de aplicações. As principais vantagens deste paradigma são discutidas e é feita uma comparação com outras técnicas. No que diz respeito a métodos de solução, é feito um breve apanhado de desempenhabilidade de modelos Markov. É mostrado então, que muitas medidas relacionadas a desempenhabilidade podem ser calculadas usando-se a técnica de aleatorização (uniformização), marcando-se estados e/ou transições do modelo Markoviano do sistema sendo estudado. Finalmente, o problema de explosão de estados é abordado, e várias técnicas para lidar com o problema são discutidas.