• Curs 06 - Memoria virtuală (vizualizare Prezi)
• Curs 06 - Memoria virtuală (PDF)

• Suport curs
  • Operating Systems Concepts Essentials
    • Capitolul 8 - Virtual Memory
  • Modern Operating Systems
    • Capitolul 4 - Memory Management
      • Secțiunile 4.4, 4.5

Pentru parcurgerea demo-urilor, folosim arhiva aferentă. Demo-urile rulează pe Linux. Descărcăm arhiva folosind comanda

wget http://elf.cs.pub.ro/so/res/cursuri/curs-06-demo.zip

și apoi decomprimăm arhiva

unzip curs-06-demo.zip

și accesăm directorul rezultat în urma decomprimării

cd curs-06-demo/

Acum putem parcurge secțiunile cu demo-uri de mai jos.

Dorim să investigăm modul în care se alocă variabilele într-un executabil. Pentru aceasta accesăm subdirectorul exec-vars/; urmărim conținutul fișierului exec-vars.c. În acest fișier definim/alocăm variabile în diverse forme: dinamic, static, global. Vrem să vedem cum sunt acestea alocate în executabil și în proces.

Compilăm programul folosind make.

Investigăm zonele de memorie din executabil în care sunt salvate variabilele, folosind comanda

objdump -t addr-space | grep var

De ce apar doar unele variabile?

Ce semnfică l și g în output-ul obținut?

Pentru a afișa conținutul zonei .rodata folosind comanda

readelf -x .rodata addr-space

Secțiunea .rodata conține variabile read-only, în cazul de față literalul rulz. Literalii și constantele se stocează în secțiunea .rodata a unui executabil.

Vrem să vizualizăm spațiul virtual de adrese al unui proces. Pentru aceasta, accesăm subdirectorul pmap; urmărim conținutul fișierului pmap.c; facem mapări (folosind apelul mmap) folosind diverse flag-uri.

Compilăm programul folosind make și apoi îl rulăm:

./pmap

Într-o altă consolă urmărim schimbările din spațiul virtual de adrese al procesului creat folosind comanda

watch -d pmap $(pidof pmap)

Comanda de mai sus urmărește spațiul virtual de adrese. Ca să generăm schimbări în spațiul virtual de adrese, apăsăm ENTER în consola în care rulează programul pentru a continua pașii din cod.

Urmărim modificările care apar în urma diferitelor tipuri de mapare din cod. Observăm că se mapează câte o singură pagină; la fiecare operație de mapare spațiul total crește cu 4K, iar la fiecare operație de demapare spațiul total scade cu 4K. Observăm că în cazul mapării partajate permisiunile sunt rw-s; s înseamnă shared. Tot în cazul memoriei partajate apare mapat dispozitivul /dev/zero, unul dintre modurile uzuale de a face mapare partajată.

De ce unele biblioteci sunt mapate cu permisiuni de scriere?

Vrem să urmărim modul în care se alocă memorie virtuală în spațiul virtual de adrese al unui proces. Pentru aceasta, accesăm subdirectorul allocation; urmărim conținutul fișierului allocation.c; în cadrul fișierului se fac alocări de memorie virtuală folosind pe rând apelul malloc și apelul mmap.

Compilăm fișierul folosind comanda make.

Deschidem o consolă nouă și rulăm în cele două console astfel:

• Într-o consolă rulăm executabilul aferent:

  ./allocation

• Într-o altă consolă vizualizăm dimensiunea spațiului fizic ocupat și a a spatiului virtual ocupat, folosind comanda

  watch -n 1 ps -o pid,rss,vsz,cmd -p $(pidof allocation)

Observați cum crește dimensiunea spațiului fizic și a spatiului virtual în cazul folosirii malloc și doar a spațiului virtual folosind mmap.

Pentru a explica acest comportament, rulăm executabilul prin strace:

strace ./allocation

Observăm că în cazul funcției de bibliotecă malloc se realizează apelul de sistem brk, în timp ce în cazul funcției de bibliotecă mmap se realizează apelul de sistem mmap. Apelul de sistem mmap alocă doar memorie virtuală.

Observăm de asemenea, că se realizează un număr redus de apeluri de sistem brk raportat la cele 1024 de apeluri de bibliotecă malloc. Un apel brk alocă un pool mai mare de memorie care va fi apoi folosit la apeluri viitoare malloc; realizează o prealocare.

Pentru a vedea comportamentului funcției de bibliotecă mallooc, actualizăm codul astfel încât malloc să aloce, la fel ca mmap calupuri de 1MB de memorie. Adică bucla for aferentă să arate așa:

	for (cnt = 0; cnt < NUM_ROUNDS; cnt++) {
		puts("Using malloc to allocate 1024 sets of 1024 bytes.");
		p = malloc(1024*1024);
		DIE(p == NULL, "malloc");
		sleep(2);
	}

Compilăm noua sursă folosind comanda make. La fel ca mai devreme rulăm executabilul într-o consolă și comanda de vizualizare în altă consolă. Observăm că acum atât funcția de bibliotecă malloc, cât și funcția de bibliotecă mmap alocă doar memorie virtuală.

Folosim în continuare strace pentru a investiga:

strace ./allocation

Observăm că acum și funcția de bibliotecă malloc folosește în spate tot apelul de sistem mmap. Acesta alocă doar memorie virtuală de unde și comportamentul. De la un valoare dată, alocarea cu malloc folosește apelul de sistem mmap.

       Normally, malloc() allocates memory from the heap, and adjusts the
       size of the heap as required, using sbrk(2).  When allocating blocks
       of memory larger than MMAP_THRESHOLD bytes, the glibc malloc()
       implementation allocates the memory as a private anonymous mapping
       using mmap(2).  MMAP_THRESHOLD is 128 kB by default, but is
       adjustable using mallopt(3).  Allocations performed using mmap(2) are
       unaffected by the RLIMIT_DATA resource limit (see getrlimit(2)).

Vrem să vizualizăm spațiul virtual de adrese al unui proces. Pentru aceasta, accesăm subdirectorul pmap; urmărim conținutul fișierului pmap.c; facem mapări (folosind apelul mmap) folosind diverse flag-uri.

• Intrați în directorul 4-demand-paging/.
• Consultați fișierul demand-paging.c.
• Compilați sursele folosind comanda make.
• Deschideți o consolă nouă.
• Într-o consolă rulați executabilul aferent:

  ./demand-paging

• Într-o altă consolă vizualizați dimensiunea spațiului fizic ocupat și a a spatiului virtual ocupat, folosind comanda:

  watch -n 1 ps -o pid,rss,vsz,cmd -p $(pidof demand-paging)

• Observați cum crește dimensiunea spațiului spatiului virtual fără a crește dimensiunea spațiului fizic în prima parte.
  • Observați cum crește dimensiunea spațiului fizic în a doua parte (fără a crește dimensiunea spațiului virtual).
• Într-o consolă rulați executabilul aferent:

  ./demand-paging

• Într-o altă consolă vizualizați numărul de page fault-uri generate de program (min_flt este coloana de interes, maj_flt este pentru interacțiuni cu discul – swapping):

  watch -n 1 ps -o pid,min_flt,maj_flt,cmd -p $(pidof demand-paging)

• Observați cum nu există page fault-uri în prima pare a rulării programului.
  • Observați cum există page fault-uri în a doua parte a rulării programului.
  • Câte page fault-uri sunt generate la o “trecere prin chunk”? De ce?

Vrem să vizualizăm spațiul virtual de adrese al unui proces. Pentru aceasta, accesăm subdirectorul pmap; urmărim conținutul fișierului pmap.c; facem mapări (folosind apelul mmap) folosind diverse flag-uri.

• Intrați în directorul 5-fork-faults/.
• Consultați fișierului fork-faults.c.
• Câte page-fault-uri credeți că se realizează la rulare?
• Compilați fișierul.
• Rulați programul fork-faults.
• Folosiți ENTER pentru a continua programul, dar după rularea pidstat (vedeți mai jos).
• Pe un alt terminal sau tab de terminal folosiți utilitarul pidstat din pachetul sysstat care permite monitorizarea page fault-urilor unui proces (prin intermediul argumentului -r).
  • Dacă nu merge comanda pidstat trebuie să instalați pachetul sysstat folosind comanda:

    apt-get install sysstat

• Folosiți comanda

  pidstat -r -T ALL -p $(pidof fork-faults) 5 100

  pentru a urmări page fault-urile.

  • Comanda de mai sus vă afișează câte un mesaj la fiecare 5 secunde. Sincronizați apăsarea tastei ENTER cu afișajul comenzii pidstat.
• Urmăriți evoluția numărului de page fault-uri pentru cele două procese: părinte și copil.
  • Page fault-urile care apar în cazul unui copy-on-write în procesul copil vor fi vizibile ulterior și în procesul părinte.