//
//Submission Status Listview
//
private void AssignAspectFunctions()
{
subtimeSUB.AspectGetter = delegate(object row)
{
JudgeStatus last = (JudgeStatus)row;
return(UnixTimestamp.FormatUnixTime(last.sbt));
};
lanSUB.AspectToStringConverter = delegate(object dat)
{
return(Functions.GetLanguage((Language)dat));
};
verSUB.AspectToStringConverter = delegate(object dat)
{
return(Functions.GetVerdict((Verdict)dat));
};
runSUB.AspectToStringConverter = delegate(object dat)
{
return(Functions.FormatRuntime((long)dat));
};
memSUB.AspectToStringConverter = delegate(object dat)
{
return(Functions.FormatMemory((long)dat));
};
rankSUB.AspectToStringConverter = delegate(object dat)
{
if ((long)dat == -1)
{
return("-");
}
return(((long)dat).ToString());
};
}
private void submissionStatus_HyperlinkClicked(object sender, BrightIdeasSoftware.HyperlinkClickedEventArgs e)
{
JudgeStatus list = (JudgeStatus)e.Model;
if (e.Column == pnumSUB || e.Column == ptitleSUB)
{
Interactivity.ShowProblem(list.pnum);
}
else if (e.Column == unameSUB)
{
if (LocalDatabase.ContainsUser(list.uname))
{
Interactivity.ShowUserStat(list.uname);
}
else
{
if (MessageBox.Show("Add \"" + list.uname + "\" to your favorite list?", "Add User",
MessageBoxButtons.YesNo) == DialogResult.No)
{
return;
}
RegistryAccess.AddUserid(list.uname, list.uid.ToString());
Interactivity.ShowUserStat(list.uname);
}
}
}
/// <summary>
/// 判定結果の表示
/// </summary>
/// <param name="judge"></param>
private void DispJudge(JudgeStatus judge)
{
switch (judge)
{
case JudgeStatus.Ready:
labelJudge.Text = "Please Click [スタート] !";
labelJudge.ForeColor = Color.Tomato;
break;
case JudgeStatus.Start:
labelJudge.Text = "G o G o !";
labelJudge.ForeColor = Color.White;
break;
case JudgeStatus.Pass:
labelJudge.Text = "O K !";
labelJudge.ForeColor = Color.LawnGreen;
break;
case JudgeStatus.Fail:
labelJudge.Text = "M i s s !";
labelJudge.ForeColor = Color.Magenta;
break;
case JudgeStatus.Clear:
// 結果表示
labelJudge.Text = "C l e a r !";
labelJudge.ForeColor = Color.Aquamarine;
break;
}
// その時点のメッセージを保管しておく
CurrentJudgeMessage = labelJudge.Text;
}
/// <summary>
/// 判定結果の表示
/// </summary>
/// <param name="judge"></param>
private void DispJudge(JudgeStatus judge)
{
switch (judge)
{
case JudgeStatus.Start:
labelJudge.Text = "";
labelJudge.ForeColor = Color.White;
break;
case JudgeStatus.Pass:
labelJudge.Text = "O K !";
labelJudge.ForeColor = Color.LawnGreen;
break;
case JudgeStatus.Fail:
labelJudge.Text = "M i s s !";
labelJudge.ForeColor = Color.Magenta;
break;
case JudgeStatus.Clear:
labelJudge.Text = "C l e a r !";
labelJudge.ForeColor = Color.Aquamarine;
break;
}
}
private async Task <bool> IsStatusCouldBeHacked(JudgeStatus status, ContestExecutorFactory cef, CancellationToken token)
{
if (User.IsSignedIn() && User.Current.Id == status.UserId)
{
return(false);
}
return(await IsStatusCodeCouldBeViewed(status, cef, token));
}
public override bool IsStatusHackable(JudgeStatus status)
{
var signedIn = User.IsSignedIn();
var hackStatus = DB.ContestProblemLastStatuses.FirstOrDefault(x => x.ContestId == ContestId && x.StatusId == status.Id && x.IsHackable);
var statusIsHackable = hackStatus != null;
var cpls = DB.ContestProblemLastStatuses.FirstOrDefault(x => x.ContestId == ContestId && x.UserId == User.Current.Id && x.ProblemId == status.ProblemId && x.IsLocked);
var problemLocked = cpls != null;
return(signedIn && statusIsHackable && problemLocked && (!cpls.IsVirtual && !hackStatus.IsVirtual || cpls.IsVirtual));
}
public override void OnJudgeCompleted(JudgeStatus status)
{
var attendee = DB.Attendees
.Single(x => x.ContestId == status.ContestId && x.UserId == status.UserId);
var cpls = DB.ContestProblemLastStatuses
.Include(x => x.Status)
.SingleOrDefault(x => x.ProblemId == status.ProblemId && x.UserId == status.UserId && x.ContestId == status.ContestId);
var contestProblem = DB.ContestProblems.Single(x => x.ContestId == status.ContestId && x.ProblemId == status.ProblemId);
var duration = ComputeTimeSpan(status.CreatedTime, status.UserId);
var validTestCases = GetValidTestCasesAsync(status.ProblemId, status.UserId, default(CancellationToken)).Result;
bool isHackable = false;
if (validTestCases.Count() == 0)
{
isHackable = true;
}
else
{
isHackable = status.SubStatuses.Where(x => validTestCases.Contains(x.TestCaseId.Value)).Select(x => x.Result).Max() == JudgeResult.Accepted;
}
if (cpls == null)
{
cpls = new ContestProblemLastStatus
{
ProblemId = status.ProblemId,
ContestId = status.ContestId,
UserId = status.UserId,
StatusId = status.Id,
Point = status.Result == JudgeResult.Accepted ? CaculatePoint(contestProblem.Point, duration, 1) : 0,
Point2 = 0,
Point3 = 0,
Point4 = 1,
TimeSpan = duration,
IsAccepted = status.Result == JudgeResult.Accepted,
IsVirtual = attendee.IsVirtual,
IsHackable = isHackable
};
DB.ContestProblemLastStatuses.Add(cpls);
}
else
{
cpls.StatusId = status.Id;
cpls.Point4++;
cpls.Point = status.Result == JudgeResult.Accepted ? CaculatePoint(contestProblem.Point, ComputeTimeSpan(status.CreatedTime, status.UserId), cpls.Point4) : 0;
cpls.TimeSpan = duration;
cpls.IsAccepted = status.Result == JudgeResult.Accepted;
cpls.IsHackable = isHackable;
cpls.IsHacked = isHackable ? false : cpls.IsHacked;
}
DB.SaveChanges();
}
private void BindScores(JudgeStatus js)
{
ScoreType type = ScoreService.GetScoreType(js.Portfolio.Status);
var list = from s in js.Portfolio.Scores
where s.Type == type && s.Judge.Id == Judge.Id
select s;
totalScore = ScoreService.ComputeScore(Judge, js.Portfolio);
gvScores.DataSource = list;
gvScores.DataBind();
}
public override void OnShowJudgeResult(JudgeStatus status)
{
if (status.SubStatuses != null)
{
status.SubStatuses.Clear();
status.SubStatuses.Add(new SubJudgeStatus
{
Result = status.Result,
SubId = 1,
Hint = "ACM/ICPC 赛制不支持查看测试点详情"
});
}
}
private void LoadApplication()
{
JudgeStatus js = ScoreService.GetJudgeStatus(Id);
lblName.Text = js.Portfolio.User.FullName;
lblSchool.Text = js.Portfolio.School.Name;
lblCategory.Text = js.Portfolio.Category.Name;
lblStatus.Text = ScoreService.GetScoreType(js.Portfolio.Status).ToDescription();
lblRank.Text = js.Portfolio.Ranking.ToString();
lblPhase.Text = js.Phase.ToDescription();
BindScores(js);
lnkPortfolio.NavigateUrl = "../ReportView.aspx?report=profile&id=" + js.Portfolio.Id.ToString();
}
protected void lnkBack_Click(object sender, EventArgs e)
{
UpdateScores();
DateTime dt = DateTime.Now;
JudgeStatus js = ScoreService.GetJudgeStatus(Id);
ScoreService.ComputeTotalScore(js.Portfolio);
TimeSpan ts = DateTime.Now - dt;
log.Debug("ComputeTotalScore took: " + ts.ToString());
ScoreService.ComputeRanking(js.Portfolio.Status, js.Portfolio.Category, js.Judge.Area);
ts = DateTime.Now - dt;
log.Debug("ComputeRanking took: " + ts.ToString());
Response.Redirect("~/Judge/Default.aspx");
}
protected void btnShowPortfolio_OnClick(object sender, EventArgs e)
{
JudgeStatus js = ScoreService.GetJudgeStatus(Id);
if (ShowPdf1.Visible)
{
ShowPdf1.Visible = false;
btnShowPortfolio.Text = "Show Portfolio";
}
else
{
btnShowPortfolio.Text = "Hide Portfolio";
ShowPdf1.Visible = true;
ShowPdf1.FilePath = "../ReportView.aspx?report=profile&id=" + js.Portfolio.Id.ToString();
}
}
public override void OnShowJudgeResult(JudgeStatus status)
{
if (status.SubStatuses != null)
{
status.SubStatuses.Clear();
status.SubStatuses.Add(new SubJudgeStatus
{
Result = JudgeResult.Hidden,
SubId = 1
});
}
status.Hint = "You can not view the result now.";
status.Result = JudgeResult.Hidden;
status.TimeUsedInMs = 0;
status.MemoryUsedInByte = 0;
}
public void SetStatus(JudgeStatus status)
{
if (SIDtoStatus.ContainsKey(status.sid))
{
if (status.id > SIDtoStatus[status.sid].id)
{
StatusList.Remove(SIDtoStatus[status.sid]);
SIDtoStatus[status.sid] = status;
StatusList.Add(status);
}
}
else
{
StatusList.Add(status);
SIDtoStatus.Add(status.sid, status);
}
}
protected void gvNominees_RowDataBound(object sender, GridViewRowEventArgs e)
{
if (e.Row.RowType == DataControlRowType.Header)
{
for (int i = 0; i < e.Row.Cells.Count; i++)
{
DataControlFieldHeaderCell obj = (DataControlFieldHeaderCell)e.Row.Cells[i];
if (!String.IsNullOrEmpty(this.SortColumn) && obj.ContainingField.SortExpression == this.SortColumn)
{
GridHelper.AddSortImage(obj, SortDirection);
}
}
}
if (e.Row.RowType == DataControlRowType.DataRow)
{
JudgeStatus js = e.Row.DataItem as JudgeStatus;
if (null != js)
{
Label labStatus = e.Row.FindControl("labStatus") as Label;
Label labScore = e.Row.FindControl("labScore") as Label;
Label labTotalScore = e.Row.FindControl("labTotalScore") as Label;
Label labRanking = e.Row.FindControl("labRanking") as Label;
HyperLink btnScores = e.Row.FindControl("btnScores") as HyperLink;
labStatus.Text = js.Phase.ToDescription();
labScore.Text = js.Score.ToString("F");
labTotalScore.Text = js.Portfolio.TotalScore.ToString("F");
labRanking.Text = js.Portfolio.Ranking.ToString();
if (js.Score == 0)
{
labScore.ForeColor = System.Drawing.Color.Red;
}
else
{
//labStatus.Text = js.Application.Status.ToDescription();
labScore.Text = ScoreService.ComputeScore(Judge, js.Portfolio).ToString("F");
}
//labScore.Attributes.Add("onmouseover", "tooltip.show('" + GetOtherScores(js.Application) + "');");
//labScore.Attributes.Add("onmouseout", "tooltip.hide();");
btnScores.Visible = !js.Submitted;
}
}
}
public override void OnJudgeCompleted(JudgeStatus status)
{
var attendee = DB.Attendees
.Single(x => x.ContestId == status.ContestId && x.UserId == status.UserId);
var cpls = DB.ContestProblemLastStatuses
.Include(x => x.Status)
.SingleOrDefault(x => x.ProblemId == status.ProblemId && x.UserId == status.UserId && x.ContestId == status.ContestId);
if (cpls != null && cpls.Status.Result == JudgeResult.Accepted || status.Result == JudgeResult.CompileError || status.Result == JudgeResult.SystemError)
{
return;
}
var contestProblem = DB.ContestProblems.Single(x => x.ContestId == status.ContestId && x.ProblemId == status.ProblemId);
if (cpls == null)
{
cpls = new ContestProblemLastStatus
{
ProblemId = status.ProblemId,
ContestId = status.ContestId,
UserId = status.UserId,
StatusId = status.Id,
Point = status.Result == JudgeResult.Accepted ? 1 : 0,
Point3 = status.Result == JudgeResult.Accepted ? 0 : 1,
TimeSpan = status.Result == JudgeResult.Accepted ? ComputeTimeSpan(status.CreatedTime, status.UserId) : default(TimeSpan),
IsAccepted = status.Result == JudgeResult.Accepted,
IsVirtual = attendee.IsVirtual
};
DB.ContestProblemLastStatuses.Add(cpls);
}
else
{
cpls.StatusId = status.Id;
cpls.Point = status.Result == JudgeResult.Accepted ? 1 : 0;
cpls.Point3 += status.Result == JudgeResult.Accepted ? 0 : 1;
cpls.TimeSpan = status.Result == JudgeResult.Accepted ? ComputeTimeSpan(status.CreatedTime, status.UserId).Add(new TimeSpan(0, 20 * cpls.Point3, 0)) : default(TimeSpan);
cpls.IsAccepted = status.Result == JudgeResult.Accepted;
}
DB.SaveChanges();
}
private string GetOtherScores(Portfolio portfolio)
{
StringBuilder html = new StringBuilder("<table><tr><th colspan=\"2\">Judges Scores</th></tr>");
IList <Judge> judges = ScoreService.GetJudgesByCategory(Judge, Judge.Category);
if (judges.Count == 0)
{
html.Append("<tr><td>No other judges found</td></tr>");
}
foreach (Judge j in judges)
{
JudgeStatus js = ScoreService.GetJudgeStatus(j, portfolio);
if (null != js)
{
html.Append(string.Format("<tr><td>{0:s}</td><td align=\"right\"> {1:F}</td></tr>", j.User.FullName, js.Score));
}
}
html.Append("</table>");
return(html.ToString());
}
public static string Translate(this JudgeStatus value)
{
switch (value)
{
case JudgeStatus.Available:
return("Aktiv");
case JudgeStatus.OnLeave:
return("Beurlaubt");
case JudgeStatus.Resigned:
return("Zurück- oder Ausgetreten");
case JudgeStatus.Unavailable:
return("Inaktiv oder unerreichbar");
default:
throw new InvalidOperationException();
}
}
public override void OnJudgeCompleted(JudgeStatus status)
{
var attendee = DB.Attendees
.Single(x => x.ContestId == status.ContestId && x.UserId == status.UserId);
var cpls = DB.ContestProblemLastStatuses
.Include(x => x.Status)
.SingleOrDefault(x => x.ProblemId == status.ProblemId && x.UserId == status.UserId && x.ContestId == status.ContestId);
if (cpls != null && status.CreatedTime <= cpls.Status.CreatedTime)
{
return;
}
var contestProblem = DB.ContestProblems.Single(x => x.ContestId == status.ContestId && x.ProblemId == status.ProblemId);
if (cpls == null)
{
cpls = new ContestProblemLastStatus
{
ProblemId = status.ProblemId,
ContestId = status.ContestId,
UserId = status.UserId,
StatusId = status.Id,
Point = status.SubStatuses == null ? 0 : status.SubStatuses.Count(x => x.Result == JudgeResult.Accepted) * contestProblem.Point / status.SubStatuses.Count,
Point3 = 1,
IsAccepted = status.Result == JudgeResult.Accepted,
IsVirtual = attendee.IsVirtual
};
DB.ContestProblemLastStatuses.Add(cpls);
}
else
{
cpls.StatusId = status.Id;
cpls.Point = status.SubStatuses == null ? 0 : status.SubStatuses.Count(x => x.Result == JudgeResult.Accepted) * contestProblem.Point / status.SubStatuses.Count;
cpls.Point3++;
cpls.IsAccepted = status.Result == JudgeResult.Accepted;
}
DB.SaveChanges();
}
protected void lvScores_ItemDataBound(object sender, ListViewItemEventArgs e)
{
ListViewDataItem dataItem = (ListViewDataItem)e.Item;
if (e.Item.ItemType == ListViewItemType.DataItem)
{
JudgeStatus js = dataItem.DataItem as JudgeStatus;
Label lblName = e.Item.FindControl("lblName") as Label;
Label labStatus = e.Item.FindControl("labStatus") as Label;
Label labScore = e.Item.FindControl("labScore") as Label;
Label labSubmitted = e.Item.FindControl("labSubmitted") as Label;
lblName.Text = js.Judge.User.FullName;
labStatus.Text = js.Phase.ToDescription();
labScore.Text = js.Score.ToString("F");
labSubmitted.Text = (js.Submitted) ? "Yes" : "No";
if (!js.Submitted)
{
labSubmitted.ForeColor = System.Drawing.Color.Red;
labScore.ForeColor = System.Drawing.Color.Red;
}
}
}
public override void OnShowJudgeResult(JudgeStatus status)
{
if (IsContestInProgress(status.User.UserName) || IsContestInProgress(User.Current?.UserName))
{
var testCases = GetValidTestCasesAsync(status.ProblemId, status.UserId, default(CancellationToken)).Result;
var hack = DB.HackStatuses.FirstOrDefault(x => x.ContestId == ContestId && x.JudgeStatusId == status.Id && x.Result == HackResult.Succeeded);
status.SubStatuses = DB.SubJudgeStatuses
.Where(x => x.StatusId == status.Id)
.Where(x => testCases.Contains(x.TestCase.Id))
.ToList();
foreach (var x in status.SubStatuses)
{
x.Hint = "Codeforces赛制不提供详细测试点信息";
}
status.Result = status.SubStatuses.Max(x => x.Result);
status.TimeUsedInMs = status.SubStatuses.Sum(x => x.TimeUsedInMs);
status.MemoryUsedInByte = status.SubStatuses.Max(x => x.MemoryUsedInByte);
}
}
private async Task <bool> IsStatusCodeCouldBeViewed(JudgeStatus status, ContestExecutorFactory cef, CancellationToken token)
{
if (!User.IsSignedIn() || status.IsSelfTest)
{
return(false);
}
if (!string.IsNullOrEmpty(status.ContestId))
{
var ce = cef.Create(status.ContestId);
if (ce.IsContestInProgress(status.User.UserName) || ce.IsContestInProgress(User.Current?.UserName))
{
return(ce.IsStatusHackable(status));
}
}
if (Constants.HackInvalidResults.Contains(status.Result))
{
return(false);
}
return(await DB.JudgeStatuses.AnyAsync(x => x.UserId == User.Current.Id && x.ProblemId == status.ProblemId && string.IsNullOrEmpty(x.ContestId) && x.Result == JudgeResult.Accepted, token));
}
private void BindScores(JudgeStatus js)
{
ScoreType type = ScoreService.GetScoreType(js.Portfolio.Status);
var list = from s in js.Portfolio.Scores
where s.Type == type && s.Judge.Id == Judge.Id
select s;
totalScore = ScoreService.ComputeScore(Judge, js.Portfolio);
gvScores.DataSource = list;
gvScores.DataBind();
}
public override void OnShowJudgeResult(JudgeStatus status)
{
}
public virtual void OnJudgeCompleted(JudgeStatus status)
{
throw new NotImplementedException();
}
private void submissionStatus_FormatCell(object sender, BrightIdeasSoftware.FormatCellEventArgs e)
{
string font = "Segoe UI";
float size = 9.0F;
FontStyle style = FontStyle.Regular;
Color fore = Color.Black;
//highlight item
JudgeStatus js = (JudgeStatus)e.Model;
if (js.uname == RegistryAccess.DefaultUsername)
{
for (int i = 0; i < e.Item.SubItems.Count; ++i)
{
e.Item.SubItems[i].BackColor = Color.Turquoise;
}
}
else if (LocalDatabase.ContainsUser(js.uname))
{
for (int i = 0; i < e.Item.SubItems.Count; ++i)
{
e.Item.SubItems[i].BackColor = Color.LightBlue;
}
}
//highlight other
if (e.Column == sidSUB)
{
font = "Consolas";
fore = Color.Teal;
size = 8.5F;
}
else if (e.Column == unameSUB)
{
fore = Color.Navy;
style = FontStyle.Italic;
}
else if (e.Column == fullnameSUB)
{
font = "Segoe UI Semibold";
}
else if (e.Column == pnumSUB)
{
font = "Consolas";
fore = Color.Navy;
style = FontStyle.Italic;
}
else if (e.Column == ptitleSUB)
{
font = "Segoe UI Semibold";
fore = Functions.GetProblemTitleColor(js.pnum);
}
else if (e.Column == runSUB)
{
fore = Color.SlateBlue;
}
else if (e.Column == memSUB)
{
font = "Consolas";
fore = Color.Blue;
size = 8.5F;
}
else if (e.Column == subtimeSUB)
{
fore = Color.Maroon;
}
else if (e.Column == rankSUB)
{
fore = Color.Navy;
font = "Segoe UI Semibold";
}
else if (e.Column == verSUB)
{
font = "Segoe UI";
fore = Functions.GetVerdictColor(js.ver);
style = FontStyle.Bold;
}
else if (e.Column == lanSUB)
{
style = FontStyle.Bold;
fore = Color.Navy;
}
else
{
return;
}
e.SubItem.ForeColor = fore;
e.SubItem.Font = new Font(font, size, style);
}
private async Task HandleSingleHackAsync(IEnumerable <ActorInfo> actors, HackStatus hack, JudgeStatus judge, Problem problem, Guid?testCaseId, CancellationToken token)
{
var sub = new SubJudgeStatus();
var isBadData = false;
if (actors.Count(x => x.Name == "CompareActor") == 0)
{
var rangeValidateActor = actors.FirstOrDefault(x => x.Stage == "ValidateData");
var rangeRunner = rangeValidateActor == null ? null : await _mgmt.ReadBlobAsObjectAsync <Runner>(rangeValidateActor.Outputs.Single(x => x.Name == "runner.json").Id, token);
var runActor = actors.FirstOrDefault(x => x.Stage == "GenerateHackeeAnswer");
var runRunner = runActor == null ? null : await _mgmt.ReadBlobAsObjectAsync <Runner>(runActor.Outputs.Single(x => x.Name == "runner.json").Id, token);
if (rangeRunner != null && rangeRunner.ExitCode != 0)
{
isBadData = true;
sub.TimeUsedInMs = 0;
sub.MemoryUsedInByte = 0;
sub.Result = JudgeResult.Accepted;
sub.Hint = string.Join(Environment.NewLine, rangeValidateActor.Exceptions) + Environment.NewLine + rangeRunner.Error;
}
else if (runRunner.IsTimeout)
{
sub.TimeUsedInMs = problem.TimeLimitationPerCaseInMs;
sub.MemoryUsedInByte = runRunner.PeakMemory;
sub.Result = JudgeResult.TimeExceeded;
sub.Hint = string.Join(Environment.NewLine, runActor.Exceptions) + Environment.NewLine + runRunner.Error;
}
else if (runRunner.ExitCode == 139 || runActor.Exceptions.Any(x => x.Contains("May cause by out of memory")) || runRunner.Error.Contains("std::bad_alloc") || runRunner.PeakMemory > problem.MemoryLimitationPerCaseInByte)
{
sub.TimeUsedInMs = runRunner.UserTime;
sub.MemoryUsedInByte = problem.MemoryLimitationPerCaseInByte;
sub.Result = JudgeResult.MemoryExceeded;
sub.Hint = string.Join(Environment.NewLine, runActor.Exceptions) + Environment.NewLine + runRunner.Error;
}
else if (runRunner.ExitCode != 0)
{
sub.TimeUsedInMs = runRunner.UserTime;
sub.MemoryUsedInByte = runRunner.PeakMemory;
sub.Result = JudgeResult.RuntimeError;
sub.Hint = string.Join(Environment.NewLine, runActor.Exceptions) + Environment.NewLine + runRunner.Error + Environment.NewLine + $"User process exited with code { runRunner.ExitCode }";
}
}
else if (actors.Count(x => x.Name == "CompareActor") > 0)
{
var runners = actors.Where(x => x.Name == "CompareActor").Select(x => x.Outputs.Single(y => y.Name == "runner.json"));
var runnerResults = runners.Select(x => _mgmt.ReadBlobAsObjectAsync <Runner>(x.Id, token).Result);
var exitCodes = runnerResults.Select(x => x.ExitCode);
if (exitCodes.Distinct().Count() > 1)
{
isBadData = true;
}
else
{
var runActor = actors.First(x => x.Stage == "GenerateHackeeAnswer");
var runRunner = await _mgmt.ReadBlobAsObjectAsync <Runner>(runActor.Outputs.Single(x => x.Name == "runner.json").Id, token);
var compareActor = actors.Last(x => x.Name == "CompareActor");
var runner = await _mgmt.ReadBlobAsObjectAsync <Runner>(compareActor.Outputs.Single(x => x.Name == "runner.json").Id, token);
if (runner.ExitCode < 0 || runner.ExitCode > 2)
{
sub.TimeUsedInMs = 0;
sub.MemoryUsedInByte = 0;
sub.Result = JudgeResult.SystemError;
sub.Hint = string.Join(Environment.NewLine, runActor.Exceptions) + Environment.NewLine + runner.Error;
}
else
{
var validatorOutput = Encoding.UTF8.GetString((await _mgmt.GetBlobAsync(compareActor.Outputs.Single(x => x.Name == "stdout.txt").Id)).Body);
sub.TimeUsedInMs = runRunner.UserTime;
sub.MemoryUsedInByte = runRunner.PeakMemory;
sub.Result = (JudgeResult)runner.ExitCode;
sub.Hint = validatorOutput + Environment.NewLine + string.Join(Environment.NewLine, runActor.Exceptions) + Environment.NewLine + runner.Error;
}
}
}
else
{
isBadData = true;
}
if (hack == null && actors.Count(x => x.Stage == "GenerateHackeeAnswer") > 0 && testCaseId.HasValue)
{
var runActor = actors.First(x => x.Stage == "GenerateHackeeAnswer");
var statusId = Guid.Parse(runActor.Tag);
var testCase = await _db.TestCases.SingleAsync(x => x.Id == testCaseId.Value, token);
var testCases = await _db.TestCases
.Where(x => x.ProblemId == problem.Id)
.Select(x => x.Id)
.ToListAsync(token);
var status = await _db.JudgeStatuses
.Include(x => x.SubStatuses)
.SingleAsync(x => x.Id == statusId, token);
sub.StatusId = statusId;
sub.TestCaseId = testCaseId.Value;
sub.InputBlobId = testCase.InputBlobId;
sub.OutputBlobId = testCase.OutputBlobId;
sub.SubId = testCases.IndexOf(testCaseId.Value);
status.SubStatuses.Add(sub);
status.MemoryUsedInByte = status.SubStatuses.Max(x => x.MemoryUsedInByte);
status.TimeUsedInMs = status.SubStatuses.Sum(x => x.TimeUsedInMs);
status.Result = status.SubStatuses.Max(x => x.Result);
_db.SaveChanges();
}
if (hack != null)
{
_db.HackStatuses
.Where(x => x.Id == hack.Id)
.SetField(x => x.HackeeResult).WithValue(isBadData ? JudgeResult.Accepted : sub.Result)
.SetField(x => x.TimeUsedInMs).WithValue(sub.TimeUsedInMs)
.SetField(x => x.MemoryUsedInByte).WithValue(sub.MemoryUsedInByte)
.SetField(x => x.Result).WithValue(isBadData ? (HackResult.BadData) : (sub.Result == JudgeResult.Accepted ? HackResult.Failed : HackResult.Succeeded))
.SetField(x => x.Hint).WithValue(sub.Hint)
.Update();
}
}
public SolveStatus SolveProblem(int problemID, int maxRetry)
{
WriteMessage(string.Format("正在自动AC{0}的{1}题目", client.OJName, problemID));
SolveStatus solveStatus;
solveStatus.Solved = false;
solveStatus.Detail = "UnknownError";
solveStatus.Code = "已AC，无需爬取，因此无代码";
if (client.IsAccepted(problemID, Username))//题目已经AC
{
solveStatus.Solved = true;
solveStatus.Detail = "AlreadyAccepted";
return(solveStatus);
}
int retryCount = 0; //尝试次数
while (!client.IsAvailable(problemID)) //问题是否可用
{
if (++retryCount >= 3)
{
solveStatus.Detail = "ProblemNotFound";
return(solveStatus);
}
}
WriteMessage("正在爬取题目代码");
List <string> articlesList = crawler.GetACArticleLinks(problemID, client.OJName);//抓取题解链接
List <string> acCodeList = new List <string>();
foreach (string artLink in articlesList)//抓取题解代码
{
string code = crawler.GetCodeByArticleLink(artLink, problemID, client.OJName);
if (!string.IsNullOrEmpty(code))
{
acCodeList.Add(code);
}
}
if (articlesList.Count == 0 || acCodeList.Count == 0)//无代码
{
solveStatus.Detail = "AcCodeNotFound";
return(solveStatus);
}
WriteMessage("共爬取到" + acCodeList.Count.ToString() + "份代码");
JudgeStatus status = JudgeStatus.Unknown;
foreach (string code in acCodeList) //尝试所有代码，直到AC为止
{
if (maxRetry-- <= 0) //最大尝试次数
{
solveStatus.Detail = "RetryLimitExceeded";
WriteMessage("超出最大尝试次数");
return(solveStatus);
}
WriteMessage(maxRetry.ToString());
WriteMessage(string.Format("正在提交题目{0}，代码长度{1}", problemID, code.Length));
retryCount = 0;
while (!client.Submit(problemID, code))
{
if (++retryCount >= 3)
{
continue;
}
}
WriteMessage("正在取回判题结果");
System.Threading.Thread.Sleep(6000);//提交后先等待
status = client.GetJudgeStatus(problemID, Username);
while (status == JudgeStatus.Queuing || status == JudgeStatus.Compiling || status == JudgeStatus.Running)
{
status = client.GetJudgeStatus(problemID, Username);
System.Threading.Thread.Sleep(2000);
}
WriteMessage(string.Format("OJ:{0}\tProblemID:{1}\tResult:{2}", client.OJName, problemID, status));
if (status == JudgeStatus.Accepted)
{
solveStatus.Solved = true;
solveStatus.Detail = "Accepted";
solveStatus.Code = Regex.Replace(code, "\r\n|\r|\n", Environment.NewLine);
return(solveStatus);
}
else
{
solveStatus.Detail = status.ToString();
}
}
return(solveStatus);
}
/// <summary>
/// 筛选给定的评测状态。
/// </summary>
/// <param name="status">要筛选的评测状态。</param>
public SubmissionFilterBuilder Status(JudgeStatus status)
{
AddFilter(Builders <Submission> .Filter.Eq(s => s.Status, status));
return(this);
}
public virtual void OnShowJudgeResult(JudgeStatus status)
{
}
public async Task <IActionResult> Put(
[FromServices] IConfiguration Config,
[FromServices] IServiceScopeFactory scopeFactory,
[FromServices] StateMachineAwaiter awaiter,
[FromServices] ManagementServiceClient MgmtSvc,
[FromServices] IHubContext <OnlineJudgeHub> hub,
[FromServices] ContestExecutorFactory cef,
CancellationToken token)
{
var request = JsonConvert.DeserializeObject <JudgeRequest>(RequestBody);
var problem = await DB.Problems
.Include(x => x.TestCases)
.SingleOrDefaultAsync(x => x.Id == request.problemId, token);
if (problem == null)
{
return(Result(400, "The problem is not exist."));
}
if (!problem.IsVisible && string.IsNullOrWhiteSpace(request.contestId) && !await HasPermissionToProblemAsync(problem.Id, token))
{
return(Result(403, "You have no permission to the problem."));
}
if (IsGroupRequest() && !await IsGroupMemberAsync(token))
{
return(Result(401, "You are not a member of this group."));
}
if (!Constants.SupportedLanguages.Contains(request.language))
{
return(Result(400, "The language has not been supported."));
}
if (string.IsNullOrEmpty(request.code))
{
return(Result(400, "Code could not be empty."));
}
if (!string.IsNullOrEmpty(request.contestId))
{
var ce = cef.Create(request.contestId);
if (!ce.IsContestInProgress(User.Current?.UserName))
{
return(Result(400, "The contest is inactive."));
}
if (request.isSelfTest)
{
return(Result(400, "You could not do a self test during the contest is in progress."));
}
if (await DB.ContestProblemLastStatuses.AnyAsync(x => x.IsLocked && x.ContestId == request.contestId && User.Current.Id == x.UserId && x.ProblemId == request.problemId, token))
{
return(Result(400, "You have locked this problem."));
}
}
if (!Constants.SupportedLanguages.Contains(request.language) && !Constants.UnsupportedLanguages.Contains(request.language) && problem.Source == ProblemSource.Local)
{
return(Result(400, "The programming language which you selected was not supported"));
}
if (request.isSelfTest && request.data.Count() == 0)
{
return(Result(400, "The self testing data has not been found"));
}
if (problem.Source != ProblemSource.Local && request.isSelfTest)
{
return(Result(400, "You could not use self data to test with a remote problem."));
}
if (IsGroupRequest() && !await DB.GroupProblems.AnyAsync(x => x.ProblemId == problem.Id && x.GroupId == CurrentGroup.Id) && string.IsNullOrEmpty(request.contestId))
{
return(Result(404, "The problem does not exist."));
}
#region Local Judge
if (problem.Source == ProblemSource.Local)
{
var blobs = new ConcurrentDictionary <int, BlobInfo[]>();
blobs.TryAdd(-1, new[] { new BlobInfo
{
Id = await MgmtSvc.PutBlobAsync("Main" + Constants.GetSourceExtension(request.language), Encoding.UTF8.GetBytes(request.code)),
Name = "Main" + Constants.GetSourceExtension(request.language),
Tag = "Problem=" + problem.Id
} });
blobs.TryAdd(-2, new[] { new BlobInfo
{
Id = await MgmtSvc.PutBlobAsync("limit.json", Encoding.UTF8.GetBytes(JsonConvert.SerializeObject(new
{
UserTime = problem.TimeLimitationPerCaseInMs,
PhysicalTime = problem.TimeLimitationPerCaseInMs * 4,
Memory = problem.MemoryLimitationPerCaseInByte
}))),
Name = "limit.json",
Tag = "Problem=" + problem.Id
} });
if (!problem.ValidatorBlobId.HasValue)
{
blobs.TryAdd(-3, new[]
{
new BlobInfo
{
Id = Guid.Parse(Config["JoyOI:StandardValidatorBlobId"]),
Name = "Validator.out"
}
});
}
else
{
blobs.TryAdd(-3, new[]
{
new BlobInfo
{
Id = problem.ValidatorBlobId.Value,
Name = "Validator" + Constants.GetBinaryExtension(problem.ValidatorLanguage)
}
});
}
List <TestCase> testCases = null;
if (request.isSelfTest)
{
Parallel.For(0, request.data.Count(), i =>
{
// Uploading custom data
var inputId = MgmtSvc.PutBlobAsync($"input_{ i }.txt", Encoding.UTF8.GetBytes(request.data.ElementAt(i).input), token).Result;
var outputId = MgmtSvc.PutBlobAsync($"output_{ i }.txt", Encoding.UTF8.GetBytes(request.data.ElementAt(i).output), token).Result;
blobs.TryAdd(i, new[] {
new BlobInfo {
Id = inputId, Name = $"input_{ i }.txt", Tag = i.ToString()
},
new BlobInfo {
Id = outputId, Name = $"output_{ i }.txt", Tag = i.ToString()
}
});
});
}
else
{
testCases = await DB.TestCases
.Where(x => x.ProblemId == problem.Id && (x.Type == TestCaseType.Small || x.Type == TestCaseType.Large || x.Type == TestCaseType.Hack))
.ToListAsync(token);
if (testCases.Count == 0)
{
return(Result(400, "No test case found."));
}
for (var i = 0; i < testCases.Count; i++)
{
blobs.TryAdd(i, new[] {
new BlobInfo {
Id = testCases[i].InputBlobId, Name = $"input_{ i }.txt", Tag = i.ToString()
},
new BlobInfo {
Id = testCases[i].OutputBlobId, Name = $"output_{ i }.txt", Tag = i.ToString()
}
});
}
}
var stateMachineId = await MgmtSvc.PutStateMachineInstanceAsync("JudgeStateMachine", Config["ManagementService:CallBack"], blobs.SelectMany(x => x.Value), await CalculatePriorityAsync(), token);
var substatuses = blobs
.Where(x => x.Key >= 0)
.Select(x => new SubJudgeStatus
{
SubId = x.Key,
Result = JudgeResult.Pending,
InputBlobId = x.Value.Single(y => y.Name.StartsWith("input_")).Id,
OutputBlobId = x.Value.Single(y => y.Name.StartsWith("output_")).Id,
TestCaseId = testCases != null ? (Guid?)testCases[x.Key].Id : null
})
.ToList();
var status = new JudgeStatus
{
Code = request.code,
Language = request.language,
Result = JudgeResult.Pending,
CreatedTime = DateTime.UtcNow,
ContestId = request.contestId,
SubStatuses = substatuses,
ProblemId = problem.Id,
UserId = User.Current.Id,
IsSelfTest = request.isSelfTest,
RelatedStateMachineIds = new List <JudgeStatusStateMachine>
{
new JudgeStatusStateMachine
{
StateMachine = new StateMachine
{
CreatedTime = DateTime.UtcNow,
Name = "JudgeStateMachine",
Id = stateMachineId
},
StateMachineId = stateMachineId
}
},
};
if (IsGroupRequest())
{
status.GroupId = CurrentGroup.Id;
}
DB.JudgeStatuses.Add(status);
await DB.SaveChangesAsync(token);
hub.Clients.All.InvokeAsync("ItemUpdated", "judge", status.Id);
// For debugging
if (Config["ManagementService:Mode"] == "Polling")
{
Task.Factory.StartNew(async() =>
{
using (var scope = scopeFactory.CreateScope())
using (var db = scope.ServiceProvider.GetService <OnlineJudgeContext>())
{
try
{
await awaiter.GetStateMachineResultAsync(stateMachineId);
var handler = scope.ServiceProvider.GetService <JudgeStateMachineHandler>();
await handler.HandleJudgeResultAsync(stateMachineId, default(CancellationToken));
}
catch (Exception ex)
{
Console.Error.WriteLine(ex);
}
}
});
}
return(Result(status.Id));
}
#endregion
#region Bzoj, LeetCode, CodeVS
else if (problem.Source == ProblemSource.Bzoj || problem.Source == ProblemSource.LeetCode || problem.Source == ProblemSource.CodeVS)
{
var metadata = new
{
Source = problem.Source.ToString(),
Language = request.language,
Code = request.code,
ProblemId = problem.Id.Replace(problem.Source.ToString().ToLower() + "-", "")
};
var metadataBlob = new BlobInfo
{
Id = await MgmtSvc.PutBlobAsync("metadata.json", Encoding.UTF8.GetBytes(JsonConvert.SerializeObject(metadata)), token),
Name = "metadata.json",
Tag = "Problem=" + problem.Id
};
var stateMachineId = await MgmtSvc.PutStateMachineInstanceAsync("VirtualJudgeStateMachine", Config["ManagementService:Callback"], new[] { metadataBlob }, await CalculatePriorityAsync(), token);
var status = new JudgeStatus
{
Code = request.code,
ContestId = request.contestId,
Language = request.language,
ProblemId = problem.Id,
IsSelfTest = false,
UserId = User.Current.Id,
Result = JudgeResult.Pending,
RelatedStateMachineIds = new List <JudgeStatusStateMachine>
{
new JudgeStatusStateMachine {
StateMachine = new StateMachine
{
CreatedTime = DateTime.UtcNow,
Name = "JudgeStateMachine",
Id = stateMachineId
},
StateMachineId = stateMachineId
}
}
};
if (IsGroupRequest())
{
status.GroupId = CurrentGroup.Id;
}
DB.JudgeStatuses.Add(status);
await DB.SaveChangesAsync(token);
// For debugging
if (Config["ManagementService:Mode"] == "Polling")
{
Task.Factory.StartNew(async() =>
{
using (var scope = scopeFactory.CreateScope())
{
try
{
await awaiter.GetStateMachineResultAsync(stateMachineId);
var handler = scope.ServiceProvider.GetService <JudgeStateMachineHandler>();
await handler.HandleJudgeResultAsync(stateMachineId, default(CancellationToken));
}
catch (Exception ex)
{
Console.Error.WriteLine(ex);
}
}
});
}
hub.Clients.All.InvokeAsync("ItemUpdated", "judge", status.Id);
return(Result(status.Id));
}
#endregion
#region Others
else
{
throw new NotSupportedException(problem.Source.ToString() + " has not been supported yet.");
}
#endregion
}
