public void Options(RedisDistributedSynchronizationOptionsBuilder options) { if (this._preparedForHandleLost) { options.ExtensionCadence(TimeSpan.FromMilliseconds(30)); } if (this._preparedForHandleAbandonment) { options.Expiry(TimeSpan.FromSeconds(.2)) // the reader writer lock requires that the busy wait sleep time is shorter // than the expiry, so adjust for that .BusyWaitSleepTime(TimeSpan.FromSeconds(.01), TimeSpan.FromSeconds(.1)); } this._options?.Invoke(options); }
private static void RedisOptions(RedisDistributedSynchronizationOptionsBuilder options) => options.Expiry(TimeSpan.FromSeconds(.5)) // short expiry for abandonment testing .BusyWaitSleepTime(TimeSpan.FromSeconds(.1), TimeSpan.FromSeconds(.3));