private void Load() { lock (_loadLock) { Dispatcher.Invoke(() => { for (var i = CompetitionStateColumn.Columns.Count - 1; i >= 0; i--) { if (CompetitionStateColumn.Columns[i] is GridViewColumn t && t.Header is StackPanel) { CompetitionStateColumn.Columns.RemoveAt(i); } } }); for (var i = 0; i < (_competition.ProblemSet?.Length ?? 0); i++) { if (_competition.ProblemSet != null) { var t = Properties.Resources.CompetitionDetailsProblemInfoControl.Replace("${index}", $"{i}").Replace("${ProblemName}", Connection.GetProblemName(_competition.ProblemSet[i])); var strreader = new StringReader(t); var xmlreader = new XmlTextReader(strreader); Dispatcher.Invoke(() => { var obj = XamlReader.Load(xmlreader); CompetitionStateColumn.Columns.Add(obj as GridViewColumn); }); } } Dispatcher.Invoke(() => CompetitionState.ItemsSource = _competitionInfo); Dispatcher.Invoke(() => CompetitionState.ItemsSource = _competitionInfo); var x = Connection.QueryJudgeLogBelongsToCompetition(_competition.CompetitionId, 0); for (var i = x.Count - 1; i >= 0; i--) { if ((_competition.Option & 32) != 0) { if (x[i].ResultSummary != "Accepted") { for (var j = 0; j < x[i].Score.Length; j++) { x[i].Score[j] = 0; } } } } Dispatcher.Invoke(() => { _curJudgeInfo.Clear(); _competitionInfo.Clear(); }); for (var i = x.Count - 1; i >= 0; i--) { Dispatcher.Invoke(() => _curJudgeInfo.Add(x[i])); } Dispatcher.Invoke(() => { foreach (var i in CompetitionStateColumn.Columns) { if (i.Header is StackPanel j) { foreach (var k in j.Children) { if (k is TextBlock l && l.Name.Contains("ProblemColumn")) { var m = Convert.ToInt32(l.Name.Substring(13)); l.Text = $"{x.Count(p => p.ProblemId == _competition.ProblemSet[m] && p.ResultSummary == "Accepted")}/{x.Count(p => p.ProblemId == _competition.ProblemSet[m])}"; } } } } }); var tmpList = new List <CompetitionUserInfo>(); Dispatcher.Invoke(() => _competitionInfo.Clear()); var user = x.Select(p => p.UserName).Distinct(); Dispatcher.Invoke(() => ComUserNumber.Text = $"{user.Count()}"); foreach (var i in user) { if (_competition.ProblemSet == null) { continue; } var tmp = new CompetitionUserInfo { UserName = i, ProblemInfo = new CompetitionProblemInfo[_competition.ProblemSet.Length] }; float score = 0; var totTime = new TimeSpan(0); for (var j = 0; j < _competition.ProblemSet.Length; j++) { tmp.ProblemInfo[j] = new CompetitionProblemInfo(); var ac = x.Count(p => p.UserName == i && p.ResultSummary == "Accepted" && p.ProblemId == _competition.ProblemSet[j]); var all = x.Count(p => p.UserName == i && p.ProblemId == _competition.ProblemSet[j]); tmp.ProblemInfo[j].Color = ac != 0 ? Brushes.LightGreen : Brushes.LightPink; var time = new TimeSpan(0); var cnt = 0; var tmpScoreBase = x.Where(p => p.UserName == i && p.ProblemId == _competition.ProblemSet[j]) .ToList(); var noAccepted = !x.Any(p => p.UserName == i && p.ProblemId == _competition.ProblemSet[j] && p.ResultSummary == "Accepted"); if ((_competition.Option & 2) == 0) { if ((_competition.Option & 32) == 0) { if (tmpScoreBase.Any()) { score += tmpScoreBase.Max(p => p.FullScore); } } tmp.ProblemInfo[j].State = $"{ac}/{all}"; foreach (var k in x.Where(p => p.UserName == i && p.ProblemId == _competition.ProblemSet[j])) { var tmpTime = Convert.ToDateTime(k.JudgeDate) - _competition.StartTime; time += tmpTime; totTime += tmpTime; if (k.ResultSummary == "Accepted") { if ((_competition.Option & 32) != 0) { score += k.FullScore; } break; } if ((_competition.Option & 4) != 0) { if (!noAccepted) { time += new TimeSpan(0, 20, 0); totTime += new TimeSpan(0, 20, 0); } cnt++; } } } else { if ((_competition.Option & 32) == 0) { if (tmpScoreBase.Any()) { score += tmpScoreBase.LastOrDefault()?.FullScore ?? 0; } } var y = x.LastOrDefault(p => p.UserName == i && p.ProblemId == _competition.ProblemSet[j]); if (y != null && y.ResultSummary == "Accepted") { if ((_competition.Option & 32) != 0) { score += y.FullScore; } tmp.ProblemInfo[j].State = "Solved"; } else { tmp.ProblemInfo[j].Color = Brushes.LightPink; tmp.ProblemInfo[j].State = "Unsolved"; } if (y != null) { var tmpTime = Convert.ToDateTime(y.JudgeDate) - _competition.StartTime; if (!noAccepted) { time += tmpTime; totTime += tmpTime; } } } if ((_competition.Option & 4) != 0 && cnt != 0) { tmp.ProblemInfo[j].State += $" (-{cnt})"; } tmp.ProblemInfo[j].Time = $"{time.Days * 24 + time.Hours}:{time.Minutes}:{time.Seconds}"; } tmp.Score = score; tmp.TotTime = totTime; tmpList.Add(tmp); } tmpList.Sort((x1, x2) => { if (Math.Abs(x1.Score - x2.Score) > 0.00001) { return(x2.Score.CompareTo(x1.Score)); } return(x1.TotTime.CompareTo(x2.TotTime)); }); for (var i = 0; i < tmpList.Count; i++) { tmpList[i].Rank = i + 1; Dispatcher.Invoke(() => _competitionInfo.Add(tmpList[i])); } Dispatcher.Invoke(() => { _problemFilter.Clear(); _userFilter.Clear(); }); foreach (var judgeInfo in x) { Dispatcher.Invoke(() => { if (_problemFilter.All(i => i != judgeInfo.ProblemName)) { _problemFilter.Add(judgeInfo.ProblemName); } if (_userFilter.All(i => i != judgeInfo.UserName)) { _userFilter.Add(judgeInfo.UserName); } }); } if (DateTime.Now < _competition.EndTime) { _hasRefreshWhenFinished = false; } } }
public Judge(int problemId, int userId, string code, string type, bool isStdIO, string description, string defaultTime, int competitionId, Action <int> idCallBack = null) { Cancelled = false; if (competitionId != 0) { var comp = Connection.GetCompetition(competitionId); var judgeLogs = Connection.QueryJudgeLogBelongsToCompetition(competitionId, userId); if ((comp.Option & 1) != 0 && comp.SubmitLimit != 0) { if (judgeLogs.Count(i => i.ProblemId == problemId) >= comp.SubmitLimit) { Connection.CanPostJudgTask = true; Cancelled = true; return; } } } JudgeResult.JudgeId = Connection.NewJudge(description); idCallBack?.Invoke(JudgeResult.JudgeId); _problem = Connection.GetProblem(problemId); _id = Guid.NewGuid().ToString().Replace("-", string.Empty); JudgeResult.JudgeDate = defaultTime ?? DateTime.Now.ToString("yyyy/MM/dd HH:mm:ss"); JudgeResult.ProblemId = _problem.ProblemId; JudgeResult.Code = code; JudgeResult.UserId = userId; JudgeResult.Exitcode = new int[_problem.DataSets.Length]; JudgeResult.Result = new string[_problem.DataSets.Length]; JudgeResult.Score = new float[_problem.DataSets.Length]; JudgeResult.Timeused = new long[_problem.DataSets.Length]; JudgeResult.Memoryused = new long[_problem.DataSets.Length]; JudgeResult.Type = type; JudgeResult.Description = description; JudgeResult.CompetitionId = competitionId; JudgeResult.AdditionInfo = string.Empty; Connection.UpdateJudgeInfo(JudgeResult); var textBlock = Connection.UpdateMainPageState( $"{DateTime.Now:yyyy/MM/dd HH:mm:ss} 准备评测 #{JudgeResult.JudgeId},题目:{JudgeResult.ProblemName},用户:{JudgeResult.UserName}"); while (true) { if (Connection.CurJudgingCnt < (Configuration.Configurations.MutiThreading == 0 ? Configuration.ProcessorCount + Connection.IntelligentAdditionWorkingThread : Configuration.Configurations.MutiThreading)) { lock (Connection.JudgeListCntLock) { Connection.CurJudgingCnt++; } break; } Thread.Sleep(100); } Connection.CanPostJudgTask = true; JudgeResult.JudgeDate = defaultTime ?? DateTime.Now.ToString("yyyy/MM/dd HH:mm:ss"); try { if (Configuration.Configurations.MutiThreading == 0) { while (true) { try { lock (Connection.ResourceLoadingLock) { var cpuCounter = new PerformanceCounter { CategoryName = "Processor", CounterName = "% Processor Time", InstanceName = "_Total" }; var ramCounter = new PerformanceCounter("Memory", "Available KBytes"); var maxMemoryNeeded = _problem.DataSets.Select(i => i.MemoryLimit) .Concat(new long[] { 0 }) .Max(); if (cpuCounter.NextValue() <= 70 && ramCounter.NextValue() > maxMemoryNeeded + 262144) { break; } } } catch { //ignored } Thread.Sleep(1000); } } Connection.UpdateJudgeInfo(JudgeResult); _workingdir = Environment.GetEnvironmentVariable("temp") + "\\hjudgeWorkingDir\\Judge_hjudge_" + _id; var t = Configuration.Configurations.Compiler.FirstOrDefault(i => i.DisplayName == type); if (t == null) { for (var i = 0; i < JudgeResult.Result.Length; i++) { JudgeResult.Result[i] = "Compile Error"; JudgeResult.Exitcode[i] = 0; JudgeResult.Score[i] = 0; JudgeResult.Timeused[i] = 0; JudgeResult.Memoryused[i] = 0; } Connection.UpdateJudgeInfo(JudgeResult); lock (Connection.JudgeListCntLock) { Connection.CurJudgingCnt--; } Connection.UpdateMainPageState( $"{DateTime.Now:yyyy/MM/dd HH:mm:ss} 评测完毕 #{JudgeResult.JudgeId},题目:{JudgeResult.ProblemName},用户:{JudgeResult.UserName},结果:{JudgeResult.ResultSummary}", textBlock); return; } var extList = t.ExtName.Split(new[] { " " }, StringSplitOptions.RemoveEmptyEntries); if (extList.Length == 0) { for (var i = 0; i < JudgeResult.Result.Length; i++) { JudgeResult.Result[i] = "Compile Error"; JudgeResult.Exitcode[i] = 0; JudgeResult.Score[i] = 0; JudgeResult.Timeused[i] = 0; JudgeResult.Memoryused[i] = 0; } Connection.UpdateJudgeInfo(JudgeResult); lock (Connection.JudgeListCntLock) { Connection.CurJudgingCnt--; } Connection.UpdateMainPageState( $"{DateTime.Now:yyyy/MM/dd HH:mm:ss} 评测完毕 #{JudgeResult.JudgeId},题目:{JudgeResult.ProblemName},用户:{JudgeResult.UserName},结果:{JudgeResult.ResultSummary}", textBlock); return; } if (string.IsNullOrEmpty(_problem.CompileCommand)) { _problem.CompileCommand = t.LinuxComArgs ? GetRealStringWSL(t.CompilerArgs, 0, extList[0]) : GetRealString(t.CompilerArgs, 0, extList[0]); } else { var commList = _problem.CompileCommand.Split(new[] { ";" }, StringSplitOptions.RemoveEmptyEntries); foreach (var s in commList) { var comm = s.Split(':'); if (comm.Length != 2) { continue; } if (comm[0] == type) { _problem.CompileCommand = t.LinuxComArgs ? GetRealStringWSL(comm[1], 0, extList[0]) : GetRealString(comm[1], 0, extList[0]); break; } } } _problem.SpecialJudge = GetRealString(_problem.SpecialJudge, 0, extList[0]); for (var i = 0; i < _problem.ExtraFiles.Length; i++) { _problem.ExtraFiles[i] = GetRealString(_problem.ExtraFiles[i], i, extList[0]); } for (var i = 0; i < _problem.DataSets.Length; i++) { _problem.DataSets[i].InputFile = GetRealString(_problem.DataSets[i].InputFile, i, extList[0]); _problem.DataSets[i].OutputFile = GetRealString(_problem.DataSets[i].OutputFile, i, extList[0]); } _problem.InputFileName = isStdIO ? "stdin" : GetRealString(_problem.InputFileName, 0, extList[0]); _problem.OutputFileName = GetRealString(_problem.OutputFileName, 0, extList[0]); Connection.UpdateMainPageState( $"{DateTime.Now:yyyy/MM/dd HH:mm:ss} 开始评测 #{JudgeResult.JudgeId},题目:{JudgeResult.ProblemName},用户:{JudgeResult.UserName}", textBlock); BeginJudge( t.LinuxComExec ? GetRealStringWSL(t.CompilerExec, 0, extList[0]) : GetRealString(t.CompilerExec, 0, extList[0]), t.LinuxStaExec ? GetRealStringWSL(t.StaticCheck, 0, extList[0]) : GetRealString(t.StaticCheck, 0, extList[0]), t.LinuxStaArgs ? GetRealStringWSL(t.StaticArgs, 0, extList[0]) : GetRealString(t.StaticArgs, 0, extList[0]), t.LinuxRunExec ? GetRealStringWSL(t.RunExec, 0, extList[0]) : GetRealString(t.RunExec, 0, extList[0]), t.LinuxRunArgs ? GetRealStringWSL(t.RunArgs, 0, extList[0]) : GetRealString(t.RunArgs, 0, extList[0]), textBlock); Connection.UpdateJudgeInfo(JudgeResult); Connection.UpdateMainPageState( $"{DateTime.Now:yyyy/MM/dd HH:mm:ss} 评测完毕 #{JudgeResult.JudgeId},题目:{JudgeResult.ProblemName},用户:{JudgeResult.UserName},结果:{JudgeResult.ResultSummary}", textBlock); if (userId > 1) { if (JudgeResult.ResultSummary.Contains("Exceeded")) { DeltaCoins = Connection.RandomNum.Next(4, 16); DeltaExperience = Connection.RandomNum.Next(8, 16); } else if (JudgeResult.ResultSummary.Contains("Accepted")) { DeltaCoins = Connection.RandomNum.Next(16, 64); DeltaExperience = Connection.RandomNum.Next(32, 64); } else { DeltaExperience = Connection.RandomNum.Next(2, 4); } Connection.UpdateCoins(userId, DeltaCoins); Connection.UpdateExperience(userId, DeltaExperience); } } catch { //ignored } try { DeleteFiles(_workingdir); } catch { //ignored } lock (Connection.JudgeListCntLock) { Connection.CurJudgingCnt--; } }