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

پ ن: ویرایش شد.

(۲۲ بهمن ۱۳۹۲ ۱۱:۲۶ ق.ظ)fulgent نوشته شده توسط:  برای بدست اوردن گراف انتظار از گراف تخصیص منبع، گره های نوع منبع را حذف کرده و یال های مناسب مربوطه را از بین می بریم. (به عبارتی فقط پروسه ها می مانند و یال هایی که با توجه به گراف تخصیص منبع اونها رو به هم وصل میکنه)
حال اگر در گراف انتظار چرخه ای وجود داشته باشد به معنی وجود بن بست در سیستم است.

سیکل ظاهری فراموش نشه

(۲۲ بهمن ۱۳۹۲ ۱۱:۴۰ ق.ظ)fulgent نوشته شده توسط:  منظورتون کجاست؟
در گراف انتظار اگر سیکل وجود داشته باشه صددرصد بن بسته!

من گراف تخصیص منبع را گفتم. این گراف انتظار را تا حالا نشنیده بودم. ولی روالی که شما در مورد حذف گره منبع گفتید شبیه گراف تخصیص منبع بود

(۲۲ بهمن ۱۳۹۲ ۱۱:۵۹ ق.ظ)fulgent نوشته شده توسط:  

(22 بهمن ۱۳۹۲ ۱۱:۵۰ ق.ظ)masoud67 نوشته شده توسط:  

(22 بهمن ۱۳۹۲ ۱۱:۴۰ ق.ظ)fulgent نوشته شده توسط:  منظورتون کجاست؟
در گراف انتظار اگر سیکل وجود داشته باشه صددرصد بن بسته!

من گراف تخصیص منبع را گفتم. این گراف انتظار را تا حالا نشنیده بودم. ولی روالی که شما در مورد حذف گره منبع گفتید شبیه گراف تخصیص منبع بود

گراف انتظار این شکلی که شما گذاشتید این میشه:



که چون چرخه داره پس سیستم در حالت بن بسته.

ولی این سیستم در حالت بن بست نیست.

(۲۲ بهمن ۱۳۹۲ ۱۲:۱۸ ب.ظ)fulgent نوشته شده توسط:  

(22 بهمن ۱۳۹۲ ۱۲:۱۳ ب.ظ)masoud67 نوشته شده توسط:  ولی این سیستم در حالت بن بست نیست.

مطمئنید؟؟ چطوری؟

مطمئن نیستم بلکه اعتقاد قلبی دارم. شکل مربوط به کتاب سیلبرشاتز هست. حضرت سیلبرشاتز هم گفته با اینکه اینجا دور داریم ولی بن بست نداریم. چون اینجا از هرمنبع یکی نداریم بلکه چندتا داریم
مثلا تو این شکل شما میگید بن بست بین ۱ و ۳ رخ داده ولی سیلبر میگه اگر فرآیند ۴ و ۲ که فقط یک منبع نیاز دارند و در اختیار هم دارند ، پس از اون منبع استفاده میکنند و نهایتا تمام میشوند و منبع ۱ و ۲ آزاد میکنند و حالا از هر منبع دو تا داریم که یکیش در اختیار فرآیند هاست و دیگری آزاد
حالا فرآیندهای ۱و ۳ از اون منابع آزاد استفاده میکنند و بن بست ظاهری شکسته میشه

گراف با سیکل زمانی بن بست میشه که از هر منبع یکی موجود باشد

(۲۲ بهمن ۱۳۹۲ ۱۲:۲۷ ب.ظ)fulgent نوشته شده توسط:  

(22 بهمن ۱۳۹۲ ۱۲:۲۰ ب.ظ)masoud67 نوشته شده توسط:  

(22 بهمن ۱۳۹۲ ۱۲:۱۸ ب.ظ)fulgent نوشته شده توسط:  

(22 بهمن ۱۳۹۲ ۱۲:۱۳ ب.ظ)masoud67 نوشته شده توسط:  ولی این سیستم در حالت بن بست نیست.

مطمئنید؟؟ چطوری؟

مطمئن نیستم بلکه اعتقاد قلبی دارم. شکل مربوط به کتاب سیلبرشاتز هست. حضرت سیلبرشاتز هم گفته با اینکه اینجا دور داریم ولی بن بست نداریم. چون اینجا از هرمنبع یکی نداریم بلکه چندتا داریم
مثلا تو این شکل شما میگید بن بست بین ۱ و ۳ رخ داده ولی سیلبر میگه اگر فرآیند ۴ و ۲ که فقط یک منبع نیاز دارند و در اختیار هم دارند ، پس از اون منبع استفاده میکنند و نهایتا تمام میشوند و منبع ۱ و ۲ آزاد میکنند و حالا از هر منبع دو تا داریم که یکیش در اختیار فرآیند هاست و دیگری آزاد
حالا فرآیندهای ۱و ۳ از اون منابع آزاد استفاده میکنند و بن بست ظاهری شکسته میشه

گراف با سیکل زمانی بن بست میشه که از هر منبع یکی موجود باشد

بله درسته باید در ابتدای اون گراف انتظار اینو اضافه کنم که اگر از هر منبع یک نمونه موجود باشد و...
من پست های نامربوط رو پاک می کنم تا دوستان خواستند جواب رو بخوانند گیج نشوند شما هم اگر دوست داشتید پاسخ به اونها رو پاک کنید.

باشه بهتره. چون شاید بعضی دیگه این نکته را نمیدونستند و این بحث میتونه براشون مفید باشه

(۲۲ بهمن ۱۳۹۲ ۱۱:۱۷ ق.ظ)sahar-it88 نوشته شده توسط:  بچه ها برای اینکه از روی یک گراف بفهمیم که بن بست رخ نداده باید ببینیم که سیکل داره یا نه؟درسته؟حالا سوال من اینه که کی گراف انتظار بدست میاریم؟آخه توی مقسمی حرف از گراف انتظار زده
Sent from my ST18i using Tapatalk 2

این جمله در یه حالت میتونه درست باشه، زمانی که از هر منبع یه دونه داشته باشیم. اگر از هر منبع بیش از یک واحد داشته باشیم، دور در گراف درخواست منابع دلیلی بر بن بست نیست تو این حالت باید بررسی بشه که آیا دور واقعا منجر به بن بست میشه یا نه.
همیشه میشه این گراف را بدست آورد ولی نکته اش همین بود که گفتم