Rocket - debug - Example: Triggers
https://mp.weixin.qq.com/s/zPNyrBOhsytkRrZTDTEvpw
介绍riscv-debug的使用实例:配置Triggers功能。
1. Trigger
Trigger是指硬件触发器:A debugger can use hardware triggers to halt a hart when a certain event occurs.
2. Trigger Module
Triggers can:
a. cause a breakpoint exception, entry into Debug Mode,
b. or a trace action without having to execute a special instruction.
This makes them invaluable when debugging code from ROM.
They can trigger:
a. on execution of instructions at a given memory address,
b. or on the address/data in loads/stores.
These are all features that can be useful without having the Debug Module present, so the Trigger Module is broken out as a separate piece that can be implemented separately.
Triggers不会在调试模式触发:
用以下方法检测某个序号的触发器是否支持:
3. 实例1
A. (补)tselect=0:选择第0个触发器;
B. 写tdata1寄存器,其中:
a. type=2:The trigger is an address/data match trigger;
tdata1和mcontrol的地址相同,实际上是同一个寄存器:
mcontrol格式如下:
b. action=1:Enter Debug Mode. (Only supported when the trigger's dmode is 1.)
c. dmode=1:根据b的要求,dmode应该为1,其意义为:
d. match=0:Matches when the value equals tdata2;就是说与tdata2中的值进行匹配;
e. m=s=u=1:触发器在M/S/U模式下触发:
f. execute=1:When set, the trigger fires on the virtual address or opcode of an instruction that is executed. 对执行的指令地址或者指令码进行匹配;结合上面的配置,即指令地址或指令码等于tdata2中的值时,触发器触发;
g. tdata1=0x105c是指低16位的值:
那么高位的值呢?
隐含的要求:
a) type=2;
b) dmode=1;
文档写的比较粗糙,其他位应该为0。
本实例的before体现在mcontrol的timing位:
这一位值为0,意义为:The action for this trigger will be taken just before the instruction that triggered it is executed, but after all preceding instructions are committed.
C. tdata2=0x80001234:待匹配的指令地址为0x80001234;
4. 实例2
与实例1相比,区别如下:
A. 相较于实例1匹配指令地址,这里匹配的是读内存地址:load=1;
B. 相较于实例1中指令执行前触发,这里在读内存之后触发:timing=1:
5. 实例3
这里实例中使用了两个触发器:Trigger 0和Trigger 1.
1) Trigger 0
实现Enter Debug Mode right before a write to an address greater than 0x80007c80:
a. timing=0:在指令执行前触发;
b. match=2:大于0x80007c80:Matches when the value is greater than (unsigned) or equal to tdata2.
c. store=1:匹配a write to an address;
d. tdata2=0x80007c80:保存待匹配的内存地址;
2) Trigger 1
实现Enter Debug Mode right before a write to an address less than 0x80007c80:
a. timing=0;
b. match=3:Matches when the value is less than (unsigned) tdata2;
c. store=1;
d. tdata2=0x80007cf0:注意这里不是0x80007cef,因为要求是包括0x80007cef这个地址,而匹配时是排除tdata2这个地址,所以只能把要求的地址加1之后存入tdata2;
6. 实例4
a. timing=0:在指令执行前触发;
b. store=1:匹配一个写内存操作;
c. match=1:
这里匹配tdata2寄存器的高M位,M的计算方法是XLEN-1减去最低的0位的序号:
a. XLEN=32, XLEN-1=31;
b. 0x81237fff中最低的0位是第15位:
c. 所以M=31-15=16;也就是说匹配tdata2的高16位;
d. 也就是把要写的内存地址的高16位与tdata2的高16位进行匹配,那么可以触发的内存地址的范围即是:0x81230000-0x8123ffff;
7. 实例5
这里匹配针对两个内存地址范围的读操作,需要使用两个Trigger。其中:
a. timing=1:表示读操作完成之后触发;
b. load=1:表示匹配的是读内存操作;
c. chain=1:表示两个trigger组合使用:While this trigger does not match, it prevents the trigger with the next index from matching.
1) Trigger 1
要匹配的内存地址范围是:0xXXXX3090-0xXXXX309f;
A. match=4:Matches when the lower half of the value equals the lower half of tdata2 after the lower half of the value is ANDed with the upper half of tdata2.
a. 首先把待匹配值的低一半V与tdata2的高一半相与:V & 0xfff0;
b. 然后把结果与tdata2的低一半相比较,即(V & 0xfff0) =? 0x3090;
c. 如果相等则触发;效果是匹配的内存地址的低一半是0x3090-0x309f;
B. chain=1:这里只匹配了低一半的地址,还有高一半的地址需要匹配,需要与Trigger 2组合使用;
2) Trigger 2
要匹配的内存地址范围是:0x8675XXXX-0x9675XXXX;
A. match=5:Matches when the upper half of the value equals the lower half of tdata2 after the upper half of the value is ANDed with the upper half of tdata2.
a. 首先把待匹配值的高一半V与tdata2的高一半相与:V & 0xefff;
b. 然后把结果与tdata2的低一半相比较,即(V & 0xefff) =? 0x8675;
c. 如果相等则触发;效果是匹配的内存地址的高一半是0x8675-0x9675;
Rocket - debug - Example: Triggers的更多相关文章
- Rocket - debug - TLDebugModuleInner - Hart Bus Access
https://mp.weixin.qq.com/s/deNMEyJ1idJDVoZwwo0A1A 简单介绍TLDebugModuleInner中核心总线访问(Hart Bus Access). 参考 ...
- Rocket - debug - Periphery
https://mp.weixin.qq.com/s/uGxn-Xec0LkwdaSsCtQBvw 简单介绍Periphery的实现. 1. ExportDebugDMI/ExportDebugJTA ...
- Rocket - debug - DebugTransport
https://mp.weixin.qq.com/s/EcsuTjb4hFF9Ncig9Gfhew 简单介绍DebugTransport的实现. 1. JtagDTMConfig 1) JtagDTM ...
- Rocket - debug - TLDebugModule
https://mp.weixin.qq.com/s/EhUb1z5oiIw6dJ-90ifDJA 简单介绍TLDebugModule中的实现. 1. device device是一个设备描述符,包含 ...
- Rocket - debug - TLDebugModuleInner - ROM Generation
https://mp.weixin.qq.com/s/j_CgHU4PnY82NMwJzOqHYg 简单介绍Variable ROM Generation. 1. jalAbstract jalAbs ...
- Rocket - debug - Example: DMI
https://mp.weixin.qq.com/s/7suuJ7m2BKCpsHk1K2FzJQ 介绍riscv-debug的使用实例:如何使用DMI. 1. dm Debug Module实现了调 ...
- Rocket - debug - Example: Read Memory
https://mp.weixin.qq.com/s/ChXNTbx94WDC72GvmE9bGA 介绍riscv-debug的使用实例:使用三种方法读取内存. 1. Using System Bus ...
- Rocket - debug - Example: Accessing Registers Using Program Buffer
https://mp.weixin.qq.com/s/8yYLVg-RXX3XX0T431lxeA 介绍riscv debug接口的使用实例:使用Program Buffer读取寄存器. 1. Wri ...
- Rocket - debug - Example: Accessing Registers Using Abstract Command
https://mp.weixin.qq.com/s/RdJzE06mMkh2x__vVj_fEA 介绍riscv debug接口的使用实例:使用抽象命令读取寄存器. 1. Read s0 using ...
随机推荐
- 简单搜索 kuangbin C D
C - Catch That Cow POJ - 3278 我心态崩了,现在来回顾很早之前写的简单搜索,好难啊,我怎么写不出来. 我开始把这个写成了dfs,还写搓了... 慢慢来吧. 这个题目很明显是 ...
- Prime Path素数筛与BFS动态规划
埃拉托斯特尼筛法(sieve of Eratosthenes ) 是古希腊数学家埃拉托斯特尼发明的计算素数的方法.对于求解不大于n的所有素数,我们先找出sqrt(n)内的所有素数p1到pk,其中k = ...
- puamap是什么意思
artists map 定义格式:[puamap代号 名] 相关属性: 1.FIGHT 2.SAFE 安全区域 3.DARK 4.NEEDHOLE 配合mapinfo里 x,y -> x1,y1 ...
- 你真的知道C语言里extern "C" 的作用吗?
经常在C语言的头文件中看到下面的代码: #ifdef __cplusplus extern "C" { #endif // all of your legacy C code he ...
- [csu/coj 1619] 递归
题意:http://acm.csu.edu.cn/OnlineJudge/problem.php?id=1619 思路:由于式子具有递归的性质,考虑递归解,中间结果会超64位int,需用大数.另外自己 ...
- springData表关系:一对一
一.编写两个实体类 1.一对一关系实现:a:使用外键关联 b:使用主键关联,两个表的主键相同 2.外键方案:配置关联关系:两个实体类互相关联,并且在关联的属性上添加一个@OneToOne代表一个对一个 ...
- python --文件读取数据
读取整个文件: 首先创建一个文件,例如我创建了一个t x t文件了. 然后我想读取这个文件了,我首先将上面的这个文件保存在我即将要创建的Python的文件目录下, 即读取文件成功. 解析: 函数ope ...
- mybatis部分sql技巧
1.mybatis中没有<=号,必须用<![CDATA[<=]]>表示.<update id="reduceNumber"> UPDATE se ...
- 基于Memcached的Nginx服务器集群session共享
原料:jdk1.8,tomcat7,nginx1.16,memcached-1.2.6,Mem-Tomcat需要的jar包,基于windows7.所有的点击以下链接可下载 链接:https://pan ...
- Redux:异步操作
最近状态不太好,学习redux的异步操作花的时间比想象的多,这里尽量清晰简要的表述一下在redux中怎么实现异步操作. 先回顾一下同步操作: 我们用redux执行同步的时候,都是先发起一个dispat ...