paulmckrcu/litmus paulmckrcu/litmus

  • Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
    Shell
  • License
    GNU General Publi...
  • Created over 8 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
paulmckrcu/litmus
github

paulmckrcu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Automatically generated litmus tests for validation LISA-language Linux-kernel memory models

More Repositories

1

perfbook

Is Parallel Programming Hard, And If So, What Can You Do About It?
TeX
363
star
2

RCUCPPbindings

Paper and test code for C++ bindings/API for userspace RCU
HTML
9
star
3

2016markconsume

C++ standards committee paper on marking schemes for dependency chains (e.g., for RCU)
TeX
6
star
4

WG21-relaxedguide

Guide to the design patterns that may be used with memory_order_relaxed atomics
TeX
4
star
5

wg21-rcu-C-26

Proposal for adding RCU to C++26
TeX
4
star
6

TLSproposal-P0108

Proposal for removing the TLS errno variable from C++ for the standard math library
HTML
2
star
7

CppCoreGuidelines

working repository of CppCoreGuidelines
2
star
8

proc-mmap_sem-test

Crude test for whether /proc/PID/maps scans can block mmap() and munmap() in process PID.
Shell
1
star
9

SFQ2012

Documentation of old SFQ work
Shell
1
star
10

wg14-n2369-examples

Example code from N2369 "Pointer lifetime-end zap"
C
1
star
11

ISO-litmus

Litmus tests for ISO SC22 WG21 (C++) D3181r0 ("Atomic stores and object lifetimes")
1
star