We consider a distributed network, the topology of which is described by a undirected tree without multiple edges and loops. The network itself can change its topology using special "commands" supplied by it...
详细信息
The paper presents an AADL-based toolset for Integrated Modular Avionics (IMA) design and integration. It describes activities of IMA system designer and system integrator that are supported by the toolset as well as ...
详细信息
The work is dedicated to the topic of various (both static and dynamic) methods of balancing the computational load with parallel implementation of algorithms on shared memory. Attention is also paid to the topic of p...
详细信息
The paper describes a software package developed for modeling coastal areas of the Kara and Barents Seas using shallow water approximation. The package consists of modules that use data from open-source computational ...
详细信息
We propose general purposes natural heuristics for static block and block-cyclic heterogeneous data decomposition over processes of parallel program mapped into multidimensional grid. This heuristics is an extension o...
详细信息
The paper continues to study the use of state identification sequences for simplifying passive testing of discrete event systems. The knowledge of the current state of an implementation under test (IUT) which behavior...
详细信息
The article is devoted to the concept of the stepping commands in parallel debuggers. It reviews the main existing schemes (synchronous and asynchronous step implementations) and introduces a new kind of synchronous s...
详细信息
ISBN:
(纸本)0769521320
The article is devoted to the concept of the stepping commands in parallel debuggers. It reviews the main existing schemes (synchronous and asynchronous step implementations) and introduces a new kind of synchronous scheme that has several advantages over existing ones. In this scheme the debugger performs the dynamic analysis of the program state thus simplifying the program state presentation and control. The possible implementation of suggested scheme in MPI debuggers is discussed and the existing implementation in mpC Workshop parallel debugger is presented.
The paper presents experience of using mpC for accelerating ScaLAPACK applications on heterogeneous networks of computers. The mpC is a language, specially designed for parallel programming for heterogeneous networks....
详细信息
In this paper we explore the prospects of virtualization technologies being applied to high performance computing tasks. We use an extensive set of HPC benchmarks to evaluate virtualization overhead, including HPC Cha...
详细信息
ISBN:
(纸本)9781450317542
In this paper we explore the prospects of virtualization technologies being applied to high performance computing tasks. We use an extensive set of HPC benchmarks to evaluate virtualization overhead, including HPC Challenge, NAS Parallel Benchmarks and SPEC MPI2007. We assess KVM and Palacios hypervisors and, with proper tuning of hypervisor, we reduce the performance degradation from 10-60% to 1- 5% in many cases with processor cores count up to 240. At the same time, a few tests provide overhead ranging from 20% to 45% even with our enhancements. We describe the techniques necessary to achieve sufficient performance. These include host OS tuning to decrease noise level, using nested paging with large pages for efficient guest memory allocation, and proper NUMA architecture emulation when running virtual machines on NUMA hosts. Comparing KVM/QEMU and Palacios hypervisors, we conclude that in general the results with proper tuning are similar, with KVM providing more stable and predictable results while Palacios being much better on fine-grained tests at a large scale, but showing abnormal performance degradation on a few tests. Copyright 2012 ACM.
Simulation-based verification is a widely-spread approach to ensure functional correctness of hardware designs [1,2]. It is usually done by co-simulating a design under verification with an independently created refer...
详细信息
暂无评论