Shared Memory এবং Mutex এর ব্যবহার

Shared Memory এবং Mutex এর ব্যবহার

Shared Memory এবং Mutex হল মাল্টি-থ্রেডিং বা কনকারেন্ট প্রোগ্রামিংয়ের গুরুত্বপূর্ণ কনসেপ্ট, যা একাধিক থ্রেড বা প্রসেসের মধ্যে ডেটা আদান-প্রদান এবং মেমরি এক্সেস কন্ট্রোল করতে ব্যবহৃত হয়। এই দুটি কনসেপ্ট thread synchronization এবং data consistency নিশ্চিত করার জন্য গুরুত্বপূর্ণ।

1. Shared Memory

Shared Memory হল একটি প্রক্রিয়া বা থ্রেডের জন্য বরাদ্দকৃত মেমরি যা অন্যান্য প্রসেস বা থ্রেড দ্বারা শেয়ার করা যেতে পারে। এটি মূলত দ্রুত তথ্য আদান-প্রদান করার জন্য ব্যবহৃত হয় কারণ এতে ডেটা পাঠানোর জন্য কোনো ডেটা কপি করার প্রয়োজন হয় না। একাধিক থ্রেড বা প্রসেস একে অপরের সাথে মেমরি শেয়ার করে এবং তা একে অপরের মধ্যে দ্রুত এবং সোজা যোগাযোগ করতে সাহায্য করে।

Shared Memory ব্যবহারে যেটি সমস্যা হতে পারে তা হল, একাধিক থ্রেড বা প্রসেস একে অপরের ডেটা পরিবর্তন করতে পারে, যার কারণে data race বা race condition এর মতো সমস্যা হতে পারে। এই সমস্যাগুলি এড়াতে mutex বা অন্যান্য synchronization প্রক্রিয়া ব্যবহার করা হয়।

উদাহরণ: Shared Memory

ডি প্রোগ্রামিং ভাষায়, shared কিওয়ার্ড ব্যবহৃত হয় থ্রেড বা প্রসেসের মধ্যে শেয়ার করা ভেরিয়েবলগুলি ঘোষণা করতে।

import std.stdio;
import core.thread;
import core.sync;

shared int counter = 0;  // Shared memory variable

void incrementCounter() {
    for (int i = 0; i < 1000; i++) {
        counter++;
    }
}

void main() {
    Thread t1 = new Thread(&incrementCounter);
    Thread t2 = new Thread(&incrementCounter);

    t1.start();
    t2.start();

    t1.join();
    t2.join();

    writeln("Counter: ", counter);  // আউটপুট: 2000 (এটি race condition ছাড়া)
}

এখানে:

• counter ভেরিয়েবলটি shared মেমরি হিসাবে ঘোষিত হয়েছে, যাতে দুটি থ্রেড সেটি একসাথে ব্যবহার করতে পারে।
• Race Condition প্রতিরোধ করার জন্য, এখানে Mutex ব্যবহৃত হয়নি, তাই counter++ অপারেশনটি সঠিকভাবে না হতে পারে। এই ধরনের সমস্যা avoid করতে mutex ব্যবহার করা হয়।

2. Mutex

Mutex (Mutual Exclusion) হল একটি synchronization primitive যা একাধিক থ্রেডকে একই সময়ে একে অপরের সাথে মেমরি বা রিসোর্স শেয়ার করতে বাধা দেয়। যখন একটি থ্রেড একটি mutex লক করে, তখন অন্য কোনো থ্রেড সেটি ব্যবহার করতে পারে না, এবং থ্রেডটি অবশ্যই mutex.unlock() করার পরই অন্য থ্রেড সেটি ব্যবহার করতে পারবে। এটি race condition প্রতিরোধ করতে সাহায্য করে।

উদাহরণ: Mutex ব্যবহার

import std.stdio;
import core.thread;
import core.sync;

shared int counter = 0;  // Shared memory variable
shared static Mutex mtx;  // Mutex to protect shared memory

void incrementCounter() {
    for (int i = 0; i < 1000; i++) {
        lock (mtx) {
            counter++;  // Locking the shared memory to prevent race condition
        }
    }
}

void main() {
    Thread t1 = new Thread(&incrementCounter);
    Thread t2 = new Thread(&incrementCounter);

    t1.start();
    t2.start();

    t1.join();
    t2.join();

    writeln("Counter: ", counter);  // আউটপুট: 2000
}

এখানে:

• mtx হল একটি Mutex (Mutual Exclusion) ভেরিয়েবল যা counter ভেরিয়েবলকে লক করবে।
• lock(mtx) দিয়ে আমরা নিশ্চিত করছি যে, যখন একটি থ্রেড counter ভেরিয়েবলকে অ্যাক্সেস করছে, অন্য কোনো থ্রেড এটি অ্যাক্সেস করতে পারবে না। এর ফলে race condition প্রতিরোধ করা সম্ভব হয়েছে এবং টেস্টের আউটপুট সঠিকভাবে ২০০০ হবে।

3. Shared Memory এবং Mutex এর ব্যবহার সংক্রান্ত কিছু গুরুত্বপূর্ণ পয়েন্ট:

1. Race Condition:
   • Shared Memory ব্যবহৃত হলে একাধিক থ্রেড বা প্রসেস একই ডেটাতে প্রবেশ করতে পারে, যার কারণে race condition ঘটে, অর্থাৎ একাধিক থ্রেড বা প্রসেস একই ডেটার উপর বিভিন্ন সময় কাজ করতে গিয়ে একে অপরের কাজের উপর প্রভাব ফেলতে পারে।
   • Mutex ব্যবহার করে আপনি race condition থেকে বাঁচতে পারেন, কারণ এটি নিশ্চিত করে যে, একটি থ্রেড যখন কোনো রিসোর্স ব্যবহার করছে, তখন অন্য থ্রেড সেই রিসোর্সটি ব্যবহার করতে পারবে না।
2. Efficiency:
   • Shared Memory খুবই দ্রুত তথ্য স্থানান্তরের একটি উপায় কারণ এতে ডেটা কপি করা হয় না, যা কনটেক্সট সুইচিং এবং অন্যান্য সিস্টেম কল কমায়।
   • তবে Mutex ব্যবহার করলে কিছুটা পারফরম্যান্স কমে যেতে পারে কারণ একটি থ্রেড যখন mutex লক করছে, তখন অন্য থ্রেড সেগুলি অ্যাক্সেস করতে পারবে না, কিন্তু এটি ডেটার সঠিকতা নিশ্চিত করে।
3. Locking:
   • Mutex হল একটি blocking প্রক্রিয়া, যা থ্রেডের কাজ শেষ না হওয়া পর্যন্ত অন্য থ্রেডের অ্যাক্সেস প্রতিরোধ করে।
   • অন্যদিকে, spinlocks বা semaphores হল এমন locking কৌশল, যা কিছুটা ভিন্ন কাজ করতে পারে।

সারসংক্ষেপ

• Shared Memory: একাধিক থ্রেড বা প্রসেসের মধ্যে একটি নির্দিষ্ট মেমরি লোকেশন শেয়ার করার পদ্ধতি। এটি দ্রুত তথ্য আদান-প্রদান করে তবে race condition তৈরি হতে পারে।
• Mutex: একটি synchronization primitive যা নিশ্চিত করে যে, একাধিক থ্রেড বা প্রসেস একই সময়ে একটি রিসোর্স বা মেমরি লোকেশন অ্যাক্সেস করতে না পারে। এটি race condition প্রতিরোধ করতে সাহায্য করে।

এভাবে Shared Memory এবং Mutex একসাথে ব্যবহার করে মাল্টি-থ্রেডেড প্রোগ্রামগুলির কার্যক্ষমতা উন্নত করা যায় এবং সঠিকভাবে ডেটার নিরাপত্তা নিশ্চিত করা যায়।