Matches in SemOpenAlex for { <https://semopenalex.org/work/W2064352669> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2064352669 endingPage "263" @default.
- W2064352669 startingPage "263" @default.
- W2064352669 abstract "Priority is one means of representing scheduling information in a concurrent real-time programming language. Unfortunately, a static priority scheme can give rise to inversion when combined with synchronisation primitives. In this paper the use of semaphores for protecting access to critical regions is investigated. The formal notation Z is used for this treatment. It is shown that the normal semantics for semaphores can lead to a high priority process being delayed indefinitely. The inclusion of inheritance into the semaphore model improves the situation, but delays can still be significant. To overcome this lack of responsiveness, Lui Sha et al. [1] have developed a ceiling protocol that both removes the possibility of deadlock and limits (to one) the number of times a high priority process can be blocked. This paper contains a formal specification of a complete and a simplified version of the ceiling protocol, together with proofs of their important properties. The simplified version is suitable only for soft real-time systems and was generated while working from an incomplete natural language description given by Sha. The results of the proofs give considerable insight into the ceiling protocols and clarify many areas of their operation." @default.
- W2064352669 created "2016-06-24" @default.
- W2064352669 creator A5024382257 @default.
- W2064352669 creator A5049937500 @default.
- W2064352669 creator A5073103682 @default.
- W2064352669 date "1990-01-01" @default.
- W2064352669 modified "2023-10-18" @default.
- W2064352669 title "Formal specifications and proofs of inheritance protocols for real-time scheduling" @default.
- W2064352669 cites W1905332030 @default.
- W2064352669 doi "https://doi.org/10.1049/sej.1990.0029" @default.
- W2064352669 hasPublicationYear "1990" @default.
- W2064352669 type Work @default.
- W2064352669 sameAs 2064352669 @default.
- W2064352669 citedByCount "24" @default.
- W2064352669 countsByYear W20643526692013 @default.
- W2064352669 countsByYear W20643526692015 @default.
- W2064352669 crossrefType "journal-article" @default.
- W2064352669 hasAuthorship W2064352669A5024382257 @default.
- W2064352669 hasAuthorship W2064352669A5049937500 @default.
- W2064352669 hasAuthorship W2064352669A5073103682 @default.
- W2064352669 hasConcept C107568181 @default.
- W2064352669 hasConcept C108710211 @default.
- W2064352669 hasConcept C117420606 @default.
- W2064352669 hasConcept C120314980 @default.
- W2064352669 hasConcept C126255220 @default.
- W2064352669 hasConcept C127456818 @default.
- W2064352669 hasConcept C156325763 @default.
- W2064352669 hasConcept C159023740 @default.
- W2064352669 hasConcept C161771561 @default.
- W2064352669 hasConcept C172828308 @default.
- W2064352669 hasConcept C175893541 @default.
- W2064352669 hasConcept C184337299 @default.
- W2064352669 hasConcept C193702766 @default.
- W2064352669 hasConcept C199360897 @default.
- W2064352669 hasConcept C206729178 @default.
- W2064352669 hasConcept C2524010 @default.
- W2064352669 hasConcept C31258907 @default.
- W2064352669 hasConcept C33923547 @default.
- W2064352669 hasConcept C41008148 @default.
- W2064352669 hasConcept C5119721 @default.
- W2064352669 hasConcept C63160601 @default.
- W2064352669 hasConcept C75606506 @default.
- W2064352669 hasConcept C80444323 @default.
- W2064352669 hasConcept C95203288 @default.
- W2064352669 hasConceptScore W2064352669C107568181 @default.
- W2064352669 hasConceptScore W2064352669C108710211 @default.
- W2064352669 hasConceptScore W2064352669C117420606 @default.
- W2064352669 hasConceptScore W2064352669C120314980 @default.
- W2064352669 hasConceptScore W2064352669C126255220 @default.
- W2064352669 hasConceptScore W2064352669C127456818 @default.
- W2064352669 hasConceptScore W2064352669C156325763 @default.
- W2064352669 hasConceptScore W2064352669C159023740 @default.
- W2064352669 hasConceptScore W2064352669C161771561 @default.
- W2064352669 hasConceptScore W2064352669C172828308 @default.
- W2064352669 hasConceptScore W2064352669C175893541 @default.
- W2064352669 hasConceptScore W2064352669C184337299 @default.
- W2064352669 hasConceptScore W2064352669C193702766 @default.
- W2064352669 hasConceptScore W2064352669C199360897 @default.
- W2064352669 hasConceptScore W2064352669C206729178 @default.
- W2064352669 hasConceptScore W2064352669C2524010 @default.
- W2064352669 hasConceptScore W2064352669C31258907 @default.
- W2064352669 hasConceptScore W2064352669C33923547 @default.
- W2064352669 hasConceptScore W2064352669C41008148 @default.
- W2064352669 hasConceptScore W2064352669C5119721 @default.
- W2064352669 hasConceptScore W2064352669C63160601 @default.
- W2064352669 hasConceptScore W2064352669C75606506 @default.
- W2064352669 hasConceptScore W2064352669C80444323 @default.
- W2064352669 hasConceptScore W2064352669C95203288 @default.
- W2064352669 hasIssue "5" @default.
- W2064352669 hasLocation W20643526691 @default.
- W2064352669 hasOpenAccess W2064352669 @default.
- W2064352669 hasPrimaryLocation W20643526691 @default.
- W2064352669 hasRelatedWork W1493148910 @default.
- W2064352669 hasRelatedWork W1589074958 @default.
- W2064352669 hasRelatedWork W1591583623 @default.
- W2064352669 hasRelatedWork W2090061591 @default.
- W2064352669 hasRelatedWork W2159642117 @default.
- W2064352669 hasRelatedWork W2322202043 @default.
- W2064352669 hasRelatedWork W2379701091 @default.
- W2064352669 hasRelatedWork W2383192442 @default.
- W2064352669 hasRelatedWork W3023376741 @default.
- W2064352669 hasRelatedWork W2522373767 @default.
- W2064352669 hasVolume "5" @default.
- W2064352669 isParatext "false" @default.
- W2064352669 isRetracted "false" @default.
- W2064352669 magId "2064352669" @default.
- W2064352669 workType "article" @default.