可信可控网络中的一致性视图构建机制*

曹生林，柳立言

(宁夏师范学院数学与计算机科学学院,宁夏 固原 756099)

可信可控网络中的一致性视图构建机制*

曹生林，柳立言

(宁夏师范学院数学与计算机科学学院,宁夏 固原 756099)

在可信可控网络中利用多个控制节点对AS进行联合控制，容易造成多个控制节点在网络控制过程中持有的AS视图不一致问题。针对该问题，在可信可控网络模型的基础上提出了基于选举算法的AS内一致性视图构建机制，该机制首先基于选举算法选举出主控制节点，然后主控制节点根据AS内各个控制节点的负载，将视图构建任务分配给负载最低的控制节点负责构建视图，并利用主控制节点的时间对生成的视图的版本进行界定，从而避免了多个控制节点独自构建视图造成的视图混乱问题。仿真实验的结果表明，所提出的一致性视图构建机制具有良好的性能。

可信可控网络模型;选举算法;一致性视图

1 引言

可信可控网络将网络控制逻辑的计算集中到控制节点CN(Control Node)上，以便对网络建立统一的网络控制层面。但是，由于单一控制节点容易导致性能瓶颈和单点故障问题，为了提高可信可控网络的可扩展性，在自治系统AS(Autonomous System)内采用多控制节点对网络进行协同控制已成为相关研究者的共识[1,2]。

虽然在可信可控网络中多个控制节点对网络进行协同控制的方法能够有效地提高可信可控网络的可扩展性和鲁棒性，但是也给可信可控网络带来了新的视图一致性问题：在可信可控网络中，每个控制节点在控制域内维护一个控制信息数据库来保存本控制域的控制信息，而在每个控制节点上又运行着多个网络控制机制，由于网络延迟以及网络震荡性等原因，如果多个控制节点的多个控制机制都需要自己构建AS的网络视图，很容易造成视图信息的不一致，从而导致不同网络控制机制对网络的控制策略产生矛盾，影响网络的正常运行。

为了便于说明多个控制节点网络视图可能不一致的问题，我们给出了一个示例，如图1所示，控制节点CN1和CN3分别在t1和t2时刻开始构建各自的网络视图，分别向除自身以外的所有控制节点发送其他控制域的视图请求。而在CN1和CN3构建网络视图的过程中，CN4负责的控制域的网络状态在t3时刻发生了变化，由于CN1与CN4的网络延迟较长，使得CN4给CN1返回的网络视图发生在t3以后，而由于CN3与CN4的网络延迟较短，使得CN3在t3时刻之前就返回了其局部视图，这就会造成CN1在t5得到的视图与CN3在t4时刻得到的视图不一致。而由于CN3与CN2间的通信延迟，造成CN3得到视图的时刻t4晚于CN1得到视图的时刻t5，这就造成生成时刻较晚的视图反而不如生成时刻较早的视图准确性高。

Figure 1 Network view constructed by control nodes respectively

从上述示例可以看出，由每个控制节点单独生成视图会造成视图的一致性问题，主要表现为两个方面：

(1)控制节点的视图与网络真实状态不一致。由于分布式网络环境下传输时延和计算耗费时间等原因，很难构造与网络实际状态严格吻合的视图，网络视图与网络实际状态必然会存在一个时间差。为了解决这一问题，一般采用不断更新视图版本的方法来反映网络的实际状态。因此，这个问题可以归结为，多个控制节点组成的分布式网络环境下，缺少全局时间对网络视图进行版本界定，造成网络视图版本前后不一致的问题。如图1给出的例子中，CN3在t4时刻得到的视图不如CN1在t5(t4>t5)时刻得到的视图准确，就是新老视图的不一致性问题。

(2)多个控制节点的视图互相矛盾。由于不同控制节点独自构建视图，造成视图来源混杂，从而导致网络视图混乱，很难判断它们所构建视图的正确性。如图1给出的例子中，CN3得到的视图没有反映t3时刻以后CN4对应的控制域内的网络状态变化，与CN3得到的视图矛盾。

因此，为了解决上述的视图版本前后不一致问题和不同控制节点视图不一致问题，本文给出了可信可控网络中的一致性视图构建机制，该机制主要由主控制节点选举算法和基于选举的一致性视图构建算法两部分组成。其主要思想是，当网络控制机制提出一致性视图构建需求时，其所在的控制节点将任务提交给选举算法产生主控制节点；然后主控制节点根据控制节点的优先级将任务分配给优先级最高的节点处理，负责处理的控制节点组织多个控制节点基于合作的方式构建一致性视图后，将最终的处理结果发送给主控制节点；主控制节点再将处理结果发送给请求方。这保证了多个控制节点的网络视图源一致，解决了多个控制节点的视图不一致问题，并且通过利用主控制节点的时间戳作为版本号的方式，避免了网络视图前后版本的不一致性。

2 AS内的主控制节点选举算法

基于选举算法的一致性视图构建机制主要通过为AS选出主控制节点的方法为多个控制节点的网络视图提供统一的版本界定方法和视图来源。在本节中，我们将根据可信可控网络的特点，为多个控制节点构建一个主控制节点选举算法。

选举算法是分布式系统中常用的算法，其从进程集合中选出一个特定的进程来对特定任务进行处理，以实现多个进程之间的协作。选举算法应用的领域很多，如群服务器、重复数据更新、负载均衡、应急恢复以及互斥等方面。根据不同网络的拓扑类型，人们提出了不同的分布式选举算法[3]。一般情况下选举过程可以分成两个阶段：(1)选择具有最高优先级的优胜者；(2)通知其他参与者谁是优胜者。两个阶段都需要在系统中发布进程的ID，因此通过进程之间的通信方式可以将选举算法分成两种：面向广播网的选举算法[4]和面向存储转发网的选举算法。其中面向存储转发网的选举算法，又有面向单向环的选举算法[5～7]、面向双环的选举算法[8]、面向完全图的选举算法[9]和面向弦环的选举算法[10]。

根据上述在分布式网络环境下的选举算法，我们针对可信可控网络中视图构建的一致性需求和多个控制节点的负载均衡，基于bully算法[11]设计了可信可控网络中的主控制节点选举算法和基于合作的视图构建算法。

由于在可信可控网络中每个控制节点只有一个参与选举的进程，为了便于理解，我们在后文中统一将参与选举的对象确定为AS内的控制节点。

2.1 优先级定义

为了统一各个CN负载的评价标准，我们给出了一个以请求需要等待的时间作为衡量标准的方法，并选择响应当前请求所需要的时间最短的CN作为处理当前请求的节点。每个节点对当前请求响应时间的计算方法如式(1)所示：

Ti=p*λi

(1)

其中，p表示在节点i上排队的任务数，λi表示节点i处理一个任务所花费的平均时间。

利用Ti我们定义每个节点的优先级，如式(2)所示：

(2)

由式(2)可知，节点的响应时间越长，其优先级越低，当其响应时间为0时，表示该节点空闲，其节点优先级最高。

2.2 算法介绍

为了能响应用户提出的请求，我们将CN分成主控制节点PCN(PrimaryControlNode)和从控制节点SCN(SecondaryControlNode)，PCN负责进行任务管理，SCN负责对用户的任务进行处理，处理某个用户请求的SCN成为当前任务的责任节点。在一个AS内的多个CN组成了一个服务组响应用户请求，并通过选举算法选出一个PCN。每个CN都有自己的一个公共组播地址和私有IP。

经典的bully算法是一个可靠的选举算法，我们设计了基于bully的选举算法，过程如下：

CN进入选举状态后，向其他CN发送选举组播包，并启动定时器T1，等待 AS中其它CN的响应包。当节点发现有更高优先级选举CN时，就自动设置状态为SCN状态。如果在T1时间内，没有收到更高优先级CN的选举包，则设置状态为PCN状态。

在SCN状态，CN启动一个定时器T2，如果在T2允许的时间内获得PCN发来的轮询包，就作出响应，并更新CN优先级队列，将PCN发送来的任务加入任务队列。如果在定时器T2允许之内没有获得PCN发来的轮询包，则进入选举状态。如果在T2允许的时间内收到其它SCN的选举包，则先比较负载，若自身的负载比较低，则进入选举状态。

进入PCN状态后，首先停止自己的任务并将任务移送至CN优先级队列中优先级高的CN上，然后开始监控整个AS中其他SCN的状态。监控过程为：启动定时器T3，并向所有SCN发送轮询包，收集SCN的状态和任务信息。如果有新任务，就将任务分配给最高优先级的CN,并更新SCN优先级队列，然后将形成的新的SCN队列和任务信息发送至SCN。如果在T3允许的时间内又有新的选举包到来，就发送回复中止其选举。

为了更好地说明选举算法的过程，我们给出了主节点选举算法的伪代码，具体如下：

select(IP){ //选举函数

send(SELECT,allCN,IP);/*向其他CN发送选举组播包*/

T1.val=0 //启动计时器T1

wait(T1);

if(have_receive(higher_priority_CN)){/*当节点发现有更高优先级选举CN时，就自动设置状态为SCN状态*/

state=SCN;

}else{

state=PCN；/*如果没有收到更高优先级节点的选举包，则自己成为PCN*/

send(task,highest_prirority_CN_in_priqueue)

}

}

根据上述选举过程，图2给出了相应的状态转移图。节点的状态可以分成三种：选举态、PCN态和SCN态。每个CN都维持一个守护进程，在正常情况下，一个AS内有一个PCN，当节点刚加入时，默认设置为SCN状态。

Figure 2 State transition of CN in AS

3 基于选举的一致性视图构建算法

3.1 SCVCA算法介绍

第2.2节中，我们给出了AS内主控制节点的选举算法，在本节中我们基于选举算法的选举结果，并根据网络视图的一致性需求和控制节点之间的负载均衡需求，提出一致性视图构建算法SCVCA (Selection-based Consistant View Contruciton Algorithm)，对用户(网络控制机制)提交的网络视图构建任务进行统一处理。其主要思想是，需要构建AS内一致性视图的用户统一向主控制节点提交一致性视图构建请求；主控制节点将任务分配给从控制节点进行处理，同时设定一个任务等待时间，并在视图构建任务完成前将提交一致性视图构建请求的用户放在等待队列中，当一致性视图构建任务处理完成后，一次性将一致性视图交付给等待队列中的用户；而从控制节点根据主控制节点分配的任务构建该控制域的局部视图后，由其中一个从控制节点对这些局部视图进行综合后提交给主控制节点。为了更清楚地说明处理过程，我们给出了一致性视图构建算法的步骤，具体如下：

(1)由于AS内的每个控制节点都知道本AS内的主控制节点的地址，当运行在某一控制节点上的网络控制机制产生一致性视图构建需求时，该网络控制机制向AS的主控制节点PCN提交网络一致性视图构建请求ViewRequest1，并设定一个时间QT，如果在QT时间内没有收到PCN的一致性视图构建结果,则构建视图失败。

(2)AS的主控制节点PCN维持一个视图请求等待队列VQueue和一个视图构建计时器PViewtimer。当PCN接收到ViewRequest1后，检查VQueue中是否存在正在等待的其他节点的视图处理请求，如果没有，则生成一个视图构建任务ViewTask1，为该任务生成一个唯一的任务标识TaskID，并将ViewRequest1添加到VQueue中，同时将PViewtimer清零；如果有，则仅将ViewRequest1添加到VQueue中。生成网络一致性视图构建任务ViewTask1后，PCN查看其维护的控制节点优先级队列，然后从优先级队列中选出具有最高优先级的从控制节点SCN1；然后将网络一致性视图构建任务ViewTask1和任务标识TaskID分配给从控制节点SCN1，并设定PViewtimer的等待时间为PT以等待SCN1返回处理结果；如果PT时间内没有获得SCN1的一致性视图构建结果，则构建视图失败。其中由于从控制节点SCN1负责对ViewTask1任务的处理，我们称从控制节点SCN1为责任从处理节点RSCN(Response Secondary Control Node)。

(3)RSCN收到主控制节点PCN分配的网络一致性视图构建任务ViewTask1和任务标识TaskID后，向其他从控制节点SCN发送网络一致性视图合作构建请求CorRequest2和任务标识TaskID，并设定等待时间RT等待其他从控制节点SCN返回处理结果；同时，RSCN根据ViewTask1的需求构建本控制域的局部视图，如果其中存在一个协助构建视图的从控制节点没有在RT时间内完成局部视图构建，则一致性视图构建任务失败。其中除了RSCN以外的参与到任务ViewTask1处理的从控制节点的任务是协助RSCN构建AS的一致性视图，因此我们将这些从控制节点称为协助从控制节点JSCN(Joint Secondary Control Node)。

(4)JSCN接收到处理任务CorRequest2和任务标识TaskID后，根据ViewTask1任务的需求构建相应控制域的局部视图，并将结果和任务标识TaskID反馈给RSCN。

(5)RSCN收到各个JSCN的处理结果和任务标识TaskID后，检查任务标识TaskID是否与当前处理的任务的标识一致，如果不一致则丢弃，如果一致则继续执行：如果每个JSCN的局部构建视图成功，则综合各个控制域的局部网络视图生成AS的一致性视图，并将该视图反馈给主控制节点；如果存在一个JSCN构建视图失败，则向PCN反馈构建一致性视图失败的信息。

(6)主控制节点收到处理结果和任务标识TaskID后，如果任务标识TaskID与当前处理任务一致，则将一致性视图的构建结果反馈给提出请求网络控制机制，否则将收到的结果丢弃，并继续等待。

图3给出了AS一致性视图构建过程示意图，图中的AS划分为五个控制域，对应有五个控制节点，用户(网络控制机制)提出构建视图的请求后，其构建过程按照上面的步骤在图中标出。

Figure 3 AS consistent view construction

另外值得说明的是，由于分布式网络环境的网络延迟以及视图计算的时间耗费等原因，严格实时的网络一致性视图是很难构建的，网络视图与网络实际状态必然会存在一个时间差，所以一般采用不断更新视图版本的方法来反映网络的实际状态。为了防止网络一致性视图由于时间延迟原因造成网络控制的混乱，我们在可信可控网络中都以AS主控制节点的时间为准，对主控制节点生成的每个视图以一个时间戳为标准生成视图版本版本号，并以五元组(PCN,View,Vision,RequestTime,ViewGenerateTime)对视图进行标识，以避免网络新老视图的不一致问题。该五元组表示主控制节点PCN在RequestTime时刻接到用户请求后，在ViewGenerateTime时刻构建成功的版本Vision的网络视图View，其中的RequestTime和ViewGenerateTime都是以PCN的时间为标准。该五元组利用PCN的局部时间完成了对网络视图进行统一的版本界定，能够保证各个控制节点之间的视图不会产生矛盾。

由于PCN等待RSCN返回一致性视图以及RSCN等待JSCN返回局部性视图时都设定了固定的等待时限，等待超时就将视图构建任务判为失败，容易发生构建新版本视图时收到旧版本的网络视图或者旧版本的局部视图的情况，造成网络视图的混乱。为了解决这种情况，我们为每个视图构建任务生成一个唯一的任务标识TaskID，在PCN收到RSCN返回一致性视图和RSCN收到JSCN返回的局部视图时都要检查收到的结果的TaskID是不是与当前处理的任务的TaskID一致，如果不一致，则将收到的结果丢弃，只有收到的结果的TaskID与当前正在处理的任务的TaskID一致时才能接受。

3.2 算法分析

在第1节的需求分析中，我们给出了网络一致性视图构建需要解决的两个问题：新老网络视图一致性问题和不同控制节点的视图不一致性问题。针对这两个问题，我们将针对基于选举的一致性视图构建算法构建的视图进行一致性分析。

在上节给出的一致性视图构建算法中，每个AS的主控制节点PCN是该AS视图的唯一源头，并且以PCN的局部时间作为视图版本界定的标准，解决了视图版本前后矛盾和多个控制节点不一致的问题。利用基于选举的一致性视图构建算法生成的视图具有两个性质：

性质1 将用户请求按照PCN的局部时间排序后，请求时间较晚的用户获得的视图(PCN,ViewB,VisionB,tB,vtB)的版本一定不低于请求时间较早的用户获得的视图(PCN,ViewA,VisionA,tA,vtA)，即存在两个视图(PCN,ViewA,VisionA,tA,vtA)和(PCN,ViewB,VisionB,tB,vtB)，如果tB≥tA，则vtB≥vtA,即VisionB≥VisionA。其中tA和tB是PCN接受任务处理请求的时刻。

证明 为了比较请求时间较晚的视图和请求时间较早的视图的版本高低，我们可以分成如下两种情况讨论：第一种情况是较晚的视图请求到达时，较早的视图请求正在被处理；第二种情况是较晚的视图请求到达时，较早的视图请求已经被处理完成。下面我们分成两种情况讨论

第一种情况：如图4所示，PCN分别在tA时刻和tB接受了用户A和用户B的请求，由于用户A的请求QA比用户B的请求QB接受的时间早，因此PCN接受QA时创建一个一致性视图构建任务，并设定时限PT等待视图构建；而当PCN接受QB时，一致性视图构建任务正在进行，视图等待队列Queue不为空，因此PCN仅将QB加入到等待队列中，以此创建新的视图构建任务。当视图构建任务完成后，PCN同时将视图发送给用户A和用户B，故vtB=vtA。

第二种情况：如图4所示，PCN分别在时刻tA和tC接受了用户A和用户C的请求，由于PCN接受用户C的请求QC时，用户A的请求QA已经处理完成，很显然，vtC>vtA。

所以，综合上述两种情况，性质得证。

□

性质2 将用户获得的视图按照PCN的局部时间排序后，生成时间较晚的视图的版本高于生成时间较早的视图的版本，并且版本高的视图比版本低的视图准确。即两个视图(PCN,ViewA,VisionA,tA,vtA)和(PCN,ViewB,VisionB,tB,vtB)，如果vtB≥vtA,则VisionB≥VisionA，并且VisionA和VisionB对应的网络真实状态(RealStateA,trsA)和(RealStateB,trsB)满足trsB≥trsA。

Figure 4 Consistent view for multiple users based on the selection algorithm

证明 由于网络视图是由PCN统一构建的，并且视图的构建时刻都是按照PCN的时间为标准的，因此构建时间较晚的视图必然比构建视图较早的视图的版本高，即两个视图(PCN,ViewA,VisionA,tA,vtA)和(PCN,ViewB,VisionB,tB,vtB)，如果vtB≥vtA，则VisionB≥VisionA。并且由于ViewB的构建时间比ViewA的构建时间晚，因此ViewB获得的信息必然更新，即VisionA和VisionB对应的网络真实状态(RealStateA,trsA)和(RealStateB,trsB)满足trsB≥trsA。

□

从上面两个定理可以看出，在可信可控网络中利用基于选举的一致性视图构建算法为多个控制节点统一构建网络视图的方法保证了网络视图的一致性。

4 多粒度视图构建

在前文中，我们给出了在可信可控网络的AS内为多个控制节点构建一致性视图的算法。在可信可控网络中，我们给出了可信可控网络中控制信息描述模型[12]，以及对这些信息进行存储的控制信息数据库。在本节中我们将基于该算法和可信可控网络控制信息数据库为AS内多个控制节点提供网络设备粒度和网络协议粒度的一致性视图。

AS内设备粒度的一致性视图构建：设备粒度的视图构建主要为用户提供以AS内网络设备的邻接关系为主体构建的网络拓扑视图。按照上文给出的一致性视图构建方法，当用户提出构建设备粒度视图的请求后，主控制节点接受该请求，并将构建任务分配给优先级最高的RSCN负责构建视图；RSCN将协调构建任务分配给各个JSCN后，各个JSCN分别在其负责的控制域内构建设备粒度的局部视图，并返回给RSCN；RSCN根据各个JSCN返回的局部视图构建AS内设备粒度的一致性视图后，将一致性视图返回给PCN；最后PCN将结果返回给发出请求的用户。

AS内协议粒度的一致性视图构建：协议粒度的视图在网络拓扑视图的基础上进行细化，将运行在传输网络上的协议之间的通信关系在视图上反映出来。由于协议粒度的视图比设备粒度的视图能够更详细地反映网络状态以及各个协议之间的依赖关系，因此构建协议粒度的一致性视图对网络管理和网络控制更有帮助。可信可控网络的的每个控制节点都对其负责的控制域内运行的协议状态信息进行采集，并存储在控制信息数据库中，使得构建AS内的协议粒度的一致性视图成为可能。AS内协议粒度的一致性视图构建方法与设备粒度的视图构建方法一样，也是利用本节中给出的一致性视图构建方法进行构建。

5 仿真实验

在可信可控网络网络中，SCVCA保证了多个控制节点获取AS内的一致性视图。然而在多个控制节点对AS进行联合控制的过程中，需要保证视图能够在较短的时间和较低的负载下构建。为了验证SCVCA在构建时间和构建负载方面的性能，我们在仿真实验环境下对SCVCA和每个控制节点单独构建的方法SCM(SingleConstructionMethod)在时间和负载两个方面进行比较。为了更好地验证SCVCA的性能，本文利用仿真工具NS2构建了仿真实验。为了检验SCVCA在不同网络规模下的性能，随机生成了四个m+n不同规模的实验网络环境，其中m表示控制节点的个数，n表示路由器的个数，网络规模分别为3+8、5+26、8+57和12+105。

视图构建所需要的时间直接影响到网络控制的有效性。为了比较，我们在上述网络环境下给出了SCVCA与SCM两种算法的构建时间，如图5所示。从图5中可以看出,SCVCA构建视图所需要的时间在各种网络规模下都优于SCM，并且随着网络规模的增大和控制节点数量的增加，SCVCA构造视图所需要的时间的增长速度也低于SCM。这是因为SCVCA通过主控制节点将构造任务分配给从控制节点共同构建视图，从控制节点将自己控制的局部网络生成视图后返回主控制节点，这比SCM中将所有网络信息都发送给请求节点大大降低了数据传输的时间和构造过程中的计算量，从而有效缩短了视图构建的时间。

Figure 5 Construction time comparison of two kinds ofview generation algorithms under different network scale

多个控制节点构建视图必然造成网络传输的负担，进行网络视图构建的算法必须具有良好的可扩展性，不能随着网络规模的增长而出现爆炸性的消息传输数量。为了比较SCVCA和SCM随着网络规模的增大和网络中需要构建视图的节点的数量的增加引起的网络传输负载，我们给出了两种算法在多种网络规模下和多种需要构建视图的节点比例下引起的网络传输的消息数，如图6所示。从图6中可以看出，在各种情况下，SCVCA构建视图造成的网络消息数均明显低于SCM的。这是因为SCVCA由主控制节点负责为全网的所有请求生成一次视图，而SCM需要每个控制节点自己请求网络视图的构建信息来构建视图，这势必造成SCM构建视图过程中随着网络规模和请求数的增加网络信息传输量迅速增加。

Figure 6 Number of messages of two algorithms under different network scales

6 结束语

本文首先分析了在可信可控网络中利用多个控制节点对一个AS进行联合控制的情况，为多个控制节点提供一致性视图的必要性，并给出了各个控制节点独自构建网络视图造成的问题；然后针对这些问题，提出了可信可控网络中为多个控制节点构建一致性视图的机制，包括主控制节点的选举算法和基于选举的一致性视图的构建算法，保证了视图版本一致性，并对该算法构建的视图的一致性进行了分析；最后在控制信息数据库的基础上，为控制节点提供了AS内设备粒度和协议粒度的一致性视图。

本文解决的一致性视图问题是可信可控网络中多个控制节点对AS进行联合控制的基础，然而多个控制节点对AS进行有效控制还涉及到AS外信息的共享问题。为了更好地提高网络控制的效率，建立多个控制节点AS间有效的信息共享机制将是非常有意义的工作。

[1]BouabeneG,JelgerC,TschudinC,etal.Theautonomicnetworkarchitecture(ANA)[J].IEEEJournalonSelectedAreasinCommunications, 2010,28(1):4-14.

[2]IqbalH,ZnatiT.Distributedcontrolplanefor4Darchitecture[C]∥ProcofGlobalTelecommunicationsConference, 2007:1901-1905.

[3]WuJie.Distributedsystemdesign[M].Beijing:MachineryIndustryPress, 2001.(inChinese)

[4]KingGT,GendreauTB,NiLM.Reliableelectioninbroadcastnetworks[J].JournalofParallelandDistributedComputing, 1989, 7(1):521-546.

[5]ChangEG,RobertsR.Animprovedalgorithmfordecentralizedextrema-findingincircularconfigurationsofprocessors[J].CommunicationsoftheACM, 1979,22(5):281-283.

[6]DolevD,KlaweM,RothM.AnO(nlogn)unidirectionaldistributedalgorithmforextremafindinginacircle[J].JournalofAlgorithms, 1982,3(3):245-260.

[7]PetersonGL.AnO(nlogn)unidirectionaldistributedalgorithmforthecircularextremaproblem[J].ACMTransactionsonProgrammingLanguagesandSystems,1982,4(4):758-762.

[8]FranklinWR.Onanimprovedalgorithmfordecentralizedextremafindingincircularconfigurationsofprocessors[J].CommunicationsoftheACM, 1982,25(5):336-337.

[9]KorachE,MoranS,ZabsS.Tightlowerandupperboundsforsomedistributedalgorithmsforacompletenetworkofprocessors[C]∥Procofthe3rdAnnualACMSymposiumonPrinciplesofDistributedComputing, 1984:199-205.

[10]MansB,SantoroN.Optimalelectionsinfaultyloopnetworksandapplications[J].IEEETransactionsonComputers, 1998,47(3):286-297.

[11]Garcia-MolinaH.Electionsinadistributedcomputingsystem[J].IEEETransactonsonComputers, 1982,C-31(1):48-59.

[12]WangP,LuoJZ,LiW,etal.Controlinformationdescriptionmodelandprocessingmechanisminthetrustworthyandcontrollablenetwork[C]∥Procofthe11thIFIP/IEEEInternationalSymposiumonIntegratedNetworkManagement(IM09), 2009:398-405.

附中文参考文献：

[3] 吴杰. 分布式系统设计[M]. 北京：机械工业出版社,2001.

CAO Sheng-lin,born in 1976,MS,associate professor,his research interests include computer network management, and next generation network.

柳立言(1980-),女,宁夏隆德人，硕士，副教授，研究方向为计算机网络管理、下一代网络和信息技术。E-mail:nxlly@163.com

LIU Li-yan,born in 1980,MS,associate professor,her research interests include computer network, next generation network, and information technology.

A consistent view construction mechanism in trustworthy and controllable network

CAO Sheng-lin,LIU Li-yan

(College of Mathematics and Computer Science,Ningxia Teachers University,Guyuan 756099,China)

Multiple control nodes are used to control an AS coordinately in trustworthy and controllable networks, thus easily resulting in the problem of inconsistent AS views of different control nodes. To solve this problem, based on the trustworthy and controllable network model, an election algorithm based consistent view construction mechanism is proposed. Firstly, an election algorithm is used to generate a primary control node. Secondly, according to the loads of the control nodes in an AS, the primary control node assigns the view construction tasks to the control node with the lowest load. Thirdly, the version of the generated view is defined by the time of the primary control node. The mechanism avoids the problem of inconsistent views due to the individual view construction of different control nodes. Besides, the simulation experiment results show that the proposal has good performance.

trustworthy and controllable network model;selection algorithm;consistent view

1007-130X(2015)01-0070-08

2013-04-18;

2013-06-04基金项目：宁夏自然科学基金资助项目(NZ14278)

TP301

A

10.3969/j.issn.1007-130X.2015.01.011

曹生林(1976-),男,宁夏中宁人，硕士，副教授，研究方向为计算机网络管理和下一代网络。E-mail:nxcsl@163.com

通信地址：756099 宁夏固原市宁夏师范学院数学与计算机科学学院

Address:College of Mathematics and Computer Science,Ningxia Teachers University,Guyuan 756099,Ningxia,P.R.China