लॉक-फ्री संरचनाओं के लिए सी ++ परमाणु संचालन

Question

मैं परमाणु (डबल) तुलना और स्वैप निर्देशों का उपयोग कर लॉक-फ्री तंत्र को कार्यान्वित कर रहा हूं। cmpxchg16b

मैं वर्तमान में इसे असेंबली में लिख रहा हूं और फिर इसे जोड़ रहा हूं। हालांकि, मुझे आश्चर्य हुआ कि क्या संकलक को मेरे लिए यह स्वचालित रूप से करने का कोई तरीका था? जैसे चारों ओर कोड कोड 'परमाणु रूप से' है और क्या यह समझता है कि अंतर्निहित प्रोसेसर आर्किटेक्चर में परमाणु निर्देश के रूप में कोड को कैसे कार्यान्वित किया जाए (या अंतर्निहित आर्क इसका समर्थन नहीं करता है) संकलित समय में त्रुटि उत्पन्न करें?

पीएस मुझे पता है कि जीसीसी कुछ बनाया-इन (कम से कम कैस के लिए)

http://gcc.gnu.org/onlinedocs/gcc-4.4.0/gcc/Atomic-Builtins.html#Atomic-Builtins

Answer 1

पहले से ही उत्तर दिया गया here।

सी ++ 0x मानक कुछ atomic datatypes प्रदान करेगा, मुख्य रूप से पूर्णांक और शून्य प्रकार std :: atomic <> टेम्पलेट का उपयोग कर प्रदान करेगा। उस आलेख में Boehm's atomic_ops project का उल्लेख है जिसे आप आज डाउनलोड और उपयोग कर सकते हैं।

यदि नहीं, तो क्या आप संकलक में अपने असेंबलर इनलाइन को लागू नहीं कर सकते? मुझे पता है कि एमएसवीसी में इनलाइन असेंबलर रूटीन के लिए __asm कीवर्ड है। Google कहता है yes, जीसीसी can do it too।

Answer 2

भविष्य "C++ 0x" सी ++ के लिए मानक परमाणु संचालन का समर्थन करेंगे & सी है - जैसे देखना एक उचित थोरॉट चर्चा के लिए http://www.open-std.org/JTC1/sc22/wg21/docs/papers/2007/n2427.html। जब तक कहा गया कि आगामी मानक अनुमोदित और व्यापक रूप से कार्यान्वित नहीं किया गया है, बेशक, इस तरह की कार्यक्षमता को "पोर्टेबल" कंपेलरों में प्राप्त करने का कोई तरीका नहीं है; यदि आप जीसीसी से परे विशिष्ट कंपाइलर्स में रूचि रखते हैं, तो शायद आप उनके बारे में एक और सवाल खोल सकते हैं।