Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 15 Apr 2020 09:50:33 -0700
From:      Conrad Meyer <cem@freebsd.org>
To:        Mark Millard <marklmi@yahoo.com>
Cc:        svn-src-head@freebsd.org
Subject:   Re: svn commit: r359829 - in head/sys: amd64/conf conf
Message-ID:  <CAG6CVpWXpS08PFcjV7iEAsMnxkzgYEDxCKD3utO6R_8wPs-ZNA@mail.gmail.com>
In-Reply-To: <A3E65DD3-5F41-4353-A6C9-8F9431CFB6AA@yahoo.com>
References:  <A3E65DD3-5F41-4353-A6C9-8F9431CFB6AA.ref@yahoo.com> <A3E65DD3-5F41-4353-A6C9-8F9431CFB6AA@yahoo.com>

next in thread | previous in thread | raw e-mail | index | archive | help
No. There is no dependency relationship between the two options.

On Sun, Apr 12, 2020 at 12:43 Mark Millard <marklmi@yahoo.com> wrote:

> > Author: cem
> > Date: Sun Apr 12 18:04:20 2020
> > New Revision: 359829
> > URL:
> > https://svnweb.freebsd.org/changeset/base/359829
> >
> >
> > Log:
> >   Add queue(2) debug macros as build options
> >
> >   Add QUEUE_MACRO_DEBUG_TRACE and QUEUE_MACRO_DEBUG_TRASH as proper
> kernel
> >   options.  While here, alpha-sort the debug section of sys/conf/options.
> >
> >   Enable QUEUE_MACRO_DEBUG_TRASH in amd64 GENERIC (but not
> GENERIC-NODEBUG)
> >   kernels.  It is similar in nature and cost to other use-after-free
> pointer
> >   trashing we do in GENERIC.  It is probably reasonable to enable in any
> arch
> >   GENERIC kernel that defines INVARIANTS.
>
> Going the other way: Is QUEUE_MACRO_DEBUG_TRASH unsafe when INVARIANTS
> has been disabled?
>
> I historically produce non-debug/less-debug kernels via including GENERIC
> and then disabling various debugging options, including frequently
> disabling INVARIANTS and INVARIANTS_SUPPORT.
>
> Would the following be appropriate for the comments, with its extra
> "required by" on the first line shown:
>
>  options        INVARIANTS              # Enable calls of extra sanity
> checking, required by QUEUE_MACRO_DEBUG_TRASH
>  options        INVARIANT_SUPPORT       # Extra sanity checks of internal
> structures, required by INVARIANTS
>  options        QUEUE_MACRO_DEBUG_TRASH # Trash queue(2) internal pointers
> on invalidation
>
> Should head/sys/conf/NOTES have material about avoiding
> QUEUE_MACRO_DEBUG_TRASH with INVARIANTS disabled?
>
>
>
> ===
> Mark Millard
> marklmi at yahoo.com
> ( dsl-only.net went
> away in early 2018-Mar)
>
>



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAG6CVpWXpS08PFcjV7iEAsMnxkzgYEDxCKD3utO6R_8wPs-ZNA>