Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167003754> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2167003754 endingPage "207" @default.
- W2167003754 startingPage "193" @default.
- W2167003754 abstract "Multiprocessor systems are widely used in many application programs to enhance system reliability and performance. However, reliability does not come naturally with multiple processors. We develop a multi-invariant data structure approach to ensure efficient and robust access to shared data structures in multiprocessor systems. Essentially, the data structure is designed to satisfy two invariants, a strong invariant, and a weak invariant. The system operates at its peak performance when the strong invariant is true. The system will operate correctly even when only the weak invariant is true, though perhaps at a lower performance level. The design ensures that the weak invariant will always be true in spite of fail-stop processor failures during the execution. By allowing the system to converge to a state satisfying only the weak invariant, the overhead for incorporating fault tolerance can be reduced. We present the basic idea of multi-invariant data structures. We also develop design rules that systematically convert fault-intolerant data abstractions into corresponding fault-tolerant versions. In this transformation, we augment the data structure and access algorithms to ensure that the system always converges to the weak invariant, even in the presence of fail-stop processor failures. We also design methods for the detection of integrity violations and for restoring the strong invariant. Two data structures, namely binary search tree and double-linked list, are used to illustrate the concept of multi-invariant data structures." @default.
- W2167003754 created "2016-06-24" @default.
- W2167003754 creator A5025289556 @default.
- W2167003754 creator A5071513393 @default.
- W2167003754 creator A5089726661 @default.
- W2167003754 date "2001-03-01" @default.
- W2167003754 modified "2023-09-27" @default.
- W2167003754 title "Design of multi-invariant data structures for robust shared accesses in multiprocessor systems" @default.
- W2167003754 cites W1545238651 @default.
- W2167003754 cites W170193145 @default.
- W2167003754 cites W1974482940 @default.
- W2167003754 cites W1998555378 @default.
- W2167003754 cites W1998735458 @default.
- W2167003754 cites W2042851811 @default.
- W2167003754 cites W2054254680 @default.
- W2167003754 cites W2073203171 @default.
- W2167003754 cites W2078378732 @default.
- W2167003754 cites W2089903286 @default.
- W2167003754 cites W2090551028 @default.
- W2167003754 cites W2100059821 @default.
- W2167003754 cites W2100394438 @default.
- W2167003754 cites W2101261631 @default.
- W2167003754 cites W2106887953 @default.
- W2167003754 cites W2111132249 @default.
- W2167003754 cites W2120329928 @default.
- W2167003754 cites W2145786150 @default.
- W2167003754 cites W2151114847 @default.
- W2167003754 cites W2162584647 @default.
- W2167003754 cites W2165070096 @default.
- W2167003754 cites W2165810979 @default.
- W2167003754 cites W2166816035 @default.
- W2167003754 cites W2171602274 @default.
- W2167003754 cites W2259319786 @default.
- W2167003754 cites W4242368586 @default.
- W2167003754 doi "https://doi.org/10.1109/32.910857" @default.
- W2167003754 hasPublicationYear "2001" @default.
- W2167003754 type Work @default.
- W2167003754 sameAs 2167003754 @default.
- W2167003754 citedByCount "1" @default.
- W2167003754 crossrefType "journal-article" @default.
- W2167003754 hasAuthorship W2167003754A5025289556 @default.
- W2167003754 hasAuthorship W2167003754A5071513393 @default.
- W2167003754 hasAuthorship W2167003754A5089726661 @default.
- W2167003754 hasConcept C11413529 @default.
- W2167003754 hasConcept C120314980 @default.
- W2167003754 hasConcept C162319229 @default.
- W2167003754 hasConcept C173608175 @default.
- W2167003754 hasConcept C190470478 @default.
- W2167003754 hasConcept C199360897 @default.
- W2167003754 hasConcept C33923547 @default.
- W2167003754 hasConcept C37914503 @default.
- W2167003754 hasConcept C41008148 @default.
- W2167003754 hasConcept C4822641 @default.
- W2167003754 hasConcept C63540848 @default.
- W2167003754 hasConcept C80444323 @default.
- W2167003754 hasConceptScore W2167003754C11413529 @default.
- W2167003754 hasConceptScore W2167003754C120314980 @default.
- W2167003754 hasConceptScore W2167003754C162319229 @default.
- W2167003754 hasConceptScore W2167003754C173608175 @default.
- W2167003754 hasConceptScore W2167003754C190470478 @default.
- W2167003754 hasConceptScore W2167003754C199360897 @default.
- W2167003754 hasConceptScore W2167003754C33923547 @default.
- W2167003754 hasConceptScore W2167003754C37914503 @default.
- W2167003754 hasConceptScore W2167003754C41008148 @default.
- W2167003754 hasConceptScore W2167003754C4822641 @default.
- W2167003754 hasConceptScore W2167003754C63540848 @default.
- W2167003754 hasConceptScore W2167003754C80444323 @default.
- W2167003754 hasIssue "3" @default.
- W2167003754 hasLocation W21670037541 @default.
- W2167003754 hasOpenAccess W2167003754 @default.
- W2167003754 hasPrimaryLocation W21670037541 @default.
- W2167003754 hasRelatedWork W1517776641 @default.
- W2167003754 hasRelatedWork W1577207287 @default.
- W2167003754 hasRelatedWork W1867962035 @default.
- W2167003754 hasRelatedWork W1979928925 @default.
- W2167003754 hasRelatedWork W2010936801 @default.
- W2167003754 hasRelatedWork W2805154545 @default.
- W2167003754 hasRelatedWork W300950598 @default.
- W2167003754 hasRelatedWork W4231657800 @default.
- W2167003754 hasRelatedWork W4252830195 @default.
- W2167003754 hasRelatedWork W99192079 @default.
- W2167003754 hasVolume "27" @default.
- W2167003754 isParatext "false" @default.
- W2167003754 isRetracted "false" @default.
- W2167003754 magId "2167003754" @default.
- W2167003754 workType "article" @default.