The critical flaw is the fact that most of these languages were built on top of their own virtual machine or interpreter, so they represent (like Ruby does) a transition to a new platform.
Virtual queues, being virtual, are actually implemented as rings to traverse the guest-to-hypervisor transition.
虚拟队列实际上被实现为跨越来宾操作系统和hypervisor的衔接点。
3
It then discusses the structured specification style and the transition oriented speciflcation style, which is based on an example of a virtual ring mutual exclusion protocol.