MongoDB\Driver\Session::advanceOperationTime

(mongodb >=1.4.0)

MongoDB\Driver\Session::advanceOperationTime — Збільшує час операції для сеансу

Опис

final public MongoDB\Driver\Session::advanceOperationTime(MongoDB\BSON\TimestampInterface $operationTime): void

Збільшує час операції для сеансу. Якщо час операції менше або дорівнює поточному часу сеансу, функція не працюватиме.

Використовуючи цей метод у поєднанні з MongoDB\Driver\Session::advanceClusterTime() Для копіювання операції та часу кластеризації з іншого сеансу, ви можете гарантувати, що операції у цьому сеансі причинно узгоджуються з останньою операцією на іншому сеансі.

Список параметрів

operationTime

Час операції є логічною відміткою часу. Як правило, це значення буде отримано шляхом виклику MongoDB\Driver\Session::getOperationTime() для іншого об'єкта сеансу.

Значення, що повертаються

Функція не повертає значення після виконання.

Помилки

• При помилці парсингу аргумент кидає винятокMongoDB\Driver\Exception\InvalidArgumentException

Дивіться також

• MongoDB\Driver\Session::advanceClusterTime() - Збільшує час кластера для сеансу
• MongoDB\Driver\Session::getClusterTime() - Повертає час кластера для цього сеансу