सेमफोर का उपयोग करके आप एक कंडीशन वैरिएबल कैसे कार्यान्वित कर सकते हैं?

Question

कुछ समय पहले मैं एक दूसरे के संदर्भ में विभिन्न सिंक्रनाइज़ेशन प्राइमेटिव को कार्यान्वित करने के बारे में सोच रहा था। उदाहरण के लिए, pthreads में आपको mutexes और condition variables मिलते हैं, और इनमें से semaphores बना सकते हैं।

विंडोज एपीआई (या कम से कम, विंडोज एपीआई के पुराने संस्करण) में म्यूटेक्स और सेमफोर हैं, लेकिन कोई शर्त चर नहीं है। मुझे लगता है कि म्यूटेक्स और सेमफोरों से हालत चर बनाने के लिए संभव होना चाहिए, लेकिन मेरे जीवन के लिए मैं ऐसा करने का तरीका नहीं सोच सकता।

क्या किसी को ऐसा करने के लिए एक अच्छा निर्माण पता है?

Answer 1

यहां एक paper from Microsoft Research [पीडीएफ] है जो वास्तव में उससे संबंधित है।

Answer 2

एक्स दिए गए सेमफोरों को लागू करने का एक तरीका सिस्टम में सर्वर प्रक्रिया जोड़ना, इसके साथ संवाद करने के लिए सेमफोर का उपयोग करना है, और प्रक्रिया को एक्स को लागू करने के सभी कड़ी मेहनत करते हैं। अकादमिक अभ्यास के रूप में, यह धोखा दे सकता है , लेकिन यह काम पूरा हो जाता है, और यह ग्राहक प्रक्रियाओं, या उनकी अचानक मौत के लिए दुर्व्यवहार के लिए और अधिक मजबूत हो सकता है।

Answer 3

मुझे यहां कुछ याद आ रही है, लेकिन पेपर में वर्णित तरीके से सेमाफोर और लॉक से एक शर्त लागू करने का एक आसान तरीका प्रतीत होता है।

class Condition { 
    sem_t m_sem; 
    int m_waiters; 
    int m_signals; 
    pthread_mutex_t *m_mutex; 
public: 

    Condition(pthread_mutex_t *_mutex){ 
     sem_init(&this->m_sem,0,0); 
     this->m_waiters = 0; 
     this->m_signals = 0; 
     this->m_mutex = _mutex; 
    } 
    ~Condition(){} 
    void wait(); 
    void signal(); 
    void broadcast(); 
}; 

void Condition::wait() { 
    this->m_waiters++; 
    pthread_mutex_unlock(this->m_mutex); 
    sem_wait(&this->m_sem); 
    pthread_mutex_lock(this->m_mutex); 
    this->m_waiters--; 
    this->m_signals--; 
} 

void Condition::signal() { 
    pthread_mutex_lock(this->m_mutex); 
    if (this->m_waiters && (this->m_waiters > this->m_signals)) { 
     sem_post(&this->m_sem); 
     this->m_signals++; 
    } 
    pthread_mutex_unlock(this->m_mutex); 
} 

Answer 4

बाहर की जाँच करें इस पत्र: https://birrell.org/andrew/papers/ImplementingCVs.pdf

टी एल; डॉ: एक स्पष्ट कतार का प्रयोग करें।