Redis semaphore: current count

[mesztam84]

Hi,

is there any way to query the current number of acquired tickets of a redis semaphore? Would be great for monitoring.

[madelson]

Currently there's no API for that. You can see how it would be implemented by looking at AcquireScript in RedisSemaphorePrimitive.cs; the first part is checking the count.

So one option is implementing a similar script in your code.

I also think it would be reasonable to add an API to RedisDistributedSemaphore for this:

public int GetCurrentCount();
public ValueTask<int> GetCurrentCountAsync();

I'd be happy to review and accept such a contribution.