Spaces:
Paused
Paused
File size: 8,959 Bytes
a6a417b 973f84b a6a417b | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 | import os
import json
import time
import socket
import threading
import gc
import ctypes
import multiprocessing as mp
from pathlib import Path
import numpy as np
from tokenizers import Tokenizer
# ββ Config βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
STATE_FILE = "/data/state.json"
RAW_DIR = "/data/raw"
OUT_DIR = "/data/tokenized"
TOK_PATH = "/data/tokenizer.json"
WORKER_ID = socket.gethostname()
POLL_INTERVAL = 15
BATCH_SIZE = 2 # 2 lines at a time across 2 cores
os.makedirs(OUT_DIR, exist_ok=True)
# ββ Keep-alive ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
def serve():
s = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
s.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
s.bind(("0.0.0.0", 7860))
s.listen(5)
print(f"β [{WORKER_ID}] Listening on port 7860")
while True:
conn, _ = s.accept()
conn.send(b"HTTP/1.1 200 OK\r\nContent-Length: 2\r\n\r\nOK")
conn.close()
# ββ State βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
def load_state():
with open(STATE_FILE) as f:
return json.load(f)
def save_state(state):
tmp = STATE_FILE + f".tmp.{WORKER_ID}"
with open(tmp, "w") as f:
json.dump(state, f, indent=2)
os.replace(tmp, STATE_FILE)
# ββ Claim βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
def claim_shard(state):
for name, info in state["shards"].items():
if info["status"] == "pending":
raw_path = Path(RAW_DIR) / name
if raw_path.exists():
info["status"] = "claimed"
info["worker"] = WORKER_ID
info["claimed_at"] = time.time()
save_state(state)
return name, raw_path
return None, None
# ββ Tokenizer subprocess ββββββββββββββββββββββββββββββββββββββββββββββββββββββ
_worker_tok = None
_worker_sep = None
def init_worker(tok_path):
global _worker_tok, _worker_sep
_worker_tok = Tokenizer.from_file(tok_path)
_worker_sep = _worker_tok.token_to_id("<sep>")
def tokenize_texts(texts):
"""Tokenize a list of texts, append <sep> to each."""
encs = _worker_tok.encode_batch(texts)
result = []
for enc in encs:
ids = enc.ids
if len(ids) >= 2:
ids.append(_worker_sep)
result.append(ids)
return result
# ββ Process shard βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
def process_shard(name, raw_path, pool):
print(f" [{WORKER_ID}] Processing: {name}")
out_name = name.replace(".jsonl", ".bin")
out_path = Path(OUT_DIR) / out_name
tmp_path = Path(OUT_DIR) / f"{out_name}.tmp"
# Crash recovery β delete any partial output from previous attempt
tmp_path.unlink(missing_ok=True)
out_path.unlink(missing_ok=True)
total_tokens = 0
total_docs = 0
try:
with open(raw_path, "r", encoding="utf-8") as fin, \
open(tmp_path, "wb") as fout:
batch_texts = []
for line in fin:
line = line.strip()
if not line:
continue
try:
obj = json.loads(line)
text = obj.get("text", "").strip()
except Exception:
continue
if not text:
continue
batch_texts.append(text)
if len(batch_texts) >= BATCH_SIZE:
try:
results = pool.apply(tokenize_texts, (batch_texts,))
except Exception as e:
tmp_path.unlink(missing_ok=True)
return False, f"tokenize_failed: {e}"
for ids in results:
arr = np.array(ids, dtype=np.uint16)
arr.tofile(fout)
total_tokens += len(ids)
total_docs += 1
batch_texts = []
# Flush remaining
if batch_texts:
try:
results = pool.apply(tokenize_texts, (batch_texts,))
except Exception as e:
tmp_path.unlink(missing_ok=True)
return False, f"tokenize_failed_flush: {e}"
for ids in results:
arr = np.array(ids, dtype=np.uint16)
arr.tofile(fout)
total_tokens += len(ids)
total_docs += 1
except Exception as e:
tmp_path.unlink(missing_ok=True)
return False, f"process_failed: {e}"
# Atomic rename β only visible when complete
tmp_path.rename(out_path)
print(f" β [{WORKER_ID}] {out_name} | {total_docs:,} docs | {total_tokens:,} tokens")
return True, None
# ββ Memory flush ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
def flush_memory():
gc.collect()
try:
ctypes.CDLL("libc.so.6").malloc_trim(0)
except Exception:
pass
# ββ Worker loop βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
def worker_loop():
print(f"β [{WORKER_ID}] Starting worker...")
pool = mp.Pool(processes=2, initializer=init_worker, initargs=(TOK_PATH,))
print(f"β [{WORKER_ID}] 2-core tokenizer pool ready")
try:
while True:
if not os.path.exists(STATE_FILE):
print(f" [{WORKER_ID}] Waiting for state.json...")
time.sleep(POLL_INTERVAL)
continue
try:
state = load_state()
except Exception as e:
print(f" [{WORKER_ID}] State read error: {e}")
time.sleep(POLL_INTERVAL)
continue
total = len(state["shards"]) + len(state.get("queue", []))
done = sum(1 for v in state["shards"].values() if v["status"] == "done")
if total > 0 and done == total:
print(f" [{WORKER_ID}] All done. Sleeping.")
time.sleep(300)
continue
name, raw_path = claim_shard(state)
if not name:
print(f" [{WORKER_ID}] Nothing ready β polling in {POLL_INTERVAL}s")
time.sleep(POLL_INTERVAL)
continue
print(f" [{WORKER_ID}] Claimed: {name}")
success, error = process_shard(name, raw_path, pool)
try:
state = load_state()
except Exception:
pass
if success:
state["shards"][name]["status"] = "done"
state["shards"][name]["error"] = None
save_state(state)
try:
raw_path.unlink()
print(f" [{WORKER_ID}] Deleted raw: {raw_path.name}")
except Exception as e:
print(f" [{WORKER_ID}] Delete failed: {e}")
else:
state["shards"][name]["status"] = "pending"
state["shards"][name]["worker"] = None
state["shards"][name]["claimed_at"] = None
state["shards"][name]["error"] = error
save_state(state)
print(f" [{WORKER_ID}] Failed ({error}) β reset to pending: {name}")
flush_memory()
time.sleep(5)
finally:
pool.terminate()
pool.join()
# ββ Entry point βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
if __name__ == "__main__":
threading.Thread(target=serve, daemon=True).start()
threading.Thread(target=worker_loop, daemon=True).start()
while True:
time.sleep(60) |