1.一种面向时间触发流可靠传输的调度方法,其特征在于,包括以下步骤:步骤一,利用指数分布,构建适合瞬时故障的故障模型;
步骤二,计算为了容忍瞬时故障每条TT流需要传输的最小实例副本数量;
步骤三,对原有的约束条件进行改进,并为CRC相关流和TT重传流制定相应的约束,利用改进的ILP的方法调度TT流、CRC相关流和TT重传流。
2.如权利要求1所述的面向时间触发流可靠传输的调度方法,其特征在于,步骤一中流实例遇到瞬时故障建模为指数分布,定义流fi实例在链路[va,vb]上传输失败的概率为:其中λ表示每小时发生的预期故障数, 为一个TT流fi实例在链路[va,vb]对应出口端口上的传输时长,d为链路的传播时延。
3.如权利要求1所述的面向时间触发流可靠传输的调度方法,其特征在于,故障模式定义了交换机遇到故障时的行为;当接收端正确接收了发送端发送的数据后,会返回确认消息;当接收端错误接收发送端发送的数据后,即发送端在发送数据的过程中遇到了瞬时故障,接收端会返回否定确认,以便发送端可以及时进行数据重传,若接收端进行CRC检测后,返回的检测结果消息也遇到了瞬时故障,则发送端执行超时重传。
4.如权利要求1所述的面向时间触发流可靠传输的调度方法,其特征在于,对于如果pfhx满足下式,则在x级别中的所有流都满足了可靠性要求;
pfhx≤PFHx
每个可靠性级别中的流使用相同的ni,而不同流的rd′i和F′i是不相同的,为了使得x级别中的每条流都能满足可靠性要求,需要使用rd′i和F′i的最大值来代替每条流对应的值,这样当pfhx≤PFHx时,x级别中的每条流就都可以满足可靠性的要求。
5.如权利要求1所述的面向时间触发流可靠传输的调度方法,其特征在于,针对TT流fi实例传输时刻 和队列分配 这两个变量做如下约束:(1)帧约束
每个实例必须在其周期内完成传输,对于 有,(2)延时约束
下式保证了TT流以及TT重传流都能在其截止时间之前到达目的节点;流fi的路径可以表示为 对于 有:其中, 表示最后一个TT重传流实例副本在路径ri上最后一段链路对应出口端口的传输时刻;
(3)流传输约束
下式保证了流fi实例在链路上传输的顺序,必须在前驱链路[va,vx]上传输结束后,才能在后继链路[vx,vb]上进行传输;对于 有:其中ni表示流fi需要传输副本的数量,d表示流在链路上的传播时延,δ表示最大时钟同步误差;
(4)链路约束
一条物理链路同时只能传输一个流实例,对于
有:
其中, M表示一个无穷大的常量;
上式两个约束条件只有一个需要满足;
(5)帧隔离约束
在空间上隔离,需要不同TT流实例进入不同的队列;在时间上隔离,当不同TT流实例进入相同队列时,需要在前一个实例传输完成后,后一个实例才能进入队列;对于有:其中, w保证了上式两个约束条
件只有一个得到满足,M表示一个无穷大的常量, 用来判断两条流是否进入不同队列,可由下式表示,
6.如权利要求1所述的面向时间触发流可靠传输的调度方法,其特征在于,CRC相关流实例在链路[va,vb]对应出口端口的传输时刻,如下:CRC相关流约束:
对于 有,
其中,σ1∈{0,1},用来限制上式两个约束条件中只能满足一个;同样,CRC相关流需要进行帧隔离来防止交叉,对于有:
其中,w1∈{0,1},保证上式两个约束条件中满足一个, 用来判断两条流是否进入不同队列,可由下式表示:
7.如权利要求1所述的面向时间触发流可靠传输的调度方法,其特征在于,TT重传流实例在链路[va,vb]对应出口端口的传输时刻表示为:TT重传流约束:
对于 有:
其中,σ2∈{0,1},用来限制上式两个约束条件中只能满足一个。
8.如权利要求1所述的面向时间触发流可靠传输的调度方法,其特征在于,模型定义的目标函数将每个流的端到端延迟最小化,即式中Ωi表示TT流fi的端到端延时。
9.一种如权利要求1~8任意一项所述的面向时间触发流可靠传输的调度方法的面向时间触发流可靠传输的调度系统,其特征在于,该系统包括:故障模型构建模块,用于利用指数分布,构建适合瞬时故障的故障模型;
最小实例副本数量计算模块,用于计算为了容忍瞬时故障每条TT流需要传输的最小实例副本数量;
调度模块,用于利用改进的ILP的方法调度TT流、CRC相关流和TT重传流。