Question

Hi im trying to write a lockless list i got the adding part working it think but the code that extracts objects from the list does not work to good 🙁

Well the list is not a normal list.. i have the Interface IWorkItem

interface IWorkItem {     DateTime ExecuteTime { get; }     bool Cancelled { get; }     void Execute(DateTime now); } 

and well i have a list where i can add this 😛 and the idear is when i run Get(); on the list it should loop it until it finds a IWorkItem that

If (item.ExecuteTime < DateTime.Now) 

and remove it from the list and return it.. i have ran tests with many threads on my dual core cpu and it seems that Add works never failed so far but the Get function looses some workitems some where i have no idear whats wrong…..

ps if i get this working any one is free to use the code 🙂 well you are any way but i dont se the point when its bugged 😛

The code is here http://www.easy-share.com/1903474734/LinkedList.zip and if you try to run it you will see that it will some times not be able to get as many workitems as it did put in the list…

Edit: I have got a lockless list working it was faster than using the lock(obj) statment but i have a lock object that uses Interlocked that was still outpreforming the lockless list, im going to try to make a lockless arraylist and se if i get the same results there when im done ill upload the result here..

Answer 1

The problem is your algorithm: Consider this sequence of events:

Thread 1 calls list.Add(workItem1), which completes fully.

Status is:

first=workItem1, workItem1.next = null 

Then thread 1 calls list.Add(workItem2) and reaches the spot right before the second Replace (where you have the comment ‘//lets try’).

Status is:

first=workItem1, workItem1.next = null, nextItem=workItem1 

At this point thread 2 takes over and calls list.Get(). Assume workItem1‘s executionTime is now, so the call succeeds and returns workItem1.

After this status is:

first = null, workItem1.next = null 

(and in the other thread, nextItem is still workItem1).

Now we get back to the first thread, and it completes the Add() by setting workItem1.next:=workItem2.

If we call list.Get() now, we will get null, even though the Add() completed successfully.

You should probably look up a real peer-reviewed lock-free linked list algorithm. I think the standard one is this by John Valois. There is a C++ implementation here. This article on lock-free priority queues might also be of use.