Processes CITS2002 Systems Programming

CITS2002SystemsProgramming

1 next→ CITS2002 CITS2002schedule

ProcessesThefundamentalactivityofanoperatingsystemisthecreation,management,andterminationofprocesses.

Whatisaprocess?Naively:

aprogramunderexecution,the"animated"existenceofaprogram,anidentifiableentityexecutedonaprocessorbytheoperatingsystem.

Moreparticularly,weconsiderhowtheoperatingsystemitselfviewsaprocess:

asanexecutableinstanceofaprogram,astheassociateddataoperateduponbytheprogram(variables,temporaryresults,external(file)storage,...),andastheprogram'sexecutioncontext.

Itisaclearrequirementofmodernoperatingsystemsthattheyenablemanyprocessestoexecuteefficiently,bymaximisingtheiruseoftheprocessor,bysupportinginter-processcommunication,andbymaintainingreasonableresponsetime.

Thisisanongoingchallenge:ashardwareimproves,itis"consumed"bylarger,"hungrier"piecesofinterlinkedsoftware.

CITS2002SystemsProgramming,Lecture7,p1,16thAugust2021.

http://teaching.csse.uwa.edu.au/units/CITS2002/index.php

http://teaching.csse.uwa.edu.au/units/CITS2002/schedule.php


←prev 2 next→ CITS2002 CITS2002schedule

ProcessStatesWecanviewtheprocessfromtwopointsofview:thatoftheprocessor,andthatoftheprocessitself.

Theprocessor'sviewissimple:theprocessor'sonlyroleistoexecutemachineinstructionsfrommainmemory.Overtime,theprocessorcontinuallyexecutesthesequenceofinstructionsindicatedbytheprogramcounter(PC).

Theprocessorisunawarethatdifferentsequencesofinstructionshavealogicalexistence,thatdifferentsequencesunderexecutionarereferredtoasprocessesortasks.

Fromtheprocess'spointofview,itiseitherbeingexecutedbytheprocessor,oritiswaitingtobeexecuted(forsimplicityhere,weconsiderthataterminatedprocessnolongerexists).

We'veidentifiedtwopossibleprocessstatesthataprocessmaybeinatanyonetime:RunningandReady.

Question:Canaprocessdetermineinwhatstateitis?






ProcessTransitionsTheoperatingsystem'sroleistomanagetheexecutionofexistingandnewlycreatedprocessesbymovingthembetweenthetwostatesuntiltheyfinish.

Sowehaveasimplemodelconsistingoftworecurringsteps:

1. NewlycreatedprocessesarecreatedandmarkedasReady,andarequeuedtorun.

2. ThereisonlyeverasingleprocessintheRunningstate.Itwilleither:

completeitsexecutionandterminate(exit),or

besuspended(byitselforbytheoperatingsystem),bemarkedasReady,andbeagainqueuedtorun.

OneoftheotherReadyprocessesisthencommenced(orresumed).

Heretheoperatingsystemhastheroleofadispatcher-dispatchingworkfortheprocessoraccordingtosomedefinedpolicyaddressingacombinationoffairness,priority,apparent"interactivity",...

___________Forsimplicity(ofbothunderstandingandimplementation)modernoperatingsystemssupporttheidleprocesswhichisalwaysreadytorun,andneverterminates.






TheSimple2-stateProcessModelAswegenerallyhavemorethantwoprocessesavailable,theReadystateisimplementedasaqueueofavailableprocesses:

Whenschedulingisdiscussed,wewillintroduceprocessprioritieswhendecidingwhichReadyprocessshouldbethenexttoexecute.






ProcessCreationInsupportingthecreationofanewprocess,theoperatingsystemmustallocateresourcesbothfortheprocessandtheoperatingsystemitself.

Theprocess(programunderexecution)willrequireaportionoftheavailablememorytocontainits(typically,read-only)instructionsandinitialdatarequirements.Astheprocessexecutes,itwilldemandadditionalmemoryforitsexecutionstackanditsheap.

Theoperatingsystem(asdispatcher)willneedtomaintainsomeinternalcontrolstructurestosupportthemigrationoftheprocessbetweenstates.

Wheredonewprocessescomefrom?

an"under-burdened"operatingsystemmaytakenewprocessrequestsfromabatchqueue.auserloggingonataterminalusuallycreatesaninteractivecontrolorencapsulatingprocess(shellorcommandinterpreter).anexistingprocessmayrequestanewprocess,theoperatingsystemitselfmaycreateaprocessafteranindirectrequestforservice(tosupportnetworking,printing,...)

Differentoperatingsystemssupportprocesscreationindifferentways.

byrequestingthatanexistingprocessbeduplicated(alafork()callinLinuxandmacOS),byinstantiatingaprocess'simagefromanamedlocation,typicallytheprogram'simagefromadiskfile(alathespawn()callin(old)DEC-VMSandtheCreateProcess()callinWindows).






ProcessTerminationStallingssummarisestypicalreasonswhyaprocesswillterminate:

normaltermination,executiontime-limitexceeded,aresourcerequestedisunavailable,anarithmeticerror(divisionbyzero),amemoryaccessviolation,aninvalidrequestofmemoryoraheldresource,anoperatingsystemorparentprocessrequest,oritsparentprocesshasterminated.

Theseandmanyothereventsmayeitherterminatetheprocess,orsimplyreturnanerrorindicationtotherunningprocess.Inallcases,theoperatingsystemwillprovideadefaultactionwhichmayormaynotbeprocesstermination.

Itisclearthatprocessterminationmayberequested(oroccur)whenaprocessiseitherRunningorReady.Theoperatingsystem(dispatcher)musthandlebothcases.

Ifaprocessisconsideredasa(mathematical)function,itsreturnresult,consideredasaBooleanorintegralresult,isgenerallymadeavailableto(some)otherprocesses.




http://www.amazon.com/Operating-Systems-Internals-Principles-Edition/dp/0133805913/ref=dp_ob_title_bk



TimerInterruptsWhydoesaprocessmovefromRunningtoReady?

Theoperatingsystemmustmeetthetwogoalsoffairnessamongstprocessesandmaximaluseofresources(here,theprocessorand,soon,memory).

Thefirstiseasilymet:enableeachprocesstoexecuteforapredeterminedperiodbeforemovingtheRunningprocesstotheReadyqueue.

Ahardwaretimerwillperiodicallygenerateaninterrupt(say,every10milliseconds).Betweentheexecutionofanytwoinstructions,theprocessorwill"lookfor"interrupts.Whenthetimerinterruptoccurs,theprocessorwillbeginexecutionoftheinterrupthandler.

Thehandlerwillincrementandexaminetheaccumulatedtimeofthecurrentlyexecutingprocess,andeventuallymoveitfromRunningtoReady.

Themaximumtimeaprocessispermittedtorunisoftentermedthetimequantum.






TheBlockingofProcessesTheabovescenarioissimpleandfairifallReadyprocessesarealwaystrulyreadytoexecute.

However,theexistenceofprocesseswhichcontinuallyexecutetotheendoftheirtimequanta,oftentermedcompute-boundprocesses,israre.

Moregenerally,aprocesswillrequestsomeinputoroutput(I/O)fromacomparativelyslowsource(suchasadiskdrive,tape,keyboard,mouse,orclock).Evenifthe"reply"totherequestisavailableimmediately,asynchronouscheckofthiswilloftenexceedtheremainderoftheprocess'stimequantum.Ingeneraltheprocesswillhavetowaitfortherequesttobesatisfied.

TheprocessshouldnolongerbeRunning,butitisnotReadyeither:atleastnotuntilitsI/Orequestcanbesatisfied.

Wenowintroduceanewstatefortheoperatingsystemtosupport,Blocked,todescribeprocesseswaitingforI/Orequeststobesatisfied.AprocessrequestingI/Owill,ofcourse,requesttheoperatingsystemtoundertaketheI/O,buttheoperatingsystemsupportsthisasthreeactivities:

1. requestingI/Otoorfromthedevice,2. movingtheprocessfromRunningtoBlocked,3. preparingtoacceptaninterruptwhenI/Ocompletes.

(Verysimply)whentheI/Ocompletioninterruptoccurs,therequestingprocessismovedfromBlockedtoReady.

Adegeneratecaseofblockingoccurswhenaprocesssimplywishestosleepforagivenperiod.Weconsidersucharequestas"blockinguntilatimerinterrupt",andhavetheoperatingsystemhandleitthesameway.






The5-StateModelofProcessExecutionAtthispoint,Stallingsintroduceshis5-statemodel:

Thisincludestwonewstates:

Newfornewlycreatedprocesseswhichhaven'tyetbeenadmittedtotheReadyqueueforresourcingreasons;Exitforterminatedprocesseswhosereturnresultorresourcesmayberequiredbyotherprocesses,e.g.forpost-processaccounting.

Eachofthesestates,exceptforRunning,islikelyto'hold'morethanoneprocess(i.e.theremaybemorethanoneprocessinoneofthesestates).

Ifaqueueofprocessesisnotalwaysorderedinafirst-come-first-served(FCFS)manner,thenapriorityorschedulingmechanismisnecessary.






SupportingMultipleBlockedStatesWhennotificationofanI/Oortimercompletionoccurs,thesimplestqueuingmodelrequirestheoperatingsystemtoscanitsBlockedqueuetodeterminewhichprocess(es)requested,orareinterestedin,theevent:






SupportingMultipleBlockedStates,continuedAbetterschemeistomaintainaqueueforeachpossibleeventtype.Whenaneventoccurs,its(shorter)queueisscannedmorequickly:

Atypicalexamplewouldhaveonequeueforprocessesblockedondisk-drive-1,anotherblockedondisk-drive-2,anotherblockedonthekeyboard......

Then,whenaninterruptoccurs,it'squicktodeterminewhichprocess(es)shouldbeunblocked,andmovedtoReady.






TheDispatchingRoleofOperatingSystemsAsshouldnowbeclear,thisviewoftheoperatingsystemasadispatcherinvolvesthemovingofprocessesfromoneexecutionstatetoanother.

Theprocess'sstateisreflectedbywhereitresides,althoughitsstatewillalsorecordmuchotherinformation.

Thepossiblestatetransitionsthatwehavenowdiscussedare:

Null→New anewprocessisrequested.

New→Ready resourcesareallocatedforthenewprocess.

Ready→Running aprocessisgivenatimequantum.

Running→Ready aprocess'sexecutiontimequantumexpires.

Running→Blocked aprocessrequestsslowI/O.

Blocked→Ready anI/OinterruptsignalsthatI/Oisready.

Running→Exit normalorabnormalprocesstermination.

ReadyorBlocked→Exit externalprocessterminationrequested.






SuspensionofProcessesRecallthattheprocessorismuchfasterthanI/O.Asaconsequence,itisquitepossibleforallprocessestobeblockedonI/Orequests,whentheprocessorwillbeidlemostofthetimewhilewaitingforI/Ointerrupts.

Question:Howtogetmoreexecutingprocesses,giventhatresourcessuchasmemoryarefinite?

Toenablemoretrueworktobeperformedbytheprocessor,wecouldprovidemorememorytosupporttherequirementsofmoreprocesses.

Butasidefromtheexpense,providingmorememorytendstoencouragelargerprocesses,not(ingeneral)bettersupportformoreprocesses.





←prev 14 CITS2002 CITS2002schedule

SwappingofProcessesAnothersolutionisswapping:moving(partof)aprocess'smemorytodiskwhenitisnotneeded.

WhennoneoftheprocessesinmainmemoryisReady,theoperatingsystemswapsthememoryofsomeoftheBlockedprocessestodisktorecoversomememoryspace.Suchprocessesaremovedtoanewstate:theSuspendstate,aqueueofprocessesthathavebeen"kickedout"ofmainmemory:

Ifdesperateforevenmorememory,theoperatingsystemcansimilarlyreclaimmemoryfromReadyprocesses.Whenmemorybecomesavailable,theoperatingsystemmaynowresumeexecutionofaprocessfromSuspend,oradmitaprocessfromNewtoReady.




Processes CITS2002 Systems Programming

Documents