Abstract:Due to the importance of reliability and security, prior studies have proposed inlining metafunctions into applications for detecting bugs and security vulnerabilities. However, because these software techniques add frequent, fine-grained instrumentation to programs, they often incur large runtime overheads. In this work, we consider an automatic thread extraction technique for removing these fine-grained checks from a main application and scheduling them on helper threads. In this way, we can leverage the resources available on a CMP to reduce the latency and overhead of fine-grained checking codes. Our parallelization strategy extracts metafunctions from a single threaded application and executes them in customized helper threads—threads constructed to mirror relevant fragments of the main program’s behavior in order to keep communication and overhead low. To get good performance, we consider optimizations that reduce communication and balance work among many threads. We evaluate our parallelization strategy on Mudflap, a pointer-use checking tool in GCC. To show the benefits of our technique, we compare it to a manually parallelized version of Mudflap. We run our experiments on an architectural simulator with support for fast queueing operations. On a subset of SPECint 2000, our automatically parallelized code using static load balance is only 19% slower, on average, than the manually parallelized version on a simulated eight-core system. In addition, our automatically parallelized code using dynamic load balance is competitive, on average, to the manually parallelized version on a simulated eight-core system. Furthermore, all the applications except parser achieve better speedups with our automatic algorithms than with the manual approach. Also, our approach introduces very little overhead in the main program—it is kept under 100%, which is more than a 5.3× reduction compared to serial Mudflap.

Catamaran: Low-Overhead Memory Safety Enforcement Via Parallel Acceleration

Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in C/OS-II: A Case Study

Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study.

Enforcing Memory Safety for Sensor Node Programs

PACMem: Enforcing Spatial and Temporal Memory Safety via ARM Pointer Authentication

A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety

PACSan: Enforcing Memory Safety Based on ARM PA

Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path

PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++

Eliminating Timing Errors Through Collaborative Design to Maximize the Throughput

Saturation Memory Access: Mitigating Memory Spatial Errors without Terminating Programs.

Automatic parallelization of fine-grained metafunctions on a chip multiprocessor

Examem: Low-Overhead Memory Instrumentation for Intelligent Memory Systems

CAMP: Compiler and Allocator-based Heap Memory Protection

Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects

Parallelism-Aware Memory Interference Delay Analysis for COTS Multicore Systems

Improving Memory Dependence Prediction with Static Analysis

Lazy Precharge: An overhead-free method to reduce precharge overhead for memory parallelism improvement of DRAM system

A Lightweight Hybrid Hardware/software Approach for Object-Relative Memory Profiling

Spindle: Informed Memory Access Monitoring

SMA: Eliminate Memory Spatial Errors via Saturation Memory Access