libccr:将Hoare的条件性关键区域实现为C库

时间:2021-05-02 05:45:07
【文件属性】:
文件名称:libccr:将Hoare的条件性关键区域实现为C库
文件大小:99KB
文件格式:ZIP
更新时间:2021-05-02 05:45:07
c cmake synchronization concurrency concurrent-programming libccr C语言中带有pthread的简单易用的条件关键区域(CCR)。 CCR是具有以下形式的高级同步构造: region R when C do S 其中R是该区域的名称,C是一个条件,S是关键部分。 上面的陈述被翻译成 Enter region R Block current thread while condition C is false Enter critical section S (when condition C becomes true) Execute all code in critical section S Leave S Leave R 当检查条件C是否为真以及执行关键部分S中的代码时,CCR保证相互排斥和公平(无饥饿)。 如何使用 支持的平台是Linux,OSX和Windows(仅通过mingw和libwinpthread测试),但是可以在支
【文件预览】:
libccr-master
----.travis.yml(334B)
----Readme.md(1KB)
----LICENSE(1KB)
----test_macro.c(1KB)
----ccr.c(4KB)
----examples()
--------rollercoaster()
--------bridge()
----.gitignore(71B)
----CMakeLists.txt(1KB)
----ccr.h(8KB)
----Makefile(559B)
----Doc.md(10KB)
----test_lib.c(2KB)

网友评论