Sökning: onr:"swepub:oai:DiVA.org:liu-22247" >
Pessimistic Concurr...
-
Nyström, DagMälardalen University
(författare)
Pessimistic Concurrency-Control and Versioning to Support Database Pointers in Real-Time Databases
- Artikel/kapitelEngelska2004
Förlag, utgivningsår, omfång ...
-
Los Alamitos, California :IEEE Computer Society Press,2004
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:liu-22247
-
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-22247URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transactions in real-time database management systems. The algorithm uses traditional pessimistic concurrency control i.e. locking for soft transactions and versioning for hard transactions to allow them to execute regardless of any database lock. We provide formal proof that the algorithm is deadlock free and formally verify that transactions have atomic semantics. We also present an evaluation that demonstrates significant benefits for both soft and hard transactions when our algorithm is used. The proposed algorithm is suited for resource-constrained safety critical, real-time systems that have a mix of hard real-time control applications and soft real-time management, maintenance, or user-interface applications.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Nolin, MikaelMälardalen University
(författare)
-
Tesanovic, Aleksandra,1976-Linköpings universitet,Tekniska högskolan,RTSLAB - Laboratoriet för realtidssystem(Swepub:liu)alete85
(författare)
-
Norström, ChristerMälardalen University
(författare)
-
Hansson, Jörgen,1970-Linköpings universitet,Tekniska högskolan,RTSLAB - Laboratoriet för realtidssystem(Swepub:liu)jorha94
(författare)
-
Mälardalen UniversityTekniska högskolan
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:16th Euromicro Conference on Real-Time Systems ECRTS04,2004Los Alamitos, California : IEEE Computer Society Press
Internetlänk