- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
我有点不知所云了。
我有三个进程通过共享内存段进行通信。并发访问是通过正确的锁定处理的(以避免在这里被误解),所以我很确定我正在按照预期的方式使用 volatile 关键字。
我的共享内存段被强制转换为指向结构的 volatile 指针,我可以对其进行操作。该结构必须是 volatile 的,因为有时我需要旋转直到共享内存上的某些值发生变化 - 所以不使用 volatile 不是一种选择。
现在我正在使用一个外部 C++ 库(SystemC,但这在这里无关紧要),我的结构从中包含 sc_time 的成员。尽管我可以访问该库的源代码,但我不想依赖于我所做的修改,这可能会破坏内容或陷入维护困境。
现在这个类“sc_time”有用于比较和赋值的运算符。这些运算符不适用于 volatile sc_time - 到目前为止并不奇怪。
现在我的问题是:有没有一种方法可以在不破坏语义的情况下消除这种易变性?我可以使用经常提到的 const_cast<> 或简单的 C-cast,但编译器会做什么呢?我什至可以只使用 memcpy() 数据 - 但话又说回来,结果会是什么?
任何建议都将受到欢迎 - 使用 C-only 包装器或任何其他方法我完全没有问题 - 只要它有效(tm),但我最后的选择是一些小的类似 memcpy 的汇编代码真正读取数据 - 这是我想避免的事情。
感谢您花时间阅读本文:-)
编辑:添加小代码片段:
struct shared_memory{
sc_time time1;
sc_time time2;
sc_time time3;
...
}
...
class foo
{
foo(); // attach shared memory and assign to *mem
...
pthread_mutex_t mutex;
volatile struct shared_memory *mem;
...
void do_stuff(); // periodically called
};
void foo::do_stuff()
{
...
lock_mutex(mutex);
sc_time t1 = mem->time1;
sc_time t2 = mem->time2;
sc_time t3 = mem->time3;
unlock_mutex(mutex);
...
while(t1 < t2 || t1 < t3){
lock_mutex(mutex);
t1 = mem->time1;
t2 = mem->time2;
t3 = mem->time3;
unlock_mutex(mutex);
}
}
最佳答案
如果您必须自旋等待变量的更改,则您没有正确锁定。自旋等待总是必须假定对数据的原子访问。这不仅与获取最新版本的数据有关,还与一致性有关,例如,数据可能会拆分为多个缓存行,您可能只获取旧版本的低字节和更新版本的高字节。
因此,新的 C 和 C++ 标准具有用于原子访问的概念和工具,请尽可能使用它们。如果您没有它们,请使用编译器(或库)扩展:所有现代处理器都有原子指令,任何像样的编译器都有提供此类功能的扩展。
用 volatile
玩游戏不是你应该走的路。如果您放弃 volatile
并将这样的对象传递给一个不希望在其下发生任何变化的函数,那么所有事情都可能发生。特别是,当没有 volatile
的库被编译时,可以执行破坏数据的优化。不要这样做。
编辑:因为您还用 gcc 标记了您的问题,所以他们有一个很好的理由 __sync_lock_test_and_set
内置函数作为扩展。用它。也许根据您的特定架构组合,这将解析为完全相同的代码,但请相信 gcc 人员,他们知道何时必须添加一些汇编程序魔法来为您提供有关数据的保证。
关于c++ - 将 volatile 数据与未为 volatile 数据重载的方法一起使用,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/18506653/
这将是一篇很长的文章,为了将其上下文化并提供尽可能多的信息,我必须仔细浏览各种链接和引号——这通常是我们进入 C/C++ 标准兔子洞的唯一方法。如果您对这篇文章有更好的引用或任何其他改进,请告诉我。但
我想知道 volatile 关键字与 register、const 和 static 结合的不同用途关键词。我不确定有什么影响,所以我认为: register volatile int T=10; 建
让我们考虑以下 Java 代码 int x = 0; int who = 1 Thread #1: (1) x++; (2) who = 2; Thread #2 while(who
有一个函数“remove_cv”(http://en.cppreference.com/w/cpp/types/remove_cv)可以删除常量和 volatile 。 我的问题是为什么可以从“con
我正在尝试在下面的“MpscQueue.h”中的嵌入式目标上实现多个生产者(通过中断)、单个消费者(通过应用程序线程)队列。 我想知道我是否可以安全地删除一些 volatile下面的用法(见内联问
我的问题适用于最初为 null 的字段,然后初始化为非 null 值,然后不再更改。 由于该字段需要尽快可供所有线程使用,因此我需要使用 volatile 。 但是,如果我想尽可能避免 volatil
我以前见过几次类似 fld = fld 的东西,但在所有这些情况下,可以消除虚拟写入并获得更好的性能。 public class Tst{ public volatile int fld =
看完this question和 this (尤其是第二个答案)我对 volatile 及其与内存屏障有关的语义感到非常困惑。 在上面的例子中,我们写入了一个 volatile 变量,这会导致一个 m
如下所示,该程序有一个共享 var flag,但不带 volatile : public class T { public static void main(String[] args) {
我明白声明 int *volatile ptr; 表示指针本身是volatile int a=10; int *volatile ptr=&a; 现在 ptr 和 a 都在更新。会不会导致访问ptr时
最近我需要比较两个 uint 数组(一个是 volatile 数组,另一个是非 volatile 数组),结果令人困惑,我一定是对 volatile 数组有一些误解。 我需要从输入设备读取一个数组并将
这两个 C 定义有什么区别? volatile uint32_t *ptr1 = (volatile uint32_t *)0x20040000; volatile uint32_t *ptr1 =
// structure is like this, but not exact formation. class queue { volatile List worksWaiting; }
考虑以下这段代码: struct S{ int i; S(int); S(const volatile S&); }; struct S_bad{ int i; }; vola
在 Windows x64 上,考虑到一些额外的见解,何时允许编译器将 ABI 标记为 volatile 的寄存器视为非 volatile 寄存器?我有一个反汇编函数,其中 r11 用于在函数调用后恢
我对下面的代码段有疑问。结果可能有 [0, 1, 0] 的结果(这是用 JCStress 执行的测试)。那么这怎么会发生呢?我认为应该在写入 Actor2 (guard2 = 1) 中的 guard2
好吧,假设我有一堆变量,其中一个声明为 volatile: int a; int b; int c; volatile int v; 如果一个线程写入所有四个变量(最后写入 v),而另一个线程读取所有
我试图理解为什么这个例子是一个正确同步的程序: a - volatile Thread1: x=a Thread2: a=5 因为存在冲突访问(存在对 a 的写入和读取),所以在每个顺序一致性执行中,
我正在编写一个需要同时支持 volatile 和非 volatile 实例的类( volatile 实例使用原子操作,非 volatile 实例使用常规操作),并且想知道我是否以正确的方式进行处理。到
我正在为 Cortex-M0 CPU 和 gcc 编写代码。我有以下结构: struct { volatile unsigned flag1: 1; unsigned flag2: 1
我是一名优秀的程序员,十分优秀!