Gupta, R

Nagarajan, Vijay

Tian, C

English

There has been significant research on performing runtime monitoring of programs using dynamic binary translation (DBT) techniques for a variety of purposes including program profiling, debugging, and security. However, such software monitoring frameworks currently handle only sequential programs efficiently. When handling multithreaded programs, such tools often encounter racing problems and require serialization of threads for correctness. The races arise when application data and corresponding meta data stored in DBT tools are updated concurrently. To address this problem, transactional memory (TM) was recently proposed to enforce atomicity of updating of application data andtheir corresponding meta data. However, enclosing legacy synchronization operations within transactions can cause livelocks, and thus degrade performance. In this paper, we consider common forms of synchronizations and show how they can give rise to livelocks when TM is used to enable runtime monitoring. In order to avoid such livelocks, we implement a detector to dynamically detectsynchronizations and use this information in performing conflict resolution. Our experiments show that our synchronization aware strategy can efficiently avoid livelocks for the SPLASH-2 benchmarks

Edinburgh Research Explorer

Algorithms for scalable synchronization on shared-memory multiprocessors.

Compiler and runtime support for eﬃcient software transactional memory.

Hybrid transactional memory.

Lift: A low-overhead practical information ﬂow tracking system for detecting security attacks.

Performance pathologies in hardware transactional memory.

Pin: building customized program analysis tools with dynamic instrumentation.

Queue locks on cache coherent multiprocessors.

Simics/sun4m: a virtual workstation. In

Spin detection hardware for improved management of multithreaded systems.

Supporting nested transactional memory in logtm.

The SPLASH-2 programs: Characterization and methodological considerations.

Thread-safe binary translation using transactional memory.

Transactional memory: Architectural support for lock-free data structures.

Valgrind: a framework for heavyweight dynamic binary instrumentation.

Synchronization Aware Conflict Resolution for Runtime Monitoring Using Transactional Memory,

Synchronization Aware Conflict Resolution for Runtime Monitoring Using Transactional Memory,

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer