慶應義塾大学
2017年度 春学期

コンピューター・アーキテクチャ
Computer Architecture

2017年度春学期 月、木曜日2時限
科目コード: 35010 / 2単位
カテゴリ:
開講場所:SFC
授業形態:講義
担当: Rodney Van Meter
E-mail: rdv@sfc.keio.ac.jp

第8回 11月30日
Lecture 8, November 30: Memory: Caching and Memory Hierarchy, Virtual Memory

Picture of the Day

Mt. Fuji and Enoshima from Kugenuma, 10/11/30

Outline of This Lecture

Review: Basic Fixed-Block Size Cache Organizations: Four Questions

Cache Performance

Above, we alluded to the change in system performance based on memory latency. The figure above and Fig. 5.28 in the text give a hint as to the typical latencies of some important memories:

This list should make it extremely clear that a cache miss results in a very large miss penalty. The average memory access time then becomes:

Avg. memory access time = Hit time +
Miss rate × Miss penalty
Let's review the MIPS pipeline that we saw last week:

The MIPS Pipeline (Fig. A.17 in the text)
In our simple model of its performance, we assumed memory could be accessed in one clock cycle, but obviously that's not true. If the pipeline stalls here waiting on main memory, worst case, performance could drop by a factor of one hundred!

Fortunately, many processors support out of order execution, which allows other instructions to complete while a load is waiting on memory, provided that there is no data hazard.

It's obvious from that high miss penalty that cache hit rates must exceed 90%, indeed, usually are above 95%. Even a small improvement in cache hit rate can make a large improvement in system performance.

Six Basic Optimizations

Okay, Why?

So far, we have taken it as more or less given that caches are desirable. But what are the technological factors that force us to use multiple levels of memory? Why not just use the fastest type for all memory?

The principle reason is that there is a direct tradeoff between size and performance: it's always easier to look through a small number of things than a large number of things when you're looking for something. In computer chips, it's also not possible to fit all of the RAM we would like to have into the same chip with the CPU, in general-purpose systems; you likely have a couple of dozen memory chips in your laptop.

In standard computer technology, too, we have the distinction of DRAM versus SRAM. DRAM is slower, but much denser, and is therefore much cheaper. SRAM is faster and more expensive. SRAM is generally used for on-chip caches. The capacity of DRAM is roughly 4-8 times that of SRAM, while SRAM is 8-16 times faster and 8-16 times more expensive.

An SRAM cell typically requires six transistors, while a DRAM cell requires only one. DRAMs are often read in bursts that fill at least one cache block.

6 transistor SRAM cell

DRAM chip architecture

The Full Memory Hierarchy

We have talked about "main memory" and "cache memory", but in reality memory is a hierarchy with a number of levels:

Ideally one would desire an indefinitely large memory capacity such that any particular...word would be immediately available...We are...forced to recognize the possibility of constructing a hierarchy of memories, each of which has greater capacity than the preceding but which is less quickly accessible.
A.W. Burks, H.H. Goldstine, and J. von Neumann,
Preliminary Discussion of the Logical Design of an Electronic Computing Instrument (1946)

Virtual Memory

Memory Map

The most important concept tool for visualizing the location of data is the memory map. Memory maps can be drawn with high addresses at the top or the bottom.

Linux
							     memory map

(Image from NCSU.)

Introduction to Virtual Memory

remapping memory remapping memory

(Images from Wikipedia.)

Finally, we come to virtual memory (仮想記録). With virtual memory, each process has its own address space. This concept is a very important instance of naming. Virtual memory (VM) provides several important capabilities:

In most modern microprocessors intended for general-purpose use, a memory management unit, or MMU, is built into the hardware. The MMU's job is to translate virtual addresses into physical addresses.

A basic example:

Fig. C.18 from H-P
Whether Windows, MacOS, or some other Unix variant, a program runs in a process, and each process has its own virtual memory space.

Page Tables

Viritual memory is usually done by dividing memory up into pages, which in Unix systems are typically, but not necessarily, four kilobytes (4KB) each. The page table is the data structure that holds the mapping from virtual to physical addresses. The page frame is the actual physical storage in memory. The basic principle of a page table:

Fig. C.22 from H-P
The simplest approach would be a large, flat page table with one entry per page. The entries are known as page table entries, or PTEs. However, this approach results in a page table that is too large to fit inside the MMU itself, meaning that it has to be in memory. In fact, for a 4GB address space, with 32-bit PTEs and 4KB pages, the page table alone is 4MB! That's big when you consider that there might be a hundred processes running on your system.

Now we're back to the question of the day: would you want a one-meter resolution map of the entire world? If not, how about a map book of the world, that tells you where to find the map book of the country, that tells you where to find the map book of the state/prefecture? Much more scalable...

The solution is multi-level page tables. As the size of the process grows, additional pages are allocated, and when they are allocated the matching part of the page table is filled in.

Fig. C.26 from H-P:
						  Opteron four-level
						  page tables
The translation from virtual to physical address must be fast. This fact argues for as much of the translation as possible to be done in hardware, but the tradeoff is more complex hardware, and more expensive process switches. Since it is not practical to put the entire page table in the MMU, the MMU includes what is called the TLB: translation lookaside buffer.

Linux Page Tables

PGD is the page global directory, in Linux terminology. PTE is page table entry, of course. PMD is page middle directory. Note the similarity to the Opteron diagram above, except that this figure shows only three levels, each supporting 512 entries per page; a patch for 64-bit systems supports the fourth level, known as the PML4 level. The software-defined use of the page tables must correspond to the hardware, and will be different on different processors, though the principle is the same.

Linux page tables

The hardware-defined page table entries and page directory entries in a 32-bit Intel (IA-32) machine:

i386 page
							    directory
							    and page
							    table entries

(Images from O'Reilly's book on Linux device drivers, and from lvsp.org.)

Putting it All Together

A hypothetical memory hierarchy, with 64-bit virtual addresses, 41-bit physical addresses, and a two-level cache. Pages are 8KB. The TLB is direct mapped, with 256 entries. The L1 cache is direct-mapped, 8KB, and the L2 cache is direct-mapped 4MB. Both use 64-byte blocks.

Fig. C.24 from H-P

宿題
Homework

No homework this week!

Next Lecture

Next week is the first of two lectures on multiprocessors.

Next lecture:

第9回 12/7
Lecture 9, 12/7: Systems: Shared-Memory Multiprocessors

Additional Information

その他