FRINK Linked Data Fragments server

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

• W2964130492 endingPage "69" @default.
• W2964130492 startingPage "53" @default.
• W2964130492 abstract "The mutual-exclusion property of locks stands in the way to scalability of parallel programs on many-core architectures. Locks do not allow progress guarantees, because a task may fail inside a critical section and keep holding a lock that blocks other tasks from accessing shared data. With non-blocking synchronization, the drawbacks of locks are avoided by synchronizing access to shared data by atomic read-modify-write operations. To incorporate non-blocking synchronization in Ada 202x, programmers must be able to reason about the behavior and performance of tasks in the absence of protected objects and rendezvous. We therefore extend Ada’s memory model by synchronized types, which support the expression of memory ordering operations at a sufficient level of detail. To mitigate the complexity associated with non-blocking synchronization, we propose concurrent objects as a novel high-level language construct. Entities of a concurrent object execute in parallel, due to a fine-grained, optimistic synchronization mechanism. Synchronization is framed by the semantics of concurrent entry execution. The programmer is only required to label shared data accesses in the code of concurrent entries. Labels constitute memory-ordering operations expressed through aspects and attributes. To the best of our knowledge, this is the first approach to provide a non-blocking synchronization construct as a first-class citizen of a high-level programming language. We illustrate the use of concurrent objects by several examples." @default.
• W2964130492 created "2019-07-30" @default.
• W2964130492 creator A5012072107 @default.
• W2964130492 creator A5018666482 @default.
• W2964130492 date "2018-01-01" @default.
• W2964130492 modified "2023-09-23" @default.
• W2964130492 title "Safe Non-blocking Synchronization in Ada2x" @default.
• W2964130492 cites W1482397304 @default.
• W2964130492 cites W2006421781 @default.
• W2964130492 cites W2029601347 @default.
• W2964130492 cites W2054739713 @default.
• W2964130492 cites W2065129483 @default.
• W2964130492 cites W2091085450 @default.
• W2964130492 cites W2104579430 @default.
• W2964130492 cites W2131791649 @default.
• W2964130492 cites W2152885346 @default.
• W2964130492 cites W2160963348 @default.
• W2964130492 cites W2347082789 @default.
• W2964130492 cites W2414360892 @default.
• W2964130492 cites W2999610704 @default.
• W2964130492 cites W3004250778 @default.
• W2964130492 cites W4253840318 @default.
• W2964130492 cites W4312364354 @default.
• W2964130492 doi "https://doi.org/10.1007/978-3-319-92432-8_4" @default.
• W2964130492 hasPublicationYear "2018" @default.
• W2964130492 type Work @default.
• W2964130492 sameAs 2964130492 @default.
• W2964130492 citedByCount "0" @default.
• W2964130492 crossrefType "book-chapter" @default.
• W2964130492 hasAuthorship W2964130492A5012072107 @default.
• W2964130492 hasAuthorship W2964130492A5018666482 @default.
• W2964130492 hasBestOaLocation W29641304922 @default.
• W2964130492 hasConcept C111919701 @default.
• W2964130492 hasConcept C120314980 @default.
• W2964130492 hasConcept C127162648 @default.
• W2964130492 hasConcept C133875982 @default.
• W2964130492 hasConcept C144745244 @default.
• W2964130492 hasConcept C162932704 @default.
• W2964130492 hasConcept C173608175 @default.
• W2964130492 hasConcept C193702766 @default.
• W2964130492 hasConcept C199360897 @default.
• W2964130492 hasConcept C203222032 @default.
• W2964130492 hasConcept C2778514511 @default.
• W2964130492 hasConcept C2778562939 @default.
• W2964130492 hasConcept C2780801425 @default.
• W2964130492 hasConcept C31258907 @default.
• W2964130492 hasConcept C34422012 @default.
• W2964130492 hasConcept C37279795 @default.
• W2964130492 hasConcept C41008148 @default.
• W2964130492 hasConcept C48044578 @default.
• W2964130492 hasConcept C48859967 @default.
• W2964130492 hasConcept C56348326 @default.
• W2964130492 hasConcept C75949130 @default.
• W2964130492 hasConcept C761482 @default.
• W2964130492 hasConcept C76155785 @default.
• W2964130492 hasConcept C84511453 @default.
• W2964130492 hasConcept C93361087 @default.
• W2964130492 hasConceptScore W2964130492C111919701 @default.
• W2964130492 hasConceptScore W2964130492C120314980 @default.
• W2964130492 hasConceptScore W2964130492C127162648 @default.
• W2964130492 hasConceptScore W2964130492C133875982 @default.
• W2964130492 hasConceptScore W2964130492C144745244 @default.
• W2964130492 hasConceptScore W2964130492C162932704 @default.
• W2964130492 hasConceptScore W2964130492C173608175 @default.
• W2964130492 hasConceptScore W2964130492C193702766 @default.
• W2964130492 hasConceptScore W2964130492C199360897 @default.
• W2964130492 hasConceptScore W2964130492C203222032 @default.
• W2964130492 hasConceptScore W2964130492C2778514511 @default.
• W2964130492 hasConceptScore W2964130492C2778562939 @default.
• W2964130492 hasConceptScore W2964130492C2780801425 @default.
• W2964130492 hasConceptScore W2964130492C31258907 @default.
• W2964130492 hasConceptScore W2964130492C34422012 @default.
• W2964130492 hasConceptScore W2964130492C37279795 @default.
• W2964130492 hasConceptScore W2964130492C41008148 @default.
• W2964130492 hasConceptScore W2964130492C48044578 @default.
• W2964130492 hasConceptScore W2964130492C48859967 @default.
• W2964130492 hasConceptScore W2964130492C56348326 @default.
• W2964130492 hasConceptScore W2964130492C75949130 @default.
• W2964130492 hasConceptScore W2964130492C761482 @default.
• W2964130492 hasConceptScore W2964130492C76155785 @default.
• W2964130492 hasConceptScore W2964130492C84511453 @default.
• W2964130492 hasConceptScore W2964130492C93361087 @default.
• W2964130492 hasLocation W29641304921 @default.
• W2964130492 hasLocation W29641304922 @default.
• W2964130492 hasOpenAccess W2964130492 @default.
• W2964130492 hasPrimaryLocation W29641304921 @default.
• W2964130492 hasRelatedWork W180742475 @default.
• W2964130492 hasRelatedWork W194621391 @default.
• W2964130492 hasRelatedWork W1972271595 @default.
• W2964130492 hasRelatedWork W2302028273 @default.
• W2964130492 hasRelatedWork W2330361957 @default.
• W2964130492 hasRelatedWork W2536136375 @default.
• W2964130492 hasRelatedWork W2794982228 @default.
• W2964130492 hasRelatedWork W2964130492 @default.
• W2964130492 hasRelatedWork W3128138886 @default.
• W2964130492 hasRelatedWork W4206956498 @default.
• W2964130492 isParatext "false" @default.
• W2964130492 isRetracted "false" @default.

• next