Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113254429> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2113254429 abstract "Serializability greatly simplifies reasoning about correctness in concurrent systems, including real-time systems. Our research addresses concurrency control protocols that accommodate analytic guarantees of schedulability, can be implemented with small bounded overheads and blocking, and ensure serializable execution of entire tasks including complete read/compute/write cycles (as opposed to serializable execution only of short embedded transactions without computation.) One such protocol which combines locking and abort is described. Among its interesting properties are that transactions scheduled by locking are never aborted, tasks are aborted only due to conflict with higher priority tasks, and the cost of abortion can be bounded for the purpose of schedulability analysis. The protocol is illustrated with an avionics example. The priority ceiling protocol can ensure schedulability of 8 tasks if serializability of only short sequences of data accesses is required, but cannot schedule even the first 2 tasks if serializability is required for whole tasks. Under reasonable assumptions our protocol achieves schedulability of the first 6 tasks while guaranteeing serializability of entire tasks. >" @default.
- W2113254429 created "2016-06-24" @default.
- W2113254429 creator A5011004257 @default.
- W2113254429 creator A5055950734 @default.
- W2113254429 date "2002-12-17" @default.
- W2113254429 modified "2023-09-26" @default.
- W2113254429 title "A mixed locking/abort protocol for hard real-time systems" @default.
- W2113254429 cites W1952110674 @default.
- W2113254429 cites W2001673593 @default.
- W2113254429 cites W2093100591 @default.
- W2113254429 cites W2109488193 @default.
- W2113254429 cites W2110765100 @default.
- W2113254429 cites W2154009556 @default.
- W2113254429 cites W2169813542 @default.
- W2113254429 doi "https://doi.org/10.1109/rtoss.1994.292552" @default.
- W2113254429 hasPublicationYear "2002" @default.
- W2113254429 type Work @default.
- W2113254429 sameAs 2113254429 @default.
- W2113254429 citedByCount "10" @default.
- W2113254429 countsByYear W21132544292014 @default.
- W2113254429 countsByYear W21132544292017 @default.
- W2113254429 crossrefType "proceedings-article" @default.
- W2113254429 hasAuthorship W2113254429A5011004257 @default.
- W2113254429 hasAuthorship W2113254429A5055950734 @default.
- W2113254429 hasConcept C111919701 @default.
- W2113254429 hasConcept C120314980 @default.
- W2113254429 hasConcept C131346163 @default.
- W2113254429 hasConcept C173608175 @default.
- W2113254429 hasConcept C191558696 @default.
- W2113254429 hasConcept C199360897 @default.
- W2113254429 hasConcept C25185021 @default.
- W2113254429 hasConcept C2777549182 @default.
- W2113254429 hasConcept C41008148 @default.
- W2113254429 hasConcept C52723943 @default.
- W2113254429 hasConcept C68387754 @default.
- W2113254429 hasConcept C72108876 @default.
- W2113254429 hasConcept C75949130 @default.
- W2113254429 hasConcept C84511453 @default.
- W2113254429 hasConceptScore W2113254429C111919701 @default.
- W2113254429 hasConceptScore W2113254429C120314980 @default.
- W2113254429 hasConceptScore W2113254429C131346163 @default.
- W2113254429 hasConceptScore W2113254429C173608175 @default.
- W2113254429 hasConceptScore W2113254429C191558696 @default.
- W2113254429 hasConceptScore W2113254429C199360897 @default.
- W2113254429 hasConceptScore W2113254429C25185021 @default.
- W2113254429 hasConceptScore W2113254429C2777549182 @default.
- W2113254429 hasConceptScore W2113254429C41008148 @default.
- W2113254429 hasConceptScore W2113254429C52723943 @default.
- W2113254429 hasConceptScore W2113254429C68387754 @default.
- W2113254429 hasConceptScore W2113254429C72108876 @default.
- W2113254429 hasConceptScore W2113254429C75949130 @default.
- W2113254429 hasConceptScore W2113254429C84511453 @default.
- W2113254429 hasLocation W21132544291 @default.
- W2113254429 hasOpenAccess W2113254429 @default.
- W2113254429 hasPrimaryLocation W21132544291 @default.
- W2113254429 hasRelatedWork W1488003651 @default.
- W2113254429 hasRelatedWork W1545155892 @default.
- W2113254429 hasRelatedWork W1961232073 @default.
- W2113254429 hasRelatedWork W1987692705 @default.
- W2113254429 hasRelatedWork W2001896893 @default.
- W2113254429 hasRelatedWork W2022436301 @default.
- W2113254429 hasRelatedWork W2023671193 @default.
- W2113254429 hasRelatedWork W2025597900 @default.
- W2113254429 hasRelatedWork W2066385482 @default.
- W2113254429 hasRelatedWork W2093100591 @default.
- W2113254429 hasRelatedWork W2109488193 @default.
- W2113254429 hasRelatedWork W2121941088 @default.
- W2113254429 hasRelatedWork W2154009556 @default.
- W2113254429 hasRelatedWork W2160293203 @default.
- W2113254429 hasRelatedWork W2166440675 @default.
- W2113254429 hasRelatedWork W2169813542 @default.
- W2113254429 hasRelatedWork W2368670937 @default.
- W2113254429 hasRelatedWork W2467358507 @default.
- W2113254429 hasRelatedWork W3148955065 @default.
- W2113254429 hasRelatedWork W3168146865 @default.
- W2113254429 isParatext "false" @default.
- W2113254429 isRetracted "false" @default.
- W2113254429 magId "2113254429" @default.
- W2113254429 workType "article" @default.