mirror of
https://gitcode.com/gh_mirrors/hy/Hydro.git
synced 2026-10-17 17:36:08 +08:00
156 lines
6.3 KiB
TypeScript
156 lines
6.3 KiB
TypeScript
/* eslint-disable no-await-in-loop */
|
|
import { sleep } from '@hydrooj/utils/lib/utils';
|
|
import * as Judge from 'hydrooj/src/handler/judge';
|
|
import { Logger } from 'hydrooj/src/logger';
|
|
import { STATUS } from 'hydrooj/src/model/builtin';
|
|
import DomainModel from 'hydrooj/src/model/domain';
|
|
import ProblemModel from 'hydrooj/src/model/problem';
|
|
import TaskModel from 'hydrooj/src/model/task';
|
|
import * as bus from 'hydrooj/src/service/bus';
|
|
import db from 'hydrooj/src/service/db';
|
|
import { BasicProvider, IBasicProvider, RemoteAccount } from './interface';
|
|
import { getDifficulty } from './providers/codeforces';
|
|
import providers from './providers/index';
|
|
|
|
const coll = db.collection('vjudge');
|
|
const Pool = {};
|
|
const logger = new Logger('vjudge');
|
|
const syncing = {};
|
|
|
|
class Service {
|
|
api: IBasicProvider;
|
|
problemLists: Set<string>;
|
|
listUpdated = false;
|
|
|
|
constructor(public Provider: BasicProvider, public account: RemoteAccount) {
|
|
this.api = new Provider(account, async (data) => {
|
|
await coll.updateOne({ _id: account._id }, { $set: data });
|
|
});
|
|
this.problemLists = Set.union(this.api.entryProblemLists || ['main'], this.account.problemLists || []);
|
|
this.main().catch((e) => logger.error(`Error occured in ${account.type}/${account.handle}`, e));
|
|
}
|
|
|
|
async addProblemList(name: string) {
|
|
if (this.problemLists.has(name)) return;
|
|
this.problemLists.add(name);
|
|
this.listUpdated = true;
|
|
logger.info(`Discovered new problem list: ${name}`);
|
|
await coll.updateOne({ _id: this.account._id }, { $push: { problemLists: name } });
|
|
}
|
|
|
|
async judge(task) {
|
|
const next = (payload) => Judge.next({ ...payload, rid: task.rid });
|
|
const end = (payload) => Judge.end({ ...payload, rid: task.rid });
|
|
await next({ status: STATUS.STATUS_FETCHED });
|
|
try {
|
|
const rid = await this.api.submitProblem(task.target, task.lang, task.code, task, next, end);
|
|
if (!rid) return;
|
|
await next({ status: STATUS.STATUS_JUDGING, message: `ID = ${rid}` });
|
|
await this.api.waitForSubmission(rid, next, end);
|
|
} catch (e) {
|
|
if (process.env.DEV) logger.error(e);
|
|
end({ status: STATUS.STATUS_SYSTEM_ERROR, message: e.message });
|
|
}
|
|
}
|
|
|
|
async sync(domainId: string, resync = false, list: string) {
|
|
let page = 1;
|
|
let pids = await this.api.listProblem(page, resync, list);
|
|
while (pids.length) {
|
|
logger.info(`${domainId}: Syncing page ${page}`);
|
|
for (const id of pids) {
|
|
if (id.startsWith('LIST::')) {
|
|
await this.addProblemList(id.split('::')[1]);
|
|
continue;
|
|
}
|
|
const [pid, metastr = '{}'] = id.split('#');
|
|
const meta = JSON.parse(metastr);
|
|
if (await ProblemModel.get(domainId, pid) || syncing[`${domainId}/${pid}`]) continue;
|
|
syncing[`${domainId}/${pid}`] = true;
|
|
try {
|
|
const res = await this.api.getProblem(pid, meta);
|
|
if (!res) continue;
|
|
const docId = await ProblemModel.add(domainId, pid, res.title, res.content, 1, res.tag, false);
|
|
if (res.difficulty) await ProblemModel.edit(domainId, docId, { difficulty: res.difficulty });
|
|
for (const key in res.files) {
|
|
await ProblemModel.addAdditionalFile(domainId, docId, key, res.files[key]);
|
|
}
|
|
for (const key in res.data) {
|
|
await ProblemModel.addTestdata(domainId, docId, key, res.data[key]);
|
|
}
|
|
logger.info(`${domainId}: problem ${docId}(${pid}) sync done`);
|
|
} finally {
|
|
delete syncing[`${domainId}/${pid}`];
|
|
}
|
|
await sleep(5000);
|
|
}
|
|
page++;
|
|
pids = await this.api.listProblem(page, resync, list);
|
|
}
|
|
}
|
|
|
|
async login() {
|
|
const login = await this.api.ensureLogin();
|
|
if (login === true) {
|
|
logger.info(`${this.account.type}/${this.account.handle}: logged in`);
|
|
return true;
|
|
}
|
|
logger.warn(`${this.account.type}/${this.account.handle}: login fail`, login || '');
|
|
return false;
|
|
}
|
|
|
|
async main() {
|
|
const res = await this.login();
|
|
if (!res) return;
|
|
setInterval(() => this.login(), 1 * 3600 * 1000);
|
|
TaskModel.consume({ type: 'remotejudge', subType: this.account.type }, this.judge.bind(this), false);
|
|
const ddocs = await DomainModel.getMulti({ mount: this.account.type }).toArray();
|
|
do {
|
|
this.listUpdated = false;
|
|
for (const listName of this.problemLists) {
|
|
for (const ddoc of ddocs) {
|
|
if (ddoc.syncDone === true) {
|
|
await DomainModel.edit(ddoc._id, { syncDone: { main: true } });
|
|
ddoc.syncDone = { main: true };
|
|
}
|
|
if (!ddoc.syncDone?.[listName]) await this.sync(ddoc._id, false, listName);
|
|
else await this.sync(ddoc._id, true, listName);
|
|
await DomainModel.edit(ddoc._id, { [`syncDone.${listName}`]: true });
|
|
ddoc.syncDone ||= {};
|
|
ddoc.syncDone[listName] = true;
|
|
}
|
|
}
|
|
} while (this.listUpdated);
|
|
}
|
|
}
|
|
|
|
async function loadAccounts() {
|
|
// Only start a single daemon
|
|
if (process.env.NODE_APP_INSTANCE !== '0') return;
|
|
const accounts = await coll.find().toArray();
|
|
for (const account of accounts) {
|
|
if (!providers[account.type]) continue;
|
|
Pool[`${account.type}/${account.handle}`] = new Service(providers[account.type], account);
|
|
}
|
|
}
|
|
|
|
declare module 'hydrooj/src/interface' {
|
|
interface Model {
|
|
vjudge: VJudgeModel;
|
|
}
|
|
}
|
|
|
|
class VJudgeModel {
|
|
static async fixCodeforcesDifficulty(domainId = 'codeforces') {
|
|
const pdocs = await ProblemModel.getMulti(domainId, {}).toArray();
|
|
for (const pdoc of pdocs) {
|
|
await ProblemModel.edit(domainId, pdoc.docId, { difficulty: getDifficulty(pdoc.tag) });
|
|
}
|
|
return true;
|
|
}
|
|
}
|
|
|
|
global.Hydro.model.vjudge = VJudgeModel;
|
|
|
|
bus.on('app/started', loadAccounts);
|