首页 > 最新文献

2006 Fifth International Symposium on Parallel and Distributed Computing最新文献

英文 中文
Solving System of Linear Equations in a Network of Workstations 工作站网络中线性方程组的求解
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.45
G. Dimitriu, F. Ionescu
In this article we propose an evaluation of the three common algorithms for solving linear system of equations: Gauss elimination, Gauss-Jordan without pivoting and Jacobi with dominant rows. The parallel design of the chosen algorithms is a compromise between the easies and elegant way to implement in MPI and the performance. The result confirmed that for a small number of low cost computers the speedup is acceptable for the Gauss elimination and Gauss-Jordan but for Jacobi with dominant rows if data is not already distributed it is better to implement the serial version
本文给出了求解线性方程组的三种常用算法的评价:高斯消去法、无旋转的高斯-乔丹法和具有优势行的雅可比法。所选算法的并行设计是在MPI实现的简单和优雅方式与性能之间的折衷。结果证实,对于少数低成本计算机,加速对于高斯消除和高斯-乔丹是可以接受的,但对于具有优势行的Jacobi,如果数据尚未分布,则最好实现串行版本
{"title":"Solving System of Linear Equations in a Network of Workstations","authors":"G. Dimitriu, F. Ionescu","doi":"10.1109/ISPDC.2006.45","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.45","url":null,"abstract":"In this article we propose an evaluation of the three common algorithms for solving linear system of equations: Gauss elimination, Gauss-Jordan without pivoting and Jacobi with dominant rows. The parallel design of the chosen algorithms is a compromise between the easies and elegant way to implement in MPI and the performance. The result confirmed that for a small number of low cost computers the speedup is acceptable for the Gauss elimination and Gauss-Jordan but for Jacobi with dominant rows if data is not already distributed it is better to implement the serial version","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126807680","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
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report 商品POSIX系统上的分布式实时编程:初步报告
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.21
S. Bruda, Petter Haggholm, Scott Stoddard
We present an incipient implementation of a programming language that allows programming of real-time applications distributed over a network. We have several goals in mind: First, the language should be built on a sound semantics and offer support for model-based conformance testing. At the same time the language should place the normal programmer (who tends to shy away from exceedingly formal constructs) in a comfortable environment. Thirdly, programs written in this language should run on commodity systems, without relying on real-time support from the kernel. Finally, the language separates the code from timing restrictions, thus allowing for code re-use
我们提出了一种编程语言的初步实现,它允许在网络上分布的实时应用程序编程。我们心中有几个目标:首先,语言应该建立在健全的语义上,并提供对基于模型的一致性测试的支持。同时,语言应该把普通的程序员(他们倾向于避开非常正式的结构)放在一个舒适的环境中。第三,用这种语言编写的程序应该运行在商用系统上,而不依赖于内核的实时支持。最后,该语言将代码从时间限制中分离出来,从而允许代码重用
{"title":"Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report","authors":"S. Bruda, Petter Haggholm, Scott Stoddard","doi":"10.1109/ISPDC.2006.21","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.21","url":null,"abstract":"We present an incipient implementation of a programming language that allows programming of real-time applications distributed over a network. We have several goals in mind: First, the language should be built on a sound semantics and offer support for model-based conformance testing. At the same time the language should place the normal programmer (who tends to shy away from exceedingly formal constructs) in a comfortable environment. Thirdly, programs written in this language should run on commodity systems, without relying on real-time support from the kernel. Finally, the language separates the code from timing restrictions, thus allowing for code re-use","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116322623","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
Austrian Grid: Overview on the Project with Focus on Parallel Applications 奥地利电网:以并行应用为重点的项目概述
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.11
J. Volkert
Summary form only given. GRIDs are large-scale distributed computing infrastructures that enable the integrated and collaborative use of high-end computers, networks, databases, and scientific instruments owned and managed by multiple organizations. Currently, a lot of national and international grid projects aim in building and using grids. One of them is the Austrian Grid. This project targets different areas of applications, including medical sciences, high-energy physics, applied numerical simulations, astrophysical simulations and solar observations, as well as meteorology and geophysics. Corresponding to the previous experience of the initiators of the project a lot of the applications are parallel ones. In the first part of the talk an overview on Austrian Grid will be presented. We will speak about the goals and the results in general. In the second part of the lecture the focus will be on parallel applications. We will discuss some answers given by the research of Austrian grid to questions like: how to map parallel applications onto a grid, which kind of tools are necessary, which extensions of standard middleware are desirable
只提供摘要形式。网格是大规模的分布式计算基础设施,可以集成和协作地使用由多个组织拥有和管理的高端计算机、网络、数据库和科学仪器。目前,许多国家和国际电网项目都以建设和使用电网为目标。其中之一就是奥地利电网。该项目针对不同的应用领域,包括医学、高能物理、应用数值模拟、天体物理模拟和太阳观测,以及气象学和地球物理学。根据项目发起者之前的经验,很多应用程序都是并行的。在演讲的第一部分,将介绍奥地利电网的概况。我们将笼统地谈论目标和结果。在讲座的第二部分,重点将放在并行应用上。我们将讨论奥地利网格研究给出的一些答案,这些问题包括:如何将并行应用程序映射到网格上,需要哪种工具,需要对标准中间件进行哪些扩展
{"title":"Austrian Grid: Overview on the Project with Focus on Parallel Applications","authors":"J. Volkert","doi":"10.1109/ISPDC.2006.11","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.11","url":null,"abstract":"Summary form only given. GRIDs are large-scale distributed computing infrastructures that enable the integrated and collaborative use of high-end computers, networks, databases, and scientific instruments owned and managed by multiple organizations. Currently, a lot of national and international grid projects aim in building and using grids. One of them is the Austrian Grid. This project targets different areas of applications, including medical sciences, high-energy physics, applied numerical simulations, astrophysical simulations and solar observations, as well as meteorology and geophysics. Corresponding to the previous experience of the initiators of the project a lot of the applications are parallel ones. In the first part of the talk an overview on Austrian Grid will be presented. We will speak about the goals and the results in general. In the second part of the lecture the focus will be on parallel applications. We will discuss some answers given by the research of Austrian grid to questions like: how to map parallel applications onto a grid, which kind of tools are necessary, which extensions of standard middleware are desirable","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114781359","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
An Energy-Efficient Dynamic Power Management in Wireless Sensor Networks 无线传感器网络中节能的动态电源管理
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.8
Chuang Lin, Yanxiang He, N. Xiong
Wireless sensor networks play a key role in monitoring remote or inhospitable physical environments. One of the most important constraints is the energy efficiency problem. Power conservation and power management must be taken into account at all levels of the sensor networks system hierarchy. DPM (dynamic power management) technology has been widely used in sensor networks. In this paper, we propose a new energy-efficient DPM, which is a modified sleep state policy developed by Simunic and Chdrakasan (2001) and combined with optimal geographical density control (OGDC) by Zhang and Hou (2004) to keep a minimal number of sensor nodes in the active mode in wireless sensor networks. Implementing dynamic power management with considering the battery status, probability of event generation and OGDC will reduce the energy consumption and prolong the whole lifetime of the sensor networks
无线传感器网络在监测远程或不适宜居住的物理环境中起着关键作用。最重要的制约因素之一是能源效率问题。在传感器网络系统的各个层次上都必须考虑节能和功耗管理。动态电源管理(DPM)技术在传感器网络中得到了广泛的应用。在本文中,我们提出了一种新的节能DPM,它是由Simunic和Chdrakasan(2001)提出的一种改进的睡眠状态策略,并结合Zhang和Hou(2004)的最优地理密度控制(OGDC),以保持无线传感器网络中最小数量的传感器节点处于主动模式。考虑电池状态、事件发生概率和OGDC的动态电源管理将降低传感器网络的能耗,延长传感器网络的全寿命
{"title":"An Energy-Efficient Dynamic Power Management in Wireless Sensor Networks","authors":"Chuang Lin, Yanxiang He, N. Xiong","doi":"10.1109/ISPDC.2006.8","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.8","url":null,"abstract":"Wireless sensor networks play a key role in monitoring remote or inhospitable physical environments. One of the most important constraints is the energy efficiency problem. Power conservation and power management must be taken into account at all levels of the sensor networks system hierarchy. DPM (dynamic power management) technology has been widely used in sensor networks. In this paper, we propose a new energy-efficient DPM, which is a modified sleep state policy developed by Simunic and Chdrakasan (2001) and combined with optimal geographical density control (OGDC) by Zhang and Hou (2004) to keep a minimal number of sensor nodes in the active mode in wireless sensor networks. Implementing dynamic power management with considering the battery status, probability of event generation and OGDC will reduce the energy consumption and prolong the whole lifetime of the sensor networks","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125030490","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}
引用次数: 75
Task Scheduling in Grid Based on Particle Swarm Optimization 基于粒子群优化的网格任务调度
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.46
Tingwei Chen, Bin Zhang, Xianwen Hao, Yu Dai
Task scheduling is one of the core steps to effectively exploit the capabilities of resources in the grid. The task scheduling problem is an NP-complete problem. This paper studied on the task scheduling problem in grid environment and proposed a task scheduling mechanism, which expressed each possible task scheduling scheme as a task-resource assignment graph (T-RAG) and thus mapped the task scheduling problem into a graph optimal selection problem. Moreover, in order to find the optimal solution quickly and accurately, a task scheduling algorithm based on particle swarm optimization (PSO) was proposed. This algorithm regards the longest path of the task-resource assignment graph as fitness value and encodes every task-resource assignment as a particle. Finally, the experimentation shows that the approach proposed in this paper is effective to solve task scheduling problem
任务调度是有效利用网格资源能力的核心步骤之一。任务调度问题是一个np完全问题。本文对网格环境下的任务调度问题进行了研究,提出了一种任务调度机制,该机制将各种可能的任务调度方案表示为任务资源分配图(T-RAG),从而将任务调度问题转化为图优化选择问题。此外,为了快速准确地找到最优解,提出了一种基于粒子群算法的任务调度算法。该算法将任务资源分配图的最长路径作为适应度值,并将每个任务资源分配编码为一个粒子。最后,实验表明,本文提出的方法可以有效地解决任务调度问题
{"title":"Task Scheduling in Grid Based on Particle Swarm Optimization","authors":"Tingwei Chen, Bin Zhang, Xianwen Hao, Yu Dai","doi":"10.1109/ISPDC.2006.46","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.46","url":null,"abstract":"Task scheduling is one of the core steps to effectively exploit the capabilities of resources in the grid. The task scheduling problem is an NP-complete problem. This paper studied on the task scheduling problem in grid environment and proposed a task scheduling mechanism, which expressed each possible task scheduling scheme as a task-resource assignment graph (T-RAG) and thus mapped the task scheduling problem into a graph optimal selection problem. Moreover, in order to find the optimal solution quickly and accurately, a task scheduling algorithm based on particle swarm optimization (PSO) was proposed. This algorithm regards the longest path of the task-resource assignment graph as fitness value and encodes every task-resource assignment as a particle. Finally, the experimentation shows that the approach proposed in this paper is effective to solve task scheduling problem","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124368135","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}
引用次数: 53
A New Token Based Protocol for Group Mutual Exclusion in Distributed Systems 分布式系统中一种新的基于令牌的组互斥协议
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.4
Q. Mamun, H. Nakazato
In this paper we present a new token based protocol for group mutual exclusion in distributed systems. The protocol uses one single token to allow multiple processes to enter the critical section for a common session. One of the significant characteristics of the protocol is - concurrency, throughput and waiting time can be regulated adjusting the time period for which a session is declared. The minimum and the maximum number of messages to enter the CS is 0 and (n + 2) respectively where n is the total number of processes in the system. Moreover, simulation results show that the protocol, on average case, considerably reduces the number of messages per entry to the CS and also requires much lower waiting times. The maximum concurrency the protocol supports is n. The protocol also ensures no starvation in the system. Furthermore, this algorithm works out for the extended group mutual exclusion problem as well
本文提出了一种新的基于令牌的分布式系统组互斥协议。该协议使用一个令牌来允许多个进程进入一个公共会话的临界区。该协议的一个重要特征是——并发性、吞吐量和等待时间可以通过声明会话的时间段来调节。进入CS的最小消息数和最大消息数分别为0和(n + 2),其中n为系统中的进程总数。此外,仿真结果表明,在平均情况下,该协议大大减少了每个条目到CS的消息数量,并且需要更短的等待时间。该协议支持的最大并发数为n。该协议还确保系统中没有饥饿。此外,该算法还适用于扩展群互斥问题
{"title":"A New Token Based Protocol for Group Mutual Exclusion in Distributed Systems","authors":"Q. Mamun, H. Nakazato","doi":"10.1109/ISPDC.2006.4","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.4","url":null,"abstract":"In this paper we present a new token based protocol for group mutual exclusion in distributed systems. The protocol uses one single token to allow multiple processes to enter the critical section for a common session. One of the significant characteristics of the protocol is - concurrency, throughput and waiting time can be regulated adjusting the time period for which a session is declared. The minimum and the maximum number of messages to enter the CS is 0 and (n + 2) respectively where n is the total number of processes in the system. Moreover, simulation results show that the protocol, on average case, considerably reduces the number of messages per entry to the CS and also requires much lower waiting times. The maximum concurrency the protocol supports is n. The protocol also ensures no starvation in the system. Furthermore, this algorithm works out for the extended group mutual exclusion problem as well","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"182 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132223183","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
A Dynamic Load Balancing Tool for One and Two Dimensional Parallel Loops 一种用于一维和二维并行环路的动态负载平衡工具
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.1
R. Cariño, I. Banicescu
This paper describes a dynamic load balancing tool intended for computational investigators who have little familiarity with programming for a message-passing environment. Motivated by the PAR DOALL directive available in some compilers for shared-memory systems, the tool is designed to simplify the manual conversion of sequential programs containing computationally intensive loops with independent iterates into parallel programs that execute with high efficiency on general-purpose clusters. The tool implements a dynamic loop scheduling strategy to address load imbalance which may be induced by the non-uniformity of loop iterate times, and by the heterogeneity of processors. The tool is based on the message passing interface library for wide availability. Timings of a nontrivial application that utilize the tool on a Linux cluster are presented to demonstrate sample achievable performance
本文描述了一个动态负载平衡工具,旨在为不太熟悉消息传递环境编程的计算研究人员提供帮助。受某些共享内存系统编译器中可用的PAR DOALL指令的启发,该工具旨在简化将包含具有独立迭代的计算密集型循环的顺序程序手动转换为在通用集群上高效执行的并行程序。该工具实现了一种动态循环调度策略,以解决由循环迭代时间的不均匀性和处理器的异构性引起的负载不平衡。该工具基于消息传递接口库,具有广泛的可用性。本文给出了在Linux集群上使用该工具的一个重要应用程序的计时,以演示可实现的性能示例
{"title":"A Dynamic Load Balancing Tool for One and Two Dimensional Parallel Loops","authors":"R. Cariño, I. Banicescu","doi":"10.1109/ISPDC.2006.1","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.1","url":null,"abstract":"This paper describes a dynamic load balancing tool intended for computational investigators who have little familiarity with programming for a message-passing environment. Motivated by the PAR DOALL directive available in some compilers for shared-memory systems, the tool is designed to simplify the manual conversion of sequential programs containing computationally intensive loops with independent iterates into parallel programs that execute with high efficiency on general-purpose clusters. The tool implements a dynamic loop scheduling strategy to address load imbalance which may be induced by the non-uniformity of loop iterate times, and by the heterogeneity of processors. The tool is based on the message passing interface library for wide availability. Timings of a nontrivial application that utilize the tool on a Linux cluster are presented to demonstrate sample achievable performance","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"79 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127178332","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
Satellite Image Processing Applications in MedioGRID 卫星图像处理在MedioGRID中的应用
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.42
O. Muresan, Florin Pop, D. Gorgan, V. Cristea
This paper presents a high level architectural specification of MedioGRID, a research project aiming at implementing a real-time satellite image processing system for extracting relevant environmental and meteorological parameters on a grid system. The presentation focuses on the key architectural decisions of the GRID-aware satellite image processing system, highlighting the technologies for each of the major components. An essential part of managing a global data grid is a monitoring system that is able to monitor and track all the site facilities, networks, and tasks in progress, all in real time. Considering this issue the paper analyzes the possible grid monitoring approaches, proposes a solution and presents a set of monitoring results for the MedioGRID data management subsystem
MedioGRID是一个研究项目,旨在实现一个实时卫星图像处理系统,用于在网格系统上提取相关环境和气象参数。该报告重点介绍了网格感知卫星图像处理系统的关键架构决策,重点介绍了每个主要组件的技术。管理全球数据网格的一个重要部分是监测系统,该系统能够实时监测和跟踪所有站点设施、网络和正在进行的任务。针对这一问题,本文分析了可能的网格监控方法,提出了一种解决方案,并给出了一组针对MedioGRID数据管理子系统的监控结果
{"title":"Satellite Image Processing Applications in MedioGRID","authors":"O. Muresan, Florin Pop, D. Gorgan, V. Cristea","doi":"10.1109/ISPDC.2006.42","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.42","url":null,"abstract":"This paper presents a high level architectural specification of MedioGRID, a research project aiming at implementing a real-time satellite image processing system for extracting relevant environmental and meteorological parameters on a grid system. The presentation focuses on the key architectural decisions of the GRID-aware satellite image processing system, highlighting the technologies for each of the major components. An essential part of managing a global data grid is a monitoring system that is able to monitor and track all the site facilities, networks, and tasks in progress, all in real time. Considering this issue the paper analyzes the possible grid monitoring approaches, proposes a solution and presents a set of monitoring results for the MedioGRID data management subsystem","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126475134","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}
引用次数: 50
Testing the Correctness of MPI Implementations 测试MPI实现的正确性
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.47
R. Keller, Michael M. Resch
This paper introduces an MPI test suite to thoroughly test the correctness of an MPI-implementation. Scientific applications require stable tools and libraries for portable and efficient programming, e. g. when depending on the single-sided communication on multiple platforms. This test suite was originally used to check the correct transmission of data in the PACX-MPI implementation, but has been mainly used and extended to test the development of the new Open MPI implementation. The tool has been designed to be easily extendible in order to integrate new tests using the underlying functionality
本文介绍了一个MPI测试套件来全面测试MPI实现的正确性。科学应用程序需要稳定的工具和库来进行可移植和高效的编程,例如依赖于多个平台上的单边通信。该测试套件最初用于检查PACX-MPI实现中数据的正确传输,但已主要用于测试新的Open MPI实现的开发。该工具被设计为易于扩展,以便使用底层功能集成新的测试
{"title":"Testing the Correctness of MPI Implementations","authors":"R. Keller, Michael M. Resch","doi":"10.1109/ISPDC.2006.47","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.47","url":null,"abstract":"This paper introduces an MPI test suite to thoroughly test the correctness of an MPI-implementation. Scientific applications require stable tools and libraries for portable and efficient programming, e. g. when depending on the single-sided communication on multiple platforms. This test suite was originally used to check the correct transmission of data in the PACX-MPI implementation, but has been mainly used and extended to test the development of the new Open MPI implementation. The tool has been designed to be easily extendible in order to integrate new tests using the underlying functionality","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133918685","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}
引用次数: 6
A Sniffer Based Approach to WS Protocols Conformance Checking 基于嗅探器的WS协议一致性检测方法
Pub Date : 2006-07-06 DOI: 10.1109/ISPDC.2006.5
Pemadeep Ramsokul, A. Sowmya
To reduce interoperability problems arising from ambiguous or incomplete Web services protocol specifications, we have recently introduced a formal framework, which allows modelling and automatic verification of such protocols. However, interoperability problems can still occur due to incorrect implementations. In this paper, we introduce a sniffer based approach to check the conformance of a protocol's implementation to its specification; messages of the actual implementations are captured, processed and checked against the specification's formal model. We also briefly illustrate the application of our framework using a version of the WS-AtomicTransaction protocol
为了减少由于模棱两可或不完整的Web服务协议规范引起的互操作性问题,我们最近引入了一个正式的框架,它允许对这些协议进行建模和自动验证。但是,由于不正确的实现,仍然可能出现互操作性问题。在本文中,我们介绍了一种基于嗅探器的方法来检查协议实现是否符合其规范;实际实现的消息被捕获、处理并根据规范的正式模型进行检查。我们还使用WS-AtomicTransaction协议的一个版本简要说明了我们的框架的应用程序
{"title":"A Sniffer Based Approach to WS Protocols Conformance Checking","authors":"Pemadeep Ramsokul, A. Sowmya","doi":"10.1109/ISPDC.2006.5","DOIUrl":"https://doi.org/10.1109/ISPDC.2006.5","url":null,"abstract":"To reduce interoperability problems arising from ambiguous or incomplete Web services protocol specifications, we have recently introduced a formal framework, which allows modelling and automatic verification of such protocols. However, interoperability problems can still occur due to incorrect implementations. In this paper, we introduce a sniffer based approach to check the conformance of a protocol's implementation to its specification; messages of the actual implementations are captured, processed and checked against the specification's formal model. We also briefly illustrate the application of our framework using a version of the WS-AtomicTransaction protocol","PeriodicalId":196790,"journal":{"name":"2006 Fifth International Symposium on Parallel and Distributed Computing","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133839407","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}
引用次数: 14
期刊
2006 Fifth International Symposium on Parallel and Distributed Computing
全部 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