Click here to Skip to main content
15,868,016 members
Articles / Programming Languages / C#

The Unsung Hero, Volatile Keyword: - C# Threading

Rate me:
Please Sign up or sign in to vote.
4.81/5 (34 votes)
23 May 2012CPOL4 min read 105.5K   27   34
The unsung hero, Volatile keyword: - C# threading

My Mad and Blind Love with C# Threading

When I first saw C# threading code, I just fell in love forever. As days passed by, the power and simplicity of “System.Threading” namespace converted my love into blind love.

C#
Thread t1 = new Thread(SomeThread);
t1.Start(o1);

In case you have still not fallen in love and are new to C# threading, you can start looking at my C# training threading video.

Image 1

The blind love was but obvious because in today’s modern world, parallel task execution is a compulsory component. My love helped me to please users with mind blowing UI interfaces, multi-threaded batch processes, until one day…..

End of Blind Love with C# Threads

Image 2

Courtesy: http://openclipart.org/

Image 3

But one fine day, my love with C# threads had a bump. I had two threads running and both were updating the same local variable. The updation done by one thread was not visible to the other thread.

Let me detail what I am saying. I had created a local variable called as “_loop” as shown in the below abstract code snippet. This variable was set to ‘true’ by default.

C#
class Program
{
bool _loop = true;
…
…        
}

In the same application, I had created one function called as “SomeThread” which will run until the “_loop” is true.

C#
private static void SomeThread(object o1)
{
….
….
while (o._loop)
{}
}

From the main thread, I was spawning some thread which was running the loop continuously. In this main thread, I was setting the “_loop” to false. In other words, the infinite loop of “SomeThread” should stop and exit…VOILA, it did not.

C#
static void Main(string[] args)
{
Thread t1 = new Thread(SomeThread);
t1.Start(o1); 
o1._loop = false;
….
….
}

Below is the complete source code, you download and see it for yourself.

C#
bool _loop = true; 
static void Main(string[] args)
{
            Program o1 = new Program();
            Thread t1 = new Thread(SomeThread);
            t1.Start(o1); 
            Thread.Sleep(2000);
            o1._loop = false;
            Console.WriteLine("Value Set to false");
}
        private static void SomeThread(object o1)
        {
            Program o = (Program)o1;
            Console.WriteLine("Loop Starting...");
            while (o._loop)
            {}
            Console.WriteLine("Loop Stopping...");
       }

If you run the above code, you can see the infinite loop starting, but it does not end even if the value was set to “false”.

Image 4

You can also see the actual video demo of the code by clicking on C# training for threading.

Note: When you run the code, ensure that you have selected release with CNTRL + F5 pressed.

Image 5

Why Did My Love Ditch Me: Local Thread Memory Storage and Synchronization

After so many years of successful relationship, it was difficult to believe this unexpected behavior. So I started Googling to get reasons for it.

After long hours of reading, I was stunned that there are two kinds of memory we have to deal with when it comes to threading.

One is the main memory where our variables are allocated and the thread also has his own local memory…SURPRISED, same here.

In other words the “_loop” is present at three places, one in the main memory and second in the local memories of “mainthread” and “somethread” functions.

When the program kick starts, the “_loop” is set to true. So all the memory storages have “_loop” set to true. See the below visual representation.

Image 6

As the program runs the main thread set the value to false. This updation is done in the local memory of “mainthread” and main the memory, but it does not update the local memory of “SomeThread”. So the “SomeThread” function still sees the stale value and keeps running in a loop.

Image 7

Below is a visual representation of how things look internally at various points.

Image 8

The Unsung Hero: Volatile Keyword

Image 9

All relationships have problems, we just need to adjust, find a solution and move with life. I was definitely in no mood of leaving C# threading after such a wonderful relationship.

The solution to get around this multiple memory storages was the “VOLATILE” keyword.

If you declare your variable as volatile, the thread tries to access values from main memory rather than from his local memory where data is stale. It does slow down a bit but it addresses this big confusion.

See it yourself, take the same source code and change the “_loop” variable to volatile as shown in the below code snippet and run it.

C#
class Program
{
  volatile bool _loop = true; 

Ensure that you select mode “release” and hit control + F5 to see the expected behavior.

Image 10

Feel and See It Yourself

In case you want to see live what I have said in this blog, see the video below:

You can also see it yourself by downloading the code.

For Further reading do watch  the below interview preparation videos and step by step video series.

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)


Written By
Architect https://www.questpond.com
India India

Comments and Discussions

 
QuestionVideo capture Pin
Anand K Reddy27-May-12 20:49
Anand K Reddy27-May-12 20:49 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.