Dynamic datarace detection for object-oriented programs
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/16858 |
| _version_ | 1811079196667019264 |
|---|---|
| author | Sridharan, Manu, 1979- |
| author2 | Jong-Deok Choi. |
| author_facet | Jong-Deok Choi. Sridharan, Manu, 1979- |
| author_sort | Sridharan, Manu, 1979- |
| collection | MIT |
| description | Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002. |
| first_indexed | 2024-09-23T11:11:23Z |
| format | Thesis |
| id | mit-1721.1/16858 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T11:11:23Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/168582019-04-12T17:45:41Z Dynamic datarace detection for object-oriented programs Sridharan, Manu, 1979- Jong-Deok Choi. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002. Includes bibliographical references (p. 63-66). This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections. Multithreaded shared-memory programs are susceptible to dataraces, bugs that may exhibit themselves only in rare circumstances and can have detrimental effects on program behavior. Dataraces are often difficult to debug because they are difficult to reproduce and can affect program behavior in subtle ways, so tools which aid in detecting and preventing dataraces can be invaluable. Past dynamic datarace detection tools either incurred large overhead, ranging from 3x to 30x, or sacrificed precision in reducing overhead, reporting many false errors. This thesis presents a novel approach to efficient and precise datarace detection for multithreaded object-oriented programs. Our runtime datarace detector incurs an overhead ranging from 13% to 42% for our test suite, well below the overheads reported in previous work. Furthermore, our precise approach reveals dangerous dataraces in real programs with few spurious warnings. by Manu Sridharan. M.Eng. 2005-05-19T15:02:58Z 2005-05-19T15:02:58Z 2002 2002 Thesis http://hdl.handle.net/1721.1/16858 51618975 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 66 p. 289046 bytes 288802 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Sridharan, Manu, 1979- Dynamic datarace detection for object-oriented programs |
| title | Dynamic datarace detection for object-oriented programs |
| title_full | Dynamic datarace detection for object-oriented programs |
| title_fullStr | Dynamic datarace detection for object-oriented programs |
| title_full_unstemmed | Dynamic datarace detection for object-oriented programs |
| title_short | Dynamic datarace detection for object-oriented programs |
| title_sort | dynamic datarace detection for object oriented programs |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/16858 |
| work_keys_str_mv | AT sridharanmanu1979 dynamicdataracedetectionforobjectorientedprograms |