Viewing profile — madanMus

yes, you did read correctly. The 1-3% does assume a non-standard whole-program analysis. Something more practical on existing hardware will look more like the E numbers (for escape…

Yes, it does, provided programmers restrict themselves to the safe subset of the language. Rust is a wonderful step in the right direction.

[I am one of the authors of the paper.] The paper reports overhead numbers from existing research. For instance, see Figure 18 in http://arxiv.org/abs/1312.1411 , which shows the c…

But the math is currently broken for Java. See http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.112... . Here the authors show that most common compiler optimizations are J…

The article does not ignore architectures like ARM. You do need fences, but not all the time - the compiler can avoid fences in places where there is no danger of violating sequent…