bbqueue

DMA friendly lock-free BipBuffer

Website
Author: Fabien Chouteau
Maintainer: Fabien Chouteau <chouteau@adacore.com>
License: MIT
Version: 0.3.0
Dependencies:

atomic ~0.4
gnat >=10

Tags: spark nostd embedded lockfree dma bipbuffer
Badge: Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/bbqueue.json

Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/bbqueue.json

Alire CI:

An Ada/SPARK proved implementation of James Munns’ BBQueue (https://github.com/jamesmunns/bbqueue)