Matches in SemOpenAlex for { <https://semopenalex.org/work/W57676525> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W57676525 abstract "Debugging is a process that involves establishing relationships between several entities: The behavior specified in the program, P, the model/-predicate of the expected behavior, M, and the observed execution behavior, E. The thesis of the unified approach is that a consistent representation for P, M and E greatly simplifies the problem of concurrent debugging, both from the viewpoint of the programmer attempting to debug a program and from the viewpoint of the implementor of debugging facilities. Provision of such a consistent representation becomes possible when sequential behavior is separated from concurrent or parallel structuring. Given this separation, the program becomes a set of sequential actions and relationships among these actions. The debugging process, then, becomes a matter of specifying and determining relations on the set of program actions. The relations are specified in P, modeled in M and observed in E. This simplifies debugging because it allows the programmer to think in terms of the program which he understands. It also simplifies the development of a unified debugging system because all of the different approaches to concurrent debugging become instances of the establishment of relationships between the actions.The unified approach defines a formal model for concurrent debugging in which the entire debugging process is specified in terms of program actions. The unified model places all of the approaches to debugging of parallel programs such as execution replay, race detection, model/predicate checking, execution history displays and animation, which are commonly formulated as disjoint facilities, in a single, uniform framework.We have also developed a feasibility demonstration prototype implementation of this unified model of concurrent debugging in the context of the CODE 2.0 parallel programming system. This implementation demonstrates and validates the claims of integration of debugging facilities in a single framework. It is further the case that the unified model of debugging greatly simplifies the construction of a concurrent debugger. All of the capabilities previously regarded as separate for debugging of parallel programs, both in shared memory models of execution and distributed memory models of execution, are supported by this prototype." @default.
- W57676525 created "2016-06-24" @default.
- W57676525 creator A5069291203 @default.
- W57676525 date "1995-11-20" @default.
- W57676525 modified "2023-09-22" @default.
- W57676525 title "A unified approach to concurrent debugging" @default.
- W57676525 hasPublicationYear "1995" @default.
- W57676525 type Work @default.
- W57676525 sameAs 57676525 @default.
- W57676525 citedByCount "0" @default.
- W57676525 crossrefType "journal-article" @default.
- W57676525 hasAuthorship W57676525A5069291203 @default.
- W57676525 hasConcept C136388014 @default.
- W57676525 hasConcept C168065819 @default.
- W57676525 hasConcept C177264268 @default.
- W57676525 hasConcept C199360897 @default.
- W57676525 hasConcept C2778514511 @default.
- W57676525 hasConcept C41008148 @default.
- W57676525 hasConceptScore W57676525C136388014 @default.
- W57676525 hasConceptScore W57676525C168065819 @default.
- W57676525 hasConceptScore W57676525C177264268 @default.
- W57676525 hasConceptScore W57676525C199360897 @default.
- W57676525 hasConceptScore W57676525C2778514511 @default.
- W57676525 hasConceptScore W57676525C41008148 @default.
- W57676525 hasLocation W576765251 @default.
- W57676525 hasOpenAccess W57676525 @default.
- W57676525 hasPrimaryLocation W576765251 @default.
- W57676525 hasRelatedWork W1493879516 @default.
- W57676525 hasRelatedWork W1497912380 @default.
- W57676525 hasRelatedWork W1529821561 @default.
- W57676525 hasRelatedWork W1539795027 @default.
- W57676525 hasRelatedWork W1561025066 @default.
- W57676525 hasRelatedWork W1565345783 @default.
- W57676525 hasRelatedWork W1593657776 @default.
- W57676525 hasRelatedWork W1597456533 @default.
- W57676525 hasRelatedWork W180833630 @default.
- W57676525 hasRelatedWork W2044672898 @default.
- W57676525 hasRelatedWork W2066836426 @default.
- W57676525 hasRelatedWork W2116206868 @default.
- W57676525 hasRelatedWork W2501636505 @default.
- W57676525 hasRelatedWork W2510601783 @default.
- W57676525 hasRelatedWork W2552119404 @default.
- W57676525 hasRelatedWork W2752700320 @default.
- W57676525 hasRelatedWork W3125908475 @default.
- W57676525 hasRelatedWork W3167338266 @default.
- W57676525 hasRelatedWork W3176236199 @default.
- W57676525 hasRelatedWork W589454760 @default.
- W57676525 isParatext "false" @default.
- W57676525 isRetracted "false" @default.
- W57676525 magId "57676525" @default.
- W57676525 workType "article" @default.