بررسی تکنیک Mutex در برنامه‌نویسی سی شارپ

جلوگیری از اجرای هم‌زمان چند نمونه از برنامه‌های ویندوزی با استفاده از Mutex در C#

در توسعه‌ی نرم‌افزارهای دسکتاپی، یکی از چالش‌های رایج، مدیریت هم‌زمانی (Concurrency) در سطح فرآیند (Process) است. به‌صورت خاص در برنامه‌های نوشته‌شده با Windows Forms، کاربر ممکن است به‌صورت ناخواسته یا عمدی چندین بار اقدام به اجرای نرم‌افزار نماید. این مسئله می‌تواند منجر به ایجاد چندین نمونه‌ی مستقل از برنامه شود که علاوه بر مصرف بی‌رویه‌ی منابع سیستم، موجب ناسازگاری در دسترسی به فایل‌ها، کانکشن‌های شبکه، تنظیمات مشترک و حتی بروز خطاهای غیرقابل‌پیش‌بینی در منطق برنامه می‌گردد.

در این نوشتار، تکنیکی دقیق و استاندارد برای جلوگیری از اجرای چندباره‌ی نرم‌افزار با استفاده از Mutex در چارچوب دات‌نت (C#/.NET) ارائه می‌شود؛ رویکردی که هم در سطح معماری سیستم‌عامل ویندوز معتبر است و هم از حیث عملکرد و پایداری، بهترین گزینه در میان راه‌حل‌های موجود محسوب می‌گردد.

مسئله: امکان اجرای چندباره یک نرم‌افزار و تبعات آن

به‌صورت پیش‌فرض، هیچ مانعی در ویندوز وجود ندارد که از اجرای هم‌زمان چند نمونه از یک فایل اجرایی جلوگیری کند. این رفتار در برخی موارد قابل‌قبول است، اما در بسیاری از نرم‌افزارها (نظیر کلاینت‌های VPN، نرم‌افزارهای نظارتی، ابزارهای سیستمی، سرویس‌های بانک اطلاعاتی و...) ایجاد چند نمونه می‌تواند نتایج فاجعه‌باری در پی داشته باشد:

• تضاد در نوشتن هم‌زمان روی فایل‌های لاگ یا دیتابیس

• رقابت بر سر پورت‌های شبکه یا منابع سخت‌افزاری

• سردرگمی کاربران و کاهش تجربه کاربری

• افزایش احتمال کرش (Crash) برنامه یا قفل شدن آن (Deadlock)

بنابراین، برنامه‌نویس ملزم است سازوکاری در نظر بگیرد تا صرفاً یک نمونه از نرم‌افزار در هر زمان قابل اجرا باشد.

راه‌حل استاندارد: استفاده از Mutex در سطح بین-فرآیندی

Mutex یا قفل دوطرفه (Mutual Exclusion) یکی از ساختارهای زیرساختی سیستم‌عامل برای کنترل دسترسی انحصاری بین فرآیندهاست. در چارچوب دات‌نت، کلاس System.Threading.Mutex برای همین منظور طراحی شده و این قابلیت را فراهم می‌سازد که یک فرآیند هنگام اجرا، Mutex مشخصی را در اختیار بگیرد و سایر نمونه‌های برنامه را از اجرای موازی بازدارد.

سازوکار عملیاتی Mutex در این سناریو

1. هنگام شروع برنامه، تلاش برای ایجاد Mutex با نام یکتا انجام می‌شود.

2. اگر ایجاد Mutex موفقیت‌آمیز بود، اجرای برنامه ادامه می‌یابد.

3. در غیر این‌صورت (یعنی Mutex از قبل ایجاد شده)، برنامه تشخیص می‌دهد که نمونه‌ای از آن در حال اجراست.

4. به کاربر هشدار داده می‌شود و اجرای برنامه متوقف می‌گردد.

پیاده‌سازی دقیق در C#

تعریف کلاس کنترل نمونه‌ی اجرا

// --------------------------------------------------------------
// Programmer       : Ebrahim Shafiei (EbraSha)
// Email            : [email protected]
// --------------------------------------------------------------

using System;
using System.Threading;
using System.Windows.Forms;

public static class InstanceChecker
{
    private static Mutex mutex;

    public static bool IsSingleInstance(string mutexName)
    {
        bool createdNew;

        mutex = new Mutex(true, mutexName, out createdNew);

        if (!createdNew)
        {
            MessageBox.Show("An instance of the application is already running.",
                            "Instance Check",
                            MessageBoxButtons.OK,
                            MessageBoxIcon.Warning);
            return false;
        }

        return true;
    }

    public static void Release()
    {
        if (mutex != null)
        {
            mutex.ReleaseMutex();
            mutex = null;
        }
    }
}

استفاده در نقطه‌ی ورود برنامه (Program.cs)

static class Program
{
    [STAThread]
    static void Main()
    {

        if (!InstanceChecker.IsSingleInstance("EbraSha.MyApp.Mutex"))
            return;

        Application.EnableVisualStyles();
        Application.SetCompatibleTextRenderingDefault(false);
        Application.Run(new Main());

        InstanceChecker.Release();
    }
}

استفاده از Mutex در سطح Global

در برخی شرایط لازم است Mutex در سطح سیستم و نه فقط در Session جاری معتبر باشد (مثلاً در سیستم‌هایی با چندین کاربر فعال یا هنگام اتصال Remote Desktop). در این حالت، نام Mutex باید با پیشوند "Global\\" تعریف گردد:

mutex = new Mutex(true, @"Global\EbraSha.MyApp.Mutex", out createdNew);

توجه: برای استفاده از Mutex در سطح Global، گاهی نیاز به مجوزهای امنیتی اضافی در سیستم‌عامل وجود دارد که در محیط‌های سازمانی یا UAC فعال، باید بررسی و اعمال شوند.

مزایای استفاده از Mutex در کنترل نمونه‌های برنامه

راهکارهای جایگزین و مقایسه

تفاوت Mutex با سایر مکانیزم‌ها

• Monitor: ساده‌ترین روش هم‌زمانی در سی‌شارپ است، اما فقط برای درون یک فرآیند (Intra-process) قابل استفاده است.

• Semaphore: اجازه می‌دهد چندین نخ به طور هم‌زمان وارد بخش بحرانی شوند، درحالی‌که Mutex فقط به یک نخ اجازه ورود می‌دهد.

• SpinLock: سبک‌تر و سریع‌تر است اما مناسب محیط‌هایی با بار پردازشی بالا و حساس به عملکرد نیست.

کاربردهای رایج Mutex

کنترل دسترسی به فایل یا بانک اطلاعاتی

زمانی که چند نخ یا فرآیند ممکن است به یک فایل مشترک یا دیتابیس دسترسی پیدا کنند، استفاده از Mutex برای جلوگیری از خرابی داده‌ها ضروری است.

اجرای تنها یک نمونه از برنامه

با استفاده از Named Mutex می‌توان مانع اجرای هم‌زمان چند نسخه از یک نرم‌افزار شد. این ویژگی در برنامه‌های ویندوزی بسیار رایج است.

هماهنگ‌سازی نخ‌ها در محیط‌های توزیع‌شده

در برخی سناریوهای توزیع‌شده، از Mutexهای سیستم‌عاملی برای هم‌زمان‌سازی بین چند برنامه یا سرویس مستقل استفاده می‌شود.

مشکلات رایج در استفاده از Mutex

فراموشی آزادسازی Mutex

اگر نخ پس از ورود به بخش بحرانی، بدون اجرای ReleaseMutex() از بین برود یا به خطا برخورد کند، Mutex قفل باقی می‌ماند.

بن‌بست (Deadlock)

زمانی رخ می‌دهد که چند نخ به‌صورت متقابل منتظر Mutex یکدیگر بمانند. برای جلوگیری، ترتیب قفل‌گذاری باید ثابت باشد.

تأثیر بر کارایی سیستم

استفاده بیش‌ازحد یا نادرست از Mutex ممکن است موجب کاهش کارایی برنامه و افزایش زمان انتظار نخ‌ها شود.

مقایسه Mutex با سایر تکنیک‌های هم‌زمانی