Judge Leader工作步骤

[szdytom]

目前文字描述，有时间再画图。

[szdytom]

启动与连接至服务器

• 1. Judge Leader 初始化并读取配置文件
• 2. Judge Leader 通过用户名和密码在服务器 /api/account/token 获取服务器 token
• 3. Judge Leader 通过服务器 token 在服务器 /api/judger/token 获取 JudgerPort token
• 4. Judge Leader 通过 JudgerPort token 用 socket.io 连接至 Judger Port
• 5. Judge Leader 监听 assign-task 事件

[szdytom]

Data Server的连接

• 1. Data Server 按配置文件请求 POST Judge Leader /api/data-server，发送端口

  {
      "port": 4000
  }

• 2. Judge Leader 按收到请求后记录 Data Server的 IP，连接完成

[szdytom]

Judger的连接

新的架构（2. Use HTTP），旧架构作废。

• 1. Judger 初始化，并按配置文件 POST 请求 Judge Leader /api/judger，发送最大并行测评数和端口

  {
      "max_thread": 4,
      "port": 4000
  }

• 2. Judge Leader 触发 Judger Port 的 set-priority 事件，按新连接的 Judger 的最大并行测评数更新优先级

• 3. Judger 申请并建立 Websocket 连接

• 注意：Judger 忙碌时（达到最大并行测评数），会主动断开 Websocket 连接

[ZTL-UwU]

Ahh

[ZTL-UwU]

注意：Judger忙碌时（达到最大并行测评数），会主动断开Websocket连接

为什么，没有必要。。 @szdytom

[szdytom]

你得知道还能不能安排任务给这个测评机，这是最简单的方法之一了 @zhangtianli2006

[ZTL-UwU]

如何于 rust judger 建立 websocket 连接? @szdytom

[szdytom]

@zhangtianli2006 直接使用ws.Server，npm上的库(npm i --save ws)

[szdytom]

收到评测任务时

• 1. Judge Leader接受来自Judger Portassign-task事件的任务ID
• 2. Judge Leader通过服务器token在GET /api/judger/task/:id获取评测任务详细信息
• 3. Judge Leader通过服务器token在GET /api/judger/problem/:pid获取目标题目的测试数据URL和测试数据更新时间

4. Judge Leader询问各个Data Server是否有目标题目的最新测试数据（/api/data/:id），若没有有测试数据：
   1. Judge Leader询问各个Data Server的剩余磁盘空间并排序，选定剩余磁盘空间最多的Data Server
   2. Judge Leader若所有Data Server都没有足够的空间则随机抽取一个Data Server
   3. Judge Leader访问选定Data Server的POST /api/data，传输以下信息：
      • 题目PID
      • 题目测试数据
      • 下载完成的回调URL（/api/data-ready/:uid）（Data Server下载完成后会请求此URL）
   4. 等待Data Server下载完成
5. Judge Leader随机从Judger连接的Websocket中抽选一个，发送任务UID
6. Judger请求Judge Leader的GET /api/task/:uid获取任务的详细信息，包含：
   • 题目ID
   • 有测试数据的Data Server的URL
   • 语言信息
   • 待测代码
7. Judge Leader触发Judger Port的set-priority事件更新优先级（priority -= 1;）

[ZTL-UwU]

直接先不 Mock，开始写吧。

[szdytom]

Judge Leader通过服务器token在GET /api/judger/problem/:pid获取目标题目的测试数据URL和测试数据更新时间（Mock Required）

OK，我先把这个写了。

Update 16:31: finished via 4137db0bcc264ed7663e339c1580d154de12f596

[ZTL-UwU]

OK

[szdytom]

当Judger评测完成时

1. Judger请求Judger Leader的DELETE /api/task/:uid
2. Judge Leader触发Judger Port的set-priority事件更新优先级（priority += 1;）