PHP: полный мануал с примерами, функциями и ООП

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';

$config = x140Config();
$session = mysql_xdevapi\getSession($config['uri']);
$schema = null;
$peers = [];
$owned = [];
$removed = [];
$rows = $checks = $observations = [];
try {
    $schema = $session->getSchema($config['schema']);
    if (!$schema->existsInDatabase()) {
        throw new RuntimeException('Учебная схема не существует: подготовьте её отдельно.');
    }
    $runtime = ['php'=>PHP_VERSION, 'extension'=>phpversion('mysql_xdevapi'),
        'server_version'=>$session->getServerVersion(), 'schema'=>$config['schema'],
        'host'=>$config['host'], 'port'=>$config['port']];

$name = x140Name('exclusive_reservation');
$handle = $schema->getCollection($name);
$existed = $handle->existsInDatabase();
if ($existed) {throw new RuntimeException('Случайное имя уже занято.');}
$collection = $schema->createCollection($name);
$owned[] = $name;

    $collection->add(['_id'=>'LED-1','kind'=>'product','stock'=>1])->execute();
    $second = mysql_xdevapi\getSession($config['uri']); $peers[] = $second;
    $other = $second->getSchema($config['schema'])->getCollection($name);

    $session->startTransaction();
    $firstRead = $collection->find('_id = :id')->bind(['id'=>'LED-1'])
        ->lockExclusive()->execute()->fetchOne();
    // Обычное согласованное чтение не является конкурирующей блокировкой.
    $ordinary = $other->getOne('LED-1');
    $second->startTransaction();
    $conflict = [];
    try {
        $other->find('_id = :id')->bind(['id'=>'LED-1'])
            ->lockExclusive(MYSQLX_LOCK_NOWAIT)->execute();
    } catch (mysql_xdevapi\Exception $error) {
        $conflict = x140ErrorChain($error);
        if (!x140HasCode($conflict, 3572)) {throw $error;}
    }
    $second->rollback();
    if (!x140HasCode($conflict, 3572)) {throw new RuntimeException('Не получен ожидаемый NOWAIT-конфликт.');}
    if ($firstRead['stock'] < 1) {throw new RuntimeException('Исходный товар отсутствует.');}
    $updated = $collection->modify('_id = :id AND stock >= 1')->bind(['id'=>'LED-1'])
        ->set('stock', $firstRead['stock'] - 1)->execute();
    if ($updated->getAffectedItemsCount() !== 1) {throw new RuntimeException('Основное списание не подтверждено.');}
    $collection->add(['_id'=>'RES-A','kind'=>'reservation','product'=>'LED-1','owner'=>'A','qty'=>1])->execute();
    $session->commit();

    $second->startTransaction();
    $secondRead = $other->find('_id = :id')->bind(['id'=>'LED-1'])
        ->lockExclusive(MYSQLX_LOCK_NOWAIT)->execute()->fetchOne();
    if ($secondRead['stock'] >= 1) {
        $secondUpdate = $other->modify('_id = :id AND stock >= 1')->bind(['id'=>'LED-1'])
            ->set('stock', $secondRead['stock'] - 1)->execute();
        if ($secondUpdate->getAffectedItemsCount() !== 1) {throw new RuntimeException('Второе списание не подтверждено.');}
        $other->add(['_id'=>'RES-B','kind'=>'reservation','product'=>'LED-1','owner'=>'B','qty'=>1])->execute();
    }
    $second->commit();
    $saved = $collection->getOne('LED-1');
    $reservations = $collection->find('kind = :kind')->bind(['kind'=>'reservation'])
        ->fields(['_id','owner','qty'])->sort('_id ASC')->execute()->fetchAll();
    $rows = [['Остаток в первом защищённом чтении',$firstRead['stock']],
        ['Обычное чтение второго сеанса',$ordinary['stock']],
        ['Второй получил NOWAIT-конфликт',x140HasCode($conflict,3572)],
        ['После commit первый резерв существует',($collection->getOne('RES-A') ?? null)!==null],
        ['Второй заново прочитал остаток',$secondRead['stock']],
        ['Подтверждено резервов',count($reservations)],['Итоговый остаток',$saved['stock']]];
    $checks = ['initial_stock_one'=>$firstRead['stock']===1,'ordinary_read_allowed'=>$ordinary['stock']===1,
        'actual_nowait_conflict'=>x140HasCode($conflict,3572), 'one_item_changed'=>$updated->getAffectedItemsCount()===1,
        'second_reads_current_zero'=>$secondRead['stock']===0,'only_first_reserved'=>count($reservations)===1 && $reservations[0]['_id']==='RES-A' && $reservations[0]['owner']==='A',
        'no_second_reservation'=>($collection->getOne('RES-B') ?? null)===null,'stock_not_negative'=>$saved['stock']===0];
    $observations = ['first_locked_read'=>$firstRead,'ordinary_read'=>$ordinary,'nowait_exception_chain'=>$conflict,
        'second_locked_read_after_commit'=>$secondRead,'saved_product'=>$saved,'saved_reservations'=>$reservations];

} finally {
    // Сначала освобождаем блокировки всех участников, затем удаляем свою коллекцию.
    try {
        foreach (array_reverse($peers) as $peer) {
            try {$peer->rollback();} finally {$peer->close();}
        }
    } finally {
        try {
            $session->rollback();
            if ($schema instanceof mysql_xdevapi\Schema) {
                $removed = x140Cleanup($schema, $owned);
            }
        } finally {$session->close();}
    }
}

x140Report('mysql140-x-exclusive-reservation', 'Отдать последнюю лампу одному покупателю', $rows, $checks, $observations, $runtime, $owned, $removed);

Остаток в первом защищённом чтении — 1
Обычное чтение второго сеанса — 1
Второй получил NOWAIT-конфликт — да
После commit первый резерв существует — да
Второй заново прочитал остаток — 0
Подтверждено резервов — 1
Итоговый остаток — 0

result.html показывает ведомость, result.json содержит реальные документы и цепочки исключений, metrics.json — проверки. После чтения результата finally освобождает транзакции и удаляет только свою коллекцию.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';

$config = x140Config();
$session = mysql_xdevapi\getSession($config['uri']);
$schema = null;
$peers = [];
$owned = [];
$removed = [];
$rows = $checks = $observations = [];
try {
    $schema = $session->getSchema($config['schema']);
    if (!$schema->existsInDatabase()) {
        throw new RuntimeException('Учебная схема не существует: подготовьте её отдельно.');
    }
    $runtime = ['php'=>PHP_VERSION, 'extension'=>phpversion('mysql_xdevapi'),
        'server_version'=>$session->getServerVersion(), 'schema'=>$config['schema'],
        'host'=>$config['host'], 'port'=>$config['port']];

$name = x140Name('shared_review');
$handle = $schema->getCollection($name);
$existed = $handle->existsInDatabase();
if ($existed) {throw new RuntimeException('Случайное имя уже занято.');}
$collection = $schema->createCollection($name);
$owned[] = $name;

    $collection->add(['_id'=>'CARD-1','version'=>1,'status'=>'review'])->execute();
    $second = mysql_xdevapi\getSession($config['uri']); $peers[] = $second;
    $third = mysql_xdevapi\getSession($config['uri']); $peers[] = $third;
    $readerB = $second->getSchema($config['schema'])->getCollection($name);
    $writer = $third->getSchema($config['schema'])->getCollection($name);
    $session->startTransaction();
    $a = $collection->find('_id = :id')->bind(['id'=>'CARD-1'])->lockShared()->execute()->fetchOne();
    $second->startTransaction();
    $b = $readerB->find('_id = :id')->bind(['id'=>'CARD-1'])
        ->lockShared(MYSQLX_LOCK_NOWAIT)->execute()->fetchOne();
    $third->startTransaction();
    $bothHeld = [];
    try {
        $writer->find('_id = :id')->bind(['id'=>'CARD-1'])
            ->lockExclusive(MYSQLX_LOCK_NOWAIT)->execute();
    } catch (mysql_xdevapi\Exception $error) {
        $bothHeld = x140ErrorChain($error);
        if (!x140HasCode($bothHeld,3572)) {throw $error;}
    }
    $third->rollback();
    $session->commit();
    // Участник B ещё держит свою разделяемую блокировку.
    $third->startTransaction();
    $onlyBHeld = [];
    try {
        $writer->find('_id = :id')->bind(['id'=>'CARD-1'])
            ->lockExclusive(MYSQLX_LOCK_NOWAIT)->execute();
    } catch (mysql_xdevapi\Exception $error) {
        $onlyBHeld = x140ErrorChain($error);
        if (!x140HasCode($onlyBHeld,3572)) {throw $error;}
    }
    $third->rollback();
    $second->rollback();
    $third->startTransaction();
    $free = $writer->find('_id = :id')->bind(['id'=>'CARD-1'])
        ->lockExclusive(MYSQLX_LOCK_NOWAIT)->execute()->fetchOne();
    $writer->modify('_id = :id')->bind(['id'=>'CARD-1'])->set('version',2)->set('status','approved')->execute();
    $third->commit();
    $saved = $collection->getOne('CARD-1');
    $rows = [['Версия для проверяющего A',$a['version']],['Версия для проверяющего B',$b['version']],
        ['Запись запрещена при двух shared-lock',x140HasCode($bothHeld,3572)],
        ['После commit A блокировку ещё держит B',x140HasCode($onlyBHeld,3572)],
        ['После rollback B сохранена версия',$saved['version']],['Сохранённый статус',$saved['status']]];
    $checks = ['shared_reads_compatible'=>$a['version']===1 && $b['version']===1,
        'exclusive_conflicts_with_two'=>x140HasCode($bothHeld,3572),
        'one_remaining_shared_still_blocks'=>x140HasCode($onlyBHeld,3572),
        'lock_after_both_released'=>$free['version']===1,
        'new_version_persisted'=>$saved['version']===2 && $saved['status']==='approved'];
    $observations = ['reader_a'=>$a,'reader_b'=>$b,'both_shared_exception_chain'=>$bothHeld,
        'remaining_shared_exception_chain'=>$onlyBHeld,'exclusive_after_release'=>$free,'saved'=>$saved];

} finally {
    // Сначала освобождаем блокировки всех участников, затем удаляем свою коллекцию.
    try {
        foreach (array_reverse($peers) as $peer) {
            try {$peer->rollback();} finally {$peer->close();}
        }
    } finally {
        try {
            $session->rollback();
            if ($schema instanceof mysql_xdevapi\Schema) {
                $removed = x140Cleanup($schema, $owned);
            }
        } finally {$session->close();}
    }
}

x140Report('mysql140-x-shared-review', 'Дать двум проверяющим читать одну версию карточки', $rows, $checks, $observations, $runtime, $owned, $removed);

Версия для проверяющего A — 1
Версия для проверяющего B — 1
Запись запрещена при двух shared-lock — да
После commit A блокировку ещё держит B — да
После rollback B сохранена версия — 2
Сохранённый статус — approved

result.html показывает ведомость, result.json содержит реальные документы и цепочки исключений, metrics.json — проверки. После чтения результата finally освобождает транзакции и удаляет только свою коллекцию.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';

$config = x140Config();
$session = mysql_xdevapi\getSession($config['uri']);
$schema = null;
$peers = [];
$owned = [];
$removed = [];
$rows = $checks = $observations = [];
try {
    $schema = $session->getSchema($config['schema']);
    if (!$schema->existsInDatabase()) {
        throw new RuntimeException('Учебная схема не существует: подготовьте её отдельно.');
    }
    $runtime = ['php'=>PHP_VERSION, 'extension'=>phpversion('mysql_xdevapi'),
        'server_version'=>$session->getServerVersion(), 'schema'=>$config['schema'],
        'host'=>$config['host'], 'port'=>$config['port']];

$name = x140Name('picking_queue');
$handle = $schema->getCollection($name);
$existed = $handle->existsInDatabase();
if ($existed) {throw new RuntimeException('Случайное имя уже занято.');}
$collection = $schema->createCollection($name);
$owned[] = $name;

    $collection->add(['_id'=>'JOB-1','state'=>'ready','owner'=>''],
        ['_id'=>'JOB-2','state'=>'ready','owner'=>''],['_id'=>'JOB-3','state'=>'ready','owner'=>''])->execute();
    $second = mysql_xdevapi\getSession($config['uri']); $peers[] = $second;
    $queueB = $second->getSchema($config['schema'])->getCollection($name);
    $session->startTransaction();
    // Точный _id удерживает первую задачу без широкого сканирования очереди.
    $jobA = $collection->find('_id = :id')->bind(['id'=>'JOB-1'])->lockExclusive()->execute()->fetchOne();
    $second->startTransaction();
    $jobB = $queueB->find('state = :state')->bind(['state'=>'ready'])->sort('_id ASC')->limit(1)
        ->lockExclusive(MYSQLX_LOCK_SKIP_LOCKED)->execute()->fetchOne();
    if ($jobB === null) {throw new RuntimeException('Нет доступного задания для второго работника.');}
    $queueB->modify('_id = :id AND state = :state')->bind(['id'=>$jobB['_id'],'state'=>'ready'])
        ->set('state','claimed')->set('owner','B')->execute();
    $second->commit();
    $collection->modify('_id = :id AND state = :state')->bind(['id'=>$jobA['_id'],'state'=>'ready'])
        ->set('state','claimed')->set('owner','A')->execute();
    $session->commit();
    $saved = $collection->find()->fields(['_id','state','owner'])->sort('_id ASC')->execute()->fetchAll();
    $byId = array_column($saved,null,'_id');
    $rows = [['Задание работника A',$jobA['_id']],['Задание работника B',$jobB['_id']],
        ['JOB-1: сохранённый владелец',$byId['JOB-1']['owner']],['JOB-2: сохранённый владелец',$byId['JOB-2']['owner']],
        ['JOB-3: сохранённое состояние',$byId['JOB-3']['state']],['Число заданий после выдачи',count($saved)]];
    $checks = ['first_job_held'=>$jobA['_id']==='JOB-1','second_skips_held'=>$jobB['_id']==='JOB-2',
        'different_ids'=>$jobA['_id']!==$jobB['_id'],
        'owners_persisted'=>$byId['JOB-1']['state']==='claimed' && $byId['JOB-1']['owner']==='A' && $byId['JOB-2']['state']==='claimed' && $byId['JOB-2']['owner']==='B',
        'unclaimed_job_preserved'=>$byId['JOB-3']['state']==='ready' && $byId['JOB-3']['owner']==='',
        'all_jobs_remain'=>count($saved)===3];
    $observations = ['worker_a_locked'=>$jobA,'worker_b_skipped_first'=>$jobB,'readback_after_commits'=>$saved];

} finally {
    // Сначала освобождаем блокировки всех участников, затем удаляем свою коллекцию.
    try {
        foreach (array_reverse($peers) as $peer) {
            try {$peer->rollback();} finally {$peer->close();}
        }
    } finally {
        try {
            $session->rollback();
            if ($schema instanceof mysql_xdevapi\Schema) {
                $removed = x140Cleanup($schema, $owned);
            }
        } finally {$session->close();}
    }
}

x140Report('mysql140-x-picking-queue', 'Выдать комплектовщикам разные свободные задания', $rows, $checks, $observations, $runtime, $owned, $removed);

Задание работника A — JOB-1
Задание работника B — JOB-2
JOB-1: сохранённый владелец — A
JOB-2: сохранённый владелец — B
JOB-3: сохранённое состояние — ready
Число заданий после выдачи — 3

result.html показывает ведомость, result.json содержит реальные документы и цепочки исключений, metrics.json — проверки. После чтения результата finally освобождает транзакции и удаляет только свою коллекцию.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';

$config = x140Config();
$session = mysql_xdevapi\getSession($config['uri']);
$schema = null;
$peers = [];
$owned = [];
$removed = [];
$rows = $checks = $observations = [];
try {
    $schema = $session->getSchema($config['schema']);
    if (!$schema->existsInDatabase()) {
        throw new RuntimeException('Учебная схема не существует: подготовьте её отдельно.');
    }
    $runtime = ['php'=>PHP_VERSION, 'extension'=>phpversion('mysql_xdevapi'),
        'server_version'=>$session->getServerVersion(), 'schema'=>$config['schema'],
        'host'=>$config['host'], 'port'=>$config['port']];

$name = x140Name('optional_reservation_ste');
$handle = $schema->getCollection($name);
$existed = $handle->existsInDatabase();
if ($existed) {throw new RuntimeException('Случайное имя уже занято.');}
$collection = $schema->createCollection($name);
$owned[] = $name;

    $collection->add(['_id'=>'LED-1','kind'=>'product','stock'=>1],
        ['_id'=>'CLIP-1','kind'=>'product','stock'=>2])->execute();
    $session->startTransaction();
    $collection->modify('_id = :id')->bind(['id'=>'LED-1'])->set('stock',0)->execute();
    $collection->add(['_id'=>'RES-MAIN','kind'=>'reservation','product'=>'LED-1','qty'=>1])->execute();
    $savepoint = $session->setSavepoint('main_reserved');
    $rollbackType = '';
    try {
        $collection->modify('_id = :id')->bind(['id'=>'CLIP-1'])->set('stock',1)->execute();
        $collection->add(['_id'=>'RES-OPTION','kind'=>'reservation','product'=>'CLIP-1','qty'=>1])->execute();
        throw new DomainException('Покупатель отказался от дополнительного комплекта.');
    } catch (DomainException $businessRefusal) {
        // Известный предметный отказ: серверная транзакция остаётся пригодной.
        $rolled = $session->rollbackTo($savepoint);
        $rollbackType = get_debug_type($rolled);
    }
    $inside = ['main'=>$collection->getOne('RES-MAIN'),
        'option'=>$collection->getOne('RES-OPTION') ?? null,'clip'=>$collection->getOne('CLIP-1')];
    $released = $session->releaseSavepoint($savepoint);
    $releaseType = get_debug_type($released);
    $session->commit();
    $main = $collection->getOne('RES-MAIN');
    $option = $collection->getOne('RES-OPTION') ?? null;
    $lamp = $collection->getOne('LED-1');
    $clip = $collection->getOne('CLIP-1');
    $rows = [['Имя точки отката',$savepoint],['Основной резерв сохранён',$main!==null],
        ['Дополнительный резерв отсутствует',$option===null],['Остаток ламп',$lamp['stock']],
        ['Остаток комплектующих',$clip['stock']],['Основной резерв был доступен до commit',$inside['main']!==null]];
    $checks = ['named_savepoint_returned'=>$savepoint==='main_reserved',
        'partial_rollback_inside'=>$inside['main']!==null && $inside['option']===null && $inside['clip']['stock']===2,
        'main_persisted'=>$main['product']==='LED-1' && $main['qty']===1,
        'option_absent'=>$option===null,'inventory_consistent'=>$lamp['stock']===0 && $clip['stock']===2];
    $observations = ['savepoint'=>$savepoint,'rollback_return_type'=>$rollbackType,'release_return_type'=>$releaseType,
        'inside_before_commit'=>$inside,'main_after_commit'=>$main,'option_after_commit'=>$option,
        'lamp_after_commit'=>$lamp,'clip_after_commit'=>$clip];

} finally {
    // Сначала освобождаем блокировки всех участников, затем удаляем свою коллекцию.
    try {
        foreach (array_reverse($peers) as $peer) {
            try {$peer->rollback();} finally {$peer->close();}
        }
    } finally {
        try {
            $session->rollback();
            if ($schema instanceof mysql_xdevapi\Schema) {
                $removed = x140Cleanup($schema, $owned);
            }
        } finally {$session->close();}
    }
}

x140Report('mysql140-x-optional-reservation-step', 'Отменить дополнительный комплект, сохранив основной резерв', $rows, $checks, $observations, $runtime, $owned, $removed);

Имя точки отката — main_reserved
Основной резерв сохранён — да
Дополнительный резерв отсутствует — да
Остаток ламп — 0
Остаток комплектующих — 2
Основной резерв был доступен до commit — да

result.html показывает ведомость, result.json содержит реальные документы и цепочки исключений, metrics.json — проверки. После чтения результата finally освобождает транзакции и удаляет только свою коллекцию.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';

$config = x140Config();
$session = mysql_xdevapi\getSession($config['uri']);
$schema = null;
$peers = [];
$owned = [];
$removed = [];
$rows = $checks = $observations = [];
try {
    $schema = $session->getSchema($config['schema']);
    if (!$schema->existsInDatabase()) {
        throw new RuntimeException('Учебная схема не существует: подготовьте её отдельно.');
    }
    $runtime = ['php'=>PHP_VERSION, 'extension'=>phpversion('mysql_xdevapi'),
        'server_version'=>$session->getServerVersion(), 'schema'=>$config['schema'],
        'host'=>$config['host'], 'port'=>$config['port']];

$name = x140Name('savepoint_lifetime');
$handle = $schema->getCollection($name);
$existed = $handle->existsInDatabase();
if ($existed) {throw new RuntimeException('Случайное имя уже занято.');}
$collection = $schema->createCollection($name);
$owned[] = $name;

    $collection->add(['_id'=>'CARD-1','stock'=>5])->execute();
    $second = mysql_xdevapi\getSession($config['uri']); $peers[] = $second;
    $observer = $second->getSchema($config['schema'])->getCollection($name);
    $session->startTransaction();
    $collection->modify('_id = :id')->bind(['id'=>'CARD-1'])->set('stock',4)->execute();
    $generated = $session->setSavepoint();
    $collection->modify('_id = :id')->bind(['id'=>'CARD-1'])->set('stock',3)->execute();
    $named = $session->setSavepoint('stage');
    $collection->modify('_id = :id')->bind(['id'=>'CARD-1'])->set('stock',2)->execute();
    $repeated = $session->setSavepoint('stage');
    $collection->modify('_id = :id')->bind(['id'=>'CARD-1'])->set('stock',1)->execute();
    $later = $session->setSavepoint('later');
    $collection->modify('_id = :id')->bind(['id'=>'CARD-1'])->set('stock',0)->execute();
    $rolled = $session->rollbackTo('STAGE');
    $afterNamed = $collection->getOne('CARD-1');
    $laterError = [];
    try {$session->rollbackTo($later);} catch (mysql_xdevapi\Exception $error) {
        $laterError = x140ErrorChain($error);
        if (!x140HasCode($laterError,1305)) {throw $error;}
    }
    // Сама целевая точка после rollbackTo остаётся доступной.
    $again = $session->rollbackTo('stage');
    $afterAgain = $collection->getOne('CARD-1');
    $released = $session->releaseSavepoint('stage');
    $releasedError = [];
    try {$session->rollbackTo('stage');} catch (mysql_xdevapi\Exception $error) {
        $releasedError = x140ErrorChain($error);
        if (!x140HasCode($releasedError,1305)) {throw $error;}
    }
    $session->releaseSavepoint($generated);
    $inside = $collection->getOne('CARD-1');
    $outside = $observer->getOne('CARD-1');
    $session->rollback();
    $afterRollback = $observer->getOne('CARD-1');
    $rows = [['Автоматическое имя сохранено как непустая строка',is_string($generated) && $generated!==''],
        ['Повтор имени stage вернул то же имя',$named===$repeated],
        ['Откат к повторно поставленной stage: stock',$afterNamed['stock']],
        ['Более поздняя later уже недоступна',x140HasCode($laterError,1305)],
        ['Повторный rollbackTo(stage) оставил stock',$afterAgain['stock']],
        ['Освобождённая stage уже недоступна',x140HasCode($releasedError,1305)],
        ['После release: stock внутри транзакции',$inside['stock']],
        ['После release: stock у внешнего читателя',$outside['stock']],
        ['После полного rollback: stock',$afterRollback['stock']]];
    $checks = ['generated_name_real'=>is_string($generated) && $generated!=='',
        'duplicate_name_moves_point'=>$named==='stage' && $repeated==='stage' && $afterNamed['stock']===2,
        'later_point_discarded'=>x140HasCode($laterError,1305),
        'target_point_survives'=>$afterAgain['stock']===2,
        'released_point_rejected'=>x140HasCode($releasedError,1305),
        'release_does_not_commit'=>$inside['stock']===2 && $outside['stock']===5,
        'full_rollback_restores'=>$afterRollback['stock']===5];
    $observations = ['generated_name'=>$generated,'first_named'=>$named,'repeated_named'=>$repeated,
        'rollback_return_type'=>get_debug_type($rolled),'second_rollback_return_type'=>get_debug_type($again),
        'release_return_type'=>get_debug_type($released),'after_named_rollback'=>$afterNamed,
        'later_exception_chain'=>$laterError,'released_exception_chain'=>$releasedError,
        'after_repeat_rollback'=>$afterAgain,'inside_after_release'=>$inside,'outside_after_release'=>$outside,
        'after_full_rollback'=>$afterRollback];

} finally {
    // Сначала освобождаем блокировки всех участников, затем удаляем свою коллекцию.
    try {
        foreach (array_reverse($peers) as $peer) {
            try {$peer->rollback();} finally {$peer->close();}
        }
    } finally {
        try {
            $session->rollback();
            if ($schema instanceof mysql_xdevapi\Schema) {
                $removed = x140Cleanup($schema, $owned);
            }
        } finally {$session->close();}
    }
}

x140Report('mysql140-x-savepoint-lifetime', 'Проверить имя точки и не спутать release с commit', $rows, $checks, $observations, $runtime, $owned, $removed);

Автоматическое имя сохранено как непустая строка — да
Повтор имени stage вернул то же имя — да
Откат к повторно поставленной stage: stock — 2
Более поздняя later уже недоступна — да
Повторный rollbackTo(stage) оставил stock — 2
Освобождённая stage уже недоступна — да
После release: stock внутри транзакции — 2
После release: stock у внешнего читателя — 5
После полного rollback: stock — 5

result.html показывает ведомость, result.json содержит реальные документы и цепочки исключений, metrics.json — проверки. После чтения результата finally освобождает транзакции и удаляет только свою коллекцию.