Рассмотрим задачу использования кольцевого буфера (задача "поставщик-потребитель"). Функции AddItemToBuffer и RemoveItemFromBuffer модифицируют структуру данных, разделяемую поставщиком и потребителем, и не используют синхронизацию. Предположим, что программа может выполняться как на однопроцессорных, так и на многопроцессорных системах, и одновременно могут выполняться несколько потоков-поставщиков и потоков-потребителей. Укажите, является ли решение корректным (всегда работает), или (2) некорректным (никогда не работает), или (3) опасным (в одних случаях работает, в других – нет). Semaphore Empty = N; // Буфер содержит N записейM = unlocked;Full = 0;() { Empty.P(); M.Lock(); AddItemToBuffer(); M.Unlock(); Full.V(); }() { full.P(); M.Lock(); RemoveItemFromBuffer(); M.Unlock(); empty.V(); }

Правильный ответ:

• # В OpenMP-программе объявлены переменные a и b типа int и массив c типа double. Отметьте верные варианты использования директивы omp atomic.
• # Пусть написана следующая параллельная программа: int a = 0; #pragma omp parallel { … #pragma omp single a++; … } Чему равно значение "a" на четырех процессорной системе, после выполнения параллельной секции?
• # Сигнатурой производного типа в MPI именуется:
• # Под "гонками данных" понимается ситуация, когда:
• # Какие из следующих утверждений являются верными?