[Harmony Proxies] Proposal: Property fixing
Mark S. Miller
erights at google.com
Thu May 12 19:19:15 PDT 2011
On Thu, May 12, 2011 at 7:18 PM, Mark S. Miller <erights at google.com> wrote:
> On Thu, May 12, 2011 at 6:48 PM, Allen Wirfs-Brock <allen at wirfs-brock.com>wrote:
> You can presumably still do that cache based upon the implied invariant. A
>> failure to respect the invariant within the proxy is a bug that you might
>> want to have a test case for but probably shouldn't cause you to change your
>> design. Just like most of the other object invariants that proxies don't
>> guarantee but your program probably depends upon.
> This is equivalent to saying that attacks can choose to be nice to
> defenders. If attackers aren't nice, then their code is buggy, so problem
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the es-discuss