Issue 10: 3.11 Exercise 24.
Project Member Reported by sergeypr...@gmail.com, Sep 18, 2014
Exercise 24. For each of the histories shown in Figs. 3.13 and 3.14, are they quiescently
consistent? Sequentially consistent? Linearizable? Justify your answer.
Sep 18, 2014
Project Member #1 sergeypr...@gmail.com
Я так и не понял, что значит r.read(2), но если это вычитывание значение с регистра и мы получаем 2 тогда:
Рисунок 3.13
Ситуация не quiescently consistent, так как quiescently consistent гарантирует, что вызовы происходят в один момент времени, а здесь не сколько вызовов в один момент

Ситуация sequentially consistent - так как все что не вызывается, здесь превратить в последовательностей r.read(1), r.write(1), r.write(2), r.read(2)

Ситуация Linearizable - так результат параллельному выполнению равен результату последовательного выполнения

Рисунок 3.14
Ситуация не quiescently consistent, так как quiescently consistent гарантирует, что вызовы происходят в один момент времени, а здесь не сколько вызовов в один момент

Ситуация не sequentially consistent - так как все что не вызывается, здесь превратить в последовательностей r.read(1), r.write(1), r.write(2), r.read(1)

Ситуация Linearizable - так результат параллельному выполнению равен результату последовательного выполнения
Oct 16, 2014
Project Member #2 sh.ba...@gmail.com
1. тут есть проблемы с формулированием мыслей. перечитай сам и попробуй поправить.
2. напиши пожалуйста как ты сам понял эти три correctness conditions. зачем они вообще нужны.
Oct 20, 2014
Project Member #4 sergeypr...@gmail.com
Я так и не понял, что значит r.read(2), но если это вычитывание значения с регистра, тогда мы получаем:
----Из рисунка 3.13
Ситуация не quiescently consistent, так как quiescently consistent гарантирует, что один вызов в один момент времени, а здесь несколько вызовов в один момент времени

Ситуация sequentially consistent - так как все что не вызывается, здесь можно переделать в последовательность r.read(1), r.write(1), r.write(2), r.read(2), которая равна параллельному вызову процедур

Ситуация Linearizable - так как результат параллельному выполнению равен результату последовательного выполнения

----Из рисунок 3.14:
Ситуация не quiescently consistent, так как quiescently consistent гарантирует, что один вызов в один момент времени, а здесь несколько вызовов в один момент времени

Ситуация не sequentially consistent - так как все что не вызывается, здесь можно переделать в последовательность r.read(1), r.write(1), r.write(2), r.read(1), которая не равна параллельному вызову процедур

Ситуация Linearizable - так как результат параллельному выполнению равен результату последовательного выполнения
Oct 20, 2014
Project Member #5 sergeypr...@gmail.com
Они нужны, чтобы анализировать и понимать, к какому результату может привести те или иные параллельные операции.
Это три свойства, которыми можно описывать потоки в программе.

Только на практике (и ни кто мне о таком не говорил) я не встречал такого