В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

824 membersпожаловаться на группу
2020 May 04

AN

Alexander Nasonov in Compiler Development
MaxGraey
Да, он как раз для real-time систем был создан и имеет O(1) сложность на все операции. Кстати, тспользуем в AssemblyScript его адаптированную версию
У нас в нетбсд в ядре есть Луа, и даже вроде её можно в прерываниях использовать (но с этим я не согласен), то есть можно сказать рилтайм. По хорошему, надо туда и соответствующий аллокатор приделать, и запретить тяжеловесные операции типа loadstring. Но руки не доходят.
источник
17:28пожаловаться#1

M

MaxGraey in Compiler Development
Сергей Лапынин
баг в виртуальной машине
Ну VM так же как и ОС должны быть максимально надежны
источник
17:30пожаловаться#2

СЛ

Сергей Лапынин... in Compiler Development
=))
источник
17:30пожаловаться#3

M

MaxGraey in Compiler Development
смысл в VM как раз в изоляции потенциально неадежной составляющей системы. Ну скажем так качество и надежность операционной системы зачастую выше чем програм выполняющихся в ее юзерспейсе. Это обусловенно многими факторами, например тем, что приложение значительно чаще меняется чем сама ОС^ а еще ее могут писать разные люди с разным опытом. С этим вы согласны?
источник
17:33пожаловаться#4

M

MaxGraey in Compiler Development
А когда система монолитная и ОС и приложение не-отделимы то надежность системы определается самым слабым звеном - приложением)
источник
17:34пожаловаться#5

DP

Dmitry Ponyatov in Compiler Development
Сергей Лапынин
Сделать простое, которое будет универсальным - нереально.
Вы пишите специализированные вещи, но делать это желаете на универсальном ЯП.
Smalltalk как язык легко уделает Оберон: описание его синтаксиса умещается на открытке. Однако сложность системы растет геометрически из за увеличения количества связей, и уникальных имен методов.
источник
17:36пожаловаться#6

СЛ

Сергей Лапынин... in Compiler Development
MaxGraey
смысл в VM как раз в изоляции потенциально неадежной составляющей системы. Ну скажем так качество и надежность операционной системы зачастую выше чем програм выполняющихся в ее юзерспейсе. Это обусловенно многими факторами, например тем, что приложение значительно чаще меняется чем сама ОС^ а еще ее могут писать разные люди с разным опытом. С этим вы согласны?
Тут недавно уже говорили про meltdown, spectre и еще были в опенссл баги. С помощью samba  макароны можно промывать...
Стабильность =)
источник
17:38пожаловаться#7

M

MaxGraey in Compiler Development
Сергей Лапынин
Тут недавно уже говорили про meltdown, spectre и еще были в опенссл баги. С помощью samba  макароны можно промывать...
Стабильность =)
А это здесь при чем?)
источник
17:38пожаловаться#8

СЛ

Сергей Лапынин... in Compiler Development
MaxGraey
А это здесь при чем?)
Про надежность всех ваших ОС, железа и прочих радостях.
источник
17:39пожаловаться#9

M

MaxGraey in Compiler Development
Сергей Лапынин
Про надежность всех ваших ОС, железа и прочих радостях.
Правильно, поэтому чего мелогиться! Сразу прошить на ПЛИС всю лунную программу раз и навсегда!) Да?
источник
17:40пожаловаться#10

СЛ

Сергей Лапынин... in Compiler Development
на перфокартах.
источник
17:41пожаловаться#11

СЛ

Сергей Лапынин... in Compiler Development
А еще лучше на счетах.
источник
17:42пожаловаться#12

A

Alex in Compiler Development
Сергей Лапынин
на перфокартах.
А Вы считаете, что они сейчас не используются в критических системах (не в космосе, но всё же)?
источник
17:46пожаловаться#13

СЛ

Сергей Лапынин... in Compiler Development
Alex
А Вы считаете, что они сейчас не используются в критических системах (не в космосе, но всё же)?
Ага, при решении задач в реальном времени.
источник
17:46пожаловаться#14

DP

Dmitry Ponyatov in Compiler Development
Victor Miasnikov
MISRA и DoD - слишком "демократичны" для АЭС.
А для Оберона уже построили формально доказанный компилятор, как для Certкакеготам Си?
источник
17:48пожаловаться#15

A

Alex in Compiler Development
Сергей Лапынин
Ага, при решении задач в реальном времени.
В реальном - нет (по крайней мере мне про такие системы неизвестно), но как минимум американские военные их используют до сих пор и скорей всего продолжат лет 10 минимум
источник
17:50пожаловаться#16

СЛ

Сергей Лапынин... in Compiler Development
Alex
В реальном - нет (по крайней мере мне про такие системы неизвестно), но как минимум американские военные их используют до сих пор и скорей всего продолжат лет 10 минимум
Хорошо. Это была неудачная шутка.
источник
17:51пожаловаться#17

СЛ

Сергей Лапынин... in Compiler Development
По поводу военных - там своя атмосфера и ее бессмысленно приплетать сюда.
источник
17:51пожаловаться#18

A

Alex in Compiler Development
Тут в каждой отдельной отрасли своя атмосфера :)
источник
17:52пожаловаться#19

PS

Peter Sovietov in Compiler Development
Кстати, в копилку "удивительных историй" про АЭС, спутники и военных хочу еще одну предложить: на самом деле большая часть проекта sel4 (да, то самое "доказанное микроядро") написана на Питоне! %)
источник
17:58пожаловаться#20