async/await 기반 API입니다. 서버 하나에 접속해 키를 획득하고 바로 반납합니다.
var wait = TimeSpan.FromSeconds(5);
var lease = TimeSpan.FromSeconds(30);
await using var broker = TicketBroker.Connect(["127.0.0.1:5225"]);
await broker.WaitReadyAsync(TimeSpan.FromSeconds(5));
var ticket = await broker.AcquireAsync("key", wait, lease);
await ticket.ReleaseAsync();
Console.WriteLine("pass");여러 태스크가 계좌별 락으로 상호배제하며 입금/출금을 반복해도 잔액이 항상 시작값으로 돌아오는지 검증하는 예제입니다.
private async Task Transaction(int account, long delta)
{
var key = $"account-{account}";
Ticket ticket;
try
{
ticket = await _broker.AcquireAsync(key, Wait, Lease);
}
catch (Exception e)
{
_log.LogError($"account {account} acquire failed: {e.Message}");
return;
}
await using var _ = ticket; // 스코프를 벗어나며 백그라운드 자동 반납
var before = _balances[account];
await Task.Yield();
var after = before + delta;
_balances[account] = after;
var (action, sign) = delta < 0 ? ("withdraw", '-') : ("deposit", '+');
_log.LogInformation($"account {account} {action} {sign}${Amount} -> ${after}");
}전체 예제는 ExampleTest.cs, ExampleBankTest.cs, BenchTest.cs에서 확인하세요.