多协议标志交换技术的关键机制与形式化描述

文中讨论了一类新的网络层分组转发技术——多协议标志交换（ｍｕｌｔｉｐｒｏｔｏｃｏｌｌａｂｅｌｓｗｉｔｃｈｉｎｇ，ＭＰＬＳ）技术．ＭＰＬＳ技术将网络层分组的网络层转发与链路层交换相结合，这不仅有助于提高中继系统的分组转发能力，而且可以对提高网络路由系统的可扩展性起到一定的作用．文中针对目前ＭＰＬＳ技术缺乏形式化描述，不便于进行ＭＰＬＳ系统问题分析的现状，从分析ＭＰＬＳ技术的系统原理与核心机制入手，提出了一种采用算法语言对整个ＭＰＬＳ系统工作模型进行的形式化描述．文中的工作有助于分析ＭＰＬＳ技术，研究其现存问题的解决方法．