Здравствуйте, absolute, Вы писали:

A>Сервер поддерживает HTTP/1.1

Кто б сомневался. Вопрос — в какой мере.

A>Теперь давайте попробуем выяснить, к какой категории относится Bluebottle по каждому протоколу.

RFC 2616: Hypertext Transfer Protocol -- HTTP/1.1 Page 139:

A server MAY ignore the Range header. However, HTTP/1.1 origin
servers and intermediate caches ought to support byte ranges when
possible, since Range supports efficient recovery from partially
failed transfers, and supports efficient partial retrieval of large
entities.

Решай сам...

absolute wrote:
> C>Это даже не смешно. Там нет НИ ОДНОЙ новой идеи даже для 90го года.
> Идея: написать всю систему целиком на языке,
> формальная грамматика которого занимает 1 страницу.
Фигня это — вот у Форта вообще нет грамматики как таковой. А еще есть и
Лисп/Схема...

--
С уважением,
Alex Besogonov (alexy@izh.com)

Здравствуйте, Cyberax, Вы писали:

>> Идея: написать всю систему целиком на языке,
>> формальная грамматика которого занимает 1 страницу.
C>Фигня это — вот у Форта вообще нет грамматики как таковой. А еще есть и
C>Лисп/Схема...

...причем насколько я знаю, экспериментальные форт-ОС и лисп-ОС были еще лет 20 назад.

Пацак wrote:
> C>Фигня это — вот у Форта вообще нет грамматики как таковой. А еще есть и
> C>Лисп/Схема...
> ...причем насколько я знаю, экспериментальные форт-ОС и лисп-ОС были еще
> лет 20 назад.
Угу, Lisp OSи были в начале 70-х (если не раньше). В 80-х уже вовсю
продавались (причем достаточно успешно) Симболиксы с аппаратной (точнее
микропрограммной) реализацией Лиспа.

Форт-ОСы были и сейчас успешно применяются ForthCPU для
микроконтроллеров.

--
С уважением,
Alex Besogonov (alexy@izh.com)

Здравствуйте, Дарней, Вы писали:

Д> в таком случае объясните, уважаемый, каким образом оберон гарантирует, что код одной проги не разрушит код другой проги из-за некорректной работы с указателями?

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

Это означает что с указателями можно выполнять следующие операции:

1. Получать из NEW нового корректного указателя.
2. Присваивать и проверять на равенство/неравенство с контролем типа или с NIL.
3. Разыменовывать с контролем типа.
4. Вручную проверять тип указателя.

Обращение к динамической переменной никогда не выходят за её границы. Смещения внутри динамических записей известны во время компиляции и корректны. Индексы динамических массивов по возможности проверяются во время компиляции, или, если это не удаётся, в код вставляется динамическая проверка диапазона.

Д> и каким образом гарантируется, что какой-нибудь местный аналог ноутпада не полезет работать с жезеом напрямую?

Самый простой способ — посмотреть исходник.
Если нет IMPORT SYSTEM значит не работает с железом напрямую.
Разумеется, эта проверка может быть автоматизирована (в интересах "неопытных пользователей").

Здравствуйте, absolute, Вы писали:

A>Очень просто: все прикладные указатели типизированные.

A>Это означает что с указателями можно выполнять следующие операции:

A>1. Получать из NEW нового корректного указателя.
A>2. Присваивать и проверять на равенство/неравенство с контролем типа или с NIL.
A>3. Разыменовывать с контролем типа.
A>4. Вручную проверять тип указателя.

значит, это просто не указатель, а ссылка. И не надо сбивать людей с толку нестандартной терминологией.
А возможность организовывать подобия доменов приложений или SIP там есть?

A>Самый простой способ — посмотреть исходник.

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

Здравствуйте, absolute, Вы писали:


A>Самый простой способ — посмотреть исходник.
A>Если нет IMPORT SYSTEM значит не работает с железом напрямую.

Нужно просматривать все импортируемые модули, вдруг в каком-нибудь из них есть эта директива.

Здравствуйте, absolute, Вы писали:

Д>> и каким образом гарантируется, что какой-нибудь местный аналог ноутпада не полезет работать с жезеом напрямую?
A>Самый простой способ — посмотреть исходник.
A>Если нет IMPORT SYSTEM значит не работает с железом напрямую.
A>Разумеется, эта проверка может быть автоматизирована (в интересах "неопытных пользователей").

Только два вопроса:
1) Во что превращается IMPORT SYSTEM после компиляции, т.е. каким образом я могу отследить это в бинарном файле?
2) Нужны ли какие-то особые права для того, чтобы модифицировать бинарники?

Здравствуйте, Дарней, Вы писали:


Д>гениально
Д>то есть дистрибуция бинарных компонентов исключается раз и навсегда, верно?
Д>кстати, а на каком языке написаны функции из SYSTEM?

Главный глашатай Оберона однажды об этом здесь

Автор: Сергей Губанов
Дата: 25.01.05

высказался. Ну и реакция на это сообщение соответствующая.

C>Если апологеты Оберона не понимают, что ОС в которой нельзя использовать
C>другие языки программирования — нафиг никому не нужна, то это уже клиника.

Чем это отличается от JavaVM, в которой нельзя использовать другие языки кроме java ?

Здравствуйте, Arioch2, Вы писали:

A>Чем это отличается от JavaVM, в которой нельзя использовать другие языки кроме java ?

Правда? http://www.robert-tolksdorf.de/vmlanguages.html

Другое дело, что редко используются.

Здравствуйте, Cyberax, Вы писали:

C>Например, в Ижевске это 99%. Я плачу по 1-3 рубля за мегабайт траффика.

Это еще по-божески. столица все-таки. Не так давно в некоторых райцентрах приходилось платить за межгород, чтобы дозвониться до провайдера.

Здравствуйте, ilya_ny, Вы писали:

_>я в компаниях в новосибирске тоже dial-up ? я это к тому что можно скачать что нужно на работе, записать на CD и потом дома играться...

Это все — детский лепет. Оправдывать отсутствие поддержки фич протокола возможностью сходить на работу и записать болванку — большего бреда я еще не встречал.
На самом деле, поддержка адвансед фич HTTP 1.1 нужна в первую очередь серверу. Клиенту-то по барабану — он рано или поздно выкачает. А вот неумение сервера экономить трафик ограничивает его масштабируемость. А стало быть, является препятствием к его коммерческому применению.

Здравствуйте, Дарней, Вы писали:

Д> значит, это просто не указатель, а ссылка.

Чем отличаются указатели и ссылки?

Д> И не надо сбивать людей с толку нестандартной терминологией.

Это обероновая терминология.
В каких стандартных языках программирования ссылки определяются в точности таким образом как только что описано: подчиняются сильной типизации и могут иметь значение NIL?

Д> А возможность организовывать подобия доменов приложений или SIP там есть?

Каждый кусок кода может обращаться только по указателям, которые он сам создал с помощью NEW, либо которые ему переданы в качестве аргумента. Если указателя нет, то обратиться к динамической переменной невозможно. Таким образом, в Обероне каждая процедура имеет доступ только к тем данным, которые необходимы для её работы. И не больше. Никаких дополнительных доменов не нужно, и в целом вся система представляет собой единое интегрированное и расширяемое целое.

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

Без этого можно обойтись.
Тогда почему нет?

Д> кстати, а на каком языке написаны функции из SYSTEM?

Частично в машинном коде, частично являются частью компилятора — дополнительными конструкциями языка.

Здравствуйте, Privalov, Вы писали:

P> Нужно просматривать все импортируемые модули, вдруг в каком-нибудь из них есть эта директива.

Если действия модуля приводят к вводу-выводу (например, файловому обмену или сетевой коммуникации), то собственно ввод-вывод осуществляется модулем, который заведомо импортирует SYSTEM.

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

Здравствуйте, Пацак, Вы писали:

П> 1) Во что превращается IMPORT SYSTEM после компиляции, т.е. каким образом я могу отследить это в бинарном файле?

Это не имеет значения, оппоненты Оберона хотят редактировать двоичный код.

П> 2) Нужны ли какие-то особые права для того, чтобы модифицировать бинарники?

Разумеется: оппонентам Оберона запрещено модифицировать какие-либо бинарники.

Защита от повреждения двоичного кода во внешнем хранилище может быть решена на уровне загрузчика модулей. Загрузчик модулей может читать код из хранилища, к которому никто не имеет доступа. Или имеет доступ только компилятор. Или загрузчик может использовать компилятор для компиляции загружаемых модулей. (В Bluebottle загрузчики модулей это плагины.)

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

Здравствуйте, Arioch2, Вы писали:

A> Чем это отличается от JavaVM, в которой нельзя использовать другие языки кроме java ?

Лучше спросить так: чем это отличается от JVM, в которой весь код должен быть для JVM.
Или от NET, где весь код должен быть для CLR.
Или от обычных ОСей, в которых исполняемые файлы должны содержать машинный код.

Здравствуйте, Sinclair, Вы писали:

S> Это все — детский лепет. Оправдывать отсутствие поддержки фич протокола возможностью сходить на работу и записать болванку — большего бреда я еще не встречал.
S> На самом деле, поддержка адвансед фич HTTP 1.1 нужна в первую очередь серверу. Клиенту-то по барабану — он рано или поздно выкачает.
Неужели первый раз в жизни встретился сервер, не поддерживающий докачку?

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

Или Оберон тоже виноват в том, что они так настроены?

S> А вот неумение сервера экономить трафик ограничивает его масштабируемость. А стало быть, является препятствием к его коммерческому применению.

Современный технологический уровень изготовления коммуникационного оборудования столь высок, что вероятность потери пакетов настолько мала, что накладные расходы протокола TCP на квитанции приводят к лишним расходам трафика. Следует ли с этим что-то делать? Насколько это препятствует коммерческому применению?

Здравствуйте, absolute, Вы писали:

П>> 1) Во что превращается IMPORT SYSTEM после компиляции, т.е. каким образом я могу отследить это в бинарном файле?
A>Это не имеет значения, оппоненты Оберона хотят редактировать двоичный код.

Именно поэтому я и спрашиваю.

П>> 2) Нужны ли какие-то особые права для того, чтобы модифицировать бинарники?
A>Разумеется: оппонентам Оберона запрещено модифицировать какие-либо бинарники.

И как Oberon OS отличает оппонентов Оберона от его апологетов?

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

И как при этом будет выглядеть установка новых модулей?

Здравствуйте, Пацак, Вы писали:

П> И как Oberon OS отличает оппонентов Оберона от его апологетов?

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

П> И как при этом будет выглядеть установка новых модулей?

Ну и для установки модулей можно завести контролируемый механизм.