Naomi Lindenstrauss

17 papers A* 1B 2C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
Random Struct. Algorithms
Naomi Lindenstrauss, Michel Talagrand
2004 ch.
Program Development in Computational Logic
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2001 J jnl
Appl. Algebra Eng. Commun. Comput.
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2000 J jnl
CoRR
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2000 J jnl
Comput. Artif. Intell.
Naomi Lindenstrauss, Nachum Dershowitz
2000 J jnl
CoRR
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1999 conf
Verification of Logic Programs@ICLP
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1997 conf
Euro-Par
Nachum Dershowitz, Naomi Lindenstrauss
1997 B conf
ICLP
Naomi Lindenstrauss, Yehoshua Sagiv
1997 A* conf
CAV
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1997 C conf
LOPSTR
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1995 ed.
CTRS
Nachum Dershowitz, Naomi Lindenstrauss
1990 conf
Jerusalem Conference on Information Technology
Nachum Dershowitz, Naomi Lindenstrauss
1990 conf
ALP
Nachum Dershowitz, Naomi Lindenstrauss
1990
Naomi Lindenstrauss
1989 conf
RTA
Naomi Lindenstrauss
1989 B conf
ICLP
Nachum Dershowitz, Naomi Lindenstrauss
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