Page MenuHomeFreeBSD
Differential D58059

runtime: add the ability to set exterrors in userspace
ClosedPublic
Actions

Authored by brooks on Jul 6 2026, 4:06 PM.
Tags
None
Referenced Files
F167659484: D58059.id182026.diff
Sun, Aug 23, 2:52 PM
Unknown Object (File)
Fri, Aug 21, 5:03 AM
Unknown Object (File)
Thu, Aug 20, 3:41 AM
Unknown Object (File)
Wed, Aug 19, 4:24 PM
Unknown Object (File)
Wed, Aug 19, 9:56 AM
Unknown Object (File)
Wed, Aug 19, 6:05 AM
Unknown Object (File)
Tue, Aug 18, 5:43 PM
Unknown Object (File)
Mon, Aug 17, 2:34 AM
View All 85 Files
Subscribers
emaste
imp
ziaee

Details

Reviewers
kib
mckusick
Group Reviewers
cheri
Commits
rG95e33099c74d: runtime: add the ability to set exterrors in userspace
Summary

The UEXTERROR(3) macro is a partial analog to EXTERROR(9) that sets
the current user exterror state and errno. The main difference is
that it returns no value and sets errno directly since that's the
typical pattern in libraries.

Effort: CHERI upstreaming
Sponsored by: Innovate UK

Diff Detail

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

Event Timeline

brooks created this revision.Jul 6 2026, 4:06 PM
Herald added a subscriber: imp. · View Herald TranscriptJul 6 2026, 4:06 PM
brooks requested review of this revision.Jul 6 2026, 4:06 PM
Herald added a reviewer: cheri. · View Herald TranscriptJul 6 2026, 4:06 PM
Harbormaster completed remote builds in B74552: Diff 181372.Jul 6 2026, 4:06 PM
brooks added a parent revision: D58058: exterr: relax format restrictions.Jul 6 2026, 4:06 PM
brooks added a child revision: D58060: exterr(9): add a few tests of new message formats.
brooks added a comment.Jul 6 2026, 4:11 PM

The big thing that needs to be dealt with for this to make sense is to have a way to specify the filename that isn't a table embedded in libc. A first cut could be a special index that means no-file and perhaps using -1 as the line, but without that, we can't scale beyond files in the base system. (This also poses a problem for out of tree kernel modules.) We might also want macros like the kernel, but I'm less sure of that.

kib added inline comments.Jul 7 2026, 2:50 AM
lib/libthr/thread/thr_syscalls.c
664

Create a libc helper in the private version namespace that takes uexterrp, and call it there and in the libc' uexterr_set().

kib mentioned this in D58058: exterr: relax format restrictions.Jul 7 2026, 2:52 AM
brooks added a parent revision: D58238: uexterr_gettext(3): support dynamic kernel categories.Jul 14 2026, 8:10 PM
brooks updated this revision to Diff 182026.Jul 15 2026, 8:31 AM

Add helper in libc. Tag categories as user space.

Harbormaster completed remote builds in B74824: Diff 182026.Jul 15 2026, 8:31 AM
brooks marked an inline comment as done.Jul 15 2026, 8:31 AM
kib accepted this revision.Jul 18 2026, 1:45 PM
This revision is now accepted and ready to land.Jul 18 2026, 1:45 PM
kib added inline comments.Jul 18 2026, 1:45 PM
lib/libc/gen/uexterr_gettext.c
58

Stylistically, I do not see a need in this blank line, and in the blank line at 60.

brooks retitled this revision from runtime: add uexterr_set(3) to set errors in userspace to runtime: add the ability to set exterrors in userspace.Jul 22 2026, 1:53 PM
brooks updated this revision to Diff 182455.Jul 22 2026, 1:58 PM

Add UEXTERROR() analog to EXTERROR(). It differs in that it just wraps uexterr_set and thus it gets a different name.

This revision now requires review to proceed.Jul 22 2026, 1:58 PM
Harbormaster completed remote builds in B75007: Diff 182455.Jul 22 2026, 1:58 PM
brooks updated this revision to Diff 182464.Jul 22 2026, 3:25 PM

Add docs. Make uexterr_set return void.

Herald added a subscriber: ziaee. · View Herald TranscriptJul 22 2026, 3:25 PM
Harbormaster completed remote builds in B75013: Diff 182464.Jul 22 2026, 3:25 PM
kib added inline comments.Jul 22 2026, 9:53 PM
include/uexterror.h
8 ↗(On Diff #182464)

I believe you need to add your copyright there and in other sources.

lib/libc/gen/uexterr_gettext.c
47

I think these functions should go into separate source file in libc. There is no reason to bring uexterror_set() into the static binary if only gettext() is used.

brooks updated this revision to Diff 182528.Jul 23 2026, 3:00 PM
brooks marked 3 inline comments as done.

Move to its own file, document, update copyrights

Harbormaster completed remote builds in B75042: Diff 182528.Jul 23 2026, 3:00 PM
brooks added inline comments.Jul 23 2026, 3:00 PM
include/uexterror.h
8 ↗(On Diff #182464)

Indeed, can we drop the All rights reserved.? The project doesn't want that in new copyrights.

brooks edited the summary of this revision. (Show Details)Jul 23 2026, 3:01 PM
brooks added a child revision: D58413: uexterror_gettext: add tests for invalid formats.Jul 23 2026, 3:04 PM
kib accepted this revision.Jul 23 2026, 11:10 PM
kib added inline comments.
include/uexterror.h
8 ↗(On Diff #182464)

Perhaps. Ask Ed, I used the header mandated by my contract.

lib/libc/gen/uexterr_gettext.c
19

To be perfect, this structure should go into a dedicated .c/.o as well.

This revision is now accepted and ready to land.Jul 23 2026, 11:10 PM
brooks updated this revision to Diff 182596.Jul 24 2026, 10:36 AM

Move global struct uexterror and constructor to its own file

This revision now requires review to proceed.Jul 24 2026, 10:36 AM
Harbormaster completed remote builds in B75081: Diff 182596.Jul 24 2026, 10:36 AM
brooks marked an inline comment as done.Jul 24 2026, 10:53 AM
brooks added a subscriber: emaste.
brooks added inline comments.
include/uexterror.h
8 ↗(On Diff #182464)

Tagging @emaste

kib added inline comments.Fri, Jul 24, 7:53 PM
lib/libc/gen/uexterror.3
129 ↗(On Diff #182596)

Definitely not 15.0

brooks updated this revision to Diff 182764.Mon, Jul 27, 9:49 AM

Correct feature introduction to 16.0. Bump doc date.

Harbormaster completed remote builds in B75161: Diff 182764.Mon, Jul 27, 9:49 AM
This revision was not accepted when it landed; it landed in state Needs Review.Thu, Aug 20, 10:42 AM
Closed by commit rG95e33099c74d: runtime: add the ability to set exterrors in userspace (authored by brooks). · Explain Why
This revision was automatically updated to reflect the committed changes.
brooks added a commit: rG95e33099c74d: runtime: add the ability to set exterrors in userspace.

Revision Contents
Changeset List

PathSize
include/
2 lines
lib/
libc/
gen/
2 lines
1 line
36 lines
include/
5 lines
libthr/
thread/
13 lines

Diff 182026

View Options

include/exterr.h

Loading...
View Options

lib/libc/gen/Symbol.map

Loading...
View Options

lib/libc/gen/libc_interposing_table.c

Loading...
View Options

lib/libc/gen/uexterr_gettext.c

Loading...
View Options

lib/libc/include/libc_private.h

Loading...
View Options

lib/libthr/thread/thr_syscalls.c

Loading...