诡异的线程同步问题（高手进）

程序如下:

#include <iostream>

#include <process.h>

#include <Windows.h>

using namespace std;



long total = 0;

const int M = 100000;



unsigned __stdcall ThreadProc(void*)

{

	for(long i = 1; i <= M; i++)

		total += 1;

	return 0;

}



int main(int argc, char* argv[])

{

	const int N = 10000;

	HANDLE h[2];

	int min = 0;

	int max = 0;



	//统计N次total的最小和最大值

	for(int i = 0; i < N; i++)

	{

		total = 0;

		h[0] = (HANDLE)_beginthreadex(NULL, 0, ThreadProc, NULL, 0, NULL);

		h[1] = (HANDLE)_beginthreadex(NULL, 0, ThreadProc, NULL, 0, NULL);

		

		//等待两个线程都结束

		WaitForMultipleObjects(2, h, TRUE, INFINITE);



		CloseHandle(h[0]);

		CloseHandle(h[1]);



		if(min == 0)

			min = total;

		if(total < min)

		{

			min = total;

		}

		if(total > max)

		{

			max = total;

		}

	}

	cout << "(" << min << "," << max << ")";

	return 0;

}

total += 1;的汇编码为:

1,         mov         eax,dword ptr [total (0E69148h)] 

2,         add          eax,1 

3,         mov         dword ptr [total (0E69148h)],eax 

线程在第3行汇编码之前切换就会导致total的值不准确。
比如第一个线程在total为0时执行完第1行汇编码，然后切换到线程2。
等待线程2执行完之后再将eax的值写入到total的内存区，total的值将变成1。
线程1执行完之后total的值为M。
按我的分析total的范围应该是[M,2M]的闭区间。
可统计的结果显示min有可能小于M，尤其的是M越大越明显，很诡异吧！！！
而且我也测试过，每次都是两个线程结束后统计的min和max，所以找不到原因了，求解答。。。