search

mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!
MIT License
546 stars 53 forks source link

Check alias liveness in other threads #112

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

If an alias y is live in another thread, then x is not linear

let x = new Foo();
let y = x
finish{
async{
 y ....
}
x .... // alias y is live for entire finish async block
x .... 
}
mukul-rathi commented 4 years ago

this doesn't actually matter (since splitting capability)