操作系统在单一的物理内存为多个运行的进程(所有进程共享内存)构建一个私有的,很大的地址空间的抽象。
早期系统
(举例,操作系统不一定从物理地址0开始)
多到程序和时分共享
一个进程单独占用全部内存运行一小段时间,然后停止它,并将它所有的状态信息保存在磁盘上(包含所有的物理内存),加载其他进程的状态信息,再运行一段时间,这就实现了某种比较粗糙的机器共享。
缺点:
当内存增长时,将全部内存信息保存到磁盘上太慢了。
改进:在进程切换时,我们仍将进程信息放在内存中。
地址空间
目的:保护进程,使一个进程不会被另一个进程干扰。
操作系统提供的一个易用的物理内存抽象,叫做地址空间。
我们描述地址空间时,所描述的是操作系统提供给运行程序的抽象。即我们能见到的地址都是虚拟地址,物理地址只有操作系统和硬件知道。
虚拟化内存的目标
(1)透明:
我们通常认为 “变得透明”意味着把所有事情都公之于众。在这里,“变得透明”意味着 相反的情况:操作系统提供的假象(实现虚拟内存的方式)不应该被应用程序看破。
程序不应该感知到内存被虚拟化的事实,就好像它拥有自己的私有物理内存。
(2)效率:
不必赘述。
(3)保护:
进程不受其他进程影响。
内存操作API
内存类型:运行C语言程序时,会分配两种类型的内存。
栈内存:申请和释放由编译器隐式管理,亦称为自动内存。
当退出函数时,x的内存也被释放。
堆内存:申请和释放由程序员显式完成,满足长期内存的需求。
在堆上申请一个整数的空间,函数返回一个地址存储在栈上。
malloc()和free()调用
malloc返回的值是一个void类型的指针,需要程序员手动强制转换为其他类型。
为一个字符串声明空间时,常用malloc(strlen(s)+1)而不是sizeof()。
free略过。
常见错误
忘记分配内存
正确做法:
没有分配足够内存
也叫做“缓冲区溢出”
忘记初始化分配的内存
程序会遇到未初始化的读取,读取到一些未知值。
忘记释放内存
用完之前释放内存
这种错误称为“悬挂指针”。
可能导致程序崩溃,或者在free()之后malloc()有可能覆盖有效内存。
反复释放内存
未定义行为。
错误地调用free()
传一些和之前malloc不符合的值,导致崩溃。
为什么在你的进程退出时没有内存泄漏?
系统中存在两级内存管理。
第一级由操作系统执行,它在进程运行时将内存交给进程,并在其退出时回收。
第二级由进程执行,例如调用malloc()和free()。
所以无论地址空间中堆的情况如何,操作系统都会在进程退出时将内存回收。