2015-11-28 12:32:49 +00:00
|
|
|
|
# coding=utf-8
|
|
|
|
|
from django.db import models
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class JudgeServer(models.Model):
|
2015-11-29 13:29:26 +00:00
|
|
|
|
ip = models.GenericIPAddressField()
|
2015-11-28 12:32:49 +00:00
|
|
|
|
port = models.IntegerField()
|
|
|
|
|
# 这个服务器最大可能运行的判题实例数量
|
|
|
|
|
max_instance_number = models.IntegerField()
|
|
|
|
|
left_instance_number = models.IntegerField()
|
2015-12-07 08:54:49 +00:00
|
|
|
|
workload = models.IntegerField(default=0)
|
2015-12-06 10:45:53 +00:00
|
|
|
|
token = models.CharField(max_length=30)
|
|
|
|
|
# 进行测试用例同步的时候加锁
|
|
|
|
|
lock = models.BooleanField(default=False)
|
2015-11-28 12:32:49 +00:00
|
|
|
|
# status 为 false 的时候代表不使用这个服务器
|
|
|
|
|
status = models.BooleanField(default=True)
|
|
|
|
|
|
2015-12-07 08:54:49 +00:00
|
|
|
|
def use_judge_instance(self):
|
2015-12-08 06:51:50 +00:00
|
|
|
|
# 因为use 和 release 中间是判题时间,可能这个 model 的数据已经被修改了,所以不能直接使用self.xxx,否则取到的是旧数据
|
|
|
|
|
server = JudgeServer.objects.select_for_update().get(id=self.id)
|
|
|
|
|
server.left_instance_number -= 1
|
|
|
|
|
server.workload = 100 - int(float(server.left_instance_number) / server.max_instance_number * 100)
|
|
|
|
|
server.save()
|
2015-12-07 15:20:27 +00:00
|
|
|
|
|
|
|
|
|
def release_judge_instance(self):
|
2015-12-08 06:51:50 +00:00
|
|
|
|
# 使用原子操作
|
|
|
|
|
server = JudgeServer.objects.select_for_update().get(id=self.id)
|
|
|
|
|
server.left_instance_number += 1
|
|
|
|
|
server.workload = 100 - int(float(server.left_instance_number) / server.max_instance_number * 100)
|
|
|
|
|
server.save()
|
2015-12-07 08:54:49 +00:00
|
|
|
|
|
2015-11-28 12:32:49 +00:00
|
|
|
|
class Meta:
|
|
|
|
|
db_table = "judge_server"
|
2015-12-06 10:45:53 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class JudgeWaitingQueue(models.Model):
|
|
|
|
|
submission_id = models.CharField(max_length=40)
|
2015-12-07 15:20:27 +00:00
|
|
|
|
time_limit = models.IntegerField()
|
|
|
|
|
memory_limit = models.IntegerField()
|
|
|
|
|
test_case_id = models.CharField(max_length=40)
|
2015-12-06 10:45:53 +00:00
|
|
|
|
create_time = models.DateTimeField(auto_now_add=True)
|
|
|
|
|
|
|
|
|
|
class Meta:
|
|
|
|
|
db_table = "judge_waiting_queue"
|