From nobody Tue Sep 10 11:51:08 2024
X-Original-To: freebsd-hackers@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
	by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4X329L5v4rz5WKPk;
	Tue, 10 Sep 2024 11:51:34 +0000 (UTC)
	(envelope-from rb@gid.co.uk)
Received: from gid2.gid.co.uk (ns0.gid.co.uk [IPv6:2001:470:94de::240])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(Client CN "gid2.gid.co.uk", Issuer "gid2.gid.co.uk" (not verified))
	by mx1.freebsd.org (Postfix) with ESMTPS id 4X329L2Jp1z3xp0;
	Tue, 10 Sep 2024 11:51:34 +0000 (UTC)
	(envelope-from rb@gid.co.uk)
Authentication-Results: mx1.freebsd.org;
	none
Received: from mx0.gid.co.uk (mx0.gid.co.uk [194.32.164.250])
	by gid2.gid.co.uk (8.15.2/8.15.2) with ESMTP id 48ABpNLb021367;
	Tue, 10 Sep 2024 12:51:23 +0100 (BST)
	(envelope-from rb@gid.co.uk)
Received: from smtpclient.apple ([89.248.30.154])
	by mx0.gid.co.uk (8.14.2/8.14.2) with ESMTP id 48ABpI43065562;
	Tue, 10 Sep 2024 12:51:18 +0100 (BST)
	(envelope-from rb@gid.co.uk)
Content-Type: text/plain;
	charset=us-ascii
List-Id: Technical discussions relating to FreeBSD <freebsd-hackers.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-hackers
List-Help: <mailto:freebsd-hackers+help@freebsd.org>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Subscribe: <mailto:freebsd-hackers+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-hackers+unsubscribe@freebsd.org>
Sender: owner-freebsd-hackers@FreeBSD.org
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3776.700.51\))
Subject: Re: BPF64: proposal of platform-independent hardware-friendly
 backwards-compatible eBPF alternative
From: Bob Bishop <rb@gid.co.uk>
In-Reply-To: <202409100638.48A6cor2090591@critter.freebsd.dk>
Date: Tue, 10 Sep 2024 12:51:08 +0100
Cc: Vadim Goncharov <vadimnuclight@gmail.com>,
        "freebsd-arch@freebsd.org" <freebsd-arch@FreeBSD.org>,
        "freebsd-hackers@freebsd.org" <freebsd-hackers@FreeBSD.org>,
        "freebsd-net@freebsd.org" <freebsd-net@FreeBSD.org>,
        tcpdump-workers@lists.tcpdump.org,
        "tech-net@netbsd.org" <tech-net@NetBSD.org>,
        Alexander Nasonov <alnsn@NetBSD.org>
Content-Transfer-Encoding: quoted-printable
Message-Id: <2F9BBCAE-C0EA-43E7-B371-AE3FF733E72E@gid.co.uk>
References: <20240910040544.125245ad@nuclight.lan>
 <202409100638.48A6cor2090591@critter.freebsd.dk>
To: Poul-Henning Kamp <phk@phk.freebsd.dk>
X-Mailer: Apple Mail (2.3776.700.51)
X-Spamd-Bar: ----
X-Rspamd-Pre-Result: action=no action;
	module=replies;
	Message is reply to one we originated
X-Spamd-Result: default: False [-4.00 / 15.00];
	REPLY(-4.00)[];
	ASN(0.00)[asn:6939, ipnet:2001:470::/32, country:US]
X-Rspamd-Queue-Id: 4X329L2Jp1z3xp0

Hi,

> On 10 Sep 2024, at 07:38, Poul-Henning Kamp <phk@phk.freebsd.dk> =
wrote:
>=20
> --------
> Vadim Goncharov writes:
>=20
>> I've put a sketch of design to https://github.com/nuclight/bpf64 with =
files:
>=20
> Counter proposal:
>=20
> 1. Define the Lua execution environment in the kernel.
>=20
> 2. Add syscall to submit a precompiled Lua program (as bytecode)
>=20
> 3. Add syscall to execute submitted Lua program
>=20
> And yes:  I'm being 100% serious.
>=20
> If we are going to reinvent "Channel Programs" 67 years after IBM
> came up with them for their 709 vacuum tube computer, at the very
> least we should use a sensible language syntax.

+1

We did something like this at $work years ago with FORTH, to do weird =
things in a driver.

> Poul-Henning
>=20
> --=20
> Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
> phk@FreeBSD.ORG         | TCP/IP since RFC 956
> FreeBSD committer       | BSD since 4.3-tahoe   =20
> Never attribute to malice what can adequately be explained by =
incompetence.
>=20

--
Bob Bishop
rb@gid.co.uk