ALR logo

Alire

Bbqueue

Website:

https://github.com/Fabien-Chouteau/bbqueue-spark

Author:
  • Fabien Chouteau
Maintainer:
  • Fabien Chouteau <chouteau@adacore.com>
License:

MIT

Version:

1.0.0

Alire CI:

Dependencies:
  • image/svg+xml atomic ^1.0.0
  • image/svg+xml gnat >=10
Dependents: Badge:

DMA friendly lock-free BipBuffer

#spark #nostd #embedded #lockfree #dma #bipbuffer

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