catch (WriteException
$e) { if ($this->
isDuplicateKeyException($e)) { throw new LockConflictedException('Lock was acquired by someone else.', 0,
$e);
} throw new LockAcquiringException('Failed to acquire lock.', 0,
$e);
} if ($this->options
['gcProbability'
] > 0.0
&& (1.0 ===
$this->options
['gcProbability'
] || (random_int(0, \PHP_INT_MAX
) / \PHP_INT_MAX
) <=
$this->options
['gcProbability'
])) { $this->
createTtlIndex();
} $this->
checkNotExpired($key);
} /**
* @return void
*
* @throws LockStorageException
* @throws LockExpiredException
*/
public function putOffExpiration(Key
$key, float
$ttl) { $key->
reduceLifetime($ttl);