Центр информации по операционным системам: Форумы / Разное / Язык как основа операционной системы

Центр информации по операционным системам :: Форумы :: Общие :: Разное		<< Предыдущая тема \| Следующая тема >>
Язык как основа операционной системы

Переход на страницу 1 2 3 ... 14 [15] 16 17
Модераторы: Roman I Khimov, Wanderer, Dron

Автор Добавил

ossadchy

Четверг 01.11.2007 20:06

ID пользователя #941

Зарегистрирован: Среда 10.10.2007 22:55
Местонахождение: Украина, Николаевская обл., г. Первомайск
Сообщений: 181

alman написал(а) ...

ossadchy написал(а) ...

Ну C++ не типобезопасный язык. Суть в том что валидная программа на таком языке как Java(к примеру) НИКОГДА по определению не приведет к SIGSEGV.

Существуют ли в мире компиляторы Java, способные генерировать объектный код в любом из распространённых форматов?

GCJ, к примеру.

Наверх

Dron

Пятница 02.11.2007 00:10

ID пользователя #13

Зарегистрирован: Понедельник 05.07.2004 11:16
Местонахождение: Москва
Сообщений: 651

alman написал(а) ...




    longjmp( e, 0xfeedfeed );

...

    case 0xfeedfeed:

        _printf("Restoration point from the memory fault\n" );

        break;

Какой изврат!!!

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

Если ваша программа работает без ошибок, обратитесь к разработчику компилятора, он исправит ошибки в нем

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

Андрей Валяев

Наверх

ossadchy

Пятница 02.11.2007 11:59

ID пользователя #941

Зарегистрирован: Среда 10.10.2007 22:55
Местонахождение: Украина, Николаевская обл., г. Первомайск
Сообщений: 181

Dron написал(а) ...

alman написал(а) ...




    longjmp( e, 0xfeedfeed );

...

    case 0xfeedfeed:

        _printf("Restoration point from the memory fault\n" );

        break;

Какой изврат!!!

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

Наверх

GVL

Пятница 02.11.2007 12:10

ID пользователя #482

Зарегистрирован: Пятница 28.10.2005 18:16
Местонахождение: Украина, Винница
Сообщений: 11

Dron написал(а) ...

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

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

[ Редактирование Пятница 02.11.2007 12:11 ]

Наверх

Dron

Пятница 02.11.2007 12:29

ID пользователя #13

Зарегистрирован: Понедельник 05.07.2004 11:16
Местонахождение: Москва
Сообщений: 651

GVL написал(а) ...

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

Или начнутся всякие хаки... назовите переменную именем в 1025 символов, и система перестанет работать...

За примерами далеко ходить не надо...
Открой документ word и набери '= rand (200,99)' Затем нажми на Enter и удержи 3 секунды...

Они тоже наверное думали что наш типобезопасный Word всегда работает корректно

Андрей Валяев

Наверх

GVL

Пятница 02.11.2007 14:05

ID пользователя #482

Зарегистрирован: Пятница 28.10.2005 18:16
Местонахождение: Украина, Винница
Сообщений: 11

По поводу ошибок могу сказать что чем ярче проявляет себя ошибка тем легче ее пофиксить. Падение - это техническая ошибка, ее уберут сразуже, а вот с логическими ошибками дело обстоит намного сложнее. К сожадению на данный момент нет языков которые обеспечивают защиту от логических ошибок, так как логическое мышление все еще остается за человеком. Тут где-то всплывала статья Ершова о лексиконе программирования, еще вот: http://arbinada.com/main/node/10. Я ужегде-то приводил эту ссылку. Рекомендую почитать и поразмыслить...

Dron написал(а) ...

За примерами далеко ходить не надо...
Открой документ word и набери '= rand (200,99)' Затем нажми на Enter и удержи 3 секунды...

Они тоже наверное думали что наш типобезопасный Word всегда работает корректно

Проверил - все как полагается заполнилось тестовой строкой, ничего не упало...
А разве Ворд типобезопасный?

[ Редактирование Пятница 02.11.2007 14:07 ]

Наверх

Dron

Пятница 02.11.2007 14:55

ID пользователя #13

Зарегистрирован: Понедельник 05.07.2004 11:16
Местонахождение: Москва
Сообщений: 651

GVL написал(а) ...

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

Дык никто же не отрицает типобезопасных языков...
Типобезопасные языки - это хорошо и замеательно.
Но в сочетании с аппаратными возможностями защиты надежность систем только повысится.

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

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

GVL написал(а) ...

Проверил - все как полагается заполнилось тестовой строкой, ничего не упало...
А разве Ворд типобезопасный?

Да шучу насчет типобезопасности. Конечно он опасен!
Просто зачастую ошибки подстерегают там, где их не ждешь...
Когда все падает, это да, не проблема...
Я просто хочу сказать, что одна только типобезопасность никого не спасет от ошибок.

[ Редактирование Пятница 02.11.2007 15:00 ]

Андрей Валяев

Наверх

Roman I Khimov

Пятница 02.11.2007 17:17

ID пользователя #1

Зарегистрирован: Воскресенье 27.06.2004 12:37
Местонахождение: Санкт-Петербург
Сообщений: 601

Dron написал(а) ...
Типобезопасные языки - это хорошо и замеательно.
Но в сочетании с аппаратными возможностями защиты надежность систем только повысится.

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

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

Греби и улыбайся!

Наверх

alman

Пятница 02.11.2007 18:17

ID пользователя #753

Зарегистрирован: Суббота 28.10.2006 01:21
Местонахождение: планета Земля
Сообщений: 95

ossadchy написал(а) ...

GCJ, к примеру.

Что-ж, тогда вообще не вижу проблем с использованием Java для разработки ОС.
Не знаешь, кто бы мог портировать libgcj на L4?

Наверх

Chizh

Суббота 03.11.2007 00:55

ID пользователя #90

Зарегистрирован: Понедельник 13.09.2004 18:42
Сообщений: 170

Dron написал(а) ...
Дык никто же не отрицает типобезопасных языков...
Типобезопасные языки - это хорошо и замеательно.
Но в сочетании с аппаратными возможностями защиты надежность систем только повысится.

Dron, у тебя прямо какая-то программо-фобия

Логика аппаратной защиты столь примитивна, что её программный эквивалент будет не сложнее тупого макроса ASSERT. Какие там могут быть ошибки? В качестве эксперимента попробуй написать на C# программу, вызывающую исключение процессора.

написал(а) ...
Желание запихнуть все в одно адресное пространство не продиктовано ничем кроме желания, чтобы все работало побыстрее...
Правда мне не совсем понятно, как это желание сочетается с использованием виртуальных машин.

А кто сказал, что виртуальные машины - это интерпретаторы? Си не виртуальная машина?

написал(а) ...
Они тоже наверное думали что наш типобезопасный Word всегда работает корректно

[/quote1194000844]Да шучу насчет типобезопасности. Конечно он опасен!

Ворд типобезопасный, у него язык программирования Visual Basic.

Про ошибки логики спору нет, это отдельная проблема, её как раз пытается решить Freeman с помощью своей Единой Среды.

[ Редактирование Суббота 03.11.2007 00:57 ]

Наверх

Переход на страницу 1 2 3 ... 14 [15] 16 17
Перейти: Наверх