Rambler's Top100
"Knowledge itself is power"
F.Bacon
Поиск | Карта сайта | Помощь | О проекте | ТТХ  
 Базарная площадь
  
О разделе

Основная страница

Группы обсуждений


Тематический каталог обсуждений

Архив

 
 К н и г и
 
Книжная полка
 
 
Библиотека
 
  
  
 


Поиск
 
Поиск по КС
Поиск в статьях
Яndex© + Google©
Поиск книг

 
  
Тематический каталог
Все манускрипты

 
  
Карта VCL
ОШИБКИ
Сообщения системы

 
Форумы
 
Круглый стол
Новые вопросы

 
  
Базарная площадь
Городская площадь

 
   
С Л С

 
Летопись
 
Королевские Хроники
Рыцарский Зал
Глас народа!

 
  
ТТХ
Конкурсы
Королевская клюква

 
Разделы
 
Hello, World!
Лицей

Квинтана

 
  
Сокровищница
Подземелье Магов
Подводные камни
Свитки

 
  
Школа ОБЕРОНА

 
  
Арсенальная башня
Фолианты
Полигон

 
  
Книга Песка
Дальние земли

 
  
АРХИВЫ

 
 

Сейчас на сайте присутствуют:
 
  
 
Во Флориде и в Королевстве сейчас  17:49[Войти] | [Зарегистрироваться]
Обсуждение темы:
Русская ОС

Здравствуйте!

Хотелось бы знать, как народ отнесся бы к появлению проекта по созданию Руccкой ОС. Причём не только русской, но и всего русскоговорящего населения? Присоеденились бы вы к такому проекту?

Прошу не относить к флейму. Речь идёт о уже существующем проекте.

С уважением,

VICH

Количество сообщений на странице

Порядок сортировки сообщений
Новое сообщение вверху списка (сетевая хронология)
Первое сообщение вверху списка (обычная хронология)

Перейти на конкретную страницу по номеру


Всего в теме 5452 сообщения



Отслеживать это обсуждение
<<<... | 2552—2543 | 2542—2533 | 2532—2523 | ...>>>
Всего сообщений в теме: 5452; страниц: 546; текущая страница: 292


№ 2542   02-09-2007 12:37 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2539« (Сергей Прохоренко)
___________________________
То, что вы пишете, не относится к языкам общего назначения (оберон, хаскель, питон). Где тут "хорошо очерченный и формализованный круг задач"? Нет его. Нет и почвы для "создания специализированных языков".
Насколько я понял Руслана, он предлагает отдельный язык для описания межмодульного взаимодействия с тем, чтобы модули можно было писать на различных, подходящих к случаю языках. Такой язык как раз попадает в категорию "специализированных языков", т.к. решает довольно узкую и специфическую задачу.
Мне нравится такой подход, потому, что я привык видеть за инструментом соответствующий математический аппарат.
Есть лямда исчисление - есть ЛИСП.
Есть реляционное исчисление - есть SQL.
Есть теория конечных автоматов - нужен соответствующий синтаксис для ее реализации. Сейчас мы делаем реализацию на императивном языке, а на самом деле там два уровня: табличный и функциональный.
Постепенно приходит осознание, что универсальный язык, это несколько упрощенный ассемблер - можно все, но конкретные вещи приходится делать долго и ненадежно. Потому что думать приходится не в предметной области задачи, а в машинных кодах. Разве, что от кодов конкретного процессора перешли к к кодам виртуальной машины.
Сколько было ошибок при работе с БД из императивных языков. То попытка перейти за последнюю запись, то последнюю запись забыли обработать, то вообще удалили лишние записи из за смещения номеров при удалении. А SQL позволил мыслить не записями, а целыми таблицами.
Если мне потребуется работать с сетями Петри, то я не буду писать на императивном языке, а постараюсь сделать удобный инструмент для их описания. Это может оказаться вообще не язык в прежнем понимании, а некоторый визуальный редактор.


№ 2541   02-09-2007 12:31 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2537« (Руслан Богатырев)
___________________________
Ну зачем же Вы так сразу раскрываете наши секреты? :) А то мне еще и про Форт придется карты сразу раскрывать :)Необязательно Вам. Можно ведь попросить ещё кого-нибудь :).
Пока синтаксис Norebo-0 (а не сократить ли до R?) не определен, можно ли предложить частично позаимствовать нотацию у С?


№ 2540   02-09-2007 12:19 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2533« (Сергей Перовский)
___________________________
архитектура безопасной многопользовательской ОС должна принципиально отличаться от архитектуры встроенной ОСРВ. Они ориентированы на разную по смыслу безопасность и должны в своей основе иметь разные механизмы. Чем они могут быть похожи настолько, что их можно отнести к одному симейству и выделить некоторую общую часть мне непонятно.

А как же быть со встроенной ОСРВ, которая является частью огромной многопользовательской системы? Пример - автоматический транспорт. Система управления многоуровневая. На нижнем уровне ОСРВ транспортного средства, отвечающая за избежание столкновений. На верхних - система планирования транспортных потоков всей системы, планирования загруженности линий и станций, распределения порожняка, оплаты поездок и т.д. Команды с верхних уровней идут на нижние и исполняются, если не противоречат требованиям безопасности (как физической, так и информационной).

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


№ 2539   02-09-2007 12:05 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2535« (Сергей Перовский)
___________________________

Ответ на »сообщение 2518« (Сергей Прохоренко)
___________________________
Не забудем также необходимость знать SQL, HTML, XML и ассемблер
Однако включить SQL, HTML, XML в один язык программирования Вы все-таки не предлагаете :)
А ведь еще совсем недавно все мы рботали с БД из императивных языков.
Так-что создание специализированных языков с соответствующим синтаксисом для хорошо очерченного и формализованного круга задач оказалось эффективным.
Если есть язык для реляционного исчисления, почему не сделать язык для описания, например, конечных автоматов?


То, что вы пишете, не относится к языкам общего назначения (оберон, хаскель, питон). Где тут "хорошо очерченный и формализованный круг задач"? Нет его. Нет и почвы для "создания специализированных языков".


№ 2538   02-09-2007 09:26 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2528« (Сергей Прохоренко)
___________________________
PL/I сделан так, чтобы было удобно программисту, который на нем работает
Ну-уж. А помните, что для каждого устройства вывода существовала своя функция? И хотя параметры этих функций практически совпадали, порядок параметров был разный. То-то программисту лафа - помнить порядок, в котором нужно указывать параметры для шести однотипных функций и менять их при переходе на другое устройство.
А все от чего? Делало транслятор и системные библиотеки много человек по очень поверхностным спецификациям и каждый расставил параметры по своему.
Я вспоминаю PL/I как страшный сон. Тем более, что параллельно использовал Алгол, Симулу, Паскаль, Модулу. Пожалуй только Фортрану предпочел бы PL. Да и то не для всякой задачи.


№ 2537   02-09-2007 08:58 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2535« (Сергей Перовский)
___________________________

Если есть язык для реляционного исчисления, почему не сделать язык для описания, например, конечных автоматов?

Ну зачем же Вы так сразу раскрываете наши секреты? :) А то мне еще и про Форт придется карты сразу раскрывать :)


№ 2536   02-09-2007 08:53 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2533« (Сергей Перовский)
___________________________

Термин "архитектура системы" использовался тут в самых разных смыслах, но я не вижу более подходящего: архитектура безопасной многопользовательской ОС должна принципиально отличаться от архитектуры встроенной ОСРВ. Они ориентированы на разную по смыслу безопасность и должны в своей основе иметь разные механизмы.

Замечательно. Вот мы потихоньку подошли к этому вопросу. Информационной безопасности и trusted OS. Вспомним наброски месячной давности, где безопасность выделена как особенность номер 1 в новой ОС: http://rbogatyrev.livejournal.com/2007/07/16/

P.S. В нашу проектную группу уже вошли специалисты в области информационной безопасности.


№ 2535   02-09-2007 08:53 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2518« (Сергей Прохоренко)
___________________________
Не забудем также необходимость знать SQL, HTML, XML и ассемблер
Однако включить SQL, HTML, XML в один язык программирования Вы все-таки не предлагаете :)
А ведь еще совсем недавно все мы рботали с БД из императивных языков.
Так-что создание специализированных языков с соответствующим синтаксисом для хорошо очерченного и формализованного круга задач оказалось эффективным.
Если есть язык для реляционного исчисления, почему не сделать язык для описания, например, конечных автоматов?


№ 2534   02-09-2007 08:49 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2526« (Антон Григорьев)
___________________________

Виталий Валентинович Бианки.

Росянка - комариная смерть

http://www.lib.ru/TALES/BIANKI/rosynka.txt


№ 2533   02-09-2007 08:47 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 2515« (Руслан Богатырев)
___________________________
Блок находится в ядре. Изъять его может тот, кто имеет возможность пересобирать (реконфигурировать) ядро.
Что значит "монолитное включение" для модульной системы? Размазанное так, чтобы никто концов не сыскал? Или залитое эпоксидкой так, чтобы отодрать было нельзя, разве что с мясом?.

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


<<<... | 2552—2543 | 2542—2533 | 2532—2523 | ...>>>
Всего сообщений в теме: 5452; страниц: 546; текущая страница: 292




Отслеживать это обсуждение

Дополнительная навигация:
Количество сообщений на странице

Порядок сортировки сообщений
Новое сообщение вверху списка (сетевая хронология)
Первое сообщение вверху списка (обычная хронология)

Перейти на конкретную страницу по номеру
  
Время на сайте: GMT минус 5 часов

Если вы заметили орфографическую ошибку на этой странице, просто выделите ошибку мышью и нажмите Ctrl+Enter.
Функция может не работать в некоторых версиях броузеров.

Web hosting for this web site provided by DotNetPark (ASP.NET, SharePoint, MS SQL hosting)  
Software for IIS, Hyper-V, MS SQL. Tools for Windows server administrators. Server migration utilities  

 
© При использовании любых материалов «Королевства Delphi» необходимо указывать источник информации. Перепечатка авторских статей возможна только при согласии всех авторов и администрации сайта.
Все используемые на сайте торговые марки являются собственностью их производителей.

Яндекс цитирования