408 lines
15 KiB
Python
408 lines
15 KiB
Python
import shlex
|
|
from typing import Tuple
|
|
|
|
import rtoml
|
|
|
|
from joj3_config_generator.models import joj1, repo, result, task
|
|
|
|
|
|
def remove_nulls(d: result.Config) -> result.Config:
|
|
if isinstance(d, dict):
|
|
return {k: remove_nulls(v) for k, v in d.items() if v is not None}
|
|
elif isinstance(d, list):
|
|
return [remove_nulls(item) for item in d]
|
|
else:
|
|
return d
|
|
|
|
|
|
def get_conf_stage(
|
|
task_stage: task.Stage, executor_with_config: result.ExecutorWith
|
|
) -> result.StageDetail:
|
|
conf_stage = result.StageDetail(
|
|
name=task_stage.name if task_stage.name is not None else "",
|
|
# TODO: we may have cq in future
|
|
group=(
|
|
"joj"
|
|
if (task_stage.name is not None) and ("judge" in task_stage.name)
|
|
else None
|
|
),
|
|
executor=result.Executor(
|
|
name="sandbox",
|
|
with_=executor_with_config,
|
|
),
|
|
parsers=(
|
|
[result.Parser(name=parser, with_={}) for parser in task_stage.parsers]
|
|
if task_stage.parsers is not None
|
|
else []
|
|
),
|
|
)
|
|
return conf_stage
|
|
|
|
|
|
def get_executorWithConfig(
|
|
task_stage: task.Stage, cached: list[str]
|
|
) -> Tuple[result.ExecutorWith, list[str]]:
|
|
file_import = (
|
|
task_stage.files.import_
|
|
if hasattr(task_stage, "files")
|
|
and hasattr(task_stage.files, "import_")
|
|
and (task_stage.files is not None)
|
|
and (task_stage.files.import_ is not None)
|
|
else []
|
|
)
|
|
copy_in_files = [file for file in file_import if (file not in cached)]
|
|
file_export = (
|
|
task_stage.files.export
|
|
if hasattr(task_stage, "files")
|
|
and hasattr(task_stage.files, "export")
|
|
and (task_stage.files is not None)
|
|
else []
|
|
)
|
|
executor_with_config = result.ExecutorWith(
|
|
default=result.Cmd(
|
|
args=(
|
|
shlex.split(task_stage.command)
|
|
if task_stage.command is not None
|
|
else []
|
|
),
|
|
copy_in={
|
|
file: result.CmdFile(src=f"/home/tt/.config/joj/{file}")
|
|
for file in copy_in_files
|
|
},
|
|
copy_in_cached={file: file for file in copy_in_files},
|
|
copy_out_cached=file_export if file_export is not None else [],
|
|
cpu_limit=(
|
|
task_stage.limit.cpu * 1_000_000_000
|
|
if task_stage.limit is not None and task_stage.limit.cpu is not None
|
|
else 4 * 1_000_000_000
|
|
),
|
|
clock_limit=(
|
|
2 * task_stage.limit.cpu * 1_000_000_000
|
|
if task_stage.limit is not None and task_stage.limit.cpu is not None
|
|
else 8 * 1_000_000_000
|
|
),
|
|
memory_limit=(
|
|
task_stage.limit.mem * 1_024 * 1_024
|
|
if task_stage.limit is not None and task_stage.limit.mem is not None
|
|
else 4 * 1_024 * 1_024
|
|
),
|
|
stderr=result.CmdFile(
|
|
name="stderr",
|
|
max=(
|
|
task_stage.limit.stderr * 1_000_000_000
|
|
if task_stage.limit is not None
|
|
and task_stage.limit.stderr is not None
|
|
else 4 * 1_024 * 1_024
|
|
),
|
|
),
|
|
stdout=result.CmdFile(
|
|
name="stdout",
|
|
max=(
|
|
task_stage.limit.stdout * 1_000_000_000
|
|
if task_stage.limit is not None
|
|
and task_stage.limit.stdout is not None
|
|
else 4 * 1_024 * 1_024
|
|
),
|
|
),
|
|
),
|
|
cases=[], # You can add cases if needed
|
|
)
|
|
if file_export is not None:
|
|
for file in file_export:
|
|
if file not in cached:
|
|
cached.append(file)
|
|
return (executor_with_config, cached)
|
|
|
|
|
|
def fix_keyword(
|
|
task_stage: task.Stage, conf_stage: result.StageDetail
|
|
) -> result.StageDetail:
|
|
keyword_parser = ["clangtidy", "keyword", "cppcheck", "cpplint"]
|
|
if task_stage.parsers is not None:
|
|
for parser in task_stage.parsers:
|
|
if parser in keyword_parser:
|
|
keyword_parser_ = next(
|
|
p for p in conf_stage.parsers if p.name == parser
|
|
)
|
|
keyword_weight = []
|
|
if getattr(task_stage, parser, None) is not None:
|
|
unique_weight = list(set(getattr(task_stage, parser).weight))
|
|
for score in unique_weight:
|
|
keyword_weight.append({"keywords": [], "score": score})
|
|
|
|
for idx, score in enumerate(unique_weight):
|
|
for idx_, score_ in enumerate(
|
|
getattr(task_stage, parser).weight
|
|
):
|
|
if score == score_:
|
|
keyword_weight[idx]["keywords"].append(
|
|
getattr(task_stage, parser).keyword[idx_]
|
|
)
|
|
else:
|
|
continue
|
|
|
|
keyword_parser_.with_.update({"matches": keyword_weight})
|
|
else:
|
|
continue
|
|
return conf_stage
|
|
|
|
|
|
def fix_result_detail(
|
|
task_stage: task.Stage, conf_stage: result.StageDetail
|
|
) -> result.StageDetail:
|
|
if (task_stage.parsers is not None) and ("result-detail" in task_stage.parsers):
|
|
result_detail_parser = next(
|
|
p for p in conf_stage.parsers if p.name == "result-detail"
|
|
)
|
|
if task_stage.result_detail is not None:
|
|
show_files = []
|
|
if (
|
|
task_stage.result_detail.stdout
|
|
and task_stage.result_detail.stdout is not None
|
|
):
|
|
show_files.append("stdout")
|
|
if (
|
|
task_stage.result_detail.stderr
|
|
and task_stage.result_detail.stderr is not None
|
|
):
|
|
show_files.append("stderr")
|
|
result_detail_parser.with_.update(
|
|
{
|
|
"score": 0,
|
|
"comment": "",
|
|
"showFiles": show_files,
|
|
"showExitStatus": task_stage.result_detail.exitstatus,
|
|
"showRuntime": task_stage.result_detail.time,
|
|
"showMemory": task_stage.result_detail.mem,
|
|
}
|
|
)
|
|
|
|
return conf_stage
|
|
|
|
|
|
def fix_dummy(
|
|
task_stage: task.Stage, conf_stage: result.StageDetail
|
|
) -> result.StageDetail:
|
|
dummy_parser = [
|
|
"dummy",
|
|
"result-status",
|
|
"cpplint",
|
|
]
|
|
if task_stage.parsers is not None:
|
|
for parser in task_stage.parsers:
|
|
if parser in dummy_parser:
|
|
dummy_parser_ = next(p for p in conf_stage.parsers if p.name == parser)
|
|
if (
|
|
getattr(task_stage, parser.replace("-", "_"), None) is not None
|
|
) and (task_stage.result_status is not None):
|
|
dummy_parser_.with_.update(
|
|
{
|
|
"score": task_stage.result_status.score,
|
|
"comment": task_stage.result_status.comment,
|
|
"forceQuitOnNotAccepted": task_stage.result_status.forcequit,
|
|
}
|
|
)
|
|
else:
|
|
continue
|
|
return conf_stage
|
|
|
|
|
|
def fix_diff(
|
|
task_stage: task.Stage, conf_stage: result.StageDetail
|
|
) -> result.StageDetail:
|
|
if task_stage.parsers is not None and "diff" in task_stage.parsers:
|
|
diff_parser = next((p for p in conf_stage.parsers if p.name == "diff"), None)
|
|
skip = task_stage.skip or []
|
|
cases = task_stage.cases or {}
|
|
finalized_cases = [case for case in cases if case not in skip]
|
|
|
|
stage_cases = []
|
|
parser_cases = []
|
|
|
|
for case in finalized_cases:
|
|
case_stage = task_stage.cases.get(case) if task_stage.cases else None
|
|
if not case_stage:
|
|
continue
|
|
|
|
# Ensure case_stage.limit is defined before accessing .cpu and .mem
|
|
cpu_limit = (
|
|
case_stage.limit.cpu * 1_000_000_000
|
|
if case_stage.limit and case_stage.limit.cpu is not None
|
|
else 0
|
|
)
|
|
clock_limit = (
|
|
2 * case_stage.limit.cpu * 1_000_000_000
|
|
if case_stage.limit and case_stage.limit.cpu is not None
|
|
else 0
|
|
)
|
|
memory_limit = (
|
|
case_stage.limit.mem * 1_024 * 1_024
|
|
if case_stage.limit and case_stage.limit.mem is not None
|
|
else 0
|
|
)
|
|
|
|
stage_cases.append(
|
|
result.OptionalCmd(
|
|
stdin=result.CmdFile(
|
|
src=f"/home/tt/.config/joj/{conf_stage.name}/{case}.in"
|
|
),
|
|
cpu_limit=cpu_limit,
|
|
clock_limit=clock_limit,
|
|
memory_limit=memory_limit,
|
|
proc_limit=50,
|
|
)
|
|
)
|
|
|
|
# Ensure case_stage.diff and case_stage.diff.output are defined
|
|
diff_output = (
|
|
case_stage.diff.output
|
|
if case_stage.diff and case_stage.diff.output
|
|
else None
|
|
)
|
|
if diff_output:
|
|
parser_cases.append(
|
|
{
|
|
"outputs": [
|
|
{
|
|
"score": diff_output.score,
|
|
"fileName": "stdout",
|
|
"answerPath": f"/home/tt/.config/joj/{conf_stage.name}/{case}.out",
|
|
"forceQuitOnDiff": diff_output.forcequit,
|
|
"alwaysHide": diff_output.hide,
|
|
"compareSpace": not diff_output.ignorespaces,
|
|
}
|
|
]
|
|
}
|
|
)
|
|
|
|
if diff_parser and task_stage.diff is not None:
|
|
diff_parser.with_.update({"name": "diff", "cases": parser_cases})
|
|
conf_stage.executor.with_.cases = stage_cases
|
|
|
|
return conf_stage
|
|
|
|
|
|
def fix_result_detail(task_stage: TaskStage, conf_stage: ResultStage) -> ResultStage:
|
|
if (task_stage.parsers is not None) and ("result-detail" in task_stage.parsers):
|
|
result_detail_parser = next(
|
|
p for p in conf_stage.parsers if p.name == "result-detail"
|
|
)
|
|
if task_stage.result_detail is not None:
|
|
show_files = []
|
|
if (
|
|
task_stage.result_detail.stdout
|
|
and task_stage.result_detail.stdout is not None
|
|
):
|
|
show_files.append("stdout")
|
|
if (
|
|
task_stage.result_detail.stderr
|
|
and task_stage.result_detail.stderr is not None
|
|
):
|
|
show_files.append("stderr")
|
|
result_detail_parser.with_.update(
|
|
{
|
|
"score": 0,
|
|
"comment": "",
|
|
"showFiles": show_files,
|
|
"showExitStatus": task_stage.result_detail.exitstatus,
|
|
"showRuntime": task_stage.result_detail.time,
|
|
"showMemory": task_stage.result_detail.mem,
|
|
}
|
|
)
|
|
|
|
return conf_stage
|
|
|
|
|
|
def fix_comment(task_stage: TaskStage, conf_stage: ResultStage) -> ResultStage:
|
|
comment_parser = [
|
|
"dummy",
|
|
"result-status",
|
|
"cpplint",
|
|
] # FIXME: determine where cpplint should be
|
|
if task_stage.parsers is not None:
|
|
for parser in task_stage.parsers:
|
|
if parser in comment_parser:
|
|
comment_parser_ = next(
|
|
p for p in conf_stage.parsers if p.name == parser
|
|
)
|
|
if getattr(task_stage, parser.replace("-", "_"), None) is not None:
|
|
comment_parser_.with_.update(
|
|
getattr(task_stage, parser.replace("-", "_"))
|
|
)
|
|
else:
|
|
continue
|
|
return conf_stage
|
|
|
|
|
|
def fix_diff(task_stage: TaskStage, conf_stage: ResultStage) -> ResultStage:
|
|
if task_stage.parsers is not None and "diff" in task_stage.parsers:
|
|
diff_parser = next((p for p in conf_stage.parsers if p.name == "diff"), None)
|
|
skip = task_stage.skip or []
|
|
cases = task_stage.cases or {}
|
|
finalized_cases = [case for case in cases if case not in skip]
|
|
|
|
stage_cases = []
|
|
parser_cases = []
|
|
|
|
for case in finalized_cases:
|
|
case_stage = task_stage.cases.get(case) if task_stage.cases else None
|
|
if not case_stage:
|
|
continue
|
|
|
|
# Ensure case_stage.limit is defined before accessing .cpu and .mem
|
|
cpu_limit = (
|
|
case_stage.limit.cpu * 1_000_000_000
|
|
if case_stage.limit and case_stage.limit.cpu is not None
|
|
else 0
|
|
)
|
|
clock_limit = (
|
|
2 * case_stage.limit.cpu * 1_000_000_000
|
|
if case_stage.limit and case_stage.limit.cpu is not None
|
|
else 0
|
|
)
|
|
memory_limit = (
|
|
case_stage.limit.mem * 1_024 * 1_024
|
|
if case_stage.limit and case_stage.limit.mem is not None
|
|
else 0
|
|
)
|
|
|
|
stage_cases.append(
|
|
OptionalCmd(
|
|
stdin=CmdFile(
|
|
src=f"/home/tt/.config/joj/{conf_stage.name}/{case}.in"
|
|
),
|
|
cpu_limit=cpu_limit,
|
|
clock_limit=clock_limit,
|
|
memory_limit=memory_limit,
|
|
proc_limit=50,
|
|
)
|
|
)
|
|
|
|
# Ensure case_stage.diff and case_stage.diff.output are defined
|
|
diff_output = (
|
|
case_stage.diff.output
|
|
if case_stage.diff and case_stage.diff.output
|
|
else None
|
|
)
|
|
if diff_output:
|
|
parser_cases.append(
|
|
{
|
|
"outputs": [
|
|
{
|
|
"score": diff_output.score,
|
|
"fileName": "stdout",
|
|
"answerPath": f"/home/tt/.config/joj/{conf_stage.name}/{case}.out",
|
|
"forceQuitOnDiff": diff_output.forcequit,
|
|
"alwaysHide": diff_output.hide,
|
|
"compareSpace": not diff_output.ignorespaces,
|
|
}
|
|
]
|
|
}
|
|
)
|
|
|
|
if diff_parser and task_stage.diff is not None:
|
|
diff_parser.with_.update({"name": "diff", "cases": parser_cases})
|
|
conf_stage.executor.with_.cases = stage_cases
|
|
|
|
return conf_stage
|