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):
|
|
|
|
self.left_instance_number -= 1
|
|
|
|
self.workload = 100 - int(self.left_instance_number / self.max_instance_number)
|
|
|
|
self.save()
|
|
|
|
|
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)
|
|
|
|
create_time = models.DateTimeField(auto_now_add=True)
|
|
|
|
|
|
|
|
class Meta:
|
|
|
|
db_table = "judge_waiting_queue"
|