A long job keeps its lease, and runs once
A lease lasted two minutes and was never renewed, so the reaper gave any longer job to a second worker while the first still ran it, and both finished it. The worker now renews the lease every third of its length while the handler runs; a lease found taken (reaped and leased again) cancels the handler. Each lease carries its own owner stamp, since every worker of a process shares one name, and Finish only counts for the lease it was given. Media processing and persona archives will run longer than two minutes. JobQueueTests: a job three times its lease runs once with the reaper finding nothing, and a stolen lease stops its handler and drops its outcome. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01LsXgEaXee4GCU1hwYgPJXw
This commit is contained in:
1 parent
8492f24064
commit
402f9e0d75
4 files changed
+178
-9
No files matched your search
@@ -226,7 +226,9 @@ group www-data and reaches the private mongod; `sudo -u www-data` works too.
|
||||
marks (`Domain/Statuses/ConversationStates.cs`; writing in a conversation reads it).
|
||||
10. **Nothing slow happens inside a request.** Deliveries and inbox processing are `Job`s (`Infrastructure/Jobs`):
|
||||
leased, retried on Mastodon's curve, at most two per host, paused per host by `RemoteInstance`. The inbox answers
|
||||
202 once it has verified and queued; a handler must be idempotent (unique `ObjectURI`, job `DedupeKey`).
|
||||
202 once it has verified and queued; a handler must be idempotent (unique `ObjectURI`, job `DedupeKey`). A lease
|
||||
(2 minutes, stamped with its own owner) is renewed every third of its length while the handler runs, so a long job
|
||||
runs once; a lease found taken cancels the handler, and `Finish` only counts for the lease it was given.
|
||||
11. **Every number about posts and users goes through `Domain/Privacy/Counted`** (owner decision 2026-10-04: one
|
||||
answer everywhere): a persona's `statuses_count`, its outbox `totalItems`, NodeInfo `localPosts` and the instance
|
||||
`status_count` all count Mastodon's way (not deleted, not a DM, boosts included, circle and located posts too);
|
||||
|
||||
@@ -1,3 +1,5 @@
|
||||
using Microsoft.Extensions.Logging.Abstractions;
|
||||
|
||||
using MongoDB.Entities;
|
||||
|
||||
using PrivaPub.Infrastructure.Jobs;
|
||||
@@ -74,6 +76,8 @@ namespace PrivaPub.Tests.Infrastructure
|
||||
Assert.Equal(JobState.Pending, after.State);
|
||||
Assert.True(after.RunAt > DateTime.UtcNow.AddSeconds(10));
|
||||
|
||||
// leased again for its third attempt (a finish only counts for the lease it was given)
|
||||
await DB.Default.Update<Job>().MatchID(leased.ID).Modify(j => j.State, JobState.Running).Modify(j => j.LeaseOwner, leased.LeaseOwner).ExecuteAsync(token);
|
||||
leased.Attempts = 3;
|
||||
await queue.Finish(leased, JobOutcome.Retry("boom"), maxAttempts: 3, token);
|
||||
Assert.Equal(JobState.Dead, (await DB.Default.Find<Job>().OneAsync(leased.ID, token)).State);
|
||||
@@ -90,5 +94,100 @@ namespace PrivaPub.Tests.Infrastructure
|
||||
|
||||
Assert.Equal(JobState.Pending, (await DB.Default.Find<Job>().OneAsync(job.ID, token)).State);
|
||||
}
|
||||
|
||||
// a handler running three times its lease keeps it: the reaper finds nothing to take back and it runs once
|
||||
[Fact]
|
||||
public async Task A_long_job_keeps_its_lease_and_runs_once()
|
||||
{
|
||||
var token = TestContext.Current.CancellationToken;
|
||||
var kind = (JobKind)(2000 + Random.Shared.Next(100000));
|
||||
var queue = new JobQueue(TimeSpan.FromSeconds(1.5), j => j.Kind == kind);
|
||||
var handler = new SlowHandler(kind, TimeSpan.FromSeconds(4.5));
|
||||
await queue.Enqueue(kind, "{}", default, default, token);
|
||||
|
||||
using var worker = new JobWorker(queue, new IJobHandler[] { handler }, NullLogger<JobWorker>.Instance);
|
||||
await worker.StartAsync(token);
|
||||
try
|
||||
{
|
||||
var deadline = DateTime.UtcNow.AddSeconds(20);
|
||||
while (!await DB.Default.Find<Job>().Match(j => j.Kind == kind && j.State == JobState.Done).ExecuteAnyAsync(token))
|
||||
{
|
||||
Assert.True(DateTime.UtcNow < deadline, "the job never finished");
|
||||
Assert.Equal(0, await queue.Reap(token));
|
||||
await Task.Delay(250, token);
|
||||
}
|
||||
}
|
||||
finally
|
||||
{
|
||||
await worker.StopAsync(CancellationToken.None);
|
||||
}
|
||||
|
||||
Assert.Equal(1, handler.Started);
|
||||
}
|
||||
|
||||
// a lease taken by another worker (reaped, then leased again) stops the handler, and its outcome is not recorded
|
||||
[Fact]
|
||||
public async Task A_lost_lease_stops_the_handler_and_drops_its_outcome()
|
||||
{
|
||||
var token = TestContext.Current.CancellationToken;
|
||||
var kind = (JobKind)(2000 + Random.Shared.Next(100000));
|
||||
var queue = new JobQueue(TimeSpan.FromSeconds(1.5), j => j.Kind == kind);
|
||||
var handler = new SlowHandler(kind, TimeSpan.FromSeconds(30));
|
||||
await queue.Enqueue(kind, "{}", default, default, token);
|
||||
|
||||
using var worker = new JobWorker(queue, new IJobHandler[] { handler }, NullLogger<JobWorker>.Instance);
|
||||
await worker.StartAsync(token);
|
||||
try
|
||||
{
|
||||
var deadline = DateTime.UtcNow.AddSeconds(20);
|
||||
while (handler.Started == 0)
|
||||
{
|
||||
Assert.True(DateTime.UtcNow < deadline, "the job never started");
|
||||
await Task.Delay(100, token);
|
||||
}
|
||||
await DB.Default.Update<Job>().Match(j => j.Kind == kind).Modify(j => j.LeaseOwner, "another worker").ExecuteAsync(token);
|
||||
while (!handler.Cancelled)
|
||||
{
|
||||
Assert.True(DateTime.UtcNow < deadline, "the handler was never stopped");
|
||||
await Task.Delay(100, token);
|
||||
}
|
||||
await Task.Delay(300, token);
|
||||
}
|
||||
finally
|
||||
{
|
||||
await worker.StopAsync(CancellationToken.None);
|
||||
}
|
||||
|
||||
var job = await DB.Default.Find<Job>().Match(j => j.Kind == kind).ExecuteFirstAsync(token);
|
||||
Assert.Equal(JobState.Running, job.State);
|
||||
Assert.Equal("another worker", job.LeaseOwner);
|
||||
}
|
||||
|
||||
sealed class SlowHandler(JobKind kind, TimeSpan takes) : IJobHandler
|
||||
{
|
||||
int _started;
|
||||
|
||||
public int Started => _started;
|
||||
public bool Cancelled { get; private set; }
|
||||
public JobKind Kind => kind;
|
||||
public int Concurrency => 1;
|
||||
public int MaxAttempts => 3;
|
||||
public int PerHostLimit => 1;
|
||||
|
||||
public async Task<JobOutcome> Handle(Job job, CancellationToken token)
|
||||
{
|
||||
Interlocked.Increment(ref _started);
|
||||
try
|
||||
{
|
||||
await Task.Delay(takes, token);
|
||||
}
|
||||
catch (OperationCanceledException)
|
||||
{
|
||||
Cancelled = true;
|
||||
throw;
|
||||
}
|
||||
return JobOutcome.Done;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -1,3 +1,4 @@
|
||||
using MongoDB.Bson;
|
||||
using MongoDB.Driver;
|
||||
using MongoDB.Entities;
|
||||
|
||||
@@ -29,8 +30,13 @@ namespace PrivaPub.Infrastructure.Jobs
|
||||
Task<bool> Enqueue(JobKind kind, string payload, string host, string dedupeKey, CancellationToken token);
|
||||
Task<string> Payload(string dedupeKey, CancellationToken token);
|
||||
Task<int> EnqueueMany(IEnumerable<Job> jobs, CancellationToken token);
|
||||
/// <summary>How long a lease lasts unless it is renewed.</summary>
|
||||
TimeSpan LeaseFor { get; }
|
||||
Task<Job> Lease(JobKind kind, IReadOnlyCollection<string> busyHosts, CancellationToken token);
|
||||
Task Finish(Job job, JobOutcome outcome, int maxAttempts, CancellationToken token);
|
||||
/// <summary>Extends a running job's lease; false once it is no longer this lease's (reaped and leased again).</summary>
|
||||
Task<bool> Renew(Job job, CancellationToken token);
|
||||
/// <summary>Records the outcome; false when the lease was lost meanwhile, and then nothing changes.</summary>
|
||||
Task<bool> Finish(Job job, JobOutcome outcome, int maxAttempts, CancellationToken token);
|
||||
Task<long> Reap(CancellationToken token);
|
||||
Task WaitForWork(JobKind kind, TimeSpan poll, CancellationToken token);
|
||||
}
|
||||
@@ -39,6 +45,8 @@ namespace PrivaPub.Infrastructure.Jobs
|
||||
{
|
||||
public static readonly TimeSpan LeaseTime = TimeSpan.FromMinutes(2);
|
||||
|
||||
// every lease is stamped with its own owner (the process and a fresh id): two workers of one process, the second
|
||||
// leasing a job the reaper took back from the first, must not renew nor finish each other's lease
|
||||
readonly string _owner = $"{Environment.MachineName}:{Environment.ProcessId}";
|
||||
readonly ConcurrentDictionary<JobKind, SemaphoreSlim> _signals = new();
|
||||
readonly FilterDefinition<Job> _scope = Builders<Job>.Filter.Empty;
|
||||
@@ -49,6 +57,15 @@ namespace PrivaPub.Infrastructure.Jobs
|
||||
|
||||
public JobQueue(Expression<Func<Job, bool>> scope) => _scope = Builders<Job>.Filter.Where(scope);
|
||||
|
||||
public JobQueue(TimeSpan leaseFor, Expression<Func<Job, bool>> scope = default)
|
||||
{
|
||||
LeaseFor = leaseFor;
|
||||
if (scope != default)
|
||||
_scope = Builders<Job>.Filter.Where(scope);
|
||||
}
|
||||
|
||||
public TimeSpan LeaseFor { get; } = LeaseTime;
|
||||
|
||||
public async Task<bool> Enqueue(JobKind kind, string payload, string host, string dedupeKey, CancellationToken token) =>
|
||||
await EnqueueMany(new[] { new Job { Kind = kind, Payload = payload, Host = host, DedupeKey = dedupeKey } }, token) == 1;
|
||||
|
||||
@@ -81,17 +98,26 @@ namespace PrivaPub.Infrastructure.Jobs
|
||||
return await DB.Default.UpdateAndGet<Job>()
|
||||
.Match(f => f.Where(j => j.Kind == kind && j.State == JobState.Pending && j.RunAt <= now && !busy.Contains(j.Host)) & _scope)
|
||||
.Modify(j => j.State, JobState.Running)
|
||||
.Modify(j => j.LeasedUntil, now + LeaseTime)
|
||||
.Modify(j => j.LeaseOwner, _owner)
|
||||
.Modify(j => j.LeasedUntil, now + LeaseFor)
|
||||
.Modify(j => j.LeaseOwner, $"{_owner}/{ObjectId.GenerateNewId()}")
|
||||
.Modify(b => b.Inc(j => j.Attempts, 1))
|
||||
.Option(o => o.Sort = Builders<Job>.Sort.Ascending(j => j.RunAt))
|
||||
.ExecuteAsync(token);
|
||||
}
|
||||
|
||||
public async Task Finish(Job job, JobOutcome outcome, int maxAttempts, CancellationToken token)
|
||||
public async Task<bool> Renew(Job job, CancellationToken token)
|
||||
{
|
||||
var result = await DB.Default.Update<Job>()
|
||||
.Match(j => j.ID == job.ID && j.State == JobState.Running && j.LeaseOwner == job.LeaseOwner)
|
||||
.Modify(j => j.LeasedUntil, DateTime.UtcNow + LeaseFor)
|
||||
.ExecuteAsync(token);
|
||||
return result.MatchedCount == 1;
|
||||
}
|
||||
|
||||
public async Task<bool> Finish(Job job, JobOutcome outcome, int maxAttempts, CancellationToken token)
|
||||
{
|
||||
var now = DateTime.UtcNow;
|
||||
var update = DB.Default.Update<Job>().MatchID(job.ID)
|
||||
var update = DB.Default.Update<Job>().Match(j => j.ID == job.ID && j.LeaseOwner == job.LeaseOwner)
|
||||
.Modify(j => j.LeasedUntil, null)
|
||||
.Modify(j => j.LeaseOwner, null)
|
||||
.Modify(j => j.LastError, outcome.Error);
|
||||
@@ -112,7 +138,7 @@ namespace PrivaPub.Infrastructure.Jobs
|
||||
update.Modify(j => j.State, JobState.Dead).Modify(j => j.FinishedAt, now);
|
||||
break;
|
||||
}
|
||||
await update.ExecuteAsync(token);
|
||||
return (await update.ExecuteAsync(token)).MatchedCount == 1;
|
||||
}
|
||||
|
||||
public async Task<long> Reap(CancellationToken token)
|
||||
|
||||
@@ -69,18 +69,27 @@ namespace PrivaPub.Infrastructure.Jobs
|
||||
|
||||
var host = job.Host ?? string.Empty;
|
||||
inFlight.AddOrUpdate(host, 1, (_, count) => count + 1);
|
||||
// the lease is renewed while the handler runs; once it is lost (another worker leased the job again) the
|
||||
// handler is cancelled and its outcome dropped
|
||||
using var running = CancellationTokenSource.CreateLinkedTokenSource(stoppingToken);
|
||||
var renewing = KeepLease(job, running);
|
||||
try
|
||||
{
|
||||
JobOutcome outcome;
|
||||
try
|
||||
{
|
||||
using var scope = HttpScope.Triggered(handler.Kind.ToString().ToLowerInvariant());
|
||||
outcome = await handler.Handle(job, stoppingToken);
|
||||
outcome = await handler.Handle(job, running.Token);
|
||||
}
|
||||
catch (OperationCanceledException) when (stoppingToken.IsCancellationRequested)
|
||||
{
|
||||
return;
|
||||
}
|
||||
catch (OperationCanceledException) when (running.IsCancellationRequested)
|
||||
{
|
||||
_logger.LogWarning("{Kind} job {Id} lost its lease and was stopped", handler.Kind, job.ID);
|
||||
continue;
|
||||
}
|
||||
catch (Exception ex)
|
||||
{
|
||||
_logger.LogError(ex, "{Kind} job {Id} threw", handler.Kind, job.ID);
|
||||
@@ -90,7 +99,8 @@ namespace PrivaPub.Infrastructure.Jobs
|
||||
if (outcome.Result != JobResult.Done && job.Attempts >= handler.MaxAttempts && outcome.Result == JobResult.Retry)
|
||||
_logger.LogWarning("{Kind} job {Id} for {Host} is dead after {Attempts} attempts: {Error}",
|
||||
handler.Kind, job.ID, job.Host, job.Attempts, outcome.Error);
|
||||
await _queue.Finish(job, outcome, handler.MaxAttempts, CancellationToken.None);
|
||||
if (!await _queue.Finish(job, outcome, handler.MaxAttempts, CancellationToken.None))
|
||||
_logger.LogWarning("{Kind} job {Id} lost its lease before it finished; its outcome is dropped", handler.Kind, job.ID);
|
||||
}
|
||||
catch (Exception ex)
|
||||
{
|
||||
@@ -98,11 +108,43 @@ namespace PrivaPub.Infrastructure.Jobs
|
||||
}
|
||||
finally
|
||||
{
|
||||
await running.CancelAsync();
|
||||
await renewing;
|
||||
inFlight.AddOrUpdate(host, 0, (_, count) => count - 1);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// renews the lease every third of its length until the handler ends; a lease found lost cancels the handler
|
||||
async Task KeepLease(Job job, CancellationTokenSource running)
|
||||
{
|
||||
var every = _queue.LeaseFor / 3;
|
||||
while (!running.IsCancellationRequested)
|
||||
{
|
||||
try
|
||||
{
|
||||
await Task.Delay(every, running.Token);
|
||||
}
|
||||
catch (OperationCanceledException)
|
||||
{
|
||||
return;
|
||||
}
|
||||
|
||||
try
|
||||
{
|
||||
if (await _queue.Renew(job, CancellationToken.None))
|
||||
continue;
|
||||
await running.CancelAsync();
|
||||
return;
|
||||
}
|
||||
catch (Exception ex)
|
||||
{
|
||||
// a passing database error: the lease has two more thirds to go, so try again at the next turn
|
||||
_logger.LogWarning(ex, "{Worker} could not renew the lease of job {Id}", nameof(JobWorker), job.ID);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
async Task Reap(CancellationToken stoppingToken)
|
||||
{
|
||||
while (!stoppingToken.IsCancellationRequested)
|
||||
|
||||
Reference in new issue
Block a user