Many techniques for parallelizing a sequentially coded program have been developed and put to practical use, but there are many cases in which program codes cannot be parallelized because it is impossible to assure th...
详细信息
ISBN:
(纸本)9781509055043
Many techniques for parallelizing a sequentially coded program have been developed and put to practical use, but there are many cases in which program codes cannot be parallelized because it is impossible to assure that their parallel execution does not violate the data dependencies in the program. To parallelize such programs, we have previously proposed speculative memory (SM). With SM, programmers can specify the parallel and speculative execution of threads explicitly in their programs. The SM system manages the memory data that are speculatively read or written by the threads running in parallel. When the system detects inconsistent memory accesses, it recovers the computational state of the program and restarts the execution. If such inconsistencies are not encountered often, we can expect the total execution time of the program to be shorter. In this paper we present a software implementation of SM (SSM). We have developed an SM library by using POSIX threads. In spite of large overheads that are essentially unavoidable in a software implementation, our SSM system can shorten the execution time of a program that compilers cannot parallelize automatically.
The article discusses the development of specialized software measuring-computing system, designed to operational spectral analysis of multicomponent signals based on data processing, obtained by simulating the proced...
详细信息
ISBN:
(纸本)9781728167008
The article discusses the development of specialized software measuring-computing system, designed to operational spectral analysis of multicomponent signals based on data processing, obtained by simulating the procedure of binary sign-function quantization. The need to create specialized software measuring-computing system that implements the evaluation of the spectral components of multicomponent processes is caused by the fact that existing proprietary software products either have redundant functionality to solve highly specialized tasks or do not provide the necessary flexibility in the provision, support and modification of libraries that meet specific requirements. The software structure consists of the following main software components: a module for visualization of measurement data, a module for implementing the algorithm for spectral analysis of multicomponent signals, and a data processing converter between the user interface and the module for implementing algorithms. The graphical user interface is implemented using the high-tech integrated development environment Intellij IDEA in the Java 8 multi-platform programming language, which allows extending the functionality of the measurement system. The modules of the metrologically significant part of the software that perform the functions of processing, storing and transmitting measurement data and spectral analysis results are implemented in the resource efficient C ++ 17 language. The use of C ++ provided an opportunity to apply a multi-threaded programming approach in order to improve the performance of the procedures for calculating spectral estimates. Using the mechanism of multithreaded algorithm execution, it became possible to parallelize processor calculations and input-output operations and, as a result, reduce the computational costs of obtaining estimates of the time-frequency characteristics of signals by introducing alternation mechanisms for performing various weakly interconnected subtask
Some parallel algorithms are proposed to speed up computation of multivariate lattices used to evaluate rainbow options. These novel algorithms have been programmed using multi-threaded syntax in Gauss(tm) of Aptech h...
详细信息
ISBN:
(纸本)9781479953134
Some parallel algorithms are proposed to speed up computation of multivariate lattices used to evaluate rainbow options. These novel algorithms have been programmed using multi-threaded syntax in Gauss(tm) of Aptech honing codes for 32 and 128 cores machines. Actual scaling is linear or superlinear in excess of Amdahl theoretical thresholds. Rainbow options have been valued with several multivariate lattices models programmed according to our parallelization algorithms providing results not found in extant literature in terms of granularity and convergence.
Data race detection is a useful dynamic analysis for multithreaded programs that is a key building block in record-and-replay, enforcing strong consistency models, and detecting concurrency bugs. Existing software rac...
详细信息
ISBN:
(纸本)9781450349529
Data race detection is a useful dynamic analysis for multithreaded programs that is a key building block in record-and-replay, enforcing strong consistency models, and detecting concurrency bugs. Existing software race detectors are precise but slow, and hardware support for precise data race detection relies on assumptions like type safety that many programs violate in practice. We propose PARSNIP a fully precise hardware-supported data race detector. PARSNIP exploits new insights into the redundancy of race detection metadata to reduce storage overheads. PARSNIP also adopts new race detection metadata encodings that accelerate the common case while preserving soundness and completeness. When bounded hardware resources are exhausted, PARSNIP falls back to a software race detector to preserve correctness. PARSNIP does not assume that target programs are type safe, and is thus suitable for race detection on arbitrary code. Our evaluation of PARSNIP on several PARSEC benchmarks shows that performance overheads range from negligible to 2.6x, with an average overhead of just 1.5x. Moreover, PARSNIP outperforms the state-of-the-art Radish hardware race detector by 4.6x.
Parallel, multithreaded Java applications such as Web servers, database servers, and scientific applications are becoming increasingly prevalent. Most of them have high object instantiation rates through the new bytec...
详细信息
This article presents a practical solution for the cyclic debugging of nondeterministic parallel programs. The solution consists of a combination of record/replay with automatic on-the-fly data race detection. This co...
详细信息
This article presents a practical solution for the cyclic debugging of nondeterministic parallel programs. The solution consists of a combination of record/replay with automatic on-the-fly data race detection. This combination enables us to limit the record phase to the more efficient recording of the synchronization operations, while deferring the time-consuming data race detection to the replay phase. As the record phase is highly efficient, there is no need to switch it off, hereby eliminating the possibility of Heisenbugs because tracing can be left on all the time. This article describes an implementation of the tools needed to support RecPlay.
This paper describes a distributed control and communication structure for industrial muH i robot systems where several robots and devices have to be controlled simultaneously. A task-level programming and execution s...
详细信息
This paper describes a distributed control and communication structure for industrial muH i robot systems where several robots and devices have to be controlled simultaneously. A task-level programming and execution system, where task control is performed using Petri ncts, is presented. A commercially available OS, Windows NT, is used to develop and debug application programs and to coordinate cooperating robot agents in real lime. The control software is implemented on a widely used and powerful PC-based architecture using multithreaded programming in order to achieve efficient utilization of CPU time and real-time vision-based control. Workccll tasks demonstrating robotic handling operations, arc successfully implemented using the control system scheme.
Due to the emerging multimedia technology, multimedia files such as text, image, audio and video files are widely used. These multimedia files take hundreds time more space as compared to early day's media files. ...
详细信息
ISBN:
(纸本)9781424455317;9781424455324
Due to the emerging multimedia technology, multimedia files such as text, image, audio and video files are widely used. These multimedia files take hundreds time more space as compared to early day's media files. Thus, demand for efficient compression algorithm is in great needs. Currently, a lot of general purpose multi-core processor machines and systems are widely available. However, many compression algorithms have not been taking advantage of being optimized for these processors. This paper explores the multithreaded compression algorithm to take advantages offered by multi-core processor.
In this paper,an automated measurement system for wireless transmitters with different frequencies,modulation types,and bit rates is *** VISA(Virtual Instrument Software Architecture) and COM API(Application Programmi...
详细信息
In this paper,an automated measurement system for wireless transmitters with different frequencies,modulation types,and bit rates is *** VISA(Virtual Instrument Software Architecture) and COM API(Application programming Interface),the system can operate the spectrum analyzer,vector signal analyzer(VSA89600),oscilloscope according to the user's *** the help of peripheral circuits and multithreaded programming techniques, the automated measurement system can measure from DC to radio frequency signals;perform spectrum and modulation quality analysis of EUT(Equipment under test) automatically;during the measurement process,operating status of EUT can be real time monitored,if the operating status of EUT is abnormal,EUT would be shut down immediately.
暂无评论