On Sat, Mar 28, 2009 at 2:23 PM, Ian Hickson <span dir="ltr"><ian@hixie.ch></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Robert O'Callahan wrote:<br>
> Now, with the storage mutex, are there any cases you know of where<br>
> serializability fails? If there are, it may be worth noting them in the<br>
> spec. If there aren't, why not simply write serializability into the<br>
> spec?<br>
<br>
Just writing that something must be true doesn't make it true. :-) I think<br>
it's safer for us to make the design explicitly enforce this rather than<br>
say that browser vendors must figure out where it might be broken and<br>
enforce it themselves.</blockquote><div><br>If serializability is the goal then I think it can only help to say so in the spec (in addition to whatever "explicit design" you wish to include), so that any failure of serializability is clearly an inconsistency in the spec that must be fixed rather than a loophole that authors and browser vendors might think they can rely on.<br>
<br>I also suggest that speccing just serializability should be fine. It seems to me the current spec is proposing one implementation of serializability while other implementations are possible, and relying on the black-box equivalence principle to enable other implementations. But specifying serializability is probably simpler and may allow implementations that are unintentionally ruled out by the "explicit design" in the spec, especially as things become more complicated in the future. It would probably also be clearer to authors what they can expect.<br>
<br>I think it's a lot like GC; we don't specify a GC algorithm, even though GC is hard; we just have an implicit specification that objects don't disappear arbitrarily.<br><br></div>Rob<br></div>-- <br>"He was pierced for our transgressions, he was crushed for our iniquities; the punishment that brought us peace was upon him, and by his wounds we are healed. We all, like sheep, have gone astray, each of us has turned to his own way; and the LORD has laid on him the iniquity of us all." [Isaiah 53:5-6]<br>