Beast code in Giters

Paul E. McKenney's repositories

perfbook

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

Language:TeXNOASSERTION393 30 3

litmus

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

Language:ShellGPL-2.019 8 2

RCUCPPbindings

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

Language:HTML9 7 1

2016markconsume

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

Language:TeX600

linux

Linux kernel source tree

Language:CNOASSERTION4 50

wg21-rcu-C-26

Proposal for adding RCU to C++26

Language:TeX400

WG21-relaxedguide

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

Language:TeX400

CppCoreGuidelines

working repository of CppCoreGuidelines

NOASSERTION200

TLSproposal-P0108

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

Language:HTML2 50

ISO-litmus

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

100

proc-mmap_sem-test

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

Language:Shell100

SFQ2012

Documentation of old SFQ work

Language:Shell1 50

wg14-n2369-examples

Example code from N2369 "Pointer lifetime-end zap"

Language:C100

concurrency-ts2

Language:TeX000

folly

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

Apache-2.0000

jf-papers

Papers for the C++ Standards Committee, WG21

Language:C++000

oota

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

Language:TeXNOASSERTION000

stdconsume

Language:C++000

wg21-p1726-examples

Example code from P1726 "Pointer lifetime-end zap"

Language:C++000