Rocket - tilelink - Edges

Posted 2022-03-16 wjcdx

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请求：

??