这是一道面试题,面试过了。
如何在不使用mutex、semorphore、spinLock、futex的情况下实现线程同步?
给定 5 个线程,如何让其中的 4 个线程在同一点等待来自左侧线程的信号? 这意味着当所有线程 (1,2,3,4) 在其线程函数中的某个点执行时,它们会停止并等待 来自线程 5 的信号发送信号,否则它们将不会继续。
我的想法:
使用全局 bool 变量作为标志,如果线程 5 没有将其设置为真,则所有其他线程在某一点等待并设置它们的 标志变量为真。线程 5 发现所有线程的标志变量都为真后,它会设置它的标志变量为真。
这是一个忙等待。
有什么更好的主意吗?
谢谢
the pseudo code:
bool globalflag = false;
bool a[10] = {false} ;
int main()
{
for (int i = 0 ; i < 10; i++)
pthread_create( threadfunc, i ) ;
while(1)
{
bool b = true;
for (int i = 0 ; i < 10 ; i++)
{
b = a[i] & b ;
}
if (b) break;
}
}
void threadfunc(i)
{
a[i] = true;
while(!globalflag);
}
最佳答案
从等待线程的空链表开始。头部应设置为 0。
使用 CAS、比较和交换,在等待者列表的头部插入一个线程。如果 head = -1,则不插入或等待。如果操作正确,您可以安全地使用 CAS 在链表的头部插入项。
插入后,等待线程应该在 SIGUSR1 上等待。使用 sigwait() 来执行此操作。
准备就绪后,信号线程使用 CAS 将等待列表的头部设置为 -1。这可以防止更多线程将自己添加到等待列表中。然后发信号线程迭代等待列表中的线程,调用pthread_kill(&thread, SIGUSR1)唤醒每个等待线程。
如果在调用 sigwait 之前发送 SIGUSR1,sigwait 将立即返回。因此,在将线程添加到等待列表和调用 sigwait 之间不会存在竞争。
编辑:
为什么 CAS 比互斥锁快?外行人的回答(我是外行)。它在某些情况下对某些事情更快,因为在没有竞争的情况下它的开销更低。因此,如果您可以将并发问题减少到需要更改 8-16-32-64-128 位的连续内存,并且不会经常发生竞争,那么 CAS 就会获胜。 CAS 基本上是一种稍微更花哨/更昂贵的 mov 指令,就在您无论如何都要执行常规“mov”的地方。它是一个“锁交换”或类似的东西。
另一方面,互斥量是一大堆额外的东西,它会使其他缓存行变脏并使用更多内存屏障等。尽管 CAS 在 x86、x64 等平台上充当内存屏障。当然你必须解锁可能大约相同数量的额外东西的互斥锁。
以下是使用 CAS 将项目添加到链表的方法:
while (1)
{
pOldHead = pHead; <-- snapshot of the world. Start of the race.
pItem->pNext = pHead;
if (CAS(&pHead, pOldHead, pItem)) <-- end of the race if phead still is pOldHead
break; // success
}
那么您认为您的代码多久会在同一时间在该 CAS 行上有多个线程?实际上……不是很经常。我们所做的测试只是循环地同时使用多个线程添加数百万个项目,而且这种情况发生的概率不到 1%。在真实程序中,它可能永远不会发生。
显然,如果有一场比赛,您必须返回并再次执行该循环,但在链表的情况下,这要花多少钱?
缺点是,如果您要使用该方法将项目添加到头部,则不能对该链表执行非常复杂的操作。尝试实现一个双向链表。好痛苦。
编辑:
在上面的代码中,我使用了宏 CAS。如果您使用的是 linux,CAS = 使用 __sync_bool_compare_and_swap 的宏。参见 gcc atomic builtins .如果您使用的是 Windows,CAS = macro 使用类似 InterlockedCompareExchange 的东西。 Windows 中的内联函数可能如下所示:
inline bool CAS(volatile WORD* p, const WORD nOld, const WORD nNew) {
return InterlockedCompareExchange16((short*)p, nNew, nOld) == nOld;
}
inline bool CAS(volatile DWORD* p, const DWORD nOld, const DWORD nNew) {
return InterlockedCompareExchange((long*)p, nNew, nOld) == nOld;
}
inline bool CAS(volatile QWORD* p, const QWORD nOld, const QWORD nNew) {
return InterlockedCompareExchange64((LONGLONG*)p, nNew, nOld) == nOld;
}
inline bool CAS(void*volatile* p, const void* pOld, const void* pNew) {
return InterlockedCompareExchangePointer(p, (PVOID)pNew, (PVOID)pOld) == pOld;
}
关于c++ - 如何在不使用mutex、semorphore、spinLock、futex的情况下实现线程同步?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10770171/
我正在学习如何使用Nokogiri,根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div
我有一个Ruby程序,它使用rubyzip压缩XML文件的目录树。gem。我的问题是文件开始变得很重,我想提高压缩级别,因为压缩时间不是问题。我在rubyzipdocumentation中找不到一种为创建的ZIP文件指定压缩级别的方法。有人知道如何更改此设置吗?是否有另一个允许指定压缩级别的Ruby库? 最佳答案 这是我通过查看rubyzip内部创建的代码。level=Zlib::BEST_COMPRESSIONZip::ZipOutputStream.open(zip_file)do|zip|Dir.glob("**/*")d
类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc
很好奇,就使用rubyonrails自动化单元测试而言,你们正在做什么?您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您?git中的预提交Hook?只是手动调用?我完全理解测试,但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的,并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您? 最佳答案 不确定您到底想听什么,但是有几个级别的自动代码库控制:在处理某项功能时,您可以使用类似autotest的内容获得关于哪些有效,哪些无效的即时反馈。要确保您的提
假设我做了一个模块如下:m=Module.newdoclassCendend三个问题:除了对m的引用之外,还有什么方法可以访问C和m中的其他内容?我可以在创建匿名模块后为其命名吗(就像我输入“module...”一样)?如何在使用完匿名模块后将其删除,使其定义的常量不再存在? 最佳答案 三个答案:是的,使用ObjectSpace.此代码使c引用你的类(class)C不引用m:c=nilObjectSpace.each_object{|obj|c=objif(Class===objandobj.name=~/::C$/)}当然这取决于
出于纯粹的兴趣,我很好奇如何按顺序创建PI,而不是在过程结果之后生成数字,而是让数字在过程本身生成时显示。如果是这种情况,那么数字可以自行产生,我可以对以前看到的数字实现垃圾收集,从而创建一个无限系列。结果只是在Pi系列之后每秒生成一个数字。这是我通过互联网筛选的结果:这是流行的计算机友好算法,类机器算法:defarccot(x,unity)xpow=unity/xn=1sign=1sum=0loopdoterm=xpow/nbreakifterm==0sum+=sign*(xpow/n)xpow/=x*xn+=2sign=-signendsumenddefcalc_pi(digits
我正在尝试使用ruby和Savon来使用网络服务。测试服务为http://www.webservicex.net/WS/WSDetails.aspx?WSID=9&CATID=2require'rubygems'require'savon'client=Savon::Client.new"http://www.webservicex.net/stockquote.asmx?WSDL"client.get_quotedo|soap|soap.body={:symbol=>"AAPL"}end返回SOAP异常。检查soap信封,在我看来soap请求没有正确的命名空间。任何人都可以建议我
关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题?更新问题,以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点?我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等),但我确实想创建一个输出文件。
我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗?当我运行compasswatch时,它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行?文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们?我自己编译的.sass文件编译成compiled/t
我想将html转换为纯文本。不过,我不想只删除标签,我想智能地保留尽可能多的格式。为插入换行符标签,检测段落并格式化它们等。输入非常简单,通常是格式良好的html(不是整个文档,只是一堆内容,通常没有anchor或图像)。我可以将几个正则表达式放在一起,让我达到80%,但我认为可能有一些现有的解决方案更智能。 最佳答案 首先,不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案,它会随着HTML的变化而崩溃,或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h