Exploring CORSIM runtime characteristics: profiling a traffic simulator

Bumble, Marc; Coraor, L.D.; Elefteriadou, Lily

doi:10.1109/simsym.2000.844910

Cited by 5 publications

(2 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The language enables representing the topology of the area to be analyzed by reproducing a city map. This approach has been followed by most microsimulation tools, such as HUTSIM [21], Tramsims [4] Traffic Simulator [10], AIMSUN [3], Corsim [5,19], TRANSIM [31] or PARAMICS [6,35]. ATLAS formal specifications were used to build a compiler implementing the language [24].…”

Section: Atlas Constructionsmentioning

confidence: 99%

ATLAS: A language to specify traffic models using Cell-DEVS

Wainer

2006

Simulation Modelling Practice and Theory

View full text Add to dashboard Cite

The ATLAS specification language is devoted to build models of city sections using microsimulation. The basic language constructions allow defining a static topology of the section to be studied. The dynamic behavior of the section can be modified by including traffic lights, traffic signs, etc. Once the urban section is outlined, models are converted into cell spaces and the traffic flow is automatically set up. Language constructions were mapped into DEVS and Cell-DEVS models that can be easily executed with a simulation tool. The models were formally specified, improving the verification of the language. Thanks to this formal approach, we ensure that the simulations are correct, avoiding a high number of errors in the developed application, and as the modelers can focus in the problem to solve, development times can be reduced.

show abstract

Section: Atlas Constructionsmentioning

confidence: 99%

ATLAS: A language to specify traffic models using Cell-DEVS

Wainer

2006

Simulation Modelling Practice and Theory

View full text Add to dashboard Cite

show abstract

“…Posteriormente esta técnica passou a ser conhecida como Direct Threaded Code [11,15, Uma forma bem comum de perfilamento consiste em utilizar os contadores de evento contidos no processador para se amostrar a quantidade de instruções executadas, acessos e faltas ocorridas na cache ou o total de desvios e erros de predição, por exemplo, que ocorreram durante a execução de determinada aplicação. Em [10] é realizado o perfilamento de um simulador de tráfico para identificar os pontos críticos -que estavam nas funções de escalonamento de eventos -e sugerir formas de otimizá-los. Já em [51] foi desenvolvido um sistema capaz de auxiliar na identificação de problemas no desempenho de aplicações em Java através da análise dos contadores de desempenho do hardware em sistemas multithread e multiprocessados.…”

Section: Archcunclassified

Análise de desempenho e otimização dos simuladores ArchC

Hato¹

View full text Add to dashboard Cite

Inicialmente, agradeço a Deus pela vida.Aos meus pais, irmãs e a toda minha família que, com muito carinho e apoio, não mediram esforços para que eu chegasse até esta etapa da minha vida.Aos meus orientadores, por seus ensinamentos, paciência e confiança ao longo das supervisões das minhas atividades.Aos meus amigos, pelas alegrias e tristezas compartilhadas. Com vocês, tudo o que tenho produzido na vida é muito melhor.À CAPES e ao FAEPEX, pelo apoio financeiro que possibilitou a realização deste trabalho.Por fim, a todos aqueles que de alguma forma estiveram e estão próximos de mim, fazendo esta vida valer cada vez mais a pena. ResumoGeração automática possui a grande vantagem de automatizar um processo, reduzir o tempo que seria gasto nesta etapa e evitar que erros comuns aconteçam. Porém, de que adianta reduzir o tempo de uma etapa se existe a possibilidade de aumentar o tempo das demais etapas. Em projetos de circuitos digitais, foram desenvolvidas as linguagens de descrição de arquitetura, que possibilitaram o surgimento de ferramentas capazes de gerar automaticamente simuladores, compiladores, etc., que são utilizados para avaliar uma arquitetura sem que esta tenha um hardware propriamente dito. Simuladores gerados automaticamente são utilizados para executar aplicações e averiguar o comportamento destas e da arquitetura sendo projetada. No entanto, caso o simulador gerado não seja eficiente, o tempo de simulação aumenta, podendo superar o ganho obtido pela geração automática, cancelando suas vantagens. Neste caso, como verificar a eficiência do simulador gerado? Uma forma bastante usada é comparar com outros simuladores existentes ou gerar o simulador manualmente para comparação. Comparar com simuladores existentes exigem que estes sejam similares, já gerar manualmente o simulador elimina o propósito da geração automática. Nesse contexto, desenvolvemos uma metodologia para se avaliar os simuladores gerados automaticamente através de perfilamento de código. Isto permitiu a identificação dos gargalos de desempenho e, consequentemente, o desenvolvimento de otimizações na geração de código. Com as otimizações, conseguimos gerar um simulador do modelo MIPS 1,48 vezes melhor.

show abstract