Matches in SemOpenAlex for { <https://semopenalex.org/work/W2289300061> ?p ?o ?g. }
- W2289300061 abstract "Parallel and concurrent software is more complex than sequential code because interactions between concurrent computations and the ordering of program events can vary across executions. This nondeterministic variation is hard to understand and control, introducing the potential for concurrency bugs. This dissertation addresses two challenges related to concurrency bugs, focusing on shared-memory multi-threaded programs. First, concurrency bugs are hard to find, understand, and fix, but debugging is essential to software correctness. Second, concurrency bugs cause schedule-dependent failures that degrade system reliability. Targeting debugging, we develop two new concurrency debugging techniques based on statistical analysis and novel abstractions of inter-thread communication. These techniques isolate communications related to bugs and reconstruct failing executions. We show several hardware and software system designs that efficiently implement these techniques. Targeting the avoidance of schedule-dependent failures, we then develop two techniques for automatically avoiding schedule-dependent failures due to atomicity violations, a common concurrent program failure. We use specialized serializability analyses to identify code that should be atomic and system support to enforce atomicity. We implement these techniques with architecture and system support. Finally, we develop a mechanism for general schedule-dependent failure avoidance. We use a statistical analysis and leverage large communities of deployed systems to learn how to constrain executions to avoid previously seen failures. We show a software-only distributed system implementation that avoids real software failures with overheads low enough for production use." @default.
- W2289300061 created "2016-06-24" @default.
- W2289300061 creator A5076249757 @default.
- W2289300061 creator A5081914923 @default.
- W2289300061 date "2013-01-01" @default.
- W2289300061 modified "2023-09-27" @default.
- W2289300061 title "System support for concurrent software reliability" @default.
- W2289300061 cites W1521711401 @default.
- W2289300061 cites W1591458180 @default.
- W2289300061 cites W1652742168 @default.
- W2289300061 cites W1808644423 @default.
- W2289300061 cites W183323481 @default.
- W2289300061 cites W1965462925 @default.
- W2289300061 cites W1972544179 @default.
- W2289300061 cites W1994305220 @default.
- W2289300061 cites W2002096014 @default.
- W2289300061 cites W2002179840 @default.
- W2289300061 cites W2006312753 @default.
- W2289300061 cites W2022185456 @default.
- W2289300061 cites W2023304911 @default.
- W2289300061 cites W2037635157 @default.
- W2289300061 cites W2043811931 @default.
- W2289300061 cites W2049381173 @default.
- W2289300061 cites W2054739713 @default.
- W2289300061 cites W2057811740 @default.
- W2289300061 cites W2072062729 @default.
- W2289300061 cites W2082766667 @default.
- W2289300061 cites W2084719450 @default.
- W2289300061 cites W2085773946 @default.
- W2289300061 cites W2091085450 @default.
- W2289300061 cites W2098370715 @default.
- W2289300061 cites W2099866050 @default.
- W2289300061 cites W2100399943 @default.
- W2289300061 cites W2101161997 @default.
- W2289300061 cites W2101309537 @default.
- W2289300061 cites W2101785823 @default.
- W2289300061 cites W2105391037 @default.
- W2289300061 cites W2106858176 @default.
- W2289300061 cites W2108806129 @default.
- W2289300061 cites W2109033563 @default.
- W2289300061 cites W2111759889 @default.
- W2289300061 cites W2115015193 @default.
- W2289300061 cites W2115544061 @default.
- W2289300061 cites W2119417488 @default.
- W2289300061 cites W2119567442 @default.
- W2289300061 cites W2120027538 @default.
- W2289300061 cites W2121696621 @default.
- W2289300061 cites W2121816623 @default.
- W2289300061 cites W2122168604 @default.
- W2289300061 cites W2123845384 @default.
- W2289300061 cites W2130473288 @default.
- W2289300061 cites W2130745898 @default.
- W2289300061 cites W2131040110 @default.
- W2289300061 cites W2131791649 @default.
- W2289300061 cites W2132148774 @default.
- W2289300061 cites W2132729131 @default.
- W2289300061 cites W2133990480 @default.
- W2289300061 cites W2134164054 @default.
- W2289300061 cites W2134440791 @default.
- W2289300061 cites W2135954168 @default.
- W2289300061 cites W2137270184 @default.
- W2289300061 cites W2137422315 @default.
- W2289300061 cites W2138546883 @default.
- W2289300061 cites W2141463837 @default.
- W2289300061 cites W2143869535 @default.
- W2289300061 cites W2145087641 @default.
- W2289300061 cites W2147506153 @default.
- W2289300061 cites W2148004594 @default.
- W2289300061 cites W2150176148 @default.
- W2289300061 cites W2152885346 @default.
- W2289300061 cites W2153185479 @default.
- W2289300061 cites W2153229512 @default.
- W2289300061 cites W2156858199 @default.
- W2289300061 cites W2156915601 @default.
- W2289300061 cites W2158794422 @default.
- W2289300061 cites W2159856414 @default.
- W2289300061 cites W2160983664 @default.
- W2289300061 cites W2162351670 @default.
- W2289300061 cites W2164530016 @default.
- W2289300061 cites W2164726441 @default.
- W2289300061 cites W2166841005 @default.
- W2289300061 cites W2169611673 @default.
- W2289300061 cites W2169875292 @default.
- W2289300061 cites W2170293694 @default.
- W2289300061 cites W2171008784 @default.
- W2289300061 cites W2171537091 @default.
- W2289300061 cites W2251066406 @default.
- W2289300061 cites W2294580796 @default.
- W2289300061 cites W3137220996 @default.
- W2289300061 cites W75086091 @default.
- W2289300061 cites W2116746874 @default.
- W2289300061 hasPublicationYear "2013" @default.
- W2289300061 type Work @default.
- W2289300061 sameAs 2289300061 @default.
- W2289300061 citedByCount "0" @default.
- W2289300061 crossrefType "dissertation" @default.
- W2289300061 hasAuthorship W2289300061A5076249757 @default.
- W2289300061 hasAuthorship W2289300061A5081914923 @default.
- W2289300061 hasConcept C111919701 @default.
- W2289300061 hasConcept C117447612 @default.