6 results found Sort:

lemmy
BlockingQueue lemmy
20
482
mit
12
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
tla fifo java tlaps tlaplus fifo-queue specification model-checking
Created 2019-11-06
41 commits to main branch, last one about a year ago
enriquebris
goconcurrentqueue enriquebris
33
366
mit
8
Go concurrent-safe, goroutine-safe, thread-safe queue
go fifo queue slice golang concurrent fifo-queue concurrency goroutine-safe concurrent-queue
Created 2019-01-10
81 commits to master branch, last one about a year ago
dpretet
async_fifo dpretet
70
219
other
10
A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog
cdc hdl asic fifo fpga async verilog synthesis verilator fifo-cache fifo-queue asic-design verilog-hdl verification icarus-verilog cross-clock-domain
Created 2017-03-28
49 commits to master branch, last one about a month ago
gruelbox
transaction-outbox gruelbox
35
177
apache-2.0
6
Reliable eventual consistency for Microservices
kafka kinesis fifo-queue microservices transaction-manager eventual-consistency eventually-consistent self-contained-system microservices-architecture
Created 2020-03-15
699 commits to master branch, last one 9 days ago
donutloop
toolkit donutloop
9
159
mit
6
Collection of useful patterns
api lease retry worker promise singleton concurrent fifo-queue message-bus code-generator event-sourcing code-generation
Created 2017-09-19
103 commits to master branch, last one 3 years ago
viega
hatrack viega
8
78
other
5
Fast, multi-reader, multi-writer, lockless data structures for parallel programming
fifo queue stack hashmap vectors parallel hashtable lock-free wait-free fifo-queue ring-buffer data-structures high-performance concurrent-programming concurrent-data-structure
Created 2022-01-13
268 commits to main branch, last one 4 months ago