[prev in list] [next in list] [prev in thread] [next in thread] 

List:       cap-talk
Subject:    [cap-talk] Fwd: [friam] Re: What is a capability?
From:       Mark Miller <erights () gmail ! com>
Date:       2015-01-09 15:26:58
Message-ID: CAK5yZYgWLfjSTFOG3s=qkgjwjGLZbQG+cvPVA1HcntzP1nPeXA () mail ! gmail ! com
[Download RAW message or body]

Thanks!


---------- Forwarded message ----------
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Fri, Jan 9, 2015 at 5:47 AM
Subject: Re: [friam] Re: What is a capability?
To: Mark Miller <erights@gmail.com>
Cc: "friam@googlegroups.com" <friam@googlegroups.com>, "General
discussions concerning capability systems."
<cap-talk@mail.eros-os.org>, Brendan Eich <brendan@meer.net>, Brendan
Eich <therealbrendaneich@gmail.com>


On Fri, Jan 9, 2015 at 3:26 AM, Mark Miller <erights@gmail.com> wrote:
> [+brendan, +sam]
>
> On Thu, Jan 8, 2015 at 11:39 PM, Carl Hewitt <hewitt@irobust.org> wrote:
>> Also, has anyone measured how expensive it is to implement?
>
> I would expect higher order contracts to also be the most well
> measured use of membranes, but I don't know. Sam, do you know of any
> measurements of this?

There are measurements along with extensive implementation discussion
in our OOPLSA 2012 paper:
http://www.cs.umd.edu/~sstrickl/chaperones/index.html

Also, I have a preprint on using tracing JIT techniques to optimize
the cost of contracts: http://samth.github.io/pycket-draft.pdf

Sam (Mark, feel free to share this message)
_______________________________________________
cap-talk mailing list
cap-talk@mail.eros-os.org
http://www.eros-os.org/mailman/listinfo/cap-talk
[prev in list] [next in list] [prev in thread] [next in thread]