Просмотр сообщений

В этом разделе можно просмотреть все сообщения, сделанные этим пользователем.


Темы - valexey_u

Страницы: 1 [2] 3 4 ... 7
16
Общий раздел / ОС Синергия.
« : Май 30, 2014, 12:25:00 am »
А вот что в моем родном Сарове (aka Арзамас-16) творится:
Цитировать
Предприятие «Росатома» РФЯЦ-ВНИИЭФ создает собственные ОС, СУБД и гипервизор для того, чтобы стать независимым от иностранных поставщиков программного обеспечения. В конечном счете типовую инфраструктуру, в которую войдут собственные программные продукты, планируется тиражировать на все предприятия ядерного оборонного комплекса и создать на ее базе платформу для предприятий ОПК.

Подробнее см. тут: http://www.cnews.ru/news/top/index.shtml?2014/05/28/573660

17
А вот кому для Русского Оберона компьютер отечественный?

http://www.module.ru/catalog/micro/micro_pc/



Процессор там - СБИС К1879ХБ1Я, это ARM1176JZF-S c кучей всего на борту - от DSP для обработки видеосигнала, до всяких LAN'ов.

А так, если кратко, характеристики такие:
  • Декодер цифрового телевизионного сигнала К1879ХБ1Я
  • Процессор ARM 1176 с тактовой частотой 324 Мгц
  • DSP NeuroMatrix NMC3 с тактовой частотой 324 Мгц
  • Системная память DDR2-667 SDRAM общим объемом 256 МБ (2 модуля по 128 МБ)
  • NAND-флеш-память, объем 1 ГБ
  • SPI master
  • Синхронный параллельный интерфейс транспортного потока
  • Ethernet 10/100 MБит
  • USB 2.0 (2 стандартных порта + 2 на общем разъеме)
  • HDMI 1.2
  • GPIO до 32 портов (на общем разъеме)
  • UART
  • JTAG-4
  • EDCL
  • SPDIF (многоканальный)
  • I2S
  • Питание 5 В, 2.5 А
  • Габариты 80 х 80 мм
  • Температурный диапазон -40 +85 С

То есть это комп с процом 324 МГц, и 256 Мб ОЗУ, с выводом видео на hdml (то есть считай любой современный монитор или телевизор), с usb и всем прочим, что там компу полагается иметь (ну разве что кроме ATA/SATA, но это и не нужно тут) типа там LAN'a. А в качестве бонуса - возможность помигать светодиодом (GPIO), подключить любой датчик по I2C или SPI, или не датчик, а наоборот LCD-дисплей от телефона. В общем любую дивайсину для той же ардуины можно подцепить и защупать с этого компа.

Размеры - 8 на 8 см.

Очевидно, что можно смотреть видео/телик - у данного компа для этого все есть (аппаратные декодеры).

Ах, да, самая мякотка - львиная доля исходники специфичных для этого компа (драйвера там и так далее) только что выложили в опенсорс на гитхабе. А позже - выложат и все остальное. Вот соответствующая новость на Lor: http://www.linux.org.ru/news/hardware/10481701

Так что, в принципе, ничто не мешает взять Oberon OS и портировать туда - получить полноценный отечественный комп с православной системой ;-)

Ах, да, стоит это счастье каких-то несчастных 3280 руб + НДС, то есть меньше 100 долларов.

18
Общий раздел / 50 лет Basic'у!
« : Май 02, 2014, 04:01:36 pm »
Вчера был великий день - величайшему ЯП всех времен и народов исполнилось 50 лет! Язык столь велик и прекрасен, что даже Дейкстра был к нему не равнодушен.

По этому поводу на хабре появилась статья: http://habrahabr.ru/post/221617/

В оной статье предлагается попробовать новую среду для Бейсика - QuickVB. Думаю многим понравится :-)

19
Собственно сабж. http://habrahabr.ru/post/218187/

Цитировать
сегодня запущен сайт .NET Foundation, на котором «для начала» собрано 24 проекта с открытыми исходными кодами, в том числе недавно вышедший .NET Compiler Platform (Roslyn)
...
Проект Roslyn — это open-source компиляторы Visual Basic и C#, с богатыми API для анализа кода. Над API надстраивается множество полезных сервисов. Это такие же интерфейсы, которые используются в Visual Studio.

https://roslyn.codeplex.com/SourceControl/latest

20
Общий раздел / Безопасность и Си.
« : Январь 14, 2014, 08:09:55 pm »
Что-то у нас тут клеветы только на Оберон. Пора бы разбавить. Так что теперь про Си будет (нет. не про С++, хотя к нему частично тоже применимо, особенно если разработчиков давно плетьми не драли и они продолжают писать код в стиле Си).

Собственно сама история описана тут: http://habrahabr.ru/post/198836/

Если кратко - из за того, что в Сях есть две вещи:
1) взятие адреса у локальной переменной (&foo)
2) указателю можно присвоить целое число и ничто нигде не руганется

в коде случайно прошла замена вот такого:
void foo(error* err) {
   *err = SUCCESS;
}

void bar() {
    error err = SUCCESS;
    foo(&err);
}

на такое:
void foo(error* err) {
   *err = SUCCESS;
}

void bar() {
    error* err = SUCCESS;
    foo(err);
}

Ну и собственно всё. Ошибочный код замечательно прошел все тесты (то есть тестирование не спасло, ошибка вылезла только через 30 дней после рокового комитта). Врукопашную найти ошибку не вышло - искали 50 часов, не нашли, только примерно локализовали.

Удалось справиться только посредством сторонней тулзы для статического анализа кода (PVS Studio).

Такой путь появления ошибки в Обероне просто не возможен!

То есть чтобы компенсировать кривость языка Сишникам пришлось написать дико сложную тулзу статической проверки кода - вот она сложность порождающая еще бОльшую сложность на ровном месте (и позволяющая, между прочим, заработать на этих самых тулзах, чем народ и занимается)!

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

Вот такой он, современный мейнстрим в embedded разработке.

21
Общий раздел / Популярность языков в 2013
« : Январь 11, 2014, 02:03:14 am »
На этот раз это результаты опроса в твиттере.

http://code2013.herokuapp.com

В принципе, по моим ощущениям, как-то так оно и есть (в плане численности активных членов сообществ соответствующих языков)

22
Общий раздел / Link to ETH Reports & Dissertations
« : Декабрь 18, 2013, 11:33:08 am »
Сейчас вот прилетело письмо:

Цитировать
From:  Treutwein Bernhard

Dear Alexey,
 
today I stumbled over your posting of 25. July 2013 on the BlackBox
mailing list mentioning http://oberspace.dyndns.org and from there I arrived at
https://sites.google.com/site/oberonsystems/, which I was able
to read with the help Google translate. The are links on page
https://sites.google.com/site/oberonsystems/home/tehniceskie-otcety-eth
to archives of dissertations and technical report of ETH. Just to let
you know: There is a newer and better maintained archive of technical
reports and dissertations available: http://e-collection.library.ethz.ch/
 
You can search there for almost any document published at ETH, e.g.:
Clemens Szyperski’s disstertation: Insight ETHOS (which is/was the
foundation of Oberon/F aka BlackBox) and many others.
 
regards
--
  Bernhard

Сайт действительно полезный. По крайней мере по ETHOS там нашелся полный pdf'ник мгновенно.

23
Общий раздел / Умер автор Anti-Grain Geometry..
« : Декабрь 13, 2013, 03:58:37 pm »
Сабж. Если кто не знает - его звали Максим Шеманарев.

Около трех недель назад умер в США от приступа эпилепсии. Тема на РСДН: http://rsdn.ru/forum/life/5377743.flat

PS. Если кто не знает, вот его либа: http://antigrain.com Сайт пока жив.
PPS. У меня коллега был его хорошим другом.

24
Общий раздел / PICL - язык от Вирта для PIC
« : Ноябрь 08, 2013, 10:51:50 am »
Собственно Вирт разрабатывает языки и для микроконтроллеров тоже, и нет, это не Оберон-07 :-)

http://www-oldurls.inf.ethz.ch/personal/wirth/Articles/Miscellaneous/PICL.pdf

25
Общий раздел / Programming in Oberon
« : Ноябрь 08, 2013, 10:38:46 am »
Собственно вот еще один источник информации о Обероне и о том о чем думает Вирт когда изменяет Оберон: http://www.inf.ethz.ch/personal/wirth/Articles/Oberon/PIO.pdf

Последняя ревизия от 2011 года. То есть там учтены нюансы как минимум Oberon rev 2007 (об этом явно сказано). Автор сего текста - Вирт.

Там больше 16ти страниц и там все расписано довольно подробно (правда вот по CASE там нет абсолютно ничего, у меня ощущение, что Вирт не считет эту конструкцию более важной и постепенно выпиливает).

26
Общий раздел / [Oberon rev 2013] operator =,<,>,<=,>=
« : Ноябрь 07, 2013, 09:25:31 pm »
Согласно 8.2.4:
Цитировать
Relations are Boolean. The ordering relations <, <=, >, >= apply to the numeric types, CHAR, and character arrays

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

Также я нигде не нашел что для relations оба операнда должны быть одного типа.

В общем, ткните меня плиз носом в пункт репорта, где запрещено следующее:
myBoolVar := 3.1415 >= "hello world";

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

Как это культурней организовать в Обероне? Оберон не позволяет вызов такой функции оформлять в виде statement'a, только в виде expression'a. А expression у нас будет либо в assignment, либо в IF либо в CASE либо в WHILE. Что не здорово.

Просто городить две версии этой функции с разными названиями? Типа FooProc, FooFunc?

28
Общий раздел / [Oberon rev 2013] CASE
« : Ноябрь 06, 2013, 01:07:53 pm »
По поводу CASE - самое смешное, что если результат expression'a не соответствует ни одному из label, то программа спокойно продолжает работать. То есть HALT'а не будет:
x := 42;
CASE x OF
    1: ret := int
  | 2: ret := real
  | 3: ret := char
END

Это абсолютно валидный рабочий код с точки зрения современного Оберона.

Ну а почему здесь должен быть HALT?
Ведь раз CASE OF просто синтаксических сахар для IF-ELSIF, то этот код эквивалентен такому:
x := 42;
IF    x = 1 THEN ret := int
ELSIF x = 2 THEN ret := real
ELSIF x = 3 THEN ret := char
END
Тут же всё в порядке, ветка ELSE не является обязательной...

Ну, насколько я понимаю, это не совсем так. Например вот тут изложены некие соображения: http://forum.oberoncore.ru/viewtopic.php?f=6&t=2284#p41338

Которые местами не верные, но любопытные. (Вирт вернул символьные литералы в качестве label в CASE, также в Обероне не требуется именно плотная упаковка этих самых label).

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

Цитировать
то достаточно известная книга Кристиана Кеннека, рассматривающая семантику Лиспа и основы его реализации на примере диалекта Scheme. В процессе повествования разбирается множество аспектов семантики языка, начиная разнообразными вариантами окружений, проходя через продолжения и исключения, заканчивая рефлексией, сутью макросов, компилятором в Си и объектной системой.

Книга содержит 11 интерпретаторов, 2 компилятора, стопку упражнений в каждой главе, уйму интересного материала об истории Лиспа и причинах принятия тех или иных решений в дизайне языка, некоторое количество аллюзий на современные языки программирования, а также небольшой вагончик литературы впридачу.

Здесь нет откровений, невероятно эффективных оптимизаций, мощных систем типов и прочих атрибутов современной computer science (книге 20 лет всё же), но есть отличное твёрдое введение в реализацию языков программирования, призванное заинтересовать новичков, познакомить их с основными понятиями и приёмами этого дела, построив таким образом фундамент для дальнейшего развития.

Книга (пока) существует только в электронном виде. По соглашению с автором, она распространяется под CC BY-ND (с небольшими оговорками). Репозиторий с исходниками книги, исходниками программ, уточнённой лицензией и контактными данными располагается здесь.

На данный момент есть только версия, свёрстанная под A4. Варианты под читалки и прочие айпады ожидаются в скором времени. (Это муторное дело.)
http://www.linux.org.ru/news/doc/9754431

https://github.com/ilammy/lisp/releases/download/v.1.0/lisp.pdf

30
Урочище Флуда / Тест
« : Октябрь 27, 2013, 05:08:51 pm »
Тест

Страницы: 1 [2] 3 4 ... 7