【包和线程的使用 & 多线程通信_2024.01.16】

包的使用

注意编译的前后顺序来写包里的文件顺序
package里包含软件，不可放入硬件

对于两个package中同名的类，若要使用不同package中的同名类，只需注明要使用哪一个package中的类

module arbiter_tb;
regs_pkg::monitor mon1=new();
arb_pkg::monitor mon2=new();
endmodule

方法一

files.f文件中：+incdir+PATH

方法二

//创建pkg.sv文件
package pkg;
`include "regs_stm.sv"
`include "regs_mon.sv"
`include "regs_chk.sv"
`include "regs_env.sv“
endpackage
//顶层加上
import pkg::*;//module外面

线程的使用

软件中每个进程里有很多线程，sv中进程等于线程
verilog中begin……end顺序执行，fork……join并发执行
sv中fork……join_any之间的任何一个子线程执行完就执行后面的语句
	fork……join_none子线程不执行完也执行后面的语句

多线程通信

对于硬件的过程块，不同逻辑/时序块之间的通信或者同步，实际是通过信号的变化来完成的。
对于软件的多个线程（多个task同时执行），可用如下方法解决：

event（事件）

静态的同步对象句柄，先等待@ or wait(event_handle.triggered)，再触发→ event_handle

SV中引入了triggered属性，用于查询事件是否已被触发（在当前时间片）
@是阻塞的，错过操作的时间点，若没有捕捉到，就会被阻塞在那里

第一个例子产生了竞争，第二个例子使用triggered都打印

wait_order
//等待多个事件的触发，且要求这多个事件按照用户决定顺序触发，否则执行else后的语句

semaphore（旗语）

对同一资源的互斥访问，一个访问另一个就无法访问
1请求两把钥匙被阻塞，2访问，3无法访问

mailbox（信箱）

进程之间交换消息，数据通过一个进程发送给mailbox，然后由另一个进程获取（先进先出）

new               //产生有界无界mailbox
put & get         //会阻塞
try_put & try_get //不会阻塞
peek & try_peek   //从Mailboxes复制数据，如果Mailboxes为空，则当前进程将阻塞，直到Mailboxes中放入数据
num               //mailbox中还有的数据数
mailbox #(类型)   //可设置为传递固定类型