首页 > 最新文献

2008 International Symposium on Parallel and Distributed Computing最新文献

英文 中文
A Highly Available Log Service for Transaction Termination 用于事务终止的高可用日志服务
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.11
Lásaro J. Camargos, M. Wieloch, F. Pedone, E. Madeira
Distributed transaction processing hinges on enforcing agreement among the involved resource managers on whether to commit or abort transactions (atomicity) and on making their updates permanent (durability). This paper introduces a log service which abstracts these tasks. The service logs commit and abort votes as well as the updates performed by each resource manager. Based on the votes, the log service outputs the transaction's outcome. The service also totally orders non-concurrent transactions and makes the sequence of updates performed by each resource manager available as a means to consistently recover resource managers without relying on their local state. Besides the specification, we overview two highly available implementations of this service and present an experimental performance evaluation.
分布式事务处理取决于所涉及的资源管理器之间关于提交还是终止事务(原子性)以及使其更新永久(持久性)的强制协议。本文介绍了一种对这些任务进行抽象的日志服务。服务日志提交和中止投票以及每个资源管理器执行的更新。日志服务根据投票结果输出事务的结果。该服务还对非并发事务进行完全排序,并使每个资源管理器执行的更新序列可用,从而在不依赖于其本地状态的情况下一致地恢复资源管理器。除了规范之外,我们还概述了该服务的两个高可用性实现,并给出了实验性能评估。
{"title":"A Highly Available Log Service for Transaction Termination","authors":"Lásaro J. Camargos, M. Wieloch, F. Pedone, E. Madeira","doi":"10.1109/ISPDC.2008.11","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.11","url":null,"abstract":"Distributed transaction processing hinges on enforcing agreement among the involved resource managers on whether to commit or abort transactions (atomicity) and on making their updates permanent (durability). This paper introduces a log service which abstracts these tasks. The service logs commit and abort votes as well as the updates performed by each resource manager. Based on the votes, the log service outputs the transaction's outcome. The service also totally orders non-concurrent transactions and makes the sequence of updates performed by each resource manager available as a means to consistently recover resource managers without relying on their local state. Besides the specification, we overview two highly available implementations of this service and present an experimental performance evaluation.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131054808","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
InDiGO: An Infrastructure for Optimization of Distributed Algorithms InDiGO:分布式算法优化的基础设施
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.43
Valeriy A. Kolesnikov, Gurdip Singh
The developers of distributed algorithms are faced with two opposing forces. One is to design generic algorithms that are reusable in a large number of applications. Efficiency considerations, on the other hand, force the algorithms to be customized to specific operational contexts. This problem is often attacked by simply re-implementing all or large portions of an algorithm. This paper proposes InDiGO, an infrastructure which allows design of generic but customizable algorithms and provides tools to customize such algorithms for specific applications. InDiGO provides the following capabilities: (a) Tools to generate intermediate representations of an application which can be leveraged for analysis, (b) Mechanisms to allow developers to design customizable algorithms by exposing design knowledge in terms of configurable options, and (c) An optimization engine to analyze an application to derive the information necessary optimize the algorithms. We perform three types of optimizations: static, dynamic and physical topology-based optimization. We present experimental results to demonstrate the advantages of our infrastructure.
分布式算法的开发者面临着两种相反的力量。一是设计可在大量应用程序中重用的通用算法。另一方面,效率方面的考虑迫使算法针对特定的操作上下文进行定制。这个问题通常通过简单地重新实现算法的全部或大部分来解决。本文提出了InDiGO,这是一种允许设计通用但可定制算法的基础设施,并提供了针对特定应用程序定制此类算法的工具。InDiGO提供了以下功能:(a)生成可用于分析的应用程序的中间表示的工具,(b)允许开发人员通过根据可配置选项公开设计知识来设计可定制算法的机制,以及(c)分析应用程序以派生优化算法所需信息的优化引擎。我们执行三种类型的优化:静态、动态和基于物理拓扑的优化。我们给出了实验结果来证明我们的基础设施的优势。
{"title":"InDiGO: An Infrastructure for Optimization of Distributed Algorithms","authors":"Valeriy A. Kolesnikov, Gurdip Singh","doi":"10.1109/ISPDC.2008.43","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.43","url":null,"abstract":"The developers of distributed algorithms are faced with two opposing forces. One is to design generic algorithms that are reusable in a large number of applications. Efficiency considerations, on the other hand, force the algorithms to be customized to specific operational contexts. This problem is often attacked by simply re-implementing all or large portions of an algorithm. This paper proposes InDiGO, an infrastructure which allows design of generic but customizable algorithms and provides tools to customize such algorithms for specific applications. InDiGO provides the following capabilities: (a) Tools to generate intermediate representations of an application which can be leveraged for analysis, (b) Mechanisms to allow developers to design customizable algorithms by exposing design knowledge in terms of configurable options, and (c) An optimization engine to analyze an application to derive the information necessary optimize the algorithms. We perform three types of optimizations: static, dynamic and physical topology-based optimization. We present experimental results to demonstrate the advantages of our infrastructure.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122126604","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
Algorithms for Network Topology Discovery using End-to-End Measurements 使用端到端测量的网络拓扑发现算法
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.56
Laurent Bobelin, T. Muntean
Identifying and inferring performances of a network topology is a well known problem. Achieving this by using only end-to-end measurements at the application level is a method known as network tomography. When the topology produced reflects capacities of sets of links with respect to a metric, the topology is called a Metric-Induced Network Topology (MINT). Tomography producing MINT has been widely used in order to predict performances of communications between clients and server. Nowadays grids connect up to thousands communicating resources that may interact in a partially or totally coordinated way. Consequently, applications running upon this kind of platform often involve massively concurrent bulk data transfers. This implies that the client/server model is no longer valid. In this paper, we introduce new algorithms that reconstruct a novel representation of the knowledge inferred from the network which is able to deal with multiple sources/multiple destinations transfers.
识别和推断网络拓扑的性能是一个众所周知的问题。通过在应用程序级别仅使用端到端测量来实现这一点是一种称为网络断层扫描的方法。当产生的拓扑结构反映了一组链路相对于度量的能力时,这种拓扑结构被称为度量诱导网络拓扑(metric - induced Network topology, MINT)。层析成像产生的MINT已被广泛用于预测客户端和服务器之间的通信性能。如今,网格连接了多达数千个通信资源,这些资源可能以部分或完全协调的方式相互作用。因此,在这种平台上运行的应用程序通常涉及大量并发的批量数据传输。这意味着客户机/服务器模型不再有效。在本文中,我们引入了新的算法来重建从网络中推断出的知识的新表示,该表示能够处理多源/多目标传输。
{"title":"Algorithms for Network Topology Discovery using End-to-End Measurements","authors":"Laurent Bobelin, T. Muntean","doi":"10.1109/ISPDC.2008.56","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.56","url":null,"abstract":"Identifying and inferring performances of a network topology is a well known problem. Achieving this by using only end-to-end measurements at the application level is a method known as network tomography. When the topology produced reflects capacities of sets of links with respect to a metric, the topology is called a Metric-Induced Network Topology (MINT). Tomography producing MINT has been widely used in order to predict performances of communications between clients and server. Nowadays grids connect up to thousands communicating resources that may interact in a partially or totally coordinated way. Consequently, applications running upon this kind of platform often involve massively concurrent bulk data transfers. This implies that the client/server model is no longer valid. In this paper, we introduce new algorithms that reconstruct a novel representation of the knowledge inferred from the network which is able to deal with multiple sources/multiple destinations transfers.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122884318","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
UML Statecharts Compositional Semantics in LOTOS UML Statecharts在LOTOS中的组合语义
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.60
Rafał Mrówka, T. Szmuc
This paper gives an overview of LOTOS-based semantics for compositional UML statecharts. The purpose of this work is to develop a description of a UML statechart model using one of the formal description language - LOTOS.Our approach concentrate on two aspects of the statechart model: concurrency and compositionality. We are using a full LOTOS version to define micro-step semantics which allows to implement cross-state boundaries transitions. Based on the translation function we are able to use a formal statechart model to check the equivalence relations and other model checking techniques.
本文概述了组合UML状态图的基于lotos的语义。这项工作的目的是使用一种正式的描述语言——LOTOS来开发UML状态图模型的描述。我们的方法集中于状态图模型的两个方面:并发性和组合性。我们使用完整的LOTOS版本来定义微步语义,它允许实现跨状态边界转换。基于转换函数,我们可以使用形式化的状态图模型来检查等价关系和其他模型检查技术。
{"title":"UML Statecharts Compositional Semantics in LOTOS","authors":"Rafał Mrówka, T. Szmuc","doi":"10.1109/ISPDC.2008.60","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.60","url":null,"abstract":"This paper gives an overview of LOTOS-based semantics for compositional UML statecharts. The purpose of this work is to develop a description of a UML statechart model using one of the formal description language - LOTOS.Our approach concentrate on two aspects of the statechart model: concurrency and compositionality. We are using a full LOTOS version to define micro-step semantics which allows to implement cross-state boundaries transitions. Based on the translation function we are able to use a formal statechart model to check the equivalence relations and other model checking techniques.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123308953","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}
引用次数: 12
A Threaded Divide and Conquer Symmetric Tridiagonal Eigensolver on Multicore Systems 多核系统上的线程分治对称三对角线特征求解器
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.44
A. Vidal, M. Boratto, P. Alonso
The increasing power of computation of modern processors rely on the increasing number of cores per chip. The challenge of software developers is to keep this power with the legacy code. Although commercial and non commercial libraries are improving their codes step by step, there exits probably insurmountable scalability issues for standard programming models due to the fact that using locks to implement synchronisation is inherently a bottleneck. We propose an implementation of the divide and conquer algorithm to compute the eigenpairs of symmetric tridiagonal matrices on multicore systems. We take advantage of the natural parallelism of the method by using pthreads. We avoided as much as possible the negative impact of synchronisation in the performance by overlapping operations of different classes. Furthermore, the unevenly workload distribution of the computational cost of the elemental tasks yields in a speedup even larger than expected.
现代处理器日益增强的计算能力依赖于每个芯片上越来越多的核心。软件开发人员面临的挑战是在遗留代码中保持这种能力。尽管商业和非商业库正在一步一步地改进它们的代码,但由于使用锁实现同步本身就是一个瓶颈,因此标准编程模型可能存在无法克服的可伸缩性问题。我们提出了一种分而治之的算法来计算多核系统上对称三对角矩阵的特征对。通过使用pthread,我们利用了该方法的自然并行性。通过重叠不同类的操作,我们尽可能避免了同步对性能的负面影响。此外,基本任务的计算成本的不均匀工作负载分布产生了比预期更大的加速。
{"title":"A Threaded Divide and Conquer Symmetric Tridiagonal Eigensolver on Multicore Systems","authors":"A. Vidal, M. Boratto, P. Alonso","doi":"10.1109/ISPDC.2008.44","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.44","url":null,"abstract":"The increasing power of computation of modern processors rely on the increasing number of cores per chip. The challenge of software developers is to keep this power with the legacy code. Although commercial and non commercial libraries are improving their codes step by step, there exits probably insurmountable scalability issues for standard programming models due to the fact that using locks to implement synchronisation is inherently a bottleneck. We propose an implementation of the divide and conquer algorithm to compute the eigenpairs of symmetric tridiagonal matrices on multicore systems. We take advantage of the natural parallelism of the method by using pthreads. We avoided as much as possible the negative impact of synchronisation in the performance by overlapping operations of different classes. Furthermore, the unevenly workload distribution of the computational cost of the elemental tasks yields in a speedup even larger than expected.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116548677","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
A New Parallel Algorithm for the Frequent Itemset Mining Problem 频繁项集挖掘问题的一种新的并行算法
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.45
M. Craus
A new parallel algorithm for finding the frequent itemsets in databases is presented. It differs fundamentally of well known Apriori algorithm, where at the beginning of every step, the dimension of the new frequent itemsets increases by 1 . In our algorithm the frequent itemsets are determined by progressively enlarging the interval which the individual items appertain, i.e. if at the k-th step the new candidates are from [i, i+k] intervals, i=1, 2,..., n-k, at the next step, k+1, the new candidates will belong to [i, i+k+1] intervals, i=1, 2,..., n-k-1. The frequent individual items are identified by their index. The basic idea is that the new frequent itemsets with individual items from the interval [i, j], simultaneously contain the items i and j. The frequent itemsets are built by sharing the work between n processors. Hereby, the processor Pi computes, step by step, the sets Fi,j of the frequent itemsets with individual items from the intervals [i, j], j=i,..., n. In order to compute the set Fi,j, the processing unit Pi uses Fi,j-1 obtained in the previous step and Fi+1,j received from the processor Pi+1. The main advantage of our parallel algorithm is that it uses a communication pattern known before algorithm start, which allows mapping communication to hardware. Another major advantage is that the set of the transactions can be distributed to processors prior to beginning. This is possible because a processor Pi has to compute Fi,j, j=i,..., n and therefore only the transactions containing the frequent item i are needed.
提出了一种新的查找数据库频繁项集的并行算法。它与众所周知的Apriori算法有根本的不同,在每一步开始时,新的频繁项集的维数增加1。在我们的算法中,频繁项集是通过逐步扩大单个项所属的区间来确定的,即如果在第k步,新的候选项来自[i, i+k]个区间,则i= 1,2,…, n-k,在下一步,k+1,新的候选将属于[i, i+k+1]区间,i= 1,2,…, n - k - 1。频繁出现的单个项目由它们的索引标识。其基本思想是新的频繁项集包含区间[i, j]中的单个项,同时包含项i和项j。频繁项集通过在n个处理器之间共享工作来构建。由此,处理器Pi逐级计算区间[i, j], j=i,…中单个项目的频繁项集的集合Fi,j。, n。为了计算集合Fi,j,处理单元Pi使用上一步得到的Fi,j-1和处理器Pi+1接收到的Fi+1,j。我们的并行算法的主要优点是,它使用在算法开始之前就已知的通信模式,这允许将通信映射到硬件。另一个主要优点是,事务集可以在开始之前分发给处理器。这是可能的,因为处理器Pi必须计算Fi,j, j=i,…, n,因此只需要包含频繁项I的事务。
{"title":"A New Parallel Algorithm for the Frequent Itemset Mining Problem","authors":"M. Craus","doi":"10.1109/ISPDC.2008.45","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.45","url":null,"abstract":"A new parallel algorithm for finding the frequent itemsets in databases is presented. It differs fundamentally of well known Apriori algorithm, where at the beginning of every step, the dimension of the new frequent itemsets increases by 1 . In our algorithm the frequent itemsets are determined by progressively enlarging the interval which the individual items appertain, i.e. if at the k-th step the new candidates are from [i, i+k] intervals, i=1, 2,..., n-k, at the next step, k+1, the new candidates will belong to [i, i+k+1] intervals, i=1, 2,..., n-k-1. The frequent individual items are identified by their index. The basic idea is that the new frequent itemsets with individual items from the interval [i, j], simultaneously contain the items i and j. The frequent itemsets are built by sharing the work between n processors. Hereby, the processor Pi computes, step by step, the sets Fi,j of the frequent itemsets with individual items from the intervals [i, j], j=i,..., n. In order to compute the set Fi,j, the processing unit Pi uses Fi,j-1 obtained in the previous step and Fi+1,j received from the processor Pi+1. The main advantage of our parallel algorithm is that it uses a communication pattern known before algorithm start, which allows mapping communication to hardware. Another major advantage is that the set of the transactions can be distributed to processors prior to beginning. This is possible because a processor Pi has to compute Fi,j, j=i,..., n and therefore only the transactions containing the frequent item i are needed.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133616956","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}
引用次数: 9
Semantic Approach to Capability and Capacity Computing 能力和容量计算的语义方法
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.67
J. Kitowski
Summary form only given. As number and diversity of data, information and resources increase importance of usage of knowledge for their accessing and reuse grows significantly. One of the most useful approaches is based on semantic description of elementary data and pieces of information as well as on relations between them, therefore resulting in ontological approach. Semantics is starting to be used in wider scope than ever, especially for accessing distributed resources. This field is well represented by the Semantic Web, where WWW content can be expressed also in a format that can be read and used by automated tools, thus permitting people and machines to find, share and integrate information more easily. Semantic description of services and user requests can also be used in (semi-)automatic construction of distributed/Grid applications, often in a form of workflows. In order to effectively manage ontologies on the level higher than the local one, e.g., using Virtual Organization approach some sort of knowledge base must be provided.
只提供摘要形式。随着数据、信息和资源的数量和多样性的增加,知识的使用对其访问和重用的重要性显著增加。其中最有用的方法之一是基于基本数据和信息片段的语义描述以及它们之间的关系,从而产生本体论方法。语义的使用范围比以往任何时候都要广泛,尤其是在访问分布式资源方面。语义网很好地代表了这一领域,在语义网中,WWW内容也可以以一种可被自动化工具阅读和使用的格式表示,从而允许人和机器更容易地查找、共享和集成信息。服务和用户请求的语义描述也可以用于分布式/网格应用程序的(半)自动化构造中,通常以工作流的形式。为了在比本地本体更高的层次上有效地管理本体(例如,使用虚拟组织方法),必须提供某种知识库。
{"title":"Semantic Approach to Capability and Capacity Computing","authors":"J. Kitowski","doi":"10.1109/ISPDC.2008.67","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.67","url":null,"abstract":"Summary form only given. As number and diversity of data, information and resources increase importance of usage of knowledge for their accessing and reuse grows significantly. One of the most useful approaches is based on semantic description of elementary data and pieces of information as well as on relations between them, therefore resulting in ontological approach. Semantics is starting to be used in wider scope than ever, especially for accessing distributed resources. This field is well represented by the Semantic Web, where WWW content can be expressed also in a format that can be read and used by automated tools, thus permitting people and machines to find, share and integrate information more easily. Semantic description of services and user requests can also be used in (semi-)automatic construction of distributed/Grid applications, often in a form of workflows. In order to effectively manage ontologies on the level higher than the local one, e.g., using Virtual Organization approach some sort of knowledge base must be provided.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128301295","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
A Link-failure Resilient Token based Mutual Exclusion Algorithm for Directed Graph Topology 一种基于链路故障弹性令牌的有向图拓扑互斥算法
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.17
Sukhendu Kanrar, S. Choudhury, N. Chaki
This paper proposes a new token-based mutual exclusion algorithm for directed graph topology, with or without cycles. In one of our earlier works, we have introduced a token based algorithm assuming an inverted tree topology. Such a stable, hierarchical topology is quite unrealistic for mobile networks due to frequent link failures and node mobility. The proposed solution overcomes this. Besides maintaining the correctness in terms of liveness and safety, the proposed algorithm ensures fairness in allocating the token amongst the competing processes. The algorithm offers solution paths even in presence of link failures.
针对有向图拓扑,提出了一种新的基于令牌的互斥算法。在我们早期的一项工作中,我们介绍了一种基于令牌的算法,假设其拓扑结构为倒立树。由于频繁的链路故障和节点移动,这种稳定的分层拓扑对于移动网络来说是不现实的。提出的解决方案克服了这一点。除了在活动性和安全性方面保持正确性外,所提出的算法还确保了在竞争进程之间分配令牌的公平性。即使存在链路故障,该算法也提供了解决路径。
{"title":"A Link-failure Resilient Token based Mutual Exclusion Algorithm for Directed Graph Topology","authors":"Sukhendu Kanrar, S. Choudhury, N. Chaki","doi":"10.1109/ISPDC.2008.17","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.17","url":null,"abstract":"This paper proposes a new token-based mutual exclusion algorithm for directed graph topology, with or without cycles. In one of our earlier works, we have introduced a token based algorithm assuming an inverted tree topology. Such a stable, hierarchical topology is quite unrealistic for mobile networks due to frequent link failures and node mobility. The proposed solution overcomes this. Besides maintaining the correctness in terms of liveness and safety, the proposed algorithm ensures fairness in allocating the token amongst the competing processes. The algorithm offers solution paths even in presence of link failures.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132884093","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
Context Modeling for Urban Mobile Applications 城市移动应用的上下文建模
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.22
Romain Williot, D. Grigoras
Urban settings are host of diverse networking technologies, from 3G and wired broadband to Wi-Fi, WiMAX, Bluetooth and, more recently, sensor networks. Potentially, these co-existing networks can provide rich inputs to mobile applications that are context aware. To date, the vast majority of context-aware mobile applications are specialized, e.g. healthcare and tourism, and they lack generality and adaptability. It is therefore essential to use a context model that will match the requirements of a large range of future urban networks applications. The question addressed by this paper is to propose an appropriate context model that is general enough to be effective for urban settings, the challenge being to provide the context-aware service to a wide variety of mobile applications across all networks. This paper presents an analysis of existing models, introduces the O+L model (ontologies plus logic) adopted by the authors, the original service architecture that supports the model and its qualitative evaluation.
城市环境是各种网络技术的主机,从3G和有线宽带到Wi-Fi、WiMAX、蓝牙,以及最近的传感器网络。潜在地,这些共存的网络可以为具有上下文意识的移动应用程序提供丰富的输入。迄今为止,绝大多数上下文感知移动应用程序都是专门的,例如医疗保健和旅游,它们缺乏通用性和适应性。因此,有必要使用一种能够满足未来大量城市网络应用需求的上下文模型。本文解决的问题是提出一个适当的上下文模型,该模型足够普遍,对城市环境有效,挑战在于为所有网络上的各种移动应用程序提供上下文感知服务。本文对现有模型进行了分析,介绍了作者采用的O+L模型(本体加逻辑)、支持该模型的原始服务体系结构及其定性评价。
{"title":"Context Modeling for Urban Mobile Applications","authors":"Romain Williot, D. Grigoras","doi":"10.1109/ISPDC.2008.22","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.22","url":null,"abstract":"Urban settings are host of diverse networking technologies, from 3G and wired broadband to Wi-Fi, WiMAX, Bluetooth and, more recently, sensor networks. Potentially, these co-existing networks can provide rich inputs to mobile applications that are context aware. To date, the vast majority of context-aware mobile applications are specialized, e.g. healthcare and tourism, and they lack generality and adaptability. It is therefore essential to use a context model that will match the requirements of a large range of future urban networks applications. The question addressed by this paper is to propose an appropriate context model that is general enough to be effective for urban settings, the challenge being to provide the context-aware service to a wide variety of mobile applications across all networks. This paper presents an analysis of existing models, introduces the O+L model (ontologies plus logic) adopted by the authors, the original service architecture that supports the model and its qualitative evaluation.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114454503","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
Design and Implementation of a Service-integrated Session Layer for Efficient Message Passing in Grid Computing Environments 网格计算环境下高效消息传递的服务集成会话层设计与实现
Pub Date : 2008-07-01 DOI: 10.1109/ISPDC.2008.41
Carsten Clauss, Stefan Lankes, T. Bemmerl
When running large parallel applications with demands for resources that exceed the capacity the local computing site offers, the deployment in a distributed grid environment may help to satisfy these demands. However, since such an environment is a heterogeneous system by nature, there are some drawbacks that, if not taken into account, are limiting its applicability.First of all, one has to apply a meta-computing or Grid-enabled message-passing library in order to have the ability to route messages to remote sites as well as still being able to exploit fast site-local network facilities.Then, because the inter-site communication usually constitutes the system's bottleneck, appropriate quality of service parameters should be provided and policed for those connections during the application's execution. And finally, the parallel runtime environment of the distributed application should offer service interfaces in order to enable its interaction with Grid middleware. In this paper, we present a new library called ISI whose functionalities meet those requirements in terms of a session layer to be integrated into grid-enabled message-passing implementations.
当运行大型并行应用程序,对资源的需求超过本地计算站点提供的容量时,在分布式网格环境中部署可能有助于满足这些需求。然而,由于这样的环境本质上是一个异构系统,因此存在一些缺点,如果不加以考虑,就会限制其适用性。首先,必须应用元计算或支持网格的消息传递库,以便能够将消息路由到远程站点,同时仍然能够利用快速的站点本地网络设施。然后,由于站点间通信通常构成系统的瓶颈,因此应该在应用程序执行期间为这些连接提供适当的服务质量参数并对其进行监管。最后,分布式应用程序的并行运行时环境应该提供服务接口,以便与网格中间件进行交互。在本文中,我们提出了一个名为ISI的新库,其功能满足了将会话层集成到支持网格的消息传递实现中的要求。
{"title":"Design and Implementation of a Service-integrated Session Layer for Efficient Message Passing in Grid Computing Environments","authors":"Carsten Clauss, Stefan Lankes, T. Bemmerl","doi":"10.1109/ISPDC.2008.41","DOIUrl":"https://doi.org/10.1109/ISPDC.2008.41","url":null,"abstract":"When running large parallel applications with demands for resources that exceed the capacity the local computing site offers, the deployment in a distributed grid environment may help to satisfy these demands. However, since such an environment is a heterogeneous system by nature, there are some drawbacks that, if not taken into account, are limiting its applicability.First of all, one has to apply a meta-computing or Grid-enabled message-passing library in order to have the ability to route messages to remote sites as well as still being able to exploit fast site-local network facilities.Then, because the inter-site communication usually constitutes the system's bottleneck, appropriate quality of service parameters should be provided and policed for those connections during the application's execution. And finally, the parallel runtime environment of the distributed application should offer service interfaces in order to enable its interaction with Grid middleware. In this paper, we present a new library called ISI whose functionalities meet those requirements in terms of a session layer to be integrated into grid-enabled message-passing implementations.","PeriodicalId":125975,"journal":{"name":"2008 International Symposium on Parallel and Distributed Computing","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122680528","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
期刊
2008 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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1