We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
描述问题 开启redis判题,同一时间提交的任务多了一些
如何复现 提交多一些
Additional context 看了一下应该是judged.cc 中, work函数如果没有可用的client,就退出了,但是已经通过get job执行过redis 的rpop,导致消费了redis队列,但没有实际执行
The text was updated successfully, but these errors were encountered:
这个部分确实没有实现好,建议停用redis,现在有udp通知已经足够了。
Sorry, something went wrong.
No branches or pull requests
描述问题
开启redis判题,同一时间提交的任务多了一些
如何复现
提交多一些
Additional context
看了一下应该是judged.cc 中, work函数如果没有可用的client,就退出了,但是已经通过get job执行过redis 的rpop,导致消费了redis队列,但没有实际执行
The text was updated successfully, but these errors were encountered: