Abstract:With the advent of multicores, multithreaded programming has acquired increased importance. In order to obtain good performance, the synchronization constructs in multithreaded programs need to be carefully implemented. These implementations can be broadly classified into two categories: busy–wait and schedule‐based. For shared memory architectures, busy–wait synchronizations are preferred over schedule‐based synchronizations because they can achieve lower wakeup latency, especially when the expected wait time is much shorter than the scheduling time. While busy–wait synchronizations can improve the performance of multithreaded programs running on multicore machines, they create a challenge in program debugging, especially in detecting and identifying the causes of data races. Although significant research has been done on data race detection, prior works rely on one important assumption—the debuggers are aware of all the synchronization operations performed during a program run. This assumption is a significant limitation as multithreaded programs, including the popular SPLASH‐2 benchmark have busy–wait synchronizations such as barriers and flag synchronizations implemented in the user code. We show that the lack of knowledge of these synchronization operations leads to unnecessary reporting of numerous races. To tackle this problem, we propose a dynamic technique for identifying user‐defined synchronizations that are performed during a program run. Both software and hardware implementations are presented. Furthermore, our technique can be easily exploited by a record/replay system to significantly speedup the replay. It can also be leveraged by a transactional memory system to effectively resolve a livelock situation. Our evaluation confirms that our synchronization detector is highly accurate with no false negatives and very few false positives. We further observe that the knowledge of synchronization operations results in 23% reduction in replay time. Finally, we show that using synchronization knowledge livelocks can be efficiently avoided during runtime monitoring of programs. Copyright © 2009 John Wiley & Sons, Ltd.

A Load Monitoring Method and Balancing Strategy at Source Level of OpenMP Programs for Synchronization Segments

Analysis of Task Schedule Overhead and Load Balance in OpenMP

A Dynamic Resource Allocation Optimization for SMT Processors

Design of monitor and control system for a segment assembly test bed of shield machine

Analysis of Factors Affecting Execution Performance of OpenMP Programs

Load-balance analysis for the MPMD program CCSM3

A Case Study on Addressing Complex Load Imbalance in OpenMP

A Communication- and Memory-Aware Model for Load Balancing Tasks

Performance Degradation Diagnosis and Solution for OpenMP Programs

A Programming Model for GPU Load Balancing

A Comprehensive Study of Load Balancing Approaches in Real-Time Multi-Core Systems for Mixed Real-Time Tasks

Evaluating the Performance of a Loading-and-Unloading Operations System with an Imbalanced Workload Layout Via a Two-Node Closed Queueing Network Model

Optimized Two-Time Scale Robust Dispatching Method for the Multi-Terminal Soft Open Point in Unbalanced Active Distribution Networks

OS4M: Achieving Global Load Balance of MapReduce Workload by Scheduling at the Operation Level

Automated Dynamic Detection of Busy–wait Synchronizations

ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism

SyncPerf: Categorizing, Detecting, and Diagnosing Synchronization Performance Bugs

Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism

A Lock-Free Solution for Load Balancing in Multi-Core Environment

Balancing indivisible real-valued loads in arbitrary networks

Real-Time Scheduling and Analysis of Synchronous OpenMP Task Systems with Tied Tasks