Дать двум проверяющим прочитать цену и отложить её изменение

Ответы получены от MySQL через X Protocol. Созданные программой учебные объекты после чтения удалены.

Наблюдаемый результат программы
НаблюдениеРезультат
Первый проверяющий1200
Второй проверяющий1200
Изменение во время проверкиотложено
Цена перед разрешённым изменением1200
Сохранённая новая цена1350
Строки и дополнительные наблюдения
{
    "connection_ids": [
        80,
        81,
        82
    ],
    "reader_a": {
        "price_kopecks": 1200
    },
    "reader_b": {
        "price_kopecks": 1200
    },
    "nowait_error_chain": [
        {
            "class": "mysql_xdevapi\\Exception",
            "code": 10000,
            "message": "[HY000] Couldn't fetch data"
        },
        {
            "class": "mysql_xdevapi\\Exception",
            "code": 3572,
            "message": "[HY000] Statement aborted because lock(s) could not be acquired immediately and NOWAIT is set."
        }
    ],
    "after_release": {
        "price_kopecks": 1200
    },
    "saved": {
        "price_kopecks": 1350
    }
}

Полный JSON результата, включая реальные идентификаторы, сохранён рядом в result.json.