ACM Transactions on Programming Languages and Systems (TOPLAS)
Stack-based scheduling for realtime processes
Real-Time Systems
Performance issues in non-blocking synchronization on shared-memory multiprocessors
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Kernel support for live digital audio and video
Computer Communications - Special issue on multimedia communications
Synthesis: an efficient implementation of fundamental operating system services
Synthesis: an efficient implementation of fundamental operating system services
A methodology for implementing highly concurrent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Feasibility problems for recurring tasks on one processor
MFCS '90 Selected papers of the 15th international symposium on Mathematical foundations of computer science
Real-time object sharing with minimal system support
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Implementing wait-free objects on priority-based systems
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Managing the effect of delay jitter on the display of live continuous media
Managing the effect of delay jitter on the display of live continuous media
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Concurrent Reading While Writing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent reading and writing
Communications of the ACM
Synchronization in Real-Time Systems: A Priority Inheritance Approach
Synchronization in Real-Time Systems: A Priority Inheritance Approach
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Engineering and Analysis of Fixed Priority Schedulers
IEEE Transactions on Software Engineering
Universal Constructions for Large Objects
WDAG '95 Proceedings of the 9th International Workshop on Distributed Algorithms
A framework for implementing objects and scheduling tasks in lock-free real-time systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
A methodology for real-time system development.
A methodology for real-time system development.
Pragmatic Nonblocking Synchronization for Real-Time Systems
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Software environment for integrating critical real-time control systems
Journal of Systems Architecture: the EUROMICRO Journal
Lock-free synchronization for dynamic embedded real-time systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Locking under Pfair scheduling
ACM Transactions on Computer Systems (TOCS)
Supporting lock-free synchronization in Pfair-scheduled real-time systems
Journal of Parallel and Distributed Computing
Proceedings of the 2006 ACM symposium on Applied computing
Lock-free dynamic hash tables with open addressing
Distributed Computing - Special issue: PODC 02
Space-Optimal, Wait-Free Real-Time Synchronization
IEEE Transactions on Computers
Real-time synchronization on distributed architecture with Ada-2005
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Implementing AUTOSAR scheduling and resource management on an embedded SMT processor
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
Lock-free synchronization for dynamic embedded real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Parallel image thinning through topological operators on shared memory parallel machines
Asilomar'09 Proceedings of the 43rd Asilomar conference on Signals, systems and computers
Determining actual response time in P-FRP
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
A survey of hard real-time scheduling for multiprocessor systems
ACM Computing Surveys (CSUR)
Time petri nets for schedulability analysis of the transactional event handlers of P-FRP
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Feasibility interval for the transactional event handlers of P-FRP
Journal of Computer and System Sciences
Nonblocking algorithms and scalable multicore programming
Communications of the ACM
Nonblocking Algorithms and Scalable Multicore Programming
Queue - Concurrency
Predictable and configurable component-based scheduling in the Composite OS
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on ESTIMedia'10
Hi-index | 0.02 |
This article considers the use of lock-free shared objects within hard real-time systems. As the name suggests, lock-free shared objects are distinguished by the fact that they are accessed without locking. As such, they do not give rise to priority inversions, a key advantage over conventional, lock-based object-sharing approaches. Despite this advantage, it is not immediately apparent that lock-free shared objects can be employed if tasks must adhere to strict timing constraints. In particular, lock-free object implementations permit concurrent operations to interfere with each other, and repeated interferences can cause a given operation to take an arbitrarily long time to complete. The main contribution of this article is to show that such interferences can be bounded by judicious scheduling. This work pertains to periodic, hard real-time tasks that share lock-free objects on a uniprocessor. In the first part of the article, scheduling conditions are derived for such tasks, for both static and dynamic priority schemes. Based on these conditions, it is formally shown that lock-free shared objects often incur less overhead than object implementations based on wait-free algorithms or lock-based schemes. In the last part of the article, this conclusion is validated experimentally through work involving a real-time desktop videoconferencing system.