Tham khảo tài liệu 'formal models of operating system kernels phần 3', công nghệ thông tin, hệ điều hành phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | 114 4 A Swapping Kernel procs IPREF ProcessDescr known-procs FIPREF freeids zombies code_owners F APREF parent APREF APREF children blockswaiting APREF F APREF childof parentof share_code APREF o APREF V p APREF p E freeids p ị known_procs known_procs dom procs A zombies c known_procs dom children c known procs A dom childof c known_procs ran childof c known procs A ran childof ran parent childof parentof A code-owners c dom parentof V p-1 p2 APREF p1 E dom blockswaiting A p2 E blockswaiting pi pi E code-owners V parentof p1 p2 INIT known-procs IdleProcRef freeids 1 . . maxprocs 1 code_owners IdleProcRef dom shares_code 0 dom childof 0 dom blockswaiting 0 zombies 0 CreateIdleProcess . . AddProcess . DelProcess . DescrOfProcess . AddCodeOwner . DelCodeOwner . ProcessHasChildren . AddChildOfProcess . DelChildOfProcess . IsCodeOwner . AddProcessToZombies . MakeZombieProcess . ProcessIsZombie . Process Management 115 RemoveAllZombies . KillAllZombies . GotZombies . ProcessHasParent . RemoveProcessFromParent . ParentOfProcess . CanGenPId . NewPId . releasePId . Ad d ProcessToTa ble . deleteProcessFromTable . The following operation creates the idle process. The operation sets up basic data about the idle process including the status it will be a ready process so can be immediately considered by the scheduler and process kind it is a system process the operation assigns an arbitrary time quantum to the process to and its status word is cleared to 0S. Next the storage areas are created the idle process does not have any storage since it does nothing other than loop so anything can be assigned here empty storage descriptors are assigned . Then the idle process process descriptor is created by calling the Init method belonging to its type and the descriptor is stored in the process table. __CreateIdleProcess 3 stat PROCSTATUS knd .
