首页 > 最新文献

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

英文 中文
Session details: Paper Session 8 Miscellaneous 会议详情:论文会议8杂项
Jared S. Ivey
{"title":"Session details: Paper Session 8 Miscellaneous","authors":"Jared S. Ivey","doi":"10.1145/3254057","DOIUrl":"https://doi.org/10.1145/3254057","url":null,"abstract":"","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116567660","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
An Integrated Human Decision Making Model under Extended Belief-Desire-Intention Framework 扩展信念-欲望-意图框架下的综合人类决策模型
Y. Son
In this keynote talk, we discuss an extended Belief-Desire-Intention (BDI) framework for human decision making and planning, whose sub-modules have been developed using Bayesian belief network (BBN), Decision-Field-Theory (DFT), and a probabilistic depth first search (DFS) technique. A key novelty of the proposed approach is its ability to represent both the human decision-making as well as decision-planning functions in a coherent framework. In this talk, the proposed framework is illustrated and demonstrated for human's evacuation behaviors under a terrorist bomb attack situation. To mimic realistic human decision-planning and decision-making behaviors, attributes of the extended BDI framework are calibrated from the human-in-the-loop experiments conducted in the Cave Automatic Virtual Environment (CAVE) available at The University of Arizona. A crowd simulation is then constructed, where individual human behaviors are modeled based on what was learned from the CAVE experiments. In this work, the simulated environment (e.g. streets and buildings) and humans conforming to the extended BDI framework are implemented in AnyLogic® agent-based simulation software, where each human entity calls external Netica BBN software to perform its perceptual processing function and Soar software to perform its real-time planning and decision-execution functions. The constructed crowd simulation is used to evaluate the impact of several factors (e.g. number of policemen, information sharing via speakers/mobile phones) on the evacuation performance. Finally, we briefly discuss other applications (e.g. driver's behaviors) and research extensions (e.g. human learning/forgetting and human interactions) for the extended BDI framework.
在本次主题演讲中,我们讨论了一个用于人类决策和规划的扩展的信念-欲望-意图(BDI)框架,该框架的子模块是使用贝叶斯信念网络(BBN)、决策场理论(DFT)和概率深度优先搜索(DFS)技术开发的。该方法的一个关键新颖之处在于它能够在一个连贯的框架中表示人类决策和决策规划功能。在这次演讲中,提出了一个框架来说明和演示在恐怖炸弹袭击情况下人类的疏散行为。为了模拟现实的人类决策规划和决策行为,扩展的BDI框架的属性根据在亚利桑那大学Cave自动虚拟环境(Cave)中进行的人在环实验进行校准。然后构建一个人群模拟,其中个人行为是基于从CAVE实验中学到的东西建模的。在这项工作中,符合扩展BDI框架的模拟环境(如街道和建筑物)和人类在AnyLogic®基于代理的仿真软件中实现,其中每个人类实体调用外部Netica BBN软件来执行其感知处理功能,并调用Soar软件来执行其实时规划和决策执行功能。构建的人群模拟用于评估几个因素(如警察数量,通过扬声器/手机共享信息)对疏散性能的影响。最后,我们简要讨论了扩展BDI框架的其他应用(例如驾驶员行为)和研究扩展(例如人类学习/遗忘和人类交互)。
{"title":"An Integrated Human Decision Making Model under Extended Belief-Desire-Intention Framework","authors":"Y. Son","doi":"10.1145/3064911.3064936","DOIUrl":"https://doi.org/10.1145/3064911.3064936","url":null,"abstract":"In this keynote talk, we discuss an extended Belief-Desire-Intention (BDI) framework for human decision making and planning, whose sub-modules have been developed using Bayesian belief network (BBN), Decision-Field-Theory (DFT), and a probabilistic depth first search (DFS) technique. A key novelty of the proposed approach is its ability to represent both the human decision-making as well as decision-planning functions in a coherent framework. In this talk, the proposed framework is illustrated and demonstrated for human's evacuation behaviors under a terrorist bomb attack situation. To mimic realistic human decision-planning and decision-making behaviors, attributes of the extended BDI framework are calibrated from the human-in-the-loop experiments conducted in the Cave Automatic Virtual Environment (CAVE) available at The University of Arizona. A crowd simulation is then constructed, where individual human behaviors are modeled based on what was learned from the CAVE experiments. In this work, the simulated environment (e.g. streets and buildings) and humans conforming to the extended BDI framework are implemented in AnyLogic® agent-based simulation software, where each human entity calls external Netica BBN software to perform its perceptual processing function and Soar software to perform its real-time planning and decision-execution functions. The constructed crowd simulation is used to evaluate the impact of several factors (e.g. number of policemen, information sharing via speakers/mobile phones) on the evacuation performance. Finally, we briefly discuss other applications (e.g. driver's behaviors) and research extensions (e.g. human learning/forgetting and human interactions) for the extended BDI framework.","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129902107","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}
引用次数: 1
Dealing with Reversibility of Shared Libraries in PDES PDES中共享库的可逆性处理
Davide Cingolani, Alessandro Pellegrini, M. Schordan, F. Quaglia, D. Jefferson
State recoverability is a crucial aspect of speculative Time Warp-based Parallel Discrete Event Simulation. In the literature, we can identify three major classes of techniques to support the correct restoration of a previous simulation state upon the execution of a rollback operation: state checkpointing/restore, manual reverse computation and automatic reverse computation. The latter class has been recently supported by relying either on binary code instrumentation or on source-to-source code transformation. Nevertheless, both solutions are not intrinsically meant to support a reversible execution of third-party shared libraries, which can be pretty useful when implementing complex simulation models. In this paper, we present an architectural solution (realized as a static C library) which allows to transparently instrument at runtime any third party shared library, with no need for any modification to the model's code. We also present a preliminary experimental evaluation, based on the integration of our library with the ROOT-Sim simulation engine.
状态可恢复性是基于推测时间扭曲的并行离散事件模拟的一个重要方面。在文献中,我们可以识别出支持在执行回滚操作时正确恢复先前模拟状态的三大类技术:状态检查点/恢复、手动反向计算和自动反向计算。后一类最近通过依赖二进制代码插装或源代码到源代码转换得到了支持。然而,这两种解决方案本质上并不意味着支持第三方共享库的可逆执行,这在实现复杂的仿真模型时可能非常有用。在本文中,我们提出了一个架构解决方案(作为一个静态C库实现),它允许在运行时透明地使用任何第三方共享库,而无需对模型的代码进行任何修改。我们还提出了一个初步的实验评估,基于我们的库与ROOT-Sim仿真引擎的集成。
{"title":"Dealing with Reversibility of Shared Libraries in PDES","authors":"Davide Cingolani, Alessandro Pellegrini, M. Schordan, F. Quaglia, D. Jefferson","doi":"10.1145/3064911.3064927","DOIUrl":"https://doi.org/10.1145/3064911.3064927","url":null,"abstract":"State recoverability is a crucial aspect of speculative Time Warp-based Parallel Discrete Event Simulation. In the literature, we can identify three major classes of techniques to support the correct restoration of a previous simulation state upon the execution of a rollback operation: state checkpointing/restore, manual reverse computation and automatic reverse computation. The latter class has been recently supported by relying either on binary code instrumentation or on source-to-source code transformation. Nevertheless, both solutions are not intrinsically meant to support a reversible execution of third-party shared libraries, which can be pretty useful when implementing complex simulation models. In this paper, we present an architectural solution (realized as a static C library) which allows to transparently instrument at runtime any third party shared library, with no need for any modification to the model's code. We also present a preliminary experimental evaluation, based on the integration of our library with the ROOT-Sim simulation engine.","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125019071","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}
引用次数: 7
Efficient Parallel Simulation over Social Contact Network with Skewed Degree Distribution 偏斜分布社交网络的高效并行仿真
Yulin Wu, Xiangting Hou, Wen Jun Tan, Zengxiang Li, Wentong Cai
Social contact network (SCN) models the contacts between people by their daily activities. It can be formalized by an agent-to-location bipartite graph. The simulations over SCN are employed to study the complex social dynamics such as information propagation and disease spread among large-scale population. A challenge to the simulation is the skewed degree distribution of SCN, which contains a few hub locations with large numbers of visitors. The skewed degree distribution can cause load imbalance for parallel simulation and greatly degrade the execution performance. This paper proposes an approach which decomposes hub locations into small splits. Thus, SCN can be partitioned with better balanced workloads and multiple splits are able to run in parallel. Based on the pattern of information transmission between agents, we duplicate necessary data among splits to ensure the correctness of simulation. Furthermore, we enhance the parallel algorithm of SCN simulation to reduce the additional overhead from communication between splits. Finally, we build an experiment with epidemic simulation on an open dataset. The experimental results demonstrate that our approach achieves 14~35% performance improvement compared with the partitioning method without decomposition of hub locations.
社会联系网络(Social contact network, SCN)通过人们的日常活动来模拟人与人之间的联系。它可以用agent-to-location二部图形式化。基于SCN的仿真研究了大规模种群中信息传播和疾病传播等复杂的社会动态。SCN的倾斜度分布是模拟的一个挑战,SCN包含几个具有大量访客的枢纽位置。倾斜度分布会导致并行仿真的负载不平衡,严重降低执行性能。本文提出了一种将集线器位置分解成小块的方法。因此,SCN可以通过更好地平衡工作负载进行分区,并且多个拆分可以并行运行。基于智能体之间的信息传递模式,我们在分裂之间复制必要的数据,以保证仿真的正确性。此外,我们改进了SCN仿真的并行算法,以减少分裂之间通信的额外开销。最后,我们在一个开放数据集上建立了一个流行病模拟实验。实验结果表明,与不分解轮毂位置的划分方法相比,该方法的性能提高了14~35%。
{"title":"Efficient Parallel Simulation over Social Contact Network with Skewed Degree Distribution","authors":"Yulin Wu, Xiangting Hou, Wen Jun Tan, Zengxiang Li, Wentong Cai","doi":"10.1145/3064911.3064934","DOIUrl":"https://doi.org/10.1145/3064911.3064934","url":null,"abstract":"Social contact network (SCN) models the contacts between people by their daily activities. It can be formalized by an agent-to-location bipartite graph. The simulations over SCN are employed to study the complex social dynamics such as information propagation and disease spread among large-scale population. A challenge to the simulation is the skewed degree distribution of SCN, which contains a few hub locations with large numbers of visitors. The skewed degree distribution can cause load imbalance for parallel simulation and greatly degrade the execution performance. This paper proposes an approach which decomposes hub locations into small splits. Thus, SCN can be partitioned with better balanced workloads and multiple splits are able to run in parallel. Based on the pattern of information transmission between agents, we duplicate necessary data among splits to ensure the correctness of simulation. Furthermore, we enhance the parallel algorithm of SCN simulation to reduce the additional overhead from communication between splits. Finally, we build an experiment with epidemic simulation on an open dataset. The experimental results demonstrate that our approach achieves 14~35% performance improvement compared with the partitioning method without decomposition of hub locations.","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129589111","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}
引用次数: 3
Analyzing Emergency Evacuation Strategies for Mass Gatherings using Crowd Simulation And Analysis framework: Hajj Scenario 基于人群模拟与分析框架的大规模集会应急疏散策略分析——以朝觐场景为例
Imran Mahmood, Muhammad Haris, H. Sarjoughian
Hajj is one of the largest mass gatherings where Muslims from all over the world gather in Makah each year for pilgrimage. A mass assembly of such scale bears a huge risk of disaster either natural or man-made. In the past few years, thousands of casualties have occurred while performing different Hajj rituals, especially during the Circumambulation of Kaba (Tawaf) due to stampede or chaos. During such calamitous situations, an appropriate evacuation strategy can help resolve the problem and mitigate further risk of causalities. It is however a daunting research problem to identify an optimal course of action based on several constraints. Modeling and analyzing such a problem of real-time and spatially explicit complexity requires a microscale crowd simulation and analysis framework. Which not only allows the modeler to express the spatial dimensions and features of the environment in real scale, but also provides modalities to capture complex crowd behaviors. In this paper, we propose an Agent-based Crowd Simulation & Analysis framework that incorporates the use of Anylogic Pedestrian library and integrates/interoperate Anylogic Simulation environment with the external modules for optimization and analysis. Hence provides a runtime environment for analyzing complex situations, e.g., emergency evacuation strategies. The key features of the proposed framework include: (i) Ability to model large crowd in a spatially explicit environment at real-scale; (ii) Simulation of complex crowd behavior such as emergency evacuation; (iii) Interoperability of optimization and analysis modules with simulation runtime for evaluating evacuation strategies. We present a case study of Hajj scenario as a proof of concept and a test bed for identifying and evaluating optimal strategies for crowd evacuation
朝觐是世界上最大规模的穆斯林集会之一,每年来自世界各地的穆斯林聚集在麦加朝圣。如此大规模的集会面临着天灾人祸的巨大风险。在过去几年中,在进行不同的朝觐仪式时,特别是在卡巴节(Tawaf)期间,由于踩踏或混乱,发生了数千人伤亡。在这种灾难性的情况下,适当的疏散策略可以帮助解决问题并减少进一步的伤亡风险。然而,根据几个约束条件确定最佳行动方案是一个令人望而生畏的研究问题。建模和分析这种实时和空间显式复杂性的问题需要一个微观尺度的人群模拟和分析框架。这不仅使建模者能够在真实尺度上表达环境的空间维度和特征,而且为捕获复杂的人群行为提供了模态。在本文中,我们提出了一个基于agent的人群仿真与分析框架,该框架结合了Anylogic行人库的使用,并将Anylogic仿真环境与外部模块集成/互操作,以进行优化和分析。因此,为分析复杂情况(如紧急疏散策略)提供了一个运行时环境。所提议的框架的主要特点包括:(i)能够在实际尺度上对空间明确环境中的大量人群进行建模;㈡模拟复杂的人群行为,如紧急疏散;(iii)优化和分析模块与评估疏散策略的仿真运行时的互操作性。我们提出了一个朝觐场景的案例研究,作为识别和评估人群疏散最佳策略的概念验证和测试平台
{"title":"Analyzing Emergency Evacuation Strategies for Mass Gatherings using Crowd Simulation And Analysis framework: Hajj Scenario","authors":"Imran Mahmood, Muhammad Haris, H. Sarjoughian","doi":"10.1145/3064911.3064924","DOIUrl":"https://doi.org/10.1145/3064911.3064924","url":null,"abstract":"Hajj is one of the largest mass gatherings where Muslims from all over the world gather in Makah each year for pilgrimage. A mass assembly of such scale bears a huge risk of disaster either natural or man-made. In the past few years, thousands of casualties have occurred while performing different Hajj rituals, especially during the Circumambulation of Kaba (Tawaf) due to stampede or chaos. During such calamitous situations, an appropriate evacuation strategy can help resolve the problem and mitigate further risk of causalities. It is however a daunting research problem to identify an optimal course of action based on several constraints. Modeling and analyzing such a problem of real-time and spatially explicit complexity requires a microscale crowd simulation and analysis framework. Which not only allows the modeler to express the spatial dimensions and features of the environment in real scale, but also provides modalities to capture complex crowd behaviors. In this paper, we propose an Agent-based Crowd Simulation & Analysis framework that incorporates the use of Anylogic Pedestrian library and integrates/interoperate Anylogic Simulation environment with the external modules for optimization and analysis. Hence provides a runtime environment for analyzing complex situations, e.g., emergency evacuation strategies. The key features of the proposed framework include: (i) Ability to model large crowd in a spatially explicit environment at real-scale; (ii) Simulation of complex crowd behavior such as emergency evacuation; (iii) Interoperability of optimization and analysis modules with simulation runtime for evaluating evacuation strategies. We present a case study of Hajj scenario as a proof of concept and a test bed for identifying and evaluating optimal strategies for crowd evacuation","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116085532","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}
引用次数: 33
Spatial and Temporal Charging Infrastructure Planning Using Discrete Event Simulation 基于离散事件模拟的时空充电基础设施规划
M. Pruckner, R. German, D. Eckhoff
The switch from gasoline-powered vehicles to electric vehicles (EVs) is an important step to reduce greenhouse gas emissions. To this end, many European countries announced EV stock targets, e.g., Germany aims to have one million EVs on the roads by 2020. To achieve these goals and to handle the range limitation of EVs, a widespread publicly accessible charging infrastructure is needed. This paper provides a dynamic spatial and temporal simulation model for the building of charging infrastructure on a municipality scale. We evaluate empirical data about the timely utilization of different charging stations in the German federal state of Bavaria. This data is used to derive empirical models for the start time and duration of charging events as well as the popularity of charging stations. We develop a lightweight discrete event simulation model which can be used to investigate different expansion strategies, e.g., based on the load of charging stations or the number of successful and failed charging attempts. We show the applicability of our model using the German federal state of Bavaria as a use case.
从汽油动力汽车转向电动汽车是减少温室气体排放的重要一步。为此,许多欧洲国家宣布了电动汽车库存目标,如德国的目标是到2020年拥有100万辆电动汽车。为了实现这些目标并解决电动汽车行驶里程的限制,需要一个广泛的公共充电基础设施。本文建立了城市尺度下充电基础设施建设的动态时空仿真模型。我们评估了德国巴伐利亚联邦州不同充电站的及时利用的实证数据。该数据用于推导充电事件开始时间和持续时间以及充电站普及程度的经验模型。我们开发了一个轻量级的离散事件仿真模型,该模型可用于研究不同的扩展策略,例如,基于充电站的负载或充电成功和失败的次数。我们使用德国巴伐利亚联邦州作为用例来展示我们模型的适用性。
{"title":"Spatial and Temporal Charging Infrastructure Planning Using Discrete Event Simulation","authors":"M. Pruckner, R. German, D. Eckhoff","doi":"10.1145/3064911.3064919","DOIUrl":"https://doi.org/10.1145/3064911.3064919","url":null,"abstract":"The switch from gasoline-powered vehicles to electric vehicles (EVs) is an important step to reduce greenhouse gas emissions. To this end, many European countries announced EV stock targets, e.g., Germany aims to have one million EVs on the roads by 2020. To achieve these goals and to handle the range limitation of EVs, a widespread publicly accessible charging infrastructure is needed. This paper provides a dynamic spatial and temporal simulation model for the building of charging infrastructure on a municipality scale. We evaluate empirical data about the timely utilization of different charging stations in the German federal state of Bavaria. This data is used to derive empirical models for the start time and duration of charging events as well as the popularity of charging stations. We develop a lightweight discrete event simulation model which can be used to investigate different expansion strategies, e.g., based on the load of charging stations or the number of successful and failed charging attempts. We show the applicability of our model using the German federal state of Bavaria as a use case.","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125371847","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}
引用次数: 7
Simulation of a Software-Defined Network as One Big Switch 软件定义网络作为一个大交换机的仿真
Jiaqi Yan, Xin Liu, Dong Jin
Software-defined networking (SDN) technology promises centralized and rapid network provisioning, holistic management, low operational cost, and improved network visibility. Researchers have developed multiple SDN simulation and emulation platforms to expedite the adoption of many emerging SDN-based applications to production systems. However, the scalability of those platforms is often limited by the underlying physical hardware resources, which inevitably affects the simulation fidelity in large-scale network settings. In this paper, we present a model abstraction technique that effectively transforms the network devices in an SDN-based network to one virtualized switch model. While significantly reducing the model execution time and enabling the real-time simulation capability, our abstracted model also preserves the end-to-end forwarding behavior of the original network. To achieve this, we first classify packets with the same forwarding behavior into smaller and disjoint Equivalence Classes (ECes) by analyzing the OpenFlow rules installed on the SDN devices. We then create a graph model representing the forwarding behavior of each EC. By traversing those graphs, we finally construct the rules of the big-switch model to effectively preserve the original network's end-to-end forwarding behavior. Experimental results demonstrate that the network forwarding logic equivalence is well preserved between the abstracted model and the original SDN network. The model abstraction process is fast, e.g., 3.15 seconds to transform a medium-scale tree network consisting of 53,260 rules. The big-switch model is able to speed up the simulation by 4.3 times in average and up to 6.69 times among our evaluation experiments.
软件定义网络(SDN)技术保证了集中和快速的网络供应、全面的管理、低运营成本和改进的网络可见性。研究人员已经开发了多个SDN仿真和仿真平台,以加快许多新兴的基于SDN的应用程序在生产系统中的采用。然而,这些平台的可扩展性往往受到底层物理硬件资源的限制,这不可避免地影响了大规模网络环境下的仿真保真度。本文提出了一种模型抽象技术,可以有效地将基于sdn的网络中的网络设备转换为虚拟交换机模型。在显著减少模型执行时间和实现实时仿真能力的同时,我们的抽象模型还保留了原始网络的端到端转发行为。为了实现这一点,我们首先通过分析安装在SDN设备上的OpenFlow规则,将具有相同转发行为的数据包分类为更小且不相连的等价类(ECes)。然后,我们创建了一个表示每个EC的转发行为的图模型。通过遍历这些图,我们最终构建了大交换机模型的规则,以有效地保持原始网络的端到端转发行为。实验结果表明,抽象模型与原始SDN网络保持了良好的网络转发逻辑等价性。模型抽象过程快速,转换一个包含53260条规则的中等规模树状网络仅需3.15秒。在我们的评估实验中,大开关模型的模拟速度平均提高了4.3倍,最高可达6.69倍。
{"title":"Simulation of a Software-Defined Network as One Big Switch","authors":"Jiaqi Yan, Xin Liu, Dong Jin","doi":"10.1145/3064911.3064918","DOIUrl":"https://doi.org/10.1145/3064911.3064918","url":null,"abstract":"Software-defined networking (SDN) technology promises centralized and rapid network provisioning, holistic management, low operational cost, and improved network visibility. Researchers have developed multiple SDN simulation and emulation platforms to expedite the adoption of many emerging SDN-based applications to production systems. However, the scalability of those platforms is often limited by the underlying physical hardware resources, which inevitably affects the simulation fidelity in large-scale network settings. In this paper, we present a model abstraction technique that effectively transforms the network devices in an SDN-based network to one virtualized switch model. While significantly reducing the model execution time and enabling the real-time simulation capability, our abstracted model also preserves the end-to-end forwarding behavior of the original network. To achieve this, we first classify packets with the same forwarding behavior into smaller and disjoint Equivalence Classes (ECes) by analyzing the OpenFlow rules installed on the SDN devices. We then create a graph model representing the forwarding behavior of each EC. By traversing those graphs, we finally construct the rules of the big-switch model to effectively preserve the original network's end-to-end forwarding behavior. Experimental results demonstrate that the network forwarding logic equivalence is well preserved between the abstracted model and the original SDN network. The model abstraction process is fast, e.g., 3.15 seconds to transform a medium-scale tree network consisting of 53,260 rules. The big-switch model is able to speed up the simulation by 4.3 times in average and up to 6.69 times among our evaluation experiments.","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129549521","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}
引用次数: 4
Exposing Inter-Process Information for Efficient Parallel Discrete Event Simulation of Spatial Stochastic Systems 面向空间随机系统并行离散事件模拟的进程间信息暴露
Jonatan Lindén, Pavol Bauer, Stefan Engblom, B. Jonsson
We present a new efficient approach to the parallelization of discrete event simulators for multicore computers, which is based on exposing and disseminating essential information between processors. We aim specifically at simulation models with a spatial structure, where time intervals between successive events are highly variable and without lower bounds. In Parallel Discrete Event Simulation (PDES), the model is distributed onto parallel processes. A key challenge in PDES is that each process must continuously decide when to pause its local simulation in order to reduce the risk of expensive rollbacks caused by future "delayed"' incoming events from other processes. A process could make such decisions optimally if it would know the timestamps of future incoming events. Unfortunately, this information is often not available in PDES algorithms. We present an approach to designing efficient PDES algorithms, in which an existing natural parallelization of PDES is restructured in order to expose and disseminate more precise information about future incoming events to each LP. We have implemented our approach in a parallel simulator for spatially extended Markovian processes, intended for simulating, e.g., chemical reactions, biological and epidemiological processes. On 32 cores, our implementation exhibits speedup that significantly outweighs the overhead incurred by the refinement. We also show that our resulting simulator is superior in performance to existing simulators for comparable models, achieving for 32 cores an average speedup of 20 relative to an efficient sequential implementation.
我们提出了一种新的多核计算机离散事件模拟器并行化的有效方法,该方法基于处理器之间的基本信息的暴露和传播。我们专门针对具有空间结构的模拟模型,其中连续事件之间的时间间隔是高度可变的并且没有下界。在并行离散事件仿真(PDES)中,模型被分布到并行进程中。PDES中的一个关键挑战是,每个进程必须不断地决定何时暂停其本地模拟,以减少由于未来来自其他进程的“延迟”传入事件而导致的代价高昂的回滚风险。如果进程知道未来传入事件的时间戳,它就可以做出这样的最佳决策。不幸的是,这些信息在PDES算法中通常不可用。我们提出了一种设计高效PDES算法的方法,该方法重构了现有的PDES自然并行化,以便向每个LP公开和传播有关未来传入事件的更精确信息。我们已经在空间扩展马尔可夫过程的并行模拟器中实现了我们的方法,用于模拟化学反应,生物和流行病学过程。在32核上,我们的实现显示出的加速大大超过了改进所带来的开销。我们还表明,我们得到的模拟器在性能上优于现有的类似模型模拟器,相对于有效的顺序实现,32核的平均加速提高了20。
{"title":"Exposing Inter-Process Information for Efficient Parallel Discrete Event Simulation of Spatial Stochastic Systems","authors":"Jonatan Lindén, Pavol Bauer, Stefan Engblom, B. Jonsson","doi":"10.1145/3064911.3064916","DOIUrl":"https://doi.org/10.1145/3064911.3064916","url":null,"abstract":"We present a new efficient approach to the parallelization of discrete event simulators for multicore computers, which is based on exposing and disseminating essential information between processors. We aim specifically at simulation models with a spatial structure, where time intervals between successive events are highly variable and without lower bounds. In Parallel Discrete Event Simulation (PDES), the model is distributed onto parallel processes. A key challenge in PDES is that each process must continuously decide when to pause its local simulation in order to reduce the risk of expensive rollbacks caused by future \"delayed\"' incoming events from other processes. A process could make such decisions optimally if it would know the timestamps of future incoming events. Unfortunately, this information is often not available in PDES algorithms. We present an approach to designing efficient PDES algorithms, in which an existing natural parallelization of PDES is restructured in order to expose and disseminate more precise information about future incoming events to each LP. We have implemented our approach in a parallel simulator for spatially extended Markovian processes, intended for simulating, e.g., chemical reactions, biological and epidemiological processes. On 32 cores, our implementation exhibits speedup that significantly outweighs the overhead incurred by the refinement. We also show that our resulting simulator is superior in performance to existing simulators for comparable models, achieving for 32 cores an average speedup of 20 relative to an efficient sequential implementation.","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128537559","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}
引用次数: 8
Power Efficient Distributed Simulation 节能分布式仿真
R. Fujimoto, M. Hunter, A. Biswas, Mark Jackson, Sabra A. Neal
Energy and power consumption have become important concerns for many computing systems ranging from embedded and mobile systems operating on battery-powered devices to high performance and cloud computing applications running on supercomputers and in data centers. To date, only a limited amount of work has considered power consumption in parallel and distributed simulations. A variety of options to analyze and explore power consumption in distributed simulations are discussed. These options range from design decisions in developing the simulation model to selection of algorithms in distributed simulation middleware to exploitation of hardware techniques. Work to characterize the power and energy consumed by different elements of parallel and distributed simulation systems are discussed and empirical measurements presented to quantify energy and power use, suggestive of directions for future research in this area.
从在电池供电设备上运行的嵌入式和移动系统到在超级计算机和数据中心上运行的高性能和云计算应用程序,能源和功耗已成为许多计算系统的重要关注点。到目前为止,只有有限的工作考虑了并行和分布式模拟的功耗。讨论了分布式仿真中分析和探索功耗的各种选项。这些选项的范围从开发仿真模型中的设计决策到分布式仿真中间件中的算法选择,再到硬件技术的利用。讨论了并行和分布式仿真系统中不同元素所消耗的功率和能量的特征,并提出了量化能量和功率使用的经验测量,提出了该领域未来研究的方向。
{"title":"Power Efficient Distributed Simulation","authors":"R. Fujimoto, M. Hunter, A. Biswas, Mark Jackson, Sabra A. Neal","doi":"10.1145/3064911.3069397","DOIUrl":"https://doi.org/10.1145/3064911.3069397","url":null,"abstract":"Energy and power consumption have become important concerns for many computing systems ranging from embedded and mobile systems operating on battery-powered devices to high performance and cloud computing applications running on supercomputers and in data centers. To date, only a limited amount of work has considered power consumption in parallel and distributed simulations. A variety of options to analyze and explore power consumption in distributed simulations are discussed. These options range from design decisions in developing the simulation model to selection of algorithms in distributed simulation middleware to exploitation of hardware techniques. Work to characterize the power and energy consumed by different elements of parallel and distributed simulation systems are discussed and empirical measurements presented to quantify energy and power use, suggestive of directions for future research in this area.","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131682490","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}
引用次数: 11
Performance Characterization of Parallel Discrete Event Simulation on Knights Landing Processor 骑士登陆处理器并行离散事件仿真的性能表征
B. Williams, D. Ponomarev, N. Abu-Ghazaleh, P. Wilsey
Performance and scalability of Parallel Discrete Event Simulation (PDES) is often limited by fine-grain communication, especially in execution environments with high communication cost. However, the low cost of on-chip communication in emerging many-core processors offers a promise to substantially alleviate conventional PDES bottlenecks. In this paper, we present a detailed evaluation and characterization of multi-threaded ROSS simulator on Intel's Knights Landing (KNL) processor. KNL is the second generation of the Intel Xeon Phi family of processors offering significant architecture improvements including 64 out-of-order multithreaded cores, sharing of some levels of the cache hierarchy among the cores, fast 2D mesh interconnect network and the ability to reconfigure the processor to support various clustering modes. We analyze the performance and scalability of ROSS simulator on KNL processor under different thread counts, communication patterns, event processing granularities, synchronization periods, thread placement policies, and workload partitioning schemes. We conclude that within a single KNL processor, up to 2X performance improvement can be achieved compared to commodity Xeon multicore processors. We show that in most cases the performance of ROSS scales well with the best results achieved when thread affinity is assigned, CPU cores are evenly loaded, cache sharing is exploited and communication is limited to small clusters of cores.
并行离散事件仿真(PDES)的性能和可扩展性经常受到细粒度通信的限制,特别是在通信成本高的执行环境中。然而,在新兴的多核处理器中,片上通信的低成本提供了大幅缓解传统PDES瓶颈的希望。在本文中,我们提出了一个详细的评估和表征的多线程罗斯模拟器在英特尔的骑士登陆(KNL)处理器。KNL是Intel Xeon Phi系列处理器的第二代,提供了重大的架构改进,包括64个乱序多线程内核,内核之间共享某些级别的缓存层次结构,快速2D网格互连网络以及重新配置处理器以支持各种集群模式的能力。分析了KNL处理器上的ROSS模拟器在不同线程数、通信模式、事件处理粒度、同步周期、线程放置策略和工作负载分区方案下的性能和可伸缩性。我们得出的结论是,在单个KNL处理器中,与商用Xeon多核处理器相比,可以实现高达2倍的性能改进。我们表明,在大多数情况下,ROSS的性能可以很好地扩展,当分配线程亲和性,CPU内核均匀负载,缓存共享被利用并且通信仅限于小的内核集群时,可以获得最佳结果。
{"title":"Performance Characterization of Parallel Discrete Event Simulation on Knights Landing Processor","authors":"B. Williams, D. Ponomarev, N. Abu-Ghazaleh, P. Wilsey","doi":"10.1145/3064911.3064929","DOIUrl":"https://doi.org/10.1145/3064911.3064929","url":null,"abstract":"Performance and scalability of Parallel Discrete Event Simulation (PDES) is often limited by fine-grain communication, especially in execution environments with high communication cost. However, the low cost of on-chip communication in emerging many-core processors offers a promise to substantially alleviate conventional PDES bottlenecks. In this paper, we present a detailed evaluation and characterization of multi-threaded ROSS simulator on Intel's Knights Landing (KNL) processor. KNL is the second generation of the Intel Xeon Phi family of processors offering significant architecture improvements including 64 out-of-order multithreaded cores, sharing of some levels of the cache hierarchy among the cores, fast 2D mesh interconnect network and the ability to reconfigure the processor to support various clustering modes. We analyze the performance and scalability of ROSS simulator on KNL processor under different thread counts, communication patterns, event processing granularities, synchronization periods, thread placement policies, and workload partitioning schemes. We conclude that within a single KNL processor, up to 2X performance improvement can be achieved compared to commodity Xeon multicore processors. We show that in most cases the performance of ROSS scales well with the best results achieved when thread affinity is assigned, CPU cores are evenly loaded, cache sharing is exploited and communication is limited to small clusters of cores.","PeriodicalId":341026,"journal":{"name":"Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128997789","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}
引用次数: 17
期刊
Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1