基于形式化描述的交换机网络自动配置策略的设计与实现  

A formal approach to the design and implementation of configuration strategy automation for switch network

作　　者：杨家海[1,2] 姜宁[1,2] 安常青[1,2] 李福亮[1,2] 

机构地区：[1]清华大学信息网络工程研究中心,北京100084 [2]清华大学信息科学与技术国家实验室(筹),北京100084

出　　处：《清华大学学报（自然科学版）》2012年第8期1041-1048,共8页Journal of Tsinghua University(Science and Technology)

基　　金：国家"九七三"重点基础研究项目(2009CB320505);国家"十一五"科技支撑计划项目(2008BAH37B05);国家"八六三"高技术项目(2008AA01A303;2009AA01Z251);国家自然科学基金资助项目(61170211;61170209)

摘　　要：配置管理是网络管理中的重要组成部分,随着IPv6的使用、安全机制的完善,园区网的配置变得更加复杂。该文提出交换机网络自动配置策略并实现原型系统。该系统以网络拓扑为基础,将其自动转化成alloy语言的描述,通过对配置规则进行形式化描述,计算出可行的配置解,自动完成交换机各参数的配置。该文以配置交换机网络的源地址验证(SAVI)功能为例,通过多线程的方式对各个子网同时进行规则推理,可以完成千级数量SAVI交换机的自动配置。Configuration management is an important part of network management. With the use of IPv6 protocol and the improvement of security mechanism, configuration of enterprise network has become more and more complex. The paper presents a method for automatic configuration of switch network and implements a prototype system. The system automatically translates network topology into formal description with Alloy language. Through the formal description of the configuration rules, the system finds a solution satisfying all the rules, and finally enforces the configuration of switches automatically. By using multi-threads to find a solution satisfying rules for each subnet simultaneously, the system can finish the automatic configuration of a campus network with a thousand of SAV1 switches within reasonable time.

关 键 词：网络管理 自动配置 alloy语言 

分 类 号：TP393.07[自动化与计算机技术—计算机应用技术]