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 ...
随机推荐
- 模块_os模块
import os print(os.getcwd()) # 获取当前工作目录 print(os.listdir()) # 列表列出当前目录下的目录名和文件名 os.mkdir("tempd ...
- leetcode240——搜索二维矩阵(medium)
一.题目描述 编写一个高效的算法来搜索 m x n 矩阵 matrix 中的一个目标值 target.该矩阵具有以下特性: 每行的元素从左到右升序排列. 每列的元素从上到下升序排列. 示例: 现有矩阵 ...
- 自动化运维工具Ansible之LNMP实践环境部署
Ansible-实战指南-LNMP环境部署,并使用zabbix监控 主机规划 系统初始化:必要的系统初始化 基础组件包括:zabbix监控,mariadb(用于存放zabbix监控信息) 业务组件包括 ...
- Properties集合与IO流
package com.itheima.demo07.Prop; import java.io.FileOutputStream; import java.io.FileReader; import ...
- static RMQ
RMQ问题:对于长度为N的序列,询问区间[L,R]中的最值 RMQ(Range Minimum/Maximum Query),即区间最值查询. 常见解法: 1.朴素搜索 2.线段树 3.DP 4.神奇 ...
- 进程和线程—Python多线程编程
进程和线程 进程 进程是一个执行中的程序.每个进程都拥有自己的地址空间.内存.数据栈以及其它用于跟踪执行的辅助数据. 一个程序运行就是一个进程(比如 QQ.微信或者其它软件): 进程可以通过派生新的进 ...
- Luogu P3846 BSGS算法
https://www.luogu.com.cn/problem/P3846 BSGS这个东西是用来干啥的? 形如下面这个式子: \[a^b = c\;(mod\;p) \] 其中:p是一个质数.\( ...
- Mysql 常用函数(12)- left 函数
Mysql常用函数的汇总,可看下面系列文章 https://www.cnblogs.com/poloyy/category/1765164.html left 的作用 返回字符串 str 中最左边的 ...
- elasticsearch kibana + 分词器安装详细步骤
elasticsearch kibana + 分词器安装详细步骤 一.准备环境 系统:Centos7 JDK安装包:jdk-8u191-linux-x64.tar.gz ES安装包:elasticse ...
- java ->大的数据运算(BigInteger)
大数据运算 BigInteger java中long型为最大整数类型,对于超过long型的数据如何去表示呢.在Java的世界中,超过long型的整数已经不能被称为整数了,它们被封装成BigIntege ...