Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation最新文献

Time-Sharing Time Warp via Lightweight Operating System Support 通过轻量级操作系统支持的分时时间扭曲

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/2769458.2769478

Alessandro Pellegrini, F. Quaglia

{"title":"Time-Sharing Time Warp via Lightweight Operating System Support","authors":"Alessandro Pellegrini, F. Quaglia","doi":"10.1145/2769458.2769478","DOIUrl":"https://doi.org/10.1145/2769458.2769478","url":null,"abstract":"The order according to which the different tasks are carried out within a Time Warp platform has a direct impact on performance, given that event processing is speculative, thus being subject to the possibility of being rolled-back. It is typically recognized that not-yet-executed events having lower timestamps should be given higher CPU-schedule priority, since this contributes to keep low the amount of rollbacks. However, common Time Warp platforms usually execute events as atomic actions. Hence control is bounced back to the underlying simulation platform only at the end of the current event processing routine. In other words, CPU-scheduling of events resembles classical batch-multitasking scheduling, which is recognized not to promptly react to variations of the priority of pending tasks (e.g. associated with the injection of new events in the system). In this article we present the design and implementation of a time-sharing Time Warp platform, to be run on multi-core machines, where the platform-level software is allowed to take back control on a periodical basis (with fine grain period), and to possibly preempt any ongoing event processing activity in favor of dispatching (along the same thread) any other event that is revealed to have higher priority. Our proposal is based on an ad-hoc kernel module for Linux, which implements a fine grain timer-interrupt mechanism with lightweight management, which is fully integrated with the modern top/bottom-half timer-interrupt Linux architecture, and which does not induce any bias in terms of relative CPU-usage planning across Time Warp vs non-Time Warp threads running on the machine. Our time-sharing architecture has been integrated within the open source ROOT-Sim optimistic simulation package, and we also report some experimental data for an assessment of our proposal.","PeriodicalId":138284,"journal":{"name":"Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122447905","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Syntax and Semantics of a Multi-Level Modeling Language 多层次建模语言的语法和语义

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/2769458.2769467

Tom Warnke, Tobias Helms, A. Uhrmacher

引用次数: 17

Conjoining Emulation and Network Simulators on Linux Multiprocessors Linux多处理器上的连接仿真和网络模拟器

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/2769458.2769481

Jereme Lamps, Vladimir Adam, D. Nicol, M. Caesar

引用次数: 9

A Prototype HLA Development Kit: Results from the 2015 Simulation Exploration Experience HLA原型开发工具包:2015年仿真探索经验的结果

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/2769458.2769489

A. Garro, A. Falcone, N. R. Chaudhry, Omar-Alfred Salah, A. Anagnostou, Simon J. E. Taylor

引用次数: 16

Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES 透明地混合撤销日志和软件可逆性用于乐观PDES中的状态恢复

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/2769458.2769482

Davide Cingolani, Alessandro Pellegrini, F. Quaglia

{"title":"Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES","authors":"Davide Cingolani, Alessandro Pellegrini, F. Quaglia","doi":"10.1145/2769458.2769482","DOIUrl":"https://doi.org/10.1145/2769458.2769482","url":null,"abstract":"The rollback operation is a fundamental building block to support the correct execution of a speculative Time Warp-based Parallel Discrete Event Simulation. In the literature, several solutions to reduce the execution cost of this operation have been proposed, either based on the creation of a checkpoint of previous simulation state images, or on the execution of negative copies of simulation events which are able to undo the updates on the state. In this paper, we explore the practical design and implementation of a state recoverability technique which allows to restore a previous simulation state either relying on checkpointing or on the reverse execution of the state updates occurred while processing events in forward mode. Differently from other proposals, we address the issue of executing backward updates in a fully-transparent and event granularity-independent way, by relying on static software instrumentation (targeting the x86 architecture and Linux systems) to generate at runtime reverse update code blocks (not to be confused with reverse events, proper of the reverse computing approach). These are able to undo the effects of a forward execution while minimizing the cost of the undo operation. We also present experimental results related to our implementation, which is released as free software and fully integrated into the open source ROOT-Sim (ROme OpTimistic Simulator) package. The experimental data support the viability and effectiveness of our proposal.","PeriodicalId":138284,"journal":{"name":"Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"207 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124016357","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 22

Improving Computational Performance of Simulation-based Heuristic Algorithms for Job Sequencing 改进基于仿真的启发式作业排序算法的计算性能

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/2769458.2774213

Shell-Ying Huang, Ya Li

引用次数: 0

Session details: Education 会议详情:教育

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/3247420

Steffen Straßurger

引用次数: 0

Management of Ubiquitous Systems with a Mobile Application Using Discrete Event Simulations 使用离散事件模拟的移动应用程序管理泛在系统

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/2769458.2769490

Souhila Sehili, L. Capocchi, J. Santucci

引用次数: 3

Verification of Petri Nets based Simulation Models using Coverage Metrics 基于覆盖度量的Petri网仿真模型验证

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/2769458.2769460

M. Rabe, Maik Deininger, Anne Antonia Scheidler

{"title":"Verification of Petri Nets based Simulation Models using Coverage Metrics","authors":"M. Rabe, Maik Deininger, Anne Antonia Scheidler","doi":"10.1145/2769458.2769460","DOIUrl":"https://doi.org/10.1145/2769458.2769460","url":null,"abstract":"Through the wast growth of information technologies, verification is of high importance in many research fields. Most of the models describing modelling procedures include verification and validation as a single step or as an accompanying activity. Unfortunately, most of these models do not give more detailed operation guidelines. In this context, it is common that verification is necessary, but in real life projects there is often no time nor men power for verification, particularly, if verifying is an accompanying activity as in simulation projects. The complexity of simulation projects complicates a proper implementation of verification. Therefore, it is a common method to tailor the procedure models. In this paper we concentrate on modelling and introduce an approach for automated verification. Petri nets are widely used as modelling method. Petri nets are well defined and based on graphs. Thus, this paper introduces an approach for mapping petri-net-based models to control flow graphs. Then it is shown, how this mapping can be utilised for applying coverage metrics. This enables projects to use software testing methods of coverage for verifying petri-net-based simulation models. As a benefit, project time and personnel can be saved.","PeriodicalId":138284,"journal":{"name":"Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127408094","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

NTW-MT: a Multi-threaded Simulator for Reaction Diffusion Simulations in NEURON NTW-MT:一个用于神经元反应扩散模拟的多线程模拟器

Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation Pub Date : 2015-06-10 DOI: 10.1145/2769458.2769459

Zhongwei Lin, C. Tropper, Mohammand Nazrul Ishlam Patoary, R. McDougal, W. Lytton, M. Hines

{"title":"NTW-MT: a Multi-threaded Simulator for Reaction Diffusion Simulations in NEURON","authors":"Zhongwei Lin, C. Tropper, Mohammand Nazrul Ishlam Patoary, R. McDougal, W. Lytton, M. Hines","doi":"10.1145/2769458.2769459","DOIUrl":"https://doi.org/10.1145/2769458.2769459","url":null,"abstract":"This paper describes a parallel discrete event simulator, Neuron Time Warp-Multi Thread (NTW-MT), developed for the simulation of reaction diffusion models of neurons. The simulator was developed as part of the NEURON project and is intended to be included in NEURON. It relies upon a stochastic discrete event model developed for chemical reactions. NTW-MT is optimistic and thread-based, in which communication latency among threads within the same process is minimized by pointers. We investigate the performance of NTW-MT on a reaction-diffusion model for the transmission of calcium waves in a neuron. Calcium plays a fundamental role in the second messenger system of a neuron. However, the mechanism by which calcium waves are transmitted is not entirely understood. Stochastic models are more realistic than deterministic models for small populations of ions such as those found in apical dendrites. To be more precise, we simulate a stochastic discrete event model for calcium wave propagation on an unbranched apical dendrite of a hippocampal pyramidal neuron. We examine the performance of NTW-MT on this calcium wave model and compare it to the performance of (1) a process based optimistic simulator and (2) a threaded simulator which uses a single priority (SQ) queue for each thread. Our multi-threaded simulator is shown to achieve superior performance to these simulators.","PeriodicalId":138284,"journal":{"name":"Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127355857","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 13