साझा स्मृति परमाणु पहुंच

Question

मेरे पास कई प्रक्रियाओं के बीच एक साझा स्मृति है जो स्मृति को एक निश्चित तरीके से इंटरपेट करता है। पूर्व:

DataBlock { 
int counter; 
double value1; 
double ... } 

क्या मैं चाहता हूँ काउंटर के लिए अपडेट करना होगा/atomically वृद्धि की जाती। और उस पते पर एक स्मृति रिलीज होने के लिए। अगर मैं साझा स्मृति का उपयोग कर नहीं थे, उदाहरण के लिए, यह होगा कुछ

तरह

std::atomic<int> counter; 
atomic_store(counter, newvalue, std::memory_order_release); // perform release  operation on the affected memory location making the write visible to other threads 

मैं कैसे एक यादृच्छिक स्मृति स्थान के लिए इस लक्ष्य को हासिल करते हैं (DataBlock काउंटर होने की व्याख्या> ऊपर)। मैं आर्किटेक्चर (x86 linux)

1. अद्यतन परमाणु - कैसे करें? (यानी atomicupdate (addr, newvalue))
2. मल्टीकोर के लिए मेमोरी सिंकिंग - (यानी मेमोरीसिंक (एडीआर)) - केवल एक ही तरीका जो मैं देख सकता हूं वह std :: atomic_thread_fence (std :: memory_order_release) का उपयोग कर रहा है - लेकिन यह "स्मृति स्थापित करेगा सभी परमाणु और आराम से परमाणु दुकानों के सिंक्रनाइज़ेशन ऑर्डरिंग "- मेरे लिए ओवरकिल - मैं बस काउंटर स्थान को सिंक्रनाइज़ करना चाहता हूं। किसी भी विचार की सराहना करते हैं।

Answer 1

आप काउंटर incrementing के लिए लॉक & प्रतीक्षा तंत्र का उपयोग कर सकते हैं। बूस्ट लाइब्रेरी एक लॉक और प्रतीक्षा तंत्र प्रदान करता है। reference

Answer 2

के लिए यह लिंक देखें, मैं यहां अधिकार के साथ उत्तर नहीं दे सकता, लेकिन मैं संबंधित जानकारी दे सकता हूं जो मदद कर सकता है।

1. म्यूटेक्स साझा स्मृति में बनाया जा सकता है और/या क्रॉस-प्रोसेस होने के लिए बनाया जा सकता है। पर्थ्रेड में एक विशेष निर्माण ध्वज है, मुझे याद नहीं है कि क्या वह साझा स्मृति का उपयोग करता है, या फिर आप एक हैंडल साझा करते हैं। लिनक्स "फूटेक्स" सीधे साझा स्मृति का उपयोग कर सकता है (ध्यान दें कि उपयोगकर्ता का पता भिन्न हो सकता है, लेकिन अंतर्निहित वास्तविक पता समान होना चाहिए)

2. हार्डवेयर परमाणु स्मृति पर काम करते हैं और चर को संसाधित नहीं करते हैं। यही है, आपकी चिप परवाह नहीं करेगा कि कौन से प्रोग्राम चर को संशोधित कर रहे हैं, निम्नतम स्तर पर परमाणु इस प्रकार स्वाभाविक रूप से क्रॉस-प्रोसेस होंगे। वही बाड़ पर लागू होता है।

3. सी ++ 11 क्रॉस-प्रोसेस परमाणु निर्दिष्ट करने में विफल रहता है। हालांकि, अगर वे लॉक-फ्री हैं (ध्वज की जांच करें) यह देखना मुश्किल है कि एक कंपाइलर उन्हें कैसे कार्यान्वित कर सकता है कि क्रॉस-प्रोसेस काम नहीं करेगा। लेकिन आप अपने टूल-चेन और अंतिम मंच में बहुत अधिक विश्वास रखेंगे।

4. सीपीयू निर्भरता गारंटी वास्तविक स्मृति पते को भी ट्रैक करती है, इसलिए जब तक आपका प्रोग्राम थ्रेडेड फॉर्म में सही होगा, यह भी इसके बहु-प्रक्रिया फॉर्म (दृश्यता के संबंध में) में सही होना चाहिए।

5. केरेक सही है, सार मशीन वास्तव में कई प्रक्रियाओं का उल्लेख नहीं करती है। हालांकि, इसके सिंक्रनाइज़ेशन विवरण इस तरह से लिखे गए हैं कि वे बहु-थ्रेड के साथ समान रूप से इंटर-प्रोसेस पर लागू होंगे। यह # 3 से संबंधित है: इसे संकुचित करने के लिए एक कंपाइलर के लिए मुश्किल होगी।

संक्षिप्त उत्तर, ऐसा करने के लिए कोई मानक अनुपालन तरीका नहीं है। हालांकि, मानक मल्टी-थ्रेड्स को परिभाषित करने के तरीके पर झुकाव के साथ आप गुणवत्ता संकलक के लिए कई धारणाएं कर सकते हैं।

सबसे बड़ा सवाल यह है कि क्या परमाणु को साझा स्मृति (प्लेसमेंट नया) और काम में आवंटित किया जा सकता है। जाहिर है यह केवल तभी काम करेगा जब यह एक वास्तविक हार्डवेयर परमाणु है। मेरा अनुमान है कि एक गुणवत्ता कंपाइलर/libary के साथ सी ++ परमाणु साझा साझा स्मृति में काम करना चाहिए।

मज़ेदार व्यवहार व्यवहार करें। :)

Answer 3

जब से तुम लिनक्स पर हैं, तो आप gcc परमाणु निर्मित __sync_fetch_and_add()counter के लिए पता पर ... gcc-documentation on atomic built-ins के अनुसार, यह भी एक पूर्ण स्मृति बाड़ को लागू करेगा, न कि रिहाई आपरेशन उपयोग कर सकते हैं, लेकिन चूंकि आप वास्तव में केवल लोड के बजाय एक पठन-संशोधित-लेखन ऑपरेशन चाहते हैं (यानी, काउंटर को बढ़ाने से केवल एक लोड नहीं होता है, लेकिन आपको मूल्य को पढ़ना, फिर संशोधित करना और अंत में लिखना है), पूर्ण- मेमोरी बाड़ इस ऑपरेशन के लिए सही मेमोरी ऑर्डरिंग को लागू करने के लिए एक बेहतर विकल्प होने जा रहा है।