Region Manipulation

MANIPULATION OF THE PROCESS ADDRESS SPACE
The operations that manipulate regions are:

1. Lock a region,
2. Unlock a region,
3. Allocate a region,
4. Attach a region to the memory space of a process,
5. Change the size of a region,
6. Load a region from a file into the memory space of a process,
7. Free a region,
8. Detach a region from the memory space of a process,
9. Duplicate the contents of a region.
1& 2. Locking a region and Unlocking a region:

The kernel can lock and allocate a region and later unlock it without having to free the region.
Similarly, if it wants to manipulate an allocated region, it can lock the region to prevent access by other processes
and later unlock it.
3. Allocate a region:
The kernel allocates a new region during fork system call.
The kernel contains a region table whose entries appear either on a free linked list or on an active linked list.
When it allocates a region table entry, the kernel removes the first available entry from the free list, places it on
the active list, locks the region, and marks its type (shared or private).
4. Attaching a Region to a Process:

The kernel attaches a region during the fork, exec, and shmat system calls to connect it to the address space of a
process.
The region may be a newly allocated region or an existing region that the process will share with other processes.
The kernel allocates a free pregion entry, sets its type field to text, data, shared memory, or stack, and records the
virtual address where the region will exist in the process address space.
The process must not exceed the system-imposed limit for the highest virtual address, and the virtual addresses of
the new region must not overlap the addresses of existing regions.
Attachreg then initializes a new set of memory management register triples for the process.
For example, if the system restricts the highest virtual address of a process to 8 megabytes, it would be illegal to
attach a 1 megabyte, size region to virtual address 7.5 MB.
5. Changing the Size of a Region:
Internally, the kernel invokes the algorithm growreg to change the size of a region.
When a region expands, the kernel makes sure that the virtual addresses of the expanded region do not overlap
those of another region and that the growth of the region does not cause the process size to become greater than
the maximum allowed virtual memory space.
The kernel never invokes growreg to increase the size of a shared region that is already attached to several
processes;
6. Loading a Region
If the kernel does not support demand paging, it must copy the executable file into memory, loading the process
regions at virtual addresses specified in the executable file.
It may attach a region at a different virtual address from where it loads the contents of the file, creating a gap in
the page table.
To load a file into a region, loadreg accounts for the gap between the virtual address where the region is attached
to the process.
The starting virtual address of the region data and expands the region according to the amount of memory the
region requires.
If the kernel is loading a text region that can be shared by several processes, it is possible that another process
could find the region and attempt to use it before its contents were fully loaded.
The kernel checks a region state flag to see if the region is completely loaded and, if the region is not loaded, the
process sleeps.
At the end of loadreg, the kernel awakens processes that were waiting for the region to be loaded and changes the
region state to valid and in memory.
7. Freeing a Region
When a region is no longer attached to any processes, the kernel can free the region and return it to the list of free
regions.
If the region is associated with an inode, the kernel releases the inode using algorithm iput, corresponding to the
increment of the inode reference count in allocreg.
The kernel releases physical resources associated with the region, such as page tables and memory pages.
For example, suppose the kernel wants to free the stack region, assuming the region reference count is 0, it
releases the 7 pages of physical memory and the page table.
8. Detaching a Region from a Process:

The kernel detaches regions in the exec, exit, and shmdt (detach shared memory) system calls.
It updates the pregion entry and severs the connection to physical memory by invalidating the associated memory
management register triple.
The address translation mechanisms thus invalidated apply specifically to the process, not to the region (as in
algorithm freereg). The kernel decrements the region reference count and tpe size field in the process table entry
according to the size of the region.
If the region reference count drops to 0 and if there is no reason to leave the region intact (the region is not a
shared memory region or a text region with the sticky bit on), the kernel frees the region using algorithm freereg.
Otherwise, it releases the region and inode locks, which had been locked to prevent race conditions.
9. Duplicating a Region:
The fork system call requires that the kernel duplicate the regions of a process.
If a region is shared (shared text or shared memory), however, the kernel need not physically copy the region;
instead, it increments the region reference count, allowing the parent and child processes to share the region.
If the region is not shared and the kernel must physically copy the region, it allocates a new region table entry,
page table, and physical memory for the region.

Region Manipulation

Uploaded by

Copyright:

Available Formats

Region Manipulation

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Region Manipulation

Uploaded by

Copyright:

Available Formats

MANIPULATION OF THE PROCESS ADDRESS SPACE

The operations that manipulate regions are:

1& 2. Locking a region and Unlocking a region:

4. Attaching a Region to a Process:

8. Detaching a Region from a Process:

You might also like