Der Queue-Picker gatete eine task_dependencies-Kante auf status='done'. review_task(skipVerify) laesst einen erfolgreich gemergten Task aber bewusst auf WaitingForReview stehen, bis verify_merges einmal zentral laeuft -- damit blockierte jeder Nachfolger ueber den gesamten Batch plus Full-Suite-Verify hinweg, bei freien Slots. Eine Kante gilt jetzt als erfuellt, wenn der Vorgaenger 'done' ist ODER sein Merge gelandet ist (worktrees.state = 'merged'). TaskBlocking (get_task/list_tasks/wait_for_task_change) und der UI-Wartehinweis folgen derselben Regel, damit "blocked" nicht meldet, was der Picker claimt. Abgeleitet: revert_merge/abort_merge setzen den Worktree auf Active und blockieren wieder; reject_rerun/reject_park haben nie gemergt und bleiben unerfuellt; ein Task ohne Worktree wird nur ueber 'done' erfuellt; ein fehlgeschlagener verify_merges gibt Nachfolger frei, weil der Code so oder so auf main liegt. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
361 lines
13 KiB
C#
361 lines
13 KiB
C#
using ClaudeDo.Data;
|
|
using ClaudeDo.Data.Models;
|
|
using ClaudeDo.Data.Repositories;
|
|
using ClaudeDo.Worker.Queue;
|
|
using ClaudeDo.Worker.Tests.Infrastructure;
|
|
using TaskStatus = ClaudeDo.Data.Models.TaskStatus;
|
|
|
|
namespace ClaudeDo.Worker.Tests.Queue;
|
|
|
|
public sealed class QueuePickerTests : IDisposable
|
|
{
|
|
private readonly DbFixture _db = new();
|
|
private readonly ClaudeDoDbContext _ctx;
|
|
private readonly TaskRepository _tasks;
|
|
private readonly ListRepository _lists;
|
|
private readonly QueuePicker _picker;
|
|
|
|
public QueuePickerTests()
|
|
{
|
|
_ctx = _db.CreateContext();
|
|
_tasks = new TaskRepository(_ctx);
|
|
_lists = new ListRepository(_ctx);
|
|
_picker = new QueuePicker(_db.CreateFactory());
|
|
}
|
|
|
|
public void Dispose()
|
|
{
|
|
_ctx.Dispose();
|
|
_db.Dispose();
|
|
}
|
|
|
|
private async Task<string> CreateListAsync(bool listAgentTag = false)
|
|
{
|
|
var listId = Guid.NewGuid().ToString();
|
|
await _lists.AddAsync(new ListEntity
|
|
{
|
|
Id = listId,
|
|
Name = "Test",
|
|
CreatedAt = DateTime.UtcNow,
|
|
});
|
|
return listId;
|
|
}
|
|
|
|
private async Task<TaskEntity> SeedAsync(
|
|
string listId,
|
|
TaskStatus status = TaskStatus.Queued,
|
|
DateTime? createdAt = null,
|
|
DateTime? scheduledFor = null,
|
|
string? blockedBy = null,
|
|
bool taskAgentTag = false,
|
|
int? sortOrder = null,
|
|
bool isManual = false,
|
|
params string[] dependsOn)
|
|
{
|
|
var task = new TaskEntity
|
|
{
|
|
Id = Guid.NewGuid().ToString(),
|
|
ListId = listId,
|
|
Title = "T",
|
|
Status = status,
|
|
CreatedAt = createdAt ?? DateTime.UtcNow,
|
|
ScheduledFor = scheduledFor,
|
|
BlockedByTaskId = blockedBy,
|
|
CommitType = "feat",
|
|
IsManual = isManual,
|
|
};
|
|
await _tasks.AddAsync(task);
|
|
if (dependsOn.Length > 0)
|
|
await _ctx.SeedDependsOnAsync(task.Id, dependsOn);
|
|
if (sortOrder is not null)
|
|
{
|
|
task.SortOrder = sortOrder.Value;
|
|
await _tasks.UpdateAsync(task);
|
|
}
|
|
return task;
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_ManualTasks()
|
|
{
|
|
var listId = await CreateListAsync();
|
|
await SeedAsync(listId, isManual: true);
|
|
|
|
Assert.Null(await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None));
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_ManualTask_ButClaimsTheNextOne()
|
|
{
|
|
var listId = await CreateListAsync();
|
|
await SeedAsync(listId, createdAt: DateTime.UtcNow.AddMinutes(-5), isManual: true);
|
|
var claudeTask = await SeedAsync(listId, createdAt: DateTime.UtcNow);
|
|
|
|
var picked = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
|
|
Assert.NotNull(picked);
|
|
Assert.Equal(claudeTask.Id, picked!.Id);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_TasksWithBlockedByTaskId()
|
|
{
|
|
var listId = await CreateListAsync(listAgentTag: true);
|
|
var blocker = await SeedAsync(listId);
|
|
await SeedAsync(listId, blockedBy: blocker.Id);
|
|
|
|
// Only `blocker` is unblocked → it should be claimed; the second pick is null.
|
|
var first = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
Assert.NotNull(first);
|
|
Assert.Equal(blocker.Id, first!.Id);
|
|
|
|
var second = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
Assert.Null(second);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_TasksWithUnmetDependsOn()
|
|
{
|
|
var listId = await CreateListAsync();
|
|
var dependency = await SeedAsync(listId, status: TaskStatus.Idle);
|
|
await SeedAsync(listId, dependsOn: [dependency.Id]);
|
|
|
|
// The dependency is only Idle (not Done), so both stay unclaimed: the dependent is
|
|
// gated on depends_on_task_id, and the dependency itself was never queued.
|
|
Assert.Null(await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None));
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Claims_TaskWhoseDependsOnIsDone()
|
|
{
|
|
var listId = await CreateListAsync();
|
|
var dependency = await SeedAsync(listId, status: TaskStatus.Done);
|
|
var dependent = await SeedAsync(listId, dependsOn: [dependency.Id]);
|
|
|
|
var picked = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
|
|
Assert.NotNull(picked);
|
|
Assert.Equal(dependent.Id, picked!.Id);
|
|
}
|
|
|
|
private async Task SeedWorktreeAsync(string taskId, WorktreeState state)
|
|
{
|
|
_ctx.Worktrees.Add(new WorktreeEntity
|
|
{
|
|
TaskId = taskId,
|
|
Path = $"/tmp/{taskId}",
|
|
BranchName = $"claudedo/{taskId}",
|
|
BaseCommit = "abc123",
|
|
State = state,
|
|
CreatedAt = DateTime.UtcNow,
|
|
});
|
|
await _ctx.SaveChangesAsync();
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Claims_TaskWhoseDependsOnIsMergedButAwaitingBatchVerify()
|
|
{
|
|
// review_task(skipVerify: true) leaves a successfully merged task in WaitingForReview
|
|
// until verify_merges runs once for the whole batch. Gating on Done alone stalled every
|
|
// successor for the entire batch, so a landed merge satisfies the edge.
|
|
var listId = await CreateListAsync();
|
|
var dependency = await SeedAsync(listId, status: TaskStatus.WaitingForReview);
|
|
await SeedWorktreeAsync(dependency.Id, WorktreeState.Merged);
|
|
var dependent = await SeedAsync(listId, dependsOn: [dependency.Id]);
|
|
|
|
var picked = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
|
|
Assert.NotNull(picked);
|
|
Assert.Equal(dependent.Id, picked!.Id);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_TaskWhoseDependsOnWasRejected()
|
|
{
|
|
// reject_rerun/reject_park never merge, so the worktree stays Active -- the successor
|
|
// must keep waiting even though the predecessor left WaitingForReview.
|
|
var listId = await CreateListAsync();
|
|
var dependency = await SeedAsync(listId, status: TaskStatus.Idle);
|
|
await SeedWorktreeAsync(dependency.Id, WorktreeState.Active);
|
|
await SeedAsync(listId, dependsOn: [dependency.Id]);
|
|
|
|
Assert.Null(await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None));
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_TaskWhoseDependsOnMergeWasReverted()
|
|
{
|
|
// revert_merge / abort_merge put the worktree back to Active -- the edge is unmet again.
|
|
var listId = await CreateListAsync();
|
|
var dependency = await SeedAsync(listId, status: TaskStatus.WaitingForReview);
|
|
await SeedWorktreeAsync(dependency.Id, WorktreeState.Active);
|
|
await SeedAsync(listId, dependsOn: [dependency.Id]);
|
|
|
|
Assert.Null(await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None));
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_TaskWhoseWorktreelessDependsOnIsNotDone()
|
|
{
|
|
// A handler task or an empty-diff run has no worktrees row at all: only 'done' can
|
|
// satisfy that edge, and the merged-branch must not accidentally match a missing row.
|
|
var listId = await CreateListAsync();
|
|
var dependency = await SeedAsync(listId, status: TaskStatus.WaitingForReview);
|
|
await SeedAsync(listId, dependsOn: [dependency.Id]);
|
|
|
|
Assert.Null(await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None));
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_TaskWhoseDependsOnFailed_ButKeepsClaimingOthers()
|
|
{
|
|
var listId = await CreateListAsync();
|
|
var dependency = await SeedAsync(listId, status: TaskStatus.Failed);
|
|
await SeedAsync(listId, dependsOn: [dependency.Id]);
|
|
var independent = await SeedAsync(listId, createdAt: DateTime.UtcNow.AddMinutes(1));
|
|
|
|
// A Failed dependency does not cascade-cancel or auto-unblock the dependent (unlike the
|
|
// planning chain's BlockedByTaskId) -- it just stays Queued and skipped forever.
|
|
var first = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
Assert.NotNull(first);
|
|
Assert.Equal(independent.Id, first!.Id);
|
|
|
|
var second = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
Assert.Null(second);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_TaskWhoseDependsOnCancelled()
|
|
{
|
|
var listId = await CreateListAsync();
|
|
var dependency = await SeedAsync(listId, status: TaskStatus.Cancelled);
|
|
await SeedAsync(listId, dependsOn: [dependency.Id]);
|
|
|
|
Assert.Null(await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None));
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_TaskWithOneOfTwoDependenciesUnmet()
|
|
{
|
|
var listId = await CreateListAsync();
|
|
var done = await SeedAsync(listId, status: TaskStatus.Done);
|
|
var running = await SeedAsync(listId, status: TaskStatus.Running);
|
|
await SeedAsync(listId, dependsOn: [done.Id, running.Id]);
|
|
|
|
Assert.Null(await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None));
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Claims_TaskOnceAllDependenciesAreDone()
|
|
{
|
|
var listId = await CreateListAsync();
|
|
var first = await SeedAsync(listId, status: TaskStatus.Done);
|
|
var second = await SeedAsync(listId, status: TaskStatus.Done);
|
|
var dependent = await SeedAsync(listId, dependsOn: [first.Id, second.Id]);
|
|
|
|
var picked = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
|
|
Assert.NotNull(picked);
|
|
Assert.Equal(dependent.Id, picked!.Id);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Claims_TaskWithoutAnyDependency()
|
|
{
|
|
// The gating clause is "no edge whose predecessor isn't done" — a task with zero edges
|
|
// must stay eligible, which the doubly-negated form is easy to get wrong.
|
|
var listId = await CreateListAsync();
|
|
var task = await SeedAsync(listId);
|
|
|
|
var picked = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
|
|
Assert.NotNull(picked);
|
|
Assert.Equal(task.Id, picked!.Id);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Picks_TasksWithoutAgentTag()
|
|
{
|
|
// Queueing a task is itself the explicit "run me" signal — no tag gate.
|
|
var listId = await CreateListAsync(listAgentTag: false);
|
|
var task = await SeedAsync(listId);
|
|
|
|
var picked = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
Assert.NotNull(picked);
|
|
Assert.Equal(task.Id, picked!.Id);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_FutureScheduledFor()
|
|
{
|
|
var listId = await CreateListAsync(listAgentTag: true);
|
|
await SeedAsync(listId, scheduledFor: DateTime.UtcNow.AddHours(1));
|
|
|
|
var picked = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
Assert.Null(picked);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Skips_NonQueuedStatuses()
|
|
{
|
|
var listId = await CreateListAsync(listAgentTag: true);
|
|
await SeedAsync(listId, status: TaskStatus.Idle);
|
|
await SeedAsync(listId, status: TaskStatus.Running);
|
|
await SeedAsync(listId, status: TaskStatus.Done);
|
|
await SeedAsync(listId, status: TaskStatus.Failed);
|
|
await SeedAsync(listId, status: TaskStatus.Cancelled);
|
|
|
|
var picked = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
Assert.Null(picked);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_Picks_ByUserSortOrder_ThenCreatedAt()
|
|
{
|
|
var listId = await CreateListAsync(listAgentTag: true);
|
|
|
|
// Created in order first, second; reorder so second is sort-order 0.
|
|
var first = await SeedAsync(listId, createdAt: DateTime.UtcNow.AddMinutes(-10));
|
|
var second = await SeedAsync(listId, createdAt: DateTime.UtcNow);
|
|
await _tasks.ReorderAsync(listId, new[] { second.Id, first.Id });
|
|
|
|
var picked = await _picker.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None);
|
|
Assert.NotNull(picked);
|
|
Assert.Equal(second.Id, picked!.Id);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_FlipsToRunning_WithStartedAt()
|
|
{
|
|
var listId = await CreateListAsync(listAgentTag: true);
|
|
var task = await SeedAsync(listId);
|
|
|
|
var before = DateTime.UtcNow;
|
|
var picked = await _picker.ClaimNextAsync(before, CancellationToken.None);
|
|
Assert.NotNull(picked);
|
|
|
|
var loaded = await _tasks.GetByIdAsync(task.Id);
|
|
Assert.Equal(TaskStatus.Running, loaded!.Status);
|
|
Assert.NotNull(loaded.StartedAt);
|
|
}
|
|
|
|
[Fact]
|
|
public async Task ClaimNextAsync_TwoParallelPickers_OnlyOneClaimsRow()
|
|
{
|
|
var listId = await CreateListAsync(listAgentTag: true);
|
|
await SeedAsync(listId);
|
|
|
|
// Two pickers, same DB factory, racing each other.
|
|
var picker1 = new QueuePicker(_db.CreateFactory());
|
|
var picker2 = new QueuePicker(_db.CreateFactory());
|
|
|
|
var t1 = Task.Run(() => picker1.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None));
|
|
var t2 = Task.Run(() => picker2.ClaimNextAsync(DateTime.UtcNow, CancellationToken.None));
|
|
|
|
var results = await Task.WhenAll(t1, t2);
|
|
|
|
var nonNull = results.Where(r => r is not null).ToList();
|
|
Assert.Single(nonNull);
|
|
}
|
|
}
|