Rocket - tilelink - Monitor
2024-10-09 00:15:52
https://mp.weixin.qq.com/s/6e-G5RSQc7Xje7mQj8-Lag
简单介绍Monitor的实现。
1. 基本介绍
用于监控各个channel上的消息是否正确。
2. TLMonitorArgs
Monitor的参数，包装一个边（TLEdge）：
3. TLMonitorBase
Monitor的基类：
a. io.in：用于接收输入数据，以待进行监控；
b. legalize：用于对输入的数据进行监控，以判断是否合法数据；
4. TLMonitor
输入监控模块，主要实现legalize方法：
1) legalizeFormat
对channel a/b/c/d/e的格式进行监视：
A. legalizeFormatA
a. 判断opcode是否正确；
b. 判断访问地址是否超出可视范围；
c. 判断各个消息内容是否正确；
B. legalizeFormatD
判断channel d上的消息内容格式是否正确。
C. legalizeFormatB
判断channel b上的消息内容格式是否正确。
D. legalizeFormatC
判断channel c上的消息内容格式是否正确。
E. legalizeFormatE
判断channel e上的消息内容格式是否正确。
2) legalizeMultibeat
监控channel a/b/c/d上的burst请求是否正确，channel e不存在burst：
以legalizeMultibeatA为例：
监控多个beat之间opcode/param/size/source/address域不变。
3) legalizeUnique
用于监控source/sink是否唯一，即同一个source不能同时存在两个请求未被回复。（这个在规范上有要求吗？存疑）
A. legalizeADSource
判断AD中的source是否唯一。
a. 同一个source不能同时存在两个未被回复的请求：
b. 不能回复未发起请求的source：
c. 若manager的最小延迟大于一个时钟周期，那么a_set和d_clr在不为零的情况下不能相同：
d. 请求间隔和响应时间都不能超过limit个时钟周期，否则会被看门狗视为状态紊乱：
相当于a.fire()和d.fire()时喂狗。
B. legalizeDESink
用于判断Grant/GrantAck中的sink域是否唯一：
a. 同一个sink不能同时存在两个未被回复的Grant请求；
b. 不能回复未发起Grant请求的sink；
5. 使用
Monitor在TLImp的monitor方法中使用：
这里monitor.io.in接收TLBundleSnoop的输出作为输入，传入的source和sink参数都是bundle参数：
这个没有问题：
a. monitor.io.in只是从source和sink中接收信号；
b. 而TLBundleSnoop并不会把source和sink连接到一起：
最新文章
- Java数据库连接技术——JDBC
- 【BZOJ3669】[Noi2014]魔法森林 LCT
- JavaScript Array 常用函数整理
- css权重及优先级问题
- ORACLE表建立自增列
- UISearchDisplayController UISearchBar
- PDF加密无法做笔记
- Http_4个新的http状态码：428、429、431、511
- 开源组件ELK日志系统配置与管理
- Golang遇到的一些问题总结
- 使用requests抓取https报SSL错误
- jsonrpc环境搭建和简单实例
- 二分搜素——（lower_bound and upper_bound)
- POJ 2578
- Q值, 电感Q因素, 电感品质因素, Inductor Q, Quality Factor
- 如何修改电脑的本地网卡（非笔记本无限网卡）的mac地址
- SAS/SATA/SSD/IDE硬盘介绍区别
- makefile for opencv
- Python学习笔记015——序列（字节数组 bytearray）
- ios sqlite的创建数据库,表,插入查看数据