Современные технологии автоматизации» («СТА») —  журнал для квалифицированных специалистов по промышленной автоматизации Форум СТА — современные технологии автоматизации Домашняя страница
Домашняя страница форума CTA Домашняя страница форума CTA > II. АСУТП и SCADA > Архив
  Активные темы Активные темы
  FAQ FAQ  Искать в форуме   Зарегистрироваться Зарегистрироваться  Вход в систему Вход в систему

реал тайм осы

 Ответить Ответить Страница  <1 1213141516 36>
Автор
Сообщение
Владимир Е. Зюбин Смотреть выпадающим
Действительный член
Действительный член


Присоединился: 09 Сентябрь 2003
Категория: Russian Federation
Online Status: Offline
Публикации: 247
Свойства публикации Свойства публикации   Ответить, цитируя автора - Владимир Е. Зюбин Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Тема сообщения: реал тайм осы
    Опубликовано: 29 Октябрь 2003 15:58
Первоначально опубликовано Olej

[...]

Первоначально опубликовано Владимир Е. Зюбин


Что именно утверждать? я не понял...

Значит я плохо изложил ;-)...
А утверждал я именно то, что только если вы можете сказать, что "... в нашем ПО, которое мы N-лет назад сдали заказчику, и столько же сопровождаем - гарантировано не содержится ошибок..." - так вот, если только вы можете так сказать - тогда вы можете быть гарантированы от того, что в результате стечения исходных данных, сигналов и т.д. ваше приложение не попишет "мусором" ту область памяти, в частности, где у вас записаны константы управляющего процесса, или вектора IRQ... ("загуляет").
Но, с другой стороны, если вы можете сказать ту фразу (выше) - то я вам не поверю, что совпадает и с упоминаршимся выше утверждением Э.Дейкстры.


Я Вам так скажу: штатными средствами, предоставляемыми
пользователю вычислительной моделью, разрушить модель
невозможно... это обеспечено конструктивно.

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

К сожалению, и первый, и второй случай находятся вне
компетенции используемой выч.модели... и, как мне
кажется, по вполне понятным причинам.

Владимир Е. Зюбин
Язык Рефлекс -- Си-подобный язык программирования ПЛК
http://reflex-language.narod.ru/
Наверх
Владимир Е. Зюбин Смотреть выпадающим
Действительный член
Действительный член


Присоединился: 09 Сентябрь 2003
Категория: Russian Federation
Online Status: Offline
Публикации: 247
Свойства публикации Свойства публикации   Ответить, цитируя автора - Владимир Е. Зюбин Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Опубликовано: 29 Октябрь 2003 16:16
Первоначально опубликовано Olej

Первоначально опубликовано Владимир Е. Зюбин


Ну, эти проблемы в любой системе стоят... Что на Си, что
на АДе, что на Паскале... перепутал "закорюку"... "плюс"
с "минусом" и все... для транслятора ошибки нет, а
объект пошел вразнос...

Я здесь немного об другом:
Моулер и Форсайт показывают, как за счёт конечного представления (континиума real), округлений и усечений (это float-point!) - в элементарных случаях при определённых данных - возникают совсем абсурдные результаты. Книга вообще - блестящая, хотя бы там, где они динамически определяют "машинный ноль", "эпсилон" для иттерационных вычислений, примерно так (изложение моё ;-) - у них там FORTRAN):
double epsilon = 1.;
while( 1.0 + ( epsilon /= 2. ) != 1.0 ) {};
// ... здесь вы имеете машинный epsilon
Посмотрите при случае книгу - она того стоит.


За ссылку спасибо. По примеру чувствуется, что весьма
интересная книга... сразу хочется что-нибудь
улучшить... :-)

long i;
double epsilon = 1.;
for(i = 0; (1.0 + (epsilon /= 2.0)) != 1.0; i++) {};
printf("\n Result is %ld", i);

К сожалению, с "артефактами" машинного представления
очень сложно бороться... как мне это представляется...
что на Фортране, что на Си, что на АДе... :-(
Владимир Е. Зюбин
Язык Рефлекс -- Си-подобный язык программирования ПЛК
http://reflex-language.narod.ru/
Наверх
Владимир Е. Зюбин Смотреть выпадающим
Действительный член
Действительный член


Присоединился: 09 Сентябрь 2003
Категория: Russian Federation
Online Status: Offline
Публикации: 247
Свойства публикации Свойства публикации   Ответить, цитируя автора - Владимир Е. Зюбин Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Опубликовано: 29 Октябрь 2003 16:30
Первоначально опубликовано Olej

Первоначально опубликовано Владимир Е. Зюбин


Да для объекта не важно на чьей совести поломка...
а с точки зрения юриспруденции, QNX всегда прав, даже
если содержит ошибку... ;-)

Без комментариев... ;-).
И юридическая сторона меня в контексте разговора не занимает.
Я только хотел сказать, что QSSL API (т.е. это POSIX API по большей части) - будет содержать на порядки меньше скрытых ошибок, чет эквивалент того же API "ручного исполнения".

Не говоря уже об том, что в некоторых случаях вы получаете API высокого уровня - тот же STL (Standard Template Library), который стандартный, а на ручную реализацию некоторого эквивалента (в конкретном случае - динамических структур) - вам понадобится несколько сот строк кода... И на 3 порядка больше число скрытых ошибок!


Мне вот непонятно про "ручное исполнение"... а QNX,
он что, ногами писан? Я всегда считал, что он тоже
руками пишется... возможно даже нашими бывшими
соотечественниками... или индусом каким...

Но опять повторюсь, мы не конкурируем с QNX. О
разветвленных и изощренных API речи не идет,
с файловой системой не работаем, БД не сопровождаем...

речь идет просто о некотором классе задач управления
объектами автоматизации... входы и выходы, аналоговые и
цифровые, ЦАП и АЦП, команды от UI/сообщения к UI,
команды к выносным датчикам/команды от выносных
датчиков... цель - все скрутить и перекрутить,
как заказчик скажет, на своем языке, языке тех.
процесса... ну, пожалуй и все.
Владимир Е. Зюбин
Язык Рефлекс -- Си-подобный язык программирования ПЛК
http://reflex-language.narod.ru/
Наверх
evgen Смотреть выпадающим
Действительный член
Действительный член


Присоединился: 08 Сентябрь 2003
Категория: Russian Federation
Online Status: Offline
Публикации: 178
Свойства публикации Свойства публикации   Ответить, цитируя автора - evgen Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Опубликовано: 29 Октябрь 2003 17:26
ничего не мешает под ОС какую-нибудь перейти...

С вероятностью 99% ваша дос-задача будет работать под полуосью, если вы никаких особых фокусов не используете. - и автоматом получите гуй, сетизмы и многозадачность.
Эффект от переключения контекстов конечно будет, но с ним до определенной степени можно бороться.
SY,
EK
Наверх
evgen Смотреть выпадающим
Действительный член
Действительный член


Присоединился: 08 Сентябрь 2003
Категория: Russian Federation
Online Status: Offline
Публикации: 178
Свойства публикации Свойства публикации   Ответить, цитируя автора - evgen Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Опубликовано: 29 Октябрь 2003 17:36
Первоначально опубликовано Olej


Не говоря уже об том, что в некоторых случаях вы получаете API высокого уровня - тот же STL (Standard Template Library), который стандартный, а на ручную реализацию некоторого эквивалента (в конкретном случае - динамических структур) - вам понадобится несколько сот строк кода... И на 3 порядка больше число скрытых ошибок!

гм, гм и еще раз гм...
темплейты замечательны тем, что ошибку в них не отследишь и не поймаешь в дебаггере, а что касается STL и его стандартности - читайте www.wxwindows.org, хотя проблемы портирования в случае выбора фиксированной платформы, видимо, не стоят. Только молиться надо, чтобы со следующей версией gcc ничего плохого с STL не произошло
SY,
EK
Наверх
administrator Смотреть выпадающим
Администратор
Администратор
Аватар

Присоединился: 27 Март 2003
Категория: Russian Federation
Online Status: Offline
Публикации: 80
Свойства публикации Свойства публикации   Ответить, цитируя автора - administrator Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Опубликовано: 30 Октябрь 2003 11:23

Первоначально опубликовано Olej


to ГОСПОДА МОДЕРАТОРЫ:
- ну нельзя, нельзя! вести разговор в форуме, который не позволяет редактировать ранее введенный ответ! а из-за одной пропущенной где-то закарлючки - сжирает весь ответ (минут на 15 работы - если при этом ещё и ДУМАТЬ привык ;-)), и демонстрирует чистую цитату длиной в 0.5 метра...

Разрезать цитату не проблема, см. это сообщение.


Первоначально опубликовано Olej


На любом "пыонэрском" форуме для флейма - стоит типовой движок, какой-нибудь "мамбо 4.0.14 -р1 форум minimalist BB 1.5M ..." - ну попросите у пыонэров!

Это не "пионерский" форум и флеймить здесь незачем, как, в прочем, и в любом форуме.

Первоначально опубликовано Olej


Позвольте, Е. Зюбин, я вам (да и всем - позвольте?) по фразам отвечать буду - я боюсь этого форума!

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

Administrator
Наверх
Olej Смотреть выпадающим
Действительный член
Действительный член


Присоединился: 14 Октябрь 2003
Категория: Ukraine
Online Status: Offline
Публикации: 267
Свойства публикации Свойства публикации   Ответить, цитируя автора - Olej Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Опубликовано: 30 Октябрь 2003 15:03
Многоуважаемый господин администратор!

Первоначально опубликовано administrator

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


Я полагаю, что уже как-то научился этому, по-крайней мере - в период своего >10 летнего педагогического стажа по спецкурсам для аспирантов. Чему я не могу, да и не хочу учится - так это излагать мысли на манер сапёра..., или в стиле "шаг влево, шаг вправо - попытка к бегству". Особенно в обсуждении с техническими специалистами не менее технических деталей.

Первоначально опубликовано administrator

Пока я вижу лишь склонность к разведению и поддержанию флейма.


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

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

Первоначально опубликовано administrator

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


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

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

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

Первоначально опубликовано administrator

Если вы хотите что-то сказать, говорите это взвешенно и ответственно, это общественное место.


Почтенный, общественное место - это сортир. И хотелось бы, чтобы форумы ими - не являлись.

P.S. Меня крайне удивляет такая оценка ответственного (должно быть) лица форума, ютящегося под именем столь приличного журнала.
Наверх
Sergey Sorokin Смотреть выпадающим
Действительный член
Действительный член


Присоединился: 27 Март 2003
Категория: Russian Federation
Online Status: Offline
Публикации: 240
Свойства публикации Свойства публикации   Ответить, цитируя автора - Sergey Sorokin Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Опубликовано: 30 Октябрь 2003 16:05

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

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

Дальнейшую переписку по этому вопросу, если в этом видится необходимость, уместно вести директом или в разделе "Пожелания и рекомендации" (тема достаточно далекая от ОС РВ :-)).

С Уважением,

Сергей Сорокин

 

Первоначально опубликовано administrator

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


Наверх
administrator Смотреть выпадающим
Администратор
Администратор
Аватар

Присоединился: 27 Март 2003
Категория: Russian Federation
Online Status: Offline
Публикации: 80
Свойства публикации Свойства публикации   Ответить, цитируя автора - administrator Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Опубликовано: 30 Октябрь 2003 16:48

Уважаемый Olej. Администрация форума не собирается оценивать вашу работу в конференции. Наша задача - предоставить вам (пользователям) наиболее удобный инструмент для общения. Разумеется все ваши негативные и позитивные оценки работы системы имеют для нас большое значение. Тем не менее, убедительная просьба высказывать конструктивные предложения по модернизации имеющихся сервисов и ссылаться на конкретные системы имеющие по вашему мнению лучшую их реализацию. Также любопытно было бы узнать какие именно действия с вашей стороны привели к потере набранного вами сообщения перед отправкой. Для этого к вашим услугам имеется специальный раздел Пожелания и рекомендации

Administrator
Наверх
Olej Смотреть выпадающим
Действительный член
Действительный член


Присоединился: 14 Октябрь 2003
Категория: Ukraine
Online Status: Offline
Публикации: 267
Свойства публикации Свойства публикации   Ответить, цитируя автора - Olej Ответить, цитируя автора -  ОтветитьОтвет Прямая ссылка на эту публикацию Опубликовано: 30 Октябрь 2003 19:27
Первоначально опубликовано evgen

гм, гм и еще раз гм...
темплейты замечательны тем, что ошибку в них не отследишь и не поймаешь в дебаггере, а что касается STL и его стандартности - читайте www.wxwindows.org, хотя проблемы портирования в случае выбора фиксированной платформы, видимо, не стоят. Только молиться надо, чтобы со следующей версией gcc ничего плохого с STL не произошло


Об template & STL - если уж мы этот предмет зацепили (особенно потому, что он может иметь прямое касательство к аппаратному, embedded ПО):

1. template - самое большое расширение С++ с 1995г., может быть более существенное, чем наследование и множественное наследование...
Это, наверное, самая массивная часть серьёзных публикаций последних 5-ти лет. Источники можно посмотреть здесь:
http://qnx.org.ru/index.php?option=com_minibb&action=vthread&forum=12&topic=943
http://qnx.org.ru/index.php?option=com_minibb&action=vthread&forum=12&topic=1327
http://qnx.org.ru/index.php?option=com_minibb&action=vthread&forum=12&topic=952
http://qnx.org.ru/index.php?option=com_minibb&action=vthread&forum=12&topic=1002

Это настолько сильное расширение, что многие считают С++ с templates даже другим клоном языка.

2. template - как раз совершенно заманчивое средство больше для "аппаратног" ПО, потому, как бОльшая часть даже синтаксических проверок может быть выполнена препроцессорно, т.е. даже до начала компиляции.

3. STL, как естественное порождение template, не был стандартизован в стандарте 1998г. (не успели, т.к. первая HP-реализация STL была сделана в 1995г.), но уже тогда комитет по стандарьтзации рассматривал STL как стандарт post-factum... И в стардарте, не помню - 2000 или 2001г. - STL входит.

4. да это и не так важно - STL "внешняя" к языку часть - так ли принципиально, относить ли к стандарту FORTRAN библиотеки линейной алгебры.

5. но STL - и "не совсем" библиотека - это только щаблонные определения, т.е. библиотека, полностью определённая в *.h-файлах... без реализационной части. Любая из реализаций STL будет нормально использоваться если только компилятор строго поддерживает ISO стандарт в части templates. GCC 2.95 - поддерживает, в строгом соответствии со стандартами (говорят, что и более ранние версии тоже). Т.е. "молиться" - не стоит ;-) - от компилятора здесь ничего не зависит, только от реализации template...

А почему им столько внимания... в этой теме?

1. STL реализации могут быть в 2-4 раза текстуально короче, и существенно устойчивее к ошибкам периода выполнения - то, что упоминалось в контексте надёжности ПО;

2. STL реализации через какой-нибудь vector<X> или list<X>, как это не странно на первый взгляд, в конечном итоге (не отдельного оператора, а приложения в целом) могут оказываться ... существенно быстрее (1.4, 2 ... раза) относительно эквивалентов через рудиментные массивы X* ... Сам несколько раз проверял это в задачах цифровой обработки сигналов ... и каждый раз удивлялся ;-).
Наверх
 Ответить Ответить Страница  <1 1213141516 36>

Переход на форум Права доступа на форуме Смотреть выпадающим

Bulletin Board Software by Web Wiz Forums® version 9.64
Powered by Web Wiz Forums Free Express Edition
Copyright ©2001-2009 Web Wiz