Manat Mustafa

20 papers C 8Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
CiE
Nikolay Bazhenov, Manat Mustafa
2025 C conf
TAMC
Nikolay Bazhenov, Manat Mustafa
2025 J jnl
Theory Comput. Syst.
Nikolay Bazhenov, Manat Mustafa
2024 C conf
CiE
Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa
2024 C conf
TAMC
Nikolay Bazhenov, Manat Mustafa
2024 J jnl
Arch. Math. Log.
Serikzhan A. Badaev, Nikolay A. Bazhenov, Birzhan S. Kalmurzayev, Manat Mustafa
2022 C conf
TAMC
Nikolay Bazhenov, Manat Mustafa, Anvar M. Nurakunov
2022 J jnl
Math. Log. Q.
Nikolay Bazhenov, Manat Mustafa, Zhansaya Tleuliyeva
2022 J jnl
Math. Struct. Comput. Sci.
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2022 J jnl
Period. Math. Hung.
Nurlan Ismailov, Ivan Kaygorodov, Manat Mustafa
2022 J jnl
J. Log. Comput.
Uri Andrews, Steffen Lempp, Manat Mustafa, Noah David Schweber
2021 conf
LORI
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev, Luca San Mauro
2020 J jnl
Arch. Math. Log.
Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Andrea Sorbi, Mars M. Yamaleev
2020 C conf
TAMC
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2019 C conf
CiE
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2019 C conf
TAMC
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
2019 J jnl
Arch. Math. Log.
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
2019 J jnl
Ann. Pure Appl. Log.
Ian Herbert, Sanjay Jain, Steffen Lempp, Manat Mustafa, Frank Stephan
2015 J jnl
Arch. Math. Log.
Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi
2012 J jnl
Math. Log. Q.
Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi
redb/logging_utils.py
← Index redb/logging_utils.py python
"""
Logging utilities and shared enums for REDB.

Contains the ImportResult enum, log formatters, and logger setup functions
used across the ingestor pipeline.
"""
import logging
from logging.handlers import QueueHandler
import os
from enum import Enum


class ImportResult(Enum):
    CORRECTLY = 0
    PARTIALLY = 1
    FAILED = 2
    PENDING = 3
    SKIPPED = 4


class FileNameFormatter(logging.Formatter):
    def format(self, record):
        record.filenameinfo = getattr(record, "filenameinfo", "unknown")
        return super().format(record)


def setup_logger(log_queue, filename):
    logger = logging.getLogger(filename)
    if not logger.handlers:
        if os.getenv("SERVER_ENV") == "prod":
            logger.setLevel(logging.INFO)
        else:
            logger.setLevel(logging.DEBUG)
        handler = QueueHandler(log_queue)
        logger.addHandler(handler)
        logger.propagate = False  # Prevent propagation to parent loggers
    return logger


def logger_thread(log_queue, log_file):
    handler = logging.FileHandler(log_file)
    formatter = FileNameFormatter(
        "%(asctime)s - %(filenameinfo)s - %(levelname)s - %(message)s"
    )
    handler.setFormatter(formatter)

    while True:
        try:
            record = log_queue.get()
            if record is None:
                break
            # Format and write the log record
            message = formatter.format(record)
            handler.stream.write(message + "\n")
            handler.stream.flush()
        except Exception:
            import traceback
            import sys

            print("[ERR] Error in logger thread:", file=sys.stderr)
            traceback.print_exc(file=sys.stderr)


def setup_direct_logger(log_file, filename, pid=None):
    """Setup a logger that writes directly to the log file without using a queue."""
    # Create a unique logger name using the process ID
    logger_name = f"{filename}_{pid}" if pid else filename
    logger = logging.getLogger(logger_name)

    if not logger.handlers:
        handler = logging.FileHandler(log_file)
        formatter = logging.Formatter("%(asctime)s - %(filenameinfo)s - %(levelname)s - %(message)s")
        handler.setFormatter(formatter)
        logger.addHandler(handler)

        if os.getenv("SERVER_ENV") == "prod":
            logger.setLevel(logging.INFO)
        else:
            logger.setLevel(logging.DEBUG)

    # Add filename info to the logger's extra info
    extra = {"filenameinfo": filename}
    logger = logging.LoggerAdapter(logger, extra)

    return logger