Thread Pool Best Practices with ZIO
High-performance application’s don’t block. Blocking is when a thread synchronously waits for something to happen—for example, waits for a lock to be acquired, a result set to be returned from a database, a timer to elapse, or bytes to be read from a socket.
Instead, high-performance applications are asynchronous. Instead of synchronously waiting for something to happen, asynchronous applications register callbacks with handlers. Then, when something happens, the callbacks are invoked. This style of programming, which conserves threads (and their associated resources), is called asynchronous programming.
Unfortunately, in 2019, sometimes we must block on the JVM. Some legacy APIs, and even industry-standard APIs like JDBC, block threads. Given how much valuable blocking synchronous code is out there, we often have no choice but to use it.
These days, asynchronous data types like
Future (combined with
Promise) or ZIO’s
IO make it straightforward to write asynchronous applications. ZIO goes further (like Monix
Task) and makes it easy to write hybrid applications that are synchronous and asynchronous.
The real trouble starts when asynchronous code is combined with synchronous code.
Tricky Thread Management
Asynchronous code executes useful work continuously until it registers its callbacks, and then it suspends until the callbacks are invoked. As soon as the callbacks are registered, the thread executing the asynchronous code is free to do more useful work for other tasks.
Blocking synchronous code, on the other hand, might execute for a really long time. A thread might have to wait around for tens or hundreds of milliseconds, or in extreme cases, minutes or hours—all the while, doing absolutely nothing.
Because asynchronous and blocking code behave differently, we need to be very careful about how we run the different types of code.
In all cases, we need to execute different tasks on different threads, but creating threads is slow. Instead of creating threads all the time, data types like ZIO’s
Future use thread pools, which are collections of pre-allocated threads that wait around to execute any tasks submitted to the thread pools.
CPUs only have a certain number of cores, each of which can execute tasks more or less independently of the other cores. If we create more threads than cores, then the operating system spends a lot of time switching between threads (context switching), because the hardware can’t physically run them all at the same time. So ideally, to be maximally efficient, we would only create as many threads as there are cores, to minimize context switching.
This strategy works well for asynchronous code, because asynchronous code is constantly doing useful work until it suspends. However, it works poorly for blocking code (halting the application), because a thread pool cannot accept more work after all threads are busy—and for blocking code, they might stay busy (doing nothing!) for a very long time.
As a result, well-designed applications actually have at least two thread pools:
- One thread pool, designed for asynchronous code, has a fixed number of threads, usually equal to the number of cores on the CPU.
- Another thread pool, designed for blocking code, has a dynamic number of threads (more threads will be added to the pool when necessary), which is inefficient (but what can you do!).
Keeping the right tasks on the right thread pools has proven a big mess, even in modern effect systems. Functional programs can pull in libraries like Christopher Davenport’s excellent linebacker library.
However, in preparation for the upcoming release of ZIO 1.0, no additional libraries are necessary for proper thread management, and you gain some killer features not found in any other effect system.
The ZIO Trio
ZIO has three functions that make thread management a breeze:
Internally, two of these functions benefit from the fact that the ZIO runtime system has two primary thread pools, which are set by the user at the level of the main function. One of these thread pools is for asynchronous code, and one is for blocking code. These pools are configurable, of course, but the built-in defaults provide excellent performance for most applications.
In order to avoid exhausting the asynchronous code, ZIO not only provides thread management functions, but is capable of making long-running asynchronous tasks yield to other tasks, providing a tunable level of fairness, but vastly higher performance than Scala’s own
Future (which yields on every operation of every asynchronous task).
The sections that follow introduce each of the three thread management functions in some detail.
The first method that ZIO provides to support thread management is
IO#lock, which allows you to run a task on a given thread pool.
lock function guarantees that the specified task will be executed with a given executor, which chooses the thread pool.
With other functional effect types, even though you can shift a task to another thread pool (via something like
evalOn), any asynchronous boundary in the task can shift it off the thread pool.
Because whether or not a task is composed of asynchronous boundaries is not visible in its type, it’s impossible to reason locally about where a task will run using the
evalOn primitives of other effect types. They have poorly-defined semantics.
The unique guarantee that
lock provides is semantically well-defined and stronger than any other effect system in Scala: the specified task will always execute on the given thread pool, even in the presence of asynchronous boundaries.
lock function is the missing ingredient for principled task location in purely functional effect systems. It lets you trivially verify with local reasoning that, for example, blocking effects will always be executed on a blocking thread pool; that a client request will always happen in a client library’s thread pool; or that a UI task will always execute on the UI thread, even if composed with other tasks that may need to execute elsewhere.
The second method that ZIO provides to support thread management is
blocking, which allows you to lock a task on the blocking thread pool.
This function is not primitive (it’s implemented in terms of
lock and another function, which provides access to the two primary thread pools in ZIO), but it’s one of the most common methods for thread pool management in ZIO.
The third method that ZIO provides to support thread management is
interruptible, which allows suspending (or importing) a blocking effect into a pure task.
interruptible function returns a task that has two important features:
- It executes the effect on the blocking thread pool using the
- It is interruptible (assuming the effect is blocking!), and any interruption will delegate to Java’s
The following code snippet will interrupt a really long
Thread.sleep (which is a blocking function on the JVM):
blocking, this feature is a first for functional effect systems in Scala. Now runaway JDBC queries, thread sleeps, remote file downloads, and other blocking effects can be trivally interrupted in a composable fashion using ordinary ZIO interruption.
Proper thread management is essential for efficient applications. High-performance applications on the JVM should use at least two thread pools: a fixed one for asynchronous code, and a dynamic one for blocking code.
ZIO bakes in these two primary thread pools so users don’t need to worry about them (although, of course, they can be configured as necessary and applications can use many more than just two thread pools).
ZIO uses its two primary thread pools to make thread management easy using three functions, which bring unique functionality to the functional effect systems in Scala:
lockfunction locks a task to a given thread pool (even over asynchronous boundaries!), providing principled, well-defined semantics for locating tasks;
blockingfunction locks a task to ZIO’s blocking thread pool;
interruptiblefunction suspends a blocking effect into an interruptible
IO, by safely delegating to Java’s own thread interruption, allowing composable interruption of any blocking code.
Thanks to no implicit execution contexts, no implicit context shifts, no weird edge-cases (like asynchronous boundaries shifting a task to another thread pool), built-in asynchronous and blocking thread pools, fairness and performance, and well-defined semantics, ZIO makes it easier than ever to build applications that follow best practices.
Who said functional programming wasn’t practical?
Thanks to Wiem Zine Elabidine for proofreading this post.