Auf einem Gentoo-Linux-System drucke ich den Wert eines Dateideskriptors aus einem PHP-Skript aus und erhalte die folgende Ausgabe:
Resource id #1234
Wie finde ich die entsprechende Datei/das entsprechende Gerät anhand dieser Ressourcen-ID?
Antwort1
Vorausgesetzt, die Nummer ist tatsächlich der Unix-Dateideskriptor, können Sie dies herausfinden mit
ls -l /proc/$PID/fd/1234
wo Sie stattdessen $PIDdie PID des PHP-Prozesses eingeben (die Sie z. B. mit erhalten können ps). In einer interaktiven Bash erhalte ich z. B. mit
ls -l /proc/$$/fd/0
( $$ist die PID der aktuellen Shell in bash) die Ausgabe
lrwx------ 1 ******** ******** 64 Okt 16 14:24 /proc/21239/fd/0 -> /dev/pts/4
und sagt mir, dass der Dateideskriptor 0(stdin) auf die Datei verweist /dev/pts/4(das ist das Pseudoterminalgerät, auf dem die Shell läuft).