{
    "id": "mysql144-x-table-shared-review",
    "title": "Дать двум проверяющим прочитать цену и отложить её изменение",
    "columns": [
        "Наблюдение",
        "Результат"
    ],
    "rows": [
        [
            "Первый проверяющий",
            1200
        ],
        [
            "Второй проверяющий",
            1200
        ],
        [
            "Изменение во время проверки",
            "отложено"
        ],
        [
            "Цена перед разрешённым изменением",
            1200
        ],
        [
            "Сохранённая новая цена",
            1350
        ]
    ],
    "checks": {
        "three_independent_sessions": true,
        "shared_readers_compatible": true,
        "exclusive_conflicts_with_readers": true,
        "write_after_readers_finish": true,
        "owned_objects_removed": true
    },
    "observations": {
        "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
        }
    },
    "runtime": {
        "php": "8.3.35",
        "extension": "8.0.30",
        "server_version": 80413,
        "schema": "php_manual_x139",
        "host": "127.0.0.1",
        "port": 33140
    },
    "owned_objects": [
        {
            "type": "TABLE",
            "name": "mysql144_shared_price_61e9f20d6dd9"
        }
    ],
    "removed_objects": [
        {
            "type": "TABLE",
            "name": "mysql144_shared_price_61e9f20d6dd9"
        }
    ]
}