Matches in SemOpenAlex for { <https://semopenalex.org/work/W2290933762> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2290933762 abstract "This dissertation provides a formal specification and validation of the Programmer-Transparent Coordination (PTC) scheme. This scheme, originally proposed by Kim, specifies a set of decentralized actions required for the automatic (i.e., programmer-transparent) and efficient coordination of backward error recovery activities in concurrent software systems (in which asynchronous sequential processes cooperate by exchanging information from within recovery regions).The essence of the PTC scheme is three fold. First, processes are allowed to exchange information which has not been validated completely. Second, each process is held solely responsible for detecting and recovering from errors which occur within its scope. Finally, and most important, the scheme establishes rules for the efficient management of the establishment and discarding of recovery points in the processes.While the application of the scheme is not restricted to systems using a particular information exchange mechanism, its properties are investigated herein with systems using the monitor abstract data type. A formal specification of the scheme is developed for a system that uses only one monitor and in which monitor procedures cannot explicitly synchronize processes.The theoretical validation of the scheme entails demonstrating that its rules are correct for the efficient coordination of recovery actions among processes while preventing the domino effect.The experimental validation of the scheme serves to demonstrate the feasibility for its practical implementation, validate its logic, and provide for an identification and assessment of its overhead costs. The implementation provides a solution to the design issues of managing: (1) the exchange of unvalidated information among processes, (2) the states of the recovery regions established by the processes, and (3) the execution context of processes for recovery purposes.Directions for future extensions of the scheme to include cooperative error detection capabilities among processes and for its deployment in systems using other types of information exchange mechanisms are presented." @default.
- W2290933762 created "2016-06-24" @default.
- W2290933762 creator A5004031351 @default.
- W2290933762 date "1986-06-01" @default.
- W2290933762 modified "2023-09-24" @default.
- W2290933762 title "Validation of recoverable concurrent software systems based on the programmer-transparent coordination scheme" @default.
- W2290933762 hasPublicationYear "1986" @default.
- W2290933762 type Work @default.
- W2290933762 sameAs 2290933762 @default.
- W2290933762 citedByCount "0" @default.
- W2290933762 crossrefType "journal-article" @default.
- W2290933762 hasAuthorship W2290933762A5004031351 @default.
- W2290933762 hasConcept C120314980 @default.
- W2290933762 hasConcept C134306372 @default.
- W2290933762 hasConcept C151319957 @default.
- W2290933762 hasConcept C15845906 @default.
- W2290933762 hasConcept C177264268 @default.
- W2290933762 hasConcept C199360897 @default.
- W2290933762 hasConcept C2778514511 @default.
- W2290933762 hasConcept C2779960059 @default.
- W2290933762 hasConcept C31258907 @default.
- W2290933762 hasConcept C33923547 @default.
- W2290933762 hasConcept C41008148 @default.
- W2290933762 hasConcept C77088390 @default.
- W2290933762 hasConcept C77618280 @default.
- W2290933762 hasConcept C98045186 @default.
- W2290933762 hasConceptScore W2290933762C120314980 @default.
- W2290933762 hasConceptScore W2290933762C134306372 @default.
- W2290933762 hasConceptScore W2290933762C151319957 @default.
- W2290933762 hasConceptScore W2290933762C15845906 @default.
- W2290933762 hasConceptScore W2290933762C177264268 @default.
- W2290933762 hasConceptScore W2290933762C199360897 @default.
- W2290933762 hasConceptScore W2290933762C2778514511 @default.
- W2290933762 hasConceptScore W2290933762C2779960059 @default.
- W2290933762 hasConceptScore W2290933762C31258907 @default.
- W2290933762 hasConceptScore W2290933762C33923547 @default.
- W2290933762 hasConceptScore W2290933762C41008148 @default.
- W2290933762 hasConceptScore W2290933762C77088390 @default.
- W2290933762 hasConceptScore W2290933762C77618280 @default.
- W2290933762 hasConceptScore W2290933762C98045186 @default.
- W2290933762 hasLocation W22909337621 @default.
- W2290933762 hasOpenAccess W2290933762 @default.
- W2290933762 hasPrimaryLocation W22909337621 @default.
- W2290933762 hasRelatedWork W128859279 @default.
- W2290933762 hasRelatedWork W1485093219 @default.
- W2290933762 hasRelatedWork W1489852798 @default.
- W2290933762 hasRelatedWork W1753416134 @default.
- W2290933762 hasRelatedWork W2012991100 @default.
- W2290933762 hasRelatedWork W2126680000 @default.
- W2290933762 hasRelatedWork W2148731275 @default.
- W2290933762 hasRelatedWork W2159992688 @default.
- W2290933762 hasRelatedWork W2168988222 @default.
- W2290933762 hasRelatedWork W2176641602 @default.
- W2290933762 hasRelatedWork W2186526396 @default.
- W2290933762 hasRelatedWork W2189600031 @default.
- W2290933762 hasRelatedWork W2302670718 @default.
- W2290933762 hasRelatedWork W2565373051 @default.
- W2290933762 hasRelatedWork W2611676871 @default.
- W2290933762 hasRelatedWork W2616891781 @default.
- W2290933762 hasRelatedWork W2742330048 @default.
- W2290933762 hasRelatedWork W313314931 @default.
- W2290933762 hasRelatedWork W573417444 @default.
- W2290933762 hasRelatedWork W2799873329 @default.
- W2290933762 isParatext "false" @default.
- W2290933762 isRetracted "false" @default.
- W2290933762 magId "2290933762" @default.
- W2290933762 workType "article" @default.