Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. distributed transactional memory (TM) promises to alleviate difficulties with lock-based (di...
详细信息
The proceedings contain 62 papers. The topics discussed include: network tomography by non negative matrix factorization (NNMF);a self-organizing scalable network tomography control protocol for active measurement met...
ISBN:
(纸本)9781617387036
The proceedings contain 62 papers. The topics discussed include: network tomography by non negative matrix factorization (NNMF);a self-organizing scalable network tomography control protocol for active measurement methods;tracking per-flow state - binned duration flow tracking;PCIU: an efficient packet classification, algorithm with an incremental update capability;greensim: an open source tool for evaluating the energy savings through resource and dynamic adaptation;handling single node failures using agents in computer clusters;matchmaking with limited knowledge of resources on clouds and grids;performance analysis of distributedsoftwaresystems: a model-driven approach;UML-based performance modeling of distributedsoftwaresystems;graphics performance analysis using Amdahl's law regression method;I/O characterization on a parallel file system;and frames-to-AER efficiency study based on CPUs performance counters.
software transactional memory (STM) algorithms often rely on centralized components to achieve atomicity, isolation and consistency. In a distributed setting, centralized components are undesirable as they impair scal...
详细信息
Hypervisor-based fault tolerance (HBFT), a checkpoint-recovery mechanism, is an emerging approach to sustaining mission-critical applications. Based on virtualization technology, HBFT provides an economic and transpar...
详细信息
D-Cloud is a software testing environment for dependable parallel and distributedsystems using cloud computing technology. We use Eucalyptus as cloud management software to manage virtual machines designed based on Q...
详细信息
We describe an approach to parallel graph partitioning that scales to hundreds of processors and produces a high solution quality. For example, for many instances from Walshaw's benchmark collection we improve the...
详细信息
This paper presents the operational semantics for the message passing system for a distributed language called LIPS. The message passing system is based on a virtual machine called AMPS (Asynchronous Message Passing S...
详细信息
ISBN:
(数字)9789048191123
ISBN:
(纸本)9789048191123;9789048191116
This paper presents the operational semantics for the message passing system for a distributed language called LIPS. The message passing system is based on a virtual machine called AMPS (Asynchronous Message Passing System) designed around a data structure that is portable and can go with any distributed language. The operational semantics that specifies the behaviour of this system uses structured operational semantics to reveal the intermediate steps that helps with analysis of its behaviour. We are able combine this with the big-step semantics that specifies the computational part of the language to produce a cohesive semantics for the language as a whole.
Loop tiling is an important compiler transformation used for enhancing data locality and exploiting coarsegrained parallelism. Tiled codes in which tile sizes are runtime parameters - called parametrically-tiled codes...
详细信息
Peer-to-peer (P2P) offers good solutions for many applications such as large data sharing and collaboration in social networks. Thus, it appears as a powerful paradigm to develop scalable distributed applications, as ...
详细信息
Peer-to-peer (P2P) offers good solutions for many applications such as large data sharing and collaboration in social networks. Thus, it appears as a powerful paradigm to develop scalable distributed applications, as reflected by the increasing number of emerging projects based on this technology. However, building trustworthy P2P applications is difficult because they must be deployed on a large number of autonomous nodes, which may refuse to answer to some requests and even leave the system unexpectedly. This volatility of nodes is a common behavior in P2P systems and may be interpreted as a fault during tests (i.e., failed node). In this work, we present a framework and a methodology for testing P2P applications. The framework is based on the individual control of nodes, allowing test cases to precisely control the volatility of nodes during their execution. We validated this framework through implementation and experimentation on an open-source P2P system. The experimentation tests the behavior of the system on different conditions of volatility and shows how the tests were able to detect complex implementation problems.
This work presents a special class of a data flow oriented optimization tool that finds the optimal number of threads for multi-thread software. Threads are assumed to encapsulate concurrent executable key functionali...
详细信息
暂无评论