Eventfd поддерживает счетчик uint64_t, который увеличивается каждый раз, когда он записывается, и сбрасывается в ноль (или уменьшается на 1, если используется как EFD_SEMAPHORE) каждый раз при чтении из. Можно ли заглянуть в значение внутреннего счетчика eventfd без изменения его значения?
Например, вы можете получить его в терминале с помощью команды 'cat' следующим образом, где 'eventfd-count' - это значение счетчика:
$ cat /proc/<pid>/fdinfo/<efd>
pos: 0
flags: 02
mnt_id: 10
eventfd-count: 40
Я уже могу читать из /proc/<pid>/fdinfo/<efd>
как файл и анализировать ответ, но я надеюсь, что это будет более прямой способ сделать это на реальном ресурсе eventfd fd. Это возможно?