views:

1086

answers:

5

Say I have this simple method:

public IEnumerable<uint> GetNumbers()
{
    uint n = 0;
    while(n < 100)
        yield return n++;
}

How would you make this thread safe? And by that I mean that you would get that enumerator once, and have multiple threads handle all the numbers without anyone getting duplicates.

I suppose a lock needs to be used somewhere, but where must that lock be for an iterator block to be thread safe? What, in general, do you need to remember if you want a thread safe IEnumerable<T>? Or rather I guess it would be a thread safe IEnumerator<T>...?

+18  A: 

There's an inherent problem in doing so, because IEnumerator<T> has both MoveNext() and Current. You really want a single call such as:

bool TryMoveNext(out T value)

at that point you can atomically move to the next element and get a value. Implementing that and still being able to use yield could be tricky... I'll have a think about it though. I think you'd need to wrap the "non-threadsafe" iterator in a thread-safe one which atomically performed MoveNext() and Current to implement the interface shown above. I don't know how you'd then wrap this interface back into IEnumerator<T> so that you could use it in foreach though...

If you're using .NET 4.0, Parallel Extensions may be able to help you - you'd need to explain more about what you're trying to do though.

This is an interesting topic - I may have to blog about it...

EDIT: I've now blogged about it with two approaches.

Jon Skeet
You should call that `TryMoveNext` to match similar items in the framework. :)
280Z28
@280Z28: Good idea. Will edit :)
Jon Skeet
One way I can think of that would allow you to use it in foreach would be to have a class that implements IEnumerable, and internally stores the current item in a threadlocal field, this way, when a thread has successfully called MoveNext, its value is stored for it to later use, separate from other threads.
Lasse V. Karlsen
So maybe acquire lock, get an object store it in a local variable, and release lock and then yield it? A blog post about this would be nice!
Svish
@Svish: Blogged about it just now: http://msmvps.com/blogs/jon_skeet/archive/2009/10/23/iterating-atomically.aspx
Jon Skeet
A: 

I assume that you need a thread-save Enumerator, so you should probably implement that one.

Stefan Steinegger
A: 

You could just return a complete sequence each time rather than use yield:

return Enumerable.Range(0, 100).Cast<uint>().ToArray();

Lee
He doesn't want to process the full range in each thread.
Guillaume
And I also do not want to have to put the whole range into an array or anything like that.
Svish
A: 

Well, i'm not sure, but maybe with some locks in the caller ?

Draft:

Monitor.Enter(syncRoot);
foreach (var item in enumerable)
{
  Monitor.Exit(syncRoot);
  //Do something with item
  Monitor.Enter(syncRoot);
}
Monitor.Exit(syncRoot);
Guillaume
A: 

I was thinking that you can't make the yield keyword thread-safe, unless you make it depend on an already thread-safe source of values:

public interface IThreadSafeEnumerator<T>
{
    void Reset();
    bool TryMoveNext(out T value);
}

public class ThreadSafeUIntEnumerator : IThreadSafeEnumerator<uint>, IEnumerable<uint>
{
    readonly object sync = new object();

    uint n;

    #region IThreadSafeEnumerator<uint> Members
    public void Reset()
    {
        lock (sync)
        {
            n = 0;
        }
    }

    public bool TryMoveNext(out uint value)
    {
        bool success = false;

        lock (sync)
        {
            if (n < 100)
            {
                value = n++;
                success = true;
            }
            else
            {
                value = uint.MaxValue;
            }
        }

        return success;
    }
    #endregion
    #region IEnumerable<uint> Members
    public IEnumerator<uint> GetEnumerator()
    {
        //Reset(); // depends on what behaviour you want
        uint value;
        while (TryMoveNext(out value))
        {
            yield return value;
        }
    }
    #endregion
    #region IEnumerable Members
    System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator()
    {
        //Reset(); // depends on what behaviour you want
        uint value;
        while (TryMoveNext(out value))
        {
            yield return value;
        }
    }
    #endregion
}

You will have to decide whether each typical initiation of an enumerator should reset the sequence, or if the client code must do that.

Cecil Has a Name