operating system - Difficulty in understanding Petersons Algorithm -


i having bit difficulty understanding peterson's algorithm: algorithm says:

flag[i] = true; turn = j; while (flag[j] && turn == j); // critical section ... // end of critical section flag[i] = false;

now lets suppose flag[0]=flag[1]=true

if p1 starts executing, busy waiting @ while loop since flag[0] , turn==0 both true. if p0 not want execute, p1 never execute critical section.

please clear doubt;there may gaps in understanding.

thanks

now lets suppose flag[0]=flag[1]=true

now if p0 not want execute, p1 never execute critical section.

both flags should initialized false. way both set true if both processes want execute or executing critical section. therefore if p1 waiting execute, flag[0] true, p0 must either execute critical section, or in middle of executing it, after flag[0] set false , p1 can enter critical section. also, if p1 waiting execute, p0 cannot waiting execute, because waiting conditions mutually exclusive (since turn either 0 or 1 , cannot both simultaneously).

initializing both flags true can lead deadlock describe. doing makes no sense, since meaning of flags indicate process wants enter critical section, if that's not case, why set value?


-

Comments

Post a Comment

Popular posts from this blog

PySide and Qt Properties: Connecting signals from Python to QML -

i trying run simple pyside appliccation design made in qml. call function in qml python in separated thread. i have following qml view: import qt 4.7 rectangle { visible: true width: 100; height: 100 color: "lightgrey" text { id: datestr objectname: "datestr" x: 10 y: 10 text: "init text" font.pixelsize: 12 function updatedata(text) { datestr.text = qstr(text) console.log("you said: " + text) } } } here application: some imports.... #!/usr/bin/python import sys import time pyside import qtdeclarative, qtcore pyside.qtgui import qapplication pyside.qtdeclarative import qdeclarativeview the qthread worker.... #worker thread class worker(qtcore.qthread): updateprogress = qtcore.signal(int) def __init__(self, child): qtcore.qthread.__init__(self) self.child = child def run(self):
Read more

c# - DevExpress.Wpf.Grid.InfiniteGridSizeException was unhandled -

Image
when using devexpress, see error: devexpress.wpf.grid.infinitegridsizeexception unhandled message="by default, infinite grid height not allowed since grid rows rendered , hence grid work slowly. fix issue, should place grid container give finite height grid, or should manually specify grid's height or maxheight. note can avoid exception setting gridcontrol.allowinfinitegridsize static property true, in case grid run slowly." the problem dxgrid has infinite height. to fix, set height non-infinite. snoop absolutely invaluable this: if "height" xaml element infinite (i.e. 0 or nan ), can set using one of following: option 1: height="{binding path=actualheight, relativesource={relativesource mode=findancestor, ancestortype=uielement}}" option 2: verticalalignment="stretch" option 3: height="auto" hint: use verticalalignment="stretch" if child of grid <rowdefinition height=
Read more

scala - 'wrong top statement declaration' when using slick in IntelliJ -

Image
i'm porting project scala 2.9 2.10, therefore have use slick instead of scalaquery. i'm using slick 2.1.0 since supports ms access. according this tutorial , upgrade guide changed robs object class , added val robs : why error message wrong top statement declaration , how rid of it? edit: i'm new scala... according this question seems can't put val outside of methods or classes, right? code above directly in packge. right approach slick then? should move code in class or trait? according this changed val robs = tablequery[robs] to object robs extends tablequery(new robs(_)) {} . no warnings or errors anymore. :)
Read more