virtual memory - pagingjohanmon/courses/id2206/lectures/paging.pdf · the paging mmu with tlb...

194
Virtual memory - Paging Johan Montelius KTH 2020 1 / 32

Upload: others

Post on 30-Sep-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Virtual memory - Paging

Johan Montelius

KTH

2020

1 / 32

Page 2: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The process

0x00000000 0xC0000000 0xffffffff

code(.text) data heap stack kernel

Memory layout for a 32-bit Linux process

2 / 32

Page 3: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 4: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 5: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 6: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 7: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 8: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 9: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 10: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 11: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 12: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 13: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 14: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 15: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 16: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 17: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Segments - a could be solution

Physical memory

Processes in virtual space

Address translation by MMU(base and bounds)

3 / 32

Page 18: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

one problem

Physical memory

External fragmentation: free areas of free space that is hard to utilize.

Solution: allocate larger segments ... internal fragmentation.

4 / 32

Page 19: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

one problem

Physical memory

External fragmentation: free areas of free space that is hard to utilize.

Solution: allocate larger segments ... internal fragmentation.

4 / 32

Page 20: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

one problem

Physical memory

External fragmentation: free areas of free space that is hard to utilize.

Solution: allocate larger segments ...

internal fragmentation.

4 / 32

Page 21: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

one problem

Physical memory

External fragmentation: free areas of free space that is hard to utilize.

Solution: allocate larger segments ... internal fragmentation.

4 / 32

Page 22: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

another problem

virtual space

physical memory

5 / 32

Page 23: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

another problem

virtual space code

physical memory

5 / 32

Page 24: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

another problem

virtual space code

physical memory

5 / 32

Page 25: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

another problem

virtual space code

physical memory

5 / 32

Page 26: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

another problem

virtual space code

physical memory

used

5 / 32

Page 27: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

another problem

virtual space code

physical memory

used

not used?

5 / 32

Page 28: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

another problem

virtual space code

physical memory

used

not used?

We’re reserving physical memory that is not used.

5 / 32

Page 29: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Let’s try again

It’s easier to handle fixed size memory blocks.

Can we map a process virtual space to a set of equal size blocks?

An address is interpreted as a virtual page number (VPN) and an offset.

6 / 32

Page 30: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Let’s try again

It’s easier to handle fixed size memory blocks.

Can we map a process virtual space to a set of equal size blocks?

An address is interpreted as a virtual page number (VPN) and an offset.

6 / 32

Page 31: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Let’s try again

It’s easier to handle fixed size memory blocks.

Can we map a process virtual space to a set of equal size blocks?

An address is interpreted as a virtual page number (VPN) and an offset.

6 / 32

Page 32: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Let’s try again

It’s easier to handle fixed size memory blocks.

Can we map a process virtual space to a set of equal size blocks?

An address is interpreted as a virtual page number (VPN) and an offset.

6 / 32

Page 33: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Remember the segmented MMUMMU

virtual addr.

+physical address

<yes

within bounds

no

exception

// offset

index

segment table7 / 32

Page 34: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMUMMU

virtual addr.

8 / 32

Page 35: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMUMMU

virtual addr. //

8 / 32

Page 36: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMUMMU

virtual addr. //

page table8 / 32

Page 37: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMUMMU

virtual addr. //

page table

VPN

8 / 32

Page 38: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMUMMU

virtual addr. //

page table

VPN

+

offset

8 / 32

Page 39: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMUMMU

virtual addr. //

page table

VPN

+

offset

physical address

8 / 32

Page 40: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMUMMU

virtual addr. //

page table

VPN

+

offset

physical address

?

8 / 32

Page 41: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMUMMU

virtual addr. //

page table

VPN

+

offset

physical address

?available

exception

8 / 32

Page 42: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the MMU

Segmentation

virtual address

9 / 32

Page 43: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the MMU

Segmentation

virtual address

linear address

9 / 32

Page 44: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the MMU

Segmentation

virtual address

linear address

within bounds

exception

9 / 32

Page 45: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the MMU

Segmentation

virtual address

linear address

within bounds

exception

Paging

9 / 32

Page 46: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the MMU

Segmentation

virtual address

linear address

within bounds

exception

Paging

9 / 32

Page 47: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the MMU

Segmentation

virtual address

linear address

within bounds

exception

Paging

physical address

9 / 32

Page 48: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the MMU

Segmentation

virtual address

linear address

within bounds

exception

Paging

physical address

exception

page available

9 / 32

Page 49: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

a note on the x86 architecture

The x86-32 architecture supports both segmentation and paging. A virtual address istranslated to a linear address using a segmentation table. The linear address is thentranslated to a physical address by paging.

Linux and Windows do not use use segmentation to separate code, data nor stack.

The x86-64 (the 64-bit version of the x86 architecture) has dropped many features forsegmentation.

Still used to manage thread local storage and CPU specific data.

10 / 32

Page 50: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

a note on the x86 architecture

The x86-32 architecture supports both segmentation and paging. A virtual address istranslated to a linear address using a segmentation table. The linear address is thentranslated to a physical address by paging.

Linux and Windows do not use use segmentation to separate code, data nor stack.

The x86-64 (the 64-bit version of the x86 architecture) has dropped many features forsegmentation.

Still used to manage thread local storage and CPU specific data.

10 / 32

Page 51: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

a note on the x86 architecture

The x86-32 architecture supports both segmentation and paging. A virtual address istranslated to a linear address using a segmentation table. The linear address is thentranslated to a physical address by paging.

Linux and Windows do not use use segmentation to separate code, data nor stack.

The x86-64 (the 64-bit version of the x86 architecture) has dropped many features forsegmentation.

Still used to manage thread local storage and CPU specific data.

10 / 32

Page 52: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

a note on the x86 architecture

The x86-32 architecture supports both segmentation and paging. A virtual address istranslated to a linear address using a segmentation table. The linear address is thentranslated to a physical address by paging.

Linux and Windows do not use use segmentation to separate code, data nor stack.

The x86-64 (the 64-bit version of the x86 architecture) has dropped many features forsegmentation.

Still used to manage thread local storage and CPU specific data.

10 / 32

Page 53: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

a note on the x86 architecture

The x86-32 architecture supports both segmentation and paging. A virtual address istranslated to a linear address using a segmentation table. The linear address is thentranslated to a physical address by paging.

Linux and Windows do not use use segmentation to separate code, data nor stack.

The x86-64 (the 64-bit version of the x86 architecture) has dropped many features forsegmentation.

Still used to manage thread local storage and CPU specific data.

10 / 32

Page 54: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

a note on the x86 architecture

The x86-32 architecture supports both segmentation and paging. A virtual address istranslated to a linear address using a segmentation table. The linear address is thentranslated to a physical address by paging.

Linux and Windows do not use use segmentation to separate code, data nor stack.

The x86-64 (the 64-bit version of the x86 architecture) has dropped many features forsegmentation.

Still used to manage thread local storage and CPU specific data.

10 / 32

Page 55: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 56: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 57: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 58: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 59: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 60: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 61: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 62: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 63: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 64: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 65: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 66: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 67: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 68: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

11 / 32

Page 69: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

the process

Physical memory

Processes in virtual space

Only pages actually used need to be in memory.

11 / 32

Page 70: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

three pages

virtual space

physical memory

12 / 32

Page 71: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

three pages

virtual space

physical memory

12 / 32

Page 72: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

three pages

virtual space

physical memory

12 / 32

Page 73: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

three pages

virtual space

physical memory

available

12 / 32

Page 74: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

three pages

virtual space

physical memory

available not available(page fault)

12 / 32

Page 75: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

three pages

virtual space

physical memory

available not available(page fault)

not allocated(segmentation fault)

12 / 32

Page 76: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The pagetable

The MMU page module

//

+ ?

The page tableprovides translation from pagenumbers to frame numberskernel or user spaceread and write access rightsavailable in memory or on disk

Note: the page table is to large to fit into the MMU hardware, it is in main memory.

13 / 32

Page 77: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The pagetable

The MMU page module

//

+ ?

The page tableprovides translation from pagenumbers to frame numberskernel or user spaceread and write access rightsavailable in memory or on disk

Note: the page table is to large to fit into the MMU hardware, it is in main memory.

13 / 32

Page 78: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The pagetable

The MMU page module

//

+ ?

The page tableprovides translation from pagenumbers to frame numberskernel or user spaceread and write access rightsavailable in memory or on disk

Note: the page table is to large to fit into the MMU hardware, it is in main memory.13 / 32

Page 79: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The page table entry

example Linux on (32bit) x86

31

If the page index is 20 bits, does the frame number need to be 20 bits?

14 / 32

Page 80: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The page table entry

example Linux on (32bit) x86

31

Present

1

If the page index is 20 bits, does the frame number need to be 20 bits?

14 / 32

Page 81: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The page table entry

example Linux on (32bit) x86

31

Present

112

If the page index is 20 bits, does the frame number need to be 20 bits?

14 / 32

Page 82: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The page table entry

example Linux on (32bit) x86

31

Present

112

20-bit frame number

R/W

If the page index is 20 bits, does the frame number need to be 20 bits?

14 / 32

Page 83: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The page table entry

example Linux on (32bit) x86

31

Present

112

20-bit frame number

R/W

User/Supervisor

If the page index is 20 bits, does the frame number need to be 20 bits?

14 / 32

Page 84: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The page table entry

example Linux on (32bit) x86

31

Present

112

20-bit frame number

R/W

User/SupervisorReference

If the page index is 20 bits, does the frame number need to be 20 bits?

14 / 32

Page 85: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The page table entry

example Linux on (32bit) x86

31

Present

112

20-bit frame number

R/W

User/SupervisorReference

Dirty

If the page index is 20 bits, does the frame number need to be 20 bits?

14 / 32

Page 86: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The page table entry

example Linux on (32bit) x86

31

Present

112

20-bit frame number

R/W

User/SupervisorReference

Dirty

Global

If the page index is 20 bits, does the frame number need to be 20 bits?

14 / 32

Page 87: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Physical Address Extension (PAE)

In 1995 the x86 architecture provided 24-bit frame numbers. The CPU could thusaddress 64 Gibyte of physical address space (24-bit frame, 12-bit offset).

Each process still had a 32-bit virtual address space, (20-bit page number, 12-bitoffset) i.e. 4 Gibyte.

The x86_64 architecture supports 48-bit virtual address space and up to 52-bitphysical address space.

Linux supports 48-bit virtual address (47-bit user space) and up to 46-bit physicaladdress space (64 Tibyte). Check your address space in /proc/cpuinfo.

Physical memory is in reality limited by chipset, motherboard, memory modules etc.Check your available memory in /proc/meminfo.

15 / 32

Page 88: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Physical Address Extension (PAE)

In 1995 the x86 architecture provided 24-bit frame numbers. The CPU could thusaddress 64 Gibyte of physical address space (24-bit frame, 12-bit offset).

Each process still had a 32-bit virtual address space, (20-bit page number, 12-bitoffset) i.e. 4 Gibyte.

The x86_64 architecture supports 48-bit virtual address space and up to 52-bitphysical address space.

Linux supports 48-bit virtual address (47-bit user space) and up to 46-bit physicaladdress space (64 Tibyte). Check your address space in /proc/cpuinfo.

Physical memory is in reality limited by chipset, motherboard, memory modules etc.Check your available memory in /proc/meminfo.

15 / 32

Page 89: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Physical Address Extension (PAE)

In 1995 the x86 architecture provided 24-bit frame numbers. The CPU could thusaddress 64 Gibyte of physical address space (24-bit frame, 12-bit offset).

Each process still had a 32-bit virtual address space, (20-bit page number, 12-bitoffset) i.e. 4 Gibyte.

The x86_64 architecture supports 48-bit virtual address space and up to 52-bitphysical address space.

Linux supports 48-bit virtual address (47-bit user space) and up to 46-bit physicaladdress space (64 Tibyte). Check your address space in /proc/cpuinfo.

Physical memory is in reality limited by chipset, motherboard, memory modules etc.Check your available memory in /proc/meminfo.

15 / 32

Page 90: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Physical Address Extension (PAE)

In 1995 the x86 architecture provided 24-bit frame numbers. The CPU could thusaddress 64 Gibyte of physical address space (24-bit frame, 12-bit offset).

Each process still had a 32-bit virtual address space, (20-bit page number, 12-bitoffset) i.e. 4 Gibyte.

The x86_64 architecture supports 48-bit virtual address space and up to 52-bitphysical address space.

Linux supports 48-bit virtual address (47-bit user space) and up to 46-bit physicaladdress space (64 Tibyte). Check your address space in /proc/cpuinfo.

Physical memory is in reality limited by chipset, motherboard, memory modules etc.Check your available memory in /proc/meminfo.

15 / 32

Page 91: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Physical Address Extension (PAE)

In 1995 the x86 architecture provided 24-bit frame numbers. The CPU could thusaddress 64 Gibyte of physical address space (24-bit frame, 12-bit offset).

Each process still had a 32-bit virtual address space, (20-bit page number, 12-bitoffset) i.e. 4 Gibyte.

The x86_64 architecture supports 48-bit virtual address space and up to 52-bitphysical address space.

Linux supports 48-bit virtual address (47-bit user space) and up to 46-bit physicaladdress space (64 Tibyte). Check your address space in /proc/cpuinfo.

Physical memory is in reality limited by chipset, motherboard, memory modules etc.Check your available memory in /proc/meminfo.

15 / 32

Page 92: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Physical Address Extension (PAE)

In 1995 the x86 architecture provided 24-bit frame numbers. The CPU could thusaddress 64 Gibyte of physical address space (24-bit frame, 12-bit offset).

Each process still had a 32-bit virtual address space, (20-bit page number, 12-bitoffset) i.e. 4 Gibyte.

The x86_64 architecture supports 48-bit virtual address space and up to 52-bitphysical address space.

Linux supports 48-bit virtual address (47-bit user space) and up to 46-bit physicaladdress space (64 Tibyte). Check your address space in /proc/cpuinfo.

Physical memory is in reality limited by chipset, motherboard, memory modules etc.Check your available memory in /proc/meminfo.

15 / 32

Page 93: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

largest server

Largest server on the market, SGI 3000, can scale up to 256 CPUs and 64 Tibyte ofRAM (NUMA) - running Linux.

16 / 32

Page 94: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Speed matters

movl 0x11111222, %eax

we need a page table base register, PTBRthe virtual page number, VPN, is 0x11111read the page table entry from PTBR + (0x11111 * 8)extract frame number PFN from the entrythe offset is 0x222read the memory location at (PFN << 12) + 0x222

An extra memory operation for each memory reference.

17 / 32

Page 95: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Speed matters

movl 0x11111222, %eax

we need a page table base register, PTBR

the virtual page number, VPN, is 0x11111read the page table entry from PTBR + (0x11111 * 8)extract frame number PFN from the entrythe offset is 0x222read the memory location at (PFN << 12) + 0x222

An extra memory operation for each memory reference.

17 / 32

Page 96: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Speed matters

movl 0x11111222, %eax

we need a page table base register, PTBRthe virtual page number, VPN, is 0x11111

read the page table entry from PTBR + (0x11111 * 8)extract frame number PFN from the entrythe offset is 0x222read the memory location at (PFN << 12) + 0x222

An extra memory operation for each memory reference.

17 / 32

Page 97: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Speed matters

movl 0x11111222, %eax

we need a page table base register, PTBRthe virtual page number, VPN, is 0x11111read the page table entry from PTBR + (0x11111 * 8)

extract frame number PFN from the entrythe offset is 0x222read the memory location at (PFN << 12) + 0x222

An extra memory operation for each memory reference.

17 / 32

Page 98: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Speed matters

movl 0x11111222, %eax

we need a page table base register, PTBRthe virtual page number, VPN, is 0x11111read the page table entry from PTBR + (0x11111 * 8)extract frame number PFN from the entry

the offset is 0x222read the memory location at (PFN << 12) + 0x222

An extra memory operation for each memory reference.

17 / 32

Page 99: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Speed matters

movl 0x11111222, %eax

we need a page table base register, PTBRthe virtual page number, VPN, is 0x11111read the page table entry from PTBR + (0x11111 * 8)extract frame number PFN from the entrythe offset is 0x222

read the memory location at (PFN << 12) + 0x222

An extra memory operation for each memory reference.

17 / 32

Page 100: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Speed matters

movl 0x11111222, %eax

we need a page table base register, PTBRthe virtual page number, VPN, is 0x11111read the page table entry from PTBR + (0x11111 * 8)extract frame number PFN from the entrythe offset is 0x222read the memory location at (PFN << 12) + 0x222

An extra memory operation for each memory reference.

17 / 32

Page 101: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Speed matters

movl 0x11111222, %eax

we need a page table base register, PTBRthe virtual page number, VPN, is 0x11111read the page table entry from PTBR + (0x11111 * 8)extract frame number PFN from the entrythe offset is 0x222read the memory location at (PFN << 12) + 0x222

An extra memory operation for each memory reference.

17 / 32

Page 102: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Speed matters

movl 0x11111222, %eax

we need a page table base register, PTBRthe virtual page number, VPN, is 0x11111read the page table entry from PTBR + (0x11111 * 8)extract frame number PFN from the entrythe offset is 0x222read the memory location at (PFN << 12) + 0x222

An extra memory operation for each memory reference.

17 / 32

Page 103: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

TLB: hardware support

The CPU keeps a translation look-aside buffer, TLB, with the most recent page tableentries.

The buffer is implemented using a content-addressable memory keyed by the virtualpage number.

If the page table entry is found - great!

If the page table entry is not found - access the real page table in memory.

18 / 32

Page 104: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

TLB: hardware support

The CPU keeps a translation look-aside buffer, TLB, with the most recent page tableentries.

The buffer is implemented using a content-addressable memory keyed by the virtualpage number.

If the page table entry is found - great!

If the page table entry is not found - access the real page table in memory.

18 / 32

Page 105: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

TLB: hardware support

The CPU keeps a translation look-aside buffer, TLB, with the most recent page tableentries.

The buffer is implemented using a content-addressable memory keyed by the virtualpage number.

If the page table entry is found - great!

If the page table entry is not found - access the real page table in memory.

18 / 32

Page 106: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

TLB: hardware support

The CPU keeps a translation look-aside buffer, TLB, with the most recent page tableentries.

The buffer is implemented using a content-addressable memory keyed by the virtualpage number.

If the page table entry is found - great!

If the page table entry is not found - access the real page table in memory.

18 / 32

Page 107: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

TLB: hardware support

The CPU keeps a translation look-aside buffer, TLB, with the most recent page tableentries.

The buffer is implemented using a content-addressable memory keyed by the virtualpage number.

If the page table entry is found - great!

If the page table entry is not found - access the real page table in memory.

18 / 32

Page 108: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Who handles a TLB miss

RISC architectureMIPS, Sparc, ARM

The hardware rises an interrupt.The operating system jumps to a traphandler.The operating system will access theTLB and update the TLB.

CISC architecturex86The hardware “knows” where to findthe page table (CR3 register).The hardware will access the pagetable and updates the TLB.

19 / 32

Page 109: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Who handles a TLB miss

RISC architectureMIPS, Sparc, ARMThe hardware rises an interrupt.

The operating system jumps to a traphandler.The operating system will access theTLB and update the TLB.

CISC architecturex86The hardware “knows” where to findthe page table (CR3 register).The hardware will access the pagetable and updates the TLB.

19 / 32

Page 110: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Who handles a TLB miss

RISC architectureMIPS, Sparc, ARMThe hardware rises an interrupt.The operating system jumps to a traphandler.

The operating system will access theTLB and update the TLB.

CISC architecturex86The hardware “knows” where to findthe page table (CR3 register).The hardware will access the pagetable and updates the TLB.

19 / 32

Page 111: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Who handles a TLB miss

RISC architectureMIPS, Sparc, ARMThe hardware rises an interrupt.The operating system jumps to a traphandler.The operating system will access theTLB and update the TLB.

CISC architecturex86The hardware “knows” where to findthe page table (CR3 register).The hardware will access the pagetable and updates the TLB.

19 / 32

Page 112: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Who handles a TLB miss

RISC architectureMIPS, Sparc, ARMThe hardware rises an interrupt.The operating system jumps to a traphandler.The operating system will access theTLB and update the TLB.

CISC architecturex86

The hardware “knows” where to findthe page table (CR3 register).The hardware will access the pagetable and updates the TLB.

19 / 32

Page 113: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Who handles a TLB miss

RISC architectureMIPS, Sparc, ARMThe hardware rises an interrupt.The operating system jumps to a traphandler.The operating system will access theTLB and update the TLB.

CISC architecturex86The hardware “knows” where to findthe page table (CR3 register).

The hardware will access the pagetable and updates the TLB.

19 / 32

Page 114: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Who handles a TLB miss

RISC architectureMIPS, Sparc, ARMThe hardware rises an interrupt.The operating system jumps to a traphandler.The operating system will access theTLB and update the TLB.

CISC architecturex86The hardware “knows” where to findthe page table (CR3 register).The hardware will access the pagetable and updates the TLB.

19 / 32

Page 115: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Process switching

What happens when we switch process?

The TLB contains the cached translations of the running process, when switchingprocess the TLB must (in general) be flushed.

Do we have to flush the whole TLB?

Is this best handled by the hardware or operating system?

Can we do pre-fetching of page table entries?

20 / 32

Page 116: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Process switching

What happens when we switch process?

The TLB contains the cached translations of the running process, when switchingprocess the TLB must (in general) be flushed.

Do we have to flush the whole TLB?

Is this best handled by the hardware or operating system?

Can we do pre-fetching of page table entries?

20 / 32

Page 117: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Process switching

What happens when we switch process?

The TLB contains the cached translations of the running process, when switchingprocess the TLB must (in general) be flushed.

Do we have to flush the whole TLB?

Is this best handled by the hardware or operating system?

Can we do pre-fetching of page table entries?

20 / 32

Page 118: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Process switching

What happens when we switch process?

The TLB contains the cached translations of the running process, when switchingprocess the TLB must (in general) be flushed.

Do we have to flush the whole TLB?

Is this best handled by the hardware or operating system?

Can we do pre-fetching of page table entries?

20 / 32

Page 119: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Process switching

What happens when we switch process?

The TLB contains the cached translations of the running process, when switchingprocess the TLB must (in general) be flushed.

Do we have to flush the whole TLB?

Is this best handled by the hardware or operating system?

Can we do pre-fetching of page table entries?

20 / 32

Page 120: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Process switching

What happens when we switch process?

The TLB contains the cached translations of the running process, when switchingprocess the TLB must (in general) be flushed.

Do we have to flush the whole TLB?

Is this best handled by the hardware or operating system?

Can we do pre-fetching of page table entries?

20 / 32

Page 121: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMU with TLB

virtual addr.

21 / 32

Page 122: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMU with TLB

virtual addr. //

21 / 32

Page 123: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMU with TLB

virtual addr. //

21 / 32

Page 124: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMU with TLB

virtual addr. //

TLB

VPN

21 / 32

Page 125: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMU with TLB

virtual addr. //

TLB

VPN

+

offset

PFNphysical address

21 / 32

Page 126: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMU with TLB

virtual addr. //

TLB

VPN

+

offset

PFNphysical address

PTBR

21 / 32

Page 127: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMU with TLB

virtual addr. //

TLB

VPN

+

offset

PFNphysical address

PTBR+

VPN

21 / 32

Page 128: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMU with TLB

virtual addr. //

TLB

VPN

+

offset

PFNphysical address

PTBR+

VPN

Page table in memory

21 / 32

Page 129: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The paging MMU with TLB

virtual addr. //

TLB

VPN

+

offset

PFNphysical address

PTBR+

VPN

Page table in memory

PTE

21 / 32

Page 130: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Size matters

Using 4 Kibyte pages (12 bits) for a 4 Gibyte address space (32 bits) will result in 1Mi(20 bits) page table entries.

Each page table entry is 4 bytes.

A page table has the size of 4 Mibyte.

Each process has its own page table.

For 100 processes we need room for 400 Mibyte of page tables.

Problem!

22 / 32

Page 131: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Size matters

Using 4 Kibyte pages (12 bits) for a 4 Gibyte address space (32 bits) will result in 1Mi(20 bits) page table entries.

Each page table entry is 4 bytes.

A page table has the size of 4 Mibyte.

Each process has its own page table.

For 100 processes we need room for 400 Mibyte of page tables.

Problem!

22 / 32

Page 132: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Size matters

Using 4 Kibyte pages (12 bits) for a 4 Gibyte address space (32 bits) will result in 1Mi(20 bits) page table entries.

Each page table entry is 4 bytes.

A page table has the size of 4 Mibyte.

Each process has its own page table.

For 100 processes we need room for 400 Mibyte of page tables.

Problem!

22 / 32

Page 133: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Size matters

Using 4 Kibyte pages (12 bits) for a 4 Gibyte address space (32 bits) will result in 1Mi(20 bits) page table entries.

Each page table entry is 4 bytes.

A page table has the size of 4 Mibyte.

Each process has its own page table.

For 100 processes we need room for 400 Mibyte of page tables.

Problem!

22 / 32

Page 134: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Size matters

Using 4 Kibyte pages (12 bits) for a 4 Gibyte address space (32 bits) will result in 1Mi(20 bits) page table entries.

Each page table entry is 4 bytes.

A page table has the size of 4 Mibyte.

Each process has its own page table.

For 100 processes we need room for 400 Mibyte of page tables.

Problem!

22 / 32

Page 135: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Size matters

Using 4 Kibyte pages (12 bits) for a 4 Gibyte address space (32 bits) will result in 1Mi(20 bits) page table entries.

Each page table entry is 4 bytes.

A page table has the size of 4 Mibyte.

Each process has its own page table.

For 100 processes we need room for 400 Mibyte of page tables.

Problem!

22 / 32

Page 136: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The solution - not.

Why not use pages of size 4 Mibyte?

Use a 22 bit offset and 10 bit virtual page number.Page table 4 Kibyte (1024 entries, 4 byte each).Case closed!

4 Mibyte pages are used and do have advantages but it is not a general solution.

23 / 32

Page 137: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The solution - not.

Why not use pages of size 4 Mibyte?Use a 22 bit offset and 10 bit virtual page number.

Page table 4 Kibyte (1024 entries, 4 byte each).Case closed!

4 Mibyte pages are used and do have advantages but it is not a general solution.

23 / 32

Page 138: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The solution - not.

Why not use pages of size 4 Mibyte?Use a 22 bit offset and 10 bit virtual page number.Page table 4 Kibyte (1024 entries, 4 byte each).

Case closed!

4 Mibyte pages are used and do have advantages but it is not a general solution.

23 / 32

Page 139: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The solution - not.

Why not use pages of size 4 Mibyte?Use a 22 bit offset and 10 bit virtual page number.Page table 4 Kibyte (1024 entries, 4 byte each).Case closed!

4 Mibyte pages are used and do have advantages but it is not a general solution.

23 / 32

Page 140: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The solution - not.

Why not use pages of size 4 Mibyte?Use a 22 bit offset and 10 bit virtual page number.Page table 4 Kibyte (1024 entries, 4 byte each).Case closed!

4 Mibyte pages are used and do have advantages but it is not a general solution.

23 / 32

Page 141: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

0x00000000 0xC0000000 0xffffffff

code(.text) data heap stack kernel

Map only the areas that are actually used.

24 / 32

Page 142: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

0x00000000 0xC0000000 0xffffffff

code(.text) data heap stack kernel

Map only the areas that are actually used.

24 / 32

Page 143: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

0x00000000 0xC0000000 0xffffffff

code(.text) data heap stack kernel

Map only the areas that are actually used.

24 / 32

Page 144: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.

31 0

25 / 32

Page 145: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.31 0seg

29

25 / 32

Page 146: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.31 0seg

2918-bit page number

12

25 / 32

Page 147: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.31 0seg

2918-bit page number

12

12-bit offset

25 / 32

Page 148: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.31 0seg

2918-bit page number

12

12-bit offset

25 / 32

Page 149: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.31 0seg

2918-bit page number

12

12-bit offset

base/bound

25 / 32

Page 150: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.31 0seg

2918-bit page number

12

12-bit offset

base/bound

bound

base

page table

25 / 32

Page 151: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.31 0seg

2918-bit page number

12

12-bit offset

base/bound

bound

base

page table

frame number

25 / 32

Page 152: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.31 0seg

2918-bit page number

12

12-bit offset

base/bound

bound

base

page table

frame number

page

25 / 32

Page 153: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Hybrid approach - paged segmented memory

What if each segment was rarely larger than 1Ki pages of 4Kibyte.31 0seg

2918-bit page number

12

12-bit offset

base/bound

bound

base

page table

frame number

page

25 / 32

Page 154: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 0

Used by Intel 80386

26 / 32

Page 155: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 010-bit directory index

22

Used by Intel 80386

26 / 32

Page 156: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 010-bit directory index

2210-bit page index

12

Used by Intel 80386

26 / 32

Page 157: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 010-bit directory index

2210-bit page index

12

12-bit offset

Used by Intel 80386

26 / 32

Page 158: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 010-bit directory index

2210-bit page index

12

12-bit offset

page directory

Used by Intel 80386

26 / 32

Page 159: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 010-bit directory index

2210-bit page index

12

12-bit offset

page directory

Used by Intel 80386

26 / 32

Page 160: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 010-bit directory index

2210-bit page index

12

12-bit offset

page directorypage table

Used by Intel 80386

26 / 32

Page 161: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 010-bit directory index

2210-bit page index

12

12-bit offset

page directorypage table

Used by Intel 80386

26 / 32

Page 162: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 010-bit directory index

2210-bit page index

12

12-bit offset

page directorypage table

page

Used by Intel 80386

26 / 32

Page 163: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Multi-level page table

31 010-bit directory index

2210-bit page index

12

12-bit offset

page directorypage table

page

Used by Intel 80386

26 / 32

Page 164: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

page directory

virtual address space

27 / 32

Page 165: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

page directory

virtual address space

27 / 32

Page 166: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

page directory

virtual address space

27 / 32

Page 167: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

page directory

virtual address space

27 / 32

Page 168: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

page directory

virtual address space

27 / 32

Page 169: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

page directory

virtual address space

27 / 32

Page 170: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Mostly empty space

page directory

virtual address space

each page table can map 4 Mibyte

27 / 32

Page 171: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

More than two levels

31 0

Scheme used in PAE, where each entry has a 24-bit physical base address. Each pagetable entry was 8 bytes whide.

Trace the translation of a 32-bit virtual address to a 36-bit physical address.

28 / 32

Page 172: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

More than two levels

31 0

2-bit page global directory index

Scheme used in PAE, where each entry has a 24-bit physical base address. Each pagetable entry was 8 bytes whide.

Trace the translation of a 32-bit virtual address to a 36-bit physical address.

28 / 32

Page 173: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

More than two levels

31 0

2-bit page global directory index

9-bit page middle directory index

29 21

Scheme used in PAE, where each entry has a 24-bit physical base address. Each pagetable entry was 8 bytes whide.

Trace the translation of a 32-bit virtual address to a 36-bit physical address.

28 / 32

Page 174: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

More than two levels

31 0

2-bit page global directory index

9-bit page middle directory index

29 21

9-bit page table index

20 12

Scheme used in PAE, where each entry has a 24-bit physical base address. Each pagetable entry was 8 bytes whide.

Trace the translation of a 32-bit virtual address to a 36-bit physical address.

28 / 32

Page 175: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

More than two levels

31 0

2-bit page global directory index

9-bit page middle directory index

29 21

9-bit page table index

20 12

12-bit offset

Scheme used in PAE, where each entry has a 24-bit physical base address. Each pagetable entry was 8 bytes whide.

Trace the translation of a 32-bit virtual address to a 36-bit physical address.

28 / 32

Page 176: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

More than two levels

31 0

2-bit page global directory index

9-bit page middle directory index

29 21

9-bit page table index

20 12

12-bit offset

Scheme used in PAE, where each entry has a 24-bit physical base address. Each pagetable entry was 8 bytes whide.

Trace the translation of a 32-bit virtual address to a 36-bit physical address.

28 / 32

Page 177: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

More than two levels

31 0

2-bit page global directory index

9-bit page middle directory index

29 21

9-bit page table index

20 12

12-bit offset

Scheme used in PAE, where each entry has a 24-bit physical base address. Each pagetable entry was 8 bytes whide.

Trace the translation of a 32-bit virtual address to a 36-bit physical address.

28 / 32

Page 178: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The x86_64 architectures

A 64-bit address but only 48-bits are used.

Bits 63-47 are either 1, kernel space, or 0, user space.The 48 bits are divided into:

9-bit page global directory index9-bit page upper directory index9-bit page lower directory index9-bit page table index12-bit offset

A page table entry is 8 bytes and contains a 40-bit physical address base address.The 40-bit base is combined with the 12-bit index to a 52-bit physical address.

Linux can only handle 64 Tbyte of RAM i.e. 46 bits.

29 / 32

Page 179: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The x86_64 architectures

A 64-bit address but only 48-bits are used.Bits 63-47 are either 1, kernel space, or 0, user space.The 48 bits are divided into:

9-bit page global directory index9-bit page upper directory index9-bit page lower directory index9-bit page table index12-bit offset

A page table entry is 8 bytes and contains a 40-bit physical address base address.

The 40-bit base is combined with the 12-bit index to a 52-bit physical address.

Linux can only handle 64 Tbyte of RAM i.e. 46 bits.

29 / 32

Page 180: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The x86_64 architectures

A 64-bit address but only 48-bits are used.Bits 63-47 are either 1, kernel space, or 0, user space.The 48 bits are divided into:

9-bit page global directory index9-bit page upper directory index9-bit page lower directory index9-bit page table index12-bit offset

A page table entry is 8 bytes and contains a 40-bit physical address base address.The 40-bit base is combined with the 12-bit index to a 52-bit physical address.

Linux can only handle 64 Tbyte of RAM i.e. 46 bits.

29 / 32

Page 181: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

The x86_64 architectures

A 64-bit address but only 48-bits are used.Bits 63-47 are either 1, kernel space, or 0, user space.The 48 bits are divided into:

9-bit page global directory index9-bit page upper directory index9-bit page lower directory index9-bit page table index12-bit offset

A page table entry is 8 bytes and contains a 40-bit physical address base address.The 40-bit base is combined with the 12-bit index to a 52-bit physical address.

Linux can only handle 64 Tbyte of RAM i.e. 46 bits.

29 / 32

Page 182: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Inverted page tables

Why not do something completely different?We will probably not have more than say 8 Gibyte of main memory.If we divide this into 4 Kibyte frames we have 2 Mi frames.Assume maintain a table with 2 Mi entries that describes which process and pagethat occupies the frame.To translating a virtual address we simply search the table (efficient if we use ahash table).Used by some models of PowerPC, Ultra Sparc and Itanium.

30 / 32

Page 183: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Inverted page tables

Why not do something completely different?

We will probably not have more than say 8 Gibyte of main memory.If we divide this into 4 Kibyte frames we have 2 Mi frames.Assume maintain a table with 2 Mi entries that describes which process and pagethat occupies the frame.To translating a virtual address we simply search the table (efficient if we use ahash table).Used by some models of PowerPC, Ultra Sparc and Itanium.

30 / 32

Page 184: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Inverted page tables

Why not do something completely different?We will probably not have more than say 8 Gibyte of main memory.

If we divide this into 4 Kibyte frames we have 2 Mi frames.Assume maintain a table with 2 Mi entries that describes which process and pagethat occupies the frame.To translating a virtual address we simply search the table (efficient if we use ahash table).Used by some models of PowerPC, Ultra Sparc and Itanium.

30 / 32

Page 185: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Inverted page tables

Why not do something completely different?We will probably not have more than say 8 Gibyte of main memory.If we divide this into 4 Kibyte frames we have 2 Mi frames.

Assume maintain a table with 2 Mi entries that describes which process and pagethat occupies the frame.To translating a virtual address we simply search the table (efficient if we use ahash table).Used by some models of PowerPC, Ultra Sparc and Itanium.

30 / 32

Page 186: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Inverted page tables

Why not do something completely different?We will probably not have more than say 8 Gibyte of main memory.If we divide this into 4 Kibyte frames we have 2 Mi frames.Assume maintain a table with 2 Mi entries that describes which process and pagethat occupies the frame.

To translating a virtual address we simply search the table (efficient if we use ahash table).Used by some models of PowerPC, Ultra Sparc and Itanium.

30 / 32

Page 187: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Inverted page tables

Why not do something completely different?We will probably not have more than say 8 Gibyte of main memory.If we divide this into 4 Kibyte frames we have 2 Mi frames.Assume maintain a table with 2 Mi entries that describes which process and pagethat occupies the frame.To translating a virtual address we simply search the table (efficient if we use ahash table).

Used by some models of PowerPC, Ultra Sparc and Itanium.

30 / 32

Page 188: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Inverted page tables

Why not do something completely different?We will probably not have more than say 8 Gibyte of main memory.If we divide this into 4 Kibyte frames we have 2 Mi frames.Assume maintain a table with 2 Mi entries that describes which process and pagethat occupies the frame.To translating a virtual address we simply search the table (efficient if we use ahash table).Used by some models of PowerPC, Ultra Sparc and Itanium.

30 / 32

Page 189: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Summary

Segmentation is not an ideal solution (why?).

Small fixed size pages is a solution.Speed of translation is a problem (what is the solution?)The size of the page table is a problem (and you know how to solve it).Inverted page tables - an alternative approach.

31 / 32

Page 190: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Summary

Segmentation is not an ideal solution (why?).Small fixed size pages is a solution.

Speed of translation is a problem (what is the solution?)The size of the page table is a problem (and you know how to solve it).Inverted page tables - an alternative approach.

31 / 32

Page 191: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Summary

Segmentation is not an ideal solution (why?).Small fixed size pages is a solution.Speed of translation is a problem (what is the solution?)

The size of the page table is a problem (and you know how to solve it).Inverted page tables - an alternative approach.

31 / 32

Page 192: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Summary

Segmentation is not an ideal solution (why?).Small fixed size pages is a solution.Speed of translation is a problem (what is the solution?)The size of the page table is a problem (and you know how to solve it).

Inverted page tables - an alternative approach.

31 / 32

Page 193: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

Summary

Segmentation is not an ideal solution (why?).Small fixed size pages is a solution.Speed of translation is a problem (what is the solution?)The size of the page table is a problem (and you know how to solve it).Inverted page tables - an alternative approach.

31 / 32

Page 194: Virtual memory - Pagingjohanmon/courses/id2206/lectures/paging.pdf · The paging MMU with TLB virtualaddr. // TLB VPN + offset PFN physicaladdress + PTBR VPN Pagetableinmemory PTE

AC/DC - TLB

TLB - dynamite, makes paging possible.32 / 32