Linux是否保证在程序退出时释放malloc'd不同的内存？

Question

我曾经相信它确实存在但是...我无法明确说明它.

man 3 exit并man 2 _exit详细说明了进程终止的影响,但没有提到内存泄漏.

Posix走近了:它提到了这个:

• 在进程被销毁之前,应该在进程中创建的内存映射取消映射.

• [TYM] [Option Start]在调用进程中映射的任何类型内存块都应取消映射,就像munmap()隐式调用它们取消映射它们一样.[选项结束]

混合这个man 3 malloc:

通常,malloc()从堆中分配内存,并根据需要使用调整堆的大小sbrk(2).当分配大于MMAP_THRESHOLD字节的内存块时,glibc malloc()实现将内存分配为私有匿名映射使用mmap(2).

因此,我们可以得出结论,如果malloc调用,mmap则进程终止可能会进行相应的调用munmap,但是......(a)此POSIX规范中的这个"可选功能"标记令人担忧,(b)这是mmap怎么回事sbrk？(c)Linux不是100%符合POSIX,所以我不确定是否强制将Linux文档与Posix规范混合使用

我问的原因是这个......当图书馆通话失败时,我是否可以退出？

if(somecall() == -1) {
    error(EXIT_FAILURE, errno, "Big fat nasty error.\n");
}

还是我上去栈确保一切都一路攀升到main()是free()"d和来电exit或error在main()？

前者简单得多.但是为了让前者感到轻松,我想在明确提到的文档中找到它,这不是一个错误,这样做是安全的.正如我所说的那样,事实上,文档明确提到了一些肯定会被清理的保证,但没有提到这个特定的保证让我感到不安.(这不是最常见和最明显的案例吗？首先不会提到这个吗？)

Answer 1

这种"释放"是在内核级别完成的.所以你不太可能在POSIX API或C规范中找到任何直接的东西,因为虚拟内存很好地"低于"它们.所以你很难找到任何相关的东西 - 更不用说保证了.

在Linux上,内核在进程退出(sbrk和mmap)上回收内存,这是有保证的.请参阅mm的源代码.

当图书馆通话失败时,我是否可以退出？

是.这样做很好.

但请注意,您可能需要考虑其他注意事项,例如未清理的临时文件,打开的数据库/网络连接等.例如,如果您的程序打开并退出数据库连接,则服务器端可能不知道何时关闭连接.

您可以阅读有关虚拟内存管理器的更多信息(它基于较旧的内核,但这个想法仍然适用).

Answer 2

我确信POSIX委员会打算将所有分配的内存malloc释放为_exit您链接到的规范中列出的"进程终止的后果"之一.我还可以告诉你,在实践中我曾经使用的每一个Unix实现都已经完成了.

但是,我认为您已经在规格中找到了真正的缺陷.POSIX没有说出分配的内存sbrk,因为它根本没有指定sbrk.它的规范malloc或多或少地逐字逐句地从C标准中获取,并且C标准故意不会说所有分配的内存malloc应该在"正常终止"时解除分配,因为存在不这样做的嵌入式环境.而且,正如你所指出的,"在这个过程中创建的内存映射"可以被理解为只适用于直接进行的分配mmap,shmat以及类似.可能值得向奥斯汀集团提交解释请求.