S2OJ/web/app/models/UOJSubmission.php

766 lines
22 KiB
PHP
Raw Normal View History

2022-11-06 02:26:21 +00:00
<?php
class UOJSubmission {
use UOJSubmissionLikeTrait;
/**
* @var array
*/
public $latest_version = null;
public static function query($id) {
if (!isset($id) || !validateUInt($id)) {
return null;
}
$info = DB::selectFirst([
"select * from submissions",
"where", ['id' => $id]
]);
if (!$info) {
return null;
}
return new UOJSubmission($info);
}
public static function initProblemAndContest() {
if (!self::cur()->setProblem()) {
return false;
}
self::cur()->problem->setAsCur();
if (self::cur()->problem instanceof UOJContestProblem) {
self::cur()->problem->contest->setAsCur();
}
return true;
}
/**
* Get a SQL cause to determine whether a user can view a submission
* Need to be consistent with the member function userCanView
*/
public static function sqlForUserCanView(array $user = null, UOJProblem $problem = null) {
2022-11-11 23:10:34 +00:00
if (isSuperUser($user) || UOJUser::checkPermission($user, 'problems.manage')) {
2022-11-06 02:26:21 +00:00
// MySQL can find appropriate keys to speed up the query if we write "true" in this way.
return "(submissions.is_hidden = true or submissions.is_hidden = false)";
} elseif ($problem) {
if ($problem->userCanManage($user)) {
// MySQL can find appropriate keys to speed up the query if we write "true" in this way.
return "(submissions.is_hidden = true or submissions.is_hidden = false)";
} else {
return "(submissions.is_hidden = false)";
}
} else {
if (UOJProblem::userCanManageSomeProblem($user)) {
return DB::lor([
"submissions.is_hidden" => false,
DB::land([
"submissions.is_hidden" => true,
DB::lor([
[
"submissions.problem_id", "in", DB::rawbracket([
"select problem_id from problems_permissions",
"where", ["username" => $user['username']]
])
],
[
"submissions.problem_id", "in", DB::rawbracket([
"select problem_id from problems",
"where", ["uploader" => $user['username']]
])
],
])
])
]);
} else {
return "(submissions.is_hidden = false)";
}
}
}
public static function sqlForActualScore() {
return 'if(hide_score_to_others = 1, hidden_score, score)';
}
public function getActualScore() {
return $this->info['hide_score_to_others'] ? $this->info['hidden_score'] : $this->info['score'];
}
public static function roundedScore($score): float {
return round($score, 10);
}
public static function roundScoreInArray(&$info, $key) {
if (isset($info[$key])) {
$info[$key] = static::roundedScore($info[$key]);
}
}
2022-11-06 02:26:21 +00:00
public static function onUpload($zip_file_name, $content, $tot_size, $is_contest_submission) {
$judge_reason = '';
$content['config'][] = ['problem_id', UOJProblem::info('id')];
2023-01-18 02:21:53 +00:00
2023-01-18 08:20:12 +00:00
if (UOJProblem::info('type') == 'remote') {
$content['config'][] = ['remote_online_judge', UOJProblem::cur()->getExtraConfig('remote_online_judge')];
2023-01-18 02:21:53 +00:00
$content['config'][] = ['remote_problem_id', UOJProblem::cur()->getExtraConfig('remote_problem_id')];
}
2022-11-06 02:26:21 +00:00
if ($is_contest_submission && UOJContestProblem::cur()->getJudgeTypeInContest() == 'sample') {
$content['final_test_config'] = $content['config'];
$content['config'][] = ['test_sample_only', 'on'];
$judge_reason = json_encode(['text' => '样例测评']);
}
2023-01-18 02:21:53 +00:00
2022-11-06 02:26:21 +00:00
$content_json = json_encode($content);
$language = static::getAndRememberSubmissionLanguage($content);
$result = ['status' => 'Waiting'];
$result_json = json_encode($result);
if ($is_contest_submission) {
$qs = DB::query_str([
"insert into submissions",
DB::bracketed_fields([
'problem_id', 'contest_id', 'submit_time', 'submitter', 'content', 'judge_reason',
'language', 'tot_size', 'status', 'result', 'hide_score_to_others', 'is_hidden',
]),
"values", DB::tuple([
UOJProblem::info('id'), UOJContest::info('id'), DB::now(), Auth::id(), $content_json, $judge_reason,
$language, $tot_size, $result['status'], $result_json, UOJContest::info('frozen'), 0
])
]);
} else {
$qs = DB::query_str([
"insert into submissions",
DB::bracketed_fields([
'problem_id', 'submit_time', 'submitter', 'content', 'judge_reason',
'language', 'tot_size', 'status', 'result', 'is_hidden'
]),
"values", DB::tuple([
UOJProblem::info('id'), DB::now(), Auth::id(), $content_json, $judge_reason,
$language, $tot_size, $result['status'], $result_json, UOJProblem::info('is_hidden')
])
]);
}
$ret = retry_loop(fn () => DB::insert($qs));
if ($ret === false) {
unlink(UOJContext::storagePath() . $zip_file_name);
UOJLog::error('submission failed.');
2023-02-18 01:19:21 +00:00
UOJResponse::page500('submission failed.');
return false;
} else {
$id = DB::insert_id();
return $id;
2022-11-06 02:26:21 +00:00
}
}
public static function onJudged($id, $post_result, $post_judge_time) {
// TODO: use TID instead of judge_time to ensure the judger submitted to the correct submission!
DB::startTransaction();
$submission = static::query($id);
if (!$submission) {
UOJLog::error("cannot submit result to submission $id");
DB::rollback();
return false;
}
if ($submission->info['judge_time'] !== $post_judge_time) {
if (!$submission->loadHistoryByTime($post_judge_time, UOJTime::FORMAT)) {
UOJLog::error("cannot submit result to submission $id with judge_time $post_judge_time");
DB::rollback();
return false;
}
}
$set_q = [
'status' => 'Judged',
'status_details' => '',
];
if ($submission->info['status'] == 'Judged, Judging') { // for UOJ-OI
$result = json_decode($submission->info['result'], true);
$result['final_result'] = json_decode($post_result, true);
$result['final_result']['details'] = uojTextEncode($result['final_result']['details']);
$set_q += [
'result' => json_encode($result, JSON_UNESCAPED_UNICODE),
];
} elseif ($submission->info['status'] == 'Judging') {
$result = json_decode($post_result, true);
if (isset($result['details'])) {
$result['details'] = uojTextEncode($result['details']);
} else {
$result['details'] = '<error>No Comment</error>';
}
$set_q += [
'result' => json_encode($result, JSON_UNESCAPED_UNICODE),
];
if (isset($result["error"])) {
$actual_score = null;
$set_q += [
'result_error' => $result['error'],
'used_time' => 0,
'used_memory' => 0
];
} else {
$actual_score = $result['score'];
$set_q += [
'result_error' => null,
'used_time' => $result['time'],
'used_memory' => $result['memory']
];
}
if ($submission->getContent('final_test_config')) {
$set_q['status'] = 'Judged, Waiting';
}
if ($submission->isLatest()) {
if ($submission->info['hide_score_to_others']) { // for contests that have been frozen
$set_q += [
'score' => null,
'hidden_score' => $actual_score
];
} else {
$set_q += [
'score' => $actual_score,
'hidden_score' => null
];
}
} else {
$set_q += [
'score' => $actual_score
];
}
} else {
// do nothing...
return;
}
if ($submission->isLatest()) {
DB::update([
"update submissions",
"set", $set_q,
"where", ['id' => $submission->info['id']]
]);
} else {
DB::update([
"update submissions_history",
"set", $set_q,
"where", [
'submission_id' => $submission->info['id'],
'judge_time' => $submission->info['judge_time']
]
]);
}
DB::commit();
if ($submission->isLatest()) {
updateBestACSubmissions($submission->info['submitter'], $submission->info['problem_id']);
}
}
public static function rejudgeAll($conds, array $cfg = []) {
$res = DB::selectAll([
"select id from submissions",
"where", $conds
]);
foreach ($res as &$row) {
$row = $row['id'];
}
static::rejudgeByIds($res, $cfg);
}
public static function rejudgeProblem(UOJProblem $problem, array $cfg = []) {
$cfg += [
'reason_text' => '管理员手动重测本题所有提交记录'
];
static::rejudgeAll([
"problem_id" => $problem->info['id']
], $cfg);
}
public static function rejudgeProblemAC(UOJProblem $problem, array $cfg = []) {
$cfg += [
'reason_text' => '管理员手动重测本题所有获得100分的提交记录'
];
static::rejudgeAll([
"problem_id" => $problem->info['id'],
"score" => 100
], $cfg);
}
public static function rejudgeProblemGe97(UOJProblem $problem, array $cfg = []) {
$cfg += [
'reason_text' => '管理员手动重测本题所有得分≥97分的提交记录'
];
static::rejudgeAll([
"problem_id" => $problem->info['id'],
["score", ">=", 97]
], $cfg);
}
public static function rejudgeById($id, $cfg = []) {
return static::rejudgeByIds([$id], $cfg);
}
public static function rejudgeByIds($ids, $cfg = []) {
$cfg += [
'reason_text' => '管理员手动重测该提交记录',
'requestor' => Auth::check() ? Auth::id() : '',
'reason_url' => null,
'set_q' => [],
'batch_size' => 16,
'major' => true,
];
$cfg['set_q'] += [
'judge_time' => null,
'result' => '',
'score' => null,
'status' => 'Waiting Rejudge',
'judge_reason' => json_encode([
'text' => $cfg['reason_text'],
'requestor' => $cfg['requestor'],
'url' => $cfg['reason_url']
])
];
foreach (array_chunk($ids, $cfg['batch_size']) as $batch) {
if ($cfg['major']) {
DB::transaction(function () use (&$batch, &$cfg) {
if (count($batch) == 1) {
$cond = ['id', '=', $batch[0]];
} else {
$cond = ['id', 'in', DB::rawtuple($batch)];
}
$history_fields = [
'submission_id', 'judge_reason', 'judge_time', 'judger',
'result', 'status', 'result_error', 'score', 'used_time', 'used_memory',
'major'
];
$cur_fields = [
'id', 'judge_reason', 'judge_time', 'judger',
'result', 'status', 'result_error', UOJSubmission::sqlForActualScore(), 'used_time', 'used_memory',
DB::value(1)
];
DB::insert([
"insert into submissions_history",
DB::bracketed_fields($history_fields),
"select", DB::fields($cur_fields), "from submissions",
"where", [
$cond,
['judge_time', 'is not', null],
DB::lor([
['result_error', 'is', null],
DB::land([
['result_error', '!=', 'Judgement Failed'],
['result_error', '!=', 'Judgment Failed']
])
])
], DB::for_update()
]);
DB::update(["update submissions", "set", $cfg['set_q'], "where", [$cond]]);
});
} else {
$history_fields = [
'submission_id', 'judge_reason', 'result', 'status', 'major'
];
$cur_vals = [];
foreach ($batch as $id) {
$cur_vals[] = [
$id, $cfg['set_q']['judge_reason'], $cfg['set_q']['result'], $cfg['set_q']['status'], 0
];
}
DB::insert([
"insert into submissions_history",
DB::bracketed_fields($history_fields),
"values", DB::tuples($cur_vals)
]);
}
}
}
public function __construct($info) {
$this->info = $info;
static::roundScoreInArray($this->info, 'score');
static::roundScoreInArray($this->info, 'hidden_score');
2022-11-06 02:26:21 +00:00
}
public function hasFullyJudged() {
return $this->info['status'] === 'Judged';
}
public function viewerCanSeeScore(array $user = null) {
// assert($this->userCanView($user));
if ($this->info['hide_score_to_others']) {
return $this->userIsSubmitter($user);
} else {
return true;
}
}
public function viewerCanSeeComponents(array $user = null) {
// assert($this->userCanView($user));
$pec = $this->problem->getExtraConfig();
$perm = ['manager_view' => $this->userCanManageProblemOrContest($user)];
if ($perm['manager_view']) {
$user = UOJUser::query($this->info['submitter']);
}
$perm['content'] = $this->userPermissionCodeCheck($user, $pec['view_content_type']);
$perm['score'] = $this->viewerCanSeeScore($user);
$perm['high_level_details'] = $perm['score'] && $this->userPermissionCodeCheck($user, $pec['view_all_details_type']);
$perm['low_level_details'] = $perm['high_level_details'] && $this->userPermissionCodeCheck($user, $pec['view_details_type']);
foreach ($this->problem->additionalSubmissionComponentsCannotBeSeenByUser($user, $this) as $com) {
$perm[$com] = false;
}
return $perm;
}
public function viewerCanSeeStatusDetailsHTML(array $user = null) {
return $this->isLatest() && $this->userIsSubmitter($user) && !$this->hasJudged();
}
public function userCanSeeMinorVersions(array $user = null) {
2023-01-22 09:56:36 +00:00
if ($this->problem->info['type'] == 'remote') {
return false;
}
2022-11-06 02:26:21 +00:00
if (isSuperUser($user)) {
return true;
}
return $this->userCanManageProblemOrContest($user);
}
public function userCanRejudge(array $user = null) {
if ($this->getContent('no_rejudge')) {
return false;
}
2022-11-06 02:26:21 +00:00
if (isSuperUser($user)) {
return true;
}
2023-01-18 02:21:53 +00:00
2022-11-06 02:26:21 +00:00
return $this->userCanManageProblemOrContest($user) && $this->hasFullyJudged();
}
public function preHackCheck(array $user = null) {
return $this->info['score'] == 100 && $this->problem->preHackCheck($user);
}
public function isLatest() {
return !$this->latest_version || ($this->info['type'] == 'major' && $this->info['judge_time'] === $this->latest_version['judge_time']);
}
public function isMajor() {
return !$this->latest_version || $this->info['type'] == 'major';
}
public function getTID() {
return !$this->latest_version ? 0 : $this->info['tid'];
}
public function getUri() {
$uri = "/submission/{$this->info['id']}";
if ($this->isLatest()) {
return $uri;
} elseif ($this->info['type'] == 'major') {
return $uri . '?time=' . (new DateTime($this->info['judge_time']))->format('Y.m.d-H.i.s');
} else {
return $uri . "?tid={$this->info['tid']}";
}
}
public function getUriForLatest() {
return "/submission/{$this->info['id']}";
}
public function getUriForNewTID($tid) {
return "/submission/{$this->info['id']}?tid={$tid}";
}
public function echoStatusBarTD($name, array $cfg) {
2023-02-18 01:19:21 +00:00
$cfg += [
'result_badge' => false,
];
2022-11-06 02:26:21 +00:00
switch ($name) {
case 'result':
if (empty($cfg['no_link'])) {
$tag_st = '<a href="' . $this->getUri() . '"';
$tag_ed = '</a>';
} else {
$tag_st = '<span';
$tag_ed = '</span>';
}
if ($this->hasJudged()) {
if ($this->info['hide_score_to_others']) {
$cfg += [
'show_actual_score' => true,
'visible_score' => $this->info['score']
];
}
if (!$cfg['show_actual_score']) {
echo '<strong class="text-muted">?</strong>';
} else {
$actual_score = $this->getActualScore();
if ($actual_score === null) {
2023-02-18 01:19:21 +00:00
if ($cfg['result_badge']) {
echo $tag_st, ' class="fs-5"><span class="badge text-white bg-warning">', $this->info['result_error'], '</span>', $tag_ed;
} else {
echo $tag_st, ' class="small text-decoration-none">', $this->info['result_error'], $tag_ed;
}
2022-11-06 02:26:21 +00:00
} else {
echo $tag_st, ' class="vstack d-inline-flex">';
2023-02-18 01:19:21 +00:00
if ($cfg['result_badge']) {
echo '<span class="fs-5">';
if ($actual_score == 100) {
// rgb(0, 204, 0)
echo '<span class="badge text-white uoj-accepted-badge">', 'Accepted', '</span>';
2023-02-18 01:19:21 +00:00
} else {
// rgb(204, 0, 0)
echo '<span class="badge text-white uoj-unaccepted-badge">', 'Unaccepted', '</span>';
2023-02-18 01:19:21 +00:00
}
echo '</span>';
}
echo '<span class="uoj-score">', $actual_score, '</span>';
echo $tag_ed;
2022-11-06 02:26:21 +00:00
}
}
} else {
2023-02-18 01:19:21 +00:00
if ($cfg['result_badge']) {
echo $tag_st, ' class="fs-5"><span class="badge text-bg-primary">', $this->publicStatus(), '</span>', $tag_ed;
} else {
echo $tag_st, ' class="small text-decoration-none">', $this->publicStatus(), $tag_ed;
}
2022-11-06 02:26:21 +00:00
}
break;
case 'language':
echo '<a class="text-decoration-none" href="', $this->getUri(), '">', UOJLang::getLanguageDisplayName($this->info['language']), '</a>';
break;
default:
$this->echoStatusBarTDBase($name, $cfg);
break;
}
}
public function echoStatusTableRow(array $cfg, array $viewer = null) {
if (!isset($cfg['show_actual_score'])) {
$cfg['show_actual_score'] = $this->viewerCanSeeScore($viewer);
}
$show_status_details = $this->viewerCanSeeStatusDetailsHTML($viewer);
if (!$show_status_details) {
echo '<tr>';
} else {
echo '<tr class="table-warning">';
}
$cols = ['id', 'problem', 'submitter', 'result', 'used_time', 'used_memory', 'language', 'tot_size', 'submit_time', 'judge_time'];
foreach ($cols as $name) {
if (!isset($cfg["{$name}_hidden"])) {
echo '<td>';
$this->echoStatusBarTD($name, $cfg);
echo '</td>';
}
}
echo '</tr>';
if ($show_status_details) {
echo '<tr id="', "status_details_{$this->info['id']}", '" class="">';
2022-11-06 02:26:21 +00:00
echo $this->getStatusDetailsHTML();
echo '</tr>';
echo '<script type="text/javascript">update_judgement_status_details(' . $this->info['id'] . ')</script>';
}
}
function echoStatusTable(array $cfg, array $viewer = null) {
echo '<div class="table-responsive card mb-3">';
echo '<table class="table text-center mb-0 uoj-table">';
echo '<thead>';
echo '<tr>';
if (!isset($cfg['id_hidden'])) {
echo '<th>ID</th>';
}
if (!isset($cfg['problem_hidden'])) {
echo '<th>' . UOJLocale::get('problems::problem') . '</th>';
}
if (!isset($cfg['submitter_hidden'])) {
echo '<th>' . UOJLocale::get('problems::submitter') . '</th>';
}
if (!isset($cfg['result_hidden'])) {
echo '<th>' . UOJLocale::get('problems::result') . '</th>';
}
if (!isset($cfg['used_time_hidden'])) {
echo '<th>' . UOJLocale::get('problems::used time') . '</th>';
}
if (!isset($cfg['used_memory_hidden'])) {
echo '<th>' . UOJLocale::get('problems::used memory') . '</th>';
}
echo '<th>' . UOJLocale::get('problems::language') . '</th>';
echo '<th>' . UOJLocale::get('problems::file size') . '</th>';
if (!isset($cfg['submit_time_hidden'])) {
echo '<th>' . UOJLocale::get('problems::submit time') . '</th>';
}
if (!isset($cfg['judge_time_hidden'])) {
echo '<th>' . UOJLocale::get('problems::judge time') . '</th>';
}
echo '</tr>';
echo '</thead>';
echo '<tbody>';
$this->echoStatusTableRow($cfg, $viewer);
echo '</tbody>';
echo '</table>';
echo '</div>';
}
public function echoStatusCard(array $cfg, array $viewer = null) {
if (!isset($cfg['show_actual_score'])) {
$cfg['show_actual_score'] = $this->viewerCanSeeScore($viewer);
}
$rows = [
'id' => 'ID',
'submitter' => UOJLocale::get('problems::submitter'),
'problem' => UOJLocale::get('problems::problem'),
'result' => UOJLocale::get('problems::result'),
'used_time' => UOJLocale::get('problems::used time'),
'used_memory' => UOJLocale::get('problems::used memory'),
'language' => UOJLocale::get('problems::language'),
'tot_size' => UOJLocale::get('problems::file size'),
'submit_time' => UOJLocale::get('problems::submit time'),
'judge_time' => UOJLocale::get('problems::judge time'),
];
echo '<div class="card mb-3">';
echo '<div class="card-body vstack gap-2">';
foreach ($rows as $id => $name) {
if (!isset($cfg["{$id}_hidden"])) {
switch ($id) {
case 'submitter':
$submitter = UOJUser::query($this->info['submitter']);
$user_profile_url = HTML::url('/user/' . $this->info['submitter']);
echo '<div class="pb-2">';
echo HTML::tag('a', [
'href' => $user_profile_url,
'class' => 'd-inline-block me-2',
], HTML::empty_tag('img', [
'src' => HTML::avatar_addr($submitter, 64),
'class' => 'uoj-user-avatar rounded',
'style' => 'width: 2rem; height: 2rem;',
]));
echo UOJUser::getLink($submitter);
echo '</div>';
break;
default:
echo '<div class="d-flex justify-content-between align-items-center">';
2023-02-17 08:50:32 +00:00
echo '<span class="flex-shrink-0 me-2">', $name, '</span>';
echo '<span class="text-end text-truncate d-inline-block">', $this->echoStatusBarTD($id, $cfg + ['time_font_size' => 'normal']), '</span>';
echo '</div>';
break;
}
}
}
echo '</div>';
echo '</div>';
}
2022-11-06 02:26:21 +00:00
public function delete() {
unlink(UOJContext::storagePath() . $this->getContent('file_name'));
DB::delete([
"delete from submissions",
"where", ["id" => $this->info['id']]
]);
DB::delete([
"delete from submissions_history",
"where", ["submission_id" => $this->info['id']]
]);
updateBestACSubmissions($this->info['submitter'], $this->info['problem_id']);
}
public function deleteThisMinorVersion() {
if ($this->isMajor()) {
return false;
}
return DB::delete([
"delete from submissions_history",
"where", [
'id' => $this->getTID()
]
]);
}
public function loadHistory(array $his) {
if (!$this->latest_version) {
$this->latest_version = $this->info;
}
foreach ($his as $key => $val) {
if ($key == 'message') {
$this->info['judge_reason'] = $val;
} elseif ($key == 'time') {
$this->info['judge_time'] = $val;
} elseif ($key == 'actual_score') {
$this->info['score'] = $val;
$this->info['hidden_score'] = null;
$this->info['hide_score_to_others'] = false;
} else {
$this->info[$key] = $val;
}
}
return $this;
}
public function loadHistoryByTime($time, $format = 'Y.m.d-H.i.s') {
$time = DateTime::createFromFormat($format, $time);
if ($time === false) {
return false;
}
$time = $time->format(UOJTime::FORMAT);
if ($this->info['judge_time'] == $time) {
return $this;
}
$his = DB::selectFirst([
"select", DB::fields(UOJSubmissionHistory::$fields),
"from submissions_history",
"where", [
'submission_id' => $this->info['id'],
'judge_time' => $time
],
]);
if (!$his) {
return false;
}
static::roundScoreInArray($his, 'actual_score');
2022-11-06 02:26:21 +00:00
return $this->loadHistory($his);
}
public function loadHistoryByTID($tid) {
if (!isset($tid) || !validateUInt($tid)) {
return null;
}
$his = DB::selectFirst([
"select", DB::fields(UOJSubmissionHistory::$fields),
"from submissions_history",
"where", [
'submission_id' => $this->info['id'],
'id' => $tid
],
]);
if ($his['type'] !== 'minor') {
return false;
}
if (!$his) {
return false;
}
static::roundScoreInArray($his, 'actual_score');
2022-11-06 02:26:21 +00:00
return $this->loadHistory($his);
}
}