MongoDB\Driver\Session::advanceClusterTime

(mongodb >=1.4.0)

MongoDB\Driver\Session::advanceClusterTime — Збільшує час кластера для сеансу

Опис

final public MongoDB\Driver\Session::advanceClusterTime(array|object $clusterTime): void

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

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

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

clusterTime

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

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

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

Помилки

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

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

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