Samuel Sorial's Blog

Quorum Consensus

Mar 6, 20214 min read

The Problem According to the CAP theorem, you can not achieve consistency, availability, and partition tolerance all at once. However, achieving strong consistency is desirable in many systems, but this strong consistency has a price that should be p...

Deadlock prevention & necessary conditions to occur

Jan 25, 20215 min read

Deadlock is a state when a set of threads is waiting for an event that can only be raised by a thread(s) from the same set. There are many situations that developers think that it's a deadlock, and it is not. Sometimes it's a livelock or it's just ...

Mesa VS Hoare semantics

Jan 13, 20215 min read

Introduction While designing multithreaded programs, we need to keep sure that our shared objects are synchronized between all of the running threads. Monitors are used to ensuring this synchronization. A monitor provides the programmer with the abil...

An introduction to OAuth 2.0

Jan 4, 20218 min read

First of all, why does it exist? OAuth 2.0 was created to make a standard way - protocol - for making users delegate access to their resources in a specific application to another application. This is widely used today, whenever you login into an app...

Thread Implementation & Modeling

Dec 31, 20205 min read

Threads Implementation Kernel Threads Kernel threads are the simplest type of threads. They are implemented in the operating system kernel itself. It's used to execute the kernel code concurrently. Single-threaded processes with multiple kernel th...

Thread Abstraction

Dec 30, 20207 min read

Introduction Our real-world run concurrently, which means that there are many things that happen at the same time. For example, you are reading this blog post while your friend is driving, or maybe he is just sleeping! The fact that you are doing som...