Matches in SemOpenAlex for { <https://semopenalex.org/work/W2470142710> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2470142710 abstract "An event loop is the basic scheduling mechanism for programs that respond to asynchronous events. In some frameworks, only the runtime can spin event loops, while in others, these can also be spun programmatically by event handlers. The latter provides more flexibility and helps improve responsiveness in cases where an event handler must wait for some input, for example, from the user or network. It can do so while spinning an event loop. In this paper, we consider the scheduling scheme of programmatic event loops. Programs which follow this scheme are prone to interference between a handler that is spinning an event loop and another handler that runs inside the loop. We present a happens-before based race detection technique for such programs. We exploit the structure and semantics of executions of these programs to design a sparse representation of the happens-before relation. It relates only a few pairs of operations explicitly in such a way that the ordering between any pair of operations can be inferred from the sparse representation in constant time. We have implemented our technique in an offline race detector for C/C++ programs, called SparseRacer. We discovered 13 new and harmful race conditions in 9 open-source applications using SparseRacer. So far, developers have confirmed 8 as valid bugs, and have fixed 3. These bugs arise from unintended interference due to programmatic event loops. Our sparse representation improved efficiency and gave an average speedup of 5x in race detection time." @default.
- W2470142710 created "2016-07-22" @default.
- W2470142710 creator A5037631148 @default.
- W2470142710 creator A5038298904 @default.
- W2470142710 creator A5038661476 @default.
- W2470142710 date "2016-07-18" @default.
- W2470142710 modified "2023-09-25" @default.
- W2470142710 title "Efficient race detection in the presence of programmatic event loops" @default.
- W2470142710 cites W1965109038 @default.
- W2470142710 cites W1970363544 @default.
- W2470142710 cites W1972544179 @default.
- W2470142710 cites W2002946738 @default.
- W2470142710 cites W2011565812 @default.
- W2470142710 cites W2017190028 @default.
- W2470142710 cites W2025786423 @default.
- W2470142710 cites W2045238089 @default.
- W2470142710 cites W2061504544 @default.
- W2470142710 cites W2072419942 @default.
- W2470142710 cites W2083636040 @default.
- W2470142710 cites W2091932246 @default.
- W2470142710 cites W2109875364 @default.
- W2470142710 cites W2117184262 @default.
- W2470142710 cites W2117564107 @default.
- W2470142710 cites W2127989655 @default.
- W2470142710 cites W2141018153 @default.
- W2470142710 cites W2146174626 @default.
- W2470142710 cites W2153185479 @default.
- W2470142710 cites W2154557525 @default.
- W2470142710 cites W2156370972 @default.
- W2470142710 cites W2156858199 @default.
- W2470142710 cites W2166150184 @default.
- W2470142710 cites W2167744164 @default.
- W2470142710 cites W3137220996 @default.
- W2470142710 cites W4248655060 @default.
- W2470142710 cites W4300810260 @default.
- W2470142710 doi "https://doi.org/10.1145/2931037.2931068" @default.
- W2470142710 hasPublicationYear "2016" @default.
- W2470142710 type Work @default.
- W2470142710 sameAs 2470142710 @default.
- W2470142710 citedByCount "5" @default.
- W2470142710 countsByYear W24701427102017 @default.
- W2470142710 countsByYear W24701427102018 @default.
- W2470142710 countsByYear W24701427102021 @default.
- W2470142710 crossrefType "proceedings-article" @default.
- W2470142710 hasAuthorship W2470142710A5037631148 @default.
- W2470142710 hasAuthorship W2470142710A5038298904 @default.
- W2470142710 hasAuthorship W2470142710A5038661476 @default.
- W2470142710 hasConcept C107993555 @default.
- W2470142710 hasConcept C121332964 @default.
- W2470142710 hasConcept C144024400 @default.
- W2470142710 hasConcept C2779662365 @default.
- W2470142710 hasConcept C41008148 @default.
- W2470142710 hasConcept C62520636 @default.
- W2470142710 hasConcept C76509639 @default.
- W2470142710 hasConceptScore W2470142710C107993555 @default.
- W2470142710 hasConceptScore W2470142710C121332964 @default.
- W2470142710 hasConceptScore W2470142710C144024400 @default.
- W2470142710 hasConceptScore W2470142710C2779662365 @default.
- W2470142710 hasConceptScore W2470142710C41008148 @default.
- W2470142710 hasConceptScore W2470142710C62520636 @default.
- W2470142710 hasConceptScore W2470142710C76509639 @default.
- W2470142710 hasLocation W24701427101 @default.
- W2470142710 hasOpenAccess W2470142710 @default.
- W2470142710 hasPrimaryLocation W24701427101 @default.
- W2470142710 hasRelatedWork W1530101107 @default.
- W2470142710 hasRelatedWork W1560330117 @default.
- W2470142710 hasRelatedWork W1586782953 @default.
- W2470142710 hasRelatedWork W2112973065 @default.
- W2470142710 hasRelatedWork W228809297 @default.
- W2470142710 hasRelatedWork W2357007603 @default.
- W2470142710 hasRelatedWork W2369105145 @default.
- W2470142710 hasRelatedWork W2375382787 @default.
- W2470142710 hasRelatedWork W2554121427 @default.
- W2470142710 hasRelatedWork W2954280381 @default.
- W2470142710 isParatext "false" @default.
- W2470142710 isRetracted "false" @default.
- W2470142710 magId "2470142710" @default.
- W2470142710 workType "article" @default.