Techniques for debugging parallel programs with flowback analysis
Flowback analysis is a powerful technique for debugging programs. It allows the programmer to examine dynamic dependences in a program's execution history without having to reexecute the program. The goal is to present to the programmer a graphical view of the dynamic program dependences. The a...
Gespeichert in:
| Veröffentlicht in: | ACM transactions on programming languages and systems 1991-10, Vol.13 (4), p.491-530 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 530 |
|---|---|
| container_issue | 4 |
| container_start_page | 491 |
| container_title | ACM transactions on programming languages and systems |
| container_volume | 13 |
| creator | Choi, Jong-Deok Miller, Barton P. Netzer, Robert H. B. |
| description | Flowback analysis is a powerful technique for debugging programs. It allows the programmer to examine dynamic dependences in a program's execution history without having to reexecute the program. The goal is to present to the programmer a graphical view of the dynamic program dependences. The authors are building a system, called PPD, that performs flowback analysis while keeping the execution time overhead low. They also extend the semantics of flowback analysis to parallel programs. This paper describes details of the graphs and algorithms needed to implement efficient flowback analysis for parallel programs. Execution-time overhead is kept low by recording only a small amount of trace during a program's execution. |
| doi_str_mv | 10.1145/115372.115324 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_29053036</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>25480934</sourcerecordid><originalsourceid>FETCH-LOGICAL-a383t-5685a92947fba73241eadf88456bc64ad6619efabb90dfea413eacff87ac93b93</originalsourceid><addsrcrecordid>eNqFkD1PwzAYhC0EEqUwMrB5QGwpdmwn9lhVfEmVWMpsvXbsNOAkxW5V9d-TKhWMTLc89-h0CN1SMqOUi0dKBSvz2TFyfoYmVAiZcaHYOZoQWvCMqFxcoquUPgkhVAo5QfOVs-uu-d65hH0fceXMrq6brsYbiBCCC3gT-zpCm_C-2a6xD_3egP3C0EE4pCZdowsPIbmbU07Rx_PTavGaLd9f3hbzZQZMsm0mCilA5YqX3kA5DKQOKi8lF4WxBYeqKKhyHoxRpPIOOGUOrPeyBKuYUWyKHkbvsOc4d6vbJlkXAnSu3yWdKyIYYcX_oOCSKMYHMBtBG_uUovN6E5sW4kFToo-P6vFRPT468PcnMSQLwUfobJN-S4LTnCs5YHcjBrb9M46KH3IFfcc</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>25480934</pqid></control><display><type>article</type><title>Techniques for debugging parallel programs with flowback analysis</title><source>ACM Digital Library Complete</source><creator>Choi, Jong-Deok ; Miller, Barton P. ; Netzer, Robert H. B.</creator><creatorcontrib>Choi, Jong-Deok ; Miller, Barton P. ; Netzer, Robert H. B.</creatorcontrib><description>Flowback analysis is a powerful technique for debugging programs. It allows the programmer to examine dynamic dependences in a program's execution history without having to reexecute the program. The goal is to present to the programmer a graphical view of the dynamic program dependences. The authors are building a system, called PPD, that performs flowback analysis while keeping the execution time overhead low. They also extend the semantics of flowback analysis to parallel programs. This paper describes details of the graphs and algorithms needed to implement efficient flowback analysis for parallel programs. Execution-time overhead is kept low by recording only a small amount of trace during a program's execution.</description><identifier>ISSN: 0164-0925</identifier><identifier>EISSN: 1558-4593</identifier><identifier>DOI: 10.1145/115372.115324</identifier><identifier>CODEN: ATPSDT</identifier><language>eng</language><publisher>New York, NY, USA: ACM</publisher><subject>Applied sciences ; Compilers ; Computer science; control theory; systems ; Computing methodologies ; Concurrent programming structures ; Contextual software domains ; Control structures ; Data management systems ; Distributed transaction monitors ; Exact sciences and technology ; General programming languages ; Information systems ; Language features ; Language types ; Middleware for databases ; Monitors ; Multiprocessing / multiprogramming / multitasking ; Operating systems ; Parallel computing methodologies ; Parallel programming languages ; Procedures, functions and subroutines ; Process management ; Process validation ; Software and its engineering ; Software creation and management ; Software defect analysis ; Software notations and tools ; Software organization and properties ; Software testing and debugging ; Software verification and validation ; Source code generation ; Theoretical computing ; Traceability</subject><ispartof>ACM transactions on programming languages and systems, 1991-10, Vol.13 (4), p.491-530</ispartof><rights>ACM</rights><rights>1992 INIST-CNRS</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-a383t-5685a92947fba73241eadf88456bc64ad6619efabb90dfea413eacff87ac93b93</citedby><cites>FETCH-LOGICAL-a383t-5685a92947fba73241eadf88456bc64ad6619efabb90dfea413eacff87ac93b93</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://dl.acm.org/doi/pdf/10.1145/115372.115324$$EPDF$$P50$$Gacm$$H</linktopdf><link.rule.ids>314,780,784,2282,27924,27925,40196,76228</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=5412498$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Choi, Jong-Deok</creatorcontrib><creatorcontrib>Miller, Barton P.</creatorcontrib><creatorcontrib>Netzer, Robert H. B.</creatorcontrib><title>Techniques for debugging parallel programs with flowback analysis</title><title>ACM transactions on programming languages and systems</title><addtitle>ACM TOPLAS</addtitle><description>Flowback analysis is a powerful technique for debugging programs. It allows the programmer to examine dynamic dependences in a program's execution history without having to reexecute the program. The goal is to present to the programmer a graphical view of the dynamic program dependences. The authors are building a system, called PPD, that performs flowback analysis while keeping the execution time overhead low. They also extend the semantics of flowback analysis to parallel programs. This paper describes details of the graphs and algorithms needed to implement efficient flowback analysis for parallel programs. Execution-time overhead is kept low by recording only a small amount of trace during a program's execution.</description><subject>Applied sciences</subject><subject>Compilers</subject><subject>Computer science; control theory; systems</subject><subject>Computing methodologies</subject><subject>Concurrent programming structures</subject><subject>Contextual software domains</subject><subject>Control structures</subject><subject>Data management systems</subject><subject>Distributed transaction monitors</subject><subject>Exact sciences and technology</subject><subject>General programming languages</subject><subject>Information systems</subject><subject>Language features</subject><subject>Language types</subject><subject>Middleware for databases</subject><subject>Monitors</subject><subject>Multiprocessing / multiprogramming / multitasking</subject><subject>Operating systems</subject><subject>Parallel computing methodologies</subject><subject>Parallel programming languages</subject><subject>Procedures, functions and subroutines</subject><subject>Process management</subject><subject>Process validation</subject><subject>Software and its engineering</subject><subject>Software creation and management</subject><subject>Software defect analysis</subject><subject>Software notations and tools</subject><subject>Software organization and properties</subject><subject>Software testing and debugging</subject><subject>Software verification and validation</subject><subject>Source code generation</subject><subject>Theoretical computing</subject><subject>Traceability</subject><issn>0164-0925</issn><issn>1558-4593</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1991</creationdate><recordtype>article</recordtype><recordid>eNqFkD1PwzAYhC0EEqUwMrB5QGwpdmwn9lhVfEmVWMpsvXbsNOAkxW5V9d-TKhWMTLc89-h0CN1SMqOUi0dKBSvz2TFyfoYmVAiZcaHYOZoQWvCMqFxcoquUPgkhVAo5QfOVs-uu-d65hH0fceXMrq6brsYbiBCCC3gT-zpCm_C-2a6xD_3egP3C0EE4pCZdowsPIbmbU07Rx_PTavGaLd9f3hbzZQZMsm0mCilA5YqX3kA5DKQOKi8lF4WxBYeqKKhyHoxRpPIOOGUOrPeyBKuYUWyKHkbvsOc4d6vbJlkXAnSu3yWdKyIYYcX_oOCSKMYHMBtBG_uUovN6E5sW4kFToo-P6vFRPT468PcnMSQLwUfobJN-S4LTnCs5YHcjBrb9M46KH3IFfcc</recordid><startdate>19911001</startdate><enddate>19911001</enddate><creator>Choi, Jong-Deok</creator><creator>Miller, Barton P.</creator><creator>Netzer, Robert H. B.</creator><general>ACM</general><general>Association for Computing Machinery</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19911001</creationdate><title>Techniques for debugging parallel programs with flowback analysis</title><author>Choi, Jong-Deok ; Miller, Barton P. ; Netzer, Robert H. B.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a383t-5685a92947fba73241eadf88456bc64ad6619efabb90dfea413eacff87ac93b93</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1991</creationdate><topic>Applied sciences</topic><topic>Compilers</topic><topic>Computer science; control theory; systems</topic><topic>Computing methodologies</topic><topic>Concurrent programming structures</topic><topic>Contextual software domains</topic><topic>Control structures</topic><topic>Data management systems</topic><topic>Distributed transaction monitors</topic><topic>Exact sciences and technology</topic><topic>General programming languages</topic><topic>Information systems</topic><topic>Language features</topic><topic>Language types</topic><topic>Middleware for databases</topic><topic>Monitors</topic><topic>Multiprocessing / multiprogramming / multitasking</topic><topic>Operating systems</topic><topic>Parallel computing methodologies</topic><topic>Parallel programming languages</topic><topic>Procedures, functions and subroutines</topic><topic>Process management</topic><topic>Process validation</topic><topic>Software and its engineering</topic><topic>Software creation and management</topic><topic>Software defect analysis</topic><topic>Software notations and tools</topic><topic>Software organization and properties</topic><topic>Software testing and debugging</topic><topic>Software verification and validation</topic><topic>Source code generation</topic><topic>Theoretical computing</topic><topic>Traceability</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Choi, Jong-Deok</creatorcontrib><creatorcontrib>Miller, Barton P.</creatorcontrib><creatorcontrib>Netzer, Robert H. B.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>ACM transactions on programming languages and systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Choi, Jong-Deok</au><au>Miller, Barton P.</au><au>Netzer, Robert H. B.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Techniques for debugging parallel programs with flowback analysis</atitle><jtitle>ACM transactions on programming languages and systems</jtitle><stitle>ACM TOPLAS</stitle><date>1991-10-01</date><risdate>1991</risdate><volume>13</volume><issue>4</issue><spage>491</spage><epage>530</epage><pages>491-530</pages><issn>0164-0925</issn><eissn>1558-4593</eissn><coden>ATPSDT</coden><abstract>Flowback analysis is a powerful technique for debugging programs. It allows the programmer to examine dynamic dependences in a program's execution history without having to reexecute the program. The goal is to present to the programmer a graphical view of the dynamic program dependences. The authors are building a system, called PPD, that performs flowback analysis while keeping the execution time overhead low. They also extend the semantics of flowback analysis to parallel programs. This paper describes details of the graphs and algorithms needed to implement efficient flowback analysis for parallel programs. Execution-time overhead is kept low by recording only a small amount of trace during a program's execution.</abstract><cop>New York, NY, USA</cop><pub>ACM</pub><doi>10.1145/115372.115324</doi><tpages>40</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0164-0925 |
| ispartof | ACM transactions on programming languages and systems, 1991-10, Vol.13 (4), p.491-530 |
| issn | 0164-0925 1558-4593 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_29053036 |
| source | ACM Digital Library Complete |
| subjects | Applied sciences Compilers Computer science control theory systems Computing methodologies Concurrent programming structures Contextual software domains Control structures Data management systems Distributed transaction monitors Exact sciences and technology General programming languages Information systems Language features Language types Middleware for databases Monitors Multiprocessing / multiprogramming / multitasking Operating systems Parallel computing methodologies Parallel programming languages Procedures, functions and subroutines Process management Process validation Software and its engineering Software creation and management Software defect analysis Software notations and tools Software organization and properties Software testing and debugging Software verification and validation Source code generation Theoretical computing Traceability |
| title | Techniques for debugging parallel programs with flowback analysis |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T14%3A03%3A15IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Techniques%20for%20debugging%20parallel%20programs%20with%20flowback%20analysis&rft.jtitle=ACM%20transactions%20on%20programming%20languages%20and%20systems&rft.au=Choi,%20Jong-Deok&rft.date=1991-10-01&rft.volume=13&rft.issue=4&rft.spage=491&rft.epage=530&rft.pages=491-530&rft.issn=0164-0925&rft.eissn=1558-4593&rft.coden=ATPSDT&rft_id=info:doi/10.1145/115372.115324&rft_dat=%3Cproquest_cross%3E25480934%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=25480934&rft_id=info:pmid/&rfr_iscdi=true |