HomeFreeBSD

memory_model(7): create and document pointer provenance

Description

memory_model(7): create and document pointer provenance

Add a skeleton manpage intended to describe the FreeBSD memory model.

To start out, add documentation of pointer provenance and a cross link
to atomic(9).

Provide some advice on preserving provenance in CHERI and reference
more detailed discussions elsewere.

Effort: CHERI upstreaming
Reviewed by: kib, adrian, markj, emaste
Sponsored by: Innovate UK
Differential Revision: https://reviews.freebsd.org/D57812

Details

Provenance
brooksAuthored on Jun 26 2026, 11:23 AM
Reviewer
kib
Differential Revision
D57812: memory_model(7): create and document pointer provenance
Parents
rG961f48142868: sched_ule: Fix off by one in preempt_thresh definition
Branches
Unknown
Tags
Unknown