Net framework 5, а также среды Visual Studio 2012 и C#

857
Зацикливание,.владение.потоком.и.рекурсия
зацикливание, владение потоком 
и рекурсия
Так как переходы в ядро значительно снижают производительность, а потоки оста-
ются запертыми очень короткое время, общую производительность приложения 
можно повысить, заставив поток перед переходом в режим ядра на некоторое время 
зациклиться в пользовательском режиме. Если в это время блокирование, которого 
ожидает поток, станет возможным, переход в режим ядра не понадобится.
Кроме того, некоторые варианты блокирования налагают ограничение, в со-
ответствие с которым получить право на блокировку может только поток, сни-
мающий блокировку. Другие варианты блокирования допускают рекурсивный 
захват ресурса потоком. Именно такое поведение демонстрирует объект 
Mutex
1
. 
С помощью нетривиальной логики можно реализовать гибридное блокирование, 
предполагающее одновременно зацикливание, владение потоком и рекурсию. Вот 
пример подобного кода:
internal sealed class AnotherHybridLock : IDisposable {
// Int32 используется примитивом в пользовательском режиме 
// (методы Interlocked)
private Int32 m_waiters = 0;
// AutoResetEvent — примитивная конструкция режима ядра
private AutoResetEvent m_waiterLock = new AutoResetEvent(false);
// Это поле контролирует зацикливание с целью поднять производительность
private Int32 m_spincount = 4000; // Произвольно выбранное значение
// Эти поля указывают, какой поток и сколько раз блокируется
private Int32 m_owningThreadId = 0, m_recursion = 0;
public void Enter() {
// Если вызывающий поток уже захватил блокировку, увеличим рекурсивный
// счетчик на единицу и вернем управление
Int32 threadId = Thread.CurrentThread.ManagedThreadId;
if (threadId == m_owningThreadId) { m_recursion++; return; }
// Вызывающий поток не захватил блокировку, пытаемся получить ее 
SpinWait spinwait = new SpinWait();
for (Int32 spinCount = 0; spinCount < m_spincount; spinCount++) {
// Если блокирование возможно, этот поток блокируется
// Задаем некоторое состояние и возвращаем управление
if (Interlocked.CompareExchange(
ref m_waiters, 1, 0) == 0) g
oto GotLock;
1
При ожидании объекта Mutex поток не зацикливается, потому что код этого объекта на-
ходится в ядре. То есть проверка состояния объекта Mutex возможна только после перехода 
потока в ядро.

---

858