Virtual Machine, Runtime, and JIT for PHP