TNKernel и удаление объектов синхронизации Опции

[kosyak©]

Копаюсь в недрах TNKernel 2.6. В функциях удаления объектов синхронизации (семафор, мютекс) есть такой код (например функция удаления семафора):

Код

....

   while(!is_queue_empty(&(sem->wait_queue)))
   {
//!!!!!!!!!!!!!!!!!!!!!!!!!!!
      tn_disable_interrupt();

     //--- delete from the sem wait queue

      que = queue_remove_head(&(sem->wait_queue));
      task = get_task_by_tsk_queue(que);
      if(task_wait_complete(task))
      {
         task->task_wait_rc = TERR_DLT;
         tn_enable_interrupt();
         tn_switch_context();
      }
   }

....

Вопрос такой - а что если переключение контекста произойдет в момент отмеченный восклицательными знаками?
Т.е. очередь sem->wait_queue на момент проверки содержала один элемент, попали в цикл, произошло переключение контекста и из нее удалили единственный элемент. Дальше в коде нигде проверок чт из очереди что-то достали я не нашел.

Или я где-то не правильно рассуждаю?

[yuri_t]

Или я где-то не правильно рассуждаю?

Рассуждаете Вы совершенно правильно.

Если queue пустая, то ф-ция queue_remove_head() возвращает 0.

В версиях до 2.6, ф-ции get_task_by_tsk_queue() и task_wait_complete() в этом случае
также вернут 0 и ничего нештатного не случится.

А вот в версии 2.6 ф-ция get_task_by_tsk_queue() была заменена на макрос без проверки
входных параметров(для увеличения скорости работы) и здесь могут появиться проблемы.
В версии 2.7 код этого макроса будет заменен на более надежный.