C++日志框架设计：同步与异步机制深度解析

1. 日志框架调用链全景解析

在C++开发中，日志系统是项目调试和运行监控的核心组件。一个设计良好的日志框架需要兼顾性能、灵活性和线程安全。本文将深入剖析一个典型C++日志框架的内部调用机制，通过四个核心场景揭示从日志宏调用到最终输出的完整链路。

1.1 同步日志输出机制

同步日志是最基础的日志输出方式，适合对实时性要求不高的场景。当调用LOGD("debug msg")时，框架内部会触发以下调用序列：

1. 日志级别检查：首先调用Logger::shouldLog()验证当前日志级别是否允许输出，避免不必要的性能开销。这个检查发生在实际格式化操作之前，是性能优化的第一道关卡。

2. 参数格式化：使用va_start/va_end处理可变参数，通过vasprintf将参数格式化为字符串。这里需要注意：

   • 必须成对使用va_start和va_end
   • vasprintf会自动分配内存，需要确保后续正确释放
   • 格式化失败时应提供fallback处理

3. 日志消息封装：构造LogMsg对象时会捕获关键上下文信息：

   cpp复制struct LogMsg {
       size_t timestamp;  // util::date::now()
       std::thread::id tid;  // std::this_thread::get_id()
       const char* file;  // 调用文件
       size_t line;  // 调用行号
       std::string message;  // 格式化后的消息
   };
   

4. 格式化输出：Formatter类采用组合模式，由多个FormatItem子类完成特定字段的格式化。例如：

   • TimeFormatItem：处理时间戳格式化
   • ThreadFormatItem：输出线程ID
   • MsgFormatItem：输出实际日志内容

5. 同步输出控制：最终通过SyncLogger::logIt()加锁后输出到所有注册的Sink。这里的互斥锁保护确保多线程下的输出完整性。

关键点：同步日志的瓶颈在于I/O操作，当大量线程同时输出时，锁竞争会导致性能下降。在实测中，单线程同步日志每秒可处理约5万条简单日志，而10个线程并发时会降至1.5万条左右。

1.2 异步日志架构设计

异步日志通过生产者-消费者模型解决同步日志的性能问题，其核心组件是AsyncLooper：

1. 双缓冲机制：

   • _tasks_push：生产者缓冲区，接收日志消息
   • _tasks_pop：消费者缓冲区，后台线程处理
   • 通过swap操作减少锁占用时间

2. 条件变量控制：

   cpp复制// 生产者伪代码
   void push(const std::string& msg) {
       std::unique_lock<std::mutex> lock(_mutex);
       _push_cond.wait(lock, [this]{retur