svn commit: r317809 - head/share/man/man7

[Ian Lepore]

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 at 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