SystemC的调度器

文章目录

    • 前言
    • 调度器
      • 初始化
      • evaluate
        • wait
      • update
        • notify
      • delta notification
      • time notification
      • 仿真结束

前言

SystemC是基于C++的库,主要用来对 IC 进行功能建模和性能建模。有时也被用来当做 RTL (register transfer level) 级的升级版 HLS(High Level synthesis) 直接用来表达设计,但是主流 EDA 对 SystemC 综合支持不够好,目前已经很少被用来当做设计语言搞了。有时候 SystemC 也会用来在 design verification 中当做 reference model 来使用,但是因为 SystemC module之间连接必须使用 channel,而 channel 在实现上是类似于 verilog reg 的一种方式,而没有对应的 verilog wire 类型的 channel ,所以在 module 划分时 SystemC module 和 verilog module 在实现上很难对应,使用 systemverilog 是一种更好的方式。

下面主要讨论 SystemC 的调度器,它在运行过程中是怎样控制我们的代码执行。其他比较基础的问题不在下面的讨论范畴中。

调度器

在 SystemC 中 sc_main 作为程序的入口,它类似于 C 语言中的 main,作为用户代码的入口,在他们前面还有一些库的代码作为整个程序的入口,这个请参考其他资料。

在 sc_main 中首先例化我们的 sc_module,连接各种模块,最后调用 sc_start 来开始仿真。在 sc_start 之前的阶段称为 Elaboration,类似于 verilog 中的 elaboration,将所有的 sc_module 都当做硬件摆放,并且检查 module 之间的连线关系。因为 sc_in/sc_out 都实现了sc_signal_in_if/sc_signal_out_if 接口,它的接口中实现访问连接它绑定的 channel 资源,通常是 sc_signal, 如果没有 bind,一旦操作它就会出现空指针的问题,所以在 sc module 连接时不允许接口悬空或者宽度不匹配,这个纯粹是 SystemC 库实现的问题,官方不支持我们也没办法。当所有 sc_module 的展开都没有问题时,整个系统的 hierarchy 就是固定了,可以启动整个硬件系统的。

在 sc_start 之后,它首先进行初始化,然后循环执行 evaluate-> update -> delta notification, time notification, 最后没有就绪的任务、超时或者主动结束(sc_stop)。 在仿真结束阶段进行

首先我们需要澄清两个时间:
仿真时间: 仿真程序中自己的时间精读,类似于一个虚拟世界中的世界。可能物理计算机已经跑了10分钟,但是虚拟世界中的时钟才跑了100us,我们分析仿真功能时一般使用仿真时间。
仿真程序运行时间: 仿真程序相对于真实世界运行的时间,例如这个程序运行了10s才结束,对于仿真内部是没有任何影响的,它只作为我们评判仿真程序性能的标准。

下面我们分别解释其中的几个 phase 或者称为 stage.

systemC phase

初始化

模拟内核识别所有模拟进程并将它们放置在可运行或等待进程集中。除那些请求“dont_initialize”的模拟进程(也包括 METHOD)外,所有模拟进程均处于可运行集中。

除此之外,我们的模拟工具还将为我们创建的任何变量分配初始值。这包括我们在模块内部声明的任何信号。从广义上讲,我们可以将初始化阶段视为大致相当于重置整个电路,所以有些设计省略了 reset 信号而是使用初始化赋值的方式来进行复位,这种方式只在仿真中可以使用。

在我们开始运行模拟之前,初始化阶段使我们的设计进入已知状态。

SystemC 是一个单线程、单进程的程序,虽然有SC_THREAD, 但是它是一种相当于协程任务的存在,所有的SC_THREAD/METHOD都是串行执行的。

evaluate

在 evaluate 阶段,模拟内核执行每个module 中的每个 thread/method。我们的thread/method 并非全部并行运行,模拟器一次只运行一个thread/method。下面我们将thread/method和其他所有的变种都称为任务。

模拟器运行每个进程,直到 return、执行任务中的最后一条语句或调用 wait()。 模拟器要么在到达 wait() 语句时挂起任务,要么在到达任务末尾或 return 语句时终止它们。

任务被挂起或终止后,调度程序将开始执行我们设计中的下一个任务。

调度程序重复此操作,直到我们设计中的所有进程都以这种方式执行。

此时,调度程序进入 update 阶段。

wait

wait 方法是 evaluate 阶段的重要组成部分,因为它确定 task 何时被挂起然后进入 update 阶段。

wait() 是在等待事件,事件在 SystemC 中有几种方式指定: 静态敏感列表 和 动态敏感列表,下表中列出了wait 使用不同的参数时的用法。

SyntaxFunction
wait()Suspend the thread until an event occurs on one of the signals in the sensitivity list (static sensitivity).
wait(n)Suspend the thread until events occur on one of the signals in the sensitivity list
wait(e1)Suspend the thread until the event e1 is active.
wait(n, SC_NS)Suspend the thread for ns. We can also pass a time object to the method to make it wait for a given period.
wait(n, SC_NS, e1)Suspend the thread either until event e1 is active or for ns, whichever is the shortest.
// Wait for a single event
wait()// Wait for 2 events
wait(2);// Wait for event e1 (this is generated in event_schedule)
wait(e1);// Wait for 10ns
wait(10, SC_NS);// Wait for 20ns (using time object)
sc_time t_20ns(20, SC_NS);
wait(t_20ns);
wait(20, SC_NS);// Wait for event e2 or 50ns
wait(50, SC_NS, e2);

update

一旦 evaluate 阶段完成执行,调度程序就会进入更新阶段。

为了正确模拟数字电路的行为,SystemC 模拟器在 evaluate 阶段创建更新请求。

每当模拟器在运行 evaluate 阶段时遇到信号赋值时,它就会标记创建这些更新请求。

此时,模拟器不会为我们的信号分配新值。 相反,我们的模拟器使用信号的原始值执行 evaluate 阶段的其余部分。

完成 evaluate 阶段后,调度程序将进入update 阶段,在该阶段它将处理所有更新请求。

结果,所有被分配值的信号在更新阶段而不是在evaluate阶段被更新为该新值。

在实现所有更新请求后,更新阶段完成,然后模拟器进入 delta notification 状态。

为了了解更新请求的工作原理,让我们看一个简单的示例。

对于这个例子,让我们看一下简单的扭曲环形计数器电路,如下所示。

一个简单的扭环式计数器电路
twisted ring counter

下面的代码片段显示了我们如何在 SystemC 中对该电路进行建模。

dff1.write( ~dff2.read() );
dff2.write( dff1.read() );

首先,让我们看看信号在分配后立即更新时的行为。 这是我们在传统编程语言中所期望的行为。

假设时钟边沿出现时两个触发器的输出均为 0。 由于上面代码中第 1 行的结果,DFF1 的输出更改为 1。然后我们可以看到下一行代码会将 DFF2 的输出设置为 1。

这显然不是我们正在建模的电路的预期行为。 相反,我们预计 DFF2 保持为 0,DFF1 更改为 1。

现在让我们考虑一下使用更新请求后模型的行为如何。

模拟器首先执行更新DFF1的语句并为此信号创建更新请求。 调度程序创建此更新请求的方式是将 DFF1 的输出更新为 1b。

然后,模拟器使用 DFF1 触发器的原始值运行第二行代码,并为 DFF2 的输出创建更新请求。 由于此时 DFF1 仍设置为 0b,因此调度程序创建一个更新请求,将 DFF2 的输出更新为 0b。

由于此设计中只有两个语句,因此评估阶段现已完成,调度程序进入更新阶段。

在更新阶段,模拟器执行它在评估阶段创建的 2 个更新请求。 执行更新请求后,DFF1 的值为 1b,DFF2 的值为 0b。

notify

在更新阶段,我们使用通知方法告诉模拟器信号值已更改。

这意味着通知方法对于控制我们设计中的信号如何更新非常重要。

在大多数情况下,我们实际上不需要在设计中直接调用notify方法。

原因是我们在 SystemC 中使用的许多数据类型和信号都是作为类实现的。 大多数情况下,这些类会在需要时自动为我们调用notify方法。

例如,当我们使用sc_fifo、sc_mutex或sc_signal时,所有这些类都为我们实现了notify方法。 因此,当我们想要更新任何使用这些类型的变量时,我们不需要手动调用通知方法。

然而,如果我们想在SystemC中编写自己的分层通道,那么我们可能需要在代码中手动调用notify方法。

我们实际上可以使用notify方法来创建三种不同类型的通知。 我们的调度程序将在不同阶段处理每个不同的通知。

下表总结了我们可以使用notify方法创建的三种不同类型的通知。

SyntaxFunction
notify()We use the notify method without any arguments to create an immediate notification. These are implemented in immediately.
notify(SC_ZERO_TIME)When we use the notify method together with the SC_ZERO_TIME constant we create a delta notification. These are implemented during the delta notification phase.
notify(n, SC_NS)
We create a time notification by passing a time argument to the notify method. We can also pass a time object to create a time notification. These are implemented during the time notification phase.
// Create an immediate notification
e1.notfy();// Create a delta notificatione1.notify(SC_ZERO_TIME);// Create a time notification (in this case 10ns)
e1.notify(10, SC_NS);

delta notification

一旦更新阶段完成为我们设计中的信号分配新值,调度程序就会进入增量通知阶段。

正如我们在更新阶段部分中讨论的那样,我们可以使用 notification() 方法来创建增量通知。

然后,增量通知阶段负责处理这些通知。

为此,我们的模拟器会计算出哪些进程受到增量通知的影响。

例如,假设我们正在对一个简单的电路进行建模,如下所示。
在这里插入图片描述

显示两个输入与门的电路图,其中与门的输出是 D 型触发器的输入
现在假设在评估阶段,与门的输出改变值。 由于此更改,模拟器会在更新阶段发出增量通知。

在增量通知阶段,模拟器确定哪些进程受到此值更改的影响。 在这种情况下,增量通知会影响对触发器进行建模的过程

一旦模拟器确定哪些进程受到增量通知的影响,它就会将这些进程标记为可运行。

调度程序以这种方式完成所有增量通知的处理后返回到评估阶段。

然后模拟器将再次执行它标记为可运行的所有进程。

如果没有需要处理的增量通知,SystemC 调度程序将直接进入时间通知阶段。

time notification

在执行给定时间步长的所有增量周期后,调度程序将进入时间通知阶段。

正如我们在更新阶段部分中讨论的那样,我们可以使用 notification() 方法来创建时间通知。

处理这些时间通知是时间通知阶段的责任。

为此,调度程序会分析该时间步期间发出的所有时间通知。

然后,调度程序根据请求的超时持续时间组织这些通知。

例如,如果我们有 3 个时间通知,分别为 1ms、5ns 和 10ns,那么调度程序会按照从最短到最长的顺序组织它们。 在这种情况下,我们的调度程序将按照 5ns、10ns 和 1ms 的顺序组织它们。

一旦调度程序以这种方式完成时间通知的组织,它就会将模拟时间提前到下一个最早的时间步长。

例如,如果我们有 3 个 5ns、10ns 和 1ms 的时间通知,那么调度程序会将模拟时间提前 5ns。

在调度程序以这种方式处理完所有时间通知后,调度程序返回到评估阶段。 然后,调度程序将在下一个时间步骤中再次运行整个周期。

仿真结束

仿真结束时,它会清理资源,例如关闭打开的文件,释放申请的内存,析构object等操作。这部分对于程序分析比较重要,例如仿真程序是否存在内存泄露问题影响稳定性,对于仿真功能已经没什么影响了。

另外 SystemC 提供给用户 callback 在这阶段实现一些自定义操作: end_of_simulation(), 一般可以用来报告仿真程序的统计信息。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/74897.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

力扣 416. 分割等和子集

题目来源:https://leetcode.cn/problems/partition-equal-subset-sum/description/ C题解(思路来源代码随想录) : 背包问题有多种背包方式,常见的有:01背包、完全背包、多重背包、分组背包和混合背包等等。…

JVM基础篇-虚拟机栈

JVM基础篇-虚拟机栈 定义 Java Virtual Machine Stacks (Java 虚拟机栈) 每个线程运行时所需要的内存,称为虚拟机栈每个栈由多个栈帧(Frame)组成,对应着每次方法调用时所占用的内存每个线程只能有一个活动…

Manim(一款强大的数学可视化动画引擎)学习历程

相逢情便深,恨不相逢早 第一眼看见上面这种类型的视频我就深深被它的简约清楚所折服,我觉得它完全符合我的审美,我也相信只要了解过制作这种视频的软件的人都会喜欢上它。运用这种风格比较有名的是b站里的一位up主名叫3Blue1Brown&#xff0…

C++ 模板初阶

泛型编程 泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础 模板分为:函数模板和类模板 函数模板 概念 函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化&a…

数据结构 | 搜索和排序——排序

目录 一、冒泡排序 二、选择排序 三、插入排序 四、希尔排序 五、归并排序 六、快速排序 排序是指将集合中的元素按照某种顺序排序的过程。 一、冒泡排序 冒泡排序多次遍历列表。它比较相邻的元素,将不合顺序的交换。每一轮遍历都将下一个最大值放到正确的位…

【抽水蓄能电站】基于粒子群优化算法的抽水蓄能电站的最佳调度方案研究(Matlab代码实现)

目录 💥1 概述 📚2 运行结果 🎉3 参考文献 🌈4 Matlab代码、数据、文章讲解 💥1 概述 文献来源: 摘要:抽水蓄能电站作为当前电力系统重要的储能和调峰电源同时具有填谷、调频、调相、事故备用以…

ETHERNET/IP 转ETHERCAT连接ethercat总线伺服如何控制

捷米JM-EIP-ECAT网关连接到ETHERNET/IP总线中做为从站使用,连接到ETHERCAT总线中做为从站使用,可以同时满足多种工业生产的需求。支持广泛的设备类型,可以和多种不同的设备进行通讯。 技术参数 ETHERNET/IP 技术参数 网关做为 ETHERNET/IP …

记一次 HTTPS 抓包分析和 SNI 的思考

日常听说 HTTPS 是加密协议,那现实中的 HTTPS 流量,是真的完全加密吗? ——答案是,不一定。原因嘛,抓个包就知道了。 我们用 curl 命令触发一下: curl -v https://s-api.37.com.cn/api/xxx * Trying 1…

jmeter使用步骤

jmeter 使用步骤 1,进入jmeter目录中的bin目录,双击jmeter.bat 打开 2,右键test plan 创建线程组 3,配置线程组参数 4,右键刚刚创建的线程组,创建请求,填写请求地址 5,需要携带to…

ES6之Promise、Class类与模块化(Modules)

目录 PromiseClass类extendssuper Modules 模块系统export default 和对应importexport 和 import Promise Promise 是 ES6 引入的一种用于处理异步操作的对象。 它解决了传统回调函数(callback)模式中容易出现的回调地狱和代码可读性差的问题。 Promis…

【远程桌面软件NoMachine】

Remote Access for Everybody 特色:快速、安全、跨平台、免费且简单易用,尤其是在带宽低、速率慢的网络环境下,NoMachine仍能保持良好的性能。 官网地址为:https://www.nomachine.com/

聊聊我的故事-悲惨的童年

目录 前言一、介绍二、17年回顾1.出生2.上幼儿园3.上小学4.上初中 高中总结 前言 本人是06年生的,快18了, 提示:以下是本篇文章正文内容,下面案例可供参考 一、介绍 本人已经17了,在这17年过的很悲惨,也…

使用uni-app的uniCloud 云数据库入门:实现一个简单的增删改查

官方云数据库文档 前置步骤使用uni-app新建一个uniCloud项目 [外链图片转存失败,源站可能有防盗官方云数据库文档]!链机制,建议将()https://uniapp.dcloud.net.cn/uniCloud/hellodb.html)] 新建表 这里我加了几个测试字段 createTime、remark、money // 文档教程: https://un…

[Docker实现测试部署CI/CD----相关服务器的安装配置(1)]

目录 0、CI/CD系统最终架构图规划IP地址 1、git配置Git下载pycharm配置gitidea配置git 2、GitLab安装与配置主机要求拉取镜像定义 compose.yml启动gitlab浏览器访问并修改密码查看登录密码修改密码 3、SonarQube 安装与配置拉取镜像修改虚拟内存的大小启动SonarQube登录 SonarQ…

SQL ASNI where from group order 顺序

SQL语句执行顺序: from–>where–>group by -->having — >select --> order 第一步:from语句,选择要操作的表。 第二步:where语句,在from后的表中设置筛选条件,筛选出符合条件的记录。 …

矩阵快速幂

简介 矩阵快速幂是一种高效计算矩阵幂的方法。它利用了矩阵的幂运算具有分治性质的特点,可以将矩阵的幂运算时间复杂度从 O(n)降低到 O(logn)。可用于解决线性递推式问题。 经典的斐波那契数列fnfn-1fn-2。当n很大时,你无法快速的计算第n项的值。可以构…

【RedisInsight】连入Docker容器可视化redis服务

文章目录 下载安装RedisInsight添加数据库添加docker容器内的redis数据库 下载安装RedisInsight 进入redis官网下载:https://redis.com/redis-enterprise/redis-insight/,安装过程一路Next即可。 打开桌面上的快捷方式启动:RedisInsight-v2…

MySQL多版本并发控制

1. 什么是MVCC MVCC(Multiversion Concyrrency Contril),多版本并发控制。顾名思义,MVCC是通过数据行的多个版本来管理实现数据库的 并发控制。这项技术使得在innodb的事务隔离级别下执行 一致性读 操作有了保证。换言之,就是为了查询一些正在…

Docker Compose 安装与使用(常用指令)

一、简介 Docker Compose 是一个编排多容器分布式部署的工具,提供命令集管理容器化应用的完整开发周期,包括服务构建、启动和停止。使用步骤:1. 利用 Dockerfile 定义运行环境镜像 2. 使用 docker-compose.yml 家义组成应用的各服务 3. 运行 …

驾校理论课模拟考试系统

驾校理论课模拟考试系统 工具 Git Npm Lombok CI/CD 具体部署流程看/ServerDeploy/服务器部署流程.txt Jenkins Docker 持续集成 技术栈 1.后端: ​ 权限控制:SpringSecurity JWT ​ Ioc框架:SpringBoot ​ 持久层:My…