وضعیت رقابتی

(شکل 1)وضعیت رقابتی در یک مدار منطقی

یک وضعیت رقابتی به انگلیسی Race Condition یا Race Hazard یک نقص در سیستم الکترونیکی یا رایانه ای است که به موجب آن نتیجه خروجی And یا Or به طور غیر منتظره ای به زمانبندی و ترتیب رویدادهای دیگر بستگی دارد.این اصطلاح در اصل به حالتی گفته می شود که دو سیگنال با هم رقابت می‌کنند تا هر یک زودتر به خروجی تاثیر بگذارند.

الکترونیک

به عنوان مثال، یک دروازه And با دو ورودی که در یک ورودی با سیگنال A و در ورودی دیگر با سیگنال Á تغذیه می شود.در این تئوری خروجی هیچ وقت نباید یک شود.هر چند که، اگر تغییر در مقدار A از مقدار انتشار به ورودی دوم بیشتر طول بکشد، هنگامی که مقدار A از صفر به یک تغییر پیدا کند، در یک زمان کوتاه، هر دو ورودی در حالت یک قرار می گیرد و همچنین خروجی دروازه نیز مقدار یک می شود.

رایانه

وضعیت رقابتی در نرم‌افزار هنگامی ناشی می شود که پردازش های مختلفی به یک وضع مشترک بستگی داشته باشد. به عنوان مثال بگذارید دو رشته T۱ و T۲ را فرض کنیم.هر کدام مقدار سراسری i را می خواهند یک واحد اضافه کنند. به طور ایده‌آل، مجموعه دستورهای زیر باید انجام شود:

1. integer i=0 (حافظه)
2. T۱ مقدار i را از حافظه خوانده و به Register۱ انتقال می دهد.
3. T۱ مقدار i را که در Register۱ است، یک واحد اضافه می کند. Register1=1
4. T۱ مقدار Register۱ را در حافظه ذخیره می کند. i=1
5. T۲ مقدار i را از حافظه خوانده و به Register۲ انتقال می دهد.
6. T۲ مقدار i را که در Register۲ است، یک واحد اضافه می کند. Register2=2
7. T۲ مقدار Register۲ را در حافظه ذخیره می کند. i=2
8. i=2

در حالت بالا همان طور که انتظار می رفت مقدار i مساوی ۲ است، با اینکه، اگر دو رشته به طور همزمان و بدون فقل کردن داده و همگام سازی اجرا شوند، خروجی دستور باید اشتباه شود که مجموعه دستورهای دیگر زیر این سناریو را نشان می دهد:

1. integer i=0 (حافظه)
2. T۱ مقدار i را از حافظه خوانده و به Register۱ انتقال می دهد.
3. T۲ مقدار i را از حافظه خوانده و به Register۲ انتقال می دهد.
4. T۱ مقدار i را که در Register۱ است، یک واحد اضافه می کند. Register1=1
5. T۲ مقدار i را که در Register۲ است، یک واحد اضافه می کند. Register2=1
6. T۱ مقدار Register۱ را در حافظه ذخیره می کند. i=1
7. T۲ مقدار Register۲ را در حافظه ذخیره می کند. i=1
8. i=1

مقدار نهایی i مساوی یک شده است به جای اینکه انتظار می رفت مساوی ۲ شود.