Thread: Should calls to container.end() be syncronized?

it depends on what other threads could do with the map while you are inside the if

If during your work with resultCiter iterator some other thread could access the map and perform some action that will invalidate the iterator - it is obviously very unsafe to unlock the mutex before you finish your work with the iterator

I do not know the correct answer, but you always can write code like this

Code:

pthread_mutex_lock(&mEntityTypeMapMutex);
std::map<int, std::string>::const_iterator resultCiter = EntityTypeMap.find(entity_se_id);
boolean bEnd = (resultCiter == mEntityTypeMap.end());
pthread_mutex_unlock(&mEntityTypeMapMutex);
if(bEnd)
{
}
else
{
}

I'd say that .end() is probably a single variable for the map, but it may change at any given time - so for example, if another thread adds an element to the map, that may change the end() - it may only change if it's getting added LAST, but it may also change at any time you add something - I don't know how the implementation of map actually works [it's a binary tree, but what does "end()" mean in this concept - the last element in the map, I presume].

So what happens if the end() has actually changed, and the comparison isn't true when it would have been true for the find operation? I suspect bad things happen (but I don't know that - I can only guess that you need to treat this specially, and thus the problem would be what happens if end() changed inbetween).

This in turn makes me think that it's a bad thing

As an alternative solution, how about copying end() to a "endIter", then unlocking and comparing, e.g.

Code:

	pthread_mutex_lock(&mEntityTypeMapMutex);
	std::map<int, std::string>::const_iterator resultCiter = EntityTypeMap.find(entity_se_id);
	std::map<int, std::string>::const_iterator endCiter = EntityTypeMap.end();

        pthread_mutex_unlock(&mEntityTypeMapMutex);
	if(resultCiter == endCiter())
...

That way you avoid having two unlock's in different paths of the if/else.

Now, the question becomes, of course, what happens if more elements are added to the map (or removed) during this point, such that end() is now different [or the map is different in some other way]. Does it matter?

Let's say this is a check to see if something should be added to the map, what happens if another thread either removes what you just found or adds an element with the same id as you were using in the search - could that happen, and if so, what happens?

[Who said that threads were easy?]

--
Mats