прошу ставить ссылки на первоисточник.

maxcom, пожалуйста проверяй наличие упоминания первоисточника. Оригинал текста новости http://www.opennet.ru/opennews/art.shtml?num=2966 Автор - poige (http://www.i.morning.ru/~poige/)

Вчера тоже без первоисточника передули текст новости: "prelink как средство для уменьшения времени загрузки программ" оригинал - http://www.opennet.ru/opennews/art.shtml?num=2958

проверки в run-time дают большой оверхед до 60%

Еще есть

http://manju.cs.berkeley.edu/ccured/

я бы сказал что это тупизм. На том же Си, с помощью грамотных макросов и военных порядков в деле выполнения Code Guidelines можно нормально писать код с нужными проверками. Учитывая что в деле написания ОС, библиотек и т.п. военный порядок все равно желателен, то все нормально.

А они просто те же самые военные порядки насаждают с помощью кастрации языка.

Другое дело что может пора конгломерату Си/препроцессор придумать замену, но только в том же двухслойном стиле.

Циклон это же отрава такая была, на базе цианидов вроде.

Яхта Беда.

удаленные комментарии посмотрел. Самым первым пойнт уловил anonymous (*) (10.10.2003 16:03:00)

Есть такой дяденька, DJ. Bernstein его зовут. Так он давно эту проблему
решил, переписав один раз стандартный библиотеки для работы с памятью,
I/O, и нашел замену format strings. Результаты на лицо: qmail, djbdns,
daemontools и т.д. Зачем что-то еще выдумывать? Взяли бы то, что уже
есть!

dilmah (*) (10.10.2003 18:19:55)
о каких Code Guidelines идет речь?

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

>недрять формальные методы спецификации

Хуй Вам нос дяденька! Вы не правы. Нужно завинчивать гайки именно
ВЫДУМЫВАНИЕМ новых языков. Если работаешь в хорошей команде и делаешь
все с нуля как дяденька берштейн - это другое дело, тут можно обойтись
формальными спецификациями да и то с трудом - и на старуху бывает сами
знаете что. Но так сейчас никто не работает - по крайней мере в серьезных, а не в пипирочных проектах. Все используют сторонние либы и
зачастую без исходников. ( Хотя если это солидные по объему вещи, то тут
никакие исходники не помогут ).Нужен механизм, не даст ДОЛБОЕБУ делать
его ДОЛБОЕБСКУЮ работу. Так как ДОЛБОЕБОВ-кодеров день отодня становится
все больше - такой механизм ЖИЗНЕННО НЕОБХОДИМ тем более что даже
отличные профессионалы ошибаются. Вот почему С++ и иже еси будут быть
вытеснены разными там C-клонами, Ada-ми, SPARK-ами (драконовский диалект
Ada), жабами (тьфу-тьфу-тьфу гадость), С# ... хоть и жалко сам на С++
крапаю ...

Хотя ... мы как то в 2001 решили попользовать медузу. Ну полезли
в потроха и что вы думаете? Там задержка была запрограммирована
ЦЫКЛОМ!!! что то типа

for (int i = 100000; i > 0; i-- );

И это всем богатстве жабовской стандартной библиотеки! Кто пользует
( мы не стали ) посмотрите - может до сих пор этот перл там!

Captain Nemo.

Дык! Всем смотреть на Why и Krakatoa.

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

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

ананимус, следи за языком

Сушествуют ли средства доказывающие правильности кода? Правильность мат. модели доказать можно. При помоши таких систем как Atelier B, B-Toolkit, вы генерируете код, который полностью соотвествует модели, а значит он тоже правильный. В тестах нет необходимости. В финале у вас есть выбор на каком языке генерировать код: C,C++,Ada. Что само по себе становится проблемой второстепенной (обходимся тем что сушествует).

Конечно, такой подход требует средств и хороших специалистов, а не долбоебов-кодеров, как ты говоришь.

Вот вам реальный пример - беспилотная линия метро Метеор в Париже, секурная часть кода была смоделированна на B (107.000 линий кода), котрый затем был сгенерен в код на Аде (87 000 линий)

http://www.afm.lsbu.ac.uk/b/

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

где Antichrist тока такие языки откопывает что в google на первой странице его не найти - наверне целыми днями hello world'ы компилит на разных языках и не хрена больше не делает.

Yo, Antichrist is back! Way to go!

Дык это только подонки-онанимусы информацию по гуглям выискивают, да юзают только то, что считается модным среди таких же подонков. А нормальные люди периодику по Computer Science читают. Так что удавись, бздливая онанимная гнида.

слово БЗДливая неполиткорректно..

билять, мужики, я скоро инфаркт от смеха получу!! ЛЮБУЮ ТЕМУ на ЛОРе в такой балаган превращают!!! %)))))))))))

> о каких Code Guidelines идет речь?

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

слушай, а если я делаю свой собственный проект(....например), посоветуешь какие руководства "безопасного програмирования"?

> слушай, а если я делаю свой собственный проект(....например), посоветуешь какие руководства "безопасного програмирования"?

Антихриста═спроси, это═его═ниша..

Побойся Бога!! Антихриста рекомендовать %))))
вот, http://www.dwheeler.com/secure-programs/ во второй главе даны некоторые ссылки на полезные руководства, да и сама эта дока полезна..

>>Antichrist (*) (12.10.2003 17:38:28)
Ссылку на computer science кинь...

>ананимус
Ну ... раз уж мы на ты ... посмотрел бы транскрипцию чтоли ... чего
позориться то ?

>следи за языком
Ok бабайка.

>который полностью соотвествует модели
А то, в терминах чего Вы описываете модель и есть ЯЗЫК.
gcc например генерит C++ в asm, а тот в свою очередь в автокод,
но если Вы кодируете на C++ то Вы и говорите, что Вы кодируете на С++, а
не на ассемблере или тем паче в машинных кодах.

Captain

>Ссылку на computer science кинь

www.google.com

бля гугл я без тя знаю, надо сразу все кучей.

http://citeseer.nj.nec.com :)

> Вот вам реальный пример - беспилотная линия метро Метеор в Париже, секурная часть кода была смоделированна на B (107.000 линий кода), котрый затем был сгенерен в код на Аде (87 000 линий)

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

Шило на мыло эти все модели. Что-нибудь сложное ни хрена не проверишь. Тесты рулят.

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

> По секрету расскажу, что в 107 тысячах строчек кода ошибку допустить легче, чем в 87 тысячах.

там наверно избыточность офигенная. Так что не легче.

> мы как то в 2001 решили попользовать медузу. Ну полезли в потроха и что вы думаете? Там задержка была запрограммирована ЦЫКЛОМ!!!

А что есть медуза? Я уже обгуглился и яндекс поломал. Нашел токо про какой-то численный метод.