Deterministic Replay of Memory-mapped File Data for User-level programs
- Authors
- Ryu, Joonho; Han, Taeho; Majeed, Shakaiba; Yoon, Hyunmin; Ryu, Minsoo.
- Issue Date
- Aug-2018
- Publisher
- CSREA Press
- Keywords
- Non-deterministic bugs; memory-mapping; data aborts; memory protection
- Citation
- International Conference on Foundations of Computer Science, pp.17 - 20
- Indexed
- OTHER
- Journal Title
- International Conference on Foundations of Computer Science
- Start Page
- 17
- End Page
- 20
- URI
- https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/149482
- Abstract
- Memory - mapped files allow to map a file on disk into a section in memory such that, when we fetch bytes from th at section of memory , the corresponding bytes of the file are read. Similarly, when we store data in the memory , the corresponding bytes are written to the file. This allows us to perform data trans fer more efficiently without using read or write system calls . This is especially useful when accessing data through memory - mapped I/O. Using memory - mapped files , a process can directly access the data without involving the kernel. This data can be of non - deterministic nature , e.g. , a camera sending some visual information. In order to record and replay a user - level program that accesses data through mem ory - mapped files, it is therefore important to account for this source of non - determinism. In this resear ch work, w e use memory protection mechanism and hardware breakpoints present in modern processors to detect whenever a process performs such a data transfer and inform the kernel so that it can record the non - deterministic data and then replay when desired .
- Files in This Item
-
Go to Link
- Appears in
Collections - 서울 공과대학 > 서울 컴퓨터소프트웨어학부 > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.