This paper investigates scheduling loosely coupled task-bundles in highly heterogeneous distributedsystems. Two allocation quality metrics are used in pay-per-service distributed applications: efficiency in terms of ...
详细信息
In this paper, we propose a taxonomy that characterizes and classifies different components of autonomic application management in Grids. We also survey several representative Grid systems developed by various project...
详细信息
In this paper, we investigate the roles of replication vs. repair to achieve durability in large-scale distributed storage systems. Specifically, we address the fundamental questions: How does the lifetime of an objec...
详细信息
distributed computational infrastructures, as well as the applications and services that they support, are increasingly becoming an integral part of society and affecting every aspect of life. As a result, ensuring th...
详细信息
The two-dimensional optical affine transform is studied in this paper. Conventional optical affine transform is implemented by dove prisms, mirrors, and zoom lens , with the shortage of experimental adjustment difficu...
详细信息
Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these are limited in the scale of systems they can ha...
详细信息
ISBN:
(纸本)9781424464432
Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these are limited in the scale of systems they can handle [1], [2], [3] and generally verify only a model of the system, and not the actual system. In this paper we present an alternate attack on checking the correctness of an STM implementation by verifying the execution runs of an STM using a checker that runs in parallel with the transaction memory system. With future many-core systems predicted to have hundreds and even thousands of cores [4], it is reasonable to utilize some of these cores for ensuring the correctness of the rest of the system. This will be needed anyway given the increasing likelihood of dynamic errors due to particle hits (soft errors) and increasing fragility of nanoscale devices. These errors can only be detected at runtime. An important correctness criterion that is the subject of verification is the serializability of transactions. While checking transaction serializability is NP-complete, practically useful subclasses such as interchange- serializability (DSR) are efficiently computable [5]. Checking DSR reduces to checking for cycles in a transaction ordering graph which captures the access order of objects shared between transaction instances. Doing this concurrent to the main transaction execution requires minimizing the overhead of capturing object accesses, and managing the size of the graph, which can be as large as the total number of dynamic transactions and object accesses. We discuss techniques for minimizing the overhead of access logging which includes time-stamping, and present techniques for on-the-fly graph compaction that drastically reduce the size of the graph that needs to be maintained, to be no larger than the number of threads. We have implemented concurrent serializability checking in the Rochester software Transactional Memory (RSTM) system [6]. We pres
This paper proposes a SIMD solution to air traffic control (ATC) using an enhanced SIMD machine model called an Associative Processor (AP). This differs from previous ATC systems that are designed for MIMD computers a...
详细信息
Model driven engineering is one answer to increasing demands on software development and maintenance. Today's softwaresystems are often large, complex but also safety-critical and should be highly adaptable in li...
详细信息
ISBN:
(纸本)9781424455096
Model driven engineering is one answer to increasing demands on software development and maintenance. Today's softwaresystems are often large, complex but also safety-critical and should be highly adaptable in life cycle The efficient development of large and complex softwaresystems needs a high degree of collaboration in the design and specification phases. Well-defined, (graphical) modeling languages provide therefore a matter of communication for software engineers. Further the distribution of development locations and the concurrency of work are typical in global softwareengineering projects. This kind of collaborative modeling needs reliable integration mechanisms for co-evolved models. However the syntactic and semantic correct (consistent) integration of concurrent evolved models is not satisfactorily supported by current tools. Especially the inconsistency resolution for merged architecture and design models is a communication-intensive, collaborative task. This paper proposes a technology support of automatic inconsistency analysis and visualization for distributed modelers whose synchronize their parallel work
The Unified Modeling Language (UML) provides a graphical notation to express the design of object-oriented softwaresystems and has become the de facto industry standard for software design. However UML lacks precise ...
详细信息
Contemporary processors are becoming wider and more parallel. Thus developers must work hard to extract performance gains. An alternative computing paradigm is to use FPGA technology in a reconfigurable computing envi...
详细信息
暂无评论