CN111352781B - 用于重传部件模块级验证的报文自动比对正确性检查方法及装置 - Google Patents

用于重传部件模块级验证的报文自动比对正确性检查方法及装置 Download PDF

Info

Publication number
CN111352781B
CN111352781B CN202010127084.0A CN202010127084A CN111352781B CN 111352781 B CN111352781 B CN 111352781B CN 202010127084 A CN202010127084 A CN 202010127084A CN 111352781 B CN111352781 B CN 111352781B
Authority
CN
China
Prior art keywords
request
retransmission
queue
idle
message
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN202010127084.0A
Other languages
English (en)
Other versions
CN111352781A (zh
Inventor
罗健美
杨俊�
庞守雷
李永进
王英
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Phytium Technology Co Ltd
Original Assignee
Phytium Technology Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Phytium Technology Co Ltd filed Critical Phytium Technology Co Ltd
Priority to CN202010127084.0A priority Critical patent/CN111352781B/zh
Publication of CN111352781A publication Critical patent/CN111352781A/zh
Application granted granted Critical
Publication of CN111352781B publication Critical patent/CN111352781B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2205—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested
    • G06F11/2236—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested to test CPU or processors
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2273—Test methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/48—Program initiating; Program switching, e.g. by interrupt
    • G06F9/4806—Task transfer initiation or dispatching
    • G06F9/4843—Task transfer initiation or dispatching by program, e.g. task dispatcher, supervisor, operating system
    • G06F9/4881—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
    • Y02D30/00—Reducing energy consumption in communication networks
    • Y02D30/50—Reducing energy consumption in communication networks in wire-line communication networks, e.g. low power modes or reduced link rate

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Software Systems (AREA)
  • Communication Control (AREA)
  • Computer And Data Communications (AREA)

Abstract

本发明公开了一种用于重传部件模块级验证的报文自动比对正确性检查方法及装置，重传接收端的实施步骤包括：对需要重传的动态请求报文通过映射队列分配一个空闲请求队列且将对应的重传计数器加1；对静态请求报文通过查询分配到的映射队列分配信息，将该静态请求的报文关键信息与分配的空闲请求队列中所有有效项记录的关键信息进行对比，如果比对成功则将对应的空闲请求队列清空并将有效位清零、重传计数器减1；最终若所有的空闲请求队列清空且有效位清零、重传计数器均已归零则判定重传部件已通过模块级验证。本发明具有计算量小、占用资源少、定位迅速、检测效率高、通用性好的特点，可加快重传部件的验证速度和设计收敛。

Description

用于重传部件模块级验证的报文自动比对正确性检查方法及 装置
技术领域
本发明涉及众核处理器验证领域，具体涉及一种用于重传部件模块级验证的报文自动比对正确性检查方法及装置。
背景技术
随着集成物理尺寸的缩小，众核处理器的设计复杂度不断增加，面市时间不断缩短。功能验证已成为设计开发周期中的瓶颈。众核处理器验证通常采用层次化的方法进行，以保证验证结果的精确度和工作效率。在自底向上的验证方法中，子模块是整个系统的基础，子模块的正确性是最终整个设计正确工作的基础。
在集成电路技术的迅猛发展和应用需求的强力推动下，基于片上网络的众核处理器体系结构发展日益成熟。如何提供高效的存储管理和可靠的互连通信协议，是设计和实现高性能众核处理器的重要内容。重传机制主要用于实现无差错的链路层通信，在数据传输系统中应用十分广泛，意义重大。在采用二维Mesh（2D-Mesh）片上网络的众核处理器中，重传部件的主要原理是基于后退N帧重传协议的重传机制，采用请求自动重传思想和信用动态重传的流控方式，对于在网络层传输过程中丢失的请求报文进行自动重发，以实现片上网络节点之间报文的高效高可靠收发控制。
发明内容
本发明要解决的技术问题：针对现有技术的上述问题，提供一种用于重传部件模块级验证的报文自动比对正确性检查方法及装置，本发明具有计算量小、占用资源少、定位迅速、检测效率高、通用性好的特点，可加快重传部件的验证速度和设计收敛。
为了解决上述技术问题，本发明采用的技术方案为：
一种用于重传部件模块级验证的报文自动比对正确性检查方法，所述重传部件由重传发送端和重传接收端组成，且重传接收端的实施步骤包括：
1）预先构造一组空闲请求队列、一组重传计数器和一个映射队列；
2）当有从重传发送端发来的动态请求报文在到达重传接收端之后被丢弃需要被重传时，跳转执行步骤3）；当需要被重传的静态请求报文从重传发送端重新发到重传接收端时，跳转执行步骤5）；如果测试结束，跳转执行步骤6）；
3）通过映射队列分配一个空闲请求队列且每次通过映射队列分配空闲请求队列后将对应的重传计数器加1；
4）将动态请求的报文关键信息存入分配到的空闲请求队列中并设置有效位，并将动态请求的重传发送端id号存入分配到的映射队列中进行标记；否则跳转执行步骤2）；
5）通过查询分配到的映射队列分配信息，将该静态请求的报文关键信息与分配的空闲请求队列中所有有效项记录的关键信息进行对比，如果比对成功则将对应的空闲请求队列清空并将有效位清零、重传计数器减1；否则跳转执行步骤2）；
6）判断所有的空闲请求队列清空且有效位清零、重传计数器均已归零是否已经成立，如果成立则判定重传部件已通过模块级验证；否则，判定重传部件未通过模块级验证。
可选地，步骤1）中预先构造一组空闲请求队列、一组重传计数器和一个映射队列时，所述空闲请求队列为以自然数为索引，所述重传计数器以空闲请求序列号为索引，所述映射队列以重传发送端id号为索引；所述空闲请求队列的数目根据实际使用指定地址映射模式配置成与实际发出请求到同一重传接收端的重传部件发送端数目相同，根据请求报文中的重传发送端id号信息将来自不同重传发送端的请求报文分配到不同的空闲请求队列进行处理；每个空闲请求队列的大小与单个重传发送端最多能发送的待重传请求数目相同，所有待重传请求的部分信息将被记录在空闲请求队列中，每个待重传请求占用一项；所述重传计数器的个数与空闲请求队列数目一致，同步记录各对应的空闲请求队列中的待重传请求个数；所述映射队列的大小与空闲请求队列的数目相同，映射队列用于保存重传发送端的id号信息，每个不同的重传发送端id号占用一项。
可选地，步骤3）的详细步骤包括：根据该动态请求报文的重传发送端id号查询所述映射队列，如果映射队列中已能查询到该重传发送端id号映射的空闲请求队列号，则分配该空闲请求队列给请求报文；如果映射队列中未能查询到该重传id号映射的空闲请求队列，则从映射队列中分配当前最小的空闲项号索引到的空闲请求队列给请求报文，并将该重传发送端id号存入映射队列中当前分配的最小空闲项中进行标记，同时打印请求类型标请求事务id号和请求地址信息，对应的重传计数器加1。
可选地，步骤4）的详细步骤包括：将该请求报文的关键信息包括请求类型标识、请求事务id号、请求地址等记录到上述分配的空闲请求队列中当前项号最小的空闲项中，同时将该空闲项的有效位置为1。
可选地，步骤5）的详细步骤包括：
5.1）根据该静态请求报文的重传发送端id号查询映射队列找到对应的请求队列，将该静态报文的请求类型标识、请求事务id号、请求地址信息，与该请求队列中有效位为1的所有有效项所记录的报文请求类型标识、请求事务id号、请求地址信息进行对比；如果能和其中的一项完全匹配，则表明该静态请求报文为设计需要的正确请求报文，则跳转执行步骤5.2）；否则如果该请求队列中没有任何一项有效项能与静态请求报文的信息相匹配，则表明该静态报文不是设计需要的正确请求报文，则跳转执行步骤5.3）；
5.2）清空该匹配项信息并将其有效位清零，将对应的重传计数器减1，跳转执行步骤2）；
5.3）判定设计有逻辑错误，终止程序并退出。
可选地，步骤5.2）中清空该匹配项信息并将其有效位清零时还包括打印输出成功信息。
可选地，步骤5.3）中终止程序时还包括打印错误信息，以及打印出静态请求报文的请求类型标识、请求事务id号、请求地址信息以便于追查和定位设计错误原因。
本发明还提供一种用于重传部件模块级验证的报文自动比对正确性检查装置，包括：
数据结构构造程序模块，用于预先构造一组空闲请求队列、一组重传计数器和一个映射队列；
判断处理程序模块，用于当有从重传发送端发来的动态请求报文在到达重传接收端之后被丢弃需要被重传时，跳转执行空闲请求队列分配程序模块；当需要被重传的静态请求报文从重传发送端重新发到重传接收端时，跳转执行静态报文处理程序模块；如果测试结束，跳转执行测试结束处理程序模块；
动态请求报文处理程序模块，用于通过映射队列分配一个空闲请求队列且每次通过映射队列分配空闲请求队列后将对应的重传计数器加1；
报文关键信息保存程序模块，用于将动态请求的报文关键信息存入分配到的空闲请求队列中并设置有效位，并将动态请求的重传发送端id号存入分配到的映射队列中进行标记；否则跳转执行判断处理程序模块；
静态报文处理程序模块，用于通过查询分配到的映射队列分配信息，将该静态请求的报文关键信息与分配的空闲请求队列中所有有效项记录的关键信息进行对比，如果比对成功则将对应的空闲请求队列清空并将有效位清零、重传计数器减1；否则跳转执行判断处理程序模块；
测试结束处理程序模块，用于判断所有的空闲请求队列清空且有效位清零、重传计数器均已归零是否已经成立，如果成立则判定重传部件已通过模块级验证；否则，判定重传部件未通过模块级验证。
本发明还提供一种用于重传部件模块级验证的报文自动比对正确性检查装置，包括计算机设备，该计算机设备被编程或配置以执行所述用于重传部件模块级验证的报文自动比对正确性检查方法的步骤，或该计算机设备的存储器上存储有被编程或配置以执行所述用于重传部件模块级验证的报文自动比对正确性检查方法的计算机程序。
本发明还提供一种计算机可读存储介质，该计算机可读存储介质上存储有被编程或配置以执行所述用于重传部件模块级验证的报文自动比对正确性检查方法的计算机程序。
和现有技术相比，本发明具有下述优点：
1）本发明计算量小，占用资源少，不需要经过复杂运算，只需要实时监控并修改队列的内容即可模拟真实的请求重传收发过程。
2）具有较好的通用性和扩展性。由于该报文自动比对正确性检验模型和重传部件发送端的接口一致，在子系统级和全系统级的验证和调试中也能发挥作用；同时，空闲请求队列的数目、映射队列的深度和重传计数器的数目都可支持参数配置，在不同的地址映射模式下，能改变模型占用的资源，精确满足验证需求。
附图说明
图1为本发明实施例方法的基本流程示意图。
图2为本发明实施例中的空闲请求队列示意图。
图3为本发明实施例中的映射队列示意图。
图4为本发明实施例中的动态请求处理基本流程示意图。
图5为本发明实施例中的静态请求处理基本流程示意图。
具体实施方式
本实施例用于重传部件模块级验证的报文自动比对正确性检查方法中，重传部件由重传发送端和重传接收端组成，如图1所示，重传接收端的实施步骤包括：
1）预先构造一组空闲请求队列、一组重传计数器和一个映射队列；本实施例中具体构造的是一组以自然数为索引的空闲请求队列、一组以空闲请求队列号为索引的重传请求计数器B、和一个以重传发送端id号为索引的映射队列（该队列初始状态为空）。
2）当有从重传发送端发来的动态请求报文在到达重传接收端之后被丢弃需要被重传时，跳转执行步骤3）；当需要被重传的静态请求报文从重传发送端重新发到重传接收端时，跳转执行步骤5）；如果测试结束，跳转执行步骤6）；
3）通过映射队列分配一个空闲请求队列且每次通过映射队列分配空闲请求队列后将对应的重传计数器加1；
4）将动态请求的报文关键信息存入分配到的空闲请求队列中并设置有效位，并将动态请求的重传发送端id号存入分配到的映射队列中进行标记；否则跳转执行步骤2）；
5）通过查询分配到的映射队列分配信息，将该静态请求的报文关键信息与分配的空闲请求队列中所有有效项记录的关键信息进行对比，如果比对成功则将对应的空闲请求队列清空并将有效位清零、重传计数器减1；否则跳转执行步骤2）；
6）判断所有的空闲请求队列清空且有效位清零、重传计数器均已归零是否已经成立，如果成立则判定重传部件已通过模块级验证；否则，判定重传部件未通过模块级验证。
本实施例中，步骤1）中预先构造一组空闲请求队列、一组重传计数器和一个映射队列时，空闲请求队列为以自然数为索引，重传计数器以空闲请求序列号为索引，映射队列以重传发送端id号为索引。
空闲请求队列的数目根据实际使用指定地址映射模式配置成与实际发出请求到同一重传接收端的重传部件发送端数目相同，根据请求报文中的重传发送端id号信息将来自不同重传发送端的请求报文分配到不同的空闲请求队列进行处理；每个空闲请求队列的大小与单个重传发送端最多能发送的待重传请求数目相同，所有待重传请求的部分信息将被记录在空闲请求队列中，每个待重传请求占用一项；重传计数器的个数与空闲请求队列数目一致，同步记录各对应的空闲请求队列中的待重传请求个数；映射队列（该队列初始状态为空）的大小与空闲请求队列的数目相同；映射队列用于保存重传发送端的id号信息，每个不同的重传发送端id号占用一项。
本实施例中，一组空闲请求队列、一组重传计数器和一个映射队列的数目都可支持参数配置：通过参数配置每个空闲请求队列的大小与单个重传部件发送端最多能发送的待重传请求数目相同，所有待重传动态请求的请求类型标识、请求事务id号、请求地址信息将被记录在空闲请求队列中，每个请求占用一项。参数配置重传请求计数器B的最大值与空闲请求队列的大小相同，映射队列的大小与空闲请求队列的数目相同。以及所述映射队列的大小与空闲请求队列的数目相同，映射队列用于保存重传发送端的id号信息，每个不同的重传发送端id号占用一项。
如图2所示，本实施例中构造了一组空闲请求队列freequeue_0、freequeue_1、freequeue_2、freequeue_3、……freequeue_15，共16个，与实际发出请求到同一重传接收端的重传发送端数量相同（全系统共有32个重传发送端，每个发送端的id号均不相同，但实际能发送到同一接收端的重传发送端数量不超过16个）。其中，每个空闲请求队列的大小为64项，与单个重传发送端最多能发送的待重传请求数目相同，所有待重传请求的部分信息将被记录在空闲请求队列中，每个请求占用一项。
如图3所示，本实施例中构造了一个以重传发送端id号为索引的映射队列Sendermap_q。该映射队列的大小为16，与空闲请求队列的数目相同，映射队列的每一项保存一份不同的重传发送端id信息，如senderM id、senderX id等。在各重传发送端第一次有动态请求在接收端被丢弃需重传时，记录该报文中的重传发送端id号信息到映射队列中的最小空闲项中，同时为后续的静态请求和需重传的动态请求提供映射关系，根据该映射关系可查询请求对应的空闲请求队列。
此外，本实施例中构造的一组以空闲请求队列号为索引的重传请求计数器B，每个计数器B分别对应一个空闲请求队列，同步记录各队列中的待重传请求数目，大小为64，与每个空闲请求队列的大小相同。对于同一个请求队列，如果有动态请求需要被重传，记录完其请求的请求类型标识、请求事务id号、请求地址信息之后，该请求队列的计数器B加1,；如果有静态请求的请求类型标识、请求事务id号、请求地址信息与队列中的有效项记录信息匹配，该请求队列的计数器B减1。
本实施例中，步骤2）在验证环境实时监控输入重传接收端的所有请求，当重传标志为1，即有动态请求报文在到达重传接收端之后被丢弃需要被重传时，跳转执行步骤3）；当重传标志为0，且有静态请求报文从重传发送端重新发到重传接收端时，跳转执行步骤5）；这样可以简化判断处理，提高判断处理的效率。
参见图4，步骤3）的详细步骤包括：根据该动态请求报文的重传发送端id号查询映射队列，如果映射队列中已能查询到该重传发送端id号映射的空闲请求队列号，则分配该空闲请求队列给请求报文；如果映射队列中未能查询到该重传id号映射的空闲请求队列，则从映射队列中分配当前最小的空闲项号索引到的空闲请求队列给请求报文，并将该重传发送端id号存入映射队列中当前分配的最小空闲项中进行标记，同时打印请求类型标请求事务id号和请求地址信息，对应的重传计数器加1。
参见图4，步骤4）的详细步骤包括：将该请求报文的关键信息包括请求类型标识、请求事务id号、请求地址等记录到上述分配的空闲请求队列中当前项号最小的空闲项中，同时将该空闲项的有效位置为1。
参见图4，本实施例用于重传部件模块级验证的报文自动比对正确性检查方法，对于接收端动态请求处理的详细流程包括：（1）首先需要为该动态请求报文分配出一个空闲请求队列，分配的规则为：根据该动态请求报文的重传发送端id号查询映射队列，如果映射队列中已能查询到该重传发送端id号映射的空闲请求队列号，则分配该空闲请求队列给请求报文；如果映射队列中未能查询到该重传id号映射的空闲请求队列，则从映射队列中分配当前最小的空闲项号索引到的空闲请求队列给请求报文，并将该重传发送端id号存入映射队列中当前分配的最小空闲项中进行标记，同时打印请求类型标请求事务id号和请求地址信息，对应的重传计数器加1；（2）完成空闲请求队列分配之后，将该请求报文的关键信息包括请求类型标识、请求事务id号、请求地址等记录到上述分配的空闲请求队列中当前项号最小的空闲项中，同时将该空闲项的有效位置为1。
参见图5，步骤5）的详细步骤包括：
5.1）根据该静态请求报文的重传发送端id号查询映射队列找到对应的请求队列，将该静态报文的请求类型标识、请求事务id号、请求地址信息，与该请求队列中有效位为1的所有有效项所记录的报文请求类型标识、请求事务id号、请求地址信息进行对比；如果能和其中的一项完全匹配，则表明该静态请求报文为设计需要的正确请求报文，则跳转执行步骤5.2）；否则如果该请求队列中没有任何一项有效项能与静态请求报文的信息相匹配，则表明该静态报文不是设计需要的正确请求报文，则跳转执行步骤5.3）；
5.2）清空该匹配项信息并将其有效位清零，将对应的重传计数器减1，跳转执行步骤2）；
5.3）判定设计有逻辑错误，终止程序并退出。
参见图5，步骤5.2）中清空该匹配项信息并将其有效位清零时还包括打印输出成功信息。
参见图5，步骤5.3）中终止程序时还包括打印错误信息，以及打印出静态请求报文的请求类型标识、请求事务id号、请求地址信息以便于追查和定位设计错误原因。
参见图5，本实施例用于重传部件模块级验证的报文自动比对正确性检查方法，对于接收端静态请求处理的详细流程包括：
（1）根据该静态请求报文的重传发送端id号查询映射队列找到对应的请求队列，将该静态报文的请求类型标识、请求事务id号、请求地址信息，与该请求队列中有效位为1的所有有效项所记录的报文请求类型标识、请求事务id号、请求地址信息进行对比；（2）如果能和其中的一项完全匹配，则表明该静态请求报文为设计需要的正确请求报文，打印“success”信息（成功信息）的同时清空该匹配项信息以及将其有效位清零，对应的重传计数器减1；如果该请求队列中没有任何一项有效项能与静态请求报文的信息相匹配，则表明该静态报文不是设计需要的正确请求报文，设计有逻辑错误，打印“error”信息（错误信息）并终止程序，同时可打印出静态请求报文的请求类型标识、请求事务id号、请求地址信息，便于追查和定位设计错误原因；（3）如果测试程序顺利结束，所有重传计数器都归零，所有空闲请求列表继续恢复到初始空闲状态，且有效位都清零，则说明设计通过了检验模型的检测，报文的收发结果正确。
最终，如果测试程序顺利结束，所有重传计数器都归零，所有空闲请求列表继续恢复到初始空闲状态，且有效位都清零，则说明设计通过了检验模型的检测，报文的收发结果正确。因此，步骤6）通过判断所有的空闲请求队列清空且有效位清零、重传计数器均已归零是否已经成立即可得到验证结果：如果成立则判定重传部件已通过模块级验证；否则，判定重传部件未通过模块级验证。
本实施例所适用的众核处理器重传部件由重传发送端和重传接收端组成，其发送端连接到系统的一致性协议控制部件，接收端连接到系统的访存部件，通过片上网络与各网络节点、网络接口及存储设备之间的联系非常紧密。另一方面，重传部件设计的协议规则比较复杂，当出现错误时人工定位将耗费大量的时间和精力。因此，在将重传部件进入系统级验证之前需要构造一个尽可能完备、充分的子模块验证环境进行全方位的验证。此时，开发一个自动化程度较高的重传功能检验模型，监控发送端发出的请求报文和接收端接收到的请求报文以进行正确性比较，将有助于高效地发现和定位子模块中的报文错误，减少因为人工检查带来的失误，加速重传部件的验证速度和设计收敛。对于本实施例所适用的众核处理器重传部件，着重说明以下两个设计规则：（1）对重传发送端的请求进行标记，第一次从重传发送端发出的请求标记为动态请求（Dynamic Request）；到达重传接收端由于某些原因无法接收被丢弃后第二次由重传发送端发出的请求标记为静态请求（StaticRequest），重传发送端发出的静态请求一定可以被重传接收端接收；（2）全芯片系统的重传发送端的数目一共有32个，在不同的地址映射模式下，同一个重传接收端实际将接收不同数目的重传发送端发出的请求，最多的情况将接收来自16个不同重传发送端发出的请求。不同的重传接收端每次所收到的请求来自不同的重传发送端。因此，检验模型也根据实际情况对到达接收端的请求报文信息中的重传发送端id号进行记录。
此外，本实施例还提供一种用于重传部件模块级验证的报文自动比对正确性检查装置，包括：
数据结构构造程序模块，用于预先构造一组空闲请求队列、一组重传计数器和一个映射队列；
判断处理程序模块，用于当有从重传发送端发来的动态请求报文在到达重传接收端之后被丢弃需要被重传时，跳转执行空闲请求队列分配程序模块；当需要被重传的静态请求报文从重传发送端重新发到重传接收端时，跳转执行静态报文处理程序模块；如果测试结束，跳转执行测试结束处理程序模块；
动态请求报文处理程序模块，用于通过映射队列分配一个空闲请求队列且每次通过映射队列分配空闲请求队列后将对应的重传计数器加1；
报文关键信息保存程序模块，用于将动态请求的报文关键信息存入分配到的空闲请求队列中并设置有效位，并将动态请求的重传发送端id号存入分配到的映射队列中进行标记；否则跳转执行判断处理程序模块；
静态报文处理程序模块，用于通过查询分配到的映射队列分配信息，将该静态请求的报文关键信息与分配的空闲请求队列中所有有效项记录的关键信息进行对比，如果比对成功则将对应的空闲请求队列清空并将有效位清零、重传计数器减1；否则跳转执行判断处理程序模块；
测试结束处理程序模块，用于判断所有的空闲请求队列清空且有效位清零、重传计数器均已归零是否已经成立，如果成立则判定重传部件已通过模块级验证；否则，判定重传部件未通过模块级验证。
此外，本实施例还提供一种用于重传部件模块级验证的报文自动比对正确性检查装置，包括计算机设备，该计算机设备被编程或配置以执行前述用于重传部件模块级验证的报文自动比对正确性检查方法的步骤，或该计算机设备的存储器上存储有被编程或配置以执行前述用于重传部件模块级验证的报文自动比对正确性检查方法的计算机程序。此外，本实施例还提供一种计算机可读存储介质，该计算机可读存储介质上存储有被编程或配置以执行前述用于重传部件模块级验证的报文自动比对正确性检查方法的计算机程序。
以上所述仅是本发明的优选实施方式，本发明的保护范围并不仅局限于上述实施例，凡属于本发明思路下的技术方案均属于本发明的保护范围。应当指出，对于本技术领域的普通技术人员来说，在不脱离本发明原理前提下的若干改进和润饰，这些改进和润饰也应视为本发明的保护范围。

Claims (10)

1.一种用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，所述重传部件由重传发送端和重传接收端组成，且重传接收端的实施步骤包括：
1）预先构造一组空闲请求队列、一组重传计数器和一个映射队列；
2）当有从重传发送端发来的动态请求报文在到达重传接收端之后被丢弃需要被重传时，跳转执行步骤3）；当需要被重传的静态请求的报文从重传发送端重新发到重传接收端时，跳转执行步骤5）；如果测试结束，跳转执行步骤6）；
3）通过映射队列分配一个空闲请求队列且在每次通过映射队列分配空闲请求队列后将对应的重传计数器加1；
4）将动态请求的报文关键信息存入分配到的空闲请求队列中并设置有效位，并将动态请求的重传发送端id号存入分配到的映射队列中进行标记；否则跳转执行步骤2）；
5）通过查询分配到的映射队列分配信息，将该静态请求的报文关键信息与分配的空闲请求队列中所有有效项记录的关键信息进行对比，如果比对成功则将对应的空闲请求队列清空并将有效位清零、重传计数器减1；否则跳转执行步骤2）；
6）判断所有的空闲请求队列清空且有效位清零、重传计数器均已归零是否已经成立，如果成立则判定重传部件已通过模块级验证；否则，判定重传部件未通过模块级验证。
2.根据权利要求1所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，步骤1）中预先构造一组空闲请求队列、一组重传计数器和一个映射队列时，所述空闲请求队列为以自然数为索引，所述重传计数器以空闲请求序列号为索引，所述映射队列以重传发送端id号为索引；所述空闲请求队列的数目根据实际使用指定地址映射模式配置成与实际发出请求到同一重传接收端的重传部件发送端数目相同，根据请求报文中的重传发送端id号信息将来自不同重传发送端的请求报文分配到不同的空闲请求队列进行处理；每个空闲请求队列的大小与单个重传发送端最多能发送的待重传请求数目相同，所有待重传请求的部分信息将被记录在空闲请求队列中，每个待重传请求占用一项；所述重传计数器的个数与空闲请求队列数目一致，同步记录各对应的空闲请求队列中的待重传请求个数；所述映射队列的大小与空闲请求队列的数目相同，映射队列用于保存重传发送端的id号信息，每个不同的重传发送端id号占用一项。
3.根据权利要求1所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，步骤3）的详细步骤包括：根据该动态请求的重传发送端id号查询所述映射队列，如果映射队列中已能查询到该重传发送端id号映射的空闲请求队列号，则分配该空闲请求队列给请求报文；如果映射队列中未能查询到该重传发送端id号映射的空闲请求队列，则从映射队列中分配当前最小的空闲项号索引到的空闲请求队列给请求报文，并将该重传发送端id号存入映射队列中当前分配的最小空闲项中进行标记，同时打印请求类型标请求事务id号和请求地址信息，对应的重传计数器加1。
4.根据权利要求1所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，步骤4）的详细步骤包括：将该请求报文的关键信息包括请求类型标识、请求事务id号、请求地址等记录到上述分配的空闲请求队列中当前项号最小的空闲项中，同时将该空闲项的有效位置为1。
5.根据权利要求1所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，步骤5）的详细步骤包括：
5.1）根据该静态请求的报文的重传发送端id号查询映射队列找到对应的请求队列，将该静态请求的报文的请求类型标识、请求事务id号、请求地址信息，与该请求队列中有效位为1的所有有效项所记录的报文请求类型标识、请求事务id号、请求地址信息进行对比；如果能和其中的一项完全匹配，则表明该静态请求的报文为设计需要的正确请求报文，则跳转执行步骤5.2）；否则如果该请求队列中没有任何一项有效项能与静态请求的报文的信息相匹配，则表明该静态请求的报文不是设计需要的正确请求报文，则跳转执行步骤5.3）；
5.2）清空该匹配项信息并将其有效位清零，将对应的重传计数器减1，跳转执行步骤2）；
5.3）判定设计有逻辑错误，终止程序并退出。
6.根据权利要求5所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，步骤5.2）中清空该匹配项信息并将其有效位清零时还包括打印输出成功信息。
7.根据权利要求5所述的用于重传部件模块级验证的报文自动比对正确性检查方法，其特征在于，步骤5.3）中终止程序时还包括打印错误信息，以及打印出静态请求的报文的请求类型标识、请求事务id号、请求地址信息以便于追查和定位设计错误原因。
8.一种用于重传部件模块级验证的报文自动比对正确性检查装置，其特征在于，包括：
数据结构构造程序模块，用于预先构造一组空闲请求队列、一组重传计数器和一个映射队列；
判断处理程序模块，用于当有从重传发送端发来的动态请求报文在到达重传接收端之后被丢弃需要被重传时，跳转执行空闲请求队列分配程序模块；当需要被重传的静态请求的报文从重传发送端重新发到重传接收端时，跳转执行静态报文处理程序模块；如果测试结束，跳转执行测试结束处理程序模块；
动态请求报文处理程序模块，用于通过映射队列分配一个空闲请求队列且每次通过映射队列分配空闲请求队列后将对应的重传计数器加1；
报文关键信息保存程序模块，用于将动态请求的报文关键信息存入分配到的空闲请求队列中并设置有效位，并将动态请求的重传发送端id号存入分配到的映射队列中进行标记；否则跳转执行判断处理程序模块；
静态报文处理程序模块，用于通过查询分配到的映射队列分配信息，将该静态请求的报文关键信息与分配的空闲请求队列中所有有效项记录的关键信息进行对比，如果比对成功则将对应的空闲请求队列清空并将有效位清零、重传计数器减1；否则跳转执行判断处理程序模块；
测试结束处理程序模块，用于判断所有的空闲请求队列清空且有效位清零、重传计数器均已归零是否已经成立，如果成立则判定重传部件已通过模块级验证；否则，判定重传部件未通过模块级验证。
9.一种用于重传部件模块级验证的报文自动比对正确性检查装置，包括计算机设备，其特征在于，该计算机设备被编程或配置以执行权利要求1～7中任意一项所述用于重传部件模块级验证的报文自动比对正确性检查方法的步骤，或该计算机设备的存储器上存储有被编程或配置以执行权利要求1～7中任意一项所述用于重传部件模块级验证的报文自动比对正确性检查方法的计算机程序。
10.一种计算机可读存储介质，其特征在于，该计算机可读存储介质上存储有被编程或配置以执行权利要求1～7中任意一项所述用于重传部件模块级验证的报文自动比对正确性检查方法的计算机程序。
CN202010127084.0A 2020-02-28 2020-02-28 用于重传部件模块级验证的报文自动比对正确性检查方法及装置 Active CN111352781B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202010127084.0A CN111352781B (zh) 2020-02-28 2020-02-28 用于重传部件模块级验证的报文自动比对正确性检查方法及装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202010127084.0A CN111352781B (zh) 2020-02-28 2020-02-28 用于重传部件模块级验证的报文自动比对正确性检查方法及装置

Publications (2)

Publication Number Publication Date
CN111352781A CN111352781A (zh) 2020-06-30
CN111352781B true CN111352781B (zh) 2023-07-04

Family

ID=71197167

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202010127084.0A Active CN111352781B (zh) 2020-02-28 2020-02-28 用于重传部件模块级验证的报文自动比对正确性检查方法及装置

Country Status (1)

Country Link
CN (1) CN111352781B (zh)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112925779A (zh) * 2021-03-02 2021-06-08 重庆度小满优扬科技有限公司 一种报文回执修改方法及装置

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB1224388A (en) * 1968-08-30 1971-03-10 Plessey Telecomm Res Ltd Improvements in or relating to apparatus for causing repetition of incorrectly received messages in electrical digital signalling systems.
JP4207206B2 (ja) * 2004-03-03 2009-01-14 日本電信電話株式会社 光ネットワーク、光ネットワークにおける光パス選択方法および光ネットワークにおける光エッジルータ
US7590123B2 (en) * 2005-11-22 2009-09-15 Cisco Technology, Inc. Method of providing an encrypted multipoint VPN service
CN101170490B (zh) * 2006-10-24 2010-05-19 中兴通讯股份有限公司 Igmp报文传输方法
CN101394333B (zh) * 2007-09-17 2016-01-20 华为技术有限公司 转发报文的方法、装置以及网络系统
CN101605100B (zh) * 2009-07-15 2012-04-25 华为技术有限公司 队列存储空间的管理方法和设备
CN109246036B (zh) * 2017-07-10 2021-02-09 深圳市中兴微电子技术有限公司 一种处理分片报文的方法和装置

Also Published As

Publication number Publication date
CN111352781A (zh) 2020-06-30

Similar Documents

Publication Publication Date Title
CN103141058B (zh) 用于虚拟分布式业务的网络接口控制器
US8122301B2 (en) Performing remote loads and stores over networks
CN106100939B (zh) 网络设备启动时间测试方法及测试控制台
US8335843B2 (en) Communication system having multiple communication lines between a transmitter and a receiver
CN109246189B (zh) 网络数据分发方法及装置、存储介质、服务端
CN111352781B (zh) 用于重传部件模块级验证的报文自动比对正确性检查方法及装置
CN111858413B (zh) Pcie交换芯片端口的数据调度方法及装置
CN115174432A (zh) Rdma网络状态监测方法、装置、设备及可读存储介质
CN101022473A (zh) 一种在交换机中自动识别板卡配置并且生成局数据的方法
CN105989537A (zh) 一种证券及金融衍生品交易风险控制系统及风险控制方法
CN107562555A (zh) 重复数据的清洗方法及服务器
CN112350897A (zh) 基于动态连接端到端可靠传输协议的网络测试装置
CN111431733B (zh) 服务告警覆盖信息的评估方法及装置
CN116723154A (zh) 一种基于负载均衡的路由分发方法及系统
CN110460487A (zh) 服务节点的监控方法及系统、服务节点
CN115048187A (zh) 一种基于Operator的pvc文件导入方法、设备及存储介质
CN110321288B (zh) 一种用于飞行器上信息处理系统的仿真测试方法
CN114401127A (zh) 一种基于ZeroMQ的数据包传输方法、装置及设备
US6847996B2 (en) Method for managing an open computer system
CN109842465A (zh) 数据传输方法、数据端设备
CN113472670A (zh) 网络装置的路由一致性检查器
JPH08292922A (ja) ネットワーク管理装置
CN112131180A (zh) 数据上报方法、装置以及存储介质
CN109783215A (zh) 异常任务处理方法及相关装置
CN112613254B (zh) 一种处理器内部镜像控制模块注错验证系统及方法

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
CB02 Change of applicant information
CB02 Change of applicant information

Address after: 300452 Building 5, Xin'an pioneer Plaza, Binhai New Area marine high tech Development Zone, Tianjin

Applicant after: Feiteng Information Technology Co.,Ltd.

Address before: 300452 Building 5, Xin'an pioneer Plaza, Binhai New Area marine high tech Development Zone, Tianjin

Applicant before: TIANJIN FEITENG INFORMATION TECHNOLOGY Co.,Ltd.

GR01 Patent grant
GR01 Patent grant