Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060010183> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2060010183 abstract "This thesis addresses the problem of detecting of a specific type of nondeterminism in shared memory parallel programs known as access anomalies. An access anomaly occurs when an update to a shared variable X is concurrent with either a read of X or another update of X.The first part of the work considers dynamic detection of access anomalies. We introduce a new technique called task recycling that detects access anomalies on the fly by monitoring the program execution. This technique is designed with two goals in mind. The first goal is minimal monitoring cost. Costs re incurred only at thread create, terminate, and coordinate operations and every time a monitored variable is accessed. Because variable accesses are generally the most frequent operation, the task recycling technique reduces the overhead per variable access to a small constant. The second goal is generality. The task recycling technique is applicable to a wide variety of parallel constructs and all common synchronous and asynchronous coordination primitives. Combined with a protocol for specifying ordering constraints, the method of representing concurrency relationships in task recycling can be extended to detect general race conditions in parallel programs.The second part of the thesis involves static detection of several types of nondeterminism that makes dynamic anomaly detection inefficient. In particular, the notion of nondeterminism arising from critical section coordination is refined by distinguishing between three types of nondeterminism--parallel, sequential, and reference nondeterminism. The advantage of this classification si that we are able to efficiently detect all three types of nondeterminism. The presence of these types of nondeterminism in a program impacts access anomaly detection in two significant ways: (i) how critical section coordination is modeled during anomaly detection, and (ii) the confidence level and complexity of guaranteeing that a program has no access anomalies. In particular, it is shown that access anomalies can be detected efficiently only if a program is parallel, sequential and reference deterministic. Heuristics are presented that make access anomaly detection tractable in the presence of other nondeterminism through a better classification and semantic understanding of a coordination protocol." @default.
- W2060010183 created "2016-06-24" @default.
- W2060010183 creator A5004225678 @default.
- W2060010183 creator A5053019630 @default.
- W2060010183 date "2011-08-22" @default.
- W2060010183 modified "2023-09-27" @default.
- W2060010183 title "Detecting Nondeterminism in Shared Memory Parallel Programs" @default.
- W2060010183 hasPublicationYear "2011" @default.
- W2060010183 type Work @default.
- W2060010183 sameAs 2060010183 @default.
- W2060010183 citedByCount "1" @default.
- W2060010183 crossrefType "book" @default.
- W2060010183 hasAuthorship W2060010183A5004225678 @default.
- W2060010183 hasAuthorship W2060010183A5053019630 @default.
- W2060010183 hasConcept C120314980 @default.
- W2060010183 hasConcept C134306372 @default.
- W2060010183 hasConcept C138101251 @default.
- W2060010183 hasConcept C151319957 @default.
- W2060010183 hasConcept C15744967 @default.
- W2060010183 hasConcept C162324750 @default.
- W2060010183 hasConcept C173608175 @default.
- W2060010183 hasConcept C182365436 @default.
- W2060010183 hasConcept C187736073 @default.
- W2060010183 hasConcept C193702766 @default.
- W2060010183 hasConcept C199360897 @default.
- W2060010183 hasConcept C2779960059 @default.
- W2060010183 hasConcept C2780451532 @default.
- W2060010183 hasConcept C2780767217 @default.
- W2060010183 hasConcept C31258907 @default.
- W2060010183 hasConcept C33923547 @default.
- W2060010183 hasConcept C41008148 @default.
- W2060010183 hasConcept C542102704 @default.
- W2060010183 hasConceptScore W2060010183C120314980 @default.
- W2060010183 hasConceptScore W2060010183C134306372 @default.
- W2060010183 hasConceptScore W2060010183C138101251 @default.
- W2060010183 hasConceptScore W2060010183C151319957 @default.
- W2060010183 hasConceptScore W2060010183C15744967 @default.
- W2060010183 hasConceptScore W2060010183C162324750 @default.
- W2060010183 hasConceptScore W2060010183C173608175 @default.
- W2060010183 hasConceptScore W2060010183C182365436 @default.
- W2060010183 hasConceptScore W2060010183C187736073 @default.
- W2060010183 hasConceptScore W2060010183C193702766 @default.
- W2060010183 hasConceptScore W2060010183C199360897 @default.
- W2060010183 hasConceptScore W2060010183C2779960059 @default.
- W2060010183 hasConceptScore W2060010183C2780451532 @default.
- W2060010183 hasConceptScore W2060010183C2780767217 @default.
- W2060010183 hasConceptScore W2060010183C31258907 @default.
- W2060010183 hasConceptScore W2060010183C33923547 @default.
- W2060010183 hasConceptScore W2060010183C41008148 @default.
- W2060010183 hasConceptScore W2060010183C542102704 @default.
- W2060010183 hasLocation W20600101831 @default.
- W2060010183 hasOpenAccess W2060010183 @default.
- W2060010183 hasPrimaryLocation W20600101831 @default.
- W2060010183 hasRelatedWork W1509811574 @default.
- W2060010183 hasRelatedWork W1549699884 @default.
- W2060010183 hasRelatedWork W1797019440 @default.
- W2060010183 hasRelatedWork W2007840840 @default.
- W2060010183 hasRelatedWork W2015929257 @default.
- W2060010183 hasRelatedWork W2035256749 @default.
- W2060010183 hasRelatedWork W2065643997 @default.
- W2060010183 hasRelatedWork W2071457972 @default.
- W2060010183 hasRelatedWork W2131123849 @default.
- W2060010183 hasRelatedWork W2137650676 @default.
- W2060010183 hasRelatedWork W2147006982 @default.
- W2060010183 hasRelatedWork W2153933098 @default.
- W2060010183 hasRelatedWork W2154757881 @default.
- W2060010183 hasRelatedWork W2267854506 @default.
- W2060010183 hasRelatedWork W2355814035 @default.
- W2060010183 hasRelatedWork W2520686861 @default.
- W2060010183 hasRelatedWork W2913621635 @default.
- W2060010183 hasRelatedWork W32942804 @default.
- W2060010183 hasRelatedWork W427043642 @default.
- W2060010183 hasRelatedWork W2481587054 @default.
- W2060010183 isParatext "false" @default.
- W2060010183 isRetracted "false" @default.
- W2060010183 magId "2060010183" @default.
- W2060010183 workType "book" @default.