草庐IT

lock-free

全部标签

Eff Monad和Free Monad之间有所不同

Effmonad看起来比单子变形金刚更好,更可用,可以用MonadTransform代替锅炉,但是Freemonad结果,可以在执行和程序定义之间提供完全相同的事情,结果Effmonad看起来像是头顶。如果我错过了一些细微差别,请纠正我。看答案MonadTransformers是您每天要为您使用的程序,它让您map和flatMap上T在Task[Option[T]],例如。Free和Eff解决另一个问题:他们让你写作多个口译员对于您的程序(对于您的日常申请而言,这很可能是过分的)。它们都被用来构建单声道表达式。Eff让您“将解释的劳动”“分裂为多个解释者,而Free您通常会从他们的Free另一

c++ - boost::unique_lock 和 boost::shared_lock 用于读写锁

我们已经实现了读写锁typedefboost::unique_lockWriterLock;typedefboost::shared_lockReadersLock;我们有很多多线程读者而只有少数作家。读者与其他读者共享访问权限,但阻止作者访问。Writer阻塞,直到它具有对该资源的独占访问权限。我们无法在boost文档中找到它...防止Writer饥饿的策略是什么?例如,如果有很多读者都从一个线程池中获取锁,那么在写者最终获得锁之前,锁尝试次数是否有上限?我们看到的性能数字似乎表明写入必须等到根本没有读者,并且在极少数情况下会等待很长时间,因为新读者可以在当前读者正在接受服务时请求锁

c++ - 无锁数据结构中的非 POD 类型

我想为非POD数据类型写无锁代码;也就是说,非平凡可破坏和非平凡可构造的类。例如,我需要向非POD类型的多生产者、多消费者无锁队列推送/弹出。boost::lockfree::queue实现,这似乎是我能找到的最适合生产的实时友好实现,它要求队列的模板类型是微不足道的可破坏/可构造的。我可以重构我团队的10,000行代码库,以将状态与我关注的每个类中的副作用分开,然后使用与原始类型等效的新POD状态的Boost无锁队列。但是,在我这样做之前:我可以使用不同的策略为这些非POD类型编写无锁代码吗?我的理解是,这是为了防止非无锁/线程安全的构造函数/析构函数的副作用。如果数据类型主要是“P

c++ - 为什么std::lock_guard在使用std::adopt_lock之后释放锁?

在下面的示例中,方法foo()被调用,它获得互斥体的所有权,并将其锁定。然后它调用check(),它获得了所有权,但假定互斥体已经被锁定,因此使用std::adopt_lock简单地采用它。但是当check()完成时,互斥锁被解锁。所以当foo()继续时,我试图保护的部分实际上不再受到保护。#includestaticstd::mutexsessionLock;boolcheck();voidfoo(){std::lock_guardguard(sessionLock);if(check()){//Dotransaction//Wait...themutexisunlockedhere

解决git -c diff.mnemonicprefix=false -c core.quotepath=false --no-optional-locks commit -q -F C:\Users

解决在vscode中node-v能显示版本,但是git提交代码找不到node问题在项目中打开.git/hooks/目录。在Windows上,您可能需要显示隐藏文件夹,因为.git目录通常是隐藏的。在.git/hooks/目录中查找名为pre-commit的文件。如果找到该文件,删除它。pre-commit是GitHooks的一部分,它是在执行提交之前运行的脚本。通常,GitHooks的脚本位于.git/hooks/目录中。在绝大多数情况下,删除pre-commit文件会使Git不再运行提交前的钩子。请注意,这也会删除所有其他可能存在的提交前钩子。

c++ - MsgPack 中不匹配的 free()/delete

我尝试在我的程序中使用Msgpack。有人可以帮我解决msgpackwiki中的下一个示例(流媒体功能)吗:http://wiki.msgpack.org/pages/viewpage.action?pageId=1081387并提供更正确的使用这个库的流媒体功能的例子。#include#include#includeintmain(void){//serializesmultipleobjectsusingmsgpack::packer.msgpack::sbufferbuffer;msgpack::packerpk(&buffer);pk.pack(std::string("Log

c++ - Boost 1.48.0 upgrade_to_unique_lock on Linux : Has something changed since 1. 47 还是我做错了什么?

我有一个小cppsource和hsource一些类的文件。它使用sharedmutexesandsharedlocks.它使用boost1.48.0在Windows上编译时没有错误。它还在linux上编译(之前使用boost1.47)。但是现在有这样的代码:boost::shared_mutexmut_;//...boost::upgrade_locklock(mut_);boost::upgrade_to_unique_lockuniqueLock(lock);导致奇怪的错误:====Buildingcf-fs(debug)====Creatingbin/obj/Debug/cf-f

c++ - 尝试实现无锁队列时发生堆栈溢出

我根据MagedM.Michael和MichaelL.Scott工作中指定的算法实现了一个无锁队列Simple,Fast,andPracticalNon-BlockingandBlockingConcurrentQueueAlgorithms(算法请跳转到第4页)我在shared_ptr上使用了原子操作,例如std::atomic_load_explicit等。当只在一个线程中使用队列时,一切都很好,但是当从不同线程中使用它时,我得到一个堆栈溢出异常。不幸的是,我无法追查问题的根源。似乎当一个shared_ptr超出范围时,它会减少下一个ConcurrentQueueNode的引用数量

c++ - test_and_set 线程的这种用法安全吗?

一直在思考如何实现无锁单向链表。老实说,我没有看到很多防弹方法。即使是使用CAS的更强大的方法最终也会有一定程度的ABAproblem.所以我开始思考。部分无锁系统难道不会比总是使用锁更好吗?一些操作可以是原子的和无锁的吗?如果我能做到这一点,它应该仍然是线程安全的。那么,进入正题。我在想一个简单的单向链表。2主要操作。push和pop。push总是在前面插入。像这样:voidpush(intn){T*p=newT;p->n=n;p->next=root;root=p;}pop总是取第一个元素。像这样:T*pop(){T*p=root;root=root->next;returnp;}

c++ - 是否有用于 boost::interprocess 的 'upgrade_to_unique_lock'?

我正在寻找在偏向编写器读取器/编写器模型中的两个(或多个)进程之间有效共享数据block的最佳方法。我当前的测试是使用boost::interprocess。我已经创建了一些managed_shared_memory并试图通过使用存储在共享内存中的进程间互斥来锁定对数据block的访问。但是,即使在读取器上使用sharable_lock并在写入器上使用upgradable_lock时,客户端在写入操作期间将读取碎片值而不是阻塞。在单个进程中的线程之间进行类似的读写器设置时,我使用upgrade_to_unique_lock来解决这个问题。但是,我还没有找到它的boost::interp