volatile sig_atomic_t 是否提供任何内存顺序保证?例如。如果我只需要加载/存储一个整数,可以使用吗?
例如这里:
volatile sig_atomic_t x = 0;
...
void f() {
std::thread t([&] {x = 1;});
while(x != 1) {/*waiting...*/}
//done!
}
这是正确的代码吗? 在某些情况下它可能不起作用?
注意:这是一个过度简化的示例,即我不是在为给定的代码片段寻找更好的解决方案。我只想了解在根据 C++ 标准的多线程程序中,我可以从 volatile sig_atomic_t 中得到什么样的行为。或者,如果是这种情况,请理解行为未定义的原因。
我发现了以下语句 here :
The library type sig_atomic_t does not provide inter-thread synchronization or memory ordering, only atomicity.
如果我将它与这个定义进行比较 here :
memory_order_relaxed: Relaxed operation: there are no synchronization or ordering constraints imposed on other reads or writes, only this operation's atomicity is guaranteed
不一样吗? 原子性 在这里到底是什么意思? volatile 在这里做了什么有用的事情吗? “不提供同步或内存排序”与“无同步或排序约束”有什么区别?
最佳答案
您正在使用 sig_atomic_t 类型的对象由两个线程访问(一个修改)。
根据 C++11 内存模型,这是未定义的行为,简单的解决方案是使用 std::atomic<T>
std::sig_atomic_t和 std::atomic<T>属于不同的联盟。在可移植代码中,一个不能被另一个替换,反之亦然。
两者唯一共享的属性是原子性(不可分割的操作)。这意味着对这些类型的对象的操作没有(可观察到的)中间状态,但这就是相似之处。
sig_atomic_t没有线程间属性。事实上,如果这种类型的对象被多个线程访问(修改)(如在您的示例代码中),它在技术上是未定义的行为(数据竞争);
因此,未定义线程间内存排序属性。
什么是 sig_atomic_t用于?
这种类型的对象可以在信号处理程序中使用,但前提是它被声明为volatile。 .原子性和volatile保证两件事:
例如:
volatile sig_atomic_t quit {0};
void sig_handler(int signo) // called upon arrival of a signal
{
quit = 1; // store value
}
void do_work()
{
while (!quit) // load value
{
...
}
}
虽然这段代码是单线程的,do_work可以被触发 sig_handler 的信号异步中断并自动更改 quit 的值.
没有 volatile ,编译器可能会“提升”来自 quit 的负载在 while 循环之外,使得 do_work 不可能观察 quit 的变化由信号引起。
为什么不能std::atomic<T>用作 std::sig_atomic_t 的替代品?
一般来说,std::atomic<T> template 是一种不同的类型,因为它被设计为由多个线程并发访问并提供线程间排序保证。
原子性在 CPU 级别并不总是可用(尤其是对于较大的类型 T ),因此实现可能使用内部锁来模拟原子行为。
是否std::atomic<T>使用特定类型的锁 T可通过成员函数 is_lock_free() 获得, 或类常量 is_always_lock_free (C++17)。
在信号处理程序中使用此类型的问题是 C++ 标准不保证 std::atomic<T>对任何类型都是无锁的T .只有std::atomic_flag有那个保证,但那是不同的类型。
想象一下上面的代码,其中 quit标志是 std::atomic<int>这恰好不是无锁的。有可能当do_work()加载值,
它在获取锁后但在释放锁之前被信号中断。
信号触发sig_handler()现在要将值存储到 quit通过获取相同的锁,该锁已被 do_work 获取,哎呀。这是未定义的行为,可能会导致死锁。
std::sig_atomic_t没有那个问题,因为它不使用锁定。所需要的只是一种在 CPU 级别和许多平台上不可分割的类型,它可以像这样简单:
typedef int sig_atomic_t;
底线是,使用 volatile std::sig_atomic_t对于单线程中的信号处理程序并使用 std::atomic<T>作为无数据争用类型,在多线程环境中。
关于c++ - 多线程程序中的 std::atomic<int> memory_order_relaxed VS volatile sig_atomic_t,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56598970/
我需要在客户计算机上运行Ruby应用程序。通常需要几天才能完成(复制大备份文件)。问题是如果启用sleep,它会中断应用程序。否则,计算机将持续运行数周,直到我下次访问为止。有什么方法可以防止执行期间休眠并让Windows在执行后休眠吗?欢迎任何疯狂的想法;-) 最佳答案 Here建议使用SetThreadExecutionStateWinAPI函数,使应用程序能够通知系统它正在使用中,从而防止系统在应用程序运行时进入休眠状态或关闭显示。像这样的东西:require'Win32API'ES_AWAYMODE_REQUIRED=0x0
Rackup通过Rack的默认处理程序成功运行任何Rack应用程序。例如:classRackAppdefcall(environment)['200',{'Content-Type'=>'text/html'},["Helloworld"]]endendrunRackApp.new但是当最后一行更改为使用Rack的内置CGI处理程序时,rackup给出“NoMethodErrorat/undefinedmethod`call'fornil:NilClass”:Rack::Handler::CGI.runRackApp.newRack的其他内置处理程序也提出了同样的反对意见。例如Rack
我想用ruby编写一个小的命令行实用程序并将其作为gem分发。我知道安装后,Guard、Sass和Thor等某些gem可以从命令行自行运行。为了让gem像二进制文件一样可用,我需要在我的gemspec中指定什么。 最佳答案 Gem::Specification.newdo|s|...s.executable='name_of_executable'...endhttp://docs.rubygems.org/read/chapter/20 关于ruby-在Ruby中编写命令行实用程序
我构建了两个需要相互通信和发送文件的Rails应用程序。例如,一个Rails应用程序会发送请求以查看其他应用程序数据库中的表。然后另一个应用程序将呈现该表的json并将其发回。我还希望一个应用程序将存储在其公共(public)目录中的文本文件发送到另一个应用程序的公共(public)目录。我从来没有做过这样的事情,所以我什至不知道从哪里开始。任何帮助,将不胜感激。谢谢! 最佳答案 无论Rails是什么,几乎所有Web应用程序都有您的要求,大多数现代Web应用程序都需要相互通信。但是有一个小小的理解需要你坚持下去,网站不应直接访问彼此
我尝试运行2.x应用程序。我使用rvm并为此应用程序设置其他版本的ruby:$rvmuseree-1.8.7-head我尝试运行服务器,然后出现很多错误:$script/serverNOTE:Gem.source_indexisdeprecated,useSpecification.Itwillberemovedonorafter2011-11-01.Gem.source_indexcalledfrom/Users/serg/rails_projects_terminal/work_proj/spohelp/config/../vendor/rails/railties/lib/r
我的瘦服务器配置了nginx,我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例,但找不到好的解决方案。有没有人能做到这一点? 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器,例如server{listen80;server
刚入门rails,开始慢慢理解。有人可以解释或给我一些关于在application_controller中编码的好处或时间和原因的想法吗?有哪些用例。您如何为Rails应用程序使用应用程序Controller?我不想在那里放太多代码,因为据我了解,每个请求都会调用此Controller。这是真的? 最佳答案 ApplicationController实际上是您应用程序中的每个其他Controller都将从中继承的类(尽管这不是强制性的)。我同意不要用太多代码弄乱它并保持干净整洁的态度,尽管在某些情况下ApplicationContr
我是一个Rails初学者,但我想从我的RailsView(html.haml文件)中查看Ruby变量的内容。我试图在ruby中打印出变量(认为它会在终端中出现),但没有得到任何结果。有什么建议吗?我知道Rails调试器,但更喜欢使用inspect来打印我的变量。 最佳答案 您可以在View中使用puts方法将信息输出到服务器控制台。您应该能够在View中的任何位置使用Haml执行以下操作:-puts@my_variable.inspect 关于ruby-on-rails-如何在我的R
我收到这个错误:RuntimeError(自动加载常量Apps时检测到循环依赖当我使用多线程时。下面是我的代码。为什么会这样?我尝试多线程的原因是因为我正在编写一个HTML抓取应用程序。对Nokogiri::HTML(open())的调用是一个同步阻塞调用,需要1秒才能返回,我有100,000多个页面要访问,所以我试图运行多个线程来解决这个问题。有更好的方法吗?classToolsController0)app.website=array.join(',')putsapp.websiteelseapp.website="NONE"endapp.saveapps=Apps.order("
如何检查Ruby文件是否是通过“require”或“load”导入的,而不是简单地从命令行执行的?例如:foo.rb的内容:puts"Hello"bar.rb的内容require'foo'输出:$./foo.rbHello$./bar.rbHello基本上,我想调用bar.rb以不执行puts调用。 最佳答案 将foo.rb改为:if__FILE__==$0puts"Hello"end检查__FILE__-当前ruby文件的名称-与$0-正在运行的脚本的名称。 关于ruby-检查是否