Matches in SemOpenAlex for { <https://semopenalex.org/work/W841245180> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W841245180 abstract "Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Eliminating all data races from programs is impractical (e.g., system performance could suffer severely), yet spotting just the harmful ones is like finding a needle in a haystack: state-of-the-art data race detectors and classifiers suffer from high false positive rates of 37%–84%. We present Portend, a technique and system for automatically triaging suspect data races based on their potential consequences: Could they lead to crashes or hangs? Alter system state? Could their effects be externalized? Or are they harmless? Our proposed technique achieves very high accuracy by efficiently analyzing multiple paths and multiple thread schedules in combination, and by performing symbolic comparison between program states. We ran Portend on several dozen data races from real-world applications, and it correctly classified all of them, with no human effort. It also produced easy-to-understand evidence of the consequences of harmful races, thus proving their harmfulness and making debugging easier. We envision using Portend for testing and debugging, as well as for automatically triaging bug reports." @default.
- W841245180 created "2016-06-24" @default.
- W841245180 creator A5023666971 @default.
- W841245180 creator A5028907149 @default.
- W841245180 creator A5050964144 @default.
- W841245180 date "2011-01-01" @default.
- W841245180 modified "2023-09-23" @default.
- W841245180 title "Accurately Classifying Data Races with Portend" @default.
- W841245180 hasPublicationYear "2011" @default.
- W841245180 type Work @default.
- W841245180 sameAs 841245180 @default.
- W841245180 citedByCount "0" @default.
- W841245180 crossrefType "journal-article" @default.
- W841245180 hasAuthorship W841245180A5023666971 @default.
- W841245180 hasAuthorship W841245180A5028907149 @default.
- W841245180 hasAuthorship W841245180A5050964144 @default.
- W841245180 hasConcept C13424479 @default.
- W841245180 hasConcept C138101251 @default.
- W841245180 hasConcept C154945302 @default.
- W841245180 hasConcept C168065819 @default.
- W841245180 hasConcept C193702766 @default.
- W841245180 hasConcept C199360897 @default.
- W841245180 hasConcept C41008148 @default.
- W841245180 hasConcept C55439883 @default.
- W841245180 hasConceptScore W841245180C13424479 @default.
- W841245180 hasConceptScore W841245180C138101251 @default.
- W841245180 hasConceptScore W841245180C154945302 @default.
- W841245180 hasConceptScore W841245180C168065819 @default.
- W841245180 hasConceptScore W841245180C193702766 @default.
- W841245180 hasConceptScore W841245180C199360897 @default.
- W841245180 hasConceptScore W841245180C41008148 @default.
- W841245180 hasConceptScore W841245180C55439883 @default.
- W841245180 hasLocation W8412451801 @default.
- W841245180 hasOpenAccess W841245180 @default.
- W841245180 hasPrimaryLocation W8412451801 @default.
- W841245180 hasRelatedWork W1487092338 @default.
- W841245180 hasRelatedWork W1558738734 @default.
- W841245180 hasRelatedWork W1601496654 @default.
- W841245180 hasRelatedWork W1876811830 @default.
- W841245180 hasRelatedWork W2002126413 @default.
- W841245180 hasRelatedWork W2003215037 @default.
- W841245180 hasRelatedWork W2018949666 @default.
- W841245180 hasRelatedWork W2037068142 @default.
- W841245180 hasRelatedWork W2093755302 @default.
- W841245180 hasRelatedWork W2103408719 @default.
- W841245180 hasRelatedWork W2119976538 @default.
- W841245180 hasRelatedWork W2143078813 @default.
- W841245180 hasRelatedWork W2143603206 @default.
- W841245180 hasRelatedWork W2150176148 @default.
- W841245180 hasRelatedWork W2162630235 @default.
- W841245180 hasRelatedWork W2187929526 @default.
- W841245180 hasRelatedWork W2581655065 @default.
- W841245180 hasRelatedWork W2618852163 @default.
- W841245180 hasRelatedWork W2798040909 @default.
- W841245180 hasRelatedWork W3006192430 @default.
- W841245180 isParatext "false" @default.
- W841245180 isRetracted "false" @default.
- W841245180 magId "841245180" @default.
- W841245180 workType "article" @default.