fork() 并释放所有分配的内存

fork() and free all allocated memory

本文关键字:分配 内存 释放 fork      更新时间:2023-10-16

我正在编写一个服务(即后台进程),并希望通过共享库启动它。也就是说,想要使用该服务的人将链接到共享库,调用它的start()方法,该方法将分叉并返回。然后,分叉将运行该服务。

这种方法的问题在于,服务进程现在可能有很多实际上不需要的旧分配内存。有没有办法摆脱它并让分叉进程分配自己的东西?我当然知道exec(),但问题是

  • 我需要由于不同的操作系统文件夹布局,它可能不在我期望的位置
  • 我必须将所有潜在参数转换为字符串才能将其作为程序参数传递给 exec()。

所以基本上,我正在寻找一种方法来调用任意函数func(),其中包含一些应该在新进程中运行的参数,并且未传递到该函数中的所有内容都不应该在新进程中。有没有办法实现这一点或类似的东西?

这是一个有趣的问题,我很遗憾没有一个好的答案。我怀疑任何像 sbrk+close+munmap 这样的清理策略都能可靠地允许任何基于 libc 的代码继续运行,所以我会尝试让执行更好:

对于任何类型的基于 exec 的解决方案,您应该能够将数据深拷贝到 shm 中以传递非字符串。这应该可以解决您的第二个问题。

以下是针对您的第一个问题的一些疯狂建议:

  1. 不要:只要求可执行文件位于 PATH 或编译时目录中。

    这是透明的,并遵循 UNIX 理念。错误消息Can't find myhelper in PATH不会减慢任何人的速度。大多数依赖于帮助程序可执行文件的工具都会执行此操作,这很好。

  2. 使您的库可执行,并将其用作执行目标。你可以尝试通过某种内省来找到它的名字,也许是/proc/self/maps或任何glibc提供的东西。

  3. 如上所述,但 exec python 或者你可以合理确定存在的东西,并使用外部指针接口在你的库上运行一个函数。

  4. 作为
  5. 构建过程的一部分,编译一个微小的可执行文件,并将其作为二进制数据包含在库中。将其写入/tmp并执行。

在这些中,

我更喜欢#1的简单性和透明度,即使这是最无聊的解决方案。