Spaces:
Running
on
CPU Upgrade
Running
on
CPU Upgrade
import os | |
import logging | |
import time | |
import datetime | |
import gradio as gr | |
import datasets | |
from huggingface_hub import snapshot_download, WebhooksServer, WebhookPayload, RepoCard | |
from gradio_leaderboard import Leaderboard, ColumnFilter, SelectColumns | |
from src.display.about import ( | |
CITATION_BUTTON_LABEL, | |
CITATION_BUTTON_TEXT, | |
EVALUATION_QUEUE_TEXT, | |
FAQ_TEXT, | |
INTRODUCTION_TEXT, | |
LLM_BENCHMARKS_TEXT, | |
TITLE, | |
) | |
from src.display.css_html_js import custom_css | |
from src.display.utils import ( | |
BENCHMARK_COLS, | |
COLS, | |
EVAL_COLS, | |
EVAL_TYPES, | |
AutoEvalColumn, | |
ModelType, | |
Precision, | |
WeightType, | |
fields, | |
) | |
from src.envs import ( | |
API, | |
EVAL_REQUESTS_PATH, | |
AGGREGATED_REPO, | |
HF_TOKEN, | |
QUEUE_REPO, | |
REPO_ID, | |
HF_HOME, | |
) | |
from src.populate import get_evaluation_queue_df, get_leaderboard_df | |
from src.submission.submit import add_new_eval | |
from src.tools.plots import create_metric_plot_obj, create_plot_df, create_scores_df | |
# Configure logging | |
logging.basicConfig(level=logging.INFO, format="%(asctime)s - %(levelname)s - %(message)s") | |
# Convert the environment variable "LEADERBOARD_FULL_INIT" to a boolean value, defaulting to True if the variable is not set. | |
# This controls whether a full initialization should be performed. | |
DO_FULL_INIT = os.getenv("LEADERBOARD_FULL_INIT", "True") == "True" | |
LAST_UPDATE_LEADERBOARD = datetime.datetime.now() | |
def restart_space(): | |
API.restart_space(repo_id=REPO_ID, token=HF_TOKEN) | |
def time_diff_wrapper(func): | |
def wrapper(*args, **kwargs): | |
start_time = time.time() | |
result = func(*args, **kwargs) | |
end_time = time.time() | |
diff = end_time - start_time | |
logging.info(f"Time taken for {func.__name__}: {diff} seconds") | |
return result | |
return wrapper | |
def download_dataset(repo_id, local_dir, repo_type="dataset", max_attempts=3, backoff_factor=1.5): | |
"""Download dataset with exponential backoff retries.""" | |
attempt = 0 | |
while attempt < max_attempts: | |
try: | |
logging.info(f"Downloading {repo_id} to {local_dir}") | |
snapshot_download( | |
repo_id=repo_id, | |
local_dir=local_dir, | |
repo_type=repo_type, | |
tqdm_class=None, | |
etag_timeout=30, | |
max_workers=8, | |
) | |
logging.info("Download successful") | |
return | |
except Exception as e: | |
wait_time = backoff_factor**attempt | |
logging.error(f"Error downloading {repo_id}: {e}, retrying in {wait_time}s") | |
time.sleep(wait_time) | |
attempt += 1 | |
raise Exception(f"Failed to download {repo_id} after {max_attempts} attempts") | |
def get_latest_data_leaderboard(leaderboard_initial_df = None): | |
current_time = datetime.datetime.now() | |
global LAST_UPDATE_LEADERBOARD | |
if current_time - LAST_UPDATE_LEADERBOARD < datetime.timedelta(minutes=10) and leaderboard_initial_df is not None: | |
return leaderboard_initial_df | |
LAST_UPDATE_LEADERBOARD = current_time | |
leaderboard_dataset = datasets.load_dataset( | |
AGGREGATED_REPO, | |
"default", | |
split="train", | |
cache_dir=HF_HOME, | |
download_mode=datasets.DownloadMode.REUSE_DATASET_IF_EXISTS, # Uses the cached dataset | |
verification_mode="no_checks" | |
) | |
leaderboard_df = get_leaderboard_df( | |
leaderboard_dataset=leaderboard_dataset, | |
cols=COLS, | |
benchmark_cols=BENCHMARK_COLS, | |
) | |
return leaderboard_df | |
def get_latest_data_queue(): | |
eval_queue_dfs = get_evaluation_queue_df(EVAL_REQUESTS_PATH, EVAL_COLS) | |
return eval_queue_dfs | |
def init_space(): | |
"""Initializes the application space, loading only necessary data.""" | |
if DO_FULL_INIT: | |
# These downloads only occur on full initialization | |
try: | |
download_dataset(QUEUE_REPO, EVAL_REQUESTS_PATH) | |
except Exception: | |
restart_space() | |
# Always redownload the leaderboard DataFrame | |
leaderboard_df = get_latest_data_leaderboard() | |
# Evaluation queue DataFrame retrieval is independent of initialization detail level | |
eval_queue_dfs = get_latest_data_queue() | |
return leaderboard_df, eval_queue_dfs | |
# Calls the init_space function with the `full_init` parameter determined by the `do_full_init` variable. | |
# This initializes various DataFrames used throughout the application, with the level of initialization detail controlled by the `do_full_init` flag. | |
leaderboard_df, eval_queue_dfs = init_space() | |
finished_eval_queue_df, running_eval_queue_df, pending_eval_queue_df = eval_queue_dfs | |
# Data processing for plots now only on demand in the respective Gradio tab | |
def load_and_create_plots(): | |
plot_df = create_plot_df(create_scores_df(leaderboard_df)) | |
return plot_df | |
def init_leaderboard(dataframe): | |
return Leaderboard( | |
value = dataframe, | |
datatype=[c.type for c in fields(AutoEvalColumn)], | |
select_columns=SelectColumns( | |
default_selection=[c.name for c in fields(AutoEvalColumn) if c.displayed_by_default], | |
cant_deselect=[c.name for c in fields(AutoEvalColumn) if c.never_hidden or c.dummy], | |
label="Select Columns to Display:", | |
), | |
search_columns=[AutoEvalColumn.model.name, AutoEvalColumn.fullname.name, AutoEvalColumn.license.name], | |
hide_columns=[c.name for c in fields(AutoEvalColumn) if c.hidden], | |
filter_columns=[ | |
ColumnFilter(AutoEvalColumn.model_type.name, type="checkboxgroup", label="Model types"), | |
ColumnFilter(AutoEvalColumn.precision.name, type="checkboxgroup", label="Precision"), | |
ColumnFilter( | |
AutoEvalColumn.params.name, | |
type="slider", | |
min=0.01, | |
max=150, | |
label="Select the number of parameters (B)", | |
), | |
ColumnFilter( | |
AutoEvalColumn.still_on_hub.name, type="boolean", label="Private or deleted", default=True | |
), | |
ColumnFilter( | |
AutoEvalColumn.merged.name, type="boolean", label="Contains a merge/moerge", default=True | |
), | |
ColumnFilter(AutoEvalColumn.moe.name, type="boolean", label="MoE", default=False), | |
ColumnFilter(AutoEvalColumn.not_flagged.name, type="boolean", label="Flagged", default=True), | |
], | |
bool_checkboxgroup_label="Hide models", | |
interactive=False, | |
) | |
demo = gr.Blocks(css=custom_css) | |
with demo: | |
gr.HTML(TITLE) | |
gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text") | |
with gr.Tabs(elem_classes="tab-buttons") as tabs: | |
with gr.TabItem("🏅 LLM Benchmark", elem_id="llm-benchmark-tab-table", id=0): | |
leaderboard = init_leaderboard(leaderboard_df) | |
with gr.TabItem("📈 Metrics through time", elem_id="llm-benchmark-tab-table", id=2): | |
with gr.Row(): | |
with gr.Column(): | |
plot_df = load_and_create_plots() | |
chart = create_metric_plot_obj( | |
plot_df, | |
[AutoEvalColumn.average.name], | |
title="Average of Top Scores and Human Baseline Over Time (from last update)", | |
) | |
gr.Plot(value=chart, min_width=500) | |
with gr.Column(): | |
plot_df = load_and_create_plots() | |
chart = create_metric_plot_obj( | |
plot_df, | |
BENCHMARK_COLS, | |
title="Top Scores and Human Baseline Over Time (from last update)", | |
) | |
gr.Plot(value=chart, min_width=500) | |
with gr.TabItem("📝 About", elem_id="llm-benchmark-tab-table", id=3): | |
gr.Markdown(LLM_BENCHMARKS_TEXT, elem_classes="markdown-text") | |
with gr.TabItem("❗FAQ", elem_id="llm-benchmark-tab-table", id=4): | |
gr.Markdown(FAQ_TEXT, elem_classes="markdown-text") | |
with gr.TabItem("🚀 Submit? ", elem_id="llm-benchmark-tab-table", id=5): | |
countdown = gr.HTML( | |
"""<div align="center"> | |
<div position: relative> | |
<img | |
src="https://huggingface.co/spaces/open-llm-leaderboard/open_llm_leaderboard/resolve/main/gif.gif" | |
allowtransparency="true" | |
style="display:block;width:100%;height:auto;" | |
/> | |
<iframe | |
src="https://logwork.com/widget/countdown/?text=Surprise%20loading...&timezone=Europe%2FParis&width=&style=circles&uid=815898&loc=https://logwork.com/countdown-fxmc&language=en&textcolor=&background=%23ffd21e&date=2024-06-26%2015%3A00%3A00&digitscolor=%23ff9d00&unitscolor=&" | |
style="position: absolute; top:0; left: 0; border: medium; width:100%; height:100%; margin: 0px; visibility: visible;" | |
scrolling="no" | |
allowtransparency="true" | |
frameborder="0" | |
allowfullscreen | |
/> | |
</div> | |
</div>""" | |
) | |
#gif = gr.Image(value="./gif.gif", interactive=False) | |
gr.Markdown("*Countdown by Logwork.com, gif art by Chun Te Lee*") | |
with gr.Row(): | |
with gr.Accordion("📙 Citation", open=False): | |
citation_button = gr.Textbox( | |
value=CITATION_BUTTON_TEXT, | |
label=CITATION_BUTTON_LABEL, | |
lines=20, | |
elem_id="citation-button", | |
show_copy_button=True, | |
) | |
demo.load(fn=get_latest_data_leaderboard, inputs=[leaderboard], outputs=[leaderboard]) | |
demo.queue(default_concurrency_limit=40) | |
# Start ephemeral Spaces on PRs (see config in README.md) | |
from gradio_space_ci.webhook import IS_EPHEMERAL_SPACE, SPACE_ID, configure_space_ci | |
def enable_space_ci_and_return_server(ui: gr.Blocks) -> WebhooksServer: | |
# Taken from https://huggingface.co/spaces/Wauplin/gradio-space-ci/blob/075119aee75ab5e7150bf0814eec91c83482e790/src/gradio_space_ci/webhook.py#L61 | |
# Compared to original, this one do not monkeypatch Gradio which allows us to define more webhooks. | |
# ht to Lucain! | |
if SPACE_ID is None: | |
print("Not in a Space: Space CI disabled.") | |
return WebhooksServer(ui=demo) | |
if IS_EPHEMERAL_SPACE: | |
print("In an ephemeral Space: Space CI disabled.") | |
return WebhooksServer(ui=demo) | |
card = RepoCard.load(repo_id_or_path=SPACE_ID, repo_type="space") | |
config = card.data.get("space_ci", {}) | |
print(f"Enabling Space CI with config from README: {config}") | |
return configure_space_ci( | |
blocks=ui, | |
trusted_authors=config.get("trusted_authors"), | |
private=config.get("private", "auto"), | |
variables=config.get("variables", "auto"), | |
secrets=config.get("secrets"), | |
hardware=config.get("hardware"), | |
storage=config.get("storage"), | |
) | |
# Create webhooks server (with CI url if in Space and not ephemeral) | |
webhooks_server = enable_space_ci_and_return_server(ui=demo) | |
# Add webhooks | |
def update_leaderboard(payload: WebhookPayload) -> None: | |
"""Redownloads the leaderboard dataset each time it updates""" | |
if payload.repo.type == "dataset" and payload.event.action == "update": | |
datasets.load_dataset( | |
AGGREGATED_REPO, | |
"default", | |
split="train", | |
cache_dir=HF_HOME, | |
download_mode=datasets.DownloadMode.FORCE_REDOWNLOAD, | |
verification_mode="no_checks" | |
) | |
# The below code is not used at the moment, as we can manage the queue file locally | |
LAST_UPDATE_QUEUE = datetime.datetime.now() | |
def update_queue(payload: WebhookPayload) -> None: | |
"""Redownloads the queue dataset each time it updates""" | |
if payload.repo.type == "dataset" and payload.event.action == "update": | |
current_time = datetime.datetime.now() | |
global LAST_UPDATE_QUEUE | |
if current_time - LAST_UPDATE_QUEUE > datetime.timedelta(minutes=10): | |
print("Would have updated the queue") | |
# We only redownload is last update was more than 10 minutes ago, as the queue is | |
# updated regularly and heavy to download | |
#download_dataset(QUEUE_REPO, EVAL_REQUESTS_PATH) | |
LAST_UPDATE_QUEUE = datetime.datetime.now() | |
webhooks_server.launch() | |