2、IC验证面试88问——多线程

Q2: 多线程fork join的用法差异。

2.1 fork join

内部 begin end 块并行运行，直到所有线程运行完毕才会进入下一个阶段。

2.2 fork join_any

内部 begin end 块并行运行，任意一个 begin end 块运行结束就可以进入下一个阶段。

2.3 fork join_none

内部 begin end 块并行运行，无需等待可以直接进入下一个阶段。

2.4 wait fork

SV中当程序中的initial块全部执行完毕，仿真就退出了，但是如果生成了多个线程，有些线程运行时间比较长，可以使用wait fork语句等待所有子线程结束。

task run_threads;
	...
	fork
		check_trans(tr1);
		check_trans(tr2);
		check_trans(tr3);
	join_none
	wait fork;		//等待fork内所有子线程结束
endtask

2.5 disable fork

用来终止调用进程 的所有活跃进程， 以及进程的所有子进程。

Q3: 多线程的同步调度方法。

多线程之间同步主要由 mailbox、event、 semaphore 三种进行一个通信交互。

• mailbox主要用于两个线程之间的数据通信。
• Event 事件主要用于两个线程之间的一个同步运行。
• Semaphore旗语主要是用于对资源访问的一个交互。

3.1 mailbox信箱

主要用于两个线程之间的数据通信，通过 put 函数、get函数还有peek 函数进行数据的发送和获取。

从硬件的角度出发，对信箱的最简单的理解是把它看成一个具有源端和收端的FIFO。源端把数据放进信箱，收端则从信箱中获取数据。信箱可以有容量上限，也可以没有。

3.2 event事件

事件主要用于两个线程之间的一个同步运行，通过事件触发和事件等待进行两个线程间的运行同步。使用@(event)或者wait(event.trigger)进行等待，->进行触发。

3.3 Semaphore旗语

旗语主要是用于对资源访问的一个交互，通过 key 的获取和返回实现一个线程对资源的一个访问。使用 put 和 get 函数获取返回 key。一次可以多个。

• new：可以创建一个带单个或者多个钥匙的旗语。
• get：可以获取一个或多个钥匙。
• put：可以返回一个或多个钥匙。
• 如果希望获取一个旗语而不被阻塞，可以使用try_get函数，返回1证明有足够多的钥匙，而返回0则表明钥匙不够。