Page MenuHomeFreeBSD

memory_model(7): create and document pointer provenance
AbandonedPublic

Authored by brooks on Jun 25 2026, 4:42 PM.
Tags
None
Referenced Files
Unknown Object (File)
Mon, Sep 14, 5:02 PM
Unknown Object (File)
Mon, Sep 14, 4:56 PM
Unknown Object (File)
Sat, Sep 12, 4:13 AM
Unknown Object (File)
Fri, Sep 11, 5:01 PM
Unknown Object (File)
Wed, Sep 9, 1:33 AM
Unknown Object (File)
Tue, Sep 8, 5:47 AM
Unknown Object (File)
Sun, Sep 6, 2:26 AM
Unknown Object (File)
Sat, Sep 5, 11:26 PM
Subscribers

Details

Reviewers
None
Group Reviewers
cheri
Summary

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

To start with, 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.

Effort: CHERI upstreaming
Sponsored by: Innovate UK

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 74258
Build 71141: arc lint + arc unit