2011-gre-cs-practice-book.pdf/Q47 — различия между версиями

Версия 23:57, 8 января 2025

Вопрос: Q47-08c765

Рассмотрим следующие 2 многопоточные задачи, в которых операции присваивания исполняются атомарно. Изначально, переменные с разделяемым состоянием x и y равны 0.

• Задача 1

x = 1
a = y

• Задача 2

y = 1
b = x

В конце выполнения обеих многопоточных задач значения переменных a и b проверяются. Какие из следующих утверждений должны быть истинными?

• I. a == 0 → b == 1
• II. b == 0 → a == 1
• III. a == 1 → b == 1

Ответы

• (A) Только I
• (B) Только II
• (C) Только III
• (D) I и II
• (E) I, II и III

Объяснение

Исходники — вопрос 46 на 38 странице книги «2011-gre-cs-practice-book.pdf»