Spaces:
Sleeping
Sleeping
| import json | |
| import os | |
| from datetime import datetime, timezone, timedelta | |
| from collections import defaultdict | |
| from huggingface_hub import HfApi, hf_hub_download | |
| from huggingface_hub.errors import HfHubHTTPError | |
| from dotenv import load_dotenv | |
| import duckdb | |
| import backoff | |
| import requests | |
| import requests.exceptions | |
| import traceback | |
| import re | |
| # Load environment variables | |
| load_dotenv(override=True) | |
| # ============================================================================= | |
| # CONFIGURATION | |
| # ============================================================================= | |
| # Get script directory for relative paths | |
| SCRIPT_DIR = os.path.dirname(os.path.abspath(__file__)) | |
| BASE_DIR = os.path.dirname(SCRIPT_DIR) # Parent directory | |
| AGENTS_REPO = "SWE-Arena/bot_data" | |
| AGENTS_REPO_LOCAL_PATH = os.path.join(BASE_DIR, "bot_data") # Local git clone path | |
| DUCKDB_CACHE_FILE = os.path.join(SCRIPT_DIR, "cache.duckdb") | |
| GHARCHIVE_DATA_LOCAL_PATH = os.path.join(BASE_DIR, "gharchive/data") | |
| LEADERBOARD_FILENAME = f"{os.getenv('COMPOSE_PROJECT_NAME')}.json" | |
| LEADERBOARD_REPO = "SWE-Arena/leaderboard_data" | |
| LEADERBOARD_TIME_FRAME_DAYS = 180 | |
| # Git sync configuration (mandatory to get latest bot data) | |
| GIT_SYNC_TIMEOUT = 300 # 5 minutes timeout for git pull | |
| # Streaming batch configuration | |
| BATCH_SIZE_DAYS = 1 # Process 1 day at a time (~24 hourly files) | |
| # Retry configuration | |
| MAX_RETRIES = 5 | |
| # ============================================================================= | |
| # UTILITY FUNCTIONS | |
| # ============================================================================= | |
| def load_jsonl(filename): | |
| """Load JSONL file and return list of dictionaries.""" | |
| if not os.path.exists(filename): | |
| return [] | |
| data = [] | |
| with open(filename, 'r', encoding='utf-8') as f: | |
| for line in f: | |
| line = line.strip() | |
| if line: | |
| try: | |
| data.append(json.loads(line)) | |
| except json.JSONDecodeError as e: | |
| print(f"Warning: Skipping invalid JSON line: {e}") | |
| return data | |
| def save_jsonl(filename, data): | |
| """Save list of dictionaries to JSONL file.""" | |
| with open(filename, 'w', encoding='utf-8') as f: | |
| for item in data: | |
| f.write(json.dumps(item) + '\n') | |
| def normalize_date_format(date_string): | |
| """Convert date strings or datetime objects to standardized ISO 8601 format with Z suffix.""" | |
| if not date_string or date_string == 'N/A': | |
| return 'N/A' | |
| try: | |
| if isinstance(date_string, datetime): | |
| return date_string.strftime('%Y-%m-%dT%H:%M:%SZ') | |
| date_string = re.sub(r'\s+', ' ', date_string.strip()) | |
| date_string = date_string.replace(' ', 'T') | |
| if len(date_string) >= 3: | |
| if date_string[-3:-2] in ('+', '-') and ':' not in date_string[-3:]: | |
| date_string = date_string + ':00' | |
| dt = datetime.fromisoformat(date_string.replace('Z', '+00:00')) | |
| return dt.strftime('%Y-%m-%dT%H:%M:%SZ') | |
| except Exception as e: | |
| print(f"Warning: Could not parse date '{date_string}': {e}") | |
| return date_string | |
| def get_hf_token(): | |
| """Get HuggingFace token from environment variables.""" | |
| token = os.getenv('HF_TOKEN') | |
| if not token: | |
| print("Warning: HF_TOKEN not found in environment variables") | |
| return token | |
| # ============================================================================= | |
| # GHARCHIVE DOWNLOAD FUNCTIONS | |
| # ============================================================================= | |
| def download_file(url): | |
| """Download a GHArchive file with retry logic.""" | |
| filename = url.split("/")[-1] | |
| filepath = os.path.join(GHARCHIVE_DATA_LOCAL_PATH, filename) | |
| if os.path.exists(filepath): | |
| return True | |
| try: | |
| response = requests.get(url, timeout=30) | |
| response.raise_for_status() | |
| with open(filepath, "wb") as f: | |
| f.write(response.content) | |
| return True | |
| except Exception as e: | |
| print(f" ⚠ {filename}: {e}") | |
| return False | |
| def download_all_gharchive_data(): | |
| """Download all GHArchive data files for the last LEADERBOARD_TIME_FRAME_DAYS.""" | |
| os.makedirs(GHARCHIVE_DATA_LOCAL_PATH, exist_ok=True) | |
| end_date = datetime.now(timezone.utc) | |
| start_date = end_date - timedelta(days=LEADERBOARD_TIME_FRAME_DAYS) | |
| urls = [] | |
| current_date = start_date | |
| while current_date <= end_date: | |
| date_str = current_date.strftime("%Y-%m-%d") | |
| for hour in range(24): | |
| url = f"https://data.gharchive.org/{date_str}-{hour}.json.gz" | |
| urls.append(url) | |
| current_date += timedelta(days=1) | |
| success = True | |
| for url in urls: | |
| if not download_file(url): | |
| success = False | |
| return success | |
| # ============================================================================= | |
| # HUGGINGFACE API WRAPPERS | |
| # ============================================================================= | |
| def is_retryable_error(e): | |
| """Check if exception is retryable (rate limit or timeout error).""" | |
| if isinstance(e, HfHubHTTPError): | |
| if e.response.status_code == 429: | |
| return True | |
| if isinstance(e, (requests.exceptions.Timeout, | |
| requests.exceptions.ReadTimeout, | |
| requests.exceptions.ConnectTimeout)): | |
| return True | |
| if isinstance(e, Exception): | |
| error_str = str(e).lower() | |
| if 'timeout' in error_str or 'timed out' in error_str: | |
| return True | |
| return False | |
| def list_repo_files_with_backoff(api, **kwargs): | |
| """Wrapper for api.list_repo_files() with exponential backoff.""" | |
| return api.list_repo_files(**kwargs) | |
| def hf_hub_download_with_backoff(**kwargs): | |
| """Wrapper for hf_hub_download() with exponential backoff.""" | |
| return hf_hub_download(**kwargs) | |
| def upload_file_with_backoff(api, **kwargs): | |
| """Wrapper for api.upload_file() with exponential backoff.""" | |
| return api.upload_file(**kwargs) | |
| def upload_folder_with_backoff(api, **kwargs): | |
| """Wrapper for api.upload_folder() with exponential backoff.""" | |
| return api.upload_folder(**kwargs) | |
| def get_duckdb_connection(): | |
| """ | |
| Initialize DuckDB connection with OPTIMIZED memory settings. | |
| Uses persistent database and reduced memory footprint. | |
| Automatically removes cache file if lock conflict is detected. | |
| """ | |
| try: | |
| conn = duckdb.connect(DUCKDB_CACHE_FILE) | |
| except Exception as e: | |
| # Check if it's a locking error | |
| error_msg = str(e) | |
| if "lock" in error_msg.lower() or "conflicting" in error_msg.lower(): | |
| print(f" ⚠ Lock conflict detected, removing {DUCKDB_CACHE_FILE}...") | |
| if os.path.exists(DUCKDB_CACHE_FILE): | |
| os.remove(DUCKDB_CACHE_FILE) | |
| print(f" ✓ Cache file removed, retrying connection...") | |
| # Retry connection after removing cache | |
| conn = duckdb.connect(DUCKDB_CACHE_FILE) | |
| else: | |
| # Re-raise if it's not a locking error | |
| raise | |
| # CORE MEMORY & THREADING SETTINGS | |
| conn.execute(f"SET threads TO 4;") | |
| conn.execute(f"SET max_memory = '50GB';") | |
| conn.execute("SET temp_directory = '/tmp/duckdb_temp';") | |
| # PERFORMANCE OPTIMIZATIONS | |
| conn.execute("SET preserve_insertion_order = false;") # Disable expensive ordering | |
| conn.execute("SET enable_object_cache = true;") # Cache repeatedly read files | |
| return conn | |
| def generate_file_path_patterns(start_date, end_date, data_dir=GHARCHIVE_DATA_LOCAL_PATH): | |
| """Generate file path patterns for GHArchive data in date range (only existing files).""" | |
| file_patterns = [] | |
| missing_dates = set() | |
| current_date = start_date.replace(hour=0, minute=0, second=0, microsecond=0) | |
| end_day = end_date.replace(hour=0, minute=0, second=0, microsecond=0) | |
| while current_date <= end_day: | |
| date_has_files = False | |
| for hour in range(24): | |
| pattern = os.path.join(data_dir, f"{current_date.strftime('%Y-%m-%d')}-{hour}.json.gz") | |
| if os.path.exists(pattern): | |
| file_patterns.append(pattern) | |
| date_has_files = True | |
| if not date_has_files: | |
| missing_dates.add(current_date.strftime('%Y-%m-%d')) | |
| current_date += timedelta(days=1) | |
| if missing_dates: | |
| print(f" ○ Skipping {len(missing_dates)} date(s) with no data") | |
| return file_patterns | |
| # ============================================================================= | |
| # STREAMING BATCH PROCESSING | |
| # ============================================================================= | |
| def fetch_all_release_metadata_streaming(conn, identifiers, start_date, end_date): | |
| """ | |
| QUERY: Fetch release metadata using streaming batch processing: | |
| - ReleaseEvent (for release tracking) | |
| Args: | |
| conn: DuckDB connection instance | |
| identifiers: List of GitHub usernames/bot identifiers (~1500) | |
| start_date: Start datetime (timezone-aware) | |
| end_date: End datetime (timezone-aware) | |
| Returns: | |
| Dictionary mapping assistant identifier to list of release metadata | |
| """ | |
| identifier_list = ', '.join([f"'{id}'" for id in identifiers]) | |
| metadata_by_agent = defaultdict(list) | |
| # Calculate total batches | |
| total_days = (end_date - start_date).days | |
| total_batches = (total_days // BATCH_SIZE_DAYS) + 1 | |
| # Process in configurable batches | |
| current_date = start_date | |
| batch_num = 0 | |
| total_releases = 0 | |
| print(f" Streaming {total_batches} batches of {BATCH_SIZE_DAYS}-day intervals...") | |
| while current_date <= end_date: | |
| batch_num += 1 | |
| batch_end = min(current_date + timedelta(days=BATCH_SIZE_DAYS - 1), end_date) | |
| # Get file patterns for THIS BATCH ONLY (not all 180 days) | |
| file_patterns = generate_file_path_patterns(current_date, batch_end) | |
| if not file_patterns: | |
| print(f" Batch {batch_num}/{total_batches}: {current_date.date()} to {batch_end.date()} - NO DATA") | |
| current_date = batch_end + timedelta(days=1) | |
| continue | |
| # Progress indicator | |
| print(f" Batch {batch_num}/{total_batches}: {current_date.date()} to {batch_end.date()} ({len(file_patterns)} files)... ", end="", flush=True) | |
| # Build file patterns SQL for THIS BATCH | |
| file_patterns_sql = '[' + ', '.join([f"'{fp}'" for fp in file_patterns]) + ']' | |
| # Query for this batch | |
| # Extract release information from ReleaseEvent payloads | |
| query = f""" | |
| SELECT DISTINCT | |
| actor.login as assistant, | |
| TRY_CAST(json_extract_string(to_json(payload), '$.release.tag_name') AS VARCHAR) as release_tag, | |
| TRY_CAST(json_extract_string(to_json(payload), '$.action') AS VARCHAR) as action, | |
| created_at | |
| FROM read_json( | |
| {file_patterns_sql}, | |
| union_by_name=true, | |
| filename=true, | |
| compression='gzip', | |
| format='newline_delimited', | |
| ignore_errors=true | |
| ) | |
| WHERE type = 'ReleaseEvent' | |
| AND TRY_CAST(json_extract_string(to_json(payload), '$.release.tag_name') AS VARCHAR) IS NOT NULL | |
| AND TRY_CAST(json_extract_string(to_json(actor), '$.login') AS VARCHAR) IN ({identifier_list}) | |
| """ | |
| try: | |
| results = conn.execute(query).fetchall() | |
| batch_releases = 0 | |
| for row in results: | |
| assistant = row[0] | |
| release_tag = row[1] | |
| action = row[2] | |
| created_at = normalize_date_format(row[3]) if row[3] else None | |
| if not assistant or not release_tag: | |
| continue | |
| # Build release metadata | |
| release_metadata = { | |
| 'release_tag': release_tag, | |
| 'action': action, | |
| 'created_at': created_at, | |
| } | |
| metadata_by_agent[assistant].append(release_metadata) | |
| batch_releases += 1 | |
| total_releases += 1 | |
| print(f"✓ {batch_releases} releases found") | |
| except Exception as e: | |
| print(f"\n ✗ Batch {batch_num} error: {str(e)}") | |
| traceback.print_exc() | |
| # Move to next batch | |
| current_date = batch_end + timedelta(days=1) | |
| # Final summary | |
| agents_with_data = sum(1 for releases in metadata_by_agent.values() if releases) | |
| print(f"\n ✓ Complete: {total_releases} releases found for {agents_with_data}/{len(identifiers)} assistants") | |
| return dict(metadata_by_agent) | |
| def load_agents_from_hf(): | |
| """ | |
| Load all assistant metadata JSON files from local git repository. | |
| """ | |
| assistants = [] | |
| # Scan local directory for JSON files | |
| if not os.path.exists(AGENTS_REPO_LOCAL_PATH): | |
| raise FileNotFoundError(f"Local repository not found at {AGENTS_REPO_LOCAL_PATH}") | |
| # Walk through the directory to find all JSON files | |
| files_processed = 0 | |
| print(f" Loading assistant metadata from {AGENTS_REPO_LOCAL_PATH}...") | |
| for root, dirs, files in os.walk(AGENTS_REPO_LOCAL_PATH): | |
| # Skip .git directory | |
| if '.git' in root: | |
| continue | |
| for filename in files: | |
| if not filename.endswith('.json'): | |
| continue | |
| files_processed += 1 | |
| file_path = os.path.join(root, filename) | |
| try: | |
| with open(file_path, 'r', encoding='utf-8') as f: | |
| agent_data = json.load(f) | |
| # Only include active assistants | |
| if agent_data.get('status') != 'active': | |
| continue | |
| # Extract github_identifier from filename | |
| github_identifier = filename.replace('.json', '') | |
| agent_data['github_identifier'] = github_identifier | |
| assistants.append(agent_data) | |
| except Exception as e: | |
| print(f" ○ Error loading {filename}: {str(e)}") | |
| continue | |
| print(f" ✓ Loaded {len(assistants)} active assistants (from {files_processed} total files)") | |
| return assistants | |
| def calculate_release_stats_from_metadata(metadata_list): | |
| """Calculate statistics from a list of release metadata.""" | |
| total_releases = len(metadata_list) | |
| return { | |
| 'total_releases': total_releases, | |
| } | |
| def calculate_monthly_metrics_by_agent(all_metadata_dict, assistants): | |
| """Calculate monthly metrics for all assistants for visualization.""" | |
| identifier_to_name = {assistant.get('github_identifier'): assistant.get('name') for assistant in assistants if assistant.get('github_identifier')} | |
| if not all_metadata_dict: | |
| return {'assistants': [], 'months': [], 'data': {}} | |
| agent_month_data = defaultdict(lambda: defaultdict(list)) | |
| for agent_identifier, metadata_list in all_metadata_dict.items(): | |
| for release_meta in metadata_list: | |
| created_at = release_meta.get('created_at') | |
| if not created_at: | |
| continue | |
| agent_name = identifier_to_name.get(agent_identifier, agent_identifier) | |
| try: | |
| dt = datetime.fromisoformat(created_at.replace('Z', '+00:00')) | |
| month_key = f"{dt.year}-{dt.month:02d}" | |
| agent_month_data[agent_name][month_key].append(release_meta) | |
| except Exception as e: | |
| print(f"Warning: Could not parse date '{created_at}': {e}") | |
| continue | |
| all_months = set() | |
| for agent_data in agent_month_data.values(): | |
| all_months.update(agent_data.keys()) | |
| months = sorted(list(all_months)) | |
| result_data = {} | |
| for agent_name, month_dict in agent_month_data.items(): | |
| total_releases_list = [] | |
| for month in months: | |
| releases_in_month = month_dict.get(month, []) | |
| total_count = len(releases_in_month) | |
| total_releases_list.append(total_count) | |
| result_data[agent_name] = { | |
| 'total_releases': total_releases_list, | |
| } | |
| agents_list = sorted(list(agent_month_data.keys())) | |
| return { | |
| 'assistants': agents_list, | |
| 'months': months, | |
| 'data': result_data | |
| } | |
| def construct_leaderboard_from_metadata(all_metadata_dict, assistants): | |
| """Construct leaderboard from in-memory release metadata.""" | |
| if not assistants: | |
| print("Error: No assistants found") | |
| return {} | |
| cache_dict = {} | |
| for assistant in assistants: | |
| identifier = assistant.get('github_identifier') | |
| agent_name = assistant.get('name', 'Unknown') | |
| bot_data = all_metadata_dict.get(identifier, []) | |
| stats = calculate_release_stats_from_metadata(bot_data) | |
| cache_dict[identifier] = { | |
| 'name': agent_name, | |
| 'website': assistant.get('website', 'N/A'), | |
| 'github_identifier': identifier, | |
| **stats | |
| } | |
| return cache_dict | |
| def save_leaderboard_data_to_hf(leaderboard_dict, monthly_metrics): | |
| """Save leaderboard data and monthly metrics to HuggingFace dataset.""" | |
| try: | |
| token = get_hf_token() | |
| if not token: | |
| raise Exception("No HuggingFace token found") | |
| api = HfApi(token=token) | |
| combined_data = { | |
| 'last_updated': datetime.now(timezone.utc).isoformat(), | |
| 'leaderboard': leaderboard_dict, | |
| 'monthly_metrics': monthly_metrics, | |
| 'metadata': { | |
| 'leaderboard_time_frame_days': LEADERBOARD_TIME_FRAME_DAYS | |
| } | |
| } | |
| with open(LEADERBOARD_FILENAME, 'w') as f: | |
| json.dump(combined_data, f, indent=2) | |
| try: | |
| upload_file_with_backoff( | |
| api=api, | |
| path_or_fileobj=LEADERBOARD_FILENAME, | |
| path_in_repo=LEADERBOARD_FILENAME, | |
| repo_id=LEADERBOARD_REPO, | |
| repo_type="dataset" | |
| ) | |
| return True | |
| finally: | |
| if os.path.exists(LEADERBOARD_FILENAME): | |
| os.remove(LEADERBOARD_FILENAME) | |
| except Exception as e: | |
| print(f"Error saving leaderboard data: {str(e)}") | |
| traceback.print_exc() | |
| return False | |
| # ============================================================================= | |
| # MINING FUNCTION | |
| # ============================================================================= | |
| def mine_all_agents(): | |
| """ | |
| Mine release metadata for all assistants using STREAMING batch processing. | |
| Downloads GHArchive data, then uses BATCH-based DuckDB queries. | |
| """ | |
| print(f"\n[1/4] Downloading GHArchive data...") | |
| if not download_all_gharchive_data(): | |
| print("Warning: Download had errors, continuing with available data...") | |
| print(f"\n[2/4] Loading assistant metadata...") | |
| assistants = load_agents_from_hf() | |
| if not assistants: | |
| print("Error: No assistants found") | |
| return | |
| identifiers = [assistant['github_identifier'] for assistant in assistants if assistant.get('github_identifier')] | |
| if not identifiers: | |
| print("Error: No valid assistant identifiers found") | |
| return | |
| print(f"\n[3/4] Mining release metadata ({len(identifiers)} assistants, {LEADERBOARD_TIME_FRAME_DAYS} days)...") | |
| try: | |
| conn = get_duckdb_connection() | |
| except Exception as e: | |
| print(f"Failed to initialize DuckDB connection: {str(e)}") | |
| return | |
| current_time = datetime.now(timezone.utc) | |
| end_date = current_time.replace(hour=0, minute=0, second=0, microsecond=0) | |
| start_date = end_date - timedelta(days=LEADERBOARD_TIME_FRAME_DAYS) | |
| try: | |
| # USE STREAMING FUNCTION | |
| all_metadata = fetch_all_release_metadata_streaming( | |
| conn, identifiers, start_date, end_date | |
| ) | |
| except Exception as e: | |
| print(f"Error during DuckDB fetch: {str(e)}") | |
| traceback.print_exc() | |
| return | |
| finally: | |
| conn.close() | |
| print(f"\n[4/4] Saving leaderboard...") | |
| try: | |
| leaderboard_dict = construct_leaderboard_from_metadata(all_metadata, assistants) | |
| monthly_metrics = calculate_monthly_metrics_by_agent(all_metadata, assistants) | |
| save_leaderboard_data_to_hf(leaderboard_dict, monthly_metrics) | |
| except Exception as e: | |
| print(f"Error saving leaderboard: {str(e)}") | |
| traceback.print_exc() | |
| finally: | |
| # Clean up DuckDB cache file to save storage | |
| if os.path.exists(DUCKDB_CACHE_FILE): | |
| try: | |
| os.remove(DUCKDB_CACHE_FILE) | |
| print(f" ✓ Cache file removed: {DUCKDB_CACHE_FILE}") | |
| except Exception as e: | |
| print(f" ⚠ Failed to remove cache file: {str(e)}") | |
| # ============================================================================= | |
| # ENTRY POINT | |
| # ============================================================================= | |
| if __name__ == "__main__": | |
| mine_all_agents() | |