PCIe专题学习——3.2(数据链路层Ack/Nak机制解析)

2024-03-15 00:30

本文主要是介绍PCIe专题学习——3.2(数据链路层Ack/Nak机制解析),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

之前我们讲了对PCIe的一些基础概念作了一个宏观的介绍,了解了PCIe是一种封装分层协议(packet-based layered protocol),主要包括事务层(Transaction layer), 数据链路层(Data link layer)和物理层(Physical layer)。

一:Ack/Nak机制

在上一篇文章“DLLP结构与类型”中,我们有说到,数据链路层会产生多个DLLP,其中有两个DLLP分别是Ack DLLP和Nak DLLP,这两个DLLP均是由接收端传至发送端,也可以理解为一种反馈机制。

Ack DLLP: 表示接收端收到了来自发送端的正确的TLP报文;

Nak DLLP: 表示接收端有来自发送端的TLP报文没有被正确接收,需要发送端重新发送;

我们通过下面这张图,先来大致了解一下Ack/Nak的工作机制:

  1. 发送端数据链路层传送一个TLP(Sequence+TLP+LCRC),通过Link,到达接收端。

  2. 接收端接收到来自发送端数据链路层的TLP报文之后,先检验LCRC,在检验Sequence ID。

  3. 当Sequence ID和LCRC检验均正确时,接收端返回Ack DLLP告知发送端:"您发送的TLP,我方已正确接收,请知悉!"。

  4. 当Sequence ID或者LCRC检验中,发现哪怕一个错误,接收端都会返回Nak DLLP告知发送端:"对不起,您发送的TLP没有被正确接收,请您再发送一下"。

现在大概知道Ack/Nak的工作机制了吧?继续王往下看,再来一张图:

是不是有点晕,小编第一次看到的时候也晕~

上面这幅图是数据链路层Ack/Nak机制详细的结构图,理解了上面这副图就基本掌握了Ack/Nak机制;

不要被上面这幅图吓到,我们下面就一步一步地分析:

1:从发送端事务层传送的TLP到达数据链路层

如下图红丝圈内所示,不过这里需要注意的是:当Retry buffer是满的或者正在执行重新发送TLP的状态,数据链路层将会锁定TLP传送,不再接收。

2:为TLP分配Sequence ID

当TLP到达数据链路层之后,第一件事就是被分配Sequence ID,也可以理解为给TLP一个身份编号,以便于后续的检验工作;

这里还要提一个参数:NEXT_TRANSMIT_SEQ, 简称NTS,是一个12位的Sequence ID计数器,初始值为0,最大取值为4095。一个TLP被分配Sequence ID之后,NTS会加1,然后把累加后的数值再赋值给下一个TLP。

3:为TLP增加LCRC

TLP分配Sequence ID后,下一步就是生成LCRC

LCRC为32bit,基于事务层传送的TLP和数据链路层分配的Sequence ID生成;

4:将TLP在Retry Buffer备份

TLP在加上前缀Sequence ID和后缀LCRC之后,会在Retry buffer里面完整备份

  • 单个TLP最大占用的Retry Buffer大小为:4122 Bytes ( 2 bytes Sequence ID + 16 bytes Header + 4096 bytes Data + 4 bytes ECRC +  4 bytes LCRC ).

  • PCIe Spec中并没有规定Retry Buffer大小,不同的设计采用的大小不同,但是必须保证在TLP传输的过程中不能遇到瓶颈.

 5:接收端对接收的TLP进行LCRC检查

接收端接收到发送端传来的TLP后会先根据Sequence ID,Header,Data,ECRC计算LCRC然后再跟传进来的LCRC对比,检查是否一致;

6:LCRC检查fail

当LCRC检查fail时,会舍弃刚才传进来的TLP,并将NAK_SCHEDULED标志位置起来,给发送端回报NAK DLLP,此外将期望接收到。

7:LCRC检查OK,检查Sequence ID

当TLP的LCRC检查OK之后,接收端继续检查Sequence ID,这里出现了新的参数:NEXT_RSV_SEQ,简称NRS,用于追踪下一个期望获得的TLP的Sequence ID,NRS有12位,取值范围为0~4095;

检查Sequence ID时分为三个情况:

  • Sequence ID=NRS, 代表是TLP接收正确;

  • Sequence ID<NRS, 代表是TLP是重复的;

  • Sequence ID>NRS, 代表是TLP有发生丢失的情况;

(1)当Sequence ID = NRS时

这个情况下,正确接收TLP,并将TLP传送至上层事务层,同时NRS要加1,准备接收下一个TLP,另外还要给发送端回报Ack DLLP告知发送端已正确接收TLP;

 (2)当Sequence ID < NRS时

这个情况下,代表接收端收到了重复的TLP,当下收到的这个TLP会被舍弃,此时NRS保持原有数值,并给发送端报上一个有效TLP的Ack DLLP;

(3)当Sequence ID > NRS时

这个情况下,代表当下Sequence ID之前的TLP丢失,当下收到的这个TLP会被舍弃,此时NRS保持原有数值,NAK_SCHEDULED标志位被置起,并给发送端回报上一个有效TLP的Ack DLLP;

8:Ack/Nak Latency Timer

接收端还有一个重要的参数:Ack/Nak Latency Timer,延迟时间不是固定的,与Link Width,Max payload有关。

Latency timer超时,Ack/Nak生成器会给发送端发送Ack DLLP。发送Ack DLLP之后,Latency Timer会重置。 

9:发送端检查接收端返回的DLLPs

当发送端收到接收端返回的Ack/Nak DLLPs之后,会先检查其CRC,如下图中红色圈内所示:

发送端会根据Ack/Nak DLLPs的byte0-3计算CRC,并与传进来的CRC做比对,验证是否一致;

(1)CRC检查fail

只要CRC检查fail,当下的Ack/Nak DLLPs就会被舍弃;

(2)CRC检查OK之后,继续后续步骤

10,发送端检查AS参数

这里有一个新的参数:Acknowledged Sequence Numbers,简化标记为AckD_SEQ,缩写为AS,AckD_SEQ是一个12位的计数器,用于记载最近收到的Ack/Nak DLLP中的Sequence ID;

当发送端收到的Ack/Nak DLLP中的Sequence ID大于AS时,代表TLPs传输正在进行中。

11:接收到Nak DLLP,TLP retry

当发送端接收到一个Nak DLLP时,代表前面传送的TLP有问题,需要重新发送,此时会有两种情况:

(1)如果Nak DLLP的Sequence ID=AS:

这个情况下,说明没有新的TLP传输,此时需要将Retry buffer中所有的TLPs重新发送,并且更新Relay_NUM+1;

(2)如果Nak DLLP的Sequence ID > AS:

这个情况下,说明有新的TLP传输,此时需要Retry buffer中Nak DLLP中Sequence ID之前的TLP全部清空,并将当下的TLP重新发送,与此同时,将Replay_TIMER以及Replay_NUM重置,并且Replay_NUM重置后加1;

12:NTS-AS >=2048?

发送端在接收到Ack/Nak DLLPs最后一步要检验NTS-AS差值,NTS-AS差值最小为2048;

  • 如果NTS-AS>=2048不成立,则说明数据链路层有协议错误。

  • 如果NTS-AS>=2048成立,则数据链路层继续传输TLPs

看完上面的理论之后是不是还有点晕晕的,我们再来看两个例子加深一下理解:

例1:TLPs丢失 

(1)下图中,Device A要给DeviceB传输5个TLPs,Sequence ID分别是4094,4095,0,1,2;

(2)TLP 4094第一个被成功接收,返回Ack DLLP给Device A,同时Next_RCV_SEQ加1(也就是=4095)

(3)TLP 4095第二个被成功接收,返回Ack DLLP给Device A,同时Next_RCV_SEQ加1(也就是=0,因为4095+1超过了Next_RCV_SEQ的最大取值4095,从0开始计)

(4)TLP 4094第三个被成功接收,返回Ack DLLP给Device A,同时Next_RCV_SEQ加1(也就是=1)

(5)在TLP 0被成功接收之后,Ack/Nak_LATENCY_TIMER超时,重新发送Sequnce ID=0对应的Ack DLLP;

(6)TLP1在传输的过程中由于某些原因(比如物理层的Error)丢失,TLP2继续传输,但是在Device B端在等待TLP1,比较Sequnce ID(=2)与NRS(=1)发现,Sequence ID > NRS,Device B端才知道有TLP丢失,此时将TLP2丢失,并回报NRS-1(1-1=0)对应的Nak,也就是Nak 0;

(7)Device A端接收到Sequence ID=0对应的Ack DLLP之后,重新发送TLP1和TLP2,并且将Sequence ID=0之前的TLPs(4094,4095,0)全部从Retry buffer里面清除。

 例2:Nak DLLP错误

(1)下图中,Device A要给Device B传输5个TLPs,Sequence ID分别是4094,4095,0,1,2.

(2)TLP 4094,4095,0被依次成功接收,此时Next_RCV_SEQ= 1

(3)在TLP 1 到达Device B端,检查32-bit LCRC fail,此时,返回NRS-1对应的Nak DLLP,也就是Nak 0;

(4)Nak 0 到达Device A端,检查16-bit CRC fail,Nak 0 则被丢弃;

(5)Nak 0 被丢弃后,Device B不会再发送任何Ack或者Nak,由于长时间没有收到Device B的反馈(Ack/Nak),Replay_TIMER超时,Device A 将Retry buffer中所有的TLPs重新发送。

(6)TLP 4094,4095,0重新发送后在Device B端会被识别到时重复的TLPs,然后被丢弃,TLP1,2继续正确传输。

这篇关于PCIe专题学习——3.2(数据链路层Ack/Nak机制解析)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/810217

相关文章

Java中Redisson 的原理深度解析

《Java中Redisson的原理深度解析》Redisson是一个高性能的Redis客户端,它通过将Redis数据结构映射为Java对象和分布式对象,实现了在Java应用中方便地使用Redis,本文... 目录前言一、核心设计理念二、核心架构与通信层1. 基于 Netty 的异步非阻塞通信2. 编解码器三、

Java HashMap的底层实现原理深度解析

《JavaHashMap的底层实现原理深度解析》HashMap基于数组+链表+红黑树结构,通过哈希算法和扩容机制优化性能,负载因子与树化阈值平衡效率,是Java开发必备的高效数据结构,本文给大家介绍... 目录一、概述:HashMap的宏观结构二、核心数据结构解析1. 数组(桶数组)2. 链表节点(Node

Java 虚拟线程的创建与使用深度解析

《Java虚拟线程的创建与使用深度解析》虚拟线程是Java19中以预览特性形式引入,Java21起正式发布的轻量级线程,本文给大家介绍Java虚拟线程的创建与使用,感兴趣的朋友一起看看吧... 目录一、虚拟线程简介1.1 什么是虚拟线程?1.2 为什么需要虚拟线程?二、虚拟线程与平台线程对比代码对比示例:三

一文解析C#中的StringSplitOptions枚举

《一文解析C#中的StringSplitOptions枚举》StringSplitOptions是C#中的一个枚举类型,用于控制string.Split()方法分割字符串时的行为,核心作用是处理分割后... 目录C#的StringSplitOptions枚举1.StringSplitOptions枚举的常用

Python函数作用域与闭包举例深度解析

《Python函数作用域与闭包举例深度解析》Python函数的作用域规则和闭包是编程中的关键概念,它们决定了变量的访问和生命周期,:本文主要介绍Python函数作用域与闭包的相关资料,文中通过代码... 目录1. 基础作用域访问示例1:访问全局变量示例2:访问外层函数变量2. 闭包基础示例3:简单闭包示例4

MyBatis延迟加载与多级缓存全解析

《MyBatis延迟加载与多级缓存全解析》文章介绍MyBatis的延迟加载与多级缓存机制,延迟加载按需加载关联数据提升性能,一级缓存会话级默认开启,二级缓存工厂级支持跨会话共享,增删改操作会清空对应缓... 目录MyBATis延迟加载策略一对多示例一对多示例MyBatis框架的缓存一级缓存二级缓存MyBat

Linux下利用select实现串口数据读取过程

《Linux下利用select实现串口数据读取过程》文章介绍Linux中使用select、poll或epoll实现串口数据读取,通过I/O多路复用机制在数据到达时触发读取,避免持续轮询,示例代码展示设... 目录示例代码(使用select实现)代码解释总结在 linux 系统里,我们可以借助 select、

前端缓存策略的自解方案全解析

《前端缓存策略的自解方案全解析》缓存从来都是前端的一个痛点,很多前端搞不清楚缓存到底是何物,:本文主要介绍前端缓存的自解方案,文中通过代码介绍的非常详细,需要的朋友可以参考下... 目录一、为什么“清缓存”成了技术圈的梗二、先给缓存“把个脉”:浏览器到底缓存了谁?三、设计思路:把“发版”做成“自愈”四、代码

Java集合之Iterator迭代器实现代码解析

《Java集合之Iterator迭代器实现代码解析》迭代器Iterator是Java集合框架中的一个核心接口,位于java.util包下,它定义了一种标准的元素访问机制,为各种集合类型提供了一种统一的... 目录一、什么是Iterator二、Iterator的核心方法三、基本使用示例四、Iterator的工

JAVA实现Token自动续期机制的示例代码

《JAVA实现Token自动续期机制的示例代码》本文主要介绍了JAVA实现Token自动续期机制的示例代码,通过动态调整会话生命周期平衡安全性与用户体验,解决固定有效期Token带来的风险与不便,感兴... 目录1. 固定有效期Token的内在局限性2. 自动续期机制:兼顾安全与体验的解决方案3. 总结PS