Skip to content

open-s4c/open-s4c.github.io

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

S4C is home to a set of concurrency projects targeting system software.

Projects

Currently we host 3 projects:

  • libvsync: libvsync is a C header-only library that contains most essential building blocks for concurrent applications, including atomic operations, synchronization primitives and concurrent data structures. The library has been verified and optimized for Weak Memory Models (WMMs) such as in Arm CPUs.

  • vsyncer: is a toolkit to verify and optimize concurrent C/C++ programs on WMMs, which employs state-of-the-art model checkers Dartagnan and GenMC.

  • benchkit: A framework to support the development of reproducible benchmarks.

Publications

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published