We show that, for a large class of hard real-time systems, any object with consensus number P in Herlihy's wait-free hierarchy is universal for any number of tasks executing on P processors. These results exploit characteristics of priority-based schedulers common to most hard real-time systems. An important special case of this result is that, for hard real-time applications on uniprocessors, reads and writes are universal. Thus, Herlihy's hierarchy collapses for such applications
A fundamental research theme in distributed computing is the comparison of systems in terms of their...
Lock-based approaches to object sharing are the accepted means of interprocess communication in real...
International audienceA notion of a universal construction suited to distributed computing has been ...
Abstract: A notion of a universal construction suited to distributed computing has been introduced b...
International audienceIn modern operating systems and programming languages adapted to multicore com...
This paper considers the use of lock-free shared objects within hard real-time systems. As the name ...
Abstract. We propose a new classification for evaluating the strength of shared objects. The classif...
An assignment of wait-free consensus numbers to object types results in a wait-free hierarchy. Her...
A simple proof method is presented for proving invariance properties of concurrent programs in prior...
Two types of applications are considered: hard real-time (HRT) and soft real-time (SRT). HRT applica...
The “wait-free hierarchy ” classifies multiprocessor synchronization primitives according to their p...
International audienceA notion of a universal construction suited to distributed computing has been ...
International audienceA fundamental research theme in distributed computing is the comparison of sys...
grantor: University of TorontoA fundamental question in distributed computing is to determ...
A fundamental research theme in distributed computing is the comparison of systems in terms of their...
Lock-based approaches to object sharing are the accepted means of interprocess communication in real...
International audienceA notion of a universal construction suited to distributed computing has been ...
Abstract: A notion of a universal construction suited to distributed computing has been introduced b...
International audienceIn modern operating systems and programming languages adapted to multicore com...
This paper considers the use of lock-free shared objects within hard real-time systems. As the name ...
Abstract. We propose a new classification for evaluating the strength of shared objects. The classif...
An assignment of wait-free consensus numbers to object types results in a wait-free hierarchy. Her...
A simple proof method is presented for proving invariance properties of concurrent programs in prior...
Two types of applications are considered: hard real-time (HRT) and soft real-time (SRT). HRT applica...
The “wait-free hierarchy ” classifies multiprocessor synchronization primitives according to their p...
International audienceA notion of a universal construction suited to distributed computing has been ...
International audienceA fundamental research theme in distributed computing is the comparison of sys...
grantor: University of TorontoA fundamental question in distributed computing is to determ...
A fundamental research theme in distributed computing is the comparison of systems in terms of their...
Lock-based approaches to object sharing are the accepted means of interprocess communication in real...
International audienceA notion of a universal construction suited to distributed computing has been ...