source

bbqueue

0.3.2

DMA friendly lock-free BipBuffer

GitHub Community CIResults All crate versions Download JSON

0.3.2

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

Authors
Fabien Chouteau
Maintainers
Fabien Chouteau <chouteau@adacore.com>
Maintainer profiles
@Fabien-Chouteau
Licenses
MIT
Website
https://github.com/Fabien-Chouteau/bbqueue-spark
Repository
github.com/Fabien-Chouteau/bbqueue-spark
Source revision
5e5007cf9d76
Tags
spark, nostd, embedded, lockfree, dma, bipbuffer
Manifest
index/bb/bbqueue/bbqueue-0.3.2.toml
Build and platform metadata 1 field
Build switches
{
  "release": {
    "runtime_checks": "none"
  }
}