SudharshanSrinivasan

Well since you stuck around, here is a dedicated blog where I get to talk about the fun things in tech.

Programming models and runtime systems

Have you ever wondered what happens behind the scenes when you write software in a higher-level language like TensorFlow? For example, do you believe that an std function magically sorts your arrays with a single API call? How did we get from explicitly writing quick sort routines to inline function calls? This is where compilers step in and provide wrapper functions that do all the pesky work for you in an optimized fashion while you, as a programmer, get to worry about the more important things.
Ok great! I just explained macros which you already might know. But what happens underneath the quick sort macro. Well, more of the same. You have other helper functions that break down the current helper function. In fact, you can think of them as layers of software. Everything eventually needs to break down to some intermediate representation that your underlying hardware can understand. A good programming model provides a rich set of primitives and interfaces with many layers of indirection.


Here is an example of AMD's ROCm stack and all the layers it provides before a piece of your higher-level routine gets executed on their GPUs. Now, this is not going to be the same for all software stacks. Each vendor comes up with its own stack that is highly optimized for its needs. Let's scope a little deeper into the last layer before your program hits the device. This is the runtime system layer that handles all the necessary scheduling and synchronizations needed to replicate the semantics of your program. After all, a device like a CPU or GPU is nothing but a work-horse that executes the task given in binary. It has no notion of ordering or correctness on its own. The runtime system is in charge of converting complex and interconnected routines written in a higher-level language like C++ into more manageable task packets, and this is done through a process called packetization.


Once the GPU kernels/routines is converted to a task packet, a series of dependency analysis is executed on all the existing packets to identify the correct order of execution. Enqueuing packets maintains the order of execution into a task queue (implemented as a circular buffer in the above figure). If a task is entirely independent of other tasks, then it is enqueued to the top of the queue as it doesn't need to wait for other tasks to finish before its turn. On the other hand, tasks dependent on one and the other get enqueued in order of their dependency. This is further improved by providing multiple queues for different applications as a GPU most likely isn't just executing a single application at a time. Doing so provides a better resource utilization where the GPU is kept busy with active tasks at hand rather than spinning and idle waiting on existing tasks to complete from other connected GPUs.
This is just scratching the surface, and real-life software stacks are much more complicated. But my objective is for all of us to take a moment to appreciate the effort and software layers put into providing these programming models to make our lives as application scientists just a tad bit easier.

Bioinformatics and evolutionary simulations

For all you non-chip heads that stuck around, let's take a step back and talk about HPC in sciences. In specific, Biology! With the advent of faster supercomputers, every scientific domain found different use-cases and niches, and Biology is one major benefactor. Moving on from hard to do empirical studies, we managed to harness the power of modeling and simulations to provide us with better answers to long-standing research questions. Questions like how genomes evolve across generations. At the basic level, simulations provide us with the ability to run complex evolutionary scenarios by offering models for fundamental building blocks like creating a base population of genomes and letting them reproduce across time. These simulations can be configured to mimic real-life scenarios by providing parameters like mutation rates, recombination rates, genetic drifts, etc. With these simulations parameters, application scientists analyze how genomes of different species evolve over time. Theoretically, these species can be anything ranging from mosquitos to Covid. And with improved HPC frameworks, we get to simulate across massive generations like 10 power 18.
One such simulation framework is SLiM, which provides a toolbox for evolutionary scenarios written in C++. It also provides a domain-specific language called Eidos that lets domain scientists configure and interact with SLiM in an easy-to-use R-like language. Check out the hyperlinks if you want to dive deeper into evolutionary simulations.

Thanks for taking the time to read this blog, and have a great day!