Evgeny_CD, Архитектор (01.12.2016 00:47, просмотров: 508)Гибридная ОСька. Как квинтэсенция идей обсуждения "идеального ядра" -> http://caxapa.ru/715800.html
Пусть будет ОСька. Ядро + библиотека классов для всего под управлением ОСьки. А все прикладеное добро пишется только путем наследования этих классов, причем ничто, что касается безопасности, переопределить нельзя. Т.е. юзео не может использовать просто указатель в своем коде, это обязательно должен бысь смартуказатель с самоконтролем не выхода за пределы и т.д. Кроме пары сантитаров, которые должны дежурть возле каждолго программиста, есть еще одна проблема. Проверка синтаксиса прикладного кода. Чтобы ушлый прогреммер не родил там какой неконвенциальный ptr, а потом не сделал втихаря ptr++; Интересно, среди известных ОСей, пусть редких и экзотических, приемры такого "верификатора синтаксиса"? Есть у меня, конечно, идейка одного решения. Прикладеной код пишется в специальной IDE, где нет чистого текстового редактора. Нельзя ручками написать void* v_ptr, можно только по хоткею вызвать менбшку, и там в списке выбрать - переменная такая-то, способ доступа такой-то, оператор такой-то и т.д.
Пусть будет ОСька. Ядро + библиотека классов для всего под управлением ОСьки. А все прикладеное добро пишется только путем наследования этих классов, причем ничто, что касается безопасности, переопределить нельзя. Т.е. юзео не может использовать просто указатель в своем коде, это обязательно должен бысь смартуказатель с самоконтролем не выхода за пределы и т.д. Кроме пары сантитаров, которые должны дежурть возле каждолго программиста, есть еще одна проблема. Проверка синтаксиса прикладного кода. Чтобы ушлый прогреммер не родил там какой неконвенциальный ptr, а потом не сделал втихаря ptr++; Интересно, среди известных ОСей, пусть редких и экзотических, приемры такого "верификатора синтаксиса"? Есть у меня, конечно, идейка одного решения. Прикладеной код пишется в специальной IDE, где нет чистого текстового редактора. Нельзя ручками написать void* v_ptr, можно только по хоткею вызвать менбшку, и там в списке выбрать - переменная такая-то, способ доступа такой-то, оператор такой-то и т.д.