Серверный JavaScript 1.4. Руководство по использованию

       

Исключение Мёртвой Блокировки/Deadlock


Вы используете замки для защиты критичных участков кода. На практике это означает, что один запрос ожидает, пока другой выполняет критичный код. Вы обязаны соблюдать осторожность при использовании замков для защиты критичных разделов. Если один запрос ожидает освобождения замка, полученного другим запросом, а этот второй запрос ожидает освобождения замка, полученного первым запросом, ни один из запросов не сможет продолжить работу. Эта ситуация называется deadlock/тупик/мертвая блокировка.

Рассмотрим предыдущий пример обработки заказов потребителей. Предположим, что приложение разрешает два действия. В одном - пользователь вводит нового потребителя; в другом - пользователь вводит новый заказ. Как часть создания нового потребителя приложение также создаёт новый заказ потребителя. Это действие выполняется на одной странице приложения, давая примерно такой код:

// Создать нового потребителя (customer).


if ( project.customersLock.lock() ) {

   var id = project.customers.ID;

   id = id + 1;
   project.customers.ID = id;

   // Стартовать новый заказ (order) для этого нового потребителя.

   if ( project.ordersLock.lock() ) {

      var c = project.orders.count;

      c = c + 1;

      project.orders.count = c;

      project.ordersLock.unlock();
   }

   project.customersLock.unlock();
}



Во втором типе действия пользователь вводит новый заказ потребителя. Как часть процесса ввода нового заказа: если потребитель ещё не является зарегистрированным потребителем, приложение создаёт нового потребителя. Это действие выполняется на другой странице приложения, где может быть примерно такой код:

// Стартовать новый заказ.


if ( project.ordersLock.lock() ) {

   var c = project.orders.count;
   c = c + 1;

   project.orders.count = c;


   if (...код определения неизвестного потребителя...) {

      // Создать нового потребителя.

      // Этот внутренний замок может вызвать проблемы!

      if ( project.customersLock.lock() ) {

          var id = project.customers.ID;
         id = id + 1;

         project.customers.ID = id;

          project.customersLock.unlock();
      }
   }

   project.ordersLock.unlock();
}

Заметьте, что каждый из этих фрагментов кода пытается получить второй замок, уже получив один. Это может вызвать проблемы. Предположим, что один поток начинает создание нового потребителя; он получает замок customersLock. В это же самое время другой поток начинает создание нового заказа; он получает замок ordersLock. Теперь первый поток запрашивает замок ordersLock. Поскольку второй поток уже получил этот замок, первый поток должен ждать. Предположим, однако, что второй поток теперь запрашивает замок customersLock. Первый поток уже имеет этот замок, поэтому второй поток должен ждать. Теперь потоки ждут друг друга. Поскольку никто их них не специфицировал таймаут, оба они будут ждать бесконечно.

В данном случае проблему можно легко устранить. Поскольку значения ID потребителя и номер заказа не зависят один от другого, нет никакого смысла вкладывать замки друг в друга. Вы можете избежать возможных тупиков, переписав оба фрагмента кода. Перепишите первый фрагмент так:

// Создать нового потребителя.

if ( project.customersLock.lock() ) {

   var id = project.customers.ID;

   id = id + 1;
   project.customers.ID = id;

   project.customersLock.unlock();
}

// Стартовать новый заказ для этого нового потребителя.



if ( project.ordersLock.lock() ) {

   var c = project.orders.count;
   c = c + 1;

   project.orders.count = c;

   project.ordersLock.unlock();
}

Второй фрагмент будет примерно таким:

// Стартовать новый заказ.

if ( project.ordersLock.lock() ) {

   var c = project.orders.count;

   c = c + 1;
   project.orders.count = c;

   project.ordersLock.unlock();
}

if (...код для определения неизвестного потребителя...) {

   // Создать нового потребителя.

   if ( project.customersLock.lock() ) {

      var id = project.customers.ID;

      id = id + 1;

      project.customers.ID = id;

      project.customersLock.unlock();

   }
}

Хотя это и надуманная ситуация, тупики это совершенно реальная проблема, и они могут произойти во многих случаях. Для этого даже не понадобится более одного замка или более одного запроса. Рассмотрим код, в котором две функции запрашивают один и тот же замок:

function fn1 () {
   if ( project.lock() ) {

      // ... какие-то действия ...

      project.unlock();
   }
}

function fn2 () {
   if ( project.lock() ) {

      // ... какие-то другие действия ...

      project.unlock();
   }
}

Сам по себе этот код не содержит проблем. Позднее слегка измените его, чтобы fn1 вызывала fn2, уже имея замок, как показано далее:

function fn1 () {
   if ( project.lock() ) {

      // ... какие-то действия ...

      fn2();
      project.unlock();

   }
}

Вот вы и получили тупик/deadlock. Это, конечно, немного смешно, когда единственный запрос ожидает от самого себя освобождения флага!


Содержание раздела