FRINK Linked Data Fragments server

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

• W2899214041 abstract "Modern systems must take full advantage of the underlying hardware paradigms in order to yield higher throughput and lower latency. A common way of maximizing the hardware usage in a system is by leveraging multithreaded techniques. These techniques however are very hard to reason by and can yield hard to detect bugs, such as deadlocks, livelocks or race conditions from unwanted interleavings of threads in the system's execution. Atomic locks are a standard mechanism to provide a safe way to alleviate such issues by specifying what regions of code need to be executed atomically such that regardless of the threads interleavings the shared memory remains in a consistent state and makes the code execution as a simple serial execution that easy to analyze and reason by, yielding increased programmer productivity and system efficiency. Our paper proposes a system that allows user to easily verify if a C# codebase has correctly implemented the way shared memory (field or properties) are modified and is able to detect race conditions or deadlocks for the specified shared memory. The main goal is to improve developer productivity and to improve the system codebase by specifying the atomicity constraints as unit or integration tests. We present the overall architecture of the system and how it detects the way certain atomic invariants are checked and deadlocks are identified, as well as the integration with an existing codebase. We also describe how the system proves correctness in checking these invariants. We have verified our system against multithreaded C# codebases and the system successfully checks the atomicity invariants and deadlock cases outputting the correct scenarios of how these can happen. We have also provided a way to decrease the risk of concurrency bugs regressions and improving the code quality, thus proving that our system achieves the proposed goals of providing a way for increased developer productivity, correct detection of deadlocks, atomic invariants checking and concurrency bugs mitigation." @default.
• W2899214041 created "2018-11-09" @default.
• W2899214041 creator A5025922851 @default.
• W2899214041 creator A5043139072 @default.
• W2899214041 creator A5052747708 @default.
• W2899214041 date "2018-09-01" @default.
• W2899214041 modified "2023-09-25" @default.
• W2899214041 title "Atomic invariants verification and deadlock detection at compile-time" @default.
• W2899214041 cites W113310232 @default.
• W2899214041 cites W1862182621 @default.
• W2899214041 cites W2059224852 @default.
• W2899214041 cites W2065675749 @default.
• W2899214041 cites W2118437239 @default.
• W2899214041 cites W2119494620 @default.
• W2899214041 cites W2127825616 @default.
• W2899214041 cites W2132613390 @default.
• W2899214041 cites W2149984854 @default.
• W2899214041 cites W2156428492 @default.
• W2899214041 cites W2159031014 @default.
• W2899214041 cites W2170196926 @default.
• W2899214041 doi "https://doi.org/10.1109/iccp.2018.8516602" @default.
• W2899214041 hasPublicationYear "2018" @default.
• W2899214041 type Work @default.
• W2899214041 sameAs 2899214041 @default.
• W2899214041 citedByCount "0" @default.
• W2899214041 crossrefType "proceedings-article" @default.
• W2899214041 hasAuthorship W2899214041A5025922851 @default.
• W2899214041 hasAuthorship W2899214041A5043139072 @default.
• W2899214041 hasAuthorship W2899214041A5052747708 @default.
• W2899214041 hasConcept C120314980 @default.
• W2899214041 hasConcept C149635348 @default.
• W2899214041 hasConcept C159023740 @default.
• W2899214041 hasConcept C169590947 @default.
• W2899214041 hasConcept C173608175 @default.
• W2899214041 hasConcept C188045909 @default.
• W2899214041 hasConcept C199360897 @default.
• W2899214041 hasConcept C2778514511 @default.
• W2899214041 hasConcept C41008148 @default.
• W2899214041 hasConcept C43126263 @default.
• W2899214041 hasConcept C51929080 @default.
• W2899214041 hasConcept C55439883 @default.
• W2899214041 hasConcept C75949130 @default.
• W2899214041 hasConceptScore W2899214041C120314980 @default.
• W2899214041 hasConceptScore W2899214041C149635348 @default.
• W2899214041 hasConceptScore W2899214041C159023740 @default.
• W2899214041 hasConceptScore W2899214041C169590947 @default.
• W2899214041 hasConceptScore W2899214041C173608175 @default.
• W2899214041 hasConceptScore W2899214041C188045909 @default.
• W2899214041 hasConceptScore W2899214041C199360897 @default.
• W2899214041 hasConceptScore W2899214041C2778514511 @default.
• W2899214041 hasConceptScore W2899214041C41008148 @default.
• W2899214041 hasConceptScore W2899214041C43126263 @default.
• W2899214041 hasConceptScore W2899214041C51929080 @default.
• W2899214041 hasConceptScore W2899214041C55439883 @default.
• W2899214041 hasConceptScore W2899214041C75949130 @default.
• W2899214041 hasLocation W28992140411 @default.
• W2899214041 hasOpenAccess W2899214041 @default.
• W2899214041 hasPrimaryLocation W28992140411 @default.
• W2899214041 hasRelatedWork W1480938817 @default.
• W2899214041 hasRelatedWork W1492795405 @default.
• W2899214041 hasRelatedWork W1542965838 @default.
• W2899214041 hasRelatedWork W1984303085 @default.
• W2899214041 hasRelatedWork W2166060139 @default.
• W2899214041 hasRelatedWork W2168733756 @default.
• W2899214041 hasRelatedWork W2899214041 @default.
• W2899214041 hasRelatedWork W4238823939 @default.
• W2899214041 hasRelatedWork W979536633 @default.
• W2899214041 hasRelatedWork W2730883564 @default.
• W2899214041 isParatext "false" @default.
• W2899214041 isRetracted "false" @default.
• W2899214041 magId "2899214041" @default.
• W2899214041 workType "article" @default.