第12卷第21期2012年7月 科学技术与工程 Vo1.12 No.21 Ju1.2012 1671—1815(2012)21-5347.04 Science Technology and Engineering @2012 Sci.Tech.Engrg. IEEE ̄1394b光纤总线互连实时性分析 徐长彬王建华 (中国人民驻十一所军代室,北京100015) 摘要 重点对IEEE--1394b互连系统的静态等时传输模型和动态传输模型进行了详细研究,分别得到了上述两个模型下 消息的平均等待时间的数学表达式,指出了IEEE--1394b互连系统中影响实时特性的因素,并对分析结果进行了仿真。关键 参数消息的平均等待时间是IEEE--1394b光纤总线互联系统实时性研究的重点。介绍了IEEE--1394互连系统实时性的特 点,重点推导了等时传输和异步传输模型的消息平均等待时间的数学表达式,通过仿真得出等时传输对异步传输具有很大 影响。 关键词实时性 IEEE--1394b 光纤总线 文献标志码等时传输 A 异步传输 中图法分类号TP393.14; 实时陛¨ 是实时信息处理系统中评价总线的 重要性能指标。但是随着越来越多的密集数据主 1 mEE一1394b的实时性特点 在实时性方面,IEEE一1394b的特点主要在于 IEEE--1394b的介质访问控制协议采用仲裁的方 式,包括等时仲裁和异步仲裁。图1所示为IEEE一 要包括音视频数据的需求远远超出现有总线的数 据承载能力。根据光纤数据总线的优点,充分利用 IEEE 1394b 的优越性能,将IEEE 1394b光纤数 据总线应用到电子综合化系统中,是解决实时性的 选择之一。IEEE 1394b光纤总线不仅在工业和测 控领域被广泛应用,而且已经逐步深入到航空航天 1 394b协议在一个周期内的数据传输。 领域。它的空间应用能充分利用网络节点的智能, 更好地实现实时传输和分布式控制。 综合电子系统从集中式结构发展到分布式结 … 磐 2O% 构,信息运算处理能力不断增强,运算速度和系统 总线带宽不断提高,系统地实时性得到了很大的改 善。然而,如何精确地掌握系统的实时性,改进和 80% 图1 IEEE--1394b总线周期 完善互连系统设计,是目前迫切需要解决的问题。 消息在队列中的平均等待时间是排队论中衡量系 统性能的重要指标。为实现网络的实时传输特性, 寻求合理、正确的关键参数的数学表达式是近年来 网络实时I生研究关注的焦点之一。 并且IEEE--1394b协议保证了周期性数据传 输以等时模式进行,同时协议规定了在没有等时数 据传输时,异步数据将占有总线资源。因此IEEE一 1394协议适合于实时应用的场合,传输模式采用同 步时分复用帧结构。每一帧被分为固定和可移动 的两部分,主要用于两种不同类型数据传输的动态 资源分配。。J。 2o12年4月lO日收到 第一作者简介:徐长彬(1983一),汉族,河北唐山人,硕士研究生,助 理工程师,研究方向:质量监督。E—mail:xcbgxgc@163.com。 2 IEEE一1394b的静态传输模型 假设在IEEE--1394b的每一个周期内存在确 5348 科学技术与工程 12卷 定的时间段用于传输等时数据,据此建立等时传输 模型。该模型可以用于长时间等时数据传输的应 用场合。IEEE一1394b的静态传输模型是基于一个 离散时间队列。 模型引入两个变量: 表示第n个周期开始 时,缓存中异步包的数目, (h=1,…,Ⅳ)表示第 n个周期的第h个时间片结束时缓存中异步包的 数目, 和 的表示如图2所示。A:(h=1,…, Ⅳ)表示第n个周期的第h个时间片期间到达的异 步包的数目,根据假设,A:服从参数为A 。 的泊松 分布。 第n个周期(1个周期=125微秒=,v个时间片) 同步教据传输时间= 个时间片 第 Y Y 1: Y: Y Y 图2静态IEEE--1394等时传输模型 该系统的数学模型为: f A:+ ~;h=1,…,K, “ 【A +[ ~一1] ;h=K+1,…,Ⅳ, (1) 式(1)中[Y] :=max(0,Y)。并且有 := , + = ,n:0,1,2,…。 式(1)中的 由两部分组成,第一部分表示在 第n个周期的第h个时间片时间段内到达的异步数 据包;第二部分表示第h个时间片的整个时间段内 一直驻留在缓存中的异步数据包。序列{ , = 1,2,…}组成了离散时间马尔可夫链。 3 IEEE—l394b的动态传输模型 IEEE--1394b的动态传输模型适用于同时需要 考虑等时与异步数据的场合,即每个周期用于传输 等时数据的时间段都存在差异。 3.1等时传输模式模型 首先用连续周期内用于传输等时数据的时间 片数目构成马尔可夫链。再基于异步包队列构造 另一个马尔可夫链。 该模型研究的是在连续周期内发生的同步传 输行为。令 为在第n个周期用于传输同步数据 的时间片数目。因为等时传输过程的保持时间服 从同一参数的指数分布,因此对每一个周期而言, 单独一次等时传输服务结束的概率是相同的: P 1一e一 。 显然,队列{X ,irt=1,2,…}构成了一个马尔 可夫链。 根据损失制模型的假设,状态转移概率q = P(X =.『I X =i),i=0,…,M,j=0,…, 可以 表示为: g : 『∑ n(i,k)C(j+ 一 ); =o,…,M一1 【∑ :。n(i, )∑l =M+k-ic(z); =M (2) 式(2)中日( ,k)为伯努利概率,c(k)为泊松概率, 分别定义为: B( , ) ( )p (1一p) ; c㈤: 。 一 (3) 式(2)表明当.『=0,…,M一1时,假定在第n个 周期有k个等时传输过程结束。对于第n+1个周期 内 个等时传输过程,需要在第n个周期内有 +k— i个同步传输请求到达。g 由变量k对应的所有可能 事件的概率累加而得到。当 =M时,需要在第n个 周期至少有M+k—i个等时传输请求到达,gi肼可以 用类似的过程求得。 将变量i一 置换为 ,则重新改写g 为: g = f∑r ̄ n(id)B(i, —:。k)c(j一 ), =o,…,M一1 【∑ :。B(i, 一 )∑1 =M-kc(z), = (4) (M+1)×(M+1)阶矩阵Q=[q ]给出了马 尔可夫链{X }的状态转移矩阵。 3.2异步传输模式模型 用一个二维离散事件马尔可夫链来对异步传 2l期 徐长彬,等:IEEE--1394b光纤总线互连实时 分析 输的队列过程进行建模。可以得到。 = + +l( ):丁eN.L4DT(z-I)兰yn( ) g + 萋(Ⅳ_1 [1_ )] 1 M N一1 ., ∑: (0)[(Ⅳ一 )A 町+ — ] ∑∑P:(0; )e nAD q N—K—NAA町 [(Ⅳ一K)(N—K一1)一 A ] (5) 2(N—K—NAA町 假定当 _+∞时,系统进入稳态,可以得到矩 Ⅳ一1 阵方程: ∑ (0)( e “ ) =0;l=1,…,N—K一1 i=K y(z)= (6) = e帆ADT 一 删一 ,Z=1,…,N—K一1 式(6)中F(z)=ZN + 一a(z),IM+ 为( +1)× =e2 (Ⅳ一目 ( +1)阶单位矩阵,a(z)=e肌一‘ diag{1,z, (10) …,z }Q,向量V(z)=[Vo( ),…, ( )],F (z) 当取传输时间间隔N=5,分别对等时传输的时 为矩阵F( )的伴随阵。 间间隔的数量 和异步数据包的到达率A棚为不 同值时,IEEE一1394b异步数据包的平均等待时间 8 函数Y(z)在开域内是可解析的和连续的。而 V(z)、A(z)和F(z)在整个复平面上是可解析的,因 进行曲线拟合,如图3。很明显,异步传输的平均 此Y(z)是在闭域内的邻域解析。可得: 等待时间 随着等时传输的时间问隔的数量 和 F (1)1 +l=N1 +1一NAADT1 +1一 (7) 异步数据包的到达率A 的增加而增加。也就是说 又因订 =∑ M 7r = ],此处的数学期望 如果总线系统等时传输业务越大,将导致异步传输 表示每个周期内用于传输同步数据的时间片的平 平均等待时间增加。因为IEEE一1394b总线带宽 均数目。对式(7)左乘订并进行变换求得未知 是确定的,当等时业务较大时,因为等时传输具有 变量: 较高的优先级,因为总线将尽可能地先满足其传输 带宽要求,这样也就必然致使异步传输带宽减小, ∑∑Pi(0;i)=N—NA 一 ] (8) 造成异步传输的平均等待时间增加。同时,当异步 式(8)中的累加必须为正,因此可得: 数据量在某个时间段上,传输数据量很大时也将造 NA 。 <N一[X] (9) 成其平均等待时间变长。 即每个周期内异步传输的平均负载必须小于能够 』 』 』 』 支持异步传输的最大时间片的数目。式(9)是异步 f l | | 包队列稳定的充分条件。 i 4 K=3 { } 4仿真分析 ^ /l l / - 从上述的分析过程可以看出,对IEEE 1394传 H_..—一一 ●fH 十r / 输进行数学建模并求异步数据包的平均等待时间 ._ ..t+●什 是个复杂且繁琐的过程,在工程实践中如果对每 O O 2 0 4 O 6 次传输过程都进行实际分析是不现实也是没有必 异步包到达率 要的,因此不妨对该模型进行大致分析。整个数 图3数学模型的曲线拟合 学模型的核心就是分析式(10)所描述的方程组, 并求出IEEE 1394b异步数据包的平均等待 5结束语 时间 。 本文从关键参数消息平均等待时间,对互连系 6 5 7 星鲁姑 5350 科学技术与工程 12卷 统的实时特性进行了研究,重点对IEEE一1394b互 社,1995 连系统的静态等时传输模型和动态等时和异步传 2 Huang C Y,Kuo T W,Pang A C.QoS SupportforIEEE--1394 Re— 输模型进行了详细研究和分析,分别得到了上述两 quests.SAC06,2006;(4):23_27 3 Chaaban K,Shawky M,Crubille P.A distributed framework for real- 个模型下消息的平均等待时间的数学表达式,指出 time in—vehicle applications.Proceedings of the 8th International 了IEEE一1394b互连系统中影响实时特性的因素。 IEEE Conferanee on Intelligent Transportation Systems,2005: 并对分析结果进行了仿真。 925—_929 本文推导出了基于IEEE--1394b互联系统的 4 IEEE standard for spaeeborne fiber—optic data bus.IEEE Std,1999: 实时性关键参数的表达式。通过仿真结果分析看, 1393--1999 5 IEEE Std.1394b--2002 IEEE stnadard for a high-performance serila 等时传输业务量大时将影响异步传输的平均等待 bus-maendment 2.IEEE Std 1394b--2002(Amendment to IEEE 时间,同时当异步数据量在某个时间段上很大时也 Std 1394--1995),2002:1—_369 将造成其平均等待时间变长,这为实时传输处理提 6 Gitman I,Hsieh W N,Oeehiogrosso B J.Analysis and design of hy- 供了依据。随着实际应用复杂性的不断提高,实时 brid switching networks.IEEE Trans Commun,1981;9(COM一 性能的处理能力对互连技术变得越为重要。 29):1290--1300 参考文献 1 袁由光.实时系统中的可靠性技术.北京:清华大学出版 Analyse of Optical Bus Real・time Basing on IEEE--1394b XU Chang-bin,WANG Jian-hua (Martial Delegate Office in North China Research Institute of Electro—optics,Beijing 100015,P.R.China) [Abstract J The IEEE--1394b interconnect system static isochronous transmission model and dynamic model are focused on the two models are obtained under the average waiting time of message mathematical expression.Pointed out IEEE--1 394b interconnect system influence the real—time characteristic factor,and the analysis results are sim— ulated.Key parameter message average waiting time is IEEE--1 394b fiber optical bus interconnection system real— time research focus.The IEEE--1 394b interconnect system real-time characteristics is introduced,focus of the isochronous and asynchronous transfer model of the messages the average waiting time of mathematical expression. Through simulated the isochronous transmission of asynchronous transmission has a great influence. [Key words] real—time IEEE--1394b optical bus isochronous transmission asynchronous trans. m;ssion