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中如何正确的停掉线程

《Java中如何正确的停掉线程》Java通过interrupt()通知线程停止而非强制,确保线程自主处理中断,避免数据损坏,线程池的shutdown()等待任务完成,shutdownNow()强制中断... 目录为什么不强制停止为什么 Java 不提供强制停止线程的能力呢?如何用interrupt停止线程s

Python与MySQL实现数据库实时同步的详细步骤

《Python与MySQL实现数据库实时同步的详细步骤》在日常开发中,数据同步是一项常见的需求,本篇文章将使用Python和MySQL来实现数据库实时同步,我们将围绕数据变更捕获、数据处理和数据写入这... 目录前言摘要概述:数据同步方案1. 基本思路2. mysql Binlog 简介实现步骤与代码示例1

python 线程池顺序执行的方法实现

《python线程池顺序执行的方法实现》在Python中,线程池默认是并发执行任务的,但若需要实现任务的顺序执行,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋... 目录方案一:强制单线程(伪顺序执行)方案二:按提交顺序获取结果方案三:任务间依赖控制方案四:队列顺序消

C#控制台程序同步调用WebApi实现方式

《C#控制台程序同步调用WebApi实现方式》控制台程序作为Job时,需同步调用WebApi以确保获取返回结果后执行后续操作,否则会引发TaskCanceledException异常,同步处理可避免异... 目录同步调用WebApi方法Cls001类里面的写法总结控制台程序一般当作Job使用,有时候需要控制

SpringBoot实现虚拟线程的方案

《SpringBoot实现虚拟线程的方案》Java19引入虚拟线程,本文就来介绍一下SpringBoot实现虚拟线程的方案,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,... 目录什么是虚拟线程虚拟线程和普通线程的区别SpringBoot使用虚拟线程配置@Async性能对比H

在Java中实现线程之间的数据共享的几种方式总结

《在Java中实现线程之间的数据共享的几种方式总结》在Java中实现线程间数据共享是并发编程的核心需求,但需要谨慎处理同步问题以避免竞态条件,本文通过代码示例给大家介绍了几种主要实现方式及其最佳实践,... 目录1. 共享变量与同步机制2. 轻量级通信机制3. 线程安全容器4. 线程局部变量(ThreadL

Linux线程同步/互斥过程详解

《Linux线程同步/互斥过程详解》文章讲解多线程并发访问导致竞态条件,需通过互斥锁、原子操作和条件变量实现线程安全与同步,分析死锁条件及避免方法,并介绍RAII封装技术提升资源管理效率... 目录01. 资源共享问题1.1 多线程并发访问1.2 临界区与临界资源1.3 锁的引入02. 多线程案例2.1 为

Java中的xxl-job调度器线程池工作机制

《Java中的xxl-job调度器线程池工作机制》xxl-job通过快慢线程池分离短时与长时任务,动态降级超时任务至慢池,结合异步触发和资源隔离机制,提升高频调度的性能与稳定性,支撑高并发场景下的可靠... 目录⚙️ 一、调度器线程池的核心设计 二、线程池的工作流程 三、线程池配置参数与优化 四、总结:线程

WinForm跨线程访问UI及UI卡死的解决方案

《WinForm跨线程访问UI及UI卡死的解决方案》在WinForm开发过程中,跨线程访问UI控件和界面卡死是常见的技术难题,由于Windows窗体应用程序的UI控件默认只能在主线程(UI线程)上操作... 目录前言正文案例1:直接线程操作(无UI访问)案例2:BeginInvoke访问UI(错误用法)案例

Python实现MQTT通信的示例代码

《Python实现MQTT通信的示例代码》本文主要介绍了Python实现MQTT通信的示例代码,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录1. 安装paho-mqtt库‌2. 搭建MQTT代理服务器(Broker)‌‌3. pytho