Rocket - tilelink - Edges

https://mp.weixin.qq.com/s/UggNsNOeEMP-GhzlLiT-qQ

 

简单介绍Edges的实现。

 

​​

 

1. TLEdge

 

包含client和manager两端的边，继承TLEdgeParameters类：

​​

 

1) isAligned

 

判断访问的地址和访问大小是否对齐：

​​

a. 如果最大访问大小为1个字节，则访问是对齐的；

b. 生成掩码（lgSize=2, maxLgSize=4, mask=0b1100）与地址相与，计算是否为0；

 

2) mask

 

根据访问的地址和大小生成访问的掩码：

​​

 

3) isRequest

 

判断channel x是否在执行请求：

​​

 

因为Grant/GrantData需要GrantAck响应，所以也是请求：

​​

8.3.5: A Grant message is both a response and a request message...

 

4) isResponse

 

channel x是否在传输响应：

​​

 

5) hasData

 

判断消息是否包含数据：

​​

首先通过staticHasData检查是否能在构建期（软件代码执行）得到答案，如果不能则生成硬件逻辑在硬件中进行判断。

 

staticHasData根据client/manager的能力特点，看能否获得恒定的答案：

​​

 

6) opcode

 

获取channel中的opcode部分：

​​

 

可以看到这里使用的是TLDataChannel，而不是TLChannel：

​​

a/b/c为TLAddrChannel，因为他们包含address这一项；

a/b/c/d为TLDataChannel，因为他们包含data这一项；

e既没有address也没有data，只是TLChannel；

 

7) param

8) size

9) data

10) corrupt

corrupt信号对应着规范中的valid。

 

11) mask

 

这里使用的为TLAddrChannel，只有a/b/c：

​​

其中：a/b的mask外面提供，c的mask需要自己算；

 

full_mask都是自己算：

​​

 

12) address

13) source

14) addr_hi/addr_lo

 

根据manager支持的位宽，把地址分成高低两部分：

a. 低的部分为按照manager.beatBytes对齐的部分。比如beatBytes=4, 则低2位为低的部分；

b. 其余的高位为高的部分；

​​

 

15) numBeats

 

计算把数据传完需要多少个时钟周期，即burst包含多少个beat：

​​

a. manager.maxTransfer <= manager.beatBytes：如果最大传输大小，小于数据总线位宽，则一定能在一个时钟周期（beat）内传完；

b. 否则，需要看数据大小是否大于位宽：size <= UInt(cutoff)；

c. 若small为真，则右移cutoff后decode为0，需要一个beat；

d. 若small为假，则small为0，需要的beat数取决于decode；

e. UIntToOH(size, maxLgSize+1)=2^size；

f. 需要的beat数为：2^size / 2^cutoff；

g. hasData为假，则没有数据，需要一个beat；

 

16) first/last

略

 

2. TLEdgeOut

 

定义client到manager的输出边（EO），我为client，对端为manager。

​​

 

1) Transfers

 

Cache Permission相关消息。

 

a. AcquireBlock

 

生成支持AcquireBlock的硬件连接：

​​

 

b. AcquirePerm

 

​​

 

c. Release

 

Release:

​​

 

ReleaseData:

​​

 

不会出错的ReleaseData:

​​

 

d. ProbeAck

 

直接传入参数的ProbeAck：

​​

 

通过b:Probe生成c:ProbeAck：

​​

 

ProbeAckData同理；

​​

 

e. GrantAck

 

​​

 

2) Access

 

生成访问消息硬件连接。

 

a. Get

 

​​

 

b. Put

考虑因素：

- PutFull/PutPartial;

- corrupt是否固定；

- mask是传入，还是自己生成；

 

c. Arithmetic

 

简单数学运算消息：

​​

 

d. Logical

 

简单逻辑运算消息：

​​

 

e. AccessAck

 

TLEdgeOut从client连向manager：

- client发起的Access消息从channel a传递，对应的AccessAck从b传回；

- client发出的AccessAck消息从channel c传递，作为manager通过channel b传来的Access消息的回应；

​​

 

f. Hint

 

client通过channel a发送Hint消息：

​​

 

g. HintAck

 

client通过channel c返回HintAck消息，以响应manager通过channel b发出的Hint请求消息：

​​

 

3. TLEdgeIn

 

定义manager到client的输入边（EI），我为manager，对端为client。

​​

 

1) Transfers

 

定义manager发出的与Cache Permission相关的消息。

 

a. Probe

 

从channel b发出：

​​

 

b. Grant

 

Grant和GrantData通过channel d回复：

​​

 

c. ReleaseAck

 

​​

 

2) Access

 

定义访问消息。

 

a. Get

 

manager通过channel b发起请求：

​​

 

b. Put

c. Arithmetic

d. Logical

 

同上。

 

e. AccessAck

 

manager通过channel d回复client通过channel a发来的访问请求：

​​

 

f. Hint

 

manager通过channel b发起请求：

​​

 

g. HintAck

 

manager通过channel d回复client通过channel a发来的Hint请求：

​​