[Concurrency Control Series] #2. Optimistic vs. Pessimistic Concurrency Control সমান্তরাল এক্সিকিউশন নিরাপদভাবে পরিচালনা করতে, উচ্চ-কার্যক্ষম ব্লকচেইন দুটি প্রধান concurrency control মডেলের একটিকে গ্রহণ করে: Pessimistic বা Optimistic execution। উভয়ের লক্ষ্যই state conflict প্রতিরোধ করা, কিন্তু তারা এক্সিকিউশন টাইমিং এবং কম্পিউটেশনাল ঝুঁকিকে সম্পূর্ণ ভিন্ন দিক থেকে সামলায়। 1. Pessimistic Execution: প্রথমে Conflict প্রতিরোধ Pessimistic concurrency control এক্সিকিউশনের আগে লেনদেনের state access প্রয়োজনীয়তা বিশ্লেষণ করে। - যদি দুটি লেনদেন একই অ্যাকাউন্ট বা storage slot লক্ষ্য করে, সিস্টেম একটিকে কিউতে অপেক্ষা করতে বাধ্য করে। - Conflicting লেনদেনগুলোকে conflict-free sequential batch-এ গ্রুপ করা হয়, যা re-execution overhead দূর করে। - Trade-off: উচ্চ resource predictability এবং শূন্য ব্যর্থ লেনদেন পুনরায় চেষ্টা, তবে তীব্র state প্রতিযোগিতার সময় latency (waiting mode) বৃদ্ধি পায়। 2. Optimistic Execution: আগে Execute, পরে Validate Optimistic concurrency control ধরে নেয় যে conflict বিরল, এবং সব লেনদেনকে সাথে সাথেই সমান্তরালে এক্সিকিউট করে। - লেনদেনগুলো বিলম্ব ছাড়াই একসঙ্গে execute হয়, তবে তাদের state update গুলোকে ledger-এ চূড়ান্তভাবে যুক্ত করার আগে validate করা হয়। - যদি কোনো লেনদেন overlapping write-এর কারণে stale state পড়ে, তাহলে সেটি বাতিল করা হয় এবং re-execution-এর জন্য চিহ্নিত করা হয় (rerunning mode)। - Trade-off: কম conflict ওয়ার্কলোডে সর্বোচ্চ হার্ডওয়্যার ব্যবহার এবং sub-second latency, তবে উচ্চ ভিড়যুক্ত state collision-এর সময় অপচয় হওয়া compute resource এবং পুনরায় চেষ্টা। 3. মূল প্রকৌশল চ্যালেঞ্জ Pessimistic pre-sorting এবং Optimistic speculative execution-এর মধ্যে নির্বাচন করা নির্ধারণ করে যে একটি নেটওয়ার্ক market অস্থিরতার মধ্যে কেমন পারফর্ম করবে। এই মেকানিজমগুলো বোঝা স্থিতিশীল execution layer ডিজাইন করার জন্য অত্যন্ত গুরুত্বপূর্ণ। @RialoHQ @RialoKorea