SV理论知识四:线程以及线程间通信

本章讲的主要是如何开辟多条并行线程以及不同的线程之间的通信与同步,同步使用的是事件、信箱、旗语;而TLM通信方式是组件之间的通信,不是用来做同步的。

一、 三个并行语句的区别
    注意,使用fork语句块可以在父线程开辟多条子线程,子线程间是并行运行的,父线程可以暂停或者取消子线程,而子线程终止时,父线程中的其他子线程不受影响,当父线程终止时,
    该父线程下的所有子线程终止。
    1. fork join
       所有子线程执行完毕才会退出;
    2. fork join_none
       子线程的运行不影响后续语句的运行,注意fork join_none后面的语句比fork join_none的所有子线程还要先执行
    3. fork join_any 
       只要有一个子线程执行完毕则退出,其他子线程照常运行;

    4. wait fork 和 disable fork?
       (1) wait fork:等待当前进程所有子进程,但不包括子进程的子进程,执行完后才会往下执行。
       (2) disable fork: 终止当前进程的所有子进程,包括子进程的子进程,
       (3) disable xxx:  可以为每个程序块设置不同的名字来精细化disable某个程序块的所有进程(比disable fork范围更小)
    5. 经典面试题目
       现在有定义好的三个子线程do1,do2,do3,在task中并行运行这三个子线程,其中只要有任何一个线程结束,都退出并行运行块,并打印DONE。
       要求分别用fork-join、fork-join_any,fork-join_none来实现。
       

 //用fork  join实现,每个子线程都加一个disable语句来控制
        task test();
          fork : tag
            begin
              sub1();
              disable tag;
            end
            begin
              sub2();
              disable tag;
            end
            begin
              sub3();
              disable tag;
            end
          join
          $display("done");
        endtask : test
         
        //用fork  join_any实现
        task test();
          fork:tag
            sub1();
            sub2();
            sub3();
          join_any
          disable tag;
          $display("done");
        endtask : test
         
        //用fork  join_none实现,添加事件来等待触发
        task test();
          event e;
          fork : tag
            begin
              sub1();
              -> e;
            end
            begin
              sub2();
              -> e;
            end
            begin
              sub3();
              -> e;
            end
          join_none
          @ e;
          disable tag;
          $display("done");
        endtask : test

二、 事件、信箱、旗语
    1. 事件
       (1) 事件类似一个类,只需要用event关键字声明,但不用使用new来例化,
           -> event                // 来触发事件
           @ event                 // 等待事件,边沿敏感,是阻塞的
           wait(event.triggered()) // 等待事件,电平敏感,但要注意后续的语句能够正常推进时间,如果在一个forever循环里面使用且没有延时语句,
                                   // 则该event.triggered()会一直成立,使得该循环进入死循环
       (2) 事件可以作为参数传递给子程序

    2. 信箱
       (1) 信箱是一个类参数化的类,类似于一个FIFO。我们可以在不同的线程需要数据交互的时候使用。

    3. 旗语:适用于共享资源访问控制。
       semaphore可以实现对同一资源的访问控制。
       new()     // 创建一个带单个或者多个钥匙的semaphore
       get()     // 获取一个或者多个钥匙
       put()     // 返回一个或者多个钥匙。
       try_get() // 函数,返回1表示有足够多的钥匙,返回0则表示钥匙不够。


三、 线程间同步通信的方法:
    1. 使用两个事件event来控制发送端进程和接收端进程的同步;
       生产方生产一个数据后触发事件1,然后等待事件2;消费端消费等待事件1,消费完一个数据后触发事件2; 
    2. 使用旗语来轮流控制发送端进程和接收端进程对事务的访问,可以把旗帜当作存放钥匙的信箱(只放一把钥匙);
       生产端拿到钥匙,开始发送数据,然后阻塞在拿第二把钥匙上;消费端消费数据后,放回
    3. 使用一个定容信箱的阻塞属性来控制发送端进程和接收端进程数据传输的同步,可以把信箱当作内容为钥匙的旗语言,缺点是无法在放入第一个事务时进行阻塞;
       因为对于容量为1的信箱,在往信箱放第二个数据时才会阻塞,因此生产端是稍微快于消费端的
    4. 采用两个信箱,一个用来传输事务mailbox,一个用来控制阻塞rtn,
       生产端将数据put进信箱1,阻塞在get 信箱2中,消费端从信箱1get到事务后,向信箱2 put一个rsp信号,相当于一个握手协议;
    5. 使用变量,控制变量的0/1,相当于旗语的钥匙;
 

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值