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.

Log-based Architectures for General-Purpose Monitoring of Deployed Code

Building Expressive and Area-Efficient Directories with Hybrid Representation and Adaptive Multi-Granular Tracking

Runtime Verification Based on Multi-thread Monitor

Performance monitoring for multicore embedded computing systems on FPGAs

Hardware-Assisted Monitoring For Code Security In Embedded System

A Runtime-Monitoring-Based Dependable Software Construction Method

Spindle: Informed Memory Access Monitoring

An Architecture for Parallelizing Network Monitoring Based on Multi-Core Processors

AWEDF: An Architecture-Aware Execution and Debugging Workflow for a Highly Reliable Chip

Extending Ada to Support Multi-Core Based Monitoring and Fault Tolerance.

Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode

Bitmap-Based Security Monitoring for Deeply Embedded Systems

Automatic parallelization of fine-grained metafunctions on a chip multiprocessor

A Lightweight Dynamic Performance Monitoring Framework for Embedded Systems

An M-Cache-Based Security Monitoring and Fault Recovery Architecture for Embedded Processor

McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java

On the impact of hardware-related events on the execution of real-time programs

Deterministic Replay Using Global Clock.

Performance Debugging through Microarchitectural Sensitivity and Causality Analysis

Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.

Monitoring Enabled Distributed Software Construction Method