From owner-freebsd-arch@freebsd.org Fri Jul 6 20:36:23 2018 Return-Path: Delivered-To: freebsd-arch@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 5C447102A11B for ; Fri, 6 Jul 2018 20:36:23 +0000 (UTC) (envelope-from cse.cem@gmail.com) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id E316095D89 for ; Fri, 6 Jul 2018 20:36:22 +0000 (UTC) (envelope-from cse.cem@gmail.com) Received: by mailman.ysv.freebsd.org (Postfix) id 9CD46102A117; Fri, 6 Jul 2018 20:36:22 +0000 (UTC) Delivered-To: arch@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 7544C102A116 for ; Fri, 6 Jul 2018 20:36:22 +0000 (UTC) (envelope-from cse.cem@gmail.com) Received: from mail-io0-f195.google.com (mail-io0-f195.google.com [209.85.223.195]) (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 0B1B595D87 for ; Fri, 6 Jul 2018 20:36:21 +0000 (UTC) (envelope-from cse.cem@gmail.com) Received: by mail-io0-f195.google.com with SMTP id q19-v6so11927997ioh.11 for ; Fri, 06 Jul 2018 13:36:21 -0700 (PDT) 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:content-transfer-encoding; bh=TxPCVe6RX1gC7P6JK23PjUGVii6aToaf0I3LuxJnKuY=; b=K6ttj2RG3Y/YGQpFRiM1fyPSZcwa+gTviRBU78OdAQ2iZcxxV0ZEYEnhbmhHgXr2L4 912hbtYhfWdnkK7KcpemUH+WI2+6hIVUzbypkj/bt8uU/S7yIHHy8v8UeKEslkJQvTI/ AL+2iLHD92EjpnDubpdE55vnhMYBLryRS+xso6up8C0wFT4qDWu6h9LKarjRJrtOOW1E XqTUt6qH6ehBBE4D1xvQoTZNRbZnAWaVF23Bj61XBS5+QA0q84B0eVRvHCo9Gq8rsjfc b0OD7qQUcgNTn6Heu28SMQlCF6sowsoffXd5cTOvbHtv5VpGdjK7w4VIshx61nyX261U vxWg== X-Gm-Message-State: AOUpUlGpXwo0UsT0GeJ1ruGRwQncSFBZ7+e3L6JK/kJK2BIeW4ZdenX/ sLlJ5BzTa82OgwQnbQge7emLZYEX X-Google-Smtp-Source: AAOMgpe92sHKSRVkS2UyjdFmeeE6EFBrxnfg5UWzbDwYoxFNR8pwjeWX+CymsAr6cxTy8mCy1i2YWg== X-Received: by 2002:a6b:e15:: with SMTP id 21-v6mr2424369ioo.149.1530908984804; Fri, 06 Jul 2018 13:29:44 -0700 (PDT) Received: from mail-io0-f182.google.com (mail-io0-f182.google.com. [209.85.223.182]) by smtp.gmail.com with ESMTPSA id u129-v6sm881085ita.5.2018.07.06.13.29.44 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 06 Jul 2018 13:29:44 -0700 (PDT) Received: by mail-io0-f182.google.com with SMTP id q4-v6so11931353iob.2 for ; Fri, 06 Jul 2018 13:29:44 -0700 (PDT) X-Received: by 2002:a6b:b0c5:: with SMTP id z188-v6mr9583067ioe.220.1530908984252; Fri, 06 Jul 2018 13:29:44 -0700 (PDT) MIME-Version: 1.0 Reply-To: cem@freebsd.org Received: by 2002:a02:7e0a:0:0:0:0:0 with HTTP; Fri, 6 Jul 2018 13:29:43 -0700 (PDT) In-Reply-To: References: From: Conrad Meyer Date: Fri, 6 Jul 2018 13:29:43 -0700 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: Veriexec To: Stephen Kiernan Cc: "freebsd-arch@freebsd.org" Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-BeenThere: freebsd-arch@freebsd.org X-Mailman-Version: 2.1.27 Precedence: list List-Id: Discussion related to FreeBSD architecture List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 06 Jul 2018 20:36:23 -0000 Hi Stephen, On Fri, Jul 6, 2018 at 1:09 PM, Stephen Kiernan wro= te: > On Thu, Jul 5, 2018 at 2:06 PM, Conrad Meyer wrote: >> (Additionally, I don't really like the use of >> "revert" (as used in the commit message) or "backout" (here) to >> describe the kernel changes. The bad code is still present, but >> disabled by default.) > > What would you prefer? It helps to provide an alternative if you wish to > see someone potentially use it in the future. You simply stated you didn'= t > like the use without providing an alternative. It's a minor language quibble =E2=80=94 don't worry about it too much. I would suggest "disable by default," for example. "Revert" and "backout" have a specific meaning that is approximately 'svn merge -c -NNNNNN'. > Note that the commit message for r335682 says "Partial revert of > r335399 and r335400" which is exactly what it is. It wasn't a full revert > of the commits, it was only partially reverting them. It removes 7 lines out of 2856 lines added in the two commits. I agree that you're technically correct =E2=80=94 it is a partial revert. Bu= t I think it would be more clear and accurate not to describe it as any kind of revert, given how little (0.25% of lines) was actually removed. >> > There's work in progress on fixing the issues with the meta-data store >> > and its use. >> >> Ok. Can you elaborate on that progress? Is it happening in public? >> Is there any kind of (loose) schedule in mind? > > My goal was to have something by the beginning of next week, but > work and life got too busy to be able to make much headway. ... > > As for the veriexec changes, I will be posting them as they are available > to the following branch on GitHub: > https://github.com/hackagadget/freebsd/tree/hackagadget/veriexec > (Note this branch is currently out of date.) > > So right now my tentative schedule is to have first cut available for > people to look at around 23 Jul 2018. Also, I want to put up a design > overview on my website once I get all the maintenance done this > weekend. Ok, that's great. Thanks. Best, Conrad