Oberon space

Чтобы было понятно о чем речь, небольшое вступление:
Мы создаем некий програмно-аппаратный комплекс. Ну, как комплекс.. Сенсор + цифровой мозг (микроконтроллер, плата) + bluetooth low energy по которому эти данные передаются на какой-нибудь iPhone, или персоналку, и где они затем в реальном времени забавными численными методами обрабатываются. Решение околомедицинское (ну, то есть не для реанимации, но для фонового мониторинга пациентов, для людей вообще следящих за своим здоровьем, для тех кто занимается фитнесом в том числе, для тех кто любит полазить по горам).

У сенсора есть некий параметр, которым можно рулить как с микроконтроллера, так и с iPhone/PC. Параметр критически важный, если его выставить не правильно, то процесс измерения нарушится.

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

Ладно, пошли шагать в дебагере по коду микроконтроллера, а ну как там ошибка? Ошибки в коде не обнаружилось, зато обнаружилось, что после того как байт с сенсора принят, в момент посылки сигнала STOP по I2C, принятый байт портится. Если в байте было число n, то становится 2*n+1 (ну, или  (n << 1) | 1 ). А поскольку значения-результаты измерений у нас были двух байтовые, то вместо числа 10, мы получали число 277, а вместо 1 мы конечно же получали 3 (тот параметр однобайтовый). Кода отвечающего за это поведения просто нет - ошибка на уровне камня. (а камень у нас от всем известной американской компании широко известной в том числе научными калькуляторами и микроконтроллерами). Воткнули код для обхода этой ошибки, теперь у нас все работает корректно.

При чем тут циклы? А циклы тут не при чем, как и в случае всех остальных ошибок которые я видел как минимум за последний год в нашей команде. Процентов 70-80 ошибок которые вылезают имеют характер подобный вышеописанной ошибке.

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

http://habrahabr.ru/post/144776/

Сайт разработан Астраханским государственным техническим университетом. По моему, это позор.

Листая flipboard внезапно наткнулся на свежую заметку про Оберон и основные принципы на которых он построен: http://prog21.dadgum.com/136.html

Предположим у нас нет никаких исключений. Также у нас нет монад и вообще мы не можем использовать выражения (expressions) чтобы связать вычисения, только чистые statement'ы. И у нас есть код, последовательность вызова функций. Каждая функция возвращает код ошибки. Если код nil, значит все хорошо и нужно продолжать вычисления дальше. Если же нет, то нужно напечатать что-то в лог и прекратить вычисление.

Если делать тупо в лоб, то получается как-то так:
err = f1()
if (nil == err) {
    err = f2()
    if (nil == err) {
        err = f3()
        if (nil == err) {
        ...
        }
    } else {
        logError();
    }
} else {
    logError();
}
То есть куча вложенных if'ов на ровном месте и радостное перемешивание кода логики с кодом обработки ошибок.

Есть такой распространненный паттерн решения этой задачки:
err = f1()
if (err!=nil) {
    logError()
    return
}
err = f2()
if (err!=nil) {
    logError()
    return
}
err = f3()
if (err!=nil) {
    logError()
    return
}
Откровенно говоря, он мне тоже не нравится (хотя читается несколько лучше предыдущего) - код и логика опять смешаны. И опять туча дублирующегося кода.

Кто как справлялся с таким вот когда (и если) доводилось сталкиваться?

На хабре появился перевод замечательной заметки про фреймворки: http://habrahabr.ru/post/141477/

Я полностью согласен с автором. Ибо видел я писаное на оных фреймворках приложения. Например Red5. Это страх и ужас. Мало того что код монструозный, и стектрейсы в случае исключений километровые, так оно еще до кучи тормозит, а код слабосвязный (связный через конфиги по сути), в результате никакая IDE не помогает разобраться что откуда и куда вызывается/загружается и так далее.

Когда выбирал на чем писать веб, посмотрел на java-примеры GAE, и понял что не хочу этого. В результате выбрал Go - он еще не успел обрасти таким кошмаром (хотя, потенциально и может - в языке, как и в связке КП+ББ например, для этого все есть).

Вообще, я люблю яву как язык и виртуальную машину, и j2se люблю. Но вот j2ee - это ужас-ужас.

Автор вот этой темы (Romiras): http://oberspace.dyndns.org/index.php/topic,204.0.html
предлагает отделить в отдельную тему обсуждение статические vs динамические страницы  в отдульную тему. То есть начиная с вот этого сообщения: http://oberspace.dyndns.org/index.php/topic,204.msg4314.html#msg4314

Конкретно просьба:

Отдели пожал-а сообщения от #24 и выше в другую тему.

Поскольку правила мне как бы запрещают перемещать/удалять/изменять сообщения, поэтому требуется всеобщий консенсус. В общем, если в течение трех дней (как показывает статистика все активные пользователи хотя бы раз в три дня заглядывают на форум) никто не выскажется против, но кто-то выскажется за (кроме автора предложившего это), то отделю сообщения с #24 по #39 включительно в отдельную тему. Кстати, название темы за вами, так что без названия темы разделять не буду :-) (да, я ленивый).

Вопрос по примерам семантической модели - не ко мне. Для меня они являются сферическими конями на сей момент. Я просто "подхватил" идею.

Ну вот. Опять сферконь… В общем, хотелось бы примеров от кого-нибудь, чтобы конь был не очень сфер.

Статический контент - это простой, безусловный HTML. Он не подвержен влиянию никаких внешних параметров при запросе серверу и времени.

Гм. Тогда я не могу придумать примеров статического контента. Ну, например вот это же явно не подпадает под определение статического контента: http://subtroj.info/oberon@conference.jabber.ru/2012/03

by valexey: тема была отделена отсюда по просьбе автора изначального топика и по всеобщему консенсусу участников