Page MenuHomeFreeBSD
Differential D57664

CHERI: declare fueptr and suptr
Needs ReviewPublic
Actions

Authored by brooks on Fri, Jun 19, 2:12 PM.
Tags
None
Referenced Files
F160515381: D57664.diff
Thu, Jun 25, 6:55 AM
F160483380: D57664.diff
Wed, Jun 24, 11:51 PM
Unknown Object (File)
Wed, Jun 24, 2:34 PM
Unknown Object (File)
Wed, Jun 24, 10:19 AM
Unknown Object (File)
Tue, Jun 23, 8:43 PM
Unknown Object (File)
Tue, Jun 23, 12:12 AM
Unknown Object (File)
Tue, Jun 23, 12:12 AM
Unknown Object (File)
Sat, Jun 20, 6:37 PM
View All 10 Files
Subscribers
imp
ziaee

Details

Reviewers
kib
markj
jhb
jrtc27
Group Reviewers
cheri
Summary

These should replace fueword and suword when manipulating pointers in
memory. On CHERI systems they are implemented using capability aware
instructions and otherwise they are defined to fueword and suword.

Effort: CHERI upstreaming
Sponsored by: Innovate UK

Diff Detail

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

Event Timeline

brooks created this revision.Fri, Jun 19, 2:12 PM
Herald added a subscriber: imp. · View Herald TranscriptFri, Jun 19, 2:12 PM
brooks requested review of this revision.Fri, Jun 19, 2:12 PM
Harbormaster completed remote builds in B73999: Diff 180059.Fri, Jun 19, 2:12 PM
Herald added a reviewer: cheri. · View Herald TranscriptFri, Jun 19, 2:12 PM
Herald added a reviewer: cheri. · View Herald Transcript
brooks added a parent revision: D57663: CHERI: declare copy{in,out}ptr{,_nofault}.Fri, Jun 19, 2:13 PM
brooks added a child revision: D57665: CHERI: add sooptcopyinptr to preserve pointer provenance.
brooks updated this revision to Diff 180519.Wed, Jun 24, 10:08 AM

Document and link manpages to the description of pointer provenacne in arch(7)

Herald added a subscriber: ziaee. · View Herald TranscriptWed, Jun 24, 10:08 AM
Harbormaster completed remote builds in B74196: Diff 180519.Wed, Jun 24, 10:08 AM
markj accepted this revision as: markj.Wed, Jun 24, 2:38 PM
markj added inline comments.
share/man/man9/fetch.9
107
share/man/man9/store.9
41
sys/sys/systm.h
373

We should really settle on __nodiscard vs. __result_use_check.

This revision is now accepted and ready to land.Wed, Jun 24, 2:38 PM
brooks updated this revision to Diff 180611.Thu, Jun 25, 10:41 AM
brooks marked 2 inline comments as done.

Fix some manpage nits

This revision now requires review to proceed.Thu, Jun 25, 10:41 AM
Harbormaster completed remote builds in B74239: Diff 180611.Thu, Jun 25, 10:41 AM

Revision Contents
Changeset List

PathSize
share/
man/
man9/
2 lines
14 lines
10 lines
sys/
sys/
10 lines

Diff 180611

View Options

share/man/man9/Makefile

Loading...
View Options

share/man/man9/fetch.9

Loading...
View Options

share/man/man9/store.9

Loading...
View Options

sys/sys/systm.h

Loading...