如何在 Linux 上根据资源 ID 查找文件/设备？

Question

在 gentoo Linux 系统上，我从 PHP 脚本中打印文件描述符的值，产生以下输出：

Resource id #1234

如何根据给定的资源ID找到相应的文件/设备？

Answer 1

假设该数字确实是 Unix 文件描述符，您可以使用

ls -l /proc/$PID/fd/1234

在其中$PID插入 PHP 进程的 PID（例如，您可以使用 获取ps）。例如，在交互式bash中我得到了

ls -l /proc/$$/fd/0

（$$是 bash 中当前 shell 的 PID）输出

lrwx------ 1 ******** ******** 64 Okt 16 14:24 /proc/21239/fd/0 -> /dev/pts/4

告诉我文件描述符0（即标准输入）引用文件/dev/pts/4（即 shell 正在其上运行的伪终端设备）。