What? Hey! This is the first episode from Getrafty - a regular engineer's journey to demystify distributed systems by building one from scratch, layer by layer. Getrafty Step by step, no black boxes, no hand-waving, just code you can run, break, and understand. When you look at servers under a microscope, most of what they do is just move bytes around. Read some data, write some data, wait for more. Boring stuff. That is exactly what BarkFS needs. At the OS level, BarkFS talks to the world by issuingsyscalls like read and write. The catch is that these calls normally block until the operation completes. syscalls read write A common workaround is to push blocking I/O onto separate threads. This works, and historically many systems did exactly that. For example, Apache HTTP Server, Tomcat both relied on that method. But threads aren't free, they take memory for stacks, CPU for scheduler overhead, and context-switching time. And as the number of connections grows you hit limits fast. In other words, it works but it doesn't scale well. memory for stacks Most of the efficient networking libraries out there use asynchronous I/O. That's where reactor pattern comes in. We'll use our MPSC queue to feed work into reactor. This is the same structure behind Nginx, libuv, Tokio, and pretty much every high-performance networking stack. Reactor Fancy term but what we really want here is to be able to read and write data w/o blocking the main thread. For that purpose, most operating systems provide a non-blocking mode for things like sockets we were talking about earlier. Linux supports that with O_NONBLOCK flag. There's even more advanced stuff like io_uring, which tackles the same problem from a completely different angle. We're not going there in this post, but it's good to know it exists. O_NONBLOCK io_uring So slapping the O_NONBLOCK on a socket should solve the problem, right? Not yet. Let's pause here for a second. What does "blocking" even mean? It is OS telling "you tried to read something that isn't here yet. Go to sleep. I'll wake you when it arrives".It suspends the execution of the current thread, removes it from the run queue, and schedules back once I/O is done. Someone had to really think about things to behave exactly this way. If the I/O didn't block by default, your code would have to sit in a loop hammering read() over and over until the data appeared. This is a lot of CPU cycles. By this point it may feel like we're just trading off one problem for another by using O_NONBLOCK. And this is exactly how it should feel. If only the OS gave us a way to be notified when something becomes ready instead of us constantly checking 🤔 And fortunately it does with poll & co. poll & co For BarkFS, we will hide all of the epoll stuff in the simple reactor abstraction. Let's call it `EventWatcher`. class EventWatcher {
public:
    void watch(int fd, WatchFlag flag, IWatchCallbackPtr cb);
    void unwatch(int fd, WatchFlag flag);
    void unwatchAll();
    void runInEventWatcherLoop(WatchCallback task);
}; class EventWatcher {
public:
    void watch(int fd, WatchFlag flag, IWatchCallbackPtr cb);
    void unwatch(int fd, WatchFlag flag);
    void unwatchAll();
    void runInEventWatcherLoop(WatchCallback task);
}; Herewatch tells event watcher to "remember" the callback and run it every time a file becomes ready for I/O. The type of I/O event we care about is passed via flag argument. Respectively, unwatch tells event watcher to stop tracking this fd and "forget" the callback. And runInEventWatcherLoop tells event watcher to run a callback once at earliest convenience.It's useful when you need to safely execute something within the loop's context without breaking thread-safety. We will see later why. watch unwatch runInEventWatcherLoop For event watcher we will useepollas better alternative to older poll and select. epoll There's lot to say about epoll and I'm not going to pretend I know even a decent bit of it. To get a sense of what's going on, the man page is great. man page On Threads So what happens after epoll_wait hands us a batch of ready file descriptors (maybe)? We grab each one, find its callback, and run it. epoll_wait But where? Inside the event loop thread itself, or offload to some thread pool? For pure I/O, throwing it to another core usually doesn't help and often just slows things down with extra context switching. But once we step into request handling, it's a different story. A typical server besides just reading and write bytes also parses the request, maybe talks to a database, maybe does some business logic, maybe kicks off more IO before replying. That's the kind of work where offloading to a pool can actually pay off. 🧠 Task Your task is to implement waitLoop method of the EventWatcher class using epoll_wait. EventWatcher epoll_wait 📦 Build & Test Tests are located in event_watcher_test.cpp.~/$ ./tasklet test event_watcher event_watcher_test.cpp ~/$ ./tasklet test event_watcher Getting Help If you run into something weird, you're not alone. Get in touch. Get in touch

This story contains new, firsthand information uncovered by the writer.

Apache

Building a Filesystem From Scratch: Inside the Reactor That Powers BarkFS

About Author

Comments

TOPICS

THIS ARTICLE WAS FEATURED IN

Related Stories

The Art of a Great Rollout

The Art of a Great Rollout

Failure to Launch: Escaping AI Pilot Purgatory

The New Anatomy of Customer Experience - Part 2

10 Most Sought-After Programming Languages You Should Learn In 2021

25 Stories To Learn About Asynchronous

The Art of a Great Rollout

The Art of a Great Rollout

Failure to Launch: Escaping AI Pilot Purgatory

The New Anatomy of Customer Experience - Part 2

10 Most Sought-After Programming Languages You Should Learn In 2021

25 Stories To Learn About Asynchronous

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps