Concetti di memoria virtuale

Welcome to the world of Virtual Memory! This concept is fundamental to how modern operating systems manage memory, enabling powerful features like multitasking and memory protection.

It allows programs to use a continuous, private memory space, even if the physical RAM is fragmented or smaller than the program's needs.

In early computing, programs directly accessed physical RAM. This led to several challenges:

• Limited RAM: Programs had to fit entirely into physical memory.
• No Isolation: One program could overwrite another's memory, causing crashes.
• Relocation Issues: Programs needed to be loaded at specific physical addresses, complicating multitasking.

Virtual Memory was designed to solve these problems by introducing an abstraction layer.

The core idea is a distinction between two types of addresses:

• Virtual Address: The address seen and used by the CPU and your program. Each program gets its own unique, isolated virtual address space.
• Physical Address: The actual address in the computer's RAM chips. This is what the hardware truly understands and where data is physically stored.

Think of it like a house number (virtual) versus its GPS coordinates (physical).

The magic behind this translation is performed by a dedicated hardware component inside the CPU called the Memory Management Unit (MMU).

When the CPU requests data from a virtual address, the MMU intercepts this request and instantly translates it into the corresponding physical address before accessing the RAM. This process is transparent to the running program.

One of the most common ways the MMU handles translation is through paging. In paging, both virtual and physical memory are divided into fixed-size blocks:

• Pages: Blocks of virtual memory.
• Frames (or Page Frames): Blocks of physical memory.

These blocks are typically 4KB (4096 bytes) in size, though larger sizes exist. Paging allows non-contiguous physical memory to appear contiguous to a program.

How does the MMU know which physical frame corresponds to which virtual page? It uses Page Tables.

Page tables are special data structures stored in physical RAM. They contain entries that map virtual page numbers to their corresponding physical frame numbers. The operating system creates and manages these tables for each running process.

For modern 64-bit systems with huge virtual address spaces, a single, flat page table would consume an impractical amount of memory. To save space, x86-64 uses multi-level paging.

This means there's a hierarchy of page tables. A top-level table (like PML4) points to lower-level tables, and so on, until the final page table points to a physical frame. This structure ensures that only necessary parts of the address space have page tables allocated.

The CPU needs to know where the top-level page table (the PML4 in 64-bit mode) is located in physical memory. This critical physical base address is stored in the CR3 register (Control Register 3).

Each process typically has its own set of page tables. When the operating system switches between processes, it updates the value of CR3 to point to the new process's page tables, effectively switching virtual address spaces.

When your assembly program accesses a memory location, it's always using a virtual address. The MMU handles the translation transparently, so your code doesn't need to know the physical address.

Try running this simple assembly program. The my_var label refers to a virtual address, which the MMU translates to a physical address before the data is fetched.

Which of the following components is primarily responsible for translating virtual addresses to physical addresses in an x86 system?

In this lesson, we explored the crucial concept of Virtual Memory in x86 systems. We learned:

• Virtual memory provides programs with a private, large address space, abstracting physical RAM.
• The MMU is the hardware unit that translates virtual addresses to physical addresses.
• Paging divides memory into fixed-size blocks (pages/frames) and uses page tables for mapping.
• Multi-level paging efficiently manages large address spaces in modern systems.
• The CR3 register points to the base of the top-level page table, changing with process context.

Understanding virtual memory is key to grasping how operating systems manage processes and memory protection at a low level.