SV多线程编程的框架,包括线程创建、线程同步和通信、线程控制和线程销毁等方法,总结如下。
SV中的“process”与“thread”可以等同。并非计算机体系结构中的介绍。
创建动态线程
fork ... join
join指的是fork出来的线程都执行结束之后,join后面的语句才会继续往下执行;
fork ... join_any
join_any指的是fork出来的线程中只要有一个执行结束,join_any后面的语句就会继续往下执行;
fork .. join_none
join_none指的是fork出来的线程创建之后,join_none后面的语句(早于fork内部任何线程)就可以继续往下执行;
initial块
always块
final块
线程控制
wait fork
在Fork/Join结构之后,加一句wait fork,会阻塞后续语句,直到fork出来的进程(不包括子进程的子进程)都执行完;
disable fork
如果加一句disable fork,则是直接结束掉fork出来的进程,后续语句往下执行。
只作用于当前fork块。可用guard fork限制作用域。
fork //guard fork
fork
"进程1";
"进程2";
join_none
disable fork;
join //of guard fork ,上面disable fork只作用于guard内
wait_order
wait_order(event1,event3,event2) //顺序阻塞事件1,3,2
Process类
SV内建的这个Process类(fork出来的线程都属于这个类)提供了各种方法,包括self()、kill()、await()、suspend()、resume()、status()。这些方法的功能分别是获得线程句柄,杀死线程、等待线程执行完、线程挂起、线程恢复执行、获得线程状态。利用这些方法可以实现线程之间的同步和控制。
例如:
process process_1; //句柄
initial begin
process_1=process::self();//获取进程句柄
end
//利用进程句柄进行相关操作。
线程同步
event
event可以用来传递简单的状态或者控制信号,比如一个线程可以触发一个事件,另一个线程等待该事件触发。
semaphore
semaphore可以通过分发key的方式来管理公共资源。
mailbox
mailbox就比较厉害了,可以用来传递更多的数据。