FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149871224> ?p ?o ?g. }

• W2149871224 endingPage "79" @default.
• W2149871224 startingPage "66" @default.
• W2149871224 abstract "Dynamic verification methods are the natural choice for debugging real world programs when model extraction and maintenance are expensive. Message passing programs written using the MPI library fall under this category. Partial order reduction can be very effective for MPI programs because for each process, all its local computational steps, as well as many of its MPI calls, commute with the corresponding steps of all other processes. However, when dependencies arise among MPI calls, they are often a function of the runtime state. While this suggests the use of dynamic partial order reduction (DPOR), three aspects of MPI make previous DPOR algorithms inapplicable: (i) many MPI calls are allowed to complete out of program order; (ii) MPI has global synchronization operations (e.g., barrier) that have a special weak semantics; and (iii) the runtime of MPI cannot, without intrusive modifications, be forced to pursue a specific interleaving because of MPI’s liberal message matching rules, especially pertaining to ‘wildcard receives’. We describe our new dynamic verification algorithm ‘POE’ that exploits the out of order completion semantics of MPI by delaying the issuance of MPI calls, issuing them only according to the formation of match-sets, which are ample ‘big-step’ moves. POE guarantees to manifest any feasible interleaving by dynamically rewriting wildcard receives by specific-source receives. This is the first dynamic model-checking algorithm with reductions for (a large subset of) MPI that guarantees to catch all deadlocks and local assertion violations, and is found to work well in practice." @default.
• W2149871224 created "2016-06-24" @default.
• W2149871224 creator A5054841277 @default.
• W2149871224 creator A5069846379 @default.
• W2149871224 creator A5083523340 @default.
• W2149871224 date "2008-08-12" @default.
• W2149871224 modified "2023-09-26" @default.
• W2149871224 title "Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings" @default.
• W2149871224 cites W1507330041 @default.
• W2149871224 cites W1547234535 @default.
• W2149871224 cites W1600980603 @default.
• W2149871224 cites W1848189967 @default.
• W2149871224 cites W1978562726 @default.
• W2149871224 cites W1994941228 @default.
• W2149871224 cites W2031852978 @default.
• W2149871224 cites W2065675749 @default.
• W2149871224 cites W2089427110 @default.
• W2149871224 cites W2104447229 @default.
• W2149871224 cites W2118437239 @default.
• W2149871224 cites W2135948849 @default.
• W2149871224 cites W2162543097 @default.
• W2149871224 cites W2169870841 @default.
• W2149871224 cites W2303756261 @default.
• W2149871224 cites W3137220996 @default.
• W2149871224 cites W4232616607 @default.
• W2149871224 doi "https://doi.org/10.1007/978-3-540-70545-1_9" @default.
• W2149871224 hasPublicationYear "2008" @default.
• W2149871224 type Work @default.
• W2149871224 sameAs 2149871224 @default.
• W2149871224 citedByCount "65" @default.
• W2149871224 countsByYear W21498712242012 @default.
• W2149871224 countsByYear W21498712242013 @default.
• W2149871224 countsByYear W21498712242014 @default.
• W2149871224 countsByYear W21498712242015 @default.
• W2149871224 countsByYear W21498712242016 @default.
• W2149871224 countsByYear W21498712242017 @default.
• W2149871224 countsByYear W21498712242018 @default.
• W2149871224 countsByYear W21498712242019 @default.
• W2149871224 countsByYear W21498712242020 @default.
• W2149871224 countsByYear W21498712242021 @default.
• W2149871224 countsByYear W21498712242022 @default.
• W2149871224 crossrefType "book-chapter" @default.
• W2149871224 hasAuthorship W2149871224A5054841277 @default.
• W2149871224 hasAuthorship W2149871224A5069846379 @default.
• W2149871224 hasAuthorship W2149871224A5083523340 @default.
• W2149871224 hasBestOaLocation W21498712241 @default.
• W2149871224 hasConcept C110251889 @default.
• W2149871224 hasConcept C111335779 @default.
• W2149871224 hasConcept C111919701 @default.
• W2149871224 hasConcept C120314980 @default.
• W2149871224 hasConcept C154690210 @default.
• W2149871224 hasConcept C159023740 @default.
• W2149871224 hasConcept C166782233 @default.
• W2149871224 hasConcept C168065819 @default.
• W2149871224 hasConcept C173608175 @default.
• W2149871224 hasConcept C184337299 @default.
• W2149871224 hasConcept C199360897 @default.
• W2149871224 hasConcept C2524010 @default.
• W2149871224 hasConcept C28034677 @default.
• W2149871224 hasConcept C33923547 @default.
• W2149871224 hasConcept C41008148 @default.
• W2149871224 hasConcept C80444323 @default.
• W2149871224 hasConcept C854659 @default.
• W2149871224 hasConcept C94633896 @default.
• W2149871224 hasConceptScore W2149871224C110251889 @default.
• W2149871224 hasConceptScore W2149871224C111335779 @default.
• W2149871224 hasConceptScore W2149871224C111919701 @default.
• W2149871224 hasConceptScore W2149871224C120314980 @default.
• W2149871224 hasConceptScore W2149871224C154690210 @default.
• W2149871224 hasConceptScore W2149871224C159023740 @default.
• W2149871224 hasConceptScore W2149871224C166782233 @default.
• W2149871224 hasConceptScore W2149871224C168065819 @default.
• W2149871224 hasConceptScore W2149871224C173608175 @default.
• W2149871224 hasConceptScore W2149871224C184337299 @default.
• W2149871224 hasConceptScore W2149871224C199360897 @default.
• W2149871224 hasConceptScore W2149871224C2524010 @default.
• W2149871224 hasConceptScore W2149871224C28034677 @default.
• W2149871224 hasConceptScore W2149871224C33923547 @default.
• W2149871224 hasConceptScore W2149871224C41008148 @default.
• W2149871224 hasConceptScore W2149871224C80444323 @default.
• W2149871224 hasConceptScore W2149871224C854659 @default.
• W2149871224 hasConceptScore W2149871224C94633896 @default.
• W2149871224 hasLocation W21498712241 @default.
• W2149871224 hasOpenAccess W2149871224 @default.
• W2149871224 hasPrimaryLocation W21498712241 @default.
• W2149871224 hasRelatedWork W1513967072 @default.
• W2149871224 hasRelatedWork W1568158668 @default.
• W2149871224 hasRelatedWork W1582405267 @default.
• W2149871224 hasRelatedWork W1587224678 @default.
• W2149871224 hasRelatedWork W1818509088 @default.
• W2149871224 hasRelatedWork W2141830843 @default.
• W2149871224 hasRelatedWork W2354106728 @default.
• W2149871224 hasRelatedWork W2397320769 @default.
• W2149871224 hasRelatedWork W2970425440 @default.
• W2149871224 hasRelatedWork W2787105657 @default.
• W2149871224 isParatext "false" @default.
• W2149871224 isRetracted "false" @default.
• W2149871224 magId "2149871224" @default.

• next