Как перейти к началу функции по внешнему прерыванию?, подробнее внутри Опции

[Зверюга]

Господа есть код в CodeVision примерно такой:

Код

void  loop()
{
for (i=0;i<360;i++)
  {
     .................      
  }


}

void afterINT()
{
.....
}


void main ()
{
  while (1==1)
    {
      ......
       loop();
      .....
   }
}

Как сделать чтобы по внешнему прерыванию от пина AVR функция loop завершала свою работу? выполнялась функция afterINT(), после чего вновь запускалась функция loop(). Пишу в CodeVision, но буду рад примеру и в WinAVR.


И еще - в ATMEGA32 INT0, INT1 и INT2 чемн-ниьбудь отличаются?

[GDI]

Как сделать чтобы по внешнему прерыванию от пина AVR функция loop завершала свою работу? выполнялась функция afterINT(), после чего вновь запускалась функция loop().

При возникновении прерывания так и будет, только после прерывания функция loop() продолжит работу с прерванного места(потому это и называется прерыванием), а то что вы написали внутри функции afterINT вам надо написать прямо в обработчике прерывания, или вам надо чтобы после прерывания функция loop() начала свою работу с i=0?

И еще - в ATMEGA32 INT0, INT1 и INT2 чемн-ниьбудь отличаются?

Как минимум, отличаются пинами на которые они выведены.

[Зверюга]

прерывания, или вам надо чтобы после прерывания функция loop() начала свою работу с i=0?

не просто с i=0, а с самого начала.
Есть некий процесс - в идеале, по его окончанию механика должна послать синхронизирующий сигнал. Если же контроллер не успел выполнить все что в функции loop(), то поезд ушел, все что не доделано должно забыться, и функция должна вновь начать свою работу с чистого листа.
Можно конечно сделать i глобальной переменной,в обработчике прерывания ее обнулять. Но я боюсь что в функции loop перед циклом будет еще несколько строк инициализации.

Как минимум, отличаются пинами на которые они выведены.

А все-таки? Собираюсь прицепить 3 датчика Холла, которые будут снимать сигнал частотой максимум 200 Гц, с длительностью импульса не более 70 мкс. Будут прерываяни одинаково работать?

[GDI]

Можно в цикле что внутри loop() проверять некий флаг, который будет выставляться в прерывании, и по этому флагу прерывать цикл, а т.к. ваша функция стоит в главном цикле программы, то произойдет очередная итерация главного цикла и выполнятся все команды которые стоят до фунrции loop(), да и те что после.

Как минимум, отличаются пинами на которые они выведены.

А все-таки?

Вы хотите заставить меня заглянуть в даташит?

[AHTOXA]

Можно в прерывании подменять адрес возврата. Но это грязный хак

[rezident]

В plain Си функция не может перезапустить саму себя. Это должна сделать внешняя по отношению к ней функция. Напомню, что main это тоже функция.
Вам вполне подойдет вариант с семафором (флагом), который устанавливается в прерывании, а цикле функции анализируется.
Только не забудьте присвоить переменной флага квалификатор volatile, чтобы избежать уже известных граблей.

[Kuzmi4]

2 Зверюга

А все-таки?

0 от 1 отличаются вроде только тем что у 0 - приоритет в прерываниях выше. А 2 от предыдущих отличается асинхронностью, приоритетом в конце таблицы и очень урезанными условиями по которым генерится прерывание.. Более подробно- смотрите в ДШ..

[Зверюга]

Только не забудьте присвоить переменной флага квалификатор volatile, чтобы избежать уже известных граблей.

Так как я в разделе для начинащих и сам я ламер - имею полное морально право попросить разъяснить про грабли. Плз...

[bzx]

Можно в прерывании подменять адрес возврата. Но это грязный хак

Только не "подменять" (!!!), а загрузить в стек адрес на нужную функцию, т.е. стек увеличится на 1 слово. При выходе из прерывания окажешься в нужном месте с самого начала, а уже из этого места вернешься в первоначальное состояние.

[zltigo]

Так как я в разделе для начинащих и....

Moderator:
Вы создали свою тему НЕ в разделе для начинающих. Тему перенес.

[rezident]

Так как я в разделе для начинащих и сам я ламер - имею полное морально право попросить разъяснить про грабли. Плз...

Флаг у вас будет изменяться в обработчике прерывания, который логически никак не связан с другими функциями. Поэтому компилятор может (имеет право) оптимизировать обращение к переменной флага таким образом, что считывание ее значения будет производится только один раз при вызове функции в которой вы его проверяете или даже вообще выкинуть из ассемблерного кода обращение к ней. Ведь по логике программы в данной функции флаг не модифицируется, зачем же считывать его значение? Чтобы избежать таких граблей и "заставить" компилятор отменить оптимизацию обращения к переменной, каждый раз при обращении к ней считывая ее реальное значение, нужно использовать квалификатор volatile.
Пример.

Код

unsigned int cntr;
void main (void)
{
...
  cntr=10;
  while(cntr>0);  //<<--здесь программа навсегда зациклится
  ...
}

#pragma vector=TIMER0_VECTOR
__interrupt void TimerISR(void)
{ if (cntr>0) cntr--;
}

Программа в примере зациклится, т.к. компилятор "видя", что значение переменной внутри цикла while не модифицируется и посчитав ее константой, преобразует условие проверки в команду типа jmp сам_на_себя. Чтобы в примере программа не попадала в вечный цикл, нужно обявление делать как

Код

volatile unsigned int cntr;

Сообщение отредактировал rezident - Aug 15 2008, 17:08

[Зверюга]

{ cntr--;
}

Эта строчка "от балды" или играет непонятную мне роль в переходе в начало функции?


Господа, я могу извернуться и сделать так чтобы по прерыванию выполнялось то что мне нужно, но ради принципа хотелось бы прервать функцию вообще и запустить ее заново уже в главном цикле.

Можно так сделать?

[rezident]

Эта строчка "от балды" или играет непонятную мне роль в переходе в начало функции?

Опс! Исправил. Она не от балды. Пример иллюстрирует ситуацию, когда переменная изменяется в прерывании, а проверка идет в другой функции. Без квалификатора volatile тут ситуацию не разрулить.

Можно так сделать?

Вам же уже описали как это можно сделать.

Код

void  loop()
{ for (i=0;i<360;i++)
  { if (flag!=0)
      goto STOP;
     .................      
  }
STOP:
  __no_operation();
}

void afterINT()
{
.....
}

void main ()
{
  while (1==1)
    {
      ......
RESTART:
      loop();
      if (flag!=0)
      { flag=0;
        afterINT();
        goto RESTART;
      }
      .....
   }
}

#pragma vector=INT0_VECTOR
__interrupt void INT0_ISR(void)
{ flag=1;
  ...
}

[Зверюга]

Спасибо, теперь я разобрался. Это точно для CodeVision?

[zltigo]

...как это можно сделать.

грамотнее.....

Код

for (i=0;i<360;i++)             for( int i=360; i; i-- )
  if (flag!=0)                     if( flag )
goto STOP;                break;
while (1==1)              for(;; )
goto RESTART;           continue;

Это точно для CodeVision?

А это для вопрос для самоcтоятельного изучения

[rezident]

грамотнее.....

О вкусах не спорят

Код

for (i=0;i<360;i++)             for( int i=360; i; i-- )

Можно и так (так действительно короче проверка условия), но только если переменная i как-либо по другому не используется внутри цикла. Например, в качестве индекса.

Код

  if (flag!=0)                     if( flag )

Я предпочитаю явное сравнение с нулем, так нагляднее и понятнее.

Код

goto STOP;                break;

break прерывает выполнение цикла for, а не всей функции. Я применил goto потому, что нужно быстро выйти из функции, а не просто прервать цикл. Неизвестно нет ли еще какого-либо кода после цикла for.

Код

while (1==1)              for(;; )

Опять же о вкусах.. Я часто вообще while(1) пишу

Код

goto RESTART;           continue;

Меня терзают смутные сомнения. А как это continue в функции main продолжит выполнение цикла for в другой функции? К тому же согласно последнему условию

хотелось бы прервать функцию вообще и запустить ее заново уже в главном цикле.

вопрошающего нужно перезапустить всю функцию loop, а не только лишь продолжить цикл for внутри ее.

Это точно для CodeVision?

Это plain C за исключением #pragma vector и __interrupt. Насчет CodeVision не знаю, я им не пользуюсь

[zltigo]

....но только если переменная i как-либо по другому не используется внутри цикла. Например, в качестве индекса.

Все мною написанное относится к совершенно конкретному коду.

Опять же о вкусах.. Я часто вообще while(1) пишу

Грубо, нормальный компилятор должен выдать предупреждение о том, что условие выполняется всегда.
Кроме того, это опять таки сравнение, которое, конечно, приличными оптимизаторами выбрасывается. А вот for( ; ; ) это как раз и есть четкое указанию компилятору циклится безусловно.

Я предпочитаю явное сравнение с нулем, так нагляднее и понятнее.

Масло маслянное... Только лишний напряг для глаз и мозга, ну и оптимизатор,конечно заоптимизитует, но зачем? Кроме того магический "0" - тогда уже хоть FALSE/TRUE, если к этому делу наглядность приплетать.

[rezident]

Масло маслянное... Только лишний напряг для глаз и мозга, ну и оптимизатор,конечно заоптимизитует, но зачем? Кроме того магический "0" - тогда уже хоть FALSE/TRUE, если к этому делу наглядность приплетать.

Отнюдь! Я не потомственный программист и программированию специально не учился, видимо поэтому для меня как раз "напряг для глаз и мозга" вычислять условие истинности, дополняя его мысленно !=0. Компилятор конечно заоптимизирует и будет использовать какие-нибудь комплиментарные условию jnz/jz (ну или аналогичные команды) в этом случае.
false/true это только для семафора катит, а в общем случае явное сравнение с нулем всегда (особенно когда битовые маски в условиях вычисляются) и на всех компиляторах единообразно и правильно работает. К тому же в ANSI C нет булевых типов. Давайте в очередной раз не будем спорить о вкусах, вы меня в правильности моего вкуса все равно не переубедите
Вы лучше по поводу continue из main-а поясните. Как оно работает и работает ли вообще такой возврат в цикл другой функции?

[zltigo]

..меня в правильности моего вкуса все равно не переубедите

Я не о Вашем переубеждении пекусь , а о нераспространении дальше

Вы лучше по поводу continue из main-а поясните. Как оно работает и работает ли вообще такой возврат в цикл другой функции?

В приведенном куске continue предлагается использовать, как и положено, во while, причем тут main???

[Aesthete Animus]

К тому же в ANSI C нет булевых типов.

Вообще-то в C99 есть булевы типы...

2zltigo
"Я не о Вашем переубеждении пекусь , а о нераспространении дальше"
Что у Вас за мания критиковать чужой код и проповедовать свой стиль ропграммирования? Чем к примеру Вам так не нравится проверка с нулем?

[rezident]

Вообще-то в C99 есть булевы типы...

Угу. В стандарте ISO/IEC 9899:1999 aka C99 есть, а в более раннем стандарте C89 aka Standard C aka ANSI C не было.

Я не о Вашем переубеждении пекусь , а о нераспространении дальше

ОК. Пекитесь дальше раз вам так хочется

В приведенном куске continue предлагается использовать, как и положено, во while, причем тут main???

Притом, что вы предложили использовать continue и break вместо двух goto в моем примере. Но break при этом попадал в одну функцию (loop), а continue в другую (main). Поэтому и возник вопрос: а как это работает? Вы бы скопипастили мой вариант примера и исправили его по своему разумению, чтобы стало понятно, что именно вы хотели там "нераспространить"?

[zltigo]

ОК. Пекитесь дальше раз вам так хочется

Спасибо заразрешение

Но break при этом попадал в одну функцию (loop), а continue в другую (main).

Э... Похоже Вам надо ознакомится с continue...

Вы бы скопипастили мой вариант примера и исправили его по своему разумению, чтобы стало понятно, что именно вы хотели там "нераспространить"?

Как-бы я все строчки указал... Ладно, не претендуя на изменение общего подхода к делу....

Код

volatile bint flag;

void loop( void )
{     for( int i=360; i; i-- )
      {     if( flag )
              break;
// Ну вообще-то тут return( TRUE ) должен быть, а не break, дабы не
// заниматься лишними контролями в main() и не размазывать работу с flag по нескольким функциям
//        .......
//        ........
//        .......               
      }
}

void main( void )
{
    for(;; )
    {   loop();
          if( flag )
          {    flag--;
            afterINT();
            continue;
          }
//         .....
//        .....
//        .....
       }
}

#pragma vector=INT0_VECTOR
__interrupt void INT0_ISR(void)
{     ++flag;
//     ......
//    ......
//    ......
}

Теперь без break и дублироания проверки flag

Код

bint loop( void )
{     for( int i=360; i; i-- )
      {     if( flag )
        {    flag--;    
              return( TRUE );
        }
//        .......
//        ........
//        .......               
      }
    return( FALSE );
}


void main( void )
{
    for(;; )
    {   if( loop() )
          {      afterINT();
            continue;
          }
//         .....
//        .....
//        .....
       }
}

aka ANSI C не было.

Что совершенно не мешает использовать TRUE/FALSE для четкого указания читающему, что эта переменная принимает только два значения.

Что у Вас за мания критиковать чужой код и проповедовать свой стиль ропграммирования?

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

[rezident]

Э... Похоже Вам надо ознакомится с continue...

Вот я и хотел ваших пояснений по использованию этого оператора в данном случае. Я не понимаю как continue в одной функции (main) может вернутся к прерванному циклу в другой функции (loop)? Вот и компилятор мой (IAR) тоже не понимает, выполняя по continue возврат к началу for (;;) в main, а вовсе не к прерванному for в loop. Может поясните без обиняков. Я ведь не хочу вас уличить в каком-либо незнании, чтобы унизить, а понять суть явления и свои собственные заблужения. Ну не понимаю я как может осуществиться связь между этими операторами в разных функциях. Как я понимаю, область видимости у break ограничена лишь текущим контейнером, а у continue область видимости всего лишь одним уровнем контейнера выше, но в любом случае не дальше текущей функции. А вы считаете по-другому?
Кстати, во втором вашем примере вы изменили тип функции loop только для того, чтобы воспользоваться return для быстрого выхода из нее. В моем же примере использование goto вызывает тот же самый эффект, но без необходимости менять тип функции. Опять же повторюсь, что я не являюсь апологетом применения goto где-ни попадя. Мне вообще до сих пор не приходилось применять goto. Но в данном случае именно goto позволяет решить проблему без существенных коррекций исходных функций.

[zltigo]

Я не понимаю как continue в одной функции (main) может вернутся к прерванному циклу в другой функции (loop)?

Так для начала прочитайте СВОЙ исходник и поведуйте миру, как Вам удалось узреть вышеизложенное в нем. Только, пожалуйста, читайте внимательно:

Код

  while (1==1)
    {
      .....
RESTART:
      loop();
      if (flag!=0)
      { flag=0;
        afterINT();
        goto RESTART;
      }
      .....
   }

Где, Вы узрели "возврат к ... прерванному for в loop. " A?????
Написанное мной (в первом, буквально повторяющем варианте) полностью повторяет вышенаписанное, без абсолютно ненужного в этом случае goto и меток.

Код

    for(;; )
    {   loop();
          if( flag )
          {    flag--;
            afterINT();
            continue;
          }
         .....
        .....
       }

[aaarrr]

Я не понимаю как continue в одной функции (main) может вернутся к прерванному циклу в другой функции (loop)?

Так задача-то была прервать и перезапустить loop, насколько я могу понять:

Как сделать чтобы по внешнему прерыванию от пина AVR функция loop завершала свою работу? выполнялась функция afterINT(), после чего вновь запускалась функция loop().

[rezident]

Так задача-то была прервать и перезапустить loop, насколько я могу понять:

Добавьте внутри "вечного цикла" перед вызовом loop() несколько операторов и/или вызовов других функций и попробуйте перезапустить с помощью continue только loop(). Для пояснения цитирую кусок исходного текста автора.

Код

void main ()
{
  while (1==1)
    {
      ......
       loop();
      .....
   }
}

Многоточие, как я понимаю, обозначает один или несколько операторов до и после вызова loop().

[zltigo]

Добавьте.....

Для начала ответьте, что за пургу тут несли с goto в черт-те-знает-куда
потом ответьте на вопрос чем код:

Код

while (1==1)
    {
      blabla1();
       loop();
      blabla2();
   }

принципиально отличается от:

Код

for(;; )
    {
       loop();
      blabla2();
      blabla1();
   }

После первого прохода. Если захотите ИЗМЕНИТЬ условия задачи, то тогда как минимум стоит их публично огласить а не тихонько высасывать из пальца дополнительные условия. Повторяю, я НЕ собираюсь возражать против способа решения задачи (мне сама постановка представляется совершенно уродливой) все мной написаное относится только к корявому коду.

[rezident]

Для начала ответьте, что за пургу тут несли с goto в черт-те-знает-куда

Не уходите от ответа. Я первый задал вопрос.

потом ответьте на вопрос чем код:

Поскольку нам неизвестно какие операции выполняют функции blabla и не влияют ли они на какие-либо общие глобальные переменные, то отвечаю - да, в общем случае порядок вызова функций имеет значение.

Если захотите ИЗМЕНИТЬ условия задачи, то тогда как минимум стоит их публично огласить а не тихонько высасывать из пальца дополнительные условия.

Вы это .... не гоните...лошадей. Я не менял условий задачи и в сообщении #13 привел пример, модифицировав исходный текст вопрошающего, под его условия. Вы же, вырвав из контекста задачи, привели исправления отдельных операторов, при подстановке которых в мой исходник работа программы меняется. Если внимательно приглядитесь, то у меня (в сообщении #13) как и у вопрошающего, имеются многоточия, обозначающие какие-либо операции до и после вызова loop в "вечном цикле" main. Тупая подстановка ваших замен изменяет функционирование программы. Поэтому я и пытаюсь от вас добиться пояснений, почему вы считаете эти замены полностью эквивалентными для функционирования программы? А вы же почему-то упираетесь в стилистику написания.

[aaarrr]

Поскольку нам неизвестно какие операции выполняют функции blabla и не влияют ли они на какие-либо общие глобальные переменные, то отвечаю - да, в общем случае порядок вызова функций имеет значение.

ИМХО, здесь Вы не правы: во-первых, порядок вызова функций не изменился, изменилась лишь точка входа; во-вторых, в кооперативной системе с вечным циклом в main'е порядок вызова не имеет не должен иметь принципиального значения.

[zltigo]

А вы же почему-то упираетесь в стилистику написания.

Потому, что свой пост посвятил только этому и не совершенно не касался, не спорил, не осуждал, не поучал, не навязывал решения, не.... собственно алгоритма и уж тем более дополнительных предположений и рассуждений типа "а если-бы он вез патроны". При этом, я совершенно не упираюсь - каждый сам себе Буратино, но подсказать нормальную стилистику в ветке для начинающих, тем не менее считаю необходимым.

...почему вы считаете эти замены полностью эквивалентными для функционирования программы?

Уже писал. Повторяю. За единственным, как смею предположить скорее всего совершенно не существенным исключением ввиде первого прохода СУПЕР цикла (который становится совершенно недетерминированным после прерывания) - да. Кроме того эта "проблема" решается, например, правильной начальной инициализацией глобальной переменной счетчика таймаута.

[SSerge]

Вообще-то для таких "фокусов" придуманы функции setjmp() и longjmp().
Не знаю как они реализованы в CodeVision, но если сделано по-простому, без особого мудрствования, то скорее всего можно вызывать longjmp() прямо в обработчике прерывания.
Переход в точку после setjmp() произойдёт, но регистр статуса может не сохраняться и не восстанавливаться после перехода (как именно это сделано в имеющейся реализации надо просто проверить). Поэтому прерывания после перехода останутся запрещёнными. Ну, да это не беда - если нужны просто резрешить.
Но лучше ещё раз подумать, нельзя ли обойтись без этого.

[aaarrr]

Вообще-то для таких "фокусов" придуманы функции setjmp() и longjmp().

Не для таких фокусов они придуманы, и уж точно не для прерываний.

[SSerge]

Не для таких фокусов они придуманы, и уж точно не для прерываний.

Вы их просто готовить не умеете.
Вот как эти функции реализованы в IAR:
 setjmp_longjmp.txt ( 3.07 килобайт ) Кол-во скачиваний: 177


Перочинный ножичек в руках искусного хирурга далеко лучше иного преострого ланцета. (с) Козьма Прутков. Афоризмы

[zltigo]

Вот как эти функции реализованы в IAR:

Причем тут реализация к использованию для вышеупомянутых целей? Давайте я Вам со соловами "вот как реализовано" распечатаю еще чего нибудь....

Перочинный ножичек в руках искусного хирурга далеко лучше иного преострого ланцета. (с) Козьма Прутков. Афоризмы

Рассуждай токмо о том, о чём понятия твои тебе сие дозволяют. Так: не зная законов языка ирокезского, можешь ли ты делать такое суждение по сему предмету, которое не было бы неосновательно и глупо? (с) Козьма Прутков. Афоризмы

[aaarrr]

Вы их просто готовить не умеете.

Замечательно. А вы умеете готовить программы, которые будут нормально работать при вываливании из любой точки после прерывания в другую?

[SSerge]

Рассуждай токмо о том, о чём понятия твои тебе сие дозволяют. Так: не зная законов языка ирокезского, можешь ли ты делать такое суждение по сему предмету, которое не было бы неосновательно и глупо? (с) Козьма Прутков. Афоризмы

Понятия дозволяют. Я законы языка ирокез С ещё на PDP-11 изучал. И с работой setjmp/longjmp тогда же разбирался.

Замечательно. А вы умеете готовить программы, которые будут нормально работать при вываливании из любой точки после прерывания в другую?

Чтобы из любой - это гораздо сложнее. Но Вас же не удивляет что любая (некооперативная) RTOS может передать управление другому процессу после того как текущий был прерван прерыванием?
Разбираемый сейчас случай попроще будет. Требуется поведение программы типа "всё бросить и вернуться на заранее подготовленные позиции", как раз для такого эти функции и предназначены.
В популярных учебниках тему setjmp/longjmp предпочитают не затрагивать, вот народ про них почти ничего и не знает.
Попробую рассказать что знаю, с некоторыми упрощениями.
Функция setjmp() всего лишь запоминает в специальном буфере содержимое нескольких регистров, указатель стека и счётчик команд (адрес возврата, лежащий в стеке). Эта информация потом, при исполнении longjmp(), позволяет восстановить состояние программы таким, словно только что произошел возврат из setjmp(). Отличается только возвращаемое значение, setjmp() возвращает 0, а longjmp() возвращает свой второй аргумент. Это позволяет понять откуда попало управление в этот раз.
Разумеется, восстанавливается далеко не всё, скажем если программа успела изменить глобальные переменные то эти изменения не будут откачены назад, ну так это-то уже в руках программиста, и он может это предусмотреть, если бывает нужно "прибрать за собой".

Поскольку longjmp() переставляет указатель стека на прежнее место, то существует естественное ограничение на её применение: состояние той части стека, которая существовала на момент возврата из setjmp() не должно изменяться до выполнения longjmp(). Другими словами, не должно быть выхода из функции или блока, содержащего setjmp().

А с учетом архитектуры AVR и имеющейся реализации этих функций не вижу никаких препятствий для примения longjmp() прямо из обработчика прерывания.
Реализацию в CodeVision надо проверить, но скорее всего и там будет работать. Примерно так (для IAR):

Код

jmp_buf jbuf;

int foo()
{
   if( setjmp( jbuf ) )
   {
      // исполняется только после перехода по longjmp()
      //если переход делать прямо из обработчика, то прерывания останутся запрещёнными
      __enable_interrupt();
      afterINT();
   }
   else
   {
      // исполняется после возврата из setjmp()
   }

   for(;;)
   {
      loop();
      //........
   }
}

#pragma vector=INT0_vect
__interrupt void INT0_isr(void)
{
   longjmp( jbuf, 1);
}

[aaarrr]

Чтобы из любой - это гораздо сложнее. Но Вас же не удивляет что любая (некооперативная) RTOS может передать управление другому процессу после того как текущий был прерван прерыванием?

OS, в отличие от вашего "изобретения", вернет в какой-то момент времени управление назад.

...с учетом архитектуры AVR и имеющейся реализации этих функций не вижу никаких препятствий для примения longjmp() прямо из обработчика прерывания.

Применить-то действительно никто не запрещает, только кому нужна программа, которая при выходе из прерывания в буквальном смысле все бросит и ломанется в определенную точку?

Код

   for(;;)
   {
      loop();
      //........
   }

Предположим, что из loop'а мы можем так вывалится (хотя и это сомнительно, если там производятся хоть сколько нибудь осмысленные действия), а из остальной программы, скромно обозначенной "//........"?

Ну нельзя использовать longjmp из прерывания. Одно дело, когда случилась ошибка, и нужно вернуть управление, а другое, когда эта "ошибка" генерируется снаружи.

[zltigo]

Требуется поведение программы типа "всё бросить и вернуться на заранее подготовленные позиции", как раз для такого эти функции и предназначены.

Ну насчет все грубо бросить в непонятном состоянии И ЗАБЫТЬ НА ВСЕГДА, это еще большой вопрос о допустимости такого.

Попробую рассказать что знаю, с некоторыми упрощениями.

Спасибо, не надо - плавали. Особенно с упрощениями, ибо дявольщина таится в деталях. А деталей реализации там много и некоторые даже подбираются ключами в пределах одного компилятора.

Разумеется, восстанавливается далеко не всё...

..И при прерывании/восстановлении в

..уже в руках программиста...

столько всего окажется, что разбираться в отсутствии побочных эффектах придется долго.

А с учетом архитектуры AVR и имеющейся реализации этих функций не вижу никаких препятствий для примения longjmp() прямо из обработчика прерывания.

Ага, самая примтивная архитектура и железо - скомпенсировали отсутствие RETI и типа все...
А на ARM слабо?

Реализацию в CodeVision надо проверить...

Ага, проверить, и при получении свежего компилятора проверить...

, но скорее всего и там будет работать. Примерно так (для IAR):

Ну и чего добились этими финтами? Эквивалент внесения afterINT() в обработчик прерывания + непонятные эффекты (особенно в случае прерывания afterINT()) + опасно переносимый или гарантированно не переносимый код.
Нет это не "руками хирурга" сделано
И даже перечисленные лично Вами подводные камни, камня на камне не оставляют от Вашего-же утверждения

Вообще-то для таких "фокусов" придуманы функции setjmp() и longjmp().

с которого все и началось...

[GDI]

не кажется что за спором вы забыли одну важную вещь, то что функция loop() конечная, т.е. она либо отработает 360 раз свой внутренний цикл, либо, по воле автора и в результате прерывания должна прервать свой цикл, что и достигается проверкой флага и оператором return. А вот что там должно произойти дальше, автор топика нам не раскрывает, т.е нужно ли после прерывания цикла в loop() выполнить следующие за ней функции(достаточно return) или нужно запустить цикл main сначала(return + continue) или перезапустить цикл в loop()(обнулить счетчик цикла).

[Guest_@Ark_*]

... Разбираемый сейчас случай попроще будет. Требуется поведение программы типа "всё бросить и вернуться на заранее подготовленные позиции" ...

Интересно, как Вы собираетесь обрабатывать ситуацию с вложенными прерываниями, которая в общем случае теоретически возможна? Ведь тогда, номинально, нужно возвращаться не вашу программу, а в обработчик другого прерывания. Если заменить адрес возврата или сделать прямой переход, то обработка другого прерывания останется незавершенной, с неизвестными последствиями. Причем, так как ситуация довольно редкая, "скорее всего все будет работать". Но с редкими и непредсказуемыми "глюками" где-то совсем в другом месте , причину которых потом практически невозможно найти...

[AndrewN]

Прежде всего, спасибо всем за возможность освежить знания о setjmp/longjmp.
Как всегда, когда имеешь дело с чем-то выходящим за пределы контекста С,
выясняется, что от процессора к процессору и от компилятора к компилятору,
алгоримт работы таких компонент может варьироваться.

Я просмотрел три варианта setjmp/longjmp, в TI CCS для ARM и С6000, и в очень
старом компиляторе MS QuickC 2.5 для 16 бит x86. QC мспользует setjmp/longjmp
в своем примере для обработки прерывания по ошибке FPU, тогда как нарямую,
без дополнительного кода, использовать setjmp/longjmp внутри прерывания ARM
или С6000 нельзя.

Конечно, если дополнить код ISR (или setjmp/longjmp), то нет никаких препятствий
для использования setjmp/longjmp внутри прерывания. В любом случае, setjmp/longjmp
были в первую очередь созданы для обхода правил передачи управления установленных
языком С. Где не хватает возможностей высокого уровня надо использовать низкоуровневые
средства.

Интересно, как Вы собираетесь обрабатывать ситуацию с вложенными прерываниями, которая в общем случае теоретически возможна? Ведь тогда, номинально, нужно возвращаться не вашу программу, а в обработчик другого прерывания. Если заменить адрес возврата или сделать прямой переход, то обработка другого прерывания останется незавершенной, с неизвестными последствиями. Причем, так как ситуация довольно редкая, "скорее всего все будет работать". Но с редкими и непредсказуемыми "глюками" где-то совсем в другом месте , причину которых потом практически невозможно найти...

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

Для меня удивительным оказалось то, что сама постановка задачи (может быть, с точки зрения
эстетики и не самая красивая, но уж точно непротиворечивая) вызвала такую бурную дискуссию.

--
AN

[aaarrr]

Для меня удивительным оказалось то, что сама постановка задачи (может быть, с точки зрения
эстетики и не самая красивая, но уж точно непротиворечивая) вызвала такую бурную дискуссию.

Просто тема была создана в пятницу вечером. Почему бы не оторваться на выходных?

[Guest_@Ark_*]

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

Вы, возможно, не поняли о чем речь, или я плохо сформулировал. Счетчик тут не поможет. Речь идет не об одном и том же прерывании, а о прерывании работы другого обработчика прерываний. Например, обработчик прерывания в каком-нибудь драйвере ОС, может запрещать прерывания только в своей критической части кода. А дальше - они разрешены, хотя сама процедура обработки прерывания еще не завершена. И вот, в этот неподходящий момент, может возникнуть ваше прерывание, после которого вы не возвращаете управление. Работа драйвера будет нарушена.
P.S. На такие "грабли" лучше не наступать. Замучеетесь искать причину...

[AndrewN]

Вы, возможно, не поняли о чем речь, или я плохо сформулировал. Счетчик тут не поможет. Речь идет не об одном и том же прерывании, а о прерывании работы другого обработчика прерываний. Например, обработчик прерывания в каком-нибудь драйвере ОС, может запрещать прерывания только в своей критической части кода. А дальше - они разрешены, хотя сама процедура обработки прерывания еще не завершена. И вот, в этот неподходящий момент, может возникнуть ваше прерывание, после которого вы не возвращаете управление. Работа драйвера будет нарушена.
P.S. На такие "грабли" лучше не наступать. Замучеетесь искать причину...

Конечно, такая вложенность вполне возможна. И в таком случае в ISR, которая выполняет, назовем
это так, "необычный" возврат, счетчик вложенности > 1, и ISR должна должна выполнить наиболее
подходящие действия. Возможно, что нужно переделать логику у всех возможных ISR - некий
аналог планировщика, который осуществляет только два вида выхода из прерывания - или обычный
возврат или "необычный" возврат на начало loop() .

Другой пример: в исходной задаче говорится, что переход на начало loop() из прерывания (т.е. из
ISR, обрабатывающей прерывание от соответствующего устройства) должен происходить в том случае,
если была прервана сама подпрограмма loop(), если я не ошибаюсь. Это значит, что ISR должна
анализировать такое событие, т.е. еще один флаг, на этот раз бинарный.

Вероятно, автору придется помучится, а как же без этого? С другой стороны, существует отличная
от нуля вероятность, что это мы тут мучаемся (бесплодно...), а заказчик автора имел ввиду
совершенно другой алгоритм, или вопрос был сформулирован совсем уж плохо. Кто знает?..

Если исходить из общей формулировки задачи реального времени, я склоняюсь в пользу
последнего. В самом деле, если прерывания приходят так часто, что loop() вообще никогда
не имеет возможности довести свои вычисления до конца, что эквивалентно тому, что
управляющие действия никогда не будут осуществлены. Возможна ли такая крайность?
Возможно, что и нет, что только иногда loop() не будет успевать завершиться до следующего
прерывания и, поэтому, выбран алгоритм, который вместо буферизации запросов
использует алгоритм своего рода "забывания" о предыдущем, неисполненном запросе.

Про ОС очень хорошее замечание. Сейчас мне кажется, что исходную задачу можно решить
с помощью двух процессов, один управляющий, который или запускает или снимает с исполнения
(фактически, перезапускает) второй процесс, который производит вычисления и управляет внешним
устройством. Я подробно о таком способе пока не думал.

--
AN

[MMos]

Недавно в одной ветке, я обмолвился, что пишу на ассемблере и был подвергнут порицанию типа "до чего же надо себя не любить..."

Почитал я всё вышеизложенное на 3 страницах и решил, что у вас у всех слишком много свободного времени. В ассемблере эта задача решается парой строк. Естественно, этой парой строк можно пользоваться только тогда, когда понимаешь, что далаешь. Но если пишешь на языке высокого уровня, такого понимания никогда не будет. Для справки: на высоком уровне тоже пишу, но меня периодически посещает мысль, что кто-то пытается "держать меня за последнего лоха".

Теперь по сути темы. В одном устройстве у меня была похожая задача. При её решении вместо прерывания я использовал RESET и флаг "горячий/холодный старт".

[SSerge]

Почитал я всё вышеизложенное на 3 страницах и решил, что у вас у всех слишком много свободного времени.

Это да, С очень способствует экономии времени...

[zltigo]

В ассемблере эта задача решается парой строк.

А Вы только страницы считали, или содержимое тоже? Если читали содержимое, то где Вам удалось увидеть нечто превыщающее те-же "пару строк" для решения этой "грандиозной" задачи?

Естественно, этой парой строк можно пользоваться только тогда, когда понимаешь, что далаешь. Но если пишешь на языке высокого уровня, такого понимания никогда не будет.

"Остапа понесло"

Теперь по сути темы....

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

[MMos]

Я суть темы понял так: при наступлении некоего события программа переходит на точку "горячего старта". Если же в мои рассуждения вкралась ошибка, то всем приношу свои гоубочайшие извинения за то, что отвлёк от плодотворнейшей дискуссии.

[aaarrr]

Я суть темы понял так: при наступлении некоего события программа переходит на точку "горячего старта".

Не понимаю, как этоможно вывести из первого поста. Впрочем, сама "постановка задачи" несколько странная. Поэтому и беседа носит отвлеченный характер.

[MMos]

Не понимаю, как этоможно вывести из первого поста.

Элементарно, Ваттсон... Дедуктивный метод (развитый многолетним программированием на ассемблерах)

[aaarrr]

Я тоже много лет программирую на ассемблерах (если уж это качество для Вас так много значит), но "горячего старта" не вижу. Но это, по всей видимости, просто недоразвитие телепатических способностей дает о себе знать.

[MMos]

Язык, на котором пишет программист, для меня не является критерием оценки последнего. У меня критериев хорошего программиста два. Первый: хороший программист тот, который пишет работоспособные программы, не создающие проблем в эксплуатации. Если проблемы всё-таки возникают (куда же без них) и решать их приходится мне, то работает второй критерий: хороший программист тот, которого не хочется подержать за горло, когда читаешь его коды. Ну а правильно я понял замысел автора темы или нет, решать ему.

[Herz]

Язык, на котором пишет программист, для меня не является критерием оценки последнего. У меня критериев хорошего программиста два. Первый: хороший программист тот, который пишет работоспособные программы, не создающие проблем в эксплуатации. Если проблемы всё-таки возникают (куда же без них) и решать их приходится мне, то работает второй критерий: хороший программист тот, которого не хочется подержать за горло, когда читаешь его коды. Ну а правильно я понял замысел автора темы или нет, решать ему.

А что, это ещё одна тема о хороших/плохих программистах или ASM vs C?

[zltigo]

А что, это ещё одна тема о хороших/плохих программистах или ASM vs C?

Moderator: Действительно, только этого в этой и без того достаточно многострадальной теме не хватало. Завязываем!

[SysRq]

Как вариант, функцию loop можно сделать полностью итеративной, с конструкцией типа switch-case внутри, и управлять номером итерации как из функции (запретив прерывания в нужном месте на короткое время), так и из прерывания. И реинициализацию удастся выполнить (шаг 0, к примеру), и цикл реализовать, да и не только...


Сообщение отредактировал SysRq - Aug 19 2008, 22:20

[Dog Pawlowa]

Как вариант, функцию loop можно сделать полностью итеративной, с конструкцией типа switch-case внутри, и управлять номером итерации как из функции (запретив прерывания в нужном месте на короткое время), так и из прерывания. И реинициализацию удастся выполнить (шаг 0, к примеру), и цикл реализовать, да и не только...

Про флаги тут уже говорили.