作者:1小柱子8_814 | 来源:互联网 | 2022-11-28 17:41
我曾经相信它确实存在但是...我无法明确说明它.
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()
?
前者简单得多.但是为了让前者感到轻松,我想在明确提到的文档中找到它,这不是一个错误,这样做是安全的.正如我所说的那样,事实上,文档明确提到了一些肯定会被清理的保证,但没有提到这个特定的保证让我感到不安.(这不是最常见和最明显的案例吗?首先不会提到这个吗?)
1> usr..:
这种"释放"是在内核级别完成的.所以你不太可能在POSIX API或C规范中找到任何直接的东西,因为虚拟内存很好地"低于"它们.所以你很难找到任何相关的东西 - 更不用说保证了.
在Linux上,内核在进程退出(sbrk和mmap)上回收内存,这是有保证的.请参阅mm的源代码.
当图书馆通话失败时,我是否可以退出?
是.这样做很好.
但请注意,您可能需要考虑其他注意事项,例如未清理的临时文件,打开的数据库/网络连接等.例如,如果您的程序打开并退出数据库连接,则服务器端可能不知道何时关闭连接.
您可以阅读有关虚拟内存管理器的更多信息(它基于较旧的内核,但这个想法仍然适用).
2> zwol..:
我确信POSIX委员会打算将所有分配的内存malloc
释放为_exit
您链接到的规范中列出的"进程终止的后果"之一.我还可以告诉你,在实践中我曾经使用的每一个Unix实现都已经完成了.
但是,我认为您已经在规格中找到了真正的缺陷.POSIX没有说出分配的内存sbrk
,因为它根本没有指定sbrk
.它的规范malloc
或多或少地逐字逐句地从C标准中获取,并且C标准故意不会说所有分配的内存malloc
应该在"正常终止"时解除分配,因为存在不这样做的嵌入式环境.而且,正如你所指出的,"在这个过程中创建的内存映射"可以被理解为只适用于直接进行的分配mmap
,shmat
以及类似.可能值得向奥斯汀集团提交解释请求.