Lecture Notes for Operating Systems

Virtual Memory and Paging, 11 November 2004


Big Programs, Small Storage

Big Programs

Big Addresses

a chopped program

  • The program still has addresses from N up.

  • Solve this problem with reverse relocation.

Reverse Relocation

Overlay Management

Overlays

Virtual Memory

Paging

Pages

Virtual Memory

Virtual Addresses

VA Structure

Memory Management Unit

Translation Look-Aside Buffer

TLB Example

Inverted Page Tables

Page Replacement

LRU Replacement

Design Issues

  • working set model

    local vs. global page allocations

    page size

    The Memory-Management Interface

    Overlay addressing

    Relative Addressing and Relocation

    Relocation Registers

    Relocating Virtual Addresses

    The Virtual Relocation Calcuation

    Virtual Memory Structure

    Virtual Address Structure

    The Page-Page Frame Mapping

    Page-Table Hardware

    Page Table Size

    Segmented Page Tables

    Hierarchal Page Tables

    The Translation Look-Aside Buffer

    Inverted Page Tables

    Page Replacement

    Random Page Replacement

    Optimal Page Replacement

    Least-Recently Used Replacement

    Estimating LRU Replacement

    Second-Chance Queueing

    Clock replacement

    Paging

    Paging Areas

    Page-Frame Allocation

    Static vs. Dynamic Allocation


    This page last modified on 19 November 2004.