ReSeer: Efficient search-based replay for multiprocessor virtual machines

Wang, Tao; Xu, Jin; Zhang, Wenbo; Zhang, Jianhua; Wei, Jun; Zhong, Hua

doi:10.1016/j.jss.2016.07.032

Cited by 1 publication

(1 citation statement)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, another line of research on record and replay is the application of the technique on multiprocessors. This has been explored by systems such as ReEmu (Chen and Chen 2013), Re-Seer (Wang et al 2016), andSamsara (Ren et al 2016). However, the focus of these works is addressing the intricacies of multiprocessor record and replay rather than providing a platform for further use.…”

Section: Record and Replaymentioning

confidence: 99%

PROV _2R

Stamatogiannakis

Αθανασόπουλος

Bos

et al. 2017

ACM Trans. Internet Technol.

View full text Add to dashboard Cite

Information produced by Internet applications is inherently a result of processes that are executed locally. Think of a web server that makes use of a CGI script, or a content management system where a post was first edited using a word processor. Given the impact of these processes to the content published online, a consumer of that information may want to understand what those impacts were. For example, understanding from where text was copied and pasted to make a post, or if the CGI script was updated with the latest security patches, may all influence the confidence on the published content. Capturing and exposing this information provenance is thus important to ascertaining trust to online content. Furthermore, providers of internet applications may wish to have access to the same information for debugging or audit purposes. For processes following a rigid structure (such as databases or workflows), disclosed provenance systems have been developed that efficiently and accurately capture the provenance of the produced data. However, accurately capturing provenance from unstructured processes, for example, user-interactive computing used to produce web content, remains a problem to be tackled. In this article, we address the problem of capturing and exposing provenance from unstructured processes. Our approach, called PROV 2R ( PROV enance R ecord and R eplay) is composed of two parts: (a) the decoupling of provenance analysis from its capture; and (b) the capture of high-fidelity provenance from unmodified programs. We use techniques originating in the security and reverse engineering communities, namely, record and replay and taint tracking . Taint tracking fundamentally addresses the data provenance problem but is impractical to apply at runtime due to extremely high overhead. With a number of case studies, we demonstrate that PROV 2R enables the use of taint analysis for high-fidelity provenance capture, while keeping the runtime overhead at manageable levels. In addition, we show how captured information can be represented using the W3C PROV provenance model for exposure on the Web.

show abstract

Section: Record and Replaymentioning

confidence: 99%