// Reader parking: park/unpark of a long read transaction
// Раздел учебника: Том II, глава 11, «Многопоточность», раздел «Парковка».
// Что демонстрирует: парковку read-only транзакции (park_reading) — читатель
//   освобождает свой слот, позволяя писателям и GC продвигаться; возобновление
//   через unpark_reading. После возобновления снапшот читателя не меняется
//   (MVCC): он видит то же состояние, что и до парковки.
// Сборка: g++ -std=c++17 -I<libmdbx-include> -I../common 16-parking.c++ -lmdbx -pthread
// Запуск: ./16-parking
// Ожидаемый вывод:
//   reader before park: v1
//   writer committed v2 while reader parked
//   reader after unpark: v1
//   ok: parked reader released slot, resumed with unchanged snapshot
// При сбое — сообщение в stderr и exit 1.
//
// SPDX-License-Identifier: Apache-2.0

#include <iostream>
#include <string>

#include "common.h++"
#include <mdbx.h++>

int main() {
  try {
    const std::string path = std::string(example::tmpdir()) + "/mdbx-16-parking.mdbx";
    mdbx::env::remove(path);
    mdbx::env_managed env = example::env_open(path);

    {
      auto txn = env.start_write();
      auto table = txn.open_map(nullptr);
      txn.insert(table, mdbx::slice("key"), mdbx::slice("v1"));
      txn.commit();
    }

    auto rtxn = env.start_read();
    auto table = rtxn.open_map(nullptr);
    std::cout << "reader before park: " << rtxn.get(table, mdbx::slice("key")).as_string() << "\n";

    // Парковка: читатель перестаёт удерживать снапшот; писатель может коммитить.
    rtxn.park_reading(false);
    {
      auto wtxn = env.start_write();
      auto wtable = wtxn.open_map(nullptr);
      wtxn.upsert(wtable, mdbx::slice("key"), mdbx::slice("v2"));
      wtxn.commit();
    }
    std::cout << "writer committed v2 while reader parked\n";

    // Возобновление: читатель продолжает работать со своим прежним снапшотом.
    rtxn.unpark_reading(true);
    std::cout << "reader after unpark: " << rtxn.get(table, mdbx::slice("key")).as_string() << "\n";
    rtxn.abort();

    std::cout << "ok: parked reader released slot, resumed with unchanged snapshot\n";
    return EXIT_SUCCESS;
  } catch (const std::exception &ex) {
    std::cerr << "error: " << ex.what() << "\n";
    return EXIT_FAILURE;
  }
}