Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
LOCK-FREE TRANSACTIONS FOR REAL-TIME SYSTEMS
 

Summary: 1
LOCK-FREE TRANSACTIONS FOR
REAL-TIME SYSTEMS
James H. Anderson,
Srikanth Ramamurthy,
Mark Moir and Kevin Je ay
University of North Carolina,
Chapel Hill, North Carolina, USA
1 INTRODUCTION
Lock-free objects are an alternative to lock-based object sharing protocols such
as the priority ceiling protocol 17, 21] in preemptive real-timeuniprocessor sys-
tems. An object implementation is lock-free i it guarantees the following: if
several tasks concurrently perform operations on the object, and if some proper
subset of these tasks stop taking steps, then at least one of the remaining tasks
must complete its operation in a nite number of its own steps. This de ni-
tion precludes the use of critical sections, because if a task stops taking steps
while within a critical section, then other tasks are prevented from accessing
that critical section. In several related papers, we have presented general tech-
niques that can be used to implementlock-free objects in real-time uniprocessor
systems 3, 18] and to schedule tasks that share such objects 3, 4]. Related

  

Source: Anderson, James - Department of Computer Science, University of North Carolina at Chapel Hill

 

Collections: Computer Technologies and Information Sciences