Page MenuHomeFreeBSD

memory_model(7): create and document pointer provenance
AbandonedPublic

Authored by brooks on Thu, Jun 25, 4:42 PM.
Tags
None
Referenced Files
Unknown Object (File)
Thu, Jul 2, 2:52 PM
Unknown Object (File)
Thu, Jul 2, 4:42 AM
Unknown Object (File)
Tue, Jun 30, 12:01 PM
Unknown Object (File)
Mon, Jun 29, 10:09 PM
Unknown Object (File)
Mon, Jun 29, 6:17 AM
Unknown Object (File)
Sun, Jun 28, 10:58 PM
Unknown Object (File)
Sat, Jun 27, 8:04 PM
Unknown Object (File)
Sat, Jun 27, 7:28 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