ended2월 22일· 1 sources

Kovan: wait-free memory reclamation for Rust, TLA+ verified, no_std, with wait-free concurrent data structures built on top

Kovan: Rust용 wait-free 메모리 회수, TLA+ 검증, no_std 지원, wait-free 동시 데이터 구조 구현

Why it matters

Kovan은 Rust용 wait-free 메모리 회수 라이브러리로, epoch 기반 방식의 한계(단일 스레드 정체로 인한 메모리 증가)를 해결합니다. 모든 스레드가 정해진 단계 수 내에 진행되어 기아 상태나 메모리 누적이 없으며, crossbeam-epoch 대비 1.3~1.4배 빠른 성능을 제공합니다. 현재 SpireDB에서 프로덕션으로 운영 중입니다.

1
Sources
+0
24h
—
Growth
200d
Active
Kovanwait-freememory reclamationRustconcurrent structuresTLA+

Sources

reddit_prog
Kovan: wait-free memory reclamation for Rust, TLA+ verified, no_std, with wait-free concurrent data structures built on top2월 22일

Activity

타임라인 →

Related Issues