FRINK Linked Data Fragments server

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

• W2979682152 endingPage "27" @default.
• W2979682152 startingPage "1" @default.
• W2979682152 abstract "Emerging non-volatile memory (NVM) technologies promise the durability of disks with the performance of volatile memory (RAM). To describe the persistency guarantees of NVM, several memory persistency models have been proposed in the literature. However, the formal persistency semantics of mainstream hardware is unexplored to date. To close this gap, we present a formal declarative framework for describing concurrency models in the NVM context, and then develop the PARMv8 persistency model as an instance of our framework, formalising the persistency semantics of the ARMv8 architecture for the first time. To facilitate correct persistent programming, we study transactions as a simple abstraction for concurrency and persistency control. We thus develop the PSER (persistent serialisability) persistency model, formalising transactional semantics in the NVM context for the first time, and demonstrate that PSER correctly compiles to PARMv8. This then enables programmers to write correct, concurrent and persistent programs, without having to understand the low-level architecture-specific persistency semantics of the underlying hardware." @default.
• W2979682152 created "2019-10-18" @default.
• W2979682152 creator A5002846450 @default.
• W2979682152 creator A5023359178 @default.
• W2979682152 creator A5083721882 @default.
• W2979682152 date "2019-10-10" @default.
• W2979682152 modified "2023-10-17" @default.
• W2979682152 title "Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models" @default.
• W2979682152 cites W1588615233 @default.
• W2979682152 cites W1594228127 @default.
• W2979682152 cites W1865162546 @default.
• W2979682152 cites W1987093356 @default.
• W2979682152 cites W2005887179 @default.
• W2979682152 cites W2023304911 @default.
• W2979682152 cites W2054739713 @default.
• W2979682152 cites W2085773946 @default.
• W2979682152 cites W2101939036 @default.
• W2979682152 cites W2102449048 @default.
• W2979682152 cites W2112181056 @default.
• W2979682152 cites W2153636750 @default.
• W2979682152 cites W2157808045 @default.
• W2979682152 cites W2171724053 @default.
• W2979682152 cites W2220914167 @default.
• W2979682152 cites W2318717892 @default.
• W2979682152 cites W2332661323 @default.
• W2979682152 cites W2407358971 @default.
• W2979682152 cites W2410477657 @default.
• W2979682152 cites W2511114427 @default.
• W2979682152 cites W2553522901 @default.
• W2979682152 cites W2605308338 @default.
• W2979682152 cites W2625240777 @default.
• W2979682152 cites W2626631502 @default.
• W2979682152 cites W2769194423 @default.
• W2979682152 cites W2775236656 @default.
• W2979682152 cites W2798232138 @default.
• W2979682152 cites W2798982532 @default.
• W2979682152 cites W2891314768 @default.
• W2979682152 cites W2898443334 @default.
• W2979682152 cites W2900579131 @default.
• W2979682152 cites W2932327194 @default.
• W2979682152 cites W2964250752 @default.
• W2979682152 cites W2999610704 @default.
• W2979682152 cites W3099159815 @default.
• W2979682152 cites W3122287721 @default.
• W2979682152 cites W4233509008 @default.
• W2979682152 cites W4234066571 @default.
• W2979682152 cites W4238227173 @default.
• W2979682152 cites W4241595689 @default.
• W2979682152 cites W4247352113 @default.
• W2979682152 cites W4254305400 @default.
• W2979682152 doi "https://doi.org/10.1145/3360561" @default.
• W2979682152 hasPublicationYear "2019" @default.
• W2979682152 type Work @default.
• W2979682152 sameAs 2979682152 @default.
• W2979682152 citedByCount "33" @default.
• W2979682152 countsByYear W29796821522019 @default.
• W2979682152 countsByYear W29796821522020 @default.
• W2979682152 countsByYear W29796821522021 @default.
• W2979682152 countsByYear W29796821522022 @default.
• W2979682152 countsByYear W29796821522023 @default.
• W2979682152 crossrefType "journal-article" @default.
• W2979682152 hasAuthorship W2979682152A5002846450 @default.
• W2979682152 hasAuthorship W2979682152A5023359178 @default.
• W2979682152 hasAuthorship W2979682152A5083721882 @default.
• W2979682152 hasBestOaLocation W29796821521 @default.
• W2979682152 hasConcept C146499914 @default.
• W2979682152 hasConcept C151730666 @default.
• W2979682152 hasConcept C184337299 @default.
• W2979682152 hasConcept C193702766 @default.
• W2979682152 hasConcept C199360897 @default.
• W2979682152 hasConcept C2779343474 @default.
• W2979682152 hasConcept C41008148 @default.
• W2979682152 hasConcept C86803240 @default.
• W2979682152 hasConceptScore W2979682152C146499914 @default.
• W2979682152 hasConceptScore W2979682152C151730666 @default.
• W2979682152 hasConceptScore W2979682152C184337299 @default.
• W2979682152 hasConceptScore W2979682152C193702766 @default.
• W2979682152 hasConceptScore W2979682152C199360897 @default.
• W2979682152 hasConceptScore W2979682152C2779343474 @default.
• W2979682152 hasConceptScore W2979682152C41008148 @default.
• W2979682152 hasConceptScore W2979682152C86803240 @default.
• W2979682152 hasFunder F4320334627 @default.
• W2979682152 hasIssue "OOPSLA" @default.
• W2979682152 hasLocation W29796821521 @default.
• W2979682152 hasLocation W29796821522 @default.
• W2979682152 hasLocation W29796821523 @default.
• W2979682152 hasOpenAccess W2979682152 @default.
• W2979682152 hasPrimaryLocation W29796821521 @default.
• W2979682152 hasRelatedWork W1495012123 @default.
• W2979682152 hasRelatedWork W1863382110 @default.
• W2979682152 hasRelatedWork W1965724121 @default.
• W2979682152 hasRelatedWork W2162604396 @default.
• W2979682152 hasRelatedWork W2362341649 @default.
• W2979682152 hasRelatedWork W2387088991 @default.
• W2979682152 hasRelatedWork W2890422991 @default.
• W2979682152 hasRelatedWork W3007870257 @default.
• W2979682152 hasRelatedWork W4324054641 @default.
• W2979682152 hasRelatedWork W2788308474 @default.

• next