neuralworm's picture
quit async experiment
a8a8bc2
raw
history blame
11.4 kB
import gradio as gr
import json
import re
import asyncio
import aiosqlite
import logging
from collections import defaultdict
from util import process_json_files
from gematria import calculate_gematria
from deep_translator import GoogleTranslator, exceptions
from urllib.parse import quote_plus
# Set up logging
logging.basicConfig(level=logging.INFO, format='%(asctime)s - %(levelname)s - %(message)s')
# Global variables
conn = None # Database connection (will be initialized asynchronously)
translator = None
book_names = {} # Dictionary to store book names
ongoing_search_task = None # Track ongoing search tasks
def flatten_text(text):
"""Helper function to flatten nested lists into a single list."""
if isinstance(text, list):
return " ".join(flatten_text(item) if isinstance(item, list) else item for item in text)
return text
async def initialize_database():
"""Initializes the SQLite database asynchronously."""
global conn
conn = await aiosqlite.connect('gematria.db')
async with conn:
c = await conn.cursor()
await c.execute('''
CREATE TABLE IF NOT EXISTS results (
gematria_sum INTEGER,
words TEXT UNIQUE,
translation TEXT,
book INTEGER,
chapter INTEGER,
verse INTEGER,
PRIMARY KEY (words, book, chapter, verse)
)
''')
await c.execute('''
CREATE TABLE IF NOT EXISTS processed_books (
book INTEGER PRIMARY KEY,
max_phrase_length INTEGER
)
''')
await conn.commit()
logging.info("Database initialized.")
def initialize_translator():
"""Initializes the Google Translator."""
global translator
translator = GoogleTranslator(source='iw', target='en')
logging.info("Translator initialized.")
async def insert_phrase_to_db(conn, gematria_sum, phrase_candidate, book, chapter, verse):
"""Inserts a phrase and its Gematria value into the database."""
async with conn:
c = await conn.cursor()
try:
await c.execute('''
INSERT INTO results (gematria_sum, words, book, chapter, verse)
VALUES (?, ?, ?, ?, ?)
''', (gematria_sum, phrase_candidate, book, chapter, verse))
await conn.commit()
logging.debug(f"Inserted phrase: {phrase_candidate} (Gematria: {gematria_sum}) at {book}:{chapter}:{verse}")
except aiosqlite.IntegrityError:
logging.debug(f"Phrase already exists: {phrase_candidate} (Gematria: {gematria_sum}) at {book}:{chapter}:{verse}")
async def populate_database_async(conn, tanach_texts, max_phrase_length=1):
"""Asynchronous version of populate_database using aiosqlite."""
global book_names
logging.info("Populating database...")
async with conn:
c = await conn.cursor()
for book_id, text in tanach_texts:
await c.execute('''SELECT max_phrase_length FROM processed_books WHERE book = ?''', (book_id,))
result = await c.fetchone()
if result and result[0] >= max_phrase_length:
logging.info(f"Skipping book {book_id}: Already processed with max_phrase_length {result[0]}")
continue
logging.info(f"Processing book {book_id} with max_phrase_length {max_phrase_length}")
if 'text' not in text or not isinstance(text['text'], list):
logging.warning(f"Skipping book {book_id} due to missing or invalid 'text' field.")
continue
title = text.get('title', 'Unknown')
book_names[book_id] = title
chapters = text['text']
for chapter_id, chapter in enumerate(chapters):
if not isinstance(chapter, list):
logging.warning(f"Skipping chapter {chapter_id} in book {title} due to invalid format.")
continue
for verse_id, verse in enumerate(chapter):
verse_text = flatten_text(verse)
verse_text = re.sub(r"[^\u05D0-\u05EA ]+", "", verse_text)
verse_text = re.sub(r" +", " ", verse_text)
words = verse_text.split()
for length in range(1, max_phrase_length + 1):
for start in range(len(words) - length + 1):
phrase_candidate = " ".join(words[start:start + length])
gematria_sum = calculate_gematria(phrase_candidate.replace(" ", ""))
await insert_phrase_to_db(conn, gematria_sum, phrase_candidate, book_id, chapter_id + 1, verse_id + 1)
try:
await c.execute('''INSERT INTO processed_books (book, max_phrase_length) VALUES (?, ?)''', (book_id, max_phrase_length))
except aiosqlite.IntegrityError:
await c.execute('''UPDATE processed_books SET max_phrase_length = ? WHERE book = ?''', (max_phrase_length, book_id))
await conn.commit()
logging.info("Database population complete.")
async def get_translation(phrase):
"""Retrieves or generates the English translation of a Hebrew phrase."""
global translator, conn
async with conn:
c = await conn.cursor()
await c.execute('''
SELECT translation FROM results
WHERE words = ?
''', (phrase,))
result = await c.fetchone()
if result and result[0]:
return result[0]
else:
translation = translate_and_store(phrase)
await c.execute('''
UPDATE results
SET translation = ?
WHERE words = ?
''', (translation, phrase))
await conn.commit()
return translation
def translate_and_store(phrase):
global translator
max_retries = 3
retries = 0
while retries < max_retries:
try:
translation = translator.translate(phrase)
logging.debug(f"Translated phrase: {translation}")
return translation
except (exceptions.TranslationNotFound, exceptions.NotValidPayload,
exceptions.ServerException, exceptions.RequestError, requests.exceptions.ConnectionError) as e:
retries += 1
logging.warning(f"Error translating phrase '{phrase}': {e}. Retrying... ({retries}/{max_retries})")
logging.error(f"Failed to translate phrase '{phrase}' after {max_retries} retries.")
return "[Translation Error]"
async def search_gematria_in_db(conn, gematria_sum):
"""Searches the database for phrases with a given Gematria value."""
async with conn:
c = await conn.cursor()
await c.execute('''
SELECT words, book, chapter, verse FROM results WHERE gematria_sum = ?
''', (gematria_sum,))
results = await c.fetchall()
logging.debug(f"Found {len(results)} matching phrases for Gematria: {gematria_sum}")
return results
async def gematria_search_interface(phrase, request: gr.Request):
"""The main function for the Gradio interface."""
global ongoing_search_task, conn, book_names
if not phrase.strip():
return "Please enter a phrase."
# Cancel any ongoing search task
if ongoing_search_task is not None and not ongoing_search_task.done():
ongoing_search_task.cancel()
# Start the search asynchronously
async def search_task():
matching_phrases = await search_gematria_in_db(conn, calculate_gematria(phrase.replace(" ", "")))
if not matching_phrases:
return "No matching phrases found."
# Sort and group results
sorted_phrases = sorted(matching_phrases, key=lambda x: (x[1], x[2], x[3]))
results_by_book = defaultdict(list)
for words, book, chapter, verse in sorted_phrases:
results_by_book[book].append((words, chapter, verse))
# Format results for display
results = []
results.append("<div class='results-container'>")
for book, phrases in results_by_book.items():
results.append(f"<h4>Book: {book_names.get(book, 'Unknown')}</h4>")
for words, chapter, verse in phrases:
translation = await get_translation(words) # Await the translation here
book_name_english = book_names.get(book, 'Unknown')
link = f"https://www.biblegateway.com/passage/?search={quote_plus(book_name_english)}+{chapter}%3A{verse}"
results.append(f"""
<div class='result-item'>
<p>Chapter: {chapter}, Verse: {verse}</p>
<p class='hebrew-phrase'>Hebrew Phrase: {words}</p>
<p>Translation: {translation}</p>
<a href='{link}' target='_blank' class='bible-link'>[See on Bible Gateway]</a>
</div>
""")
results.append("</div>")
# Add CSS styling
style = """
<style>
.results-container {
display: grid;
grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
gap: 20px;
}
.result-item {
border: 1px solid #ccc;
padding: 15px;
border-radius: 5px;
box-shadow: 2px 2px 5px rgba(0, 0, 0, 0.1);
}
.hebrew-phrase {
font-family: 'SBL Hebrew', 'Ezra SIL', serif;
direction: rtl;
}
.bible-link {
display: block;
margin-top: 10px;
color: #007bff;
text-decoration: none;
}
</style>
"""
return style + "\n".join(results)
ongoing_search_task = request.app.get_blocks().queue.insert(fn=search_task, queue_id="gematria")
result = request.app.get_blocks().queue.get_output(queue_id="gematria", job_hash=ongoing_search_task.job_hash)
return result
async def run_app():
"""Initializes, populates the database, and launches the Gradio app."""
global conn
await initialize_database()
initialize_translator()
# Move database population to a separate function
async def populate_database():
tanach_texts_1_1_1 = process_json_files(1, 1)
tanach_texts_1_39_1 = process_json_files(1, 39)
tanach_texts_27_27_4 = process_json_files(27, 27)
await populate_database_async(conn, tanach_texts_1_1_1, max_phrase_length=1)
await populate_database_async(conn, tanach_texts_1_39_1, max_phrase_length=1)
await populate_database_async(conn, tanach_texts_27_27_4, max_phrase_length=4)
# Start database population in the background
asyncio.create_task(populate_database())
# Create the main Gradio interface
iface = gr.Interface(
fn=gematria_search_interface,
inputs=gr.Textbox(label="Enter phrase"),
outputs=gr.HTML(label="Results"),
title="Gematria Search in Tanach",
description="Search for phrases in the Tanach that have the same Gematria value.",
live=False,
allow_flagging="never",
concurrency_limit=3
)
iface.launch(max_threads=10)
if __name__ == "__main__":
asyncio.run(run_app())