Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312663721> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4312663721 endingPage "165" @default.
- W4312663721 startingPage "149" @default.
- W4312663721 abstract "An important property of concurrent objects is whether they support progress – a special case of liveness – guarantees, which ensure the termination of individual method calls under system fairness assumptions. Liveness properties have been proposed for concurrent objects. Typical liveness properties include lock-freedom, wait-freedom, deadlock-freedom, starvation-freedom and obstruction-freedom. It is known that the five liveness properties above are decidable on the Sequential Consistency (SC) memory model for a bounded number of processes. However, the problem of decidability of liveness for finite state concurrent programs running on relaxed memory models remains open. In this paper we address this problem for the Total Store Order (TSO) memory model, as found in the x86 architecture. We prove that lock-freedom, wait-freedom, deadlock-freedom and starvation-freedom are undecidable on TSO for a bounded number of processes, while obstruction-freedom is decidable." @default.
- W4312663721 created "2023-01-05" @default.
- W4312663721 creator A5018688345 @default.
- W4312663721 creator A5054484090 @default.
- W4312663721 creator A5055838753 @default.
- W4312663721 creator A5078506027 @default.
- W4312663721 creator A5088681238 @default.
- W4312663721 date "2022-01-01" @default.
- W4312663721 modified "2023-09-26" @default.
- W4312663721 title "Decidability of Liveness for Concurrent Objects on the TSO Memory Model" @default.
- W4312663721 cites W136533073 @default.
- W4312663721 cites W146875869 @default.
- W4312663721 cites W149053240 @default.
- W4312663721 cites W1525350307 @default.
- W4312663721 cites W1971332773 @default.
- W4312663721 cites W2017872109 @default.
- W4312663721 cites W2054739713 @default.
- W4312663721 cites W2065856581 @default.
- W4312663721 cites W2116976042 @default.
- W4312663721 cites W2138074470 @default.
- W4312663721 cites W2404293746 @default.
- W4312663721 cites W2912640545 @default.
- W4312663721 cites W2914127544 @default.
- W4312663721 cites W3009369889 @default.
- W4312663721 cites W3120705195 @default.
- W4312663721 cites W4230609379 @default.
- W4312663721 cites W4230995274 @default.
- W4312663721 cites W51997033 @default.
- W4312663721 cites W97115092 @default.
- W4312663721 doi "https://doi.org/10.1007/978-3-031-21213-0_10" @default.
- W4312663721 hasPublicationYear "2022" @default.
- W4312663721 type Work @default.
- W4312663721 citedByCount "0" @default.
- W4312663721 crossrefType "book-chapter" @default.
- W4312663721 hasAuthorship W4312663721A5018688345 @default.
- W4312663721 hasAuthorship W4312663721A5054484090 @default.
- W4312663721 hasAuthorship W4312663721A5055838753 @default.
- W4312663721 hasAuthorship W4312663721A5078506027 @default.
- W4312663721 hasAuthorship W4312663721A5088681238 @default.
- W4312663721 hasConcept C120314980 @default.
- W4312663721 hasConcept C121332964 @default.
- W4312663721 hasConcept C127413603 @default.
- W4312663721 hasConcept C134306372 @default.
- W4312663721 hasConcept C153269930 @default.
- W4312663721 hasConcept C15569618 @default.
- W4312663721 hasConcept C159023740 @default.
- W4312663721 hasConcept C174839445 @default.
- W4312663721 hasConcept C192034797 @default.
- W4312663721 hasConcept C193702766 @default.
- W4312663721 hasConcept C208081375 @default.
- W4312663721 hasConcept C33923547 @default.
- W4312663721 hasConcept C34388435 @default.
- W4312663721 hasConcept C41008148 @default.
- W4312663721 hasConcept C62520636 @default.
- W4312663721 hasConcept C78519656 @default.
- W4312663721 hasConcept C80444323 @default.
- W4312663721 hasConceptScore W4312663721C120314980 @default.
- W4312663721 hasConceptScore W4312663721C121332964 @default.
- W4312663721 hasConceptScore W4312663721C127413603 @default.
- W4312663721 hasConceptScore W4312663721C134306372 @default.
- W4312663721 hasConceptScore W4312663721C153269930 @default.
- W4312663721 hasConceptScore W4312663721C15569618 @default.
- W4312663721 hasConceptScore W4312663721C159023740 @default.
- W4312663721 hasConceptScore W4312663721C174839445 @default.
- W4312663721 hasConceptScore W4312663721C192034797 @default.
- W4312663721 hasConceptScore W4312663721C193702766 @default.
- W4312663721 hasConceptScore W4312663721C208081375 @default.
- W4312663721 hasConceptScore W4312663721C33923547 @default.
- W4312663721 hasConceptScore W4312663721C34388435 @default.
- W4312663721 hasConceptScore W4312663721C41008148 @default.
- W4312663721 hasConceptScore W4312663721C62520636 @default.
- W4312663721 hasConceptScore W4312663721C78519656 @default.
- W4312663721 hasConceptScore W4312663721C80444323 @default.
- W4312663721 hasLocation W43126637211 @default.
- W4312663721 hasOpenAccess W4312663721 @default.
- W4312663721 hasPrimaryLocation W43126637211 @default.
- W4312663721 hasRelatedWork W103515806 @default.
- W4312663721 hasRelatedWork W1851153456 @default.
- W4312663721 hasRelatedWork W2202746440 @default.
- W4312663721 hasRelatedWork W2371623873 @default.
- W4312663721 hasRelatedWork W2404201279 @default.
- W4312663721 hasRelatedWork W2616106208 @default.
- W4312663721 hasRelatedWork W2899726318 @default.
- W4312663721 hasRelatedWork W3185581813 @default.
- W4312663721 hasRelatedWork W4281769808 @default.
- W4312663721 hasRelatedWork W4312663721 @default.
- W4312663721 isParatext "false" @default.
- W4312663721 isRetracted "false" @default.
- W4312663721 workType "book-chapter" @default.