Clusters built from single-core systems are cost-effective as for the performance improvement and availability. However, the hardware constraints put limitations on the performance of single-core systems. Hence, it is...
详细信息
ISBN:
(纸本)9780769533520
Clusters built from single-core systems are cost-effective as for the performance improvement and availability. However, the hardware constraints put limitations on the performance of single-core systems. Hence, it is difficult to meet with the increasing high performance requirements of diversified applications at different levels for general-purpose computing. A promising feasible solution is the novice multi-core systems which extend the parallelism to CPU level by integrating multiple processing units on a single die. This paper uses Finite-Difference Time-Domain (FDTD) algorithm as a case study, designing suitable parallel FDTD algorithms for three architectures: distributed-memory machines with single-core processors, shared-memory machines with dual-core processors, and the Cell Broadband Engine (Cell/B.E.) processor with nine heterogeneous cores. The experiment results show that the Cell/B.E. processor using 8 SPEs achieves a significant speedups of 7.05 faster than AMD single-core Opteron processor and 3.37 than AMD dual-core Opeteron processor at the Processor level.
The proceedings contain 53 papers. The topics discussed include: context-aware root cause localization in distributed traces using social network analysis;enhancing the performance of deep learning model based object ...
ISBN:
(纸本)9798400704451
The proceedings contain 53 papers. The topics discussed include: context-aware root cause localization in distributed traces using social network analysis;enhancing the performance of deep learning model based object detection using parallelprocessing;fair sharing of data in autotuning research;mastering computer vision inference frameworks;matrix network analyzer: a new decomposition algorithm for phase-type queueing networks;towards efficient diagnosis of performance bottlenecks in microservice-based applications;KubePlaybook: a repository of ansible playbooks for Kubernetes auto-remediation with LLMs;efficient unsupervised latency culprit ranking in distributed traces with GNN and critical path analysis;and network analysis of microservices: a case study on Alibaba production clusters.
The proceedings contain 49 papers. The topics discussed include: Rhythm: harnessing data parallel hardware for server workloads;Paraprox: pattern-based approximation for data parallelapplications;virtual ghost: prote...
详细信息
ISBN:
(纸本)9781450323055
The proceedings contain 49 papers. The topics discussed include: Rhythm: harnessing data parallel hardware for server workloads;Paraprox: pattern-based approximation for data parallelapplications;virtual ghost: protecting applications from hostile operating systems;finding Trojan message vulnerabilities in distributed systems;REF: resource elasticity fairness with sharing incentives for multiprocessors;underprovisioning backup power infrastructure for datacenters;comprehending performance from real-world execution traces: a device-driver case;leveraging the short-term memory of hardware to diagnose production-run software failures;prototyping symbolic execution engines for interpreted languages;Q100: the architecture and design of a database processing unit;DianNao: a small-footprint high-throughput accelerator for ubiquitous machine-learning;disengaged scheduling for fair, protected access to fast computational accelerators;and KVM/ARM: the design and implementation of the Linux ARM hypervisor.
Satisfiability Modulo Theories on arithmetic theories have significant applications in many important domains. Previous efforts have been mainly devoted to improving the techniques and heuristics in sequential SMT sol...
详细信息
ISBN:
(纸本)9783031656262;9783031656279
Satisfiability Modulo Theories on arithmetic theories have significant applications in many important domains. Previous efforts have been mainly devoted to improving the techniques and heuristics in sequential SMT solvers. With the development of computing resources, a promising direction to boost performance is parallel and even distributed SMT solving. We explore this potential in a divide-and-conquer view and propose a novel dynamic parallel framework with variable-level partitioning. To the best of our knowledge, this is the first attempt to perform variable-level partitioning for arithmetic theories. Moreover, we enhance the interval constraint propagation algorithm, coordinate it with Boolean propagation, and integrate it into our variable-level partitioning strategy. Our partitioning algorithm effectively capitalizes on propagation information, enabling efficient formula simplification and search space pruning. We apply our method to three state-of-the-art SMT solvers, namely CVC5, OpenSMT2, and Z3, resulting in efficient parallel SMT solvers. Experiments are carried out on benchmarks of linear and nonlinear arithmetic over both real and integer variables, and our variable-level partitioning method shows substantial improvements over previous partitioning strategies and is particularly good at non-linear theories.
In this paper, we have designed an efficient parallel algorithm for performing 3 D image reconstruction. In our framework, we have considered 3 D image to be reconstructed from a series of 2 D images, produced using U...
详细信息
In this paper, we have designed an efficient parallel algorithm for performing 3 D image reconstruction. In our framework, we have considered 3 D image to be reconstructed from a series of 2 D images, produced using Ultrasonography, Computer Tomography, etc. The paper discusses a general parallel algorithm for 3 D image reconstruction over CRCW, CREW and EREW PRAM models. We have developed efficient implementations of this algorithm over a vector machines, a distributed system comprising of a cluster of Work Stations and various interconnection network like mesh network and reconfigurable bus network. The performance of the above algorithms are tested using simulation experiments performed for 3 D image reconstruction of the vitreous region of the eye using ophthalmic ultrasonograms. A novel approximation scheme has also been proposed for a drastic improvement in performance for specific kinds of image. Results indicate the time complexities of the algorithms are in resonance with expected theoretical values and image obtained has a uncompromising level of accuracy.
The quality of the mesh is one of the most critical aspects for solving partial differential equations (PDEs) in applications of Computational Fluid Dynamics. Many geometry criteria have been proposed and are widely u...
详细信息
ISBN:
(数字)9781728142487
ISBN:
(纸本)9781728142487
The quality of the mesh is one of the most critical aspects for solving partial differential equations (PDEs) in applications of Computational Fluid Dynamics. Many geometry criteria have been proposed and are widely used in business pre-processing software like ICEM CFD, PointWise, Gambit. However, these traditional geometry criteria fail to recognize some quality features that seriously affect the accuracy of numerical calculations, such as density and distribution of mesh elements. These quality features are usually evaluated based on engineering experience, which heavily increases the pre-processing cost and requires extensive engineering experience. In this paper, we introduce a deep learning model to solve the mentioned issues by offline learning. The proposed model is small and fast and can be embedded in pre-processing software. Experiment results show that the derived model is capable of performing the quality evaluating task and achieve an accuracy of 93.8%.
The monitoring of parallel and distributedapplications is a common approach for gathering information concerning program execution, for behavioral analysis of the application or of the supporting platform. The collec...
详细信息
This 4-Volume-Set, CCIS 0251 - CCIS 0254, constitutes the refereed proceedings of the internationalconference on Informatics Engineering and Information Science, ICIEIS 2011, held in Kuala Lumpur, Malaysia, in Novemb...
ISBN:
(数字)9783642254833
ISBN:
(纸本)9783642254826
This 4-Volume-Set, CCIS 0251 - CCIS 0254, constitutes the refereed proceedings of the internationalconference on Informatics Engineering and Information Science, ICIEIS 2011, held in Kuala Lumpur, Malaysia, in November 2011. The 210 revised full papers presented together with invited papers in the 4 volumes were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on e-learning, information security, software engineering, image processing, algorithms, artificial intelligence and soft computing, e-commerce, data mining, neural networks, social networks, grid computing, biometric technologies, networks, distributed and parallel computing, wireless networks, information and data management, web applications and software systems, multimedia, ad hoc networks, mobile computing, as well as miscellaneous topics in digital information and communications.
Instruction-grain lifeguards monitor the events of a running application at the level of individual instructions in order to identify and help mitigate application bugs and security exploits. Because such lifeguards i...
详细信息
ISBN:
(纸本)9781605588391
Instruction-grain lifeguards monitor the events of a running application at the level of individual instructions in order to identify and help mitigate application bugs and security exploits. Because such lifeguards impose a 10-100X slowdown on existing platforms, previous studies have proposed hardware designs to accelerate lifeguard processing. However, these accelerators are either tailored to a specific class of lifeguards or suitable only for monitoring single-threaded programs. We present ParaLog, the first design of a system enabling fast online parallel monitoring of multithreaded parallelapplications. ParaLog supports a broad class of software-defined lifeguards. We show how three existing accelerators can be enhanced to support online multithreaded monitoring, dramatically reducing lifeguard overheads. We identify and solve several challenges in monitoring parallelapplications and/or parallelizing these accelerators, including (i) enforcing inter-thread data dependences, (ii) dealing with inter-thread effects that are not reflected in coherence traffic, (iii) dealing with unmonitored operating system activity, and (iv) ensuring lifeguards can access shared metadata with negligible synchronization overheads. We present our system design for both Sequentially Consistent and Total Store Ordering processors. We implement and evaluate our design on a 16 core simulated CMP, using benchmarks from SPLASH-2 and PARSEC and two lifeguards: a data-flow tracking lifeguard and a memory-access checker lifeguard. Our results show that (i) our parallel accelerators improve performance by 2-9X and 1.13-3.4X for our two lifeguards, respectively, (ii) we are 5-126X faster than the time-slicing approach required by existing techniques, and (iii) our average overheads for applications with eight threads are 51% and 28% for the two lifeguards, respectively.
Rapid development of infrared detector arrays caused a need to develop robust signal processing chain able to perform operations on infrared image in real-time. Every infrared detector array suffers from so-called non...
详细信息
ISBN:
(纸本)9780819481245
Rapid development of infrared detector arrays caused a need to develop robust signal processing chain able to perform operations on infrared image in real-time. Every infrared detector array suffers from so-called nonuniformity, which has to be digitally compensated by the internal circuits of the camera. Digital circuit also has to detect and replace signal from damaged detectors. At the end the image has to be prepared for display on external display unit. For the best comfort of viewing the delay between registering the infrared image and displaying it should be as short as possible. That is why the image processing has to be done with minimum latency. This demand enforces to use special processingtechniques like pipelining and parallelprocessing. Designed infrared processing module is able to perform standard operations on infrared image with very low latency. Additionally modular design and defined data bus allows easy expansion of the signal processing chain. Presented image processing module was used in two camera designs based on uncooled microbolometric detector array form ULIS and cooled photon detector from Sofradir. The image processing module was implemented in FPGA structure and worked with external ARM processor for control and coprocessing. The paper describes the design of the processing unit, results of image processing, and parameters of module like power consumption and hardware utilization.
暂无评论