Function read_lock

ci/util/file_lock_rw.py:249–272

Create a read lock for a file. Allows multiple concurrent readers. Blocks only if a writer holds the lock. Args: file_path: Path to the file to lock timeout: Optional timeout in seconds operation: Description of the operation Returns: FileLock cont

(
    file_path: Path, timeout: float | None = None, operation: str = "read"
)

def read_lock(
    file_path: Path, timeout: float | None = None, operation: str = "read"
) -> FileLock:
    """
    Create a read lock for a file.

    Allows multiple concurrent readers. Blocks only if a writer holds the lock.

    Args:
        file_path: Path to the file to lock
        timeout: Optional timeout in seconds
        operation: Description of the operation

    Returns:
        FileLock context manager

    Example:
        with read_lock(Path("data.json"), timeout=5.0) as lock:
            # Read from file safely
            with open("data.json", "r") as f:
                data = json.load(f)
    """
    lock_file = file_path.parent / f".{file_path.name}.lock"
    return FileLock(lock_file, timeout=timeout, operation=operation, mode="read")


def custom_lock(