DEV Community

Cover image for Many Nodes, One Distributed System
Vaidehi Joshi
Vaidehi Joshi

Posted on • Originally published at Medium on

Many Nodes, One Distributed System

They say that no man (or woman, or person, really) is an island; these days, we could really just add “computer” to the list. We are surrounded by machines, computers, and databases that are are talking to one another. In fact, most of the applications and services that we interact with (and build!) every day are actually a whole bunch of computing elements that are talking to one another, even if we might not know it.

The study of these systems and how they work are part of the world of distributed computing , which centers around the study of distributed systems. In some ways, distributed systems are a continuation of or extension from the realm of computer science — it often involves problem-solving, dividing things into discrete tasks, and figuring out how to handle, store, and process data.

But in other ways, distributed systems are nothing like computer science at all. Distributed computing almost requires us to throw our assumptions of how machines work out the window. When dealing with a single computer, we might even find things to be kind of simple. But what about when there are multiple computers involved?

Well, that’s a different story entirely.

Before there were many, there was one

In order to understand what exactly constitutes a distributed system, we must first understand what is not a distributed system. To be clear, there is certainly some dispute when it comes to defining what exactly is “the opposite” of a distributed system. In theory, we could define the opposite of a distributed system in different ways, because the definition of a distributed system somewhat depends on what the components of the system really are. But more on that in a bit.

We can think of a non-distributed system as a “single” system. A single system is one that does not communicate with others and functions on its own is not a distributed system.

What is NOT a distributed system?

A single process on our computer is a single system, which operates on its own. If a process does not communicate with other processes, then it inherently isn’t part of a larger system. We could also think of our machine on its own, disconnected from the internet, as a “single” system — although there has been research which claims otherwise (like this 2009 paper).

The word distribute means to disperse, scatter, or spread something across a space. If we consider the definition of this word and how a single system works, then it becomes pretty evident that a single system on its own is not a distributed system. There is only one machine working on its own, so obviously this single machine can’t be scattered about!

So in that case, what actually is a distributed system? Well, if we think about how machines in the real world really interact we begin to realize that, actually, most computers exist within a distributed system. Computers are rarely used in the context of just themselves; we’re almost always using them to interact with some sort of application or service.

If you’ve ever played a multiplayer game online, booked a flight, tweeted a cat gif, streamed a Netflix show, or bought a onesie on Amazon — you relied on a distributed system to do it.

Indeed, you probably interact with the largest distributed system on a daily basis: the Internet! But distributed systems aren’t all large-scale. In fact, the largeness of them isn’t even what makes them distributed.

Distributed system: a definition.

A distributed system is nothing more than multiple entities that talk to one another in some way, while also performing their own operations. Such a system could be something as simple as smart sensor or a wireless plug in your house that captures and sends data through a wifi network, or even just a wireless keyboard or mouse that can connect to your laptop.

Just as long as all the processes in a system are both autonomous , or capable of doing performing own operations, while also able to communicate with other processes in the system, we can classify the system as being distributed.

Nodes that stick together

Now that we’re a bit more familiar with what a distributed system is, let’s take a closer look at it’s main characters — namely, the “entities” within the system!

You may have noticed that I’ve referred to the components of a distributed system as a “computer”, “process”, and even just as a “machine”. The exact term that we use to describe the pieces of a distributed system truly depend upon what the system itself looks like, and what kind of system it is. If the system is a bunch of distributed servers, then maybe the components could be referred to as “servers”; if the system involves processes talking to one another, then perhaps the entities are just “processes”.

To help combat the discrepancy in terminology here, we actually can use a different, more general term altogether. We can refer to the individual entities in a distributed system as the nodes of the system.

Nodes in a distributed system: a definition.

If the term “node” feels familiar (and reminds you of graph theory), then your instinct is correct — there is indeed a connection here! And if we think about a distributed system being a network of computing elements (which is exactly what they are), then we can visualize that network as a graph made up of interconnected nodes.

Since we know that a distributed system can function on a large or small scale, we also can deduce that the actual nodes themselves can vary in nature. A node could be a hardware device (like a sensor), or it could it could be a software process (a client or a server). The nodes themselves also need not be in the same place — hence the “distribution” of the system — and could very well be physically separated by great distances.

A new way to know nodes

Even though the nodes in a distributed system correspond so similarly to the nodes in a graph, there are some aspects to the nodes in a distributed system that make things a little tricky. There are some assumptions we make when dealing with a single system that prove to be incorrect when it comes to a distributed system. And when it comes to distributed computing, almost all of the obstacles that will come in our path have to do with one thing: communication between nodes.

Operations in a node vs. communication between nodes.

Because the nodes in a distributed system are by definition autonomous, they are capable of running their own operations. The operations that take place within a node (are run by the node itself) need not rely on external information. In other words, a node can run its own operations without needing to communicate with other nodes that exist within the distributed system. This means that the node can run its own operations, without anyone’s help, and can run them quickly.

Operations within a node are fast; however, the same cannot be said for communication between nodes.

As we now know, the nodes of a system could be located in different places and are reliant upon the distributed system and its network to do all their chatting back and forth, communication is an entirely different story. While performing tasks within a node might be fast, communicating between two nodes is not guaranteed to be so. In fact, communication between two nodes is often pretty slow (not to mention unreliable!), which happens to be one of the biggest problems in distributed computing.

A node’s operations occur in order.

Not only do operations within a single node occur quickly — they also happen in order. This might seem as an obvious fact to us at first because of course events happen in the order, right? Well, when it comes to distributed systems, the answer is…not always.

Even though the operations within a node occur in order, the moment that multiple nodes have to work together in a distributed system, things can get a little messier. Once we move from a single system/a single node to a distributed system/multiple nodes, then its possible for the operations across a group of nodes to render in an incorrect order.

Part of the reason for the orderliness of operations within a node is due to the fact that each node within a system operates according to its own clock.

Nodes operate according to their own clocks.

If we think about of the different things that could be a node within a distributed system — a sensor, process, server or database — this fact becomes apparent. But again, we might be able to guess how this could potentially be problematic in a distributed system: what if the clocks in two separate nodes in a system don’t quite match up exactly? This is another difficult problem (which we’ll discuss on in this series!) when it comes to distributed computing.

All of the things we know and love when it comes to dealing with individual nodes start seem unfamiliar and far less lovable once we throw many nodes into the mix. But that’s the fun of learning something new — like distributed systems! We’re going to have to change our perspective and the way that we think about systems, how they work together as a whole, and the different pieces that allow them to do their job effectively.

Seems like a great way to start a brand new series, if you ask me. 😊

Resources

There is so much to learn about distributed systems, and many places to start! Here are some introductory resources to help cement your understanding of what makes a distributed system and the entities that comprise it.

  1. A brief introduction to distributed systems, Maarten van Steen & Andrew S. Tanenbaum
  2. From layman to superman: distributed systems an introduction, Median Rawashdeh
  3. Introduction to Distributed Systems (DS), Professor Frank Eliassen

Top comments (17)

Collapse
 
aspittel profile image
Ali Spittel

I am so excited about this! 🙌🙌🙌 I learned so much from BaseCS, and it was a big reason I started writing. Can’t wait to follow along this year with BaseDS!

Collapse
 
andy profile image
Andy Zhao (he/him)

New series? What!! 🙌🙌🙌

Collapse
 
ben profile image
Ben Halpern

Can't wait for more!

Collapse
 
rhymes profile image
rhymes

Vaidehi, you're the best teacher ever :-)

Collapse
 
zetaomegagon profile image
zetaomegagon

In case anyone is interested: The Open Stack docs are great reading to look at a specific implementation of distributed-- and a level of virtual-- computing. Also, if you have a few spare boxes lying around, you can do a really ad-hoc experiments with parallel programming (spreading parts of the same job over nodes and then splicing the parts back together) using GNU Parallel.

Collapse
 
adityavarma1234 profile image
Aditya Varma

Hey Vaidehi thanks for sharing the article.

I am not sure about what to expect from base distributed series.

I being a professional software engineer, could expect what topics would be present in your basecs series but my distributed systems knowledge is pretty weak and I am not able to come up with topics that you are going to discuss in this series except CAP theorem, storage scalability, system design.

Can you please share the topics you are planning on sharing here? I want to improve my distributed system knowledge. Any book recommendations?

Collapse
 
vaidehijoshi profile image
Vaidehi Joshi

Hi Aditya,

I am writing this series as I am learning about distributed systems as well! Basically this means that I also don't know all the topics I will cover, and in what order, so I can't share them because I also don't know just yet. I am basically covering the topics as I go along writing them :)

As far as recommendations go, at the bottom of every post I share a bunch of resources that I found useful in my learning, and I recommend taking a look at those. I hope that this is helpful!

Collapse
 
adityavarma1234 profile image
Aditya Varma

Hi Vaidehi,

Thanks for a quick response, this helps. I am curious to know about how are you going about learning distributed systems? What resources are you using?

Whenever I learn a new programming language, I learn the basic syntax and solve standard algorithm problems to get the hang of the language. Later I keep picking up new stuff as I am working.

This method doesn't work for distributed systems. For example CAP theorem, I need to figure out use cases in which availability or consistency or partition tolerance is preferred. May be you will run into this issue as well.

I am not sure how to practically apply distributed systems having a single laptop. May be I need to use docker images, free tire of firebase or aws to learn more about this.

Collapse
 
andre profile image
André König

Great post! Thanks for sharing your thoughts. 🙂

Collapse
 
nestedsoftware profile image
Nested Software

This is great @vaidehijoshi ! Just a minor correction, add "no", so "no man is an island".

Collapse
 
vaidehijoshi profile image
Vaidehi Joshi

Fixed, thank you!

Collapse
 
skurfuerst profile image
Sebastian Kurfürst

Thanks for your writeup, really nice overview :)

Collapse
 
walkhard13 profile image
Phillip Smith

This was a joy to read! Clear, concise, easy-to-digest chunks of information. Thank you

Collapse
 
theodesp profile image
Theofanis Despoudis

Ow boy, DS is no walk in the park if you ask me 😅

Collapse
 
shanecourtrille profile image
shanecourtrille

Love the series.. one thing though..

"We can think of a non-distributed system as a “single” system. A single system is one that does not communicate with others and functions on its own is not a distributed system."

Should probably read...

"We can think of a non-distributed system as a “single” system. A single system that does not communicate with others and functions on its own is not a distributed system."

Collapse
 
jatinkrmalik profile image
Jatin K Malik

Good to see you here @vaidehijoshi
A big fan from India! :)

Collapse
 
erlangsolutions profile image
Erlang Solutions

This is a fantastic read. Thanks for sharing.