Log-Based Architectures
Project Summary
The Log-Based Architectures (LBA) project focuses on developing
extensions for many-core processors that enable efficient logging and
extraction of run time execution events and demonstrating the benefits
of such extensions for performance, debugging, security, and recovery.
An early application of this technology is the acceleration of dynamic
correctness-checking tools (also known as "lifeguards" in this context).
Software lifeguards have been used only during the debugging phase of the
software development cycle because of their high runtime overhead (slowing down
main applications by a factor of 10-100 times). However, these tools will be
of great value for programs deployed in the field.
One of the goals of the LBA project is to reduce the overhead of
lifeguards sufficiently to make feasible the inclusion of lifeguards in
the standard runtime of deployed systems. To this end, the proposed LBA
extensions accelerate the performance of lifeguard tools by providing
more efficient access to interesting events for the program-under-test.
The perceived runtime overhead can be reduced further in multicore
applications by leveraging on-die cores that would otherwise be idle for
the execution of the lifeguard.
Publications
- Olatunji Ruwase, Michael A. Kozuch, Phillip B. Gibbons and Todd C. Mowry. "Guardrail: A High Fidelity Approach to
Protecting Hardware Devices from Buggy Drivers ". In Proceedings of the 19th ACM International Conference on Architectural Support for Programming Languages and Operating Systems(ASPLOS'14).
[pdf]
-
Michelle L. Goodstein, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch and Todd C. Mowry. "Chrysalis Analysis: Incorporating Synchronization Arcs in Dataflow-Analysis-Based Parallel Monitoring."
In International Conference on Parallel Architectures and Compilation Techniques (PACT'12).
[pdf][slides]
- Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons and Todd C. Mowry.
"Decoupled Lifeguards: Enabling Path
Optimizations for Online Correctness Checking Tools."
In Proceedings of the ACM SIGPLAN 2010 Conference on Programming Language
Design and Implementation (PLDI'10).
[pdf]
- Michelle L. Goodstein, Evangelos Vlachos, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch and
Todd C. Mowry. "Butterfly Analysis:
Adapting Dataflow Analysis to Dynamic Parallel Monitoring."
In Proceedings of the 15th ACM International Conference on Architectural
Support for Programming Languages and Operating Systems (ASPLOS'10).
[pdf][slides]
- Evangelos Vlachos, Michelle L. Goodstein, Michael A. Kozuch, Shimin Chen, Babak Falsafi,
Phillip B. Gibbons and Todd C. Mowry. "ParaLog:
Enabling and Accelerating Online Parallel Monitoring of Multithreaded
Applications."
In Proceedings of the 15th ACM International
Conference on Architectural Support for Programming Languages and Operating
Systems (ASPLOS'10).
[pdf][slides]
- Shimin Chen,
Michael Kozuch, Theodoros Strigkos, Babak Falsafi, Phillip B. Gibbons,
Todd C. Mowry, Vijaya Ramachandran, Olatunji Ruwase, Michael Ryan and
Evangelos Vlachos. "Flexible Hardware
Acceleration for Instruction-Grain Lifeguards".
IEEE Micro, Jan/Feb 2009 Special Issue: Micro's Top Picks in Computer Architecture Conferences
(IEEE Micro Top Picks).
[pdf on ieee site]
- Olatunji Ruwase, Phillip B. Gibbons, Todd C. Mowry, Vijaya Ramachandran, Shimin Chen,
Michael Kozuch and Michael Ryan. "Parallelizing
Dynamic Information Flow Tracking Lifeguards". In Proceedings of
the 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'08).
[pdf][slides]
- Shimin Chen, Michael Kozuch, Theodoros Strigkos, Babak Falsafi, Phillip B. Gibbons,
Todd C. Mowry, Vijaya Ramachandran, Olatunji Ruwase, Michael Ryan and
Evangelos Vlachos. "Flexible Hardware
Acceleration for Instruction-Grain Program Monitoring". In
Proceedings of the 35th International Symposium on Computer
Architecture (ISCA'08).
[pdf][slides]
- Shimin Chen, Babak Falsafi, Phillip B. Gibbons,
Michael Kozuch, Todd C. Mowry,
Radu Teodorescu, Anastassia Ailamaki, Limor Fix, Gregory R. Ganger, Bin
Lin and Steven W. Schlosser. "Log-Based
Architectures for General-Purpose Monitoring of Deployed Code" In Proceedings
of Workshop on Architectural and System Support for Improving Software
Dependability (ASID) held
with ASPLOS, 2006.
[pdf]
People
Faculty
Intel Collaborators
Students
Past Collaborators
- Anastassia Ailamaki (EPFL)
- Limor Fix (Intel Labs)
- Greg Ganger (CMU)
- Bin Lin (Intel)
- Vijaya Ramachandran (U.T. Austin)
- Michael Ryan (now at Google)
- Radu Teodorescu (now at Ohio State U.)