private async Task <IEnumerable <RunActorParam> > PrepareMultiAnswerValidatorRunParamsAsync()
{
var meta = await InitialBlobs.FindSingleBlob("limit.json").ReadAsJsonAsync <Limitations>(this);
var ret = new List <RunActorParam>();
var actors = StartedActors.Where(x => x.Name == "HackRunActor" && x.Stage == "GenerateHackeeAnswer");
foreach (var x in actors)
{
var runner = await x.Outputs
.FindSingleBlob("runner.json")
.ReadAsJsonAsync <RunnerReturn>(this);
var validator = InitialBlobs.Single(y => y.Name.StartsWith("Validator"));
if (runner.ExitCode == 0 && !runner.IsTimeout && runner.PeakMemory <= meta.Memory)
{
var output = x.Outputs.FindSingleBlob("stdout.txt");
ret.Add(new RunActorParam("CompareActor", new BlobInfo[]
{
new BlobInfo(output.Id, "out.txt"),
InitialBlobs.FindSingleBlob("std.txt"),
validator,
InitialBlobs.FindSingleBlob("limit.json")
}, x.Tag));
}
}
return(ret);
}
public override async Task RunAsync()
{
Limitation.EnableNetwork = true;
Limitation.ExecutionTimeout = 180000;
var metadata = await InitialBlobs.FindSingleBlob("metadata.json").ReadAsJsonAsync <VirtualJudgeMetadata>(this);
switch (Stage)
{
case "Start":
await SetStageAsync("Start");
goto case "FetchingAccountAndSendRequest";
case "FetchingAccountAndSendRequest":
await SetStageAsync("FetchingAccountAndSendRequest");
var result = await HttpInvokeAsync(HttpMethod.Post, "/management/virtualjudgeaccount/requestaccount", new { id = this.Id });
var response = JsonConvert.DeserializeObject <dynamic>(result);
if (response.code != 200)
{
throw new Exception($"The online judge api responsed error { response.code } \r\n{ response.msg }");
}
var accountFileId = await UploadJsonFileAsync("account.json", new { username = response.data.username, password = response.data.password });
if (metadata.Source == "Bzoj")
{
await DeployAndRunActorAsync(new RunActorParam("BzojJudgeActor",
InitialBlobs.FindSingleBlob("metadata.json"),
new BlobInfo(accountFileId, "account.json")));
}
else if (metadata.Source == "LeetCode")
{
await DeployAndRunActorAsync(new RunActorParam("LeetCodeJudgeActor",
InitialBlobs.FindSingleBlob("metadata.json"),
new BlobInfo(accountFileId, "account.json")));
}
else if (metadata.Source == "CodeVS")
{
await DeployAndRunActorAsync(new RunActorParam("CodeVSJudgeActor",
InitialBlobs.FindSingleBlob("metadata.json"),
new BlobInfo(accountFileId, "account.json")));
}
else
{
throw new NotSupportedException(metadata.Source);
}
goto case "Finally";
case "Finally":
await SetStageAsync("Finally");
await HttpInvokeAsync(HttpMethod.Post, "/management/judge/stagechange/" + this.Id, null);
break;
}
}
private async Task <bool> IsPassedDataRangeValidationAsync()
{
var meta = await InitialBlobs.FindSingleBlob("limit.json").ReadAsJsonAsync <Limitations>(this);
var actor = StartedActors.FindSingleActor(actor: "HackRunActor");
var runner = await actor
.Outputs.FindSingleBlob("runner.json")
.ReadAsJsonAsync <RunnerReturn>(this);
return(runner.ExitCode == 0 && !runner.IsTimeout);
}
public override async Task RunAsync()
{
switch (Stage)
{
case "Start":
await SetStageAsync("Start");
// 开始部署编译Actor
await DeployAndRunActorAsync(new RunActorParam("CompileActor", InitialBlobs.Where(x => x.Name.StartsWith("Main"))));
break;
}
}
private IEnumerable <RunActorParam> PrepareMultiHackeeProgramRunParams()
{
var hackees = InitialBlobs.Where(x => x.Name.StartsWith("Hackee"));
var data = InitialBlobs.FindSingleBlob("data.txt");
foreach (var x in hackees)
{
yield return(new RunActorParam("HackRunActor", new BlobInfo[]
{
new BlobInfo(x.Id, "Main" + Path.GetExtension(x.Name)),
new BlobInfo(data.Id, "stdin.txt"),
InitialBlobs.FindSingleBlob("limit.json")
}, x.Tag));
}
}
private RunActorParam PrepareDataRangeValidatorRunParams()
{
if (!InitialBlobs.Any(x => x.Name.StartsWith("Range")))
{
return(null);
}
var range = InitialBlobs.First(x => x.Name.StartsWith("Range"));
var rangeBlob = new BlobInfo(range.Id, range.Name.Replace("Range", "Main"));
var originData = InitialBlobs.FindSingleBlob("data.txt");
var dataBlob = new BlobInfo(originData.Id, "stdin.txt");
return(new RunActorParam("HackRunActor", new BlobInfo[]
{
rangeBlob,
dataBlob,
InitialBlobs.FindSingleBlob("limit.json")
}, "ValidateData"));
}
private async Task <bool> IsAllStandardSucceededAsync()
{
var meta = await InitialBlobs.FindSingleBlob("limit.json").ReadAsJsonAsync <Limitations>(this);
var runners = StartedActors
.Where(x => x.Tag == "Standard")
.SelectMany(x => x.Outputs)
.Where(x => x.Name == "runner.json")
.ToList();
foreach (var x in runners)
{
var runner = await x.ReadAsJsonAsync <RunnerReturn>(this);
if (runner.ExitCode == 0 && !runner.IsTimeout && !runner.IsOOM && runner.PeakMemory <= meta.Memory)
{
continue;
}
return(false);
}
return(true);
}
public override async Task RunAsync()
{
if (InitialBlobs.Any(x => x.Name.EndsWith(".cs") || x.Name.EndsWith(".fs") || x.Name.EndsWith(".vb")))
{
this.Limitation.Memory = 1024 * 1024 * 1024;
this.Limitation.Ulimit["nproc"] = 128;
}
switch (Stage)
{
case "Start":
await SetStageAsync("Start");
// 开始部署编译Actor
await DeployAndRunActorAsync(new RunActorParam("CompileActor", InitialBlobs.Where(x => x.Name.StartsWith("Main"))));
goto case "RunUserProgram";
case "RunUserProgram":
await SetStageAsync("RunUserProgram");
// 获取编译Actor的运行结果
var compileRunnerResult = await StartedActors
.FindSingleActor("Start", "CompileActor")
.Outputs.FindSingleBlob("runner.json")
.ReadAsJsonAsync <RunnerReturn>(this);
// 如果程序返回值不为0
if (compileRunnerResult.ExitCode == 0)
{
var runActorParams = new List <RunActorParam>();
var inputs = InitialBlobs.Where(x => InputFileRegex.IsMatch(x.Name));
var userProgram = StartedActors.FindSingleActor("Start", "CompileActor").Outputs.Single(x => x.Name.StartsWith("Main.")); // 找到用户程序
var i = 0;
foreach (var x in inputs)
{
var blobs = new[]
{
new BlobInfo(x.Id, "stdin.txt"),
InitialBlobs.FindSingleBlob("limit.json"),
userProgram
};
runActorParams.Add(new RunActorParam(
"RunUserProgramActor",
blobs,
i++.ToString()));
}
await DeployAndRunActorsAsync(runActorParams.ToArray());
goto case "ValidateUserOutput";
}
else
{
goto case "Finally";
}
case "ValidateUserOutput":
await SetStageAsync("ValidateUserOutput");
var RunUserPrograms = StartedActors.FindActor("RunUserProgram", "RunUserProgramActor").ToList(); // 获取运行用户程序Actors
var tasks4 = new List <Task>();
var deployments = new List <RunActorParam>();
var limit = await InitialBlobs.FindSingleBlob("limit.json").ReadAsJsonAsync <Limitations>(this);
foreach (var x in RunUserPrograms)
{
var json4 = await x.Outputs.FindSingleBlob("runner.json").ReadAsJsonAsync <RunnerReturn>(this);
if (json4.PeakMemory > limit.Memory) // 判断是否超出内存限制
{
continue;
}
else if (json4.IsTimeout) // 判断是否超时
{
continue;
}
else if (json4.ExitCode != 0) // 判断是否运行时错误
{
continue;
}
else // 如果运行没有失败，则部署Validator
{
var answerFilename = InitialBlobs.First(y => y.Id == x.Inputs.FindSingleBlob("stdin.txt").Id&& InputFileRegex.IsMatch(y.Name)).Name.Replace("input_", "output_");
var answer = InitialBlobs.FindSingleBlob(answerFilename);
var stdout = x.Outputs.First(y => y.Name == "stdout.txt");
var validator = InitialBlobs.First(y => y.Name.StartsWith("Validator"));
deployments.Add(new RunActorParam("CompareActor", new[]
{
new BlobInfo(answer.Id, "std.txt", x.Inputs.FindSingleBlob("stdin.txt").Tag),
new BlobInfo(stdout.Id, "out.txt", x.Inputs.FindSingleBlob("stdin.txt").Tag),
validator
},
x.Tag));
}
}
tasks4.Add(DeployAndRunActorsAsync(deployments.ToArray()));
await Task.WhenAll(tasks4);
goto case "Finally";
case "Finally":
await SetStageAsync("Finally");
HttpInvokeAsync(HttpMethod.Post, "/management/judge/stagechange/" + this.Id, null);
break;
}
}
public override async Task RunAsync()
{
// Prepare
var profile = await InitialBlobs.FindBlob("profile.json").ReadAsJsonAsync <dynamic>(this);
switch (Stage)
{
case "Start":
await SetStageAsync("Start");
await DeployAndRunActorsAsync(
new RunActorParam("CompileUserCodeActor", InitialBlobs.FindBlob("Main.cpp")),
new RunActorParam("CompileValidatorCodeActor", InitialBlobs.FindBlob("Validator.cpp")));
goto case "ValidateUserCompileResult";
case "ValidateUserCompileResult":
await SetStageAsync("ValidateUserCompileResult");
var json = await StartedActors.FindSingleActor("Start", "CompileUserCodeActor").Outputs.FindBlob("runner.json").ReadAsJsonAsync <dynamic>(this);
if (json.ExitCode != 0)
{
if (json.IsTimeout)
{
await HttpInvokeAsync(HttpMethod.Put, "/JudgeResult/" + this.Id, new
{
Result = "Compile Error",
Error = "Compiler timeout.",
TimeUsed = json.UserTime
});
}
else
{
await HttpInvokeAsync(HttpMethod.Put, "/JudgeResult/" + this.Id, new
{
Result = "Compile Error",
Error = StartedActors
.FindSingleActor("Start", "CompileUserCodeActor")
.Outputs
.FindBlob("stderr.txt"),
ExitCode = json.ExitCode
});
}
break;
}
goto case "ValidateValidatorCompileResult";
case "ValidateValidatorCompileResult":
await SetStageAsync("ValidateValidatorCompileResult");
var json2 = await StartedActors
.FindSingleActor("Start", "CompileValidatorCodeActor")
.Outputs
.FindBlob("runner.json")
.ReadAsJsonAsync <dynamic>(this);
if (json2.ExitCode != 0)
{
if (json2.IsTimeout)
{
await HttpInvokeAsync(HttpMethod.Put, "/JudgeResult/" + this.Id, new
{
Result = "Validator Compile Error",
Error = "Compiler timeout.",
TimeUsed = json2.UserTime
});
}
else
{
await HttpInvokeAsync(HttpMethod.Put, "/JudgeResult/" + this.Id, new
{
Result = "Validator Compile Error",
Error = await StartedActors
.FindSingleActor("Start", "CompileValidatorCodeActor")
.Outputs
.FindBlob("stderr.txt")
.ReadAllTextAsync(this),
ExitCode = json2.ExitCode
});
}
break;
}
goto case "RunUserProgramActor";
case "RunUserProgramActor":
await SetStageAsync("RunUserProgramActor");
var compileUserCodeActor = StartedActors.FindSingleActor("Start", "CompileUserCodeActor");
var json3 = await compileUserCodeActor.Outputs.FindBlob("runner.json").ReadAsJsonAsync <dynamic>(this);
if (json3.ExitCode != 0)
{
if (json3.IsTimeout)
{
await HttpInvokeAsync(HttpMethod.Put, "/JudgeResult/" + this.Id, new
{
Result = "Compile Error",
Error = "Compiler timeout.",
TimeUsed = json3.UserTime
});
}
else
{
await HttpInvokeAsync(HttpMethod.Put, "/JudgeResult/" + this.Id, new
{
Result = "Compile Error",
Error = await compileUserCodeActor
.Outputs
.FindBlob("stderr.txt").ReadAllTextAsync(this),
ExitCode = json3.ExitCode
});
}
break;
}
var runActorParams = new List <RunActorParam>();
var inputs = InitialBlobs.Where(x => InputFileRegex.IsMatch(x.Name));
var userProgram = StartedActors.FindSingleActor("Start", "CompileUserCodeActor").Outputs.FindBlob("Main.out");
foreach (var x in inputs)
{
runActorParams.Add(new RunActorParam("RunUserProgramActor", x, userProgram));
}
await DeployAndRunActorsAsync(runActorParams.ToArray());
goto case "ValidateUserOutput";
case "ValidateUserOutput":
await SetStageAsync("ValidateUserOutput");
var runUserProgramActors = StartedActors.FindActor("RunUserProgramActor");
var tasks4 = new List <Task>();
foreach (var x in runUserProgramActors)
{
var json4 = await x.Outputs.FindBlob("runner.json").ReadAsJsonAsync <dynamic>(this);
if (json4.PeakMemory > profile.Memory)
{
tasks4.Add(HttpInvokeAsync(HttpMethod.Put, "/JudgeResult/" + this.Id, new
{
Result = "Memory Limit Exceeded",
InputFile = x.Inputs.Single(y => InputFileRegex.IsMatch(y.Name))
}));
}
else if (json4.ExitCode != 0)
{
tasks4.Add(HttpInvokeAsync(HttpMethod.Put, "/JudgeResult/" + this.Id, new
{
Result = json4.IsTimeout ? "Time Limit Exceeded" : "Runtime Error",
InputFile = x.Inputs.Single(y => InputFileRegex.IsMatch(y.Name))
}));
}
else
{
var answerFilename = x.Outputs.Single(y => InputFileRegex.IsMatch(y.Name)).Name.Replace("input_", "output_");
var answer = InitialBlobs.FindBlob(answerFilename);
var stdout = x.Outputs.Single(y => y.Name == "stdout.txt");
var validator = StartedActors
.FindSingleActor("Start", "CompileValidatorCodeActor")
.Outputs
.FindBlob("Validator.out");
tasks4.Add(DeployAndRunActorAsync(new RunActorParam("CompareActor", new[] { answer, stdout, validator })));
}
}
await Task.WhenAll(tasks4);
goto case "Finally";
case "Finally":
await SetStageAsync("Finally");
var compileActors = StartedActors.FindActor("ValidateUserOutput", "CompareActor");
var tasks5 = new List <Task>();
foreach (var x in compileActors)
{
var json5 = await x.Outputs.FindBlob("runner.json").ReadAsJsonAsync <dynamic>(this);
tasks5.Add(HttpInvokeAsync(HttpMethod.Put, "/JudgeResult/" + Id, new
{
Result = json5.ExitCode == 0 ? "Accepted" : (json5.ExitCode == 1 ? "Wrong Answer" : (json5.ExitCode == 2 ? "Presentation Error" : "Validator Error")),
TimeUsed = json5.UserTime,
MemoryUsed = json5.PeakMemory,
InputFile = x.Inputs.Single(y => OutputFileRegex.IsMatch(y.Name)).Name.Replace("output_", "input_")
}));
}
await Task.WhenAll(tasks5);
break;
}
}
