From owner-svn-src-head@freebsd.org Sun Nov 5 19:24:53 2017 Return-Path: Delivered-To: svn-src-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id D2F52E4EEBE; Sun, 5 Nov 2017 19:24:53 +0000 (UTC) (envelope-from cse.cem@gmail.com) Received: from mail-it0-f54.google.com (mail-it0-f54.google.com [209.85.214.54]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 9EE0D66856; Sun, 5 Nov 2017 19:24:53 +0000 (UTC) (envelope-from cse.cem@gmail.com) Received: by mail-it0-f54.google.com with SMTP id n195so2800307itg.2; Sun, 05 Nov 2017 11:24:53 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:reply-to:in-reply-to:references :from:date:message-id:subject:to:cc; bh=FH+bDwJS19Ywpynm7Dc/grX4O+OGZQQc7Lf96fkZJrc=; b=b7e9oCmRh7y222U3MCS0xafF9kkQR0zKYOQav5Wq/IOxXasIGQVWj2t1jKasuKpmaq cc6NAXm9OyCCO8Mfkw9I+Uc5L/TGv0bwlP6c8xnCxqCh4wSuouusDfDcn/LxJxrVftwq sQa29aT+nB8k4gcr1Vl8UkTg9NS8sOWOm1r1KXgpc7KJlkXmtOdhp5ZJeN9Z8HLy/oEK vMo1UP/7LuMgKUPlX/Wvdj0sLEQ61vum6T9DZWQHQWAF5I8C8l2UZf3bQAIZPCzGwjVZ ua5VwFcPh1FacuR3a2IWrRt6aEerdSf82w6ISb3sCztMPQYGwoMLDqBPPmJEH6gSFJxw khOQ== X-Gm-Message-State: AJaThX6TmvQzGOIyNd0pe1zuy9mW2WHIOAA3AcCqww+Ri7iEsBTDMHN5 5gKGW2y2rJ5kTI1qNdZi5LrGc2y8 X-Google-Smtp-Source: ABhQp+RUht/85SaIaeRQ99FeSUg/mUI7CQdtsr9p4nmuwY6CCquYKTXB0t/ere9fdSCBcBlK01Gi+Q== X-Received: by 10.36.181.27 with SMTP id v27mr6885441ite.137.1509909892262; Sun, 05 Nov 2017 11:24:52 -0800 (PST) Received: from mail-io0-f176.google.com (mail-io0-f176.google.com. [209.85.223.176]) by smtp.gmail.com with ESMTPSA id c10sm3533031itc.39.2017.11.05.11.24.51 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 05 Nov 2017 11:24:51 -0800 (PST) Received: by mail-io0-f176.google.com with SMTP id f20so13547708ioj.9; Sun, 05 Nov 2017 11:24:51 -0800 (PST) X-Received: by 10.107.156.134 with SMTP id f128mr16031852ioe.226.1509909891826; Sun, 05 Nov 2017 11:24:51 -0800 (PST) MIME-Version: 1.0 Reply-To: cem@freebsd.org Received: by 10.2.164.130 with HTTP; Sun, 5 Nov 2017 11:24:51 -0800 (PST) In-Reply-To: <20f694b3-c60c-1b6d-76a1-2ef14cbdd698@FreeBSD.org> References: <201711041049.vA4AnZUE096709@repo.freebsd.org> <20171105130607.GA2566@kib.kiev.ua> <20171105173032.GE2566@kib.kiev.ua> <20171105190214.GG2566@kib.kiev.ua> <20f694b3-c60c-1b6d-76a1-2ef14cbdd698@FreeBSD.org> From: Conrad Meyer Date: Sun, 5 Nov 2017 11:24:51 -0800 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: svn commit: r325386 - head/sys/kern To: Andriy Gapon Cc: Konstantin Belousov , Warner Losh , src-committers , "svn-src-all@freebsd.org" , "svn-src-head@freebsd.org" Content-Type: text/plain; charset="UTF-8" X-BeenThere: svn-src-head@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: SVN commit messages for the src tree for head/-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 05 Nov 2017 19:24:53 -0000 On Sun, Nov 5, 2017 at 11:13 AM, Andriy Gapon wrote: > I guess (only guess) that Conrad is saying that it would be useful to have a > macro like KASSERT but which would be always active regardless of INVARIANTS. > E.g. in illumos they have ASSERT and VERIFY. Yes, exactly. There are numerous places in the kernel where we have essentially an unrolled version of that idea, with if + panic. Best, Conrad