Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

What is Interlocked.Increment actually doing?

Interlocked.Increment seems like among the most standard/simple of operations one would need to perform in multithreaded code.

I assume that the functionality of the method is some sort pattern that anyone with threading experience would be able to replicate.

So basically what I am wondering is if someone could provide an exact duplicate (with explanation of how it works) of what the Interlocked.Increment method is actually doing internally? (I have looked for the source of the actual method but been unable to find it)

like image 914
Maxim Gershkovich Avatar asked Apr 18 '11 08:04

Maxim Gershkovich


People also ask

How does Interlocked Increment work?

The first part (load-link) reads a value from memory and instructions the processor to monitor the memory address to see if any other processors modify that same memory. The second part (store-conditional) stores a value to memory provided that no other processors have written to the memory in the meantime.

Is interlocked increment slow?

It is slower since it forces the action to occur atomically and it acts as a memory barrier, eliminating the processor's ability to re-order memory accesses around the instruction. You should be using Interlocked.

Is interlocked thread safe?

The Interlocked class provides a number of static methods that perform atomic operations. These can generally be regarded as thread-safe.

What is interlocked exchange?

Interlock. Exchange returns the original value while performing an atomic operation. The whole point is to provide a locking mechanism. So it is actually two operations: read original value and set new value. Those two together are not atomic.


3 Answers

According to Mr Albahari it does two things:

  • makes the atomicity of the operation known to the OS and VM, so that e.g. operations on 64bit values on 32bit system will be atomic
  • generates full fence restricting reordering and caching of the Interlocked vars

Have a look at that link - it gives some nice examples.

like image 80
grzeg Avatar answered Oct 25 '22 20:10

grzeg


I assume that it is an implementation detail, but one way to look at it is to inspect the JIT compiled code. Consider the following sample.

private static int Value = 42;
public static void Foo() {
   Interlocked.Increment(ref Value);
}

On x86 it generates the following

lock inc dword <LOCATION>

The lock modifier locks the bus to prevent multiple CPUs from updating the same data location.

On x64 it generates

lock xadd dword ptr <LOCATION>,eax
like image 25
Brian Rasmussen Avatar answered Oct 25 '22 21:10

Brian Rasmussen


I would expect it to be a wrapper to the InterlockedIncrement64 Win32 API call.


EDIT: I see that it was a very short response. Building a little on it: It is easy to replicate the functionality of the function, but not the performance. There are native instructions in most CPUs that provide you with the atomic "Interlocked exchange and add" instruction, so you want that instruction to be used to implement your function, and I expect that the easiest way to achieve that from within C# would be to make the win32 API call. For more background on the subject, have a look at this whitepaper.

like image 24
vhallac Avatar answered Oct 25 '22 20:10

vhallac