LDR | | 02627nam u200421 4500 |
001 | | 000000419101 |
005 | | 20190215163416 |
008 | | 181129s2018 |||||||||||||||||c||eng d |
020 | |
▼a 9780438126992 |
035 | |
▼a (MiAaPQ)AAI10903093 |
035 | |
▼a (MiAaPQ)umichrackham:001136 |
040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 247004 |
082 | 0 |
▼a 004 |
100 | 1 |
▼a Devecsery, David. |
245 | 10 |
▼a Enabling Program Analysis Through Deterministic Replay and Optimistic Hybrid Analysis. |
260 | |
▼a [S.l.]:
▼b University of Michigan.,
▼c 2018. |
260 | 1 |
▼a Ann Arbor:
▼b ProQuest Dissertations & Theses,
▼c 2018. |
300 | |
▼a 115 p. |
500 | |
▼a Source: Dissertation Abstracts International, Volume: 79-12(E), Section: B. |
500 | |
▼a Adviser: Peter M. Chen. |
502 | 1 |
▼a Thesis (Ph.D.)--University of Michigan, 2018. |
520 | |
▼a As software continues to evolve, software systems increase in complexity. With software systems composed of many distinct but interacting components, today's system programmers, users, and administrators find themselves requiring automated ways |
520 | |
▼a In this thesis I focus on enabling practical entire-system retroactive analysis, allowing programmers, users, and system administrators to diagnose and understand the impact of these devastating mishaps. I focus primarly on two techniques. First |
520 | |
▼a Record and replay systems greatly aid in solving a variety of problems, such as fault tolerance, forensic analysis, and information providence. These solutions, however, assume ubiquitous recording of any application which may have a problem. Cu |
520 | |
▼a Dynamic analysis is used to retroactively identify and address many forms of system mis-behaviors including: programming errors, data-races, private information leakage, and memory errors. Unfortunately, the runtime overhead of dynamic analysis |
520 | |
▼a In this thesis I demonstrate that Arnold's ability to record and replay entire computer systems, combined with optimistic hybrid analysis's ability to quickly analyze prior computation, enable a practical and useful entire system retroactive ana |
590 | |
▼a School code: 0127. |
650 | 4 |
▼a Computer science. |
690 | |
▼a 0984 |
710 | 20 |
▼a University of Michigan.
▼b Computer Science & Engineering. |
773 | 0 |
▼t Dissertation Abstracts International
▼g 79-12B(E). |
773 | |
▼t Dissertation Abstract International |
790 | |
▼a 0127 |
791 | |
▼a Ph.D. |
792 | |
▼a 2018 |
793 | |
▼a English |
856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T15000588
▼n KERIS
▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
980 | |
▼a 201812
▼f 2019 |
990 | |
▼a ***1012033 |