Adresa v paměti (memory address)

Příklady z praxe

1. 01

   Dva procesy, stejné číslo, jiná data

   Spustíte tentýž program dvakrát a v obou instancích si vypíšete adresu lokální proměnné. Bez zapnutého ASLR mohou obě vypsat identickou hodnotu, přesto se jejich data nikde nepotkají: virtuální adresy jsou v každém procesu přeloženy na jiné fyzické stránky. Právě proto nemá smysl posílat holou adresu mezi procesy, sdílená paměť se musí namapovat explicitně.

   #include <stdio.h>
   int main(void) {
       int x = 42;
       printf("hodnota %d, adresa %p\n", x, (void*)&x);
       return 0;
   }

2. 02

   Výplň ve struktuře kvůli zarovnání

   Struktura s jedním bajtem a jedním čtyřbajtovým intem nezabere pět bajtů, ale osm. Překladač za char doplní tři výplňové bajty, aby int začínal na adrese dělitelné čtyřmi. Přeuspořádání položek od největší k nejmenší dokáže u velkých polí struktur ušetřit desítky procent paměti.

   struct Bad  { char c; int n; };      // sizeof == 8
   struct Good { int n; char c; char d; }; // sizeof == 8, ale nese o hodnotu navic

Časté omyly

MýtusKdyž si vypíšu adresu proměnné, vidím, kde přesně leží v RAM.

Ve skutečnostiVýpis ukazuje virtuální adresu procesu. Skutečnou fyzickou pozici zná jen jádro a stránkovací jednotka a ta se navíc může za běhu změnit, například při odložení stránky na disk.

Mýtus64bitový procesor umí adresovat 16 exbibajtů paměti.

Ve skutečnostiTeoretický rozsah 2^64 sice existuje, ale běžné implementace x86-64 dekódují jen 48 nebo 57 nejnižších bitů. Zbytek adresy musí mít předepsaný tvar, jinak jde o neplatnou adresu a přístup skončí výjimkou.

MýtusUkazatel a adresa jsou totéž.

Ve skutečnostiAdresa je samotné číslo, ukazatel je typovaná proměnná, která toto číslo obsahuje. Typ rozhoduje o počtu čtených bajtů i o kroku ukazatelové aritmetiky, takže posun o jedničku znamená u int čtyři bajty, u char jeden.

Časté dotazy

Proč se adresa v paměti zapisuje šestnáctkově?

Adresa v paměti se zapisuje šestnáctkově proto, že jedna hexadecimální číslice odpovídá přesně čtyřem bitům. Osmimístné hexadecimální číslo tak reprezentuje 32bitovou adresu bez zbytku a hranice stránek či zarovnání jsou v takovém zápisu vidět na první pohled: adresa končící nulami je zarovnaná na mocninu dvou. Desítkový zápis by tuto strukturu zamaskoval a binární by byl pro člověka nečitelně dlouhý. Ladicí nástroje, disassemblery i výpisy jádra proto používají hexadecimální formát jednotně.

Mění se adresa proměnné mezi jednotlivými spuštěními programu?

Adresy se mezi spuštěními zpravidla mění, protože moderní operační systémy používají ASLR, tedy náhodné rozmístění adresního prostoru. Zásobník, halda i sdílené knihovny dostanou při každém startu jiný základ, takže vypsaná adresa lokální proměnné bude pokaždé odlišná. Cílem je ztížit útoky, které potřebují předem znát cílovou adresu. Vypnout ASLR lze pro účely ladění, ale spoléhat na konkrétní číselnou hodnotu adresy v produkčním kódu je vždy chyba.

K čemu je adresa v paměti dobrá programátorovi v jazyce bez ukazatelů?

I v jazycích jako Java, C# nebo Python pomáhá znalost adres pochopit chování programu. Reference jsou pod kapotou adresy, takže porovnání dvou objektů operátorem identity srovnává právě jejich umístění v paměti. Stejně tak vysvětluje, proč změna objektu předaného do funkce je venku vidět, proč velké kolekce zatěžují cache a proč je sekvenční průchod polem rychlejší než skákání po zřetězeném seznamu. Adresy tedy nezmizely, jen je runtime spravuje za vás.

Co se stane při přístupu na neplatnou adresu v paměti?

Přístup na adresu, která není v procesu namapovaná, vyvolá stránkovou výjimku. Jádro zjistí, že pro danou virtuální adresu neexistuje platný záznam ve stránkových tabulkách, a proces ukončí signálem SIGSEGV, na Windows chybou access violation. Typickou příčinou je dereference nulového nebo již uvolněného ukazatele, čtení za koncem pole nebo zápis do oblasti jen pro čtení. Ladicí nástroje jako AddressSanitizer nebo Valgrind takové přístupy odhalí dřív, než dojde k pádu v produkci.

Zdroje

1. Memory address(otevře se v novém okně)Wikipedia
2. Virtual Memory(otevře se v novém okně)The Linux Kernel documentation
3. Pointers and memory(otevře se v novém okně)MDN Web Docs
4. Virtual address space(otevře se v novém okně)Microsoft Learn

Související pojmy

• AndroidAndroid je operační systém postavený nad linuxovým jádrem, který vyvíjí Google a otevřeně uvolňuje jako projekt AOSP. Android pohání převážnou většinu chytrých telefonů, dále tablety, televize, hodinky i palubní systémy aut. Aplikace se pro něj píší hlavně v Kotlinu nebo Javě a distribuují přes Google Play i alternativní obchody.
• Bit a byteBit a byte znamená dvojici základních jednotek digitálních dat: bit vyjadřuje jednu binární hodnotu 0 nebo 1, zatímco byte je skupina osmi bitů používaná jako praktická jednotka paměti a souborů. Rozdíl je důležitý při počítání kapacity, síťové rychlosti, kódování textu i práci s nízkoúrovňovými daty.
• Booleovské operaceBooleovské operace jsou logické operace nad hodnotami pravda a nepravda, především AND (konjunkce), OR (disjunkce), NOT (negace) a XOR (nonekvivalence). Tvoří základ Booleovy algebry, řídí podmínky v programovacím kódu, filtry ve vyhledávání i klauzuli WHERE v SQL a na úrovni hardwaru je realizují logická hradla procesoru.
• ACIDACID je sada čtyř vlastností databázové transakce: atomicity, consistency, isolation a durability. Zaručuje, že skupina zápisů proběhne jako jeden celek, neporuší definovaná pravidla databáze, nebude se nebezpečně míchat s jinými transakcemi a po potvrzení přežije pád systému, například při převodu peněz.
• Adaptive IconAdaptivní ikona je formát ikony aplikace na Androidu, který se místo jedné hotové bitmapy skládá z oddělených vrstev: pozadí a popředí. Systém výsledný tvar sám ořízne podle masky výrobce zařízení a může vrstvy animovat nebo přebarvit. Vývojář tak dodá jeden zdroj a launcher z něj vytvoří kruh, čtverec i squircle.
• AI agentAI agent je softwarový systém, který pomocí modelu umělé inteligence vnímá zadaný kontext, plánuje další kroky a samostatně volá nástroje nebo služby k dosažení cíle. Na rozdíl od jednorázového promptu udržuje stav úlohy, vyhodnocuje výsledky akcí a může opakovat postup, dokud nesplní zadání nebo nenarazí na limit.
• APIAPI je smluvené rozhraní, přes které spolu dva programy komunikují, aniž by jeden musel znát vnitřní fungování druhého. Definuje, jaké operace lze volat, jaká data se posílají a co se vrátí zpět.
• Autorské právo k softwareAutorské právo k software je právní ochrana počítačového programu jako autorského díla, zejména jeho zdrojového a objektového kódu. Nechrání samotné nápady, algoritmické principy ani funkce jako takové, ale konkrétní tvůrčí vyjádření programu. V praxi rozhoduje o tom, kdo smí software kopírovat, upravovat, šířit nebo licencovat.