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.)