Difficulties inside the Operating System (concurrent programming, mutual exclusion, critical section and Deadlock)
Introduction
Ever wondered how tedious life was before the implementation of concurrent programming in the operating system, in which one process has to wait for another process to finish its execution, even when both can run concurrently without disrupting each other, gone are those days, when a process needs to wait for a computer to finish compiling a program before sending a file to a printer or open a file for reading and playing a digital video clip concurrently.
Human natures have always had the ability to walk and chew a gum at the same time. i.e. multi-functioning in nature, in a simpler way, human beings perform many actions concurrently, although, no camera is attached to this post, but am sure as you are reading this post with your own personal eyes, you are also breathing, listening, thinking or even eating at the same time.
Concurrent programming stems from the fact that human beings are multi-tasking in nature and so computer must also be programmed to perform such properties. In fact, many advancements in computing world today stem from incorporating the properties of human beings into the computer system, be it Artificial Intelligence, Machine Learning. e.t.c.
Diving into Subject Matter
The early operating systems gave room to run multiple processes concurrently but programming languages used then did not allow to explicitly specify concurrency primitives and that led to the creation of ADA in 1970's. Process in this context simply refers to a program in execution.
Each time a user gives more than one instructions to a system to execute, these processes form a long waiting queue because processes are always much more than the processors and as such process control block maintains the information of all the processes and arrange them in order in which they will be executed by the central processing unit at runtime.
The Process Control Block stores the following information about the process:
- Name of the Process.
- State of the Process(Ready, Active, Wait)
- Memory which is provided to the Process.
- Resources allocated to the Process.
- Scheduling information.
- Input and Output Devices used by the Process.
- Process ID which is given by the CPU when a Process Request for a Service.
Each time a user runs a program, a process is automatically created and enter the waiting/ready list where it will stay till a processor is through with the process on the running state. Once a processor is available, the next process on the ready list will undergo dispatching by making a quick state transition from the ready state to running state.
The operating system must be programmed in such a way to manage such transition in order to avoid monopoly of a process over the entire system. Each process has a specific time interval which it must run and once a process fails to release the processor before the allocated time interval comes to an end, there will be an interrupt by the interrupt clock giving control back to the operating system and change the operating system from running state to ready state, thereby dispatching the first process on the ready list to the running state.
Application of concurrent programming
In order to increase throughput, resource utilization and reduced the waiting time of processes on a ready state queue, the idea of multiprogramming was put in place so that many processes that are not in need of the same resources could be processed at the same time.
To be able to do this, one must find a suitable solution to the problem of shared resources, which is the only thing that might disrupt the running of two processes concurrently, for instance if one process is making use of input and output I/O resources and there is another process that does not in need of I/O resources, then both can run concurrently otherwise if they both need I/O resources at the same time, definitely there will be problem during the runtime and that led to the concept of mutual exclusion.
Mutual Exclusion
In order to understand the concept of mutual exclusion in operating system, consider steemit as a server that monitors the number of article a user post in a day, assuming that one process is to issue a receipt out each time a user post an article, the process increments a shared resource, postCount by 1, now consider what happens when two processes make an attempt to increase postCount concurrently by running the below code in assembly language
LOAD postCount
ADD 1
STORE postCount
Assuming a user posts an article, the code LOAD postCount will execute by loading the current value of postCount from the memory to the register, the ADD 1 code will then add 1 to the value of postCount in the register and the STORE instruction will copy the value from register back to memory.
suppose a process executes the first two instruction. i.e LOAD and ADD instruction but not yet execute the third instruction(STORE postCount). i.e. updating the memory with the current value of postCount before the allocated interrupt time, the control will automatically be shifted to the second process that wants to get access to the shared resource postCount which might execute all the three instruction before context switching back to the first process which will directly execute its third missing instruction without rechecking the value of postCount in the memory for an update and as such a wrong value will be stored in the memory, this is a critical error which might lead to loss of lives, especially in a critical mission applications.
In order to solve this problem in the operating system, an operating system must be designed in such a way that no more than one process must gain access to share resources at a time and this is the concept of mutual exclusion.
Critical Section
To allow concurrent programming in an operating system, the mutual exclusion must be enforced, especially when processes need to access shared resources, when they are not sharing any share resources, there is no confliction and as such, they can run concurrently without enforcing mutual exclusion.
Each time a process is accessing share resources, it is said to be in its critical section and that will prevent the earlier problem by making sure that only one process can be in the critical section at a time. others processes that want to use critical section must wait till critical section is free.
Implementation of Mutual Exclusion
Many Algorithms have been proposed and used in the past, starting from Dekker’s Algorithm in 1960 to Peterson’s Algorithm and Lamport Bakery's Algorithm. e.t.c. In order not to bore us with unnecessary codes, the basic idea behind their implementation is the functions enterMutualExclusion() and exitMutualExclusion() which allow the first process to acquire lock and sets flag[self] = 1, once it is in the critical section and then allow the other process to acquire the lock once it is done.
Conclusion
Concurrent programming in operating system has many benefits such as improved throughput, resource utilization and reduced the waiting time of processes, however, it is without a problem. As discussed above, resource sharing is the main thing that is common to processes and as such, each process must have a total control of its resources, but in a situation where a process fails to complete its execution, this will lead to Deadlock because many processes will be waiting for the resources such process is holding and this will later affect the throughput and leads to failure of the operating system.
Thanks for reading through, your thoughts are important.
Until my next post,
keep on sending zeroes and ones.
References
- OPERATING SYSTEMS PROCESSES
- What is Concurrent Programming?)
- Implementing Mutual Exclusion
- critical section Mutual Exclusion
- Operating System - Processes
- Concurrency and Mutual Exclusion
All images are from free source websites (Pixabay, Wikipedia and Wikimedia)
If you write STEM (Science, Technology, Engineering, and Mathematics) related posts, consider joining #steemSTEM on discord here. If you are from Nigeria, you may want to include the #stemng tag in your post. You can visit this blog by @stemng for more details. You can also check this blog post by @steemstem here and this guideline here for help on how to be a member of @steemstem. Please also check this blog post from @steemstem on the proper use of images devoid of copyright issues here.
Those working with embedded software development are still bugged by it today.
Sir, you are very right and well informed. Most times, users complain of an app being slow or broken without knowing what developers are passing through. I appreciate your courtesy visit always.
Read my profile if want me to resteem your post to over 72,500 followers. @a-0-0
Explained article buddy. I would love to see more post on operating system especially in respect with FIFO round Robin(widely used in computers) from you. You really dug well bro
Explained article buddy. I would love to see more post on operating system especially in respect with FIFO round Robin(widely used in computers) from you. You really dug well bro
Thanks, wise man.
Alright, I will surprise you when I come back from my little break.
Well explained. I have always known that today's tech, be it computer or any other thing, were manufactured to mimic humans in workings and functionalities. That is the concept of multi activity, and the real premise on which concurrent programing as highlighted here is based.
Regards
@eurogee of @euronation and @steemstem communities
Exactly @eurogee of @euronation! Nice to see you here. Sorry for the late response.
Hi @noble-noah!
Your post was upvoted by utopian.io in cooperation with steemstem - supporting knowledge, innovation and technological advancement on the Steem Blockchain.
Contribute to Open Source with utopian.io
Learn how to contribute on our website and join the new open source economy.
Want to chat? Join the Utopian Community on Discord https://discord.gg/h52nFrV
The importance of concurrent programming can't be overemphasised & it was really a breakthrough: without them we would be stuck in the Era of time wasting
Great post man @noble-noah
Thanks for visiting my blog @dannybravo94 and sorry for the late response.
Great article. Very enlightening.
Thanks @conas. Sorry for the late response. I am currently having a short break from internet.
Hey, @noble-noahI will put the picture that I associate with your post: How do you think, how suitable is the post? I'm interested in your opinion.