This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH V2 2/8] bpf: new GCC port

From: Jonathan Corbet <corbet at lwn dot net>
To: jose dot marchesi at oracle dot com (Jose E. Marchesi)
Cc: Jeff Law <law at redhat dot com>, "Jose E. Marchesi" <jemarch at gnu dot org>, gcc-patches at gcc dot gnu dot org
Date: Wed, 21 Aug 2019 08:30:22 -0600
Subject: Re: [PATCH V2 2/8] bpf: new GCC port
References: <20190817005056.15749-1-jose.marchesi@oracle.com> <87d0h4y5c1.fsf@gnu.org> <52f12e4c-a1be-94c6-7546-8668dcd433ce@redhat.com> <877e775ykk.fsf@oracle.com>

On Tue, 20 Aug 2019 23:14:35 +0200
jose.marchesi@oracle.com (Jose E. Marchesi) wrote:

> The kernel verifier doesn't allow backward jumps.
> 
> This may change at some point.  There is much discussion among the
> kernel hackers in whether it is possible to allow bounded loops in a
> safe way.  In that case, some of the restrictions may be lifted.

Actually, bounded loops are supported and allowed in the 5.3 kernel.

	https://lwn.net/Articles/794934/

jon

References:
- [PATCH V2 0/8] eBPF support for GCC
  - From: Jose E. Marchesi
- [PATCH V2 2/8] bpf: new GCC port
  - From: Jose E. Marchesi
- Re: [PATCH V2 2/8] bpf: new GCC port
  - From: Jeff Law
- Re: [PATCH V2 2/8] bpf: new GCC port
  - From: Jose E. Marchesi

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]