بسم الله الرحمن الرحیم سیستمهای عامل ناصر...
TRANSCRIPT
10/09/1436
1
Semaphore (ادام)
•signal()یاP():دذهیافسایصاحذیکراسوافرهقذار.تاضذهفیسوافرقثلهقذاراگر،دادىافسایصازپس(ایيت
هتظرسوافرغفدرایی هؼیکدرحالحاضرپرساازغفآهاداردغف(دریافتهثغستذ ،یکیازپرس
.اخراهیضدهثغآزادضذرادراختیارهیگیرد
143
Semaphore (ادام)function V(semaphore S, integer I){
[S ← S + I]
}
function P(semaphore S, integer I){
repeat:
[if S>= 0: S ← S - I break
else wait and block// move into blocking process queue
]
}
144
فصل ششن
تي تست گرسگی: وسهای
تستاصل تي
•فرآیذازایهدوػدائویتدىهسذدغرتتراتستتيدریکذیگرتایاکذهیرقاتتسیستنهاتغترایکا
ستذارتثاط.
.راحلکاراهذیترایتيتستخدذارد•
•ترای،تیطتریافرآیذدهتضاداییازتستاتیتيتوام.هاتغنراستذ
146
10/09/1436
2
هاتغااع تذىغذهتسظیکفرآیذ: هاتع قاتل استفاد هجذد•
ویتوامگیردهیقراراستفادهردزهاىردرتاىهی.ضدهثل:ثایاغلیا،حافظپردازذ...
هثؼیستذکهیتاذایداداتد: هاتع هصرف ضذی•.گردد
147
تستشرایط تي (الزمضرط : )هتقاتلاحصار •
–هثغیکیکازفرآیذ.
(الزمضرط ): اتظارگذاضتي •–تاهیخذیذهثغخاستدردیگریهثغکذداضتي.–درفرآیذیکاختیاردرعالیهذتتهثغیکغرتایي
.خاذتد
148
(اداهه)تستشرایط تي (ضرط الزم): قثض کردى•
–پسزرتتاىویراگرفتهثغ.
–تاکذهیخلگیریتستازتيقتی:الیتدارایهاتغک.تاضذ
(کافیضرط الزم ): هذراتظار •–چذدیگرهثغاختیاردرککذهیاییهثغدرخاستاستفرآیذ
–هیقرارچرخطیاتظاردرسثةویيگیرذت.–هخةهاتغدسترسیضرریغیسکردىردافرآیذکردىکذ
هیضد
149
سه ریکرد در ترخرد تا تي تست
پیطگیری •
کطف•
اجتاب•
150
10/09/1436
3
:پیشگیری از تي تست
123پیطگیریازحالتای:رش غیر هستقین •(احػارهتقاتل،گذاضتياتظار،قثضکردى)
پیطگیریازترزاتظارهذر: رش هستقین •
151
تستهسایای پیشگیری از تي
.درهردفرآیذاییکفؼالیتاییزیادیادامهیدذ•.ػذمیازتقثضکردى•:هعایة•.اکاراهذی•
.تاخیرضرعفرآیذ•
152
کشف
غرتاهکاىزیاد،درتسیار:سیاست تخصیص هاتع•.تخػیعدادهیضد
.احضاردرایترایتررسیتيتست:طرح ای هختلف•
153
کشف:اصلیهسایای •
–ػذمفرآیذآغازدرتاخیر.
–کارتسیلحیيدرپردازش.
:هعایة اصلی•–قثضضررراتیای.
154
10/09/1436
4
:اجتاب
اتخابرایتیيپیطگیری:سیاست تخصیص هاتع•.کطف
دستکاریتراییافتيحذاقلیکهسیر:طرح ای هختلف•.اهي
155
(اداهه)اجتاب:هسایای اصلی•
–کردىػذمقثضتیاز.
:اصلیهعایة •–آیذضررتیازهردهاتغازاعالع
156
د ریکرد ترای اجتاب از تي تست
•تدرخاستایصاستهوکيکفرایذیضرعػذمتيتستهتیضد
•تاکفرایذیازاضافیهثغدرخاستایتپاسخػذم.ایيتخػیعهوکياستهدرتتيتستضد
157
تخصیصػذم .الگریتنتاکذاراىیسهیگیذ••استحالتافرآیذتهاتغتخػیعسیستن.•حالتددارای::حالت اهي-1•.حذاقلیکیازفرآیذااخراضد•:حالت ا اهي_2•
.حالتیاستکاهيثاضذدچارکضدارائاکذدرخاستتدقتتاهاتغتایذرشایيدر
طینهاتغکوثد.
158
10/09/1436
5
Banker Algorithm
را تيتست ترایوفرایذایدرحالاتظارتوامضرایظ•.اخازتخػیعهثغتررسیکذ تػوینگیری قثلاز
•داردالگریتنچیسسداستيتیازکارادامترایتاکذار:•راهثغعرازهقذارچفرایذرتاذکذهیدرخاست.•راهثغعرازهقذارچفرایذرتاذهیاختیاردر
.داضتتاضذ.چتؼذادیازرعهثغهخداست•
159
Banker Algorithm (ادام)•هاتغضرایظکیاتذاختػاظاستهوکيغرتیدرتا
:زیرخدداضتتاضذ
•request ≤ max. درخاستػاىتخغاایػرتغیردر.تیصازادػاهظرضد
•request ≤ available. هیکذغثرفراتذایػرتغیردر.تاهاتغآزادضذ
160
Banker Algorithm:ساختمان داد ای الزم
کیذفرؼnاپردازتؼذادmتاضذهاتغعتؼذاد.
int available [m];
available [j] = kیؼیkهثغازوRjستذهخد.int max [n][m];
max [i][j] = kپردازیؼیPiاستهوکيحذاکثرkهثغازوRjکذدرخاسترا.int allocation [n][m];
allocation [i][j] = kپردازیؼیPi،kهثغازوRjدارداختیاردررا.int need [n][m];
need [i][j] = kپردازیؼیPiتkهثغازدیگروRjکذتوامراکارشتاداردیاز.
Need [i,j] = Max[i,j] – Allocation [i,j]
161
آیا سيستم در –الگریتم ایمىی حالت امه است؟
1.کيفرؼWorkFinishعلتترداردmnتاضذ.الیهقذاردیغرتایيتراترداراایي:کي
Work = Available; Finish = {False};
2.اذیسiککيپیذاایگترا:
Finish [i] = False; Needi Work;
چیياگرiگامتکردی4پیذاتر.
Work = Work + Allocationi; Finish [i] = True;
3.
گام2تتر.
4.اگرi: Finish [i] == True استاهيحالتیکدرسیستنآگا.
162
10/09/1436
6
الگریتم درخاست مىبع برای Piپرداز
تردارRequestiپردازیازتردارػاىتراPiکینهیتؼریف.Requesti [j] == kپردازیؼیPiتkهثغازوRjداردیاز.
Requesti اگر.1 Neediگام2تخغااػالمگر،تر.
2.اگرRequesti Available گام3تگر،ترPiهاتغتاتواذهتظرتایذ.هردیازآزادضذ
حالتتخػیعهاتغراتغرتزیر.رااختػاظدادایPiکيهاتغهردیازفرؼ.3:ترزکي
Available = Available – Requesti
Allocationi = Allocationi + Requesti;
Needi = Needi – Requesti;
تداهيسیستنحالتاگرتهاتغPiاذیافتاختػاظ.
تدااهيسیستنحالتاگرPiکيتازیاتیراسیستنقثلیحالت،تواذهتظرتایذ.163
مثالی از الگریتم باوکذاراپردازپحP0تاP4هثغسA(10و)،B(5و)C(7و.)
درهاتغتخػیعحالتT0:
AllocationMaxAvailable
A B CA B C A B C
P00 1 07 5 3 3 3 2
P12 0 0 3 2 2
P23 0 2 9 0 2
P32 1 1 2 2 2
P40 0 24 3 3
164
مثالی از الگریتم باوکذاراهاتریسهقادیرNeedکینهیهحاسثرا:
Need
A B C
P07 4 3
P11 2 2
P26 0 0
P30 1 1
P44 3 1
ترتیةچىاستاهيحالتیکدرسیستن< P1, P3, P4, P2, P0>کذهیتاهیيرااهیتضرط.یکترتیةاهياست
165
درخاست می (1,0,2) برای P1: مثال دذ
•آیاتثیيRequest Available یؼیاست؟:–(1,0,2) (3,3,2) true
166
10/09/1436
7
•یرضتدذهیطاىایویالگریتناخرای< P1, P3, P4,
P0, P2> کذهیترقراررااهیتضرایظ.
اخاتتP4راترای (3,3,0)آیاهیتاىدرخاست:توریي•
کرد؟
اخاتتP0راترای (0,2,0)آیاهیتاىدرخاست:توریي•
کرد؟167
(تؼذ از کشف تي تست: )ترهین
.قغغتوامفرآیذایتيتست•
.ترگطتریکازفرآیذایتيتستتقغقثلازآى•
•ذاضتخدتستیتيکخاییتاتستتيدرپیپیقغغ.تاضذ
.قثضکردىهاتغتاخاییکتيتستیخدذاضتتاضذ•
168
به بست( Detection)کشف •ضدتستتيحالتاردضدهیداداخازسیستنت
.سپستالشهیضدتيتستکطفضذترهینضد
هکایسمکطفتيتست؟–
–تستتيترهین؟هکایسم
169
به بست ( Detection)کشف (ادام)
•ازتاىهی،تاضذهخدیکیهثغعرازکحالتیدر
اتظارگراف(wait-for graph)کرداستفاد.
.رپردازیکگر–
–Pi PjیؼیPiهتظرPjاست.
.تغرتدرایگرافاتظارتراییافتيحلقخستحهیضد–
الگریتنایيزهایپیچیذگیO(n2)است(nاپردازتؼذاد.)
170
10/09/1436
8
گراف تخصيص مىابع ي گراف اوتظار
171
گرافتخػیعهاتغ گرافاتظار
ترميم به بست•آااختیاردرهاتغراسازیپردازتؼذادیتدیپایاىتاراتستتيتاىهی
.ترهینکرد
پایاىدیتوپردازایدرگیر–
پایاىدیتیکیازپردازایدرگیر–
.دراتخابپردازقرتایتایذسیپرداختیپایاىدیتپردازراهییونکرد•
•کذهیػقثگرداهيحالتیکتسیستن،قرتایپردازتدیپایاىازپس
.اخرایپردازقرتایراازآىحالتهدذداضرعهیکذ
(ادام)ترميم به بست
...گرفتظردرهؼیاراییتاىهیقرتایپردازاتخابترای•
اپردازالیت–
پردازکارتکویلتراییازهردپردازذزهاىازهخدتخویيضذ،هػرفپردازذزهاى–
کارتکویلترایپردازیازهردهاتغضذهػرفهاتغ–
.ضددادپایاىآاتتایذاتستتيورفغترایکاییپردازتؼذاد–
.پردازتدىایدستیاتؼاهلی–
ضدقرتایویطپردازیک:قحغیخغر•
.گرفتظردرهؼیاریکیسراپردازرایػقثگردتؼذادتاىهی–
فصل هفتن
هذیریت حافظ
10/09/1436
9
:یازهای هذیریت حافظه:دارای پج یاز زیر است
ترایایيهظرسیستنتایذازهحلفرآیذا: جاتجایی•.آگایداضتتاضذآدرسآارارخیرکذ
تایذدرهقاتلتذاخلایاخاستحفاظتضد: حفاظت•ػوذییاتاسذتػادفیخا.
تایذتاداضتيحفاظتتگتاضذتادیگرایست: اضتراک•تاضذداضتدستیاتیآىتتاذ.
175
:یازهای هذیریت حافظهحافظتغرتفضایآدرسخغییایک: سازهاى هطقی•
اکلوتایتاازایدثالضاهلاستیافتسازهاىتؼذیاست.
حافظتدغرتاغلیکاپایذار،سریغ: سازهاى فیسیکی•تیيهذیریتتاضذهیارزاىسثتا،پایذارکهدازیگراى،
.ایيدهیتاضذ
176
:هسایای سازهاى دهی هطقی
.رهلفراهیتاىتغرتهستقلضتترخوکرد•
.تایکسرتاراضافیهراتةهختلفحفاظتیرادارین•
•فرآیذتیيدراهلفاضتراکترایراکاراییهؼرفیاهکاى.اخددارد
177
ػلت ا کارآهذی سازهاى دهی :فیسیکی
.هوکياستحافظهخدترایداداکافیثاضذ•
•ویتراهضتيزهاىسازدرتراه،تراهچذهحیظیکدردارداختیاردرحافظهقذارچداذ...
178
10/09/1436
10
:رش های هذیریت حافظهحافظاغلیتتؼذادیتخصایستارر: تخص تذی ایستا•
فرآیذتداخلتخطیتا.زهاىایدادسیستنایدادهیضد.اذازتراتریاتسرگترترد
تخطاتغرتپیاایدادهیضد،ر: تخص تیذی پیا•.فرآیذتداخلتخطیتراترتااذازخدشهیرد
قاباییناذازتقسینهی حافظت: صفح تذی ساد•.ضدفرآیذتغفحاتناذازتاقاباتقسینهیضد
179
:رش های هذیریت حافظهرفرآیذتقغؼاییتقسینهیضد: قطع تذی ساد•
کلسهاازعریقتارکردىتوامقغؼاتصاخراهیضد.پیستیستذ
هاذغفحتذیساداست: صفح تذی حافظ هجازی•.لییازیستتوامغفحاتیکفرآیذتارضد
لیهاذقغؼتذیساداست: قطع تذی حافظ هجازی•.یازیستتوامغفحاتیکفرآیذتارضد
180
:هسایا
سادگیپیادسازی،کویسرتار :تخص تذی ایستا•.سیستن
.تذىتکتکضذىداخلی :تخص تیذی پیا•
.تذىتکتکضذىخارخی: صفح تذی ساد •
181
:هسایا.تذىتکتکضذىداخلی: قطع تذی ساد•
تذىتکتکضذى :صفح تذی حافظ هجازی•.داخلی،درخچذتراهگیتاالتر،فضایهدازیتسرگ
تذىتکتکضذىداخلی، :قطع تذی حافظ هجازی•حوایت،تسرگهدازیآدرستاالتر،فضایتراهگیچذدرخ
.ازاضتراکحفاظت
182
10/09/1436
11
:هؼایة
.استفادغیرهثرازحافظ :تخص تذی ایستا•
.استفادغیرهثرازپردازذ :تخص تیذی پیا•
.هقذارکویتکتکضذىداخلی :صفح تذی ساد•
183
:هؼایة
گسترشتکارگیریحافظکاص: قطع تذی ساد•.سرتارسثتتتخصتذیپیا
سرتارپیچیذگیهذیریت :صفح تذی حافظ هجازی•.حافظ
.سرتارپیچیذگیهذیریتحافظ :قطع تذی حافظ هجازی•
184
:تکه تکه داخلی
•تکتکپذیذردذرتتخصیکداخلازقسوتیایک.ضذىداخلیهیگیذ
185
:صفحه تذی.حافظاغلیتتخطایسثتاکچکتقسینهیضد•.رفرآیذتتکایناذازتاآاتقسینهیضد•.تتکایرفرآیذغفحهیگیذ•.تتکایهخددرحافظقابگیذ•.سیستنػاهلیکخذلغفحترایرفرآیذایدادهیکذ••هیادامافسارسختتسظفیسیکیتهغقیآدرستثذیل
.ضد
186
10/09/1436
12
هراحل زیر ترای ترجوه آدرس :الزم است
•ػاىتغفحضواراستخراجnهغقیآدرسچپتیت.
•غفحخذلتضاخعػاىتغفحضوارکارگیریتقابضواریافتيترای.(k)
.آدرسفیسیکیضرعقاب•
187
:قطؼه تذی.رشخایگسیيترایتقسینتراهکارتر،قغتذیاست•
.داداتتؼذادیقغؼتقسینهیضد•
•تاضذهییکساىاذازداردایقغؼ.
.هطاتتخصتذیپیااست•
.قغؼتذیقاتلرئیتاست•
.راتظستذایتیيآدرسفیسیکیهغقیخدذارد•188
:هراحل ترجوه آدرس
•ازقغؼضواراستخراجnهغقیآدرسچپسوتتیت.
.استفادازضوارقغؼتػاىضاخع•
•درهخداحرافهقایسm راستسوتتیت.
•قغؼضرعفیسیکیآدرسهدوعازػثارستظرهردفیسیکیآدرس.حراف
189