☰

Como encontrar arquivo/dispositivo com base no ID do recurso no Linux?

tag-icon • tag-icon linux file-descriptors
Como encontrar arquivo/dispositivo com base no ID do recurso no Linux?

Em um sistema Gentoo Linux, estou imprimindo o valor de um descritor de arquivo de dentro de um script PHP, produzindo a seguinte saída:

Resource id #1234

Como encontrar o arquivo/dispositivo correspondente com esse ID de recurso?

Responder1

Supondo que o número seja de fato o descritor de arquivo Unix, você pode descobrir usando

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

onde em vez de $PIDvocê inserir o PID do processo PHP (que você pode obter, por exemplo, usando ps). Por exemplo, em uma festa interativa eu ​​consigo

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

( $$é o PID do shell atual no bash) a saída

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

me dizendo que o descritor de arquivo 0(que é stdin) se refere ao arquivo /dev/pts/4(que é o dispositivo pseudo-terminal no qual o shell está sendo executado).

informação relacionada