async/awaitベースのAPIです。サーバー1台に接続してキーを取得し、すぐに解放します。
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で確認してください。