eris/worker.py

94 lines
3 KiB
Python
Raw Normal View History

2016-01-21 23:22:42 +00:00
#!/usr/bin/env python3
# Copyright (C) 2015-2016 Andrew Hamilton. All rights reserved.
# Licensed under the Artistic License 2.0.
import asyncio
2016-01-21 23:22:42 +00:00
import os
import signal
import psutil
2016-01-21 23:22:42 +00:00
import tools
def _make_process_nicest(pid):
process = psutil.Process(pid)
process.nice(19)
process.ionice(psutil.IOPRIO_CLASS_IDLE)
class Worker:
def __init__(self, sandbox, is_already_paused, is_being_tested):
self.sandbox = sandbox
self.is_already_paused = is_already_paused
self.is_being_tested = is_being_tested
self.result = None
self.process = None
self.child_pid = None
async def create_process(self):
command = [__file__]
if self.sandbox is not None:
command = self.sandbox.command(command)
create = asyncio.create_subprocess_exec(
*command, stdin=asyncio.subprocess.PIPE,
stdout=asyncio.subprocess.PIPE, stderr=asyncio.subprocess.PIPE)
self.process = await create
pid_line = await self.process.stdout.readline()
self.child_pid = int(pid_line.strip())
async def run_tool(self, path, tool):
self.process.stdin.write(("%s\n%s\n" %
(tool.__qualname__, path)).encode("utf-8"))
data = await self.process.stdout.readline()
return tools.Status(int(data))
async def job_runner(self, summary, log, jobs_added_event,
2016-10-16 12:32:01 +02:00
appearance_changed_event):
await self.create_process()
_make_process_nicest(self.child_pid)
while True:
await jobs_added_event.wait()
while True:
try:
self.result = summary.get_closest_placeholder()
except StopIteration:
self.result = None
if summary.result_total == summary.completed_total:
log.log_message("All results are up to date.")
if self.is_being_tested:
os.kill(os.getpid(), signal.SIGINT)
break
await self.result.run(log, appearance_changed_event,
2016-10-16 12:32:01 +02:00
self)
summary.completed_total += 1
jobs_added_event.clear()
def pause(self):
if self.result is not None and \
self.result.status == tools.Status.running:
os.kill(self.child_pid, signal.SIGSTOP)
self.result.set_status(tools.Status.paused)
def continue_(self):
if self.result is not None and \
self.result.status == tools.Status.paused:
self.result.set_status(tools.Status.running)
os.kill(self.child_pid, signal.SIGCONT)
2016-01-21 23:22:42 +00:00
def main():
print(os.getpid(), flush=True)
while True:
tool_name, path = input(), input()
tool = getattr(tools, tool_name)
result = tools.Result(path, tool)
2016-01-21 23:22:42 +00:00
status, result.result = tools.run_tool_no_error(path, tool)
print(status.value, flush=True)
2016-01-21 23:22:42 +00:00
if __name__ == "__main__":
main()