Skip to content
@open-s4c

Open, Safe and Scalable System Software Concurrency

README.md

Open S4C -- Safe and Scalable System Software Concurrency

Open S4C is an open collaboration dedicated to advancing safe and scalable concurrency in system software. Originally started as a research group, it has evolved into a community of researchers and engineers from various universities and industries.

For the most up-to-date documentation, project overviews, and resources, please visit: open-s4c.github.io

Pinned Loading

  1. libvsync libvsync Public

    A verified library of synchronization primitives and concurrent data structures

    C 42 15

  2. vatomic vatomic Public

    VSync atomics

    C 6 2

  3. benchkit benchkit Public

    A push-button end-to-end performance evaluation pipeline for automatically exploring the parameter space

    Python 20 32

  4. vsyncer vsyncer Public

    Verification and optimization tool for concurrent code

    Go 27 8

  5. dice dice Public

    A lightweight, extensible framework for capturing execution events of multithreaded programs

    C 4 7

Repositories

Showing 10 of 26 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…