nyu-acsys/raven

An automated deductive program verifier based on concurrent separation logic

Language: OCaml - Size: 8.12 MB - Last synced at: about 6 hours ago - Pushed at: about 7 hours ago - Stars: 18 - Forks: 1

zio/zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Language: Scala - Size: 2.61 GB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 4,219 - Forks: 1,352

ebonnal/streamable

concurrent & fluent interface for (async) iterables

Language: Python - Size: 4.08 MB - Last synced at: 2 days ago - Pushed at: 10 days ago - Stars: 271 - Forks: 4

xacrimon/dashmap

Blazing fast concurrent HashMap for Rust.

Language: Rust - Size: 644 KB - Last synced at: 9 days ago - Pushed at: 4 months ago - Stars: 3,497 - Forks: 165

moka-rs/moka

A high performance concurrent caching library for Rust

Language: Rust - Size: 2.98 MB - Last synced at: 24 days ago - Pushed at: about 2 months ago - Stars: 1,965 - Forks: 86

tejzpr/ordered-concurrently

Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.

Language: Go - Size: 52.7 KB - Last synced at: 9 days ago - Pushed at: about 2 years ago - Stars: 41 - Forks: 8

wvwwvwwv/scalable-concurrent-containers

High-performance containers and utilities for concurrent and asynchronous programming

Language: Rust - Size: 2.2 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 413 - Forks: 24

project-tsurugi/yakushima

Concurrent tree structure for in-memory index

Language: C++ - Size: 1.31 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 8 - Forks: 2

ConorWilliams/ConcurrentDeque

Fast, generalized, implementation of the Chase-Lev lock-free work-stealing deque for C++17

Language: C++ - Size: 1.07 MB - Last synced at: 2 days ago - Pushed at: almost 4 years ago - Stars: 146 - Forks: 7

UncP/aili

the fastest in-memory index in the East 东半球最快并发索引

Language: C - Size: 491 KB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 474 - Forks: 69

zhangyunhao116/skipset

skipset is a high-performance, scalable concurrent sorted set based on skip-list. Up to 15x faster than sync.Map in the typical pattern.

Language: Go - Size: 195 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 257 - Forks: 19

C0W0/mpsc-channel

A C++ implementation of a thread-safe Multi-Producer Single-Consumer (MPSC) channel inspired by Rust's standard library.

Language: C++ - Size: 5.86 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

rigtorp/SPSCQueue

A bounded single-producer single-consumer wait-free and lock-free queue written in C++11

Language: C++ - Size: 165 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 993 - Forks: 135

agerasev/ringbuf

Lock-free SPSC FIFO ring buffer with direct access to inner data

Language: Rust - Size: 677 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 421 - Forks: 37

ssbl/concurrent-deque

Lock-free concurrent work stealing deque in C++

Language: C++ - Size: 84 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 40 - Forks: 3

Manish927/Concurrency

Threads, Semaphore, Mutex, Atomic, Condition Variable -- in Java & C++

Language: C++ - Size: 52.7 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

mulle-concurrent/mulle-concurrent

📶 A lock- and wait-free hashtable (and an array too)

Language: C - Size: 456 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 110 - Forks: 11

minhdang26403/lamp

A library of concurrent data structures and synchronization primitives

Language: C++ - Size: 1.05 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

Thermadiag/seq

The seq library is a collection of original C++14 STL-like containers and related tools

Language: C++ - Size: 25.2 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 88 - Forks: 2

i3arnon/ConcurrentHashSet

A ConcurrentHashSet implementation

Language: C# - Size: 34.2 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 131 - Forks: 11

TylerBloom/troupe

Library for modelling Rust applications with actors

Language: Rust - Size: 136 KB - Last synced at: about 24 hours ago - Pushed at: 3 months ago - Stars: 17 - Forks: 0

eun-ice/atomicring

AtomicRingBuffer is a constant-size almost lock-free ring buffer with low memory overhead in Rust

Language: Rust - Size: 104 KB - Last synced at: 25 days ago - Pushed at: about 1 year ago - Stars: 41 - Forks: 2

ycl2018/go-future

go-future provide function Go and return a result of an asynchronous computation. Methods Wait are provided to retrieve the result of the computation.

Language: Go - Size: 67.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4 - Forks: 0

ifsantana/kitchen-flow

Real-time system that emulates the fulfillment of delivery orders for a kitchen

Language: Java - Size: 176 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 3

telekons/42nd-at-threadmill

A SIMD-accelerated concurrent hash table.

Language: Common Lisp - Size: 464 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 63 - Forks: 6

theartful/broadcast_queue

A blazingly fast™ single producer multiple consumer broadcast queue

Language: C++ - Size: 111 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 13 - Forks: 2

ahmedrafat-SW/Java-Multithreading-Concurrency-Parallel-programming

Java Multi-threading, Concurrency & Parallel programming in Java, with strong emphasis on high performance

Language: Java - Size: 3.93 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

Icingworld/WW-LockFreeDS

A high-performance, thread-safe library of lock-free data structures for C++. 使用C++实现的高性能线程安全无锁数据结构

Language: CMake - Size: 1.95 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

zio/zio-cache

A ZIO native cache with a simple and compositional interface

Language: Scala - Size: 1.55 MB - Last synced at: 5 days ago - Pushed at: 4 months ago - Stars: 85 - Forks: 39

whitfin/sleeplocks

BEAM friendly spinlocks for Elixir/Erlang

Language: Erlang - Size: 21.5 KB - Last synced at: 11 days ago - Pushed at: about 1 year ago - Stars: 60 - Forks: 9

zvrba/Pfm

Performant, persistent and concurrent dictionary for C# / .NET

Language: C# - Size: 333 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 7 - Forks: 0

Snawoot/lfmap

Generic concurrent lock-free map for Golang

Language: Go - Size: 16.6 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 44 - Forks: 1

Kj0ric/multicore-task-scheduler

A multi-core scheduling simulator implementing dynamic load balancing and thread-safe task queue management using concurrent queue algorithms.

Language: C - Size: 195 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

mulle-concurrent/mulle-multififo

🐛 mulle-multififo multi-producer/multi-consumer FIFO holding `void *`

Language: C - Size: 158 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

mulle-concurrent/mulle-fifo

🔜 fixed sized producer/consumer FIFOs holding void *

Language: C - Size: 165 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

nicowilliams/ctp

C Thread Primitives

Language: C - Size: 209 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 1

kaist-cp/memento

Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)

Language: Rust - Size: 133 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 16 - Forks: 1

idle-PB/Squint3

Squint- Sparse Quad Union Indexed Nibble Trie

Language: PureBasic - Size: 98.6 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0

00xc/tlock-queue

Multi-producer, multi-consumer, concurrent queue using C11 mutexes.

Language: C - Size: 43 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

thibautmarcq/LU3IN001

Programmation Concurrente - Création/Lancement de Threads, utilisation de Runnable/Callable et de lambda, détection de deadlock et de famine, utilisation de la bibliothèque java.util.concurrent (ExexutorService, Latch, Promise/Future, Semaphore, CyclicBarrier, ForkJoin et autre).

Language: Java - Size: 14.1 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

wcygan/lib-wc

A simple rust library

Language: Rust - Size: 309 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

wcygan/java-practice

java-practice

Language: Java - Size: 188 KB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

kshru9/Web-Crawler

A multithreaded web crawler using two mechanism - single lock and thread safe data structures

Language: C++ - Size: 4.39 MB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 33 - Forks: 12

nholthaus/queue

C++17 Library of various queue containers

Language: C++ - Size: 2.57 MB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 3 - Forks: 1

kranthikumar786/Low-Level-Designs

Language: Java - Size: 38.1 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

andrewsonin/blazemap

Implements a vector-based slab-like map with an interface similar to that of HashMap, and also provides tools for generating lightweight identifiers that can be type-safely used as keys for this map.

Language: Rust - Size: 71.3 KB - Last synced at: 24 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

utsaslab/RECIPE

RECIPE : high-performance, concurrent indexes for persistent memory (SOSP 2019)

Language: C++ - Size: 6.79 MB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 197 - Forks: 47

prataprc/ppar

Persistent / Immutable array in Rust.

Language: Rust - Size: 147 KB - Last synced at: 10 days ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 3

ckatsak/lfchring-rs

A concurrent, lock-free consistent hashing ring implementation in Rust.

Language: Rust - Size: 142 KB - Last synced at: 24 days ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 1

Jamlie/set

Set Data Structure

Language: Go - Size: 37.1 KB - Last synced at: 8 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

alansastre/java-concurrency-collections

Colecciones concurrentes en Java. Estructuras de datos concurrentes.

Language: Java - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 3

sr-lab/iris-jellyfish

Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list

Language: Coq - Size: 695 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0

Snawoot/occ

Generic optimistic concurrent container for Go

Language: Go - Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

orca-zhang/lrucache 📦

🦄 LRU cache for Go @bilibili. (beats 100% submissions @ leetcode)

Language: Go - Size: 41 KB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 21 - Forks: 5

linovaldivia/crawldaddy

Yet another Java 8 web crawler (ForkJoinPool, RecursiveAction, ConcurrentHashMap, jsoup)

Language: Java - Size: 75.2 KB - Last synced at: 11 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

niravkapoor/multithreaded-call-center

Multi threaded call center

Language: C# - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

csimplestring/go-left-right

A faster RWLock primitive in Go, 2-3 times faster than RWMutex. A Go implementation of concurrency control algorithm in paper <Left-Right - A Concurrency Control Technique with Wait-Free Population Oblivious Reads>

Language: Go - Size: 33.2 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 46 - Forks: 5

mkrebser/ConcurrentSortedDictionary

ConcurrentSortedDictionary implementation in (c#, .NET 7) . It is implemented using a concurrent B+Tree

Language: C# - Size: 361 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

rolag/lockfreehashmap-rs 📦

A concurrent lock-free hash map for Rust.

Language: Rust - Size: 882 KB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 2

nybblr/LSEQTree Fork of Chat-Wane/LSEQTree

A data structure for distributed arrays using the LSEQ allocation strategy

Language: JavaScript - Size: 1.82 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

mthom/managed-ctrie

Garbage collected concurrent hash tries.

Language: C++ - Size: 215 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 18 - Forks: 0

franz1981/franz_flow

Single Consumer implementations of a fixed & variable sized FastFlow-Lamport-Thompson ring-buffers

Language: C - Size: 46.9 KB - Last synced at: about 2 months ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 1

viega/hatrack

Fast, multi-reader, multi-writer, lockless data structures for parallel programming

Language: C - Size: 1.32 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 76 - Forks: 6

franz1981/franz-flow-j

Single Consumer implementations of a fixed & variable sized FastFlow-Lamport-Thompson ring-buffers

Language: Java - Size: 55.7 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 1

rinaldodev/java-multithread

Códigos feitos para o curso de Multithreading com Java, no canal RinaldoDev do YouTube.

Language: Java - Size: 25.4 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 32 - Forks: 15

exbibyte/concurrent

concurrent and lockfree data structures in C++

Language: C++ - Size: 10.8 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

ckatsak/lfchring

In-memory immutable wait-free consistent hashing ring data structure, supporting virtual nodes & replication.

Language: Go - Size: 39.1 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1

OliverMadine/concurrent-social-network

A simulated social network with multiple concurrent users.

Language: Java - Size: 12.7 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

hirayaku/hthpool

hirayaku-threadpool (hthpool), a pure C thread pool implementation

Language: C - Size: 30.3 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

Happyxianyueveryday/vessel-concurrency

基于C++的线程安全容器。

Language: C++ - Size: 307 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 6

mehcode/atomic-array-rs

Defines several array types in which elements may be updated atomically. Intended to provide atomic array types similar to those found in java.util.concurrent.atomic in Java.

Language: Rust - Size: 19.5 KB - Last synced at: 6 days ago - Pushed at: about 7 years ago - Stars: 8 - Forks: 0

saifnoorprottoy/distributed-and-concurrent-algorithms-readings

reading list for distributed and conucurrent algorithms (theory and applications)

Size: 1.95 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

harikrishnan94/InMemIndexes

In-memory index implementation (btreemap, hashmap, ART-map)

Language: C++ - Size: 401 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0

AnuragAmbuj/locke-and-key

Implementing Concurrent and Parallel Collections in Java

Language: Java - Size: 44.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Strabox/Shard-Store

Project to 2013/2014 Operating Systems course of Bachelors Degree in Computer Science and Engineering 2nd Year @ Instituto Superior Técnico WITH @carboned4

Language: C - Size: 61.5 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

ppradillos/producers-consumers-cpp

Small implementation of a classic concurrent programming design pattern: producers/consumers. Coded in C/C++ programming.

Language: C++ - Size: 15.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

untaljohanperez/scala-playground

Scala learning exercises from zero to hero

Language: Scala - Size: 1.03 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lsmgeb89/concurrent_unbounded_queue

Comparing the performance of two different implementations of the concurrent unbounded queue

Language: C++ - Size: 29.3 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

lsmgeb89/concurrent_linked_list

Comparing the performance of three different implementations of the concurrent linked list

Language: C++ - Size: 36.1 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 1

mxinden/elimination-backoff-stack

Lock-free elimination back-off stack

Language: Rust - Size: 110 KB - Last synced at: 20 days ago - Pushed at: over 3 years ago - Stars: 12 - Forks: 2

PDCRL/ConcurrentGraphDS

This repository contains the source code of the Concurrent Graph Data Structure

Language: C++ - Size: 170 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 6

aajayssingh/STM-Linklist-synchrobench

the work uses IITH STM lib and imnplements a set application to test the performance of state of art concurrency protocols with the various concurrency mechanism in Synchrobench.

Language: C - Size: 2.85 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

aajayssingh/ostm

The rep contains object based STM implementation.

Language: C - Size: 13.8 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

aajayssingh/concurrent-persistent-datastructure

The rep contains my experiments with state of the art NVM programming abstractions during my internship at Regal Lab of Inria Paris under the supervision of Dr Marc Shapiro and Dr Gael Thomas.

Language: C++ - Size: 37.4 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 9 - Forks: 2

shanto462/ConcurrentDataStructures

Thread-Safe Data Structures in .NET

Language: C# - Size: 9.77 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

yaoguangluo/Deta_DataBase

Plsql Database数据库

Language: Java - Size: 7.61 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 313 - Forks: 71

kiranj26/Concurrent-Programming-Fall-2022

Repository containing my Assignments and Projects done for course ECEN-5273 Network System at CU Boulder

Language: C - Size: 8.46 MB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

jspark1105/hopscotch

hopscotch concurrent hashing

Language: C++ - Size: 1.16 MB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 6 - Forks: 2

alorthius/libmtds

Collection of the concurrent data structures

Language: CMake - Size: 3.7 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0

FernandaCastro/mini-game-scores

Http-based application, dealing with concurrent data. No framework used, only Java core.

Language: Java - Size: 283 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

niyazi-eren/concurrency-models

Toy examples of concurrency patterns designed using Java concurrency utilities

Language: Java - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

karrick/goswarm

Go Stale While Asynchronously Revalidate Memoization

Language: Go - Size: 64.5 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 1

cryptonector/ctp

C Thread Primitives

Language: C - Size: 115 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1

Cub0n/Concurrent-LRU-Cache 📦

Language: Java - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

duarten/cosmo

Rust concurrency utils

Language: Rust - Size: 545 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

gokulvasan/counting_semaphore

An approach to use atmost only 2 mutex for managing N homogeneous resources.

Language: C - Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

FelixMcFelix/streamcatcher

A Rust thread-safe, shared (asynchronous) stream buffer designed to lock only on accessing and storing new data.

Language: Rust - Size: 196 KB - Last synced at: 12 days ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 2

alidevhere/go-safe-counter

Go safe counter is a counter which can be used by multiple go routines at same time

Language: Go - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

rivit98/concurrency-theory 📦

Language: Java - Size: 6.31 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1

AceDarkknight/ConcurrentSkipList

A light, high-performance, concurrent, thread-safe skip list implementation written in Golang.

Language: Go - Size: 24.4 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 19 - Forks: 8