Detecting data races on framework-based applications
Material type:
ArticleDescription: 1 archivo (284,1 kB)Subject(s): Online resources: Summary: Race conditions are hard to detect in framework-based applications. Frameworks often improve performance by providing threading, but this threading is usually hidden from application programmers. Therefore, it is easy for application programmers to accidentally create data races. Data races can be detected tracing the flow of execution, but tracing tends to produce too much data. However, the structure of frameworks can be used to control the amount of data collected and that makes tracing practical. We have developed a tracing and analysis tool that allows application programmers to explore different configurations of an application and find probable data races. This enables them to have multithreaded frameworks safely without having to learn the details of the framework design
| Item type | Home library | Collection | Call number | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca de la Facultad de Informática | Biblioteca digital | A0462 (Browse shelf(Opens below)) | Link to resource | Recurso en Línea |
Browsing Biblioteca de la Facultad de Informática shelves, Collection: Biblioteca digital Close shelf browser (Hides shelf browser)
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
Race conditions are hard to detect in framework-based applications. Frameworks often improve performance by providing threading, but this threading is usually hidden from application programmers. Therefore, it is easy for application programmers to accidentally create data races. Data races can be detected tracing the flow of execution, but tracing tends to produce too much data. However, the structure of frameworks can be used to control the amount of data collected and that makes tracing practical. We have developed a tracing and analysis tool that allows application programmers to explore different configurations of an application and find probable data races. This enables them to have multithreaded frameworks safely without having to learn the details of the framework design
Computer Software and Applications Conference.(30º : 2006 Sep. 17-21 : Chicago), pp. 113-120.