VB.Net 中多线程方法中局部变量的行为

问：

下面的代码摘自 MSDN 中的示例。这是关于如何使用的示例，但在我看来，其中有一个竞争条件。 为什么我认为这是因为方法中的线条。在我看来，可能会发生以下情况：SpinLockDim lockTaken As Boolean = FalseUpdateWithSpinLock

线程 1 进入方法并执行，并发生上下文切换。
线程 1 现在具有 和 为 True。
线程 2 进入并仅执行到行 。
线程 2 现在已设置回 False，并发生上下文切换。
线程 1 继续并在块中进行测试，发现它是 False（线程 1 应该是 True），因此不会释放 .
线程 1 退出该方法，使锁留在原位，线程 2 永远等待。UpdateWithSpinLock_queue.Enqueue(d)SpinLocklockTakenDim lockTaken As Boolean = FalselockTakenlockTakenFinallySpinLock

Imports System.Threading
Imports System.Threading.Tasks

Class SpinLockDemo2

    Const N As Integer = 100000
    Shared _queue = New Queue(Of Data)()
    Shared _lock = New Object()
    Shared _spinlock = New SpinLock()

    Class Data
        Public Name As String
        Public Number As Double
    End Class

    Shared Sub Main()
        UseSpinLock()

        Console.WriteLine("Press a key")
        Console.ReadKey()

    End Sub

    Private Shared Sub UpdateWithSpinLock(ByVal d As Data, ByVal i As Integer)

        Dim lockTaken As Boolean = False
        Try
            _spinlock.Enter(lockTaken)
            _queue.Enqueue(d)
        Finally

            If lockTaken Then
                _spinlock.Exit(False)
            End If
        End Try
    End Sub

    Private Shared Sub UseSpinLock()
        Dim sw = Stopwatch.StartNew()

        Parallel.Invoke(
               Sub()
                   For i As Integer = 0 To N - 1
                       UpdateWithSpinLock(New Data() With {.Name = i.ToString(), .Number = i}, i)
                   Next
               End Sub,
                Sub()
                    For i As Integer = 0 To N - 1
                        UpdateWithSpinLock(New Data() With {.Name = i.ToString(), .Number = i}, i)
                    Next
                End Sub
            )
        sw.Stop()
        Console.WriteLine("elapsed ms with spinlock: {0}", sw.ElapsedMilliseconds)
    End Sub
End Class

我对此的解释是否正确。如果不是，你能告诉我我错过了什么。