Introduction
Virtual memory is a feature of an operating system that provides an application the impression that it has contiguous working memory (an unbroken block), while in fact it is physically fragmented and may even overflow onto disk storage. Systems that use this method make programming of large applications easier and use real physical memory (RAM) more efficiently than if the physical memory was only divided into several fixed partitions.
The Necessity of Virtual Memory
In the early days of computing, the amount of memory available was extremely limited and often insufficient for the needs of the users or applications. As the complexity and size of programs grew, so did their memory requirements. The advent of multitasking, where several programs run simultaneously, increased the demand for memory and the need for efficiently managing it.
Virtual memory was developed to address these issues. It provides a layer of abstraction between an application’s view of memory and the physical memory managed by the operating system. This abstraction allows every program to behave as if it has exclusive access to the main memory, regardless of the number of processes running concurrently.
How Virtual Memory Works
Virtual memory divides a computer’s primary memory, which is directly accessed by the CPU, into blocks known as pages. The corresponding pages in the secondary memory (usually a hard disk or SSD) are known as page frames. When a program needs to access a location in its memory, it refers to a virtual address.
The operating system maintains a page table, which maps these virtual addresses to real, physical addresses. If the required page is in the main memory (a condition known as a page hit), the CPU accesses the data directly. If it’s not (a condition known as a page fault), the required page is loaded from the secondary memory into the main memory.
This method of swapping pages between the primary and secondary memory is known as paging. The operating system decides which pages to keep in the primary memory and which to evict when space is needed, based on various page replacement algorithms like Least Recently Used (LRU), Most Recently Used (MRU), or First-In, First-Out (FIFO).
Benefits of Virtual Memory
Virtual memory provides several benefits:
Process Isolation: Virtual memory provides isolation between processes. This means each program can’t directly access or interfere with another program’s memory space, reducing the risk of bugs and improving system stability and security.
Efficient Use of Memory: Without virtual memory, memory would have to be statically allocated to processes. For example, if you have 8GB of RAM and you want to run four processes, you might allocate 2GB to each. However, this is an inefficient use of memory. One process might only need 500MB, while another might need 3GB. The first process would be wasting 1.5GB of its allocated memory, while the second wouldn’t have enough. Virtual memory introduces the concept of dynamic memory allocation. Instead of giving each process a fixed chunk of memory, the operating system gives processes the memory they need when they need it. As a result, more processes can be run concurrently.
Programs Can Be Larger Than Physical Memory: With virtual memory, total program size is not limited by the size of physical memory. Programs can be larger than the total physical memory available, as only parts of the program need to be in memory at any given time.
Easier Programming: Programmers can write code as if they have access to a large, continuous block of memory, simplifying program logic and design. An example of this is given in the
C
snippet below.1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
#include <stdlib.h> int main() { int* p = malloc(sizeof(int) * 50); // Allocate space for 50 integers if (p == NULL) { // Memory allocation failed return 1; } // We can now use this memory p[0] = 123; p[49] = 456; // Always free memory when done free(p); return 0; }
In this example,
malloc()
is asking the operating system for a block of memory large enough to hold 50 integers. The operating system then uses the virtual memory system to find a suitable block of memory. If the request can be fulfilled,malloc()
returns a pointer to this block of memory, which is now reserved for this program to use. If not, it returnsNULL
.In a system with virtual memory, this block of memory can be anywhere. It is contiguous from the program’s point of view, but it might not be in physical memory. It could be spread out across different parts of physical memory, or even offloaded to disk. The virtual memory system takes care of translating the program’s virtual addresses to the actual physical addresses transparently. This greatly simplifies programming. As a programmer, you don’t need to worry about where this memory comes from, whether it’s contiguous, or whether it’s even in RAM. You just ask for memory, and if it’s available, you get it.