目前M0由________实现，M1用________实现，M2到M5大多用软件实现。以为主实现的机器称为虚拟机。