{"title":"Code generation for semi-lagrangian formulations","authors":"P. Mark, L. Wolters, G. Cats","doi":"10.1109/ISPDC.2003.1267673","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267673","url":null,"abstract":"The size of a time step is important for numerical weather prediction models (NWP) since forecasts need to be available within the fraction of time that may considered to be valid. However, time step size is often limited by the numerical stability of the used advection schemes. Available schemes include semi-implicit Eulerian and semi-Lagrangian schemes. In principal, semi-Lagrangian formulations result in irregular communications on parallel architectures. In this paper we describe automatic code generation for a semi-implicit scheme with a semi-Lagrangian formulation. We describe how code can be generated from a mathematical specification of the advection model and we show results from preliminary experiments we have conducted with the generated code and the reference code from a production NWP on a number of different architectures.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"147 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128845489","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}
Pradeep Padala, C. Harrison, Nicholas Pelfort, E. Jansen, Michael P. Frank, Chaitanya Chokkareddy
{"title":"OCEAN: the open computation exchange and arbitration network, a market approach to meta computing","authors":"Pradeep Padala, C. Harrison, Nicholas Pelfort, E. Jansen, Michael P. Frank, Chaitanya Chokkareddy","doi":"10.1109/ISPDC.2003.1267662","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267662","url":null,"abstract":"Rapid advancements in processor and networking technologies have led to the evolution of cluster and grid computing frameworks. These high-performance computing environments exploit geographically distributed, diverse resources with the goal of providing efficient computing solutions to all kinds of parallel and distributed applications. OCEAN (Open Computation Exchange and Arbitration Network) provides a scalable market-based infrastructure to such meta-computing frameworks. OCEAN aims to build a marketplace where resources like CPU time, associated memory usage and network bandwidth are the traded commodities. This paper explains the technical challenges faced in the design of OCEAN and discusses our proposed solution. To facilitate finding suitable resources for buyers, we developed efficient matching and evolution protocols for the peer-to-peer matching network. The architecture and various components of OCEAN are described in detail. We implemented OCEAN on Java and .NET platforms and describe results from our preliminary experiments.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115374443","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}
{"title":"Open eden: a portable fault tolerant CORBA architecture","authors":"F. Greve, M. Hurfin, J. Narzul","doi":"10.1109/ISPDC.2003.1267648","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267648","url":null,"abstract":"This paper presents the design of OPEN EDEN, an implementation of the Fault Tolerant CORBA specification based on the use of a group communication system, called EDEN. The design of OPEN EDEN has been driven by the desire to use only portable techniques (mainly portable interceptors) to implement the interaction between the EDEN group communication system and CORBA. The EDEN system itself is built by configuring, assembling and deploying components connected to a generic agreement component that implements a consensus algorithm. The resulted platform is particularly portable, since it can be easily migrated to different architectures, and transparent for applications programmers, since requests to a replicated service are transparently intercepted and redirected to the EDEN system. We discuss the main difficulties we encountered and we draw some conclusions about the adequacy of our choices.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114928087","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}
{"title":"Strongly consistent global states detection using relative clock errors","authors":"J. Borkowski","doi":"10.1109/ISPDC.2003.1267642","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267642","url":null,"abstract":"Observation of global states is of a great importance in the area of distributed systems monitoring. Global states constructed with the use of real time timestamps involve small communication and computational cost and therefore are suitable for monitoring large systems. Properties of Strongly Consistent Global States (SCGS) make them especially useful for on-line monitoring and direct application control. SCGS detection depends heavily on clock synchronization quality. This quality can be improved easily (or it is very good already) locally, within a subset of processes. A SCGS detection algorithm exploiting local fine synchronization is presented. It detects more states than a usual algorithm allowing for more strict control over a monitored application.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126215116","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}
{"title":"An optimal algorithm of acknowledged broadcasting in ad hoc radio networks","authors":"Takaya Okuwa, Wei Chen, K. Wada","doi":"10.1109/ISPDC.2003.1267661","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267661","url":null,"abstract":"We consider the problem of distributed deterministic broadcasting in synchronous radio networks whose topology and size are unknown. Radio networks can be modeled by directed graphs. It has been shown that there does not exist any algorithm of acknowledged radio broadcasting (ARB) on the model without a collision detection even if graphs are restricted to symmetric ones, where ARB is a broadcasting task in which a distinguished node(called source) transmits a source message to all nodes and it confirms that all nodes have received the source message. In this paper, on the model of radio networks with a collision detection, we show an O(r + ecc) time deterministic ARB algorithm for symmetric graphs, where r is the length of the source message and ecc is the largest distance from the source to any other node.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123639573","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}
{"title":"Efficient code generation for automatic parallelization and optimization","authors":"C. Bastoul","doi":"10.1109/ISPDC.2003.1267639","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267639","url":null,"abstract":"Supercompilers look for the best execution order of the statement instances in the most compute intensive kernels. It has been extensively shown that the polyhedral model provides convenient abstractions to find and perform the useful program transformations. Nevertheless, the current polyhedral code generation algorithms lack for flexibility by adressing mainly unimodular or at least invertible transformation functions. Moreover, their complexity is challenging for large problems (with many statements). In this paper, we discuss a general transformation framework able to deal with non-unimodular, non-invertible functions. A completed and improved version of one of the best algorithms known so far is presented to actually perform the code generation. Experimental evidence proves the ability of our framework to handle real-life problems.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129702158","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}
{"title":"tuBiG - A layered infrastructure to provide support for grid functionalities","authors":"L. Alboaie, S. Buraga, S. Alboaie","doi":"10.1109/ISPDC.2003.1267637","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267637","url":null,"abstract":"The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g., agents of Web services). Using a shared-memory modeled by sets of tuples, our proposal can be considered as an abstract communication architecture for building Grid services.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133428322","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}
{"title":"Near-optimal dynamic task scheduling of precedence constrained coarse-grained tasks onto a computational grid","authors":"N. Fujimoto, K. Hagihara","doi":"10.1109/ISPDC.2003.1267647","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267647","url":null,"abstract":"The most common objective function of task scheduling problems is makespan. However, on a computational grid, the 2nd optimal makespan may be much longer than the optimal makespan because the speed of each processor of a grid varies over time. So, if the performance measure is makespan, there is no approximation algorithm in general for scheduling onto a grid. In contrast, recently the authors proposed the computing power consumed by a schedule as a criterion of the schedule. For the criterion, this paper gives a (1 + Lcp(n)ċm(loge(m-1)+1)/n)-approximation algorithm for scheduling precedence constrained coarse-grained tasks with the same length onto a grid where n is the number of tasks, m is the number of processors, and Lcp(n) is the length of the critical path of the task graph. The proposed algorithm does not use any prediction information on the performance of underlying resources. Lcp(n) is usually a sublinear function of n. So, the above performance guarantee converges to one as n grows. This result implies a non-trivial result that the computing power consumed by an application on a grid can be limited within (1 + Lcp(n)ċm(loge(m-1)+1)/n) times that required by an optimal schedule in such a case.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133432601","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}
{"title":"Modified algorithm for efficient reasoning in qualitative belief networks","authors":"M. Scalem, M. Majumdar, A. Vashisth","doi":"10.1109/ISPDC.2003.1267668","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267668","url":null,"abstract":"This paper introduces a computational framework for reasoning in Qualitative Belief Network (QBN) that derives its basis from inductive inference and reasoning. QBNs are essentially based on Bayesian Belief Networks (BBN), except that here the numerical probabilities of BBN are replaced by qualitative symbols. The relationships among the symbols provide a leeway to get good solutions with a qualitative approach to data utilization. The reasoning algebra is based on the usage of sign tables to propagate a belief through the QBN, in a guided approach to discover the causes in the causal relationships in QBN. This algorithm is also ideally suited to a distributed environment as it can absorb queries from multiple sources. \u0000 \u0000The basis of this paper is the work done by Marek J. Druzdzel and the propagation algorithm that was proposed by him and Max Henrion for QBNs [5]. Their algorithm had problems in dealing with situations that might arise in normal circumstances e.g. the degrees of Belief in a particular event. In this paper, we have addressed the above issues and extended the reasoning algorithm by adding more levels in Belief by utilizing certain logical implications derived from basic rules of reasoning. Our algorithm also handles the issue of interactive processing and reasoning thereby making it capable of being used in a distributed platform. Given any data model, this approach helps in efficient reasoning of a solution which may not be directly evident from the singular belief in QBN. We have also implemented this algorithm to handle real life situations and the results thus obtained are in keeping with our expectations.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132793468","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}
{"title":"Role activity diagrams as finite state processes","authors":"C. Bǎdicǎ, A. Bădică, Valentin Litoiu","doi":"10.1109/ISPDC.2003.1267638","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267638","url":null,"abstract":"Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuitive meaning, mainly addressed to the business management community and low-level foundational notations, with a detailed and formal semantics, mainly addressed to the computer science community. Role activity diagrams are a popular high-level visual notation for capturing the dynamics and role structure of an organization. This paper establishes that role activity diagrams have a formal semantics as well and thus making them suitable to formal verification. The result is obtained by mapping of a role activity diagram model to a process algebra model. Process algebras are mathematical languages for the specification and understanding of concurrent and cooperating computational processes.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116202687","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}