FRINK Linked Data Fragments server

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

• W2291436769 abstract "Multithreaded programs are becoming more and more widely used. Such programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. Common synchronization errors in multithreaded programs include data races, atomicity violations, and deadlocks. A data race occurs when two threads concurrently access a shared variable and at least one of the accesses is a write. Atomicity is a common higher-level correctness requirement that expresses non-interference between concurrently executed methods. A method is atomic if every execution of the program is equivalent to an execution in which that method is executed without being interleaved with other concurrently executed methods. An atomicity violation occurs when a method expected to be atomic is not. A deadlock occurs when some threads are permanently blocked. Several static and dynamic (run-time) analysis techniques exist to detect such errors. Static analysis techniques usually provide stronger guarantees, though they can be overly conservative and hence report more false alarms. Precise static analysis is often computationally hard and hence less scalable. Run-time checking generally produces fewer false alarms than static analysis; this is a significant practical advantage, since diagnosing all of the warnings from static analysis of large codebases may be prohibitively expensive. However, run-time checks may miss errors in unexecuted code and often incur significant run-time overhead. This thesis explores how static and run-time analyses can be combined to assist each other and alleviate the shortcomings of both. We developed expressive type systems for proving absence of data races, atomicity violations, and deadlocks. To save the programmer from writing type annotations, we developed type inference algorithms for these type systems. Complete type inference for race-free type systems is NP-hard. Our inference algorithm for race types, which we call type discovery, is a novel combination of run-time analysis and static analysis. We also explored the use of static analysis to significantly decrease the overhead of run-time checking. Warnings from the typechecker are used to identify parts of the program from which run-time checking can safely be omitted. When the types are obtained by type discovery or type inference, the approach is completely automatic, scalable to very large programs, and significantly reduces the overhead of run-time checking for data races, atomicity violations, and deadlocks." @default.
• W2291436769 created "2016-06-24" @default.
• W2291436769 creator A5021474885 @default.
• W2291436769 creator A5036912096 @default.
• W2291436769 date "2006-01-01" @default.
• W2291436769 modified "2023-09-27" @default.
• W2291436769 title "Combining static analysis and run-time analysis for verification and testing of multi-threaded programs" @default.
• W2291436769 hasPublicationYear "2006" @default.
• W2291436769 type Work @default.
• W2291436769 sameAs 2291436769 @default.
• W2291436769 citedByCount "0" @default.
• W2291436769 crossrefType "journal-article" @default.
• W2291436769 hasAuthorship W2291436769A5021474885 @default.
• W2291436769 hasAuthorship W2291436769A5036912096 @default.
• W2291436769 hasConcept C111919701 @default.
• W2291436769 hasConcept C120314980 @default.
• W2291436769 hasConcept C127162648 @default.
• W2291436769 hasConcept C159023740 @default.
• W2291436769 hasConcept C168065819 @default.
• W2291436769 hasConcept C173608175 @default.
• W2291436769 hasConcept C177264268 @default.
• W2291436769 hasConcept C188045909 @default.
• W2291436769 hasConcept C193702766 @default.
• W2291436769 hasConcept C199360897 @default.
• W2291436769 hasConcept C2776760102 @default.
• W2291436769 hasConcept C2778562939 @default.
• W2291436769 hasConcept C2779960059 @default.
• W2291436769 hasConcept C31258907 @default.
• W2291436769 hasConcept C41008148 @default.
• W2291436769 hasConcept C48044578 @default.
• W2291436769 hasConcept C55439883 @default.
• W2291436769 hasConcept C75949130 @default.
• W2291436769 hasConcept C97686452 @default.
• W2291436769 hasConcept C98183937 @default.
• W2291436769 hasConceptScore W2291436769C111919701 @default.
• W2291436769 hasConceptScore W2291436769C120314980 @default.
• W2291436769 hasConceptScore W2291436769C127162648 @default.
• W2291436769 hasConceptScore W2291436769C159023740 @default.
• W2291436769 hasConceptScore W2291436769C168065819 @default.
• W2291436769 hasConceptScore W2291436769C173608175 @default.
• W2291436769 hasConceptScore W2291436769C177264268 @default.
• W2291436769 hasConceptScore W2291436769C188045909 @default.
• W2291436769 hasConceptScore W2291436769C193702766 @default.
• W2291436769 hasConceptScore W2291436769C199360897 @default.
• W2291436769 hasConceptScore W2291436769C2776760102 @default.
• W2291436769 hasConceptScore W2291436769C2778562939 @default.
• W2291436769 hasConceptScore W2291436769C2779960059 @default.
• W2291436769 hasConceptScore W2291436769C31258907 @default.
• W2291436769 hasConceptScore W2291436769C41008148 @default.
• W2291436769 hasConceptScore W2291436769C48044578 @default.
• W2291436769 hasConceptScore W2291436769C55439883 @default.
• W2291436769 hasConceptScore W2291436769C75949130 @default.
• W2291436769 hasConceptScore W2291436769C97686452 @default.
• W2291436769 hasConceptScore W2291436769C98183937 @default.
• W2291436769 hasLocation W22914367691 @default.
• W2291436769 hasOpenAccess W2291436769 @default.
• W2291436769 hasPrimaryLocation W22914367691 @default.
• W2291436769 hasRelatedWork W1572187826 @default.
• W2291436769 hasRelatedWork W1590406138 @default.
• W2291436769 hasRelatedWork W1999075586 @default.
• W2291436769 hasRelatedWork W2035382792 @default.
• W2291436769 hasRelatedWork W2072419942 @default.
• W2291436769 hasRelatedWork W2101493984 @default.
• W2291436769 hasRelatedWork W2114753872 @default.
• W2291436769 hasRelatedWork W2122578826 @default.
• W2291436769 hasRelatedWork W2143078813 @default.
• W2291436769 hasRelatedWork W2171008784 @default.
• W2291436769 hasRelatedWork W2290897946 @default.
• W2291436769 hasRelatedWork W2304007716 @default.
• W2291436769 hasRelatedWork W2492163994 @default.
• W2291436769 hasRelatedWork W2534285557 @default.
• W2291436769 hasRelatedWork W2535027431 @default.
• W2291436769 hasRelatedWork W2810701304 @default.
• W2291436769 hasRelatedWork W2972625019 @default.
• W2291436769 hasRelatedWork W1680931306 @default.
• W2291436769 hasRelatedWork W2000047004 @default.
• W2291436769 hasRelatedWork W29347679 @default.
• W2291436769 isParatext "false" @default.
• W2291436769 isRetracted "false" @default.
• W2291436769 magId "2291436769" @default.
• W2291436769 workType "article" @default.