Workshop on Parallel and Distributed Simulation最新文献

筛选
英文 中文
Parallel simulation of communicating finite state machines 通信有限状态机的并行仿真
Workshop on Parallel and Distributed Simulation Pub Date : 1993-07-01 DOI: 10.1145/158459.158477
C. Tropper, A. Boukerche
{"title":"Parallel simulation of communicating finite state machines","authors":"C. Tropper, A. Boukerche","doi":"10.1145/158459.158477","DOIUrl":"https://doi.org/10.1145/158459.158477","url":null,"abstract":"We describe, in this paper, a synchronization/deadlock resolution mechanism for a network of communicating finite state machines implemented on a parallel machine. As it is message-based, it is appropriate for distributed memory machines.\u0000The technique was inspired by a project at the Jet Propulsion laboratories whose goal is the specification and verification of the software used to control the interplanetary spacecraft operated by the laboratory.\u0000The network of communicating finite state machines makes use of write messages to alter the value of the variables describing the finite state machines and read messages to determine the state of the variables. Since a blocking protocol is employed, it is possible for deadlocks to occur. Consequently, we describe deadlock resolution algorithms.\u0000Our algorithms were implemented on an iPSC/2 hypercube, demonstrating good performance on a queueing network model.","PeriodicalId":194781,"journal":{"name":"Workshop on Parallel and Distributed Simulation","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128811886","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
Restructuring a parallel simulation to improve cache behavior in a shared-memory multiprocessor: the value of distributed synchronization 重构并行模拟以改善共享内存多处理器中的缓存行为:分布式同步的价值
Workshop on Parallel and Distributed Simulation Pub Date : 1993-07-01 DOI: 10.1145/158459.158480
D. Cheriton, H. A. Goosen, H. Holbrook, P. Machanick
{"title":"Restructuring a parallel simulation to improve cache behavior in a shared-memory multiprocessor: the value of distributed synchronization","authors":"D. Cheriton, H. A. Goosen, H. Holbrook, P. Machanick","doi":"10.1145/158459.158480","DOIUrl":"https://doi.org/10.1145/158459.158480","url":null,"abstract":"Synchronization is a significant cost in many parallel programs, and can be a major bottleneck if it is handled in a centralized fashion using traditional shared-memory constructs such as barriers. In a parallel time-stepped simulation, the use of global synchronization primitives limits scalability, increases the sensitivity to load imbalance, and reduces the potential for exploiting locality to improve cache behavior.\u0000This paper presents the results of an initial one-application study quantifying the costs and performance benefits of distributed, nearest neighbors synchronization. The application studied, MP3D, is a particle-based wind tunnel simulation. Our results for this one application on current shared-memory multiprocessors show a significant decrease in synchronization time using these techniques. We prototyped an application-independent library that implements distributed synchronization. The library allows a variety of parallel simulations to exploit these techniques without increasing the application programming beyond that of conventional approaches.","PeriodicalId":194781,"journal":{"name":"Workshop on Parallel and Distributed Simulation","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123659315","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}
引用次数: 20
Selecting the checkpoint interval in time warp simulation 时间扭曲模拟中检查点间隔的选择
Workshop on Parallel and Distributed Simulation Pub Date : 1993-07-01 DOI: 10.1145/158459.158460
Yi-Bing Lin, B. R. Preiss, W. Loucks, Ed Lazowska
{"title":"Selecting the checkpoint interval in time warp simulation","authors":"Yi-Bing Lin, B. R. Preiss, W. Loucks, Ed Lazowska","doi":"10.1145/158459.158460","DOIUrl":"https://doi.org/10.1145/158459.158460","url":null,"abstract":"In Time Warp parallel simulation, the state of each process must be saved (checkpointed) regularly in case a rollback is necessary. Although most existing Time Warp implementations checkpoint after every state transition, this is not necessary, and the checkpoint interval is in reality a tuning parameter of the simulation.\u0000Lin and Lazowska[6] proposed a model to derive the optimal checkpoint interval by assuming that the rollback behavior of Time Warp is not affected by the frequency of checkpointing. An experimental study conducted by Preiss et al.[10] indicates that the behavior of rollback is affected by the frequency of checkpointing in general, and that the Lin-Lazowska model may not reflect the real situations in general.\u0000This paper extends the Lin-Lazowska model to include the effect of the checkpoint interval on the rollback behavior. The relationship among the checkpoint interval, the rollback behavior, and the overhead associated with state saving and restoration is described. A checkpoint interval selection algorithm which quickly determines the optimal checkpoint interval during the execution of Time Warp simulation is proposed. Empirical results indicate that the algorithm converges quickly and always selects the optimal checkpoint interval.","PeriodicalId":194781,"journal":{"name":"Workshop on Parallel and Distributed Simulation","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124408528","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}
引用次数: 123
Workshop Committees 车间委员会
Workshop on Parallel and Distributed Simulation Pub Date : 1900-01-01 DOI: 10.1109/pads.2006.40
S. J. Turner, J. Lüthi, W. Cai, Joo Sing Tan, Lijun Lau, S. J. E. Taylor, A. S. Elmaghraby, B. W. Unger, G. F. Riley, D. M. Nicol, R. M. Fujimoto, A. Boukerche, J. Liu, A. L. M. T. Mclean, E. H. Page, R. Simmonds
{"title":"Workshop Committees","authors":"S. J. Turner, J. Lüthi, W. Cai, Joo Sing Tan, Lijun Lau, S. J. E. Taylor, A. S. Elmaghraby, B. W. Unger, G. F. Riley, D. M. Nicol, R. M. Fujimoto, A. Boukerche, J. Liu, A. L. M. T. Mclean, E. H. Page, R. Simmonds","doi":"10.1109/pads.2006.40","DOIUrl":"https://doi.org/10.1109/pads.2006.40","url":null,"abstract":"","PeriodicalId":194781,"journal":{"name":"Workshop on Parallel and Distributed Simulation","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132787358","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信