неверный результат демонстрации man-страницы futex - PullRequest
Новая
       42

неверный результат демонстрации man-страницы futex

0 голосов
/ 07 января 2020

Страница man futex предоставляет простую демонстрацию, но я не могу получить результат, как описано на странице, результат на моем компьютере тупиковый (linux 5.2.1); родительский процесс не пробуждается дочерним процессом. Неправильная страница справки?

Пример вывода на мою машину: 

[root@archlinux ~]# ./a.out
Child  (12877) 0
Parent (12876) 0
Child  (12877) 1
// block here

моя система: 

[root@archlinux ~]# uname -a
Linux archlinux 5.2.1-arch1-1-ARCH #1 SMP PREEMPT Sun Jul 14 14:52:52 UTC 2019 x86_64 GNU/Linux

1 Ответ

1 голос
/ 07 января 2020

Действительно, пример на странице руководства ошибочен, в двух местах код отклоняется от правильного описания в соответствующем комментарии. 

       /* Acquire the futex pointed to by 'futexp': wait for its value to
          become 1, and then set the value to 0. */

       static void
       fwait(int *futexp)
       {
           int s;

           /* atomic_compare_exchange_strong(ptr, oldval, newval)
              atomically performs the equivalent of:

                  if (*ptr == *oldval)
                      *ptr = newval;

              It returns true if the test yielded true and *ptr was updated. */

           while (1) {

               /* Is the futex available? */
               const int zero = 0;
               if (atomic_compare_exchange_strong(futexp, &zero, 1))
                   break;      /* Yes */

должен быть наоборот: 

               /* Is the futex available? */
               if (atomic_compare_exchange_strong(futexp, &(int){1}, 0))
                   break;      /* Yes */

       /* Release the futex pointed to by 'futexp': if the futex currently
          has the value 0, set its value to 1 and the wake any futex waiters,
          so that if the peer is blocked in fpost(), it can proceed. */

       static void
       fpost(int *futexp)
       {
           int s;

           /* atomic_compare_exchange_strong() was described in comments above */

           const int one = 1;
           if (atomic_compare_exchange_strong(futexp, &one, 0)) {
               …

должен быть наоборот: 

           if (atomic_compare_exchange_strong(futexp, &(int){0}, 1)) {
               …
...