paulmckrcu Goto Github PK

2016markconsume

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

concurrency-ts2

cppcoreguidelines

working repository of CppCoreGuidelines

d3131r0-litmus

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

folly

An open-source C++ library developed and used at Facebook.

jf-papers

Papers for the C++ Standards Committee, WG21

linux

Linux kernel source tree

litmus

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

oota

Investigation into out-of-thin-air (OOTA) cycles and semantic dependencies

perfbook

Is Parallel Programming Hard, And If So, What Can You Do About It?

proc-mmap_sem-test

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

rcucppbindings

Paper and test code for C++ bindings/API for userspace RCU

sfq2012

Documentation of old SFQ work

stdconsume

tlsproposal-p0108

Proposal for removing the TLS errno variable from C++ for the standard math library

wg14-n2369-examples

Example code from N2369 "Pointer lifetime-end zap"

wg21-p1726-examples

Example code from P1726 "Pointer lifetime-end zap"

wg21-rcu-c-26

Proposal for adding RCU to C++26

wg21-relaxedguide

Guide to the design patterns that may be used with memory_order_relaxed atomics