Difference between volatile and synchronized

volatile is a field modifier, while synchronized modifies code blocks and methods. So we can specify three variations of a simple accessor using those two keywords:

         int i1;              int geti1() {return i1;}
volatile int i2; int geti2() {return i2;}
int i3; synchronized int geti3() {return i3;}

geti1() accesses the value currently stored in i1 in the current thread. Threads can have local copies of variables, and the data does not have to be the same as the data held in other threads. In particular, another thread may have updated i1 in it's thread, but the value in the current thread could be different from that updated value. In fact Java has the idea of a "main" memory, and this is the memory that holds the current "correct" value for variables. Threads can have their own copy of data for variables, and the thread copy can be different from the "main" memory. So in fact, it is possible for the "main" memory to have a value of 1 for i1, for thread1 to have a value of 2 for i1 and for thread2 to have a value of 3 for i1 if thread1 and thread2 have both updated i1 but those updated value has not yet been propagated to "main" memory or other threads.

On the other hand, geti2() effectively accesses the value of i2 from "main" memory. A volatile variable is not allowed to have a local copy of a variable that is different from the value currently held in "main" memory. Effectively, a variable declared volatile must have it's data synchronized across all threads, so that whenever you access or update the variable in any thread, all other threads immediately see the same value. Generally volatile variables have a higher access and update overhead than "plain" variables. Generally threads are allowed to have their own copy of data is for better efficiency.

There are two differences between volitile and synchronized.

Firstly synchronized obtains and releases locks on monitors which can force only one thread at a time to execute a code block. That's the fairly well known aspect to synchronized. But synchronized also synchronizes memory. In fact synchronized synchronizes the whole of thread memory with "main" memory. So executing geti3() does the following:

  1. The thread acquires the lock on the monitor for object this .
  2. The thread memory flushes all its variables, i.e. it has all of its variables effectively read from "main" memory .
  3. The code block is executed (in this case setting the return value to the current value of i3, which may have just been reset from "main" memory).
  4. (Any changes to variables would normally now be written out to "main" memory, but for geti3() we have no changes.)
  5. The thread releases the lock on the monitor for object this.

So where volatile only synchronizes the value of one variable between thread memory and "main" memory, synchronized synchronizes the value of all variables between thread memory and "main" memory, and locks and releases a monitor to boot. Clearly synchronized is likely to have more overhead than volatile.

Comments

  1. Great explanation. Thanks!

    ReplyDelete
  2. nice explanation..it is so clear..thanks a lot...

    ReplyDelete
  3. Very_Well_Expalanation...

    ReplyDelete
  4. Awesome post.. very knowledgeable and one of the best available online. Thanks a ton!

    ReplyDelete
  5. good work buddy......very good and clear explanation......

    ReplyDelete
  6. Thanks for the clear explanation!!

    ReplyDelete
  7. Detailed explanation. Thx

    ReplyDelete
  8. Good explanation about the difference

    ReplyDelete
  9. Beautifully explained!

    ReplyDelete
  10. Tahnks for explanation =)so clear about the differences

    ReplyDelete
  11. I don't think the last paragraph with the conclusion is correct. On Stack Overflow user Lawrence Dol writes the following:

    "It's also important to realize that while the five steps in the answer may be what Java does (currently), it is not what the JMM specifically requires; for example, if the CPU supported it, all that is required within a synchronized block is that any variable accessed be read from main memory on first access; similarly, on exiting a synchronized block all that is required is that any variable that was updated since the synchronize started be updated in main memory. In other words, within the synchronize block the code must see fresh values, and any updates must update main memory."

    https://stackoverflow.com/questions/3519664/difference-between-volatile-and-synchronized-in-java#comment39420456_3519746

    ReplyDelete
  12. "Difference Between Volatile and" - your elucidation is a true knowledge gem! Your comparison clarifies the nuanced distinction between these terms. Understanding Mitiga Ting Your concise yet thorough breakdown aids learners in grasping the subtleties.

    ReplyDelete

Post a Comment

Popular posts from this blog

Converting Java Map to String

Invoking EJB deployed on a remote machine