Matches in SemOpenAlex for { <https://semopenalex.org/work/W1635723009> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1635723009 abstract "A model of MPI synchronization communication programs is presented and its three basic simplified models are also defined. A series of theorems and methods for deciding whether deadlocks will occur among the three models are given and proved strictly. These theories and methods for simple models' deadlock detection are the necessary base for real MPI program deadlock detection. The methods are based on a static analysis through programs and with runtime detection in necessary cases and they are able to determine before compiling whether it will be deadlocked for two of the three basic models. For another model, some deadlock cases can be found before compiling and others at runtime. Our theorems can be used to prove the correctness of currently popular MPI program deadlock detection algorithms. Our methods may decrease codes that those algorithms need to change to MPI source or profiling interface and may detects deadlocks ahead of program execution, thus the overheads can be reduced greatly." @default.
- W1635723009 created "2016-06-24" @default.
- W1635723009 creator A5016458854 @default.
- W1635723009 creator A5090352464 @default.
- W1635723009 date "2007-09-24" @default.
- W1635723009 modified "2023-09-27" @default.
- W1635723009 title "Deadlock Detection in Basic Models of MPI Synchronization Communication Programs" @default.
- W1635723009 hasPublicationYear "2007" @default.
- W1635723009 type Work @default.
- W1635723009 sameAs 1635723009 @default.
- W1635723009 citedByCount "0" @default.
- W1635723009 crossrefType "posted-content" @default.
- W1635723009 hasAuthorship W1635723009A5016458854 @default.
- W1635723009 hasAuthorship W1635723009A5090352464 @default.
- W1635723009 hasConcept C113429609 @default.
- W1635723009 hasConcept C120314980 @default.
- W1635723009 hasConcept C127162648 @default.
- W1635723009 hasConcept C159023740 @default.
- W1635723009 hasConcept C173608175 @default.
- W1635723009 hasConcept C187191949 @default.
- W1635723009 hasConcept C199360897 @default.
- W1635723009 hasConcept C2778562939 @default.
- W1635723009 hasConcept C31258907 @default.
- W1635723009 hasConcept C41008148 @default.
- W1635723009 hasConcept C55439883 @default.
- W1635723009 hasConcept C854659 @default.
- W1635723009 hasConceptScore W1635723009C113429609 @default.
- W1635723009 hasConceptScore W1635723009C120314980 @default.
- W1635723009 hasConceptScore W1635723009C127162648 @default.
- W1635723009 hasConceptScore W1635723009C159023740 @default.
- W1635723009 hasConceptScore W1635723009C173608175 @default.
- W1635723009 hasConceptScore W1635723009C187191949 @default.
- W1635723009 hasConceptScore W1635723009C199360897 @default.
- W1635723009 hasConceptScore W1635723009C2778562939 @default.
- W1635723009 hasConceptScore W1635723009C31258907 @default.
- W1635723009 hasConceptScore W1635723009C41008148 @default.
- W1635723009 hasConceptScore W1635723009C55439883 @default.
- W1635723009 hasConceptScore W1635723009C854659 @default.
- W1635723009 hasLocation W16357230091 @default.
- W1635723009 hasOpenAccess W1635723009 @default.
- W1635723009 hasPrimaryLocation W16357230091 @default.
- W1635723009 hasRelatedWork W1463980502 @default.
- W1635723009 hasRelatedWork W1574792064 @default.
- W1635723009 hasRelatedWork W168271757 @default.
- W1635723009 hasRelatedWork W1743545919 @default.
- W1635723009 hasRelatedWork W1761923495 @default.
- W1635723009 hasRelatedWork W1992135271 @default.
- W1635723009 hasRelatedWork W2066775342 @default.
- W1635723009 hasRelatedWork W2160097679 @default.
- W1635723009 hasRelatedWork W2166954426 @default.
- W1635723009 hasRelatedWork W2283246674 @default.
- W1635723009 hasRelatedWork W2362595001 @default.
- W1635723009 hasRelatedWork W2379107260 @default.
- W1635723009 hasRelatedWork W2387250688 @default.
- W1635723009 hasRelatedWork W2749582297 @default.
- W1635723009 hasRelatedWork W2963719696 @default.
- W1635723009 hasRelatedWork W3014666294 @default.
- W1635723009 hasRelatedWork W3125334465 @default.
- W1635723009 hasRelatedWork W3137070212 @default.
- W1635723009 hasRelatedWork W3140720071 @default.
- W1635723009 hasRelatedWork W3151650766 @default.
- W1635723009 isParatext "false" @default.
- W1635723009 isRetracted "false" @default.
- W1635723009 magId "1635723009" @default.
- W1635723009 workType "article" @default.