Re: [dev-servo] State of Servo

2012-07-12 Thread Robert O'Callahan
On Thu, Jul 12, 2012 at 6:40 PM, Brendan Eich wrote: > Robert O'Callahan wrote: > > You could use NaCl without the Pepper baggage. >> > > How does this work? NaCl has its own libc and all the usual. I haven't had > time to play with it, but in a browser instead of Unix system calls, it > bottoms

Re: [dev-servo] State of Servo

2012-07-12 Thread Andrew McCreight
- Original Message - > On Thu, Jul 12, 2012 at 4:44 PM, Brendan Eich > wrote: > > > I'm more concerned about runtime bugs -- the usual free memory read > > during a virtual call. Rust will have vtbls, IIRC, and it takes only one > > rooting or refcounting bug to enable an attacker to recl

Re: [dev-servo] State of Servo

2012-07-12 Thread Robert O'Callahan
On Fri, Jul 13, 2012 at 1:40 AM, Andrew McCreight wrote: > Type preserving compilers are pretty great, because you can spot a large > number of compiler bugs without even running the program you've compiled, > but due to the very new nature of Rust and the use of LLVM as the backend > it seems uns

Re: [dev-servo] State of Servo

2012-07-12 Thread Andrew McCreight
- Original Message - > On Fri, Jul 13, 2012 at 1:40 AM, Andrew McCreight < > amccrei...@mozilla.com > wrote: > Type preserving compilers are pretty great, because you can spot a > large number of compiler bugs without even running the program > you've compiled, but due to the very new natur

Re: [dev-servo] State of Servo

2012-07-12 Thread Robert O'Callahan
On Fri, Jul 13, 2012 at 10:52 AM, Andrew McCreight wrote: > Maybe you are thinking of translation validation [1]? > Yes, that! Rob -- “You have heard that it was said, ‘Love your neighbor and hate your enemy.’ But I tell you, love your enemies and pray for those who persecute you, that you may

[dev-servo] How to deal when layout lags behind DOM updates

2012-07-12 Thread Boris Zbarsky
I was talking to BenWa today, and he asked how the RCU world handles this situation: 1) DOM update starts at time t=0 2) DOM update finishes at time t=1, schedules 4ms setTimeout 3) Layout starts at time t=1 4) Timer fires at t=5, updates DOM 5) DOM update finishes at time t=6, schedules 4m

Re: [dev-servo] How to deal when layout lags behind DOM updates

2012-07-12 Thread Patrick Walton
On 7/12/12 6:45 PM, Boris Zbarsky wrote: I was talking to BenWa today, and he asked how the RCU world handles this situation: 1) DOM update starts at time t=0 2) DOM update finishes at time t=1, schedules 4ms setTimeout 3) Layout starts at time t=1 4) Timer fires at t=5, updates DOM 5) DOM