Нет, это не строгое подмножество. Это даже не подмножество.
Вот демонстрация на настольном ПК с основным дистрибутивом GNU / Linux без каких-либо настроек, которые должны повлиять на результат, что в sysfs
присутствует по крайней мере один элемент данных, которого нет в procfs
:
$ grep -ir `cat /sys/block/sda/device/model | cut -f1 -d' '` /sys 2>/dev/null
/sys/devices/pci0000:00/0000:00:1f.2/ata3/host2/target2:0:0/2:0:0:0/model:SanDisk [...]
Binary file /sys/devices/pci0000:00/0000:00:1f.2/ata3/host2/target2:0:0/2:0:0:0/vpd_pg83 matches
$ grep -ir `cat /sys/block/sda/device/model | cut -f1 -d' '` /proc 2>/dev/null
Binary file /proc/26887/task/26887/cmdline matches
Binary file /proc/26887/cmdline matches
Кстати, это также демонстрирует, что по крайней мере на этом ПК набор всех данных, предоставляемых procfs
, не является подмножеством данных, предоставляемых sysfs
.
Sysfs вовсе не является подмножеством procfs. Они служат разным целям, см. ответы на В чем разница между procfs и sysfs?.