Powinieneś przeczytać dmesgwartości „Pamięć Akb / Bkb dostępna” jako:
Obecnie dostępna jest opcja A, a najwyższa liczba ramek strony w systemie pomnożona przez rozmiar strony to B.
To jest z arch/x86/mm/init_64.c:
printk(KERN_INFO "Memory: %luk/%luk available (%ldk kernel code, "
"%ldk absent, %ldk reserved, %ldk data, %ldk init)\n",
nr_free_pages() << (PAGE_SHIFT-10),
max_pfn << (PAGE_SHIFT-10),
codesize >> 10,
absent_pages << (PAGE_SHIFT-10),
reservedpages << (PAGE_SHIFT-10),
datasize >> 10,
initsize >> 10);
nr_free_pages()zwraca ilość pamięci fizycznej zarządzanej przez jądro, która nie jest aktualnie używana. max_pfnto najwyższy numer ramki strony ( PAGE_SHIFTshift konwertuje to na kb). Najwyższa liczba ramek strony może być (znacznie) wyższa niż można by się spodziewać - mapowanie pamięci wykonane przez BIOS może zawierać dziury.
Ile zajmują te dziury jest śledzone przez absent_pageszmienną wyświetlaną jako kB absent. To powinno wyjaśnić większość różnic między drugą liczbą w „dostępnym” wyjściu a rzeczywistą zainstalowaną pamięcią RAM.
Można grep dla BIOS-e820w dmesg„zobaczyć” te otwory. Mapa pamięci jest tam wyświetlana (bezpośrednio u góry dmesgwyjścia po uruchomieniu). Powinieneś być w stanie zobaczyć pod jakim fizycznym adresem masz rzeczywistą, użyteczną pamięć RAM.
(Inne dziwactwa x86 i zarezerwowane obszary pamięci prawdopodobnie odpowiadają za resztę - nie znam tam szczegółów).
MemTotalin /proc/meminfowskazuje, że pamięć RAM jest dostępna do użycia. Na samym końcu sekwencji rozruchowej jądro uwalnia initdane, których już nie potrzebuje, więc zgłaszana wartość /proc/meminfomoże być nieco wyższa niż to, co jądro drukuje podczas początkowych części sekwencji rozruchowej.
( meminfoużywa pośrednio totalram_pagesdo tego wyświetlania. W przypadku x86_64 jest to również obliczane, arch/x86/mm/init_64.cza pomocą free_all_bootmem()którego samo dotyczy mm/bootmem.cjąder innych niż NUMA).
