6 results found Sort:

lemmy
BlockingQueue lemmy
21
487
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 24 days ago
enriquebris
goconcurrentqueue enriquebris
32
396
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 2 years ago
dpretet
async_fifo dpretet
76
264
other
11
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 7 months ago
gruelbox
transaction-outbox gruelbox
40
224
apache-2.0
4
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
763 commits to master branch, last one 2 months 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
11
82
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 10 months ago