From owner-freebsd-net@FreeBSD.ORG  Fri Aug  9 20:34:47 2013
Return-Path: <owner-freebsd-net@FreeBSD.ORG>
Delivered-To: freebsd-net@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTP id ED10CDD3
 for <freebsd-net@freebsd.org>; Fri,  9 Aug 2013 20:34:47 +0000 (UTC)
 (envelope-from rmind@netbsd.org)
Received: from mail.netbsd.org (mail.NetBSD.org [IPv6:2001:4f8:3:7::25])
 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by mx1.freebsd.org (Postfix) with ESMTPS id D8CEF20DF
 for <freebsd-net@freebsd.org>; Fri,  9 Aug 2013 20:34:47 +0000 (UTC)
Received: from ws (localhost [IPv6:::1])
 by mail.netbsd.org (Postfix) with SMTP id 428A714A308;
 Fri,  9 Aug 2013 20:34:46 +0000 (UTC)
Date: Fri, 9 Aug 2013 21:34:25 +0100
From: Mindaugas Rasiukevicius <rmind@netbsd.org>
To: Steven Bellovin <smb@cs.columbia.edu>
Subject: Re: BPF_MISC+BPF_COP and BPF_COPX
In-Reply-To: <38CDC9BB-09C7-4241-8746-163BD15B80EC@cs.columbia.edu>
References: <20130804191310.2FFBB14A152@mail.netbsd.org>
 <5202693C.50608@netbsd.org>
 <20130807175548.1528014A21F@mail.netbsd.org>
 <5203535D.2040508@netbsd.org>
 <38CDC9BB-09C7-4241-8746-163BD15B80EC@cs.columbia.edu>
X-Mailer: mail(1)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Message-Id: <20130809203446.428A714A308@mail.netbsd.org>
Cc: tech-net@NetBSD.org, guy@alum.mit.edu, darrenr@NetBSD.org,
 freebsd-net@freebsd.org
X-BeenThere: freebsd-net@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Networking and TCP/IP with FreeBSD <freebsd-net.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-net>,
 <mailto:freebsd-net-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-net>
List-Post: <mailto:freebsd-net@freebsd.org>
List-Help: <mailto:freebsd-net-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
 <mailto:freebsd-net-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 09 Aug 2013 20:34:48 -0000

Steven,

Steven Bellovin <smb@cs.columbia.edu> wrote:
> There's a one-word summary: *assurance*.  With the current design,
> it's easy to *know* what can happen.  With a Turing-complete extension,
> it isn't.

It is still easy and the concept itself is very simple.  I mentioned that
this extension does not make byte-code Turing-complete and the rest is in
your control.  Darren ignored it.

-- 
Mindaugas