یکی از محدودیتهای پایهای در امکان اجرای همروند دستورها یک برنامه، مفهوم وابستگی داده (به انگلیسی: Data Dependency) است. برای مثال، یک دستور تا زمانی که دادههای مورد نیازش آماده و در دسترس نباشند نمیتواند اجرا شود. در علوم رایانه، وابستگی داده به موقعیتی گفته میشود که یک دستور به دادههای دستورها قبل و یا بعد از خود نیاز دارد.
بهطور کلی، اگر اجرای همزمان دو دستور ممکن نباشد و اجرای آنها باید به صورت متوالی انجام شود، آنها را وابسته میگوییم.
انواع وابستگی عبارت اند از:
- وابستگی داده
- وابستگی نام
- وابستگی کنترل
در نظریه کامپایلر، برای تشخیص وابستگی از فنون آنالیز وابستگی (به انگلیسی: Dependence Analysis) استفاده میشود.
وابستگی داده
دو دستور و را در نظر میگیریم که دستور در جایی بعد از دستور قرار دارد. و را به ترتیب مجموعه خانههایی از حافظه که از آنها میخواند و مجموعه خانههایی از حافظه که در آنها مینویسد، تعریف میکنیم. در این صورت با برقراری شرط زیر که به شرط Bernstein موسوم است، میگوییم به وابسته است:
![{\displaystyle [I(S_{1})\ \cap \ O(S_{2})]\ \cup \ [O(S_{1})\ \cap \ I(S_{2})]\ \cup \ [O(S_{1})\ \cap \ O(S_{2})]\ \neq \ \varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/573e6facced1ccf387998ab491082ddc4878b6cc)
به این ترتیب انواع وابستگی داده به صورت زیر تعریف میشود:
- وابستگی جریان (داده): زمانی که و از حافظه مشترک چیزی را پس از نوشتن میخواند.
- پاد وابستگی: زمانی که و حافظه مشترک را پس از خواندن بازنویسی میکند.
- وابستگی خروجی: زمانی که و و هر دو بر روی حافظه مشترک مینویسند.
![{\displaystyle [O(S_{1})\ \cap \ I(S_{2})]\ \neq \ \varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9524c6a4fca05f8c4fb406a835b1113ea0c688ec)
![{\displaystyle [I(S_{1})\ \cap \ O(S_{2})]\ \neq \ \varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6eabed4812e2e94e5ba675cc792475bdd21dc9b6)
![{\displaystyle [O(S_{1})\ \cap \ O(S_{2})]\ \neq \ \varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b05a15e288600bea471f18081ca07fd277091cb)
در برخی منابع، نوع چهارمی هم به صورت زیر تعریف میشود:
- وابستگی ورودی: زمانی که و و هر دو از حافظه مشترک میخوانند.
![{\displaystyle [I(S_{1})\ \cap \ I(S_{2})]\ \neq \ \varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2296a5aad1921faba8f01b9013829fa4506f86e7)
وابستگی جریان
وابستگی جریان (به انگلیسی: Flow Dependency) که به آن وابستگی داده (به انگلیسی: Data Dependency)، وابستگی صحیح (به انگلیسی: True Dependency) و خواندن بعد از نوشتن (به انگلیسی: (RAW) Read-after-write) نیز گفته میشود، هنگامی رخ میدهد که یک دستور به نتیجه دستوری قبل از خود وابسته باشد. مثال زیر را با فرض اینکه مقدار x و y از قبل محاسبه شدهاست در نظر بگیرید:
a = x + y;
b = 2 * a;
در این مثال، دستور دوم به دستور اول وابستگی جریان دارد؛ چرا که از مقدار تولیدی در دستور اول استفاده میکند. به این ترتیب در این مثال نمیتوان دستورها اول و دوم را به صورت هم زمان اجرا کرد.
پاد وابستگی
پاد وابستگی (به انگلیسی: Anti-dependency) که به آن نوشتن بعد از خواندن (به انگلیسی: Write-after-read (WAR)) نیز گفته میشود، هنگامی رخ میدهد که یک دستور به دادهای نیاز دارد که در دستور بعدی بازنویسی میشود. مثال زیر را با فرض اینکه مقدار x و y و z از قبل محاسبه شدهاست در نظر بگیرید:
a = x + y;
b = 2 * a;
a = z + 1;
در این مثال دستور دوم به دستور سوم پاد وابستگی دارد. توجه داریم که ترتیب این دستورها نمیتواند عوض شود؛ چرا که مقدار نهایی متغیر b را تغییر میدهد. همچنین اجرای همزمان دستورها نیز به دلیل احتمال بروز خطا در مقدار نهایی امکانپذیر نیست. پاد وابستگی مثالی از وابستگی نام است؛ به این معنا که وابستگی میتواند با تغییر نام برخی متغیرها برطرف شود. برای مثال کد زیر را برای رفع وابستگی مثال قبل در نظر بگیرید:
a2 = x + y;
b = 2 * a2;
a = z + 1;
به ابن ترتیب با تغییر نام متغیر a به متغیر جدید a2 در دستورها پیش از بازنویسی آن، پاد وابستگی میان دستورها دوم و سوم از بین رفتهاست و اکنون اجرای همزمان آنها امکانپذیر است.
وابستگی خروجی
وابستگی خروجی (به انگلیسی: Output Dependency) که به آن نوشتن بعد از نوشتن (به انگلیسی: Write-after-write (WAW)) نیز گفته میشود، هنگامی رخ میدهد که یک متغیر در دو دستور نوشته شود. به بیان دیگر ترتیب اجرای دو دستور تعیینکننده مقدار نهایی یک متغیر است. مثال زیر را در نظر بگیرید:
b = 7;
a = 2 * b;
b = 11;
در این مثال دستور سوم به دستور اول وابستگی خروجی دارد. توجه داریم که تغییر ترتیب این دستورها موجب تغییر مقدار نهایی متغیرها خواهد شد. وابستگی خروجی هم مثال دیگری از وابستگی نام است. برای مثال در کد زیر با تغییر نام متغیر b به متغیر b2 در دستورها قبل از بازنویسی آن، وابستگی خروجی مثال قبل برطرف شدهاست:
b2 = 7;
a = 2 * b2;
b = 11;
وابستگی ورودی
وابستگی ورودی (به انگلیسی: Input Dependency) که به آن خواندن بعد از خواندن (به انگلیسی: Read-after-read (RAR)) نیز گفته میشود، هنگامی رخ میدهد که یک متغیر در دو دستور خوانده شود. مثال زیر را در نظر بگیرید:
b = 7;
a = 2 * b;
c = b;
در این مثال دستور سوم به دستور دوم وابستگی ورودی دارد.
توجه داریم که وابستگی ورودی در عمل مشکلی در اجرای همزمان دستورها ایجاد نمیکند. همچنین تغییر ترتیب دستورها نیز قابل انجام است.
به وضوح، وابستگی ورودی نیز نوعی از وابستگی نام است.
وابستگی نام
وابستگی نام (به انگلیسی: Name Dependency) هنگامی رخ میدهد که دو دستور از محل یکسانی از حافظه استفاده میکنند اما هیچ جریان دادهای میان آنها برقرار نیست. در نتیجه در بسیاری از موارد میتوان با تغییر نام برخی از متغیرها این وابستگی را از بین برد.
از مهمترین انواع وابستگیهای نام، وابستگی خروجی و پاد وابستگی هستند.
وابستگی کنترل
اگر نتیجه دستور مشخصکننده اجرا و یا عدم اجرای دستور باشد، آنگاه دستور به دستور وابستگی کنترل دارد. مثال زیر را در نظر بگیرید:
if (a == b)
{
c = 2 * a;
a = a + b;
}
b = a + b;
در این مثال نتیجه دستور اول مشخص میکند که دستورها سه و چهار اجرا میشوند یا خیر.
گراف جریان کنترل
برای بیان کردن و نشان دادن دقیق و راحت وابستگی کنترل، معمولاً از مفهوم گراف جریان کنترل (به انگلیسی: Control flow Graph (CFG)) استفاده میشود.
گراف جریان کنترل گرافی جهتدار است که مسیرهای مختلفی که اجرای برنامه ممکن است بپیماید را نشان میدهد. رأسهای این گراف را تکههای مجزای برنامه تشکیل میدهند. در صورتی که امکان انتقال مستقیم از تکه برنامه i به تکه برنامه j وجود داشتهباشد، یالی از راس i به راس j خواهیم داشت.