import os import sys import asyncio import multiprocessing as mp from multiprocessing.synchronize import Lock as ProcessLock from multiprocessing import Manager import time from typing import Any, Dict, List, Optional, Union, TypeVar, Generic # Define a direct print function for critical logs that must be visible in all processes def direct_log(message, level="INFO", enable_output: bool = True): """ Log a message directly to stderr to ensure visibility in all processes, including the Gunicorn master process. Args: message: The message to log level: Log level (default: "INFO") enable_output: Whether to actually output the log (default: True) """ if enable_output: print(f"{level}: {message}", file=sys.stderr, flush=True) T = TypeVar("T") LockType = Union[ProcessLock, asyncio.Lock] _is_multiprocess = None _workers = None _manager = None # Global singleton data for multi-process keyed locks _lock_registry: Optional[Dict[str, mp.synchronize.Lock]] = None _lock_registry_count: Optional[Dict[str, int]] = None _lock_cleanup_data: Optional[Dict[str, time.time]] = None _registry_guard = None # Timeout for keyed locks in seconds CLEANUP_KEYED_LOCKS_AFTER_SECONDS = 300 _initialized = None # shared data for storage across processes _shared_dicts: Optional[Dict[str, Any]] = None _init_flags: Optional[Dict[str, bool]] = None # namespace -> initialized _update_flags: Optional[Dict[str, bool]] = None # namespace -> updated # locks for mutex access _storage_lock: Optional[LockType] = None _internal_lock: Optional[LockType] = None _pipeline_status_lock: Optional[LockType] = None _graph_db_lock: Optional[LockType] = None _data_init_lock: Optional[LockType] = None # Manager for all keyed locks _graph_db_lock_keyed: Optional["KeyedUnifiedLock"] = None # async locks for coroutine synchronization in multiprocess mode _async_locks: Optional[Dict[str, asyncio.Lock]] = None DEBUG_LOCKS = False _debug_n_locks_acquired: int = 0 def inc_debug_n_locks_acquired(): global _debug_n_locks_acquired if DEBUG_LOCKS: _debug_n_locks_acquired += 1 print( f"DEBUG: Keyed Lock acquired, total: {_debug_n_locks_acquired:>5}", end="\r", flush=True, ) def dec_debug_n_locks_acquired(): global _debug_n_locks_acquired if DEBUG_LOCKS: if _debug_n_locks_acquired > 0: _debug_n_locks_acquired -= 1 print( f"DEBUG: Keyed Lock released, total: {_debug_n_locks_acquired:>5}", end="\r", flush=True, ) else: raise RuntimeError("Attempting to release lock when no locks are acquired") def get_debug_n_locks_acquired(): global _debug_n_locks_acquired return _debug_n_locks_acquired class UnifiedLock(Generic[T]): """Provide a unified lock interface type for asyncio.Lock and multiprocessing.Lock""" def __init__( self, lock: Union[ProcessLock, asyncio.Lock], is_async: bool, name: str = "unnamed", enable_logging: bool = True, async_lock: Optional[asyncio.Lock] = None, ): self._lock = lock self._is_async = is_async self._pid = os.getpid() # for debug only self._name = name # for debug only self._enable_logging = enable_logging # for debug only self._async_lock = async_lock # auxiliary lock for coroutine synchronization async def __aenter__(self) -> "UnifiedLock[T]": try: # direct_log( # f"== Lock == Process {self._pid}: Acquiring lock '{self._name}' (async={self._is_async})", # enable_output=self._enable_logging, # ) # If in multiprocess mode and async lock exists, acquire it first if not self._is_async and self._async_lock is not None: # direct_log( # f"== Lock == Process {self._pid}: Acquiring async lock for '{self._name}'", # enable_output=self._enable_logging, # ) await self._async_lock.acquire() direct_log( f"== Lock == Process {self._pid}: Async lock for '{self._name}' acquired", enable_output=self._enable_logging, ) # Then acquire the main lock if self._is_async: await self._lock.acquire() else: self._lock.acquire() direct_log( f"== Lock == Process {self._pid}: Lock '{self._name}' acquired (async={self._is_async})", enable_output=self._enable_logging, ) return self except Exception as e: # If main lock acquisition fails, release the async lock if it was acquired if ( not self._is_async and self._async_lock is not None and self._async_lock.locked() ): self._async_lock.release() direct_log( f"== Lock == Process {self._pid}: Failed to acquire lock '{self._name}': {e}", level="ERROR", enable_output=self._enable_logging, ) raise async def __aexit__(self, exc_type, exc_val, exc_tb): main_lock_released = False try: # Release main lock first if self._is_async: self._lock.release() else: self._lock.release() main_lock_released = True direct_log( f"== Lock == Process {self._pid}: Lock '{self._name}' released (async={self._is_async})", enable_output=self._enable_logging, ) # Then release async lock if in multiprocess mode if not self._is_async and self._async_lock is not None: self._async_lock.release() direct_log( f"== Lock == Process {self._pid}: Async lock '{self._name}' released", enable_output=self._enable_logging, ) except Exception as e: direct_log( f"== Lock == Process {self._pid}: Failed to release lock '{self._name}': {e}", level="ERROR", enable_output=self._enable_logging, ) # If main lock release failed but async lock hasn't been released, try to release it if ( not main_lock_released and not self._is_async and self._async_lock is not None ): try: direct_log( f"== Lock == Process {self._pid}: Attempting to release async lock after main lock failure", level="WARNING", enable_output=self._enable_logging, ) self._async_lock.release() direct_log( f"== Lock == Process {self._pid}: Successfully released async lock after main lock failure", enable_output=self._enable_logging, ) except Exception as inner_e: direct_log( f"== Lock == Process {self._pid}: Failed to release async lock after main lock failure: {inner_e}", level="ERROR", enable_output=self._enable_logging, ) raise def __enter__(self) -> "UnifiedLock[T]": """For backward compatibility""" try: if self._is_async: raise RuntimeError("Use 'async with' for shared_storage lock") direct_log( f"== Lock == Process {self._pid}: Acquiring lock '{self._name}' (sync)", enable_output=self._enable_logging, ) self._lock.acquire() direct_log( f"== Lock == Process {self._pid}: Lock '{self._name}' acquired (sync)", enable_output=self._enable_logging, ) return self except Exception as e: direct_log( f"== Lock == Process {self._pid}: Failed to acquire lock '{self._name}' (sync): {e}", level="ERROR", enable_output=self._enable_logging, ) raise def __exit__(self, exc_type, exc_val, exc_tb): """For backward compatibility""" try: if self._is_async: raise RuntimeError("Use 'async with' for shared_storage lock") direct_log( f"== Lock == Process {self._pid}: Releasing lock '{self._name}' (sync)", enable_output=self._enable_logging, ) self._lock.release() direct_log( f"== Lock == Process {self._pid}: Lock '{self._name}' released (sync)", enable_output=self._enable_logging, ) except Exception as e: direct_log( f"== Lock == Process {self._pid}: Failed to release lock '{self._name}' (sync): {e}", level="ERROR", enable_output=self._enable_logging, ) raise def locked(self) -> bool: if self._is_async: return self._lock.locked() else: return self._lock.locked() def _get_combined_key(factory_name: str, key: str) -> str: """Return the combined key for the factory and key.""" return f"{factory_name}:{key}" def _get_or_create_shared_raw_mp_lock( factory_name: str, key: str ) -> Optional[mp.synchronize.Lock]: """Return the *singleton* manager.Lock() proxy for keyed lock, creating if needed.""" if not _is_multiprocess: return None with _registry_guard: combined_key = _get_combined_key(factory_name, key) raw = _lock_registry.get(combined_key) count = _lock_registry_count.get(combined_key) if raw is None: raw = _manager.Lock() _lock_registry[combined_key] = raw count = 0 else: if count is None: raise RuntimeError( f"Shared-Data lock registry for {factory_name} is corrupted for key {key}" ) if ( count == 1 and combined_key in _lock_cleanup_data ): # Reusing an key waiting for cleanup, remove it from cleanup list _lock_cleanup_data.pop(combined_key) count += 1 _lock_registry_count[combined_key] = count return raw def _release_shared_raw_mp_lock(factory_name: str, key: str): """Release the *singleton* manager.Lock() proxy for *key*.""" if not _is_multiprocess: return with _registry_guard: combined_key = _get_combined_key(factory_name, key) raw = _lock_registry.get(combined_key) count = _lock_registry_count.get(combined_key) if raw is None and count is None: return elif raw is None or count is None: raise RuntimeError( f"Shared-Data lock registry for {factory_name} is corrupted for key {key}" ) count -= 1 if count < 0: raise RuntimeError( f"Attempting to release lock for {key} more times than it was acquired" ) _lock_registry_count[combined_key] = count current_time = time.time() if count == 0: _lock_cleanup_data[combined_key] = current_time for cleanup_key, cleanup_time in list(_lock_cleanup_data.items()): if current_time - cleanup_time > CLEANUP_KEYED_LOCKS_AFTER_SECONDS: _lock_registry.pop(cleanup_key, None) _lock_registry_count.pop(cleanup_key, None) _lock_cleanup_data.pop(cleanup_key, None) class KeyedUnifiedLock: """ Manager for unified keyed locks, supporting both single and multi-process • Keeps only a table of async keyed locks locally • Fetches the multi-process keyed lockon every acquire • Builds a fresh `UnifiedLock` each time, so `enable_logging` (or future options) can vary per call. """ def __init__( self, factory_name: str, *, default_enable_logging: bool = True ) -> None: self._factory_name = factory_name self._default_enable_logging = default_enable_logging self._async_lock: Dict[str, asyncio.Lock] = {} # local keyed locks self._async_lock_count: Dict[str, int] = {} # local keyed locks referenced count self._async_lock_cleanup_data: Dict[str, time.time] = {} # local keyed locks timeout self._mp_locks: Dict[str, mp.synchronize.Lock] = {} # multi-process lock proxies def __call__(self, keys: list[str], *, enable_logging: Optional[bool] = None): """ Ergonomic helper so you can write: async with keyed_locks("alpha"): ... """ if enable_logging is None: enable_logging = self._default_enable_logging return _KeyedLockContext( self, factory_name=self._factory_name, keys=keys, enable_logging=enable_logging, ) def _get_or_create_async_lock(self, key: str) -> asyncio.Lock: async_lock = self._async_lock.get(key) count = self._async_lock_count.get(key, 0) if async_lock is None: async_lock = asyncio.Lock() self._async_lock[key] = async_lock elif count == 0 and key in self._async_lock_cleanup_data: self._async_lock_cleanup_data.pop(key) count += 1 self._async_lock_count[key] = count return async_lock def _release_async_lock(self, key: str): count = self._async_lock_count.get(key, 0) count -= 1 current_time = time.time() if count == 0: self._async_lock_cleanup_data[key] = current_time self._async_lock_count[key] = count for cleanup_key, cleanup_time in list(self._async_lock_cleanup_data.items()): if current_time - cleanup_time > CLEANUP_KEYED_LOCKS_AFTER_SECONDS: self._async_lock.pop(cleanup_key) self._async_lock_count.pop(cleanup_key) self._async_lock_cleanup_data.pop(cleanup_key) def _get_lock_for_key(self, key: str, enable_logging: bool = False) -> UnifiedLock: # 1. get (or create) the per‑process async gate for this key # Is synchronous, so no need to acquire a lock async_lock = self._get_or_create_async_lock(key) # 2. fetch the shared raw lock raw_lock = _get_or_create_shared_raw_mp_lock(self._factory_name, key) is_multiprocess = raw_lock is not None if not is_multiprocess: raw_lock = async_lock # 3. build a *fresh* UnifiedLock with the chosen logging flag if is_multiprocess: return UnifiedLock( lock = raw_lock, is_async = False, # manager.Lock is synchronous name = _get_combined_key(self._factory_name, key), enable_logging = enable_logging, async_lock = async_lock, # prevents event‑loop blocking ) else: return UnifiedLock( lock = raw_lock, is_async = True, name = _get_combined_key(self._factory_name, key), enable_logging = enable_logging, async_lock = None, # No need for async lock in single process mode ) def _release_lock_for_key(self, key: str): self._release_async_lock(key) _release_shared_raw_mp_lock(self._factory_name, key) class _KeyedLockContext: def __init__( self, parent: KeyedUnifiedLock, factory_name: str, keys: list[str], enable_logging: bool, ) -> None: self._parent = parent self._factory_name = factory_name # The sorting is critical to ensure proper lock and release order # to avoid deadlocks self._keys = sorted(keys) self._enable_logging = ( enable_logging if enable_logging is not None else parent._default_enable_logging ) self._ul: Optional[List["UnifiedLock"]] = None # set in __aenter__ # ----- enter ----- async def __aenter__(self): if self._ul is not None: raise RuntimeError("KeyedUnifiedLock already acquired in current context") # 4. acquire it self._ul = [] for key in self._keys: lock = self._parent._get_lock_for_key( key, enable_logging=self._enable_logging ) await lock.__aenter__() inc_debug_n_locks_acquired() self._ul.append(lock) return self # or return self._key if you prefer # ----- exit ----- async def __aexit__(self, exc_type, exc, tb): # The UnifiedLock takes care of proper release order for ul, key in zip(reversed(self._ul), reversed(self._keys)): await ul.__aexit__(exc_type, exc, tb) self._parent._release_lock_for_key(key) dec_debug_n_locks_acquired() self._ul = None def get_internal_lock(enable_logging: bool = False) -> UnifiedLock: """return unified storage lock for data consistency""" async_lock = _async_locks.get("internal_lock") if _is_multiprocess else None return UnifiedLock( lock=_internal_lock, is_async=not _is_multiprocess, name="internal_lock", enable_logging=enable_logging, async_lock=async_lock, ) def get_storage_lock(enable_logging: bool = False) -> UnifiedLock: """return unified storage lock for data consistency""" async_lock = _async_locks.get("storage_lock") if _is_multiprocess else None return UnifiedLock( lock=_storage_lock, is_async=not _is_multiprocess, name="storage_lock", enable_logging=enable_logging, async_lock=async_lock, ) def get_pipeline_status_lock(enable_logging: bool = False) -> UnifiedLock: """return unified storage lock for data consistency""" async_lock = _async_locks.get("pipeline_status_lock") if _is_multiprocess else None return UnifiedLock( lock=_pipeline_status_lock, is_async=not _is_multiprocess, name="pipeline_status_lock", enable_logging=enable_logging, async_lock=async_lock, ) def get_graph_db_lock(enable_logging: bool = False) -> UnifiedLock: """return unified graph database lock for ensuring atomic operations""" async_lock = _async_locks.get("graph_db_lock") if _is_multiprocess else None return UnifiedLock( lock=_graph_db_lock, is_async=not _is_multiprocess, name="graph_db_lock", enable_logging=enable_logging, async_lock=async_lock, ) def get_graph_db_lock_keyed( keys: str | list[str], enable_logging: bool = False ) -> KeyedUnifiedLock: """return unified graph database lock for ensuring atomic operations""" global _graph_db_lock_keyed if _graph_db_lock_keyed is None: raise RuntimeError("Shared-Data is not initialized") if isinstance(keys, str): keys = [keys] return _graph_db_lock_keyed(keys, enable_logging=enable_logging) def get_data_init_lock(enable_logging: bool = False) -> UnifiedLock: """return unified data initialization lock for ensuring atomic data initialization""" async_lock = _async_locks.get("data_init_lock") if _is_multiprocess else None return UnifiedLock( lock=_data_init_lock, is_async=not _is_multiprocess, name="data_init_lock", enable_logging=enable_logging, async_lock=async_lock, ) def initialize_share_data(workers: int = 1): """ Initialize shared storage data for single or multi-process mode. When used with Gunicorn's preload feature, this function is called once in the master process before forking worker processes, allowing all workers to share the same initialized data. In single-process mode, this function is called in FASTAPI lifespan function. The function determines whether to use cross-process shared variables for data storage based on the number of workers. If workers=1, it uses thread locks and local dictionaries. If workers>1, it uses process locks and shared dictionaries managed by multiprocessing.Manager. Args: workers (int): Number of worker processes. If 1, single-process mode is used. If > 1, multi-process mode with shared memory is used. """ global \ _manager, \ _workers, \ _is_multiprocess, \ _storage_lock, \ _lock_registry, \ _lock_registry_count, \ _lock_cleanup_data, \ _registry_guard, \ _internal_lock, \ _pipeline_status_lock, \ _graph_db_lock, \ _data_init_lock, \ _shared_dicts, \ _init_flags, \ _initialized, \ _update_flags, \ _async_locks, \ _graph_db_lock_keyed # Check if already initialized if _initialized: direct_log( f"Process {os.getpid()} Shared-Data already initialized (multiprocess={_is_multiprocess})" ) return _workers = workers if workers > 1: _is_multiprocess = True _manager = Manager() _lock_registry = _manager.dict() _lock_registry_count = _manager.dict() _lock_cleanup_data = _manager.dict() _registry_guard = _manager.RLock() _internal_lock = _manager.Lock() _storage_lock = _manager.Lock() _pipeline_status_lock = _manager.Lock() _graph_db_lock = _manager.Lock() _data_init_lock = _manager.Lock() _shared_dicts = _manager.dict() _init_flags = _manager.dict() _update_flags = _manager.dict() _graph_db_lock_keyed = KeyedUnifiedLock( factory_name="graph_db_lock", ) # Initialize async locks for multiprocess mode _async_locks = { "internal_lock": asyncio.Lock(), "storage_lock": asyncio.Lock(), "pipeline_status_lock": asyncio.Lock(), "graph_db_lock": asyncio.Lock(), "data_init_lock": asyncio.Lock(), } direct_log( f"Process {os.getpid()} Shared-Data created for Multiple Process (workers={workers})" ) else: _is_multiprocess = False _internal_lock = asyncio.Lock() _storage_lock = asyncio.Lock() _pipeline_status_lock = asyncio.Lock() _graph_db_lock = asyncio.Lock() _data_init_lock = asyncio.Lock() _shared_dicts = {} _init_flags = {} _update_flags = {} _async_locks = None # No need for async locks in single process mode _graph_db_lock_keyed = KeyedUnifiedLock( factory_name="graph_db_lock", ) direct_log(f"Process {os.getpid()} Shared-Data created for Single Process") # Mark as initialized _initialized = True async def initialize_pipeline_status(): """ Initialize pipeline namespace with default values. This function is called during FASTAPI lifespan for each worker. """ pipeline_namespace = await get_namespace_data("pipeline_status") async with get_internal_lock(): # Check if already initialized by checking for required fields if "busy" in pipeline_namespace: return # Create a shared list object for history_messages history_messages = _manager.list() if _is_multiprocess else [] pipeline_namespace.update( { "autoscanned": False, # Auto-scan started "busy": False, # Control concurrent processes "job_name": "-", # Current job name (indexing files/indexing texts) "job_start": None, # Job start time "docs": 0, # Total number of documents to be indexed "batchs": 0, # Number of batches for processing documents "cur_batch": 0, # Current processing batch "request_pending": False, # Flag for pending request for processing "latest_message": "", # Latest message from pipeline processing "history_messages": history_messages, # 使用共享列表对象 } ) direct_log(f"Process {os.getpid()} Pipeline namespace initialized") async def get_update_flag(namespace: str): """ Create a namespace's update flag for a workers. Returen the update flag to caller for referencing or reset. """ global _update_flags if _update_flags is None: raise ValueError("Try to create namespace before Shared-Data is initialized") async with get_internal_lock(): if namespace not in _update_flags: if _is_multiprocess and _manager is not None: _update_flags[namespace] = _manager.list() else: _update_flags[namespace] = [] direct_log( f"Process {os.getpid()} initialized updated flags for namespace: [{namespace}]" ) if _is_multiprocess and _manager is not None: new_update_flag = _manager.Value("b", False) else: # Create a simple mutable object to store boolean value for compatibility with mutiprocess class MutableBoolean: def __init__(self, initial_value=False): self.value = initial_value new_update_flag = MutableBoolean(False) _update_flags[namespace].append(new_update_flag) return new_update_flag async def set_all_update_flags(namespace: str): """Set all update flag of namespace indicating all workers need to reload data from files""" global _update_flags if _update_flags is None: raise ValueError("Try to create namespace before Shared-Data is initialized") async with get_internal_lock(): if namespace not in _update_flags: raise ValueError(f"Namespace {namespace} not found in update flags") # Update flags for both modes for i in range(len(_update_flags[namespace])): _update_flags[namespace][i].value = True async def clear_all_update_flags(namespace: str): """Clear all update flag of namespace indicating all workers need to reload data from files""" global _update_flags if _update_flags is None: raise ValueError("Try to create namespace before Shared-Data is initialized") async with get_internal_lock(): if namespace not in _update_flags: raise ValueError(f"Namespace {namespace} not found in update flags") # Update flags for both modes for i in range(len(_update_flags[namespace])): _update_flags[namespace][i].value = False async def get_all_update_flags_status() -> Dict[str, list]: """ Get update flags status for all namespaces. Returns: Dict[str, list]: A dictionary mapping namespace names to lists of update flag statuses """ if _update_flags is None: return {} result = {} async with get_internal_lock(): for namespace, flags in _update_flags.items(): worker_statuses = [] for flag in flags: if _is_multiprocess: worker_statuses.append(flag.value) else: worker_statuses.append(flag) result[namespace] = worker_statuses return result async def try_initialize_namespace(namespace: str) -> bool: """ Returns True if the current worker(process) gets initialization permission for loading data later. The worker does not get the permission is prohibited to load data from files. """ global _init_flags, _manager if _init_flags is None: raise ValueError("Try to create nanmespace before Shared-Data is initialized") async with get_internal_lock(): if namespace not in _init_flags: _init_flags[namespace] = True direct_log( f"Process {os.getpid()} ready to initialize storage namespace: [{namespace}]" ) return True direct_log( f"Process {os.getpid()} storage namespace already initialized: [{namespace}]" ) return False async def get_namespace_data(namespace: str) -> Dict[str, Any]: """get the shared data reference for specific namespace""" if _shared_dicts is None: direct_log( f"Error: try to getnanmespace before it is initialized, pid={os.getpid()}", level="ERROR", ) raise ValueError("Shared dictionaries not initialized") async with get_internal_lock(): if namespace not in _shared_dicts: if _is_multiprocess and _manager is not None: _shared_dicts[namespace] = _manager.dict() else: _shared_dicts[namespace] = {} return _shared_dicts[namespace] def finalize_share_data(): """ Release shared resources and clean up. This function should be called when the application is shutting down to properly release shared resources and avoid memory leaks. In multi-process mode, it shuts down the Manager and releases all shared objects. In single-process mode, it simply resets the global variables. """ global \ _manager, \ _is_multiprocess, \ _storage_lock, \ _internal_lock, \ _pipeline_status_lock, \ _graph_db_lock, \ _data_init_lock, \ _shared_dicts, \ _init_flags, \ _initialized, \ _update_flags, \ _async_locks # Check if already initialized if not _initialized: direct_log( f"Process {os.getpid()} storage data not initialized, nothing to finalize" ) return direct_log( f"Process {os.getpid()} finalizing storage data (multiprocess={_is_multiprocess})" ) # In multi-process mode, shut down the Manager if _is_multiprocess and _manager is not None: try: # Clear shared resources before shutting down Manager if _shared_dicts is not None: # Clear pipeline status history messages first if exists try: pipeline_status = _shared_dicts.get("pipeline_status", {}) if "history_messages" in pipeline_status: pipeline_status["history_messages"].clear() except Exception: pass # Ignore any errors during history messages cleanup _shared_dicts.clear() if _init_flags is not None: _init_flags.clear() if _update_flags is not None: # Clear each namespace's update flags list and Value objects try: for namespace in _update_flags: flags_list = _update_flags[namespace] if isinstance(flags_list, list): # Clear Value objects in the list for flag in flags_list: if hasattr( flag, "value" ): # Check if it's a Value object flag.value = False flags_list.clear() except Exception: pass # Ignore any errors during update flags cleanup _update_flags.clear() # Shut down the Manager - this will automatically clean up all shared resources _manager.shutdown() direct_log(f"Process {os.getpid()} Manager shutdown complete") except Exception as e: direct_log( f"Process {os.getpid()} Error shutting down Manager: {e}", level="ERROR" ) # Reset global variables _manager = None _initialized = None _is_multiprocess = None _shared_dicts = None _init_flags = None _storage_lock = None _internal_lock = None _pipeline_status_lock = None _graph_db_lock = None _data_init_lock = None _update_flags = None _async_locks = None direct_log(f"Process {os.getpid()} storage data finalization complete")