SV多线程编程

SV多线程编程的框架，包括线程创建、线程同步和通信、线程控制和线程销毁等方法，总结如下。

SV中的“process”与“thread”可以等同。并非计算机体系结构中的介绍。

创建动态线程

1. fork ... join

join指的是fork出来的线程都执行结束之后，join后面的语句才会继续往下执行；

2. fork ... join_any

join_any指的是fork出来的线程中只要有一个执行结束，join_any后面的语句就会继续往下执行；

3. fork .. join_none

join_none指的是fork出来的线程创建之后，join_none后面的语句(早于fork内部任何线程)就可以继续往下执行；

4. initial块

5. always块

6. final块

线程控制

1. wait fork

在Fork/Join结构之后，加一句wait fork，会阻塞后续语句，直到fork出来的进程（不包括子进程的子进程）都执行完；

2. 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内 

3. 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
//利用进程句柄进行相关操作。

线程同步

1. event

event可以用来传递简单的状态或者控制信号，比如一个线程可以触发一个事件，另一个线程等待该事件触发。

2. semaphore

semaphore可以通过分发key的方式来管理公共资源。

3. mailbox

mailbox就比较厉害了，可以用来传递更多的数据。