Page MenuHomeFreeBSD

queue(3): Debug macros: Finer control knobs, userland support
Needs ReviewPublic

Authored by olce on Wed, Apr 23, 10:04 AM.
Tags
None
Referenced Files
F115427030: D49973.id154151.diff
Wed, Apr 23, 5:13 PM
F115426924: D49973.id154160.diff
Wed, Apr 23, 5:12 PM
F115425380: D49973.id154160.diff
Wed, Apr 23, 4:43 PM
F115423418: D49973.diff
Wed, Apr 23, 4:08 PM
F115423139: D49973.diff
Wed, Apr 23, 4:06 PM
Subscribers

Details

Reviewers
emaste
markj
Summary

Support enabling debugging macros for userland and _STANDALONE builds,
in addition to the already existing kernel support. On runtime error,
panic() is used for kernel and _STANDALONE builds, and a simple
fprintf() + abort() combination for userland ones. These can be
overriden if needed by defining the new QMD_PANIC() macro.

The expansion of queue debug macros can now be controlled more finely
thanks to the QUEUE_MACRO_DEBUG_ASSERTIONS and
QUEUE_MACRO_NO_DEBUG_ASSERTIONS macros. The first one serves to
forcibly enable debug code and the second to forcibly disable it. These
are meant to be used as compile options only, and should normally not be
defined in a source file. It is an error to have both of them defined.

If none of the two above-mentioned macros are defined, an automatic
determination is performed. When compiling kernel code,
QUEUE_MACRO_DEBUG_ASSERTIONS is defined if INVARIANTS has been defined
(as before). For userland and _STANDALONE builds, no debug code is ever
automatically inserted even if NDEBUG is not defined, as doing so would
inflate code size and users may want to have working assert() calls
without this overhead by default.

queue.3: Document check debug code control under DIAGNOSTICS

While here, rework a bit the rest of the DIAGNOSTICS section.

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 63669
Build 60553: arc lint + arc unit

Event Timeline

olce requested review of this revision.Wed, Apr 23, 10:04 AM

Fix new documentation in queue.3 (was mentioning automatic insertion of check debug code on absence of NDEBUG in userland and _STANDALONE, which was removed from the initial patch).