непонятки у Лава

Хотя твои слова и тронули мое сердце, я нифига не понял.

%)

ну вот какие простые методы для перехода в приостановленное состояние (с ожиданием условия) есть?

первое, что приходит на ум - wait_evet_interruptible и компания. ну вот отрывок из LKD-3:

Some simple interfaces for sleeping used to be in wide use. These interfaces, however, have races: It is possible to go to sleep after the condition becomes true. In that case, the task might sleep indefinitely.Therefore, the recommended method for sleeping in the kernel is a bit more complicated:

/* ‘q’ is the wait queue we wish to sleep on */
DEFINE_WAIT(wait);
add_wait_queue(q, &wait);
while (!condition) {
/* condition is the event that we are waiting for */
    prepare_to_wait(&q, &wait, TASK_INTERRUPTIBLE);
    if (signal_pending(current))
    /* handle signal */
        schedule();
}
finish_wait(&q, &wait);

но кусок кода - копия макроса wait_event_interruptible правда дальше есть пример функции

static ssize_t inotify_read(struct file *file, char __user *buf,
size_t count, loff_t *pos)

а спрашивал я про то, что имел ввиду Лав под «simple interfaces for sleeping»? не на wait_event_* он же кивал?...

// ну и видимо, в случаях с не cлишком простой логикой следует макрос разворачивать, как это сделано в inotify_read

Откуда ты взял этот код? По-моему, он в самом деле racy. Классический - вот:

#define __wait_event_interruptible(wq, condition, ret)                  \
do {                                                                    \
        DEFINE_WAIT(__wait);                                            \
                                                                        \
        for (;;) {                                                      \
                prepare_to_wait(&wq, &__wait, TASK_INTERRUPTIBLE);      \
                if (condition)                                          \
                        break;                                          \
                if (!signal_pending(current)) {                         \
                        schedule();                                     \
                        continue;                                       \
                }                                                       \
                ret = -ERESTARTSYS;                                     \
                break;                                                  \
        }                                                               \
        finish_wait(&wq, &__wait);                                      \
} while (0)

здесь всё по учебнику (написанному до Лова):

1) заносим себя в очередь и ставим себе статус INTERRUPTIBLE;

2) проверяем условие;

3) если условие не выполняется - спим;

если событие происходит между 1 и 2, мы вывалимся при проверке условия; если между 2 и 3, то статус INTERRUPTIBLE будет сброшен, и планировщик не даст нам уснуть.

код из R.Love - «Linux Kernel Development - 3», стр. 59. у него-то тоже все понятно, вроде бы: - занеслись в очередь

- пока нет условия спим

- под «/* handle signal */» я понял возврат -ERESTARTSYS

- если нет сигнала, то шедулимся

тогда про какие рейсы Лов говорил?... какие функци/макросы он имел ввиду?..

хотя, это уже похоже на какие-то странные вопросы %)

тогда про какие рейсы Лов говорил?

Если в его коде событие приходит после проверки условия и перед prepare_to_wait, можно уснуть навсегда.

сначала я подумал что тут про Осознанные Сноведения и ТС ошибся топиком

хм... действительно

тогда уж что-то типа

...
while(1) {
    prepare_to_wait(...)
    if (condition)
        break;
    if (signal_pending(current))
        return -ERESTARTSYS;
    ...
}
...

спасибо за разъяснения :)

return -ERESTARTSYS;

Думаю, ты не можешь просто вернуться из функции, не сделав finish_wait

гм!.. ну да, поторопился %)