Queues are a significant algorithmic component to many systems and applications that enable decoupling of producers and consumers. Some of its real-life applications are ticket-ing (as a waiting list), a queue of packets in data communication or a queue of operating system processes. With the rapid growth of parallel processing and event-driven applica-tions, concurrent implementations of this data structure have gained significant importance. Despite the relevance, many available implementations in JVM ecosystem employ expen-sive operations such as thread blocking (BlockingQueue) or true unboundedness (Concur-rentLinkedQueue), a characteristic which discards the usage of the data structure where consumer backpressure is needed. This thesis...
This paper describes a way to formally specify the behaviour of concurrent data structures. When spe...
With the growing use of multiprocessors, data structures that support concurrent operations have be...
We describe an array-based nonblocking implementation of a concurrent bounded queue, due to Shann, H...
A ring buffer or cyclical queue is a First In, First Out (FIFO) queue that stores elements on a fixe...
In this paper, we present two new FIFO dual queues. Like all dual queues, they arrange for dequeue o...
In this paper, we present two new FIFO dual queues. Like all dual queues, they arrange for dequeue o...
As core counts increase and as heterogeneity becomes more common in parallel computing, we face the ...
Abstract. In this work, we study the scalability, performance, design and implementation of basic da...
Core-to-core communication is critical to the effective use of multi-core processors. A number of so...
In this paper, we introduce two new FIFO dual queues. Like all dual queues, they arrange for dequeue...
Link to published version: http://portal.acm.org/ft_gateway.cfm?id=248106&type=pdf&coll=portal&dl=AC...
We proposeMCRingBuffer, a lock-free, cache-efficient shared ring buffer that provides fast data acce...
Synchronization of concurrent threads is the central problem in order to design efficient concurrent...
This paper describes a way to formally specify the behaviour of concurrent data structures. When spe...
grantor: University of TorontoWe study non-blocking linearizable implementations of objec...
This paper describes a way to formally specify the behaviour of concurrent data structures. When spe...
With the growing use of multiprocessors, data structures that support concurrent operations have be...
We describe an array-based nonblocking implementation of a concurrent bounded queue, due to Shann, H...
A ring buffer or cyclical queue is a First In, First Out (FIFO) queue that stores elements on a fixe...
In this paper, we present two new FIFO dual queues. Like all dual queues, they arrange for dequeue o...
In this paper, we present two new FIFO dual queues. Like all dual queues, they arrange for dequeue o...
As core counts increase and as heterogeneity becomes more common in parallel computing, we face the ...
Abstract. In this work, we study the scalability, performance, design and implementation of basic da...
Core-to-core communication is critical to the effective use of multi-core processors. A number of so...
In this paper, we introduce two new FIFO dual queues. Like all dual queues, they arrange for dequeue...
Link to published version: http://portal.acm.org/ft_gateway.cfm?id=248106&type=pdf&coll=portal&dl=AC...
We proposeMCRingBuffer, a lock-free, cache-efficient shared ring buffer that provides fast data acce...
Synchronization of concurrent threads is the central problem in order to design efficient concurrent...
This paper describes a way to formally specify the behaviour of concurrent data structures. When spe...
grantor: University of TorontoWe study non-blocking linearizable implementations of objec...
This paper describes a way to formally specify the behaviour of concurrent data structures. When spe...
With the growing use of multiprocessors, data structures that support concurrent operations have be...
We describe an array-based nonblocking implementation of a concurrent bounded queue, due to Shann, H...