concurrency पर टैग किए गए जवाब

मैं वर्तमान में अपने विश्वविद्यालय में समवर्ती प्रोग्रामिंग पाठ्यक्रम में भाग ले रहा हूं और हमने हाल ही में एक मॉनिटर की अवधारणा के बारे में बात करना शुरू किया है। जबकि मैं आपसी बहिष्कार की आवश्यकता को समझता हूं, मुझे समझ में नहीं आता है कि मैं उसके लिए …

11 concurrency  synchronization  mutual-exclusion 

एक ड्रिंक डिस्पेंसर के लिए उपयोगकर्ता को एक सिक्का ( ) सम्मिलित करने की आवश्यकता होती है , फिर तीन में से एक बटन दबाएं: tea d चाय एक कप चाय ई चाय का अनुरोध करता है , कॉफी के लिए डिट्टो , और requests r अनुरोध वापस करता है …

11 logic  concurrency  modelling  process-algebras  ccs 

मेरी समझ यह है कि एक म्यूटेक्स का सबसे लोकप्रिय कार्यान्वयन (उदाहरण के लिए सी ++ में म्यूटेक्स) निष्पक्षता की गारंटी नहीं देता है - अर्थात, वे इस बात की गारंटी नहीं देते हैं कि विवाद के मामलों में, लॉक को उसी क्रम में थ्रेड द्वारा अधिग्रहित किया जाएगा कि …

11 concurrency  synchronization  threads 

मेरी पृष्ठभूमि अनिवार्य भाषाओं से आई, मुख्य रूप से C, C ++ और पायथन। मैंने कुछ साल बाद स्काला, एरलंग और हास्केल को उठाया और तब से कार्यात्मक प्रोग्रामिंग और इसके पीछे की औपचारिकताओं में बहुत दिलचस्पी हो गई है। मुझे समवर्ती और वितरित प्रोग्रामिंग में भी दिलचस्पी है और …

10 distributed-systems  concurrency 

एक प्रोग्राम जो चर और निर्देशों से मिलकर बनता है, जो इन चरों को संशोधित करता है, और एक सिंक्रोनाइज़ेशन आदिम (एक मॉनीटर, म्यूटेक्स, जावा का सिंक्रोनाइज़ या सी # लॉक), क्या यह साबित करना संभव है कि ऐसा प्रोग्राम थ्रेड सुरक्षित है? क्या थ्रेड सुरक्षा या रेसिंग स्थितियों जैसी …

10 proof-techniques  correctness-proof  concurrency  threads 

मुझे लगता है कि आपसी बहिष्कार के लिए पीटरसन के एल्गोरिथ्म में , यदि पहले महत्वपूर्ण अनुभाग में प्रवेश करने की प्रक्रिया को मरने या रद्द किया जाना था, तो दूसरी प्रक्रिया हमेशा के लिए लूप हो जाएगी, महत्वपूर्ण अनुभाग में प्रवेश करने की प्रतीक्षा कर रही है। तस्वीर में, …

9 programming-languages  concurrency  mutual-exclusion