Efficient Debugging of Parallel Programs
{'Code': '05010500', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'D. Helen Gill', 'PO_EMAI': None, 'PO_PHON': None}
This project addresses techniques algorithms for design and                     implementation of a debugging system for parallel programs.  The use of         flowback analysis provides information on causal relationships between          events in a program's execution, without having to re-execute the               program for debugging.  Flowback analysis directly focuses the                  programmer on the cause of a problem.                                                                                                                           Two major issues are addressed:  (1) making flowback analysis practical         by developing a method that significantly reduces the overhead induced          during program execution, and (2) extending the semantics of flowback           analysis to parallel programs.  Incremental tracing, using semantic             analyses of the debugged program, makes the folwback analysis practical         with only a small amount of trace generated during execution.  Flowback         analysis is extended to apply to parallel programs, handling                    synchronization activities, dependencies between processes, and shared          memory access.  A method to detect race conditions in the interactions          of the co-operating processes is also described.                                                                                                                The techniques and algorithms necessary to efficiently debugging both           parallel and sequential programs are incorporated in a prototype system         built on a commercially available multiprocessor.
{'FirstName': 'Barton', 'LastName': 'Miller', 'PI_MID_INIT': 'P', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Barton P Miller', 'EmailAddress': 'bart@cs.wisc.edu', 'NSF_ID': '000455518', 'StartDate': '01/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Wisconsin-Madison', 'CityName': 'MADISON', 'ZipCode': '537151218', 'PhoneNumber': '6082623822', 'StreetAddress': '21 N PARK ST STE 6301', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Wisconsin', 'StateCode': 'WI', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'WI02', 'ORG_UEI_NUM': 'LCLSJAGTNZQ7', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF WISCONSIN SYSTEM', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '287500', 'Text': 'SYSTEM SOFTWARE'}, {'Code': '287600', 'Text': 'DISTRIBUTED SYSTEMS'}, {'Code': '288000', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8815928.xml'}