Doesn't Dalvik use a machinist similar to railgun to achieve its performance?