OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 20:28

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 10 ] 
Автор Сообщение
 Заголовок сообщения: Как "устроен" трэп в ББ?
СообщениеДобавлено: Воскресенье, 21 Август, 2011 06:20 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
А если ограничить либо остановом, либо выходом в вызывающий процесс - не будет ли "вполне структурно"?
Кстати, ББ-трап - это тоже ведь "досрочный финиш"... только по прерыванию (программному), наверное?

(модератор) выделено: viewtopic.php?p=64860#p64860


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 21 Август, 2011 09:13 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Драконограф писал(а):
А если ограничить либо остановом, либо выходом в вызывающий процесс - не будет ли "вполне структурно"?
Кстати, ББ-трап - это тоже ведь "досрочный финиш"... только по прерыванию (программному), наверное?
Если человек стреляется, -- можно ли считать это здоровым образом жизни?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 21 Август, 2011 19:32 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
В общем, среда пусть уж имеет право прерывать программу по нарушению условий... а в самой программе нечего такие прерывания закладывать... по крайней мере, если она не на ассемблере писана :) Так?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 21 Август, 2011 19:36 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Типа того.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 21 Август, 2011 19:46 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Ну, теперь ясно, что в ЯВУ-шных графит-языках (диалектах) конструкция исключения не должна входить в лексику. :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 22 Август, 2011 11:49 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Между прочим, это относится, видимо, и к изобретениям, обсуждавшимся в этом посте. Кстати, а внутри ОС такие переходы нужны?


Последний раз редактировалось Владислав Жаринов Понедельник, 22 Август, 2011 12:06, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: О проверке инварианта
СообщениеДобавлено: Понедельник, 22 Август, 2011 12:06 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Вообще, как работает проверка инварианта (НАЧ, КОН, УТВ/Assert)? Не так, как описывал Паронджанов для синхронизатора? Т.е. как встречается оператор проверки - управление передаётся среде исполнения (какому-то системному процессу), тот уже проверяет условие - и если выполнено, возвращает управление на адрес начала оператора, следующего за проверочным, а если нет - оставляет управление у себя и делает что-то (ББ, скажем - выдаёт трап-окно и ждёт действий пользователя)?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 22 Август, 2011 17:21 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Обычный if с генерацией исключения ОС.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 23 Август, 2011 11:01 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Илья Ермаков писал(а):
Обычный if с генерацией исключения ОС.
Т.е. код проверки всё же включается в проверяемый процесс - а выход из него только в случае невыполнения инварианта? И всё-таки требуется уточнение вещей, обсуждавшихся в этом сообщении?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 28 Август, 2011 17:38 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Драконограф писал(а):
Илья Ермаков писал(а):
Обычный if с генерацией исключения ОС.
Т.е. код проверки всё же включается в проверяемый процесс - а выход из него только в случае невыполнения инварианта? И всё-таки требуется уточнение вещей, обсуждавшихся в этом сообщении?


Всё происходит в рамках одного процесса. Почитайте что-нибудь про SEH в Windows. Например, в книге Джеффри Рихтера.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 10 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB