如何解决使用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 ++标准(最新草案)的引文:
[简介]
本文档中的语义描述定义了参数化的不确定性抽象机。 本文档对符合实现的结构没有任何要求。 特别是,它们不需要复制或模拟抽象机的结构。 相反,需要遵循一致的实现来(仅)模拟抽象机的可观察到的行为,如下所述。
执行格式正确的程序的一致实现应产生与具有相同程序和相同输入的抽象机相应实例的可能执行之一相同的可观察行为。 ...
,对符合标准的实现的最低要求是:
- 严格按照抽象机的规则评估通过易失性glvalue进行的访问。
- 在程序终止时,写入文件的所有数据应与根据抽象语义执行程序可能产生的结果之一相同。
- 交互式设备的输入和输出动态必须以一种方式进行,即在程序等待输入之前实际上会发出提示输出。
构成交互式设备的是实现定义的。
这些统称为程序的可观察行为。
是的,您必须使用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 举报,一经查实,本站将立刻删除。