File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: REPFRAME: an efficient and transparent framework for dynamic program analysis

TitleREPFRAME: an efficient and transparent framework for dynamic program analysis
Authors
Issue Date2015
Citation
The 6th ACM SIGOPS AsiaPacific Workshop on Systems (APSys 2015), Japan, Tokyo, 27-28 July 2015. How to Cite?
AbstractDynamic program analysis frameworks greatly improve software quality as they enable a wide range of powerful analysis tools (e.g., reliability, profiling, and logging) at runtime. However, because existing frameworks run only one actual execution for each software application, the execution is fully or partially coupled with an analysis tool in order to transfer execution states (e.g., accessed memory and thread interleavings) to the analysis tool, easily causing a prohibitive slowdown for the execution. To reduce the portions of execution states that require transfer, many frameworks require significantly carving analysis tools as well as the frameworks themselves. Thus, these frameworks significantly trade off transparency with analysis tools and allow only one type of tools to run within one execution. This paper presents REPFRAME, an efficient and transparent framework that fully decouples execution and analysis by constructing multiple equivalent executions. To do so, REPFRAME leverages a recent faulttolerant technique: transparent state machine replication, which runs the same software application on a set of machines (or replicas), and ensures that all replicas see the same sequence of inputs and process these inputs with the same efficient thread interleavings automatically. In addition, this paper discusses potential directions in which REPFRAME can further strengthen existing analyses. Evaluation shows that REPFRAME is easy to run two asynchronous analysis tools together and has reasonable overhead.
Persistent Identifierhttp://hdl.handle.net/10722/219219

 

DC FieldValueLanguage
dc.contributor.authorCui, H-
dc.contributor.authorGu, R-
dc.contributor.authorLiu, C-
dc.contributor.authorYang, JF-
dc.date.accessioned2015-09-18T07:18:02Z-
dc.date.available2015-09-18T07:18:02Z-
dc.date.issued2015-
dc.identifier.citationThe 6th ACM SIGOPS AsiaPacific Workshop on Systems (APSys 2015), Japan, Tokyo, 27-28 July 2015.-
dc.identifier.urihttp://hdl.handle.net/10722/219219-
dc.description.abstractDynamic program analysis frameworks greatly improve software quality as they enable a wide range of powerful analysis tools (e.g., reliability, profiling, and logging) at runtime. However, because existing frameworks run only one actual execution for each software application, the execution is fully or partially coupled with an analysis tool in order to transfer execution states (e.g., accessed memory and thread interleavings) to the analysis tool, easily causing a prohibitive slowdown for the execution. To reduce the portions of execution states that require transfer, many frameworks require significantly carving analysis tools as well as the frameworks themselves. Thus, these frameworks significantly trade off transparency with analysis tools and allow only one type of tools to run within one execution. This paper presents REPFRAME, an efficient and transparent framework that fully decouples execution and analysis by constructing multiple equivalent executions. To do so, REPFRAME leverages a recent faulttolerant technique: transparent state machine replication, which runs the same software application on a set of machines (or replicas), and ensures that all replicas see the same sequence of inputs and process these inputs with the same efficient thread interleavings automatically. In addition, this paper discusses potential directions in which REPFRAME can further strengthen existing analyses. Evaluation shows that REPFRAME is easy to run two asynchronous analysis tools together and has reasonable overhead.-
dc.languageeng-
dc.relation.ispartofProceedings of the 6th Asia-Pacific Workshop on Systems-
dc.titleREPFRAME: an efficient and transparent framework for dynamic program analysis-
dc.typeConference_Paper-
dc.identifier.emailCui, H: heming@hku.hk-
dc.identifier.authorityCui, H=rp02008-
dc.identifier.doi10.1145/2797022.2797033-
dc.identifier.scopuseid_2-s2.0-84962758447-
dc.identifier.hkuros251506-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats