Spaces:
Sleeping
Sleeping
| import gradio as gr | |
| import subprocess | |
| import sys | |
| import os | |
| import threading | |
| import time | |
| import uuid | |
| import glob | |
| import shutil | |
| from pathlib import Path | |
| default_command = "bigcodebench.evaluate" | |
| is_running = False | |
| def generate_command( | |
| jsonl_file, split, subset, parallel, | |
| min_time_limit, max_as_limit, max_data_limit, max_stack_limit, | |
| check_gt_only, no_gt | |
| ): | |
| command = [default_command] | |
| if jsonl_file is not None: | |
| # Copy the uploaded file to the current directory | |
| local_filename = os.path.basename(jsonl_file.name) | |
| shutil.copy(jsonl_file.name, local_filename) | |
| command.extend(["--samples", local_filename]) | |
| command.extend(["--split", split, "--subset", subset]) | |
| if parallel is not None and parallel != 0: | |
| command.extend(["--parallel", str(int(parallel))]) | |
| command.extend([ | |
| "--min-time-limit", str(min_time_limit), | |
| "--max-as-limit", str(int(max_as_limit)), | |
| "--max-data-limit", str(int(max_data_limit)), | |
| "--max-stack-limit", str(int(max_stack_limit)) | |
| ]) | |
| if check_gt_only: | |
| command.append("--check-gt-only") | |
| if no_gt: | |
| command.append("--no-gt") | |
| return " ".join(command) | |
| def cleanup_previous_files(jsonl_file): | |
| if jsonl_file is not None: | |
| file_list = ['Dockerfile', 'app.py', 'README.md', os.path.basename(jsonl_file.name), "__pycache__"] | |
| else: | |
| file_list = ['Dockerfile', 'app.py', 'README.md', "__pycache__"] | |
| for file in glob.glob("*"): | |
| try: | |
| if file not in file_list: | |
| os.remove(file) | |
| except Exception as e: | |
| print(f"Error during cleanup of {file}: {e}") | |
| def find_result_file(): | |
| json_files = glob.glob("*.json") | |
| if json_files: | |
| return max(json_files, key=os.path.getmtime) | |
| return None | |
| def run_bigcodebench(command): | |
| global is_running | |
| if is_running: | |
| yield "A command is already running. Please wait for it to finish.\n" | |
| return | |
| is_running = True | |
| try: | |
| yield f"Executing command: {command}\n" | |
| process = subprocess.Popen(command.split(), stdout=subprocess.PIPE, stderr=subprocess.STDOUT, universal_newlines=True) | |
| def kill_process(): | |
| if process.poll() is None: # If the process is still running | |
| process.terminate() | |
| is_running = False | |
| yield "Process terminated after 12 minutes timeout.\n" | |
| # Start a timer to kill the process after 12 minutes | |
| timer = threading.Timer(720, kill_process) | |
| timer.start() | |
| for line in process.stdout: | |
| yield line | |
| # process.wait() | |
| timer.cancel() | |
| if process.returncode != 0: | |
| yield f"Error: Command exited with status {process.returncode}\n" | |
| yield "Evaluation completed.\n" | |
| result_file = find_result_file() | |
| if result_file: | |
| yield f"Result file found: {result_file}\n" | |
| else: | |
| yield "No result file found.\n" | |
| finally: | |
| is_running = False | |
| def stream_logs(command, jsonl_file=None): | |
| global is_running | |
| if is_running: | |
| yield "A command is already running. Please wait for it to finish.\n" | |
| return | |
| cleanup_previous_files(jsonl_file) | |
| yield "Cleaned up previous files.\n" | |
| log_content = [] | |
| for log_line in run_bigcodebench(command): | |
| log_content.append(log_line) | |
| yield "".join(log_content) | |
| # with gr.Blocks() as demo: | |
| # gr.Markdown("# BigCodeBench Evaluator") | |
| # with gr.Row(): | |
| # jsonl_file = gr.File(label="Upload JSONL file", file_types=[".jsonl"]) | |
| # split = gr.Dropdown(choices=["complete", "instruct"], label="Split", value="complete") | |
| # subset = gr.Dropdown(choices=["hard", "full"], label="Subset", value="hard") | |
| # with gr.Row(): | |
| # parallel = gr.Number(label="Parallel (optional)", precision=0) | |
| # min_time_limit = gr.Number(label="Min Time Limit", value=1, precision=1) | |
| # max_as_limit = gr.Number(label="Max AS Limit", value=25*1024, precision=0) | |
| # with gr.Row(): | |
| # max_data_limit = gr.Number(label="Max Data Limit", value=25*1024, precision=0) | |
| # max_stack_limit = gr.Number(label="Max Stack Limit", value=10, precision=0) | |
| # check_gt_only = gr.Checkbox(label="Check GT Only") | |
| # no_gt = gr.Checkbox(label="No GT") | |
| # command_output = gr.Textbox(label="Command", value=default_command, interactive=False) | |
| # with gr.Row(): | |
| # submit_btn = gr.Button("Run Evaluation") | |
| # download_btn = gr.DownloadButton(label="Download Result") | |
| # log_output = gr.Textbox(label="Execution Logs", lines=20) | |
| # input_components = [ | |
| # jsonl_file, split, subset, parallel, | |
| # min_time_limit, max_as_limit, max_data_limit, max_stack_limit, | |
| # check_gt_only, no_gt | |
| # ] | |
| # for component in input_components: | |
| # component.change(generate_command, inputs=input_components, outputs=command_output) | |
| # def start_evaluation(command, jsonl_file, subset, split): | |
| # extra = subset + "_" if subset != "full" else "" | |
| # if jsonl_file is not None: | |
| # result_path = os.path.basename(jsonl_file.name).replace(".jsonl", f"_{extra}eval_results.json") | |
| # else: | |
| # result_path = None | |
| # for log in stream_logs(command, jsonl_file): | |
| # if jsonl_file is not None: | |
| # yield log, gr.update(value=result_path, label=result_path), gr.update() | |
| # else: | |
| # yield log, gr.update(), gr.update() | |
| # result_file = find_result_file() | |
| # if result_file: | |
| # return gr.update(label="Evaluation completed. Result file found."), gr.update(value=result_file) | |
| # # gr.Button(visible=False)#, | |
| # # gr.DownloadButton(label="Download Result", value=result_file, visible=True)) | |
| # else: | |
| # return gr.update(label="Evaluation completed. No result file found."), gr.update(value=result_path) | |
| # # gr.Button("Run Evaluation", visible=True), | |
| # # gr.DownloadButton(visible=False)) | |
| # submit_btn.click(start_evaluation, | |
| # inputs=[command_output, jsonl_file, subset, split], | |
| # outputs=[log_output, download_btn]) | |
| # REPO_ID = "bigcode/bigcodebench-evaluator" | |
| # HF_TOKEN = os.environ.get("HF_TOKEN", None) | |
| # API = HfApi(token=HF_TOKEN) | |
| # def restart_space(): | |
| # API.restart_space(repo_id=REPO_ID, token=HF_TOKEN) | |
| # demo.queue(max_size=300).launch(share=True, server_name="0.0.0.0", server_port=7860) | |
| # scheduler = BackgroundScheduler() | |
| # scheduler.add_job(restart_space, "interval", hours=3) # restarted every 3h as backup in case automatic updates are not working | |
| # scheduler.start() |