SV-线程同步与通信-事件-旗语-信箱

2024-03-27 01:10

本文主要是介绍SV-线程同步与通信-事件-旗语-信箱,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

事件event

         用event来声明一个事件,用箭头->来触发,用@来等待事件的发生。

`timescale 1ns/1ps
module tb;event e1, e2, e3;task automatic wait_event(event e, string name);$display("@%t start waiting event %s", $time, name);@e;$display("@%t finish waiting event %s", $time, name);endtaskinitial beginforkwait_event(e1, "e1");wait_event(e2, "e2");wait_event(e3, "e3");joinendinitial beginforkbegin #10ns -> e1; endbegin #20ns -> e2; endbegin #30ns -> e3; endjoinend
endmodulemodule tb2;logic e1, e2, e3;task automatic wait_event(ref bit e, string name);$display("@%t start waiting event %s", $time, name);@e;$display("@%t finish waiting event %s", $time, name);endtaskinitial beginforkwait_event(e1, "e1");wait_event(e2, "e2");wait_event(e3, "e3");joinendinitial beginforkbegin #10ns  e1 = !e1; endbegin #20ns  e2 = !e2; endbegin #30ns  e3 = !e3; endjoinend
endmodule

       tb2中,ref表方向,logic表数据类型。

      tb2中变量要加ref,而event中没有添加ref。  等待的是信号,用ref。

         @是边沿触发,wait是电平触发。   先等待再触发,用@。

         wait_order按照一定顺序去等待event发生

AB

        event之间可以拷贝,拷的是句柄,都共同指向一个event。   如果要等待event,要先等到event再去触发

旗语semaphore

        旗语就是个容器,用来保护,保护共享的资源。为了保护共享的资源,一开始去分配一个访问这个共享资源的钥匙🔑。   访问共享资源,且不允许读/写来访问memory(非共享)等。——此为需求。用semaphore来实现。

`timescale 1ns/1ns
module tb;semaphore mem_acc_key;int unsigned mem[int unsigned];task automatic write(int unsigned addr, int unsigned data);mem_acc_key.get();#1ns;mem[addr] = data;mem_acc_key.put();endtasktask automatic read(int unsigned addr, output int unsigned data);mem_acc_key.get();#1ns;if(mem.exists(addr))data = mem[addr];elsedata = 'x;mem_acc_key.put();endtaskinitial beginint unsigned data = 100;mem_acc_key = new(1);forever beginfork //fork-join是并行执行的begin#10ns;write('h10, data + 100);$display("@%t write with data %d", $time, data);               endbegin#10ns;read('h10, data);$display("@%t read with data %d", $time, data);                  endjoinendend
endmodule

        semaphore的目的是先例化一把钥匙,一开始大家都有往里写/读的权限。而memory是单端口memory,只能读/写,不能读写同时。

         旗语等待的方式是队列——先进先出。   先开始等的先拿钥匙🔑。

         try_get是函数,拿不到就不拿了,会立即返回。   0表示拿不到足量的钥匙。

信箱mailbox

         event事件,旗语semaphore,信箱mailbox共同点是赋值时,其变量是句柄

        信箱和旗语例化的时候要用new,事件不需要用new,因为其很小。

        信箱是丢进去数据,然后拿出数据。mailbox信箱就是一个FIFO,mailbox的通信只能把其当作FIFO来使用。

        try-put和try-get是为了不被堵塞,放进去返回1,放不进去返回0。;信箱可以写满。   peek可以拿数据,拍个快照,数据仍停留在信箱mailbox里边,get是拿走了。

         信箱里边的数据,num来调用信箱的数据。num()返回信箱目前的消息数目。;队列,动态数组访问其有几个数,数据内容用.size。信箱是用.num()

 

         mailbox #,#表示只能存放该种数据类型...。

module tb;mailbox #(int) mb;initial beginint data;mb = new(8);forveer begincase($urandom() % 2)0: begindata = $urandom_range(0, 10);if(mb.try_put(data))$display("mb put data %0d", data);end1: beginif(mb.try_get(data))$display("mb get data %0d", data);end endcase                 endend
endmodule

AB

         可以指定信箱mailbox存储的数据类型,#来限定存储的类型是什么;   可以不限制信箱的大小,new的时候不传参数即可;;;   信箱写满时,再写,数据不会溢出会等待;   信箱为空时,调用try_get返回0,调用get会一直阻塞。

这篇关于SV-线程同步与通信-事件-旗语-信箱的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/850467

相关文章

Java 线程安全与 volatile与单例模式问题及解决方案

《Java线程安全与volatile与单例模式问题及解决方案》文章主要讲解线程安全问题的五个成因(调度随机、变量修改、非原子操作、内存可见性、指令重排序)及解决方案,强调使用volatile关键字... 目录什么是线程安全线程安全问题的产生与解决方案线程的调度是随机的多个线程对同一个变量进行修改线程的修改操

canal实现mysql数据同步的详细过程

《canal实现mysql数据同步的详细过程》:本文主要介绍canal实现mysql数据同步的详细过程,本文通过实例图文相结合给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的... 目录1、canal下载2、mysql同步用户创建和授权3、canal admin安装和启动4、canal

Java中实现线程的创建和启动的方法

《Java中实现线程的创建和启动的方法》在Java中,实现线程的创建和启动是两个不同但紧密相关的概念,理解为什么要启动线程(调用start()方法)而非直接调用run()方法,是掌握多线程编程的关键,... 目录1. 线程的生命周期2. start() vs run() 的本质区别3. 为什么必须通过 st

Linux实现线程同步的多种方式汇总

《Linux实现线程同步的多种方式汇总》本文详细介绍了Linux下线程同步的多种方法,包括互斥锁、自旋锁、信号量以及它们的使用示例,通过这些同步机制,可以解决线程安全问题,防止资源竞争导致的错误,示例... 目录什么是线程同步?一、互斥锁(单人洗手间规则)适用场景:特点:二、条件变量(咖啡厅取餐系统)工作流

Java中常见队列举例详解(非线程安全)

《Java中常见队列举例详解(非线程安全)》队列用于模拟队列这种数据结构,队列通常是指先进先出的容器,:本文主要介绍Java中常见队列(非线程安全)的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录一.队列定义 二.常见接口 三.常见实现类3.1 ArrayDeque3.1.1 实现原理3.1.2

SpringBoot3中使用虚拟线程的完整步骤

《SpringBoot3中使用虚拟线程的完整步骤》在SpringBoot3中使用Java21+的虚拟线程(VirtualThreads)可以显著提升I/O密集型应用的并发能力,这篇文章为大家介绍了详细... 目录1. 环境准备2. 配置虚拟线程方式一:全局启用虚拟线程(Tomcat/Jetty)方式二:异步

Mysql的主从同步/复制的原理分析

《Mysql的主从同步/复制的原理分析》:本文主要介绍Mysql的主从同步/复制的原理分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录为什么要主从同步?mysql主从同步架构有哪些?Mysql主从复制的原理/整体流程级联复制架构为什么好?Mysql主从复制注意

如何解决Druid线程池Cause:java.sql.SQLRecoverableException:IO错误:Socket read timed out的问题

《如何解决Druid线程池Cause:java.sql.SQLRecoverableException:IO错误:Socketreadtimedout的问题》:本文主要介绍解决Druid线程... 目录异常信息触发场景找到版本发布更新的说明从版本更新信息可以看到该默认逻辑已经去除总结异常信息触发场景复

RabbitMQ工作模式中的RPC通信模式详解

《RabbitMQ工作模式中的RPC通信模式详解》在RabbitMQ中,RPC模式通过消息队列实现远程调用功能,这篇文章给大家介绍RabbitMQ工作模式之RPC通信模式,感兴趣的朋友一起看看吧... 目录RPC通信模式概述工作流程代码案例引入依赖常量类编写客户端代码编写服务端代码RPC通信模式概述在R

在Spring Boot中实现HTTPS加密通信及常见问题排查

《在SpringBoot中实现HTTPS加密通信及常见问题排查》HTTPS是HTTP的安全版本,通过SSL/TLS协议为通讯提供加密、身份验证和数据完整性保护,下面通过本文给大家介绍在SpringB... 目录一、HTTPS核心原理1.加密流程概述2.加密技术组合二、证书体系详解1、证书类型对比2. 证书获