Я пытаюсь спровоцироватьПриоритет Инверсии на небольшомC ++ программа для демонстрационных целей, но я не могу: поток с низким приоритетом, который содержит мьютексне выгружается и продолжает работать в критической секции. Это то, что я делаю:

// let's declare a global mutex
pthread_mutex_t my_mutex;
  ...

int main(int argc, char **argv) {
  ...
  pthread_t normal_thread;
  pthread_t prio_thread;

  pthread_mutexattr_t attr;
  pthread_mutexattr_init (&attr);
  pthread_mutexattr_setprotocol (&attr, PTHREAD_PRIO_NONE);  // ! None !
  pthread_mutex_init(&my_mutex, &attr);

  // create first normal thread (L):
  pthread_create(&normal_thread, NULL, the_locking_start_routine, NULL);

  // just to help the normal thread enter in the critical section
  sleep(2);

  // now will launch:
  // * (M) several CPU intensive SCHED_FIFO threads with priority < 99
  // * (H) one SCHED_FIFO thread that will try to lock the mutex, with priority < 99

  // build Real Time attributes for the Real Time threads:
  pthread_attr_t my_rt_att;
  pthread_attr_init(&my_rt_att);

  // it was missing in the original post and it was also wrong:
  // even setting the SchedPolicy you have to set "InheritSched"
  pthread_attr_setinheritsched(&my_rt_att, PTHREAD_EXPLICIT_SCHED)

  pthread_attr_setschedpolicy(&my_rt_att, SCHED_FIFO);
  struct sched_param params;

  params.sched_priority = 1;
  pthread_attr_setschedparam(&my_rt_att, &params);

  pthread_create(&prio_thread, &my_rt_att, the_CPU_intensive_start_routine, NULL) 

  params.sched_priority = 99;
  pthread_attr_setschedparam(&my_rt_att, &params);

  // create one RealTime thread like this:
  pthread_create(&prio_thread, &my_rt_att, the_locking_start_routine, NULL)  //coma was missing

  ...
}

void *the_locking_start_routine(void *arg) {
  ...
  pthread_mutex_lock(&my_mutex);
  // This thread is on the critical section
  // ... (skipped)
  pthread_mutex_unlock(&my_mutex);
  ...
}

... Но это не работает, у меня не может быть желаемой приоритетной инверсии.

Вот что происходит:

Как я понимаю, с таким планировщиком, как Linux CFS, поток не в реальном времени (SCHED_OTHER) не будет работать, пока не будет потока в реальном времени (SCHED_FIFO или SCHED_RR) в состоянии выполнения. Но я достиг этой темы, работающей одновременно:

(L) Один поток не в реальном времени (SCHED_OTHER), блокирующий мьютекс и потребляющий процессор(M) несколько потоков реального времени (SCHED_FIFO, & priority> 0), интенсивно использующих процессор и не ожидающих блокировки мьютекса(H) Один поток реального времени (SCHED_FIFO, и самый высокий приоритет), ожидающий блокировку

Работает больше потоков, интенсивно использующих процессор (M) в реальном времени, чем количество процессоров в моей системе ... но поток не в реальном времени, удерживающий (L) блокировку, все еще потребляет процессор и завершает свою работу и освобождает мьютекс до «М» потоки заканчивают потреблять процессор.

Почему поток с низким приоритетом не прерывается, приложение заблокировано, и я не могу получить инверсию приоритета?

Я использую g ++ 4.5.2 на Ubuntu Desktop 11.04 с ядром 2.6.38-13.