প্রশ্ন ট্যাগ «concurrency»

আমি বর্তমানে আমার বিশ্ববিদ্যালয়ের একযোগে প্রোগ্রামিং কোর্সে অংশ নিচ্ছি এবং আমরা সম্প্রতি একটি মনিটরের ধারণা সম্পর্কে কথা বলা শুরু করেছি। আমি পারস্পরিক বর্জনীয়তার প্রয়োজনীয়তাটি বুঝতে পারছি না কেন আমি কেন এটির জন্য একটি মনিটর ব্যবহার করব। যেহেতু আমি এটি বুঝতে পারি, একজন মনিটর গ্যারান্টি দেয় যে ঠিক এক বা কোনও …

11 concurrency  synchronization  mutual-exclusion 

একটি পানীয় বিতরণের জন্য ব্যবহারকারীকে একটি কয়েন ( ) toোকানো প্রয়োজন , তারপরে তিনটি বোতামের মধ্যে একটি টিপুন: এক কাপ চা চাওয়ার জন্য , কফির জন্য ডাইটো , এবং একটি অর্থ ফেরতের অনুরোধ করে (অর্থাত্ যন্ত্রটি মুদ্রাটি ফিরিয়ে দেয়: )। এই সরবরাহকারী নিম্নলিখিত সিসিএস প্রক্রিয়া দ্বারা মডেল করা যেতে পারে …

11 logic  concurrency  modelling  process-algebras  ccs 

আমার বোধগম্যতা হল যে মুটেক্সের সর্বাধিক জনপ্রিয় প্রয়োগগুলি (যেমন সি ++ তে স্টডি: মিটেক্স) ন্যায্যতার গ্যারান্টি দেয় না - অর্থাত্ তারা গ্যারান্টি দেয় না যে তর্ক করার ক্ষেত্রে লকটি থ্রেড দ্বারা ক্রম হিসাবে অর্জিত হবে যে তারা বলা হয় লক ()। প্রকৃতপক্ষে, এটি এমনকি সম্ভব (যদিও আশান্বিতভাবে অস্বাভাবিক) যে উচ্চ …

11 concurrency  synchronization  threads 

আমার পটভূমিটি মূলত সি, সি ++ এবং পাইথন থেকে আবশ্যকীয় ভাষা থেকে এসেছে। আমি কয়েক বছর পরে স্কালা, এরলং এবং কিছুটা হাসকলকে বেছে নিয়েছি এবং এর পর থেকে কার্যকরী প্রোগ্রামিং এবং এর পিছনে আনুষ্ঠানিকতায় খুব আগ্রহী হয়েছি। আমি একযোগে এবং বিতরণ প্রোগ্রামিংয়ে আগ্রহী এবং এর পিছনে আনুষ্ঠানিকতাগুলি অনুসন্ধান করছি, বিশেষত …

10 distributed-systems  concurrency 

ভেরিয়েবল এবং নির্দেশাবলী সমন্বিত একটি প্রোগ্রাম দেওয়া হয়েছে যা এই ভেরিয়েবলগুলিকে সংশোধন করে এবং একটি সিঙ্ক্রোনাইজেশন আদিম (একটি মনিটর, মিটেক্স, জাভার সিঙ্ক্রোনাইজড বা সি # এর লক), এমন কোনও প্রোগ্রামটি থ্রেড নিরাপদ কিনা তা প্রমাণ করা সম্ভব? থ্রেড সুরক্ষা বা রেসিং শর্তের মতো জিনিসগুলি বর্ণনা করার জন্য কি কোনও আনুষ্ঠানিক …

9 proof-techniques  correctness-proof  concurrency  threads 

আমি মনে করি পারস্পরিক বর্জনের জন্য পিটারসনের অ্যালগরিদমে যদি সমালোচনামূলক বিভাগে প্রবেশের প্রক্রিয়াটি যদি প্রথমে মারা যায় বা বাতিল হয়ে যায় তবে অন্যান্য প্রক্রিয়া সমালোচনামূলক বিভাগে প্রবেশের অপেক্ষায় চিরতরে লুপ হয়ে যায়। ছবিতে, প্রক্রিয়া 1 বন্ধ করা হলে, প্রক্রিয়া 1 এর পিছনে থাকা সমস্ত প্রক্রিয়াগুলি 1 প্রক্রিয়াটি কোথায় থাকে তবে …

9 programming-languages  concurrency  mutual-exclusion