aviro's questions

众所周知，在运行时bash -c "COMMAND"（至少在 Linux 的常见版本中），当有一个命令不带任何元字符（空格、制表符或换行符除外）时，bash -c进程不会分叉，而是通过COMMAND直接使用execve系统调用执行来替换自身为了优化，所以结果只会是一个过程。

$ pid=$$; bash -c "pstree -p $pid"
bash(5285)───pstree(14314)

如果存在任何元字符（例如重定向）或多个命令（无论如何都需要一个元字符），bash则会分叉它执行的每个命令。

$ pid=$$; bash -c ":; pstree -p $pid"
bash(5285)───bash(28769)───pstree(28770)

$ pid=$$; bash -c "pstree -p $pid 2>/dev/null"
bash(5285)───bash(14403)───pstree(14404)

这是一个未记录的优化功能（这意味着它不受保证），还是在某处记录并有保证？

注意：我认为并非所有版本的bash行为都是如此，并且在某些版本上，它只是被视为实现细节而不是保证，但我想知道是否至少有一些bash版本明确支持这一点并记录条件为了这。例如，如果;命令后面有一个字符，没有任何第二个命令，bash仍然execve不会分叉。

$ pid=$$; bash -c "pstree -p $pid ; "
bash(17516)───pstree(17658)

我的问题的背景

正如我所提到的，这种行为对于有经验的用户来说是众所周知的^{1 2}bash，而且我已经熟悉它很长时间了。

几天前，我在Interactive bash shell 中遇到了以下评论：通过命令行选项设置工作目录，其中 @dave_thompson_085 写道：

bash自动执行（即用其替换自身）最后一个（或唯一的）命令-c。

我回答说，只有当只有一个命令时，这才是正确的。但后来我想知道：是否有某些版本的bash最后一个命令可能是 execed 而不是 fork，即使它之前有另一个命令？一般来说，这种行为是否有保证？某些版本是否bash在源代码之外公开（并详细说明）此功能？

其他参考资料

• ¹为什么简单的 bash 命令中没有明显的克隆或分叉以及它是如何完成的？
• ²为什么 bash 不为简单命令生成子 shell？

/proc/sys/kernel/pid_max我明白和之间的区别/proc/sys/kernel/threads-max。在理解 pid_max, ulimit -u 和 thread_max 之间的差异的答案中有一个很好的解释 ：

/proc/sys/kernel/pid_max与任何给定时间可以运行的最大进程数无关。事实上，它是内核可以分配的最大数字进程标识符。

在Linux内核中，进程和线程是同一回事。内核以相同的方式处理它们。它们都占用task_struct数据结构中的一个槽。按照常见术语，线程是 Linux 中与另一个进程共享资源的进程（它们还将共享线程组 ID）。就调度程序而言，Linux 内核中的线程很大程度上是一个概念构造。

既然您了解内核在很大程度上不区分线程和进程，那么 /proc/sys/kernel/threads-max实际上是数据结构 task_struct 中包含的最大元素数应该更有意义。这是包含进程列表（或者可以称为任务列表）的数据结构。

然而，实际上，两者都限制了主机上并发线程的最大数量。pid_max据我了解，这个数字将是和的最小值threads-max。那么为什么两者都需要呢？

据我所知，默认值pid_max是基于机器可能的CPU数量threads-max，而默认值是从页数得出的。但既然两者具有相同的效果，Linux 就不能只有一个值是两者中的最小值吗？

假设 Linux 内核没有换出我的进程的内存页面，我可以假设它们在 RAM 中的物理位置不会改变，还是内核可能会移动它们？

我问的原因是我正在考虑从头开始编写自己memtester的，并且我想知道新分配的页面是否可能位于该进程之前已经测试过的 RAM 中的相同物理位置。