在新版C++标准库中是一个很有用的函数。这个函数会返回能并发在一个程序中的线程数量。例如,多核系统中,返回值可以是CPU核芯的数量。返回值也仅仅是一个提示,当系统信息无法获取时,函数也会返回0。但是,这也无法掩盖这个函数对启动线程数量的帮助。
We confirm, via automatic model-checking, that we correctly implement the semantics in accordance with the C standard. A case study on a circular buffer suggests that on average circuits synthesised from programs that schedule atomics correctly can be 6脳 faster than an existing lock-based ...
John WickersonGeorge A. ConstantinidesACMField Programmable Gate ArraysN. Ramanathan, S. T. Fleming, J. Wickerson, and G. A. Constantinides, "Hardware Synthesis of Weakly Consistent C Concurrency," in Field- Programmable Gate Arrays (FPGA), 2017....
Bishwaranjan BhattacharjeeMustafa CanimYuan-Chi ChangMohammad Sadoghi HamedaniBassem MakniKenneth Andrew Ross
Bishwaranjan BhattacharjeeMustafa CanimYuan-Chi ChangMohammad Sadoghi HamedaniBassem MakniKenneth Andrew Ross
Cao Minh, C. Kozyrakis, and K. Olukotun. Improving Software Concurrency with Hardware-Assisted Memory Snapshot (Brief Announcement). In Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architecture (SPAA), Munich, Germany, June 2008....
Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita, Marc Moreno Maza, and Ning Xie. MetaFork: A compi- lation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels. In Proceedings of CASCON 2015, pages 70-79, 2015....