Помощь - Поиск - Пользователи - Календарь
Полная версия этой страницы: Поделимся опытом
Форум разработчиков электроники ELECTRONIX.ru > Микроконтроллеры (MCs) > AVR
SasaVitebsk
Вопрос чисто риторический и не очень. smile.gif
Я думаю с этим вопросом в той или иной степени сталкивался каждый разработчик. Так давайте же братцы поделимся опытом, так сказать облегчим душу. smile.gif

Итак имеется прерывание и голова, или два прерывания, - короче несколько независимых процессов. Имеется переменная которая используется (модифицируется, сравнивается) в обоих (нескольких) процессах. В худшем случае переменная многобайтовая.

Итак кто как борится с вызыванием прерывания во время модификации переменной. Приведу пример (Пример абстракный. Привожу его для понимания картины).
Имеется кольцевой буфер. Переменная EndInBuf двухбайтная. При переходе по кольцу осуществляются след. действия.
if (EndInBuf > (BEGIN_IN_BUF + LENGTH_IN_BUF)) EndInBuf = BEGIN_IN_BUF;
Очевидно что операция присваивания будет происходить в несколько ассемблерных команд. Если между этими командами происходит вызов прерывания и в этом прерывании используется переменная EndInBuf, то произойдёт ошибка. Я в своей практике (на ассемблере) использовал следующие способы предотвращения данных ситуаций.
1) Самый простой. Сокращаешь до минимума число критических операций. На время данной операции запрещаешь прерывания.
2) Синхронизация процессов. В прерывании устанавливаешь флаг. В голове сбрасываешь и дожидаешься установки. Это означает что прерывание пришло и у тебя есть некоторое время для модификации, до прихода следующего прерывания.
3) Разделяешь процессы во времени так, чтобы они никогда не перекрывались. (Так сказать мини ОС smile.gif )
4) В некоторых случаях помогает написание програмного контролера прерываний. (Модификация пункта 1)

Меня интересует как к этому подходят другие? Имеются ли "общепринятые решения по данному вопросу"? smile.gif Особенно меня это интересует в плане применения на C. Так как я сейчас перехожу на данный язык.
Дело в том что я сейчас нахожусь на распутьи. Мне надо осуществить операцию типа "чистка мусора". Как к этому подойти по грамотному, пока не знаю. Ни одно решение пока мне не понравилось.
beer_warrior
Существуют стандартне методы синхронизации:
например (1) называеться critical section, (2) - mutex.
Обо всем этом можно почитать в хороших книжках по системному программированию. Мне например очень помог Вильямс "Системное программирование для Win2000",Кертен "Введение в QNX Neutrino",
различные руководства по RTOS, например на www.FreeRTOS.org.
Я думаю список продолжат.
На проблему стоит смотреть шире - дело не только в защите конкретных переменных, а в организации системы приоритетов и межпроцесного взаимодествия (IPC).
defunct
Цитата(SasaVitebsk @ Mar 12 2006, 14:47) *
Если между этими командами происходит вызов прерывания и в этом прерывании используется переменная EndInBuf, то произойдёт ошибка.

Очевидно самый простой способ - не обращаться к этой переменной в прерывании. Для AVR да и вообще для многих МК в которых используется одноуровневый КПП вообще нет никакой диллемы, т.к. код выполняемый в обработчике прерывания никем не может быть прерван.

Однако если имеют место вытесняемые потоки тогда, не имея ОС, придется самостоятельно делать объекты синхронизации. Наиболее прост в реализации семафор (известный как CriticalSection) с функциями Wait/Enter() и Pass/Leave() соответственно на входе и выходе из критического участка. Коды функций Wait() и Pass() могут быть например такими:

Код
volatile UINT Flag;

void Wait()
{
    while (Flag /* and !(Flag==ThreadId) */) {};
    Flag=1;    // в идеале заносится номер потока ThreadId
}

void Pass()
{
   // if (Flag == ThreadId)
   Flag = 0;
}


использование семафора сводится к вызову функции Wait() перед входом в критический участок и функции Pass() после прохождения критического участка.
Код
Wait();
if (EndInBuf > (BEGIN_IN_BUF + LENGTH_IN_BUF)) EndInBuf = BEGIN_IN_BUF;
Pass();


Однако необходимое требование для того чтобы такой механизм синхронизации работал - потоки должны быть вытесняемыми или параллельными! Следовательно в вашем случае такой подход не годится... Для вашего случая функции Wait() и Pass() могут иметь такой вид:

Код
__regvar static char sreg;

void Wait()
{
   sreg = SREG;
   CLI();
}

void Pass()
{
   SREG = sreg;
}
_artem_
SasaVitebsk, ОС почти таким же макаром и действует ка и вы описали . Просто названия немного заумные для этого мютекс, семафор, атомарные операции (запрешение прерывания )) )...
dxp
Цитата(defunct @ Mar 12 2006, 23:00) *
Однако если имеют место вытесняемые потоки тогда, не имея ОС, придется самостоятельно делать объекты синхронизации. Наиболее прост в реализации семафор (известный как CriticalSection)

Прошу прощения, но критическая секция - это не семафор. Это именно секция кода, при выполнении которой прерывания запрещены, т.е. это не прерываемая секция.

Цитата(defunct @ Mar 12 2006, 23:00) *
Код
__regvar static char sreg;

void Wait()
{
   sreg = SREG;
   CLI();
}

void Pass()
{
   SREG = sreg;
}

А вот это и есть в чистом виде критическая секция. smile.gif

Если уж пользоваться IAR EWAVR, то имеет смысл использовать класс-"обертку" (wrapper), которая позволяет не забывать выполнить на выходе парную функцию. Например:
Код
typedef usigned char TStatusReg;

class TCritSect
{
public:
    TCritSect () : StatusReg(__save_interrupt()) { __disable_interrupt(); }
    ~TCritSect() { __restore_interrupt(StatusReg); }

private:
    TStatusReg StatusReg;

};

void f()
{
    {  // !!! Критическая секция: начало !!!
         TCritSect cs;
         ...               // код критической секции
    } // !!! Критическая секция: конец !!!

}

Здесь при выходе из блока, где объявлен объект cs, автоматически будет вызван деструктор объекта cs, который (деструктор) восстановит состояние глобального разрешения прерываний.
vet
dxp,
Критическая секция - это часть программы, в которой осуществляется доступ к разделяемым данным. Проще всего реализовать это запретом прерываний, эмбеддеры так часто и делают. Но по теории реализация к.с. опирается на семафоры, и в многозадачках это основной способ.
dxp
Цитата(vet @ Mar 13 2006, 13:51) *
dxp,
Критическая секция - это часть программы, в которой осуществляется доступ к разделяемым данным. Проще всего реализовать это запретом прерываний, эмбеддеры так часто и делают. Но по теории реализация к.с. опирается на семафоры, и в многозадачках это основной способ.

Но критическая секция - не семафор! Не будем путать "палец, указующий на Луну" с самой Луной. smile.gif
defunct
Цитата(dxp @ Mar 13 2006, 10:59) *
Прошу прощения, но критическая секция - это не семафор.

Скажем так в виндовс, из объектов синхронизации нет семафора. Наиболее близок к нему RTLCriticalSection по свойствам и по способу применения..
beer_warrior
Цитата
Скажем так в виндовс, из объектов синхронизации нет семафора. Наиболее близок к нему RTLCriticalSection по свойствам и по способу применения..

Стоп, стоп батенька...
А к чему относиться CreateSemapore ?
defunct
Цитата(beer_warrior @ Mar 13 2006, 17:47) *
А к чему относиться CreateSemapore ?

Признаю - моя неправда..
Спасибо за наводку, полезно иногда "сесть в лужу" иначе бы я так и не открывал раздел MSDN Synchronization Functions.. тем не менее наличие объекта синхронизации "семафор" в виндовс не отменяет второе, сказанное мной ранее предложение: "Наиболее близок к нему RTLCriticalSection по свойствам и по способу применения.."
Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.
Invision Power Board © 2001-2025 Invision Power Services, Inc.