使用C或C ++编写硬件时是否必须使用volatile?

如何解决使用C或C ++编写硬件时是否必须使用volatile?

在用C或C ++写入硬件(例如FIFO)时是否需要使用$(function(){ var datepicker = $.fn.datepicker.noConflict(); $.fn.bootstrapDP = datepicker; $("#dp3").bootstrapDP(); }); 。从在线文档中很容易确认,volatile在读取硬件时是必需的,但是编写该怎么办?我担心优化器可能会消除将值数组写入FIFO并仅写入最后一个条目的循环。

解决方法

只需尝试一下。

#define MYFIFOV (*((volatile unsigned char *)0x1000000))
#define MYFIFO (*((unsigned char *)0x1000000))

void funv ( void )
{
    MYFIFOV=0;
    MYFIFOV=0;
}
void fun ( void )
{
    MYFIFO=0;
    MYFIFO=0;
}
00000000 <funv>:
   0:   e3a03401    mov r3,#16777216   ; 0x1000000
   4:   e3a02000    mov r2,#0
   8:   e5c32000    strb    r2,[r3]
   c:   e5c32000    strb    r2,[r3]
  10:   e12fff1e    bx  lr

00000014 <fun>:
  14:   e3a03401    mov r3,#16777216   ; 0x1000000
  18:   e3a02000    mov r2,#0
  1c:   e5c32000    strb    r2,[r3]
  20:   e12fff1e    bx  lr

strb表示存储字节。没有挥发性,写操作之一被优化了。因此,是的,没有易失性,可以优化写入。编译器决定如何以及何时决定这样做。但是假设它会发生,并因此给您带来麻烦。

,

写入硬件时是否必须使用volatile

通常,是的。

我担心优化器可能会消除将值数组写入FIFO并仅写入最后一个条目的循环。

您的关注是有效的。给定一个非易失性对象,优化器确实可以执行这种消除。实际上,如果可以证明写入的值永远不会被读取,那么它可能会完全消除所有写入操作。


以下是C ++标准(最新草案)的引文:

[简介]

本文档中的语义描述定义了参数化的不确定性抽象机。 本文档对符合实现的结构没有任何要求。 特别是,它们不需要复制或模拟抽象机的结构。 相反,需要遵循一致的实现来(仅)模拟抽象机的可观察到的行为,如下所述。

执行格式正确的程序的一致实现应产生与具有相同程序和相同输入的抽象机相应实例的可能执行之一相同的可观察行为。 ...

对符合标准的实现的最低要求是:

  1. 严格按照抽象机的规则评估通过易失性glvalue进行的访问。
  2. 在程序终止时,写入文件的所有数据应与根据抽象语义执行程序可能产生的结果之一相同。
  3. 交互式设备的输入和输出动态必须以一种方式进行,即在程序等待输入之前实际上会发出提示输出。

构成交互式设备的是实现定义的。

这些统称为程序的可观察行为。

,

是的,您必须使用volatile

根据C11标准5.1.2.3程序执行-第4段:

在抽象机中,所有 表达式按照语义指定的方式求值。实际的 实现可以评估表达式的一部分,如果可以的话 推论未使用其值,并且没有所需的副作用 生产的....

当您不使用volatile时,编译器可能会认为不会有任何有用的副作用,并会删除这些写操作。

,

根据C标准(C99§6.7.3脚注106,第109页here):

volatile声明可用于描述与内存映射的输入/输出端口相对应的对象或由异步中断功能访问的对象。 对这样声明的对象的操作不得通过实现“优化”或重新排序,除非评估表达式的规则允许。

如果您正在使用兼容的C编译器,则可以正确地假定在写入内存映射的硬件时有必要使用volatile


根据您正在使用的特定计算机和编译器,volatile的使用volatile最多可能是多​​余的:

实现可能会定义抽象语义和实际语义之间的一对一对应关系:在每个序列点,实际对象的值将与抽象语义所指定的值一致。关键字volatile将是多余的。


根据C ++,according to the latest draft

注释5:volatile是实现的一种避免使用该对象进行优化的提示,因为对象的值可能通过实现无法检测到的方式进行更改。此外,对于某些实现,volatile可能指示需要特殊的硬件指令才能访问该对象。有关详细的语义,请参见[intro.execution]。 通常,volatile的语义在C ++中应与在C中相同。 —尾注

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


依赖报错 idea导入项目后依赖报错,解决方案:https://blog.csdn.net/weixin_42420249/article/details/81191861 依赖版本报错:更换其他版本 无法下载依赖可参考:https://blog.csdn.net/weixin_42628809/a
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下 2021-12-03 13:33:33.927 ERROR 7228 [ main] o.s.b.d.LoggingFailureAnalysisReporter : *************************** APPL
错误1:gradle项目控制台输出为乱码 # 解决方案:https://blog.csdn.net/weixin_43501566/article/details/112482302 # 在gradle-wrapper.properties 添加以下内容 org.gradle.jvmargs=-Df
错误还原:在查询的过程中,传入的workType为0时,该条件不起作用 &lt;select id=&quot;xxx&quot;&gt; SELECT di.id, di.name, di.work_type, di.updated... &lt;where&gt; &lt;if test=&qu
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct redisServer’没有名为‘server_cpulist’的成员 redisSetCpuAffinity(server.server_cpulist); ^ server.c: 在函数‘hasActiveC
解决方案1 1、改项目中.idea/workspace.xml配置文件,增加dynamic.classpath参数 2、搜索PropertiesComponent,添加如下 &lt;property name=&quot;dynamic.classpath&quot; value=&quot;tru
删除根组件app.vue中的默认代码后报错:Module Error (from ./node_modules/eslint-loader/index.js): 解决方案:关闭ESlint代码检测,在项目根目录创建vue.config.js,在文件中添加 module.exports = { lin
查看spark默认的python版本 [root@master day27]# pyspark /home/software/spark-2.3.4-bin-hadoop2.7/conf/spark-env.sh: line 2: /usr/local/hadoop/bin/hadoop: No s
使用本地python环境可以成功执行 import pandas as pd import matplotlib.pyplot as plt # 设置字体 plt.rcParams[&#39;font.sans-serif&#39;] = [&#39;SimHei&#39;] # 能正确显示负号 p
错误1:Request method ‘DELETE‘ not supported 错误还原:controller层有一个接口,访问该接口时报错:Request method ‘DELETE‘ not supported 错误原因:没有接收到前端传入的参数,修改为如下 参考 错误2:cannot r
错误1:启动docker镜像时报错:Error response from daemon: driver failed programming external connectivity on endpoint quirky_allen 解决方法:重启docker -&gt; systemctl r
错误1:private field ‘xxx‘ is never assigned 按Altʾnter快捷键,选择第2项 参考:https://blog.csdn.net/shi_hong_fei_hei/article/details/88814070 错误2:启动时报错,不能找到主启动类 #
报错如下,通过源不能下载,最后警告pip需升级版本 Requirement already satisfied: pip in c:\users\ychen\appdata\local\programs\python\python310\lib\site-packages (22.0.4) Coll
错误1:maven打包报错 错误还原:使用maven打包项目时报错如下 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-resources-plugin:3.2.0:resources (default-resources)
错误1:服务调用时报错 服务消费者模块assess通过openFeign调用服务提供者模块hires 如下为服务提供者模块hires的控制层接口 @RestController @RequestMapping(&quot;/hires&quot;) public class FeignControl
错误1:运行项目后报如下错误 解决方案 报错2:Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.8.1:compile (default-compile) on project sb 解决方案:在pom.
参考 错误原因 过滤器或拦截器在生效时,redisTemplate还没有注入 解决方案:在注入容器时就生效 @Component //项目运行时就注入Spring容器 public class RedisBean { @Resource private RedisTemplate&lt;String
使用vite构建项目报错 C:\Users\ychen\work&gt;npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-