Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
Autor(a) principal: | |
---|---|
Data de Publicação: | 1996 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | https://www.teses.usp.br/teses/disponiveis/3/3141/tde-22082024-091339/ |
Resumo: | O uso de modelos e simulação tem se tornado uma prática cada vez mais comum para a análise de desempenho de sistemas de computação. Uma técnica que tem sido utilizada com sucesso para análise de desempenho de sistemas de computação são as redes de Petri temporizadas. Neste trabalho foi desenvolvida uma metodologia para modelagem e solução em múltiplos níveis, e uma metodologia de simulação de redes de Petri que inclui um algoritmo de simulação para redes temporizadas genéricas e cálculo de índices de desempenho, e uma metodologia de gerenciamento para este tipo de simulação. Uma ferramenta que oferece recursos para a implementação destas metodologias foi também desenvolvida. Utilizando as metodologias e a ferramenta, foram feitos dois estudos de caso e um exemplo de um sistema de fila para o qual são conhecidos resultados analíticos exatos. Para o estudo de caso da arquitetura de computador com múltiplos contextos, modelou-se os processadores e o subsistema de memória, e verificou-se o comportamento deste tipo de arquitetura para vários números de contextos por processador. Para o estudo de caso de um sistema de comunicação de dados, desenvolveu-se modelos de uma rede do tipo CSMA/CD e de um sistema de banco de dados do tipo cliente-servidor, e verificou-se o comportamento do sistema para várias configurações da rede. |
id |
USP_5f28178e4a5f44122aa4da5413b3dccf |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-22082024-091339 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.Untitled in englishPetri netsRedes de PetriO uso de modelos e simulação tem se tornado uma prática cada vez mais comum para a análise de desempenho de sistemas de computação. Uma técnica que tem sido utilizada com sucesso para análise de desempenho de sistemas de computação são as redes de Petri temporizadas. Neste trabalho foi desenvolvida uma metodologia para modelagem e solução em múltiplos níveis, e uma metodologia de simulação de redes de Petri que inclui um algoritmo de simulação para redes temporizadas genéricas e cálculo de índices de desempenho, e uma metodologia de gerenciamento para este tipo de simulação. Uma ferramenta que oferece recursos para a implementação destas metodologias foi também desenvolvida. Utilizando as metodologias e a ferramenta, foram feitos dois estudos de caso e um exemplo de um sistema de fila para o qual são conhecidos resultados analíticos exatos. Para o estudo de caso da arquitetura de computador com múltiplos contextos, modelou-se os processadores e o subsistema de memória, e verificou-se o comportamento deste tipo de arquitetura para vários números de contextos por processador. Para o estudo de caso de um sistema de comunicação de dados, desenvolveu-se modelos de uma rede do tipo CSMA/CD e de um sistema de banco de dados do tipo cliente-servidor, e verificou-se o comportamento do sistema para várias configurações da rede.Modeling and simulation is increasingly becoming a common procedure for performance analysis of computer systems. One technique that has been successfully used for performance analysis of computer systems are the timed Petri nets. In this work we developed a multilevel modeling and solution methodology, and a simulation methodology for Petri nets which includes a simulation algorithm for generic timed Petri nets and computation of performance índices, and a methodology for managing this type of simulation. A tool that offers support for the implementation of these methodologies was also developed. Using the methodologies and the tool, we developed two case studies ando ne example of a queuing system for which there are known analytical and exact results. For the case study of a multithreaded computer architecture, we modeled the processors and the memory subsystem, and we verified the behavior of this type of architecture for different degrees of multithreading in the processors. For the case study of a data communication system, we developed models for a CSMA/CD network and for a cliente-server databasesystem, and we verified the behavior of the system for different configurations of the network.Biblioteca Digitais de Teses e Dissertações da USPRuggiero, Wilson VicenteCintra, Marcelo Hehl de Sylos1996-06-26info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-22082024-091339/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-08-22T12:19:03Zoai:teses.usp.br:tde-22082024-091339Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-08-22T12:19:03Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri. Untitled in english |
title |
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri. |
spellingShingle |
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri. Cintra, Marcelo Hehl de Sylos Petri nets Redes de Petri |
title_short |
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri. |
title_full |
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri. |
title_fullStr |
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri. |
title_full_unstemmed |
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri. |
title_sort |
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri. |
author |
Cintra, Marcelo Hehl de Sylos |
author_facet |
Cintra, Marcelo Hehl de Sylos |
author_role |
author |
dc.contributor.none.fl_str_mv |
Ruggiero, Wilson Vicente |
dc.contributor.author.fl_str_mv |
Cintra, Marcelo Hehl de Sylos |
dc.subject.por.fl_str_mv |
Petri nets Redes de Petri |
topic |
Petri nets Redes de Petri |
description |
O uso de modelos e simulação tem se tornado uma prática cada vez mais comum para a análise de desempenho de sistemas de computação. Uma técnica que tem sido utilizada com sucesso para análise de desempenho de sistemas de computação são as redes de Petri temporizadas. Neste trabalho foi desenvolvida uma metodologia para modelagem e solução em múltiplos níveis, e uma metodologia de simulação de redes de Petri que inclui um algoritmo de simulação para redes temporizadas genéricas e cálculo de índices de desempenho, e uma metodologia de gerenciamento para este tipo de simulação. Uma ferramenta que oferece recursos para a implementação destas metodologias foi também desenvolvida. Utilizando as metodologias e a ferramenta, foram feitos dois estudos de caso e um exemplo de um sistema de fila para o qual são conhecidos resultados analíticos exatos. Para o estudo de caso da arquitetura de computador com múltiplos contextos, modelou-se os processadores e o subsistema de memória, e verificou-se o comportamento deste tipo de arquitetura para vários números de contextos por processador. Para o estudo de caso de um sistema de comunicação de dados, desenvolveu-se modelos de uma rede do tipo CSMA/CD e de um sistema de banco de dados do tipo cliente-servidor, e verificou-se o comportamento do sistema para várias configurações da rede. |
publishDate |
1996 |
dc.date.none.fl_str_mv |
1996-06-26 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://www.teses.usp.br/teses/disponiveis/3/3141/tde-22082024-091339/ |
url |
https://www.teses.usp.br/teses/disponiveis/3/3141/tde-22082024-091339/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1815257280177766400 |