1 option
Leveraging System Call Interposition for Low-Level Process Manipulation / Omar S Navarro Leija.
- Format:
- Book
- Thesis/Dissertation
- Author/Creator:
- Navarro Leija, Omar S., author.
- Language:
- English
- Subjects (All):
- Information science.
- Computer science.
- Computer and Information Science--Penn dissertations.
- Penn dissertations--Computer and Information Science.
- Local Subjects:
- Information science.
- Computer science.
- Computer and Information Science--Penn dissertations.
- Penn dissertations--Computer and Information Science.
- Physical Description:
- 1 online resource (108 pages)
- Contained In:
- Dissertations Abstracts International 84-08B.
- Place of Publication:
- [Philadelphia, Pennsylvania] : University of Pennsylvania, 2022.
- Ann Arbor : ProQuest Dissertations & Theses, 2022
- Language Note:
- English
- Summary:
- Modern software continues to grow in size and complexity with no signs of slowing down. Program tracing allows us to observe the execution of a program. OS-level program tracing is useful, as it allows us to abstract over many details of program execution and view programs based on the IO operations they perform. Beyond read-only program tracing, this dissertation overviews low-level process manipulation. We argue process manipulation is a useful and general technique with many applications.We show the utility of tracing and process manipulation by covering several projects which leverage these techniques. First, we describe DetTrace, a deterministic container abstraction. DetTrace provides a containerized environment where any computation inside the container is guaranteed to be deterministic. Next, we describe ProcessCache implements a system for automatically caching results of process-level computations. ProcessCache automatically infers inputs and outputs to a program and will only re-execute a process if its inputs have changed. Otherwise, it skips unnecessary recomputation by using the cached results. Finally, Tivo combines lightweight determinism enforcement with record and replay to suppress certain types of thread-level nondeterminism.Finally, our future work proposes ChaOS, a fuzzing system for fault injection at system call sites. Lastly, we list key features and requirements for next generation program tracing and low-level process manipulation.
- Notes:
- Source: Dissertations Abstracts International, Volume: 84-08, Section: B.
- Advisors: Devietti, Joseph; Committee members: Phan, Linh Thi Xuan; Angel, Sebastian; Loo, Boon Thau; Newton, Ryan R.
- Department: Computer and Information Science.
- Ph.D. University of Pennsylvania 2022.
- Local Notes:
- School code: 0175
- ISBN:
- 9798374412505
- Access Restriction:
- Restricted for use by site license.
- This item is not available from ProQuest Dissertations & Theses.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.