LinuxでリソースIDに基づいてファイル/デバイスを見つける方法は?

LinuxでリソースIDに基づいてファイル/デバイスを見つける方法は?

Gentoo Linuxシステムでは、PHPスクリプトからファイル記述子の値を印刷します。これにより、次のような結果が得られます。

Resource id #1234

与えられたリソースIDに基づいてそのファイル/デバイスを見つける方法は?

答え1

その数が実際にUnixファイル記述子であると仮定すると、次のようになります。

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

ここにPHPプロセスのPIDを挿入します$PID(例:getを使用できますps)。たとえば、インタラクティブ bash では次のようになります。

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

$$bashの現在のシェルのPIDです)出力

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

ファイル記述子0(つまり、標準入力)がファイル/dev/pts/4(つまり、シェルが実行されている擬似端末装置)を参照していることを知らせます。

関連情報