Matching Items (403)
Filtering by
- All Subjects: Choruses
Description
Most embedded applications are constructed with multiple threads to handle concurrent events. For optimization and debugging of the programs, dynamic program analysis is widely used to collect execution information while the program is running. Unfortunately, the non-deterministic behavior of multithreaded embedded software makes the dynamic analysis difficult. In addition, instrumentation overhead for gathering execution information may change the execution of a program, and lead to distorted analysis results, i.e., probe effect. This thesis presents a framework that tackles the non-determinism and probe effect incurred in dynamic analysis of embedded software. The thesis largely consists of three parts. First of all, we discusses a deterministic replay framework to provide reproducible execution. Once a program execution is recorded, software instrumentation can be safely applied during replay without probe effect. Second, a discussion of probe effect is presented and a simulation-based analysis is proposed to detect execution changes of a program caused by instrumentation overhead. The simulation-based analysis examines if the recording instrumentation changes the original program execution. Lastly, the thesis discusses data race detection algorithms that help to remove data races for correctness of the replay and the simulation-based analysis. The focus is to make the detection efficient for C/C++ programs, and to increase scalability of the detection on multi-core machines.
ContributorsSong, Young Wn (Author) / Lee, Yann-Hang (Thesis advisor) / Shrivastava, Aviral (Committee member) / Fainekos, Georgios (Committee member) / Lee, Joohyung (Committee member) / Arizona State University (Publisher)
Created2015
ContributorsEvans, Bartlett R. (Conductor) / Schildkret, David (Conductor) / Glenn, Erica (Conductor) / Concert Choir (Performer) / Chamber Singers (Performer) / ASU Library. Music Library (Publisher)
Created2018-03-16
ContributorsOwen, Ken (Conductor) / McDevitt, Mandy L. M. (Performer) / Larson, Brook (Conductor) / Wang, Lin-Yu (Performer) / Jacobs, Todd (Performer) / Morehouse, Daniel (Performer) / Magers, Kristen (Performer) / DeGrow, Gary (Performer) / DeGrow, Richard (Performer) / Women's Chorus (Performer) / Sun Devil Singers (Performer) / ASU Library. Music Library (Publisher)
Created2004-03-24
ContributorsMetz, John (Performer) / Sowers, Richard (Performer) / Collegium Musicum (Performer) / ASU Library. Music Library (Publisher)
Created1983-01-29
ContributorsEvans, Bartlett R. (Conductor) / Glenn, Erica (Conductor) / Steiner, Kieran (Conductor) / Thompson, Jason D. (Conductor) / Arizona Statesmen (Performer) / Women's Chorus (Performer) / Concert Choir (Performer) / Gospel Choir (Conductor) / ASU Library. Music Library (Publisher)
Created2019-03-15
ContributorsKillian, George W. (Performer) / Killian, Joni (Performer) / Vocal Jazz Ensemble (Performer) / ASU Library. Music Library (Publisher)
Created1992-11-05
ContributorsButler, Robb (Conductor) / McCreary, Kimilee (Conductor) / Bakko, Nicki L. (Conductor) / Schreuder, Joel (Conductor) / Larson, Matthew (Performer) / Ortman, Mory (Performer) / Graduate Chorale I (Performer) / Graduate Chorale II (Performer) / ASU Library. Music Library (Publisher)
Created1999-12-02
ContributorsGarrett, Jennifer (Conductor) / FitzPatrick, Carole (Performer) / Aspnes, Lynne (Performer) / Campbell, Andrew (Pianist) (Performer) / Ryan, Russell (Performer) / Rockmaker, Jody (Performer) / Kocour, Mike (Performer) / McLin, Katherine (Performer) / Larson, Brook Carter (Conductor) / Women's Chorus (Performer) / Men's Chorus (Performer) / ASU Library. Music Library (Publisher)
Created2009-05-04
ContributorsLarson, Brook Carter (Conductor) / Gentry, Gregory R. (Conductor) / Garrison, Ryan D. (Conductor) / Schildkret, David (Conductor) / Men's Chorus (Performer) / Symphonic Chorale (Performer) / Women's Chorus (Performer) / Chamber Singers (Performer) / Choral Union (Performer) / ASU Library. Music Library (Publisher)
Created2007-12-03
ContributorsHerberger Singers (Performer) / Sun Devil Singers (Performer) / ASU Library. Music Library (Publisher)
Created2004-10-24