深入多线程之:深入分析Interlocked

            do
            {
                startVal = currentVal; //将currentVal中的值保存到startVal中，此时记录的是target在操作开始前的最初值。
                desiredVal = Math.Max(startVal, value); //通过startVal进行复杂的计算，返回一个期望的结果，在这里仅仅是返回两者的最大值。

                //线程可能在这里被抢占,target的值可能被改变
                //如果target的值被改变了，那么target和startVal的值就不想等，所以就不应该用desiredVal替换target.
                //如果target的值没有被改变，那么target和startVal的值就像等，使用desiredVal替换target.
                //不管替换或者不替换，CompareExchange的返回值始终是target的值，所以currentVal的值现在是target的最新值。

                //CompareExchange:将target和startVal的值比较，相等则用desiredVal替换，否则不操作，
                //不管替换还是不替换返回的都是原来保存在target的值。
                currentVal = Interlocked.CompareExchange(ref target, desiredVal, startVal);
            } while (startVal != currentVal); //当target的起始值和最新值不相等的时候，说明target被修改了，所以继续下次判断，否则退出循环。
            return desiredVal;
        }

        static TResult Morph<TResult, TArgument>(ref int target, TArgument argument,
            Morpher<TResult, TArgument> morpher)
        {
            TResult morphResult;

            int currentVal = target, startVal, desiredVal;

            do
            {
                startVal = currentVal;
                desiredVal = morpher(startVal, argument, out morphResult);
                currentVal = Interlocked.CompareExchange(ref target, desiredVal, startVal);
            } while (startVal != currentVal);

            return morphResult;
        }