bbqueue

v1.0.0

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

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)

Install

Globally install this crate:

alr install bbqueue

Add to your project:

alr with bbqueue

Crate Information

Versions

Authors

Fabien Chouteau

Maintainers

Maintainers (GitHub pseudo)

Fabien-Chouteau

Release Date

last year

First Release

1/14/2021

License

Links

Website Repository

Statistics

Dependencies: 2

Dependents: 2

Versions: 6

Dependencies

atomic^1.0.0

gnat>=10

Dependents