Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 05 May 2017 10:58:11 -0600
From:      Ian Lepore <ian@freebsd.org>
To:        Bruce Evans <brde@optusnet.com.au>, Ed Maste <emaste@freebsd.org>
Cc:        Konstantin Belousov <kostikbel@gmail.com>, "src-committers@freebsd.org" <src-committers@freebsd.org>, "svn-src-all@freebsd.org" <svn-src-all@freebsd.org>, "svn-src-head@freebsd.org" <svn-src-head@freebsd.org>
Subject:   Re: svn commit: r317809 - head/share/man/man7
Message-ID:  <1494003491.21860.9.camel@freebsd.org>
In-Reply-To: <20170506020904.P2496@besplex.bde.org>
References:  <201705042131.v44LVokb076951@repo.freebsd.org> <20170505174957.B875@besplex.bde.org> <20170505094601.GW1622@kib.kiev.ua> <20170505222702.Y1875@besplex.bde.org> <20170505143147.GX1622@kib.kiev.ua> <CAPyFy2BX0T6OhwD5DE0DmunCBjN4XODKow_eECwk-6uYKynsfA@mail.gmail.com> <20170506020904.P2496@besplex.bde.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On Sat, 2017-05-06 at 02:32 +1000, Bruce Evans wrote:
> On Fri, 5 May 2017, Ed Maste wrote:
> 
> > On 5 May 2017 at 10:31, Konstantin Belousov <kostikbel@gmail.com>
> wrote:
> >> On Fri, May 05, 2017 at 11:39:23PM +1000, Bruce Evans wrote:
> >>>
> >>> Change "size" to "representation" if you want to allow for more
> than the
> >>> size changing.
> >> I suggest you to negotiate a formulation with brooks@, who
> provided the
> >> existing note.
> >
> > If it's really undesirable to mention pointer integrity here, I
> think
> > the main point can still be made with a phrase like Bruce proposed
> > (but I think it's fine as it exists now).
> 
> No one except Cheri developers would know the Cheri meaning of
> "integrity
> mechanism".
> 

I knew immediately what it meant.  Perhaps because back in 1990 I wrote
a C interpreter for embedding into applications which did pretty much
what Cheri does -- under the hood, pointers had an associated base
address and range and other metadata, and the VM that ran the bytecode
checked all pointer dereferences and pointer manipulations to ensure
they didn't scribble outside the lines.  I would expect such things to
become even more common going forward.

-- Ian



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1494003491.21860.9.camel>