84 lines
4.3 KiB
Markdown
84 lines
4.3 KiB
Markdown
# KF-OnlineJudge
|
||
|
||
以 Rust 自研判题与 Linux 沙箱、以 Python/FastAPI 提供平台服务的在线评测系统。
|
||
前端使用 Vue 3、TypeScript、Element Plus 和 Vite。
|
||
|
||
当前版本为 **0.0.1**：沙箱已有受控隔离、C/C++ 编译及 native 执行；平台已实现真实身份、
|
||
不可变题目、工件与幂等提交创建。事务 outbox、持久化 Coordinator、普通 Worker 和受控
|
||
helper 工厂已接通 C/C++ 编译一次、多测试点评测；登录、题库、提交和个人成绩页面
|
||
使用真实接口。训练、比赛、社区等扩展页面仍为开发预览。
|
||
|
||
## 工程划分
|
||
|
||
| 目录 | 职责 |
|
||
| --- | --- |
|
||
| `backend/` | Python 模块化单体、平台 API、学习 Worker、待投递事件发布器及唯一数据库迁移入口 |
|
||
| `judge/` | Rust workspace：协议、沙箱、判题编排、判题 Worker 和协调器 |
|
||
| `frontend/` | 页面、路由、请求生命周期与生成的 API 类型 |
|
||
| `contracts/` | 版本化 JSON Schema 与 OpenAPI 快照 |
|
||
| `deploy/` | 本地 PostgreSQL / RabbitMQ 配置 |
|
||
| `scripts/` | Python 导入边界与 Rust crate 依赖检查 |
|
||
| `tests/` | 跨语言共享协议样例 |
|
||
| `skills/`、`experiments/` | 后续内置技能与可复现实验的扩展位置 |
|
||
|
||
Python 业务域分为 `identity`、`problems`、`submissions`、`community`、`learning`、`skills`
|
||
和 `operations`。业务域之间通过公开应用接口协作，不直接访问其他域的持久化实现。
|
||
`runtime` 管理执行机制，通过注入端口调用业务能力。
|
||
|
||
Rust 分为 `kf-contracts`、`kf-sandbox`、`kf-engine`、`kf-worker`、`kf-coordinator` 五个 crate。
|
||
协调器拥有执行状态写入权，判题 Worker 不直接写评测数据库。
|
||
沙箱执行入口每次核验隔离与限额，任何未验证配置继续拒绝执行。
|
||
用户程序及隔离/超限验收只在独立、整体限额的无业务凭据测试 VM 内运行。
|
||
|
||
## 安装与检查
|
||
|
||
工具链基线：Python 3.13.16 + uv、Rust 1.99.0、Node 26.10.0 + pnpm 11.28.4。
|
||
Python 和 Rust 版本由工程配置固定，三套工程分别提交依赖锁文件。
|
||
开发与构建使用 Linux 原生文件系统。
|
||
|
||
```bash
|
||
make install
|
||
make check
|
||
```
|
||
|
||
`make check` 包含架构边界、契约同步、静态检查、测试、前端生产构建和 Compose 配置检查。
|
||
检查无需启动数据库或队列，也不执行破坏性沙箱测试。
|
||
`make format` 格式化源码，`make contracts` 更新 Schema、OpenAPI 和前端类型。
|
||
|
||
## 启动骨架
|
||
|
||
分别在终端运行：
|
||
|
||
```bash
|
||
make api # 平台 API：127.0.0.1:8000
|
||
make frontend # Vue 开发服务：127.0.0.1:5173
|
||
make coordinator # 协调器：127.0.0.1:8100
|
||
```
|
||
|
||
平台存活接口为 `/api/v1/health/live`，开发 API 文档为 `/api/docs`。
|
||
前端开发服务将 `/api` 代理到平台；生产部署需另行配置反向代理与 SPA 路由回退。
|
||
协调器存活接口为 `/health/live`。
|
||
|
||
```bash
|
||
make worker-check # 三个后台入口仅检查配置，不消费任务
|
||
make sandbox-probe # 只读观察 Linux 环境，不创建隔离资源
|
||
```
|
||
|
||
本地数据库与队列的启动步骤见 [部署说明](deploy/README.md)。
|
||
业务表和权限分工由后端 Alembic 唯一管理，见 [迁移与权限说明](backend/migrations/README.md)。
|
||
模型服务与第三方插件尚未接入。
|
||
|
||
开发中的规划文档仅在本地维护，不包含在远端仓库中。
|
||
单机提交服务的配置、最小权限、停止恢复与独立 VM 验收要求见
|
||
[判题说明](judge/README.md#单机持久化协调与常驻-worker)和[部署说明](deploy/README.md#单机提交服务的启动与停止)。
|
||
当前普通题执行支持固定 GNU C17/C++20、CPython 3.13.16 和 OpenJDK 21.0.12.1+1-LTS，
|
||
使用精确字节比较。Python 固定单文件 main.py 与标准库；Java 固定默认包 Main.java/Main，
|
||
允许有界辅助/内部/匿名类。题目必须显式声明对应语言能力，旧题目不会自动获得新语言。
|
||
新版源码与普通 Worker 的沙箱执行已在独立 VM 验收；完整平台/浏览器及故障验收按工程阶段
|
||
分别记录，生产部署需另行进行。自助注册、自测、SPJ/交互题、Rust 用户程序、分布式调度
|
||
和学习能力仍待后续实现。
|
||
|
||
## 许可证
|
||
|
||
[MIT](LICENSE)。引用或复用其他项目代码时记录来源并遵守对应许可证。
|