PHP 8.4.2 Released!

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() для другого объекта сеанса.

Возвращаемые значения

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

Ошибки

Смотрите также

Добавить

Примечания пользователей

Пользователи ещё не добавляли примечания для страницы
To Top