본문으로 건너뛰기
Folly Code Review · 17/89

folly::EventBase 분석 — libevent 이벤트 루프의 핵심

· Hawk · 4분 읽기

한 줄 요약: EventBase는 libevent의 event_base를 wrap한 single-threaded event loop다. fd 이벤트, timer, cross-thread message를 한 thread 안에서 처리하고, folly::Executor를 구현해 Future와 직접 통합된다.

#동기 — event loop 위에 Executor를 얹다

libevent는 C 라이브러리로 file descriptor 이벤트와 timer를 처리한다. epoll/kqueue를 추상화한다. 그러나 비동기 컴포넌트 구성은 사용자 몫이다.

Folly의 EventBase는 그 위에 다음을 더한다.

  1. folly::Executor 구현 — Future .via(eb)로 직접 schedule
  2. cross-thread messagerunInEventBaseThread(fn)으로 다른 thread에서 lambda 던지기
  3. TimekeeperWheel — 효율적 timer
  4. observer/preLoopCallback — loop 단계 hook

#API 한눈에

#include <folly/io/async/EventBase.h>
folly::EventBase evb;
// 1) loop 시작
std::thread t([&] { evb.loopForever(); });
// 2) schedule (cross-thread OK)
evb.runInEventBaseThread([] { std::cout << "in EB thread\n"; });
evb.runInEventBaseThreadAndWait([] { ... }); // blocking
// 3) timer
evb.runAfterDelay([] { LOG(INFO) << "5s"; }, 5000);
// 4) Future
sf.via(&evb).thenValue([](auto x) { ... });
// 5) loop 종료
evb.terminateLoopSoon();
t.join();

#loop 종류

EventBase loop iteration

class EventBase {
public:
bool loop(); // 한 iteration
bool loopOnce(); // 한 event 처리 후 return
void loopForever(); // 영원히
void terminateLoopSoon();
};

loopForeverterminate가 호출되거나 모든 event가 떠날 때까지 돈다. 일반적으로 server는 loopForever로 운영한다.

#runInEventBaseThread

다른 thread에서 EventBase로 lambda를 보낸다.

std::thread other([&] {
// 다른 thread에서
evb.runInEventBaseThread([] {
// EventBase loop thread에서 실행
sock->write(buf); // race 없이 안전
});
});

내부적으로 eventfd 또는 pipe로 cross-thread notification을 보낸다. queue에 쌓고 EventBase가 자기 thread에서 dispatch한다.

// folly/io/async/EventBase.cpp (개념)
void EventBase::runInEventBaseThread(Func fn) {
if (inRunningEventBaseThread()) {
queue_->add(std::move(fn)); // 같은 thread면 직접 큐에
} else {
notificationQueue_->add(std::move(fn)); // cross-thread
notifyFd_->signal(); // EventBase loop 깨우기
}
}

#Future와의 통합

// EventBase는 folly::Executor를 구현
class EventBase : public folly::Executor {
public:
void add(Func f) override {
runInEventBaseThread(std::move(f));
}
};
// 사용
fetchAsync(url).via(&evb).thenValue([](Response r) {
// EventBase thread에서 실행
});

.via(&evb)는 continuation을 해당 EventBase의 thread에서 돌게 한다. socket state에 접근하는 callback을 안전하게 짤 수 있다.

#Timer — TimekeeperWheel

evb.runAfterDelay([] { ... }, 100); // 100ms 후

내부는 hierarchical timer wheel이다. O(1)로 millisecond timer를 등록한다.

// folly/io/async/HHWheelTimer.h (개념)
class HHWheelTimer {
// 8 + 4 levels의 wheel — 256ms ~ 수십일 범위
std::array<TimeoutList, 256> buckets_[4];
std::chrono::milliseconds tickInterval_;
};

수백만 개의 timer를 등록해도 O(1) insertion + O(1) cancel이다. RPC timeout 추적의 표준 구현이다.

#Observer — loop hook

class MyObserver : public folly::EventBase::LoopCallback {
void runLoopCallback() noexcept override {
LOG(INFO) << "loop iteration";
}
};
MyObserver o;
evb.runInLoop(&o);

runInLoop다음 loop iteration의 시작에 callback을 건다. logging, metrics, deferred cleanup에 활용된다.

#EventBase Manager

folly::EventBaseManager* m = folly::EventBaseManager::get();
folly::EventBase* eb = m->getEventBase();

EventBaseManagerthread-local EventBase를 관리한다. 같은 thread에서 여러 컴포넌트가 동일 EventBase를 공유한다.

IOThreadPoolExecutor는 내부적으로 EventBaseManager를 통해 각 worker thread의 EventBase를 등록한다.

#단일 thread vs 다중 thread

// Single threaded
folly::EventBase evb;
std::thread t([&] { evb.loopForever(); });
// 모든 callback이 t에서 실행 — race 없음
// Multi threaded
folly::IOThreadPoolExecutor io(4);
auto* eb = io.getEventBase(); // 4개 중 하나 (round-robin)
// 같은 fd는 같은 EventBase로 pin

단일 EventBase의 모든 callback은 같은 thread다. 이게 EventBase의 가장 큰 장점이다. lock 없는 state 관리가 가능하다.

#std와 비교

표준에는 없다. boost::asio::io_context가 비슷한 위치다.

항목folly::EventBaseboost::asio::io_context
backendlibeventplatform-specific (epoll/kqueue/IOCP)
Executor 통합folly::Futureasio::execution::executor
timer wheelHHWheelTimer (O(1))asio::steady_timer (O(log n))
cross-threadrunInEventBaseThreadpost()

asio가 표준 영향력에서 앞서지만, Future 통합은 folly::EventBase가 더 매끄럽다.

#코드 리뷰 포인트

  • loop이 도는가? loopForever() 호출이 누락되면 callback이 영원히 실행 안 됨.
  • state에 외부 thread가 직접 접근하는가? runInEventBaseThread로 옮긴다.
  • timer가 너무 많이 cancel되는가? HHWheelTimer는 cancel도 O(1)지만 메모리는 든다.
  • EventBase 안에서 blocking call? loop 전체가 멈춘다.

#자주 보는 안티패턴

// 1. loop 안에서 blocking
evb.runInEventBaseThread([] {
std::this_thread::sleep_for(std::chrono::seconds(1)); // loop 멈춤
});
// 2. EventBase state를 다른 thread에서 직접 수정
class Conn {
folly::AsyncSocket* sock_;
void close() { sock_->close(); } // 어느 thread에서 호출?
};
// 옳음:
void close() {
evb_->runInEventBaseThread([this] { sock_->close(); });
}
// 3. EventBase가 destruct되기 전에 loop 종료 안 함
folly::EventBase evb;
std::thread t([&] { evb.loopForever(); });
// evb destruct — t는 dangling reference로 SEGV
// terminateLoopSoon() + t.join() 먼저
// 4. 한 thread에서 두 EventBase loop
folly::EventBase eb1, eb2;
eb1.loopForever(); // 두 번째는 실행 안 됨
eb2.loopForever();

#정리

  • EventBase는 libevent의 event_base를 wrap한 single-threaded event loop다.
  • fd 이벤트, timer, cross-thread message를 한 thread 안에서 처리한다.
  • folly::Executor를 구현해 Future .via(&evb)로 직접 통합된다.
  • 같은 EventBase의 모든 callback은 같은 thread에서 실행되어 lock-free state가 가능하다.
  • 다른 thread에서는 반드시 runInEventBaseThread로 message를 보낸다.
  • HHWheelTimer로 O(1) timer 등록/취소를 제공한다.

#다음 편

Part 4부터 IOBuf를 본다. Part 4-01: IOBuf에서 zero-copy buffer chain의 기본 단위를 시작한다.

#관련 항목

Folly Code Review · 18 of 89

  1. 1 Folly Code Review — Meta의 production-grade C++ 라이브러리 코드 분석
  2. 2 Folly 개요 — Meta가 production에서 검증한 utility 모음 분석
  3. 3 Folly vs Abseil 철학 비교 — performance-first vs std-compatible
  4. 4 Folly 빌드와 fbcode 환경 — monorepo의 그림자
  5. 5 Folly API stability 정책 — 어떤 보장도 없다는 솔직함
  6. 6 Folly production validation 문화 — peta-scale에서 단련된 코드
  7. 7 folly::Future 분석 — std::future의 한계를 넘는 composable async
  8. 8 folly::Promise·makeFuture — Future를 만드는 두 길
  9. 9 folly::SemiFuture vs Future — executor binding의 명시화
  10. 10 folly::Future thenValue·thenError·thenTry — continuation 체인 분석
  11. 11 folly::collect·collectAll·collectAny — fan-in 패턴 분석
  12. 12 folly::Future retry·window·via — 제어 흐름 조합자
  13. 13 folly::fibers 분석 — M:N stackful coroutine
  14. 14 folly::InlineExecutor — 호출자 thread에서 즉시 실행
  15. 15 folly::CPUThreadPoolExecutor — CPU-bound 작업의 표준 thread pool
  16. 16 folly::IOThreadPoolExecutor — libevent 기반 I/O pool
  17. 17 folly::ManualExecutor — 결정적 테스트를 위한 수동 진행
  18. 18 folly::EventBase 분석 — libevent 이벤트 루프의 핵심
  19. 19 folly::IOBuf 분석 — zero-copy buffer chain의 기본 단위
  20. 20 folly::IOBufQueue — chain의 push/pull 추상화
  21. 21 folly::io::Cursor·RWCursor — chain 위의 stream
  22. 22 folly Zero-copy 패턴 — IOBuf로 ScatterGather I/O 표현
  23. 23 folly::IOBuf shared semantics — clone·unshare·takeOwnership
  24. 24 folly::FBString 분석 — SSO + COW 구현
  25. 25 folly의 fmt::format 통합 — 모던 포맷팅 채택
  26. 26 folly::StringPiece — string_view 호환 분석
  27. 27 folly Join·Split utilities — 문자열 분해와 결합
  28. 28 folly::to·tryTo — text↔num 변환 분석
  29. 29 folly Conv Customization — 사용자 타입 지원
  30. 30 folly Conv 성능 비교 — sprintf·stringstream 대비
  31. 31 folly::F14ValueMap vs std::unordered_map
  32. 32 folly::F14NodeMap — stable pointer가 필요할 때
  33. 33 folly::F14VectorMap — cache-friendly iteration
  34. 34 folly::F14FastMap — auto-select 동작
  35. 35 folly F14 internals — SIMD probing 메커니즘
  36. 36 folly::small_vector — inline storage 분석
  37. 37 folly::FixedString — compile-time string
  38. 38 folly::AtomicHashMap — lock-free read 분석
  39. 39 folly::ConcurrentHashMap — sharded 동시 해시 맵
  40. 40 folly::EvictingCacheMap — LRU 구현 분석
  41. 41 folly::Synchronized — lock wrapper 패턴
  42. 42 folly::SharedMutex 분석
  43. 43 folly::Baton — one-shot wait 동기화
  44. 44 folly::RWSpinLock 분석
  45. 45 folly::PicoSpinLock — 1-byte spinlock
  46. 46 folly::ProducerConsumerQueue — SPSC 큐 분석
  47. 47 folly::MPMCQueue — multi-producer multi-consumer
  48. 48 folly::UnboundedQueue — 동적 크기 lock-free
  49. 49 folly::fibers::Channel — Go-like channel
  50. 50 folly::dynamic — JSON-like dynamic type 분석
  51. 51 folly JSON conversion — toJson·parseJson
  52. 52 folly dynamic ↔ struct — manual marshaling
  53. 53 folly dynamic Visitor pattern — type별 분기
  54. 54 folly::Singleton vs Meyers/static — 왜 Folly의 Singleton인가
  55. 55 folly::SingletonVault 분석 — 등록·소멸·의존성
  56. 56 folly::Singleton try_get·try_get_fast — TLS-cached 접근
  57. 57 folly::ExceptionWrapper — type-erased exception holder
  58. 58 folly::ScopeGuard·SCOPE_EXIT — RAII cleanup
  59. 59 folly::Optional vs std::optional
  60. 60 folly::Function vs std::function
  61. 61 folly::Lazy — 지연 초기화 wrapper
  62. 62 folly Meta 스타일 code review 패턴
  63. 63 folly anti-patterns — 잘못 쓰면 std보다 느림
  64. 64 folly vs std 선택 기준 분석
  65. 65 folly::coro 개요 — production C++20 코루틴 어댑터
  66. 66 folly::coro::Task — lazy single-shot 코루틴
  67. 67 folly::coro::AsyncGenerator — 비동기 스트림
  68. 68 folly coro blockingWait·collectAll — 동기 경계와 fan-in
  69. 69 folly::coro::Baton·Mutex — 코루틴-aware 동기화
  70. 70 folly::Expected — 결과 또는 오류
  71. 71 folly::Try — Future 결과 wrapper
  72. 72 folly::Try vs Expected 선택 기준
  73. 73 folly::Range — 일반 iterator pair
  74. 74 folly::Uri — URL 파서
  75. 75 folly Fingerprint64·128 — 분산 hash
  76. 76 folly SpookyHashV2 — fast non-crypto hash
  77. 77 folly::Init — main() 부트스트랩
  78. 78 folly::Indestructible — global lifetime 패턴
  79. 79 folly::MicroLock — 1-byte 락
  80. 80 folly::MicroSpinLock — 가장 좁은 spin lock
  81. 81 folly::format — legacy formatter 분석
  82. 82 folly::demangle — typeid 디망글링
  83. 83 folly::DynamicConverter — dynamic ↔ struct
  84. 84 folly::RecordIO — append-only 로그 파일 포맷
  85. 85 folly::io::Compression — zstd·lz4·snappy wrapper
  86. 86 folly::AsyncIO — io_uring·Linux AIO
  87. 87 folly::CancellationToken — 코루틴·Future 취소 전파
  88. 88 folly::observer — hot config의 atomic refresh
  89. 89 fbcode 패턴 모음 — folly 사용의 실전