Change Details

In systems programming, where a pointer came from is as if not more important than its current address. Compilers make use of this information for optimization and CHERI makes provenance concrete. Provide some advice on preserving provenance in CHERI and link to more detailed discussions. Effort: CHERI upstreaming Sponsored by: Innovate UK

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

In systems programmingAdd a skeleton manpage intended to describe the FreeBSD memory model. To start with, where aadd documentation of pointer came from is as if not moreprovenance and a cross link important than its current address. Compilers make use of this information for optimization and CHERI makes provenance concreteto atomic(9). Provide some advice on preserving provenance in CHERI and link toreference more detailed discussions. Effort: CHERI upstreaming Sponsored by: Innovate UK