image.png1,9 Мб, 1280x855
Собственная кастомная ОС 3384281 В конец треда | Веб
Наша контора создала собственный язык программирования для написания бизнес-приложений. Проблема в том, что рантайм работает на Джаве. Я пробовал генерировать исходники в С++ и потом их компилировать, использовал там смарт-поинтеры, короче, получил очень ощутимый прирост в производительности. В связи с этим возникла идея: а почему не пойти дальше и не написать свою ОС, которая будет заточена именно под этот язык? Просто тупо убрать все эти ненужные слои и вычислять все на голом железе. Мысли?
2 3384427
Зачем тратить кучу времени на изобретение велосипеда? Ты хоть представляешь, сколько времени ты потратишь на написание и портирование драйверов оборудования, помимо написания ОС?
Компили исходники C++ в бинарный файл безо всяких рантаймов. Тогда, считай, у тебя код будет исполняться почти на голом железе, при необходимости дёргая API операционки. Естественно, ОС обеспечивает защиту памяти, переключение потоков, но от этого никуда не деться.
Собери свой дистрибутив Linux, из которого выкинуто всё лишнее (или возьми какой-нибудь минималистичный дистрибутив), поставь приоритет твоего процесса повыше - результат будет не хуже, чем если написать свою ОС.
3 3384767
>>384281 (OP)
Java os была в девяностых, но чтото не пошло
image.png909 Кб, 2730x914
4 3384845
5 3385041
>>384427
Какое оборудование ты имеешь в виду?
6 3385207
>>385041
Как минимум PCIe, SATA/NVME и Ethernet.
7 3390557
>>385207
А в чем проблема использовать уже существующие драйвера?
8 3390713
>>384281 (OP)

>вычислять все на голом железе


А сейчас как "вычисляется"? Единственный overhead у user space программок это сисколы с копированием памяты с какого-нибудь сокбафера, например.
9 3391193
>>390713

>сисколы


Сколько на них времени уходит?
11 3391247
>>391229
Проиграл
12 3391248
>>391193
На таких масштабах - много. При переключении контекста весь стейт процессора выгружается и загружается заново на входе и выходе из сискола.
Но на практике это копейки по сравнению с ожиданием мютекса.

>>384281 (OP)

> Мысли?


Так делали до появления ОС. Знаешь почему перестали? Потому что компьютеры заточенные под одну программу большую часть времени простаивают, а когда надо сделать больше чем одну - у тебя появляются управление памятью, переключения контекстов, шедулер с различними политиками передачи исполнения и т.д.

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

Ну а если хочешь - бери qemu, запинь ей конкретное ядро, загрузись готовым бутлоадером с гитхаба, переключиcь в long mode, реализуй страничную память и аллокатор поверх неё и дальше пиши что хочешь.

На расте такое пишется где-то за месяц если знать что делать. Если не знать, то в универах это занимает 1-2 семестра.
13 3391266
>>391248
Можешь литературу по теме посоветовать. Я в общих чертах представляю, как оно там работает, но с ходу не смогу написать. И вообще сначала хотелось бы какие-то тесты сделать, чтобы знать, какой производительности ожидать. Плюс если цифры молотить, то можно использовать какой-нибудь SIMD, хз, как сама виртуалка Джавы это делает.

>на микроконтроллерах


Можно подробнее этот момент?
14 3391574
Буду следить за тредом. Тоже тема интересует
15 3391616
>>391248
Я забыл как это называется, были же какие-то шпециальные операционки, даже название было какое-то для них.

>На расте такое пишется где-то за месяц если знать что делать


На Си за пару вечеров.
16 3392708
>>391266
Не знаю, анон, у меня это было давно и по учёбе. Поищи гайды на тему bare metal programming, или embedded programming.
>>391616
Тоже такое припоминаю, но чёт не могу нагуглить. Chat GPT говорит искать unikernel и смотреть unikraft
17 3392890
ОП на связи. Ещё такой вопрос: я когда делал эту хуйню на смарт-поинтерах, заметил такую вещь, что если создавать какой-то объект каждый раз при вызове рекурсивной функции при хвостовой рекурсии, то эти объекты начинают деаллоцироваться только после того, как рекурсия отработает. Что это за хуйня? Почему они сразу не уничтожаются?
18 3393099
>>392708

>unikernel


Да, вроде это, чтобы убрать весь оверхед с переключением контекста и перекладыванием памяти с места на место.
>>392890
Нахуя тебе вообще эти смартпоинтеры, пиши свой аллокатор, блеать.
19 3393115
>>392890
А почему они должны? Вообще TCO скорее всего не включается при наличии нетривиальных деструкторов в скоупе, но FYI компилятор может переставлять вызов деструктора по своему желанию в рамках всего скоупа.
Если хочешь что-то явное - создай явно scope для временных объектов, и деструктор вызовется при выходе из него.
20 3393696
>>393099

>Нахуя тебе вообще эти смартпоинтеры, пиши свой аллокатор, блеать.


Я в плюсах слабо шарю, как это написать-то?
21 3393697
>>393115

>создай явно scope


Не ебу, как это сделать. Дай мануал, плиз.
22 3394434
>>393697
do_shit(args) {
{
auto shit = make_shared(...)
}
// no shit here
return do_shit(args)
}
23 3394609
>>394434
Так это и есть смарт поинтер, не?
24 3394610
>>394434
А, понял, сорян, тупанул сначала.
25 3398857
Раст рекомендуете для таких задач?
26 3398879
>>384281 (OP)

>Просто тупо убрать все эти ненужные слои и вычислять все на голом железе.


Проще FreeDOS какой-нибудь взять, чем свой велосипед городить (там вроде есть поддержка 64 бит). Там почти никаких слоев - ни виртуальной памяти, ни многозадачности. При этом есть USB и TCP/IP стек, то есть не с самого низа начинаешь.
27 3398881
>>398857

>Раст рекомендуете для таких задач?


Для каких? ОП на голом желез хочеть кодить. Там виртуальной памяти нет, и нет динамической аллокации (если сам не запилишь), а значит раст там бесполезен. Вся его "безопасность" распространяется только на динамически выделяемую память. Средств для работы со статической памятью там меньше, чем в Паскале. Из не самых эзотерических языков такое умеет только Ада.
28 3398905
>>384281 (OP)
Делай лисп-машину, брат
29 3399316
>>391248
>>391193
>>390713
на современных потребительских осях сисколы же не требуют полного переключения контекста, и поэтому довольно дешёвы, а вообще переключение контекста в таких осях происходит каждый определённый промежуток времени или опять же вовремя сисколов.
30 3399881
>>398879

>ни многозадачности


Тогда это не подходит.

ОП
31 3402149
>>398857

>Раст


Ну если для вибраторов прошивки собрался писать, то тут да, без раста никак.
>>399316
Юзерспейс остается юзерспейсом и тащит весь возможный оверхед связанный с этим делом.
32 3402612
>>384281 (OP)

>короче, получил очень ощутимый прирост в производительности



Производительности чего конкретно?

Я конечно хз что за "язык программирования для написания бизнес-приложений" изобрел ваш НИИ, но что то мне подсказывает что это нечто максимально похожее на BPMN-ботву. Если это так, скорее всего в конечных приложухах на этом языке ты больше времени проводишь в блокировках на всяких БД и вызовах всяких апишек, с которыми твое "бизнес-приложение" интегрируется, и никакого реального прироста от этой экономии на спичках по факту за пределами своих бенчмарков не выиграешь. Только огребешь головняка от плюсов.
33 3404100
>>402612

>Производительности чего конкретно?


Ну ты разницу между голым железом и виртуалкой джавы понимаешь?
34 3411386
Так есть какие-то наработки по теме? Какой-нибудь каркас ОС без всякого говна. Фри дос не подходит, нужны потоки хоть в каком-то виде.
35 3411478
>>404100
Виртуалки джавы более чем достаточно для перекладки джсонов - основным боттлнеком, скорее всего, будет база, хоть ты на ассемблере пиши. Поэтому тебя и спрашивают: чем конкретно твоё "бизнес-приложение" занимается?
36 3411584
>>411386
вы за целый месяц так и не определились? если уже собираетесь писать ось с нуля, то почему не можете взять из готовых и переделать под себя?
37 3412082
>>411584
Это просто моя идея, про неё никто не знает пока.

>>411478
Рантайм для кастомного языка программирования, написал же в ОП-посте. БД представляет собой граф в памяти.
38 3412095
>>384281 (OP)

> В связи с этим возникла идея: а почему не пойти дальше и не написать свою ОС


Нет! тупая идея.

> ощутимый прирост в производительности


Оптимизация - это целый этап в разработке который был во времена 90-х, который делиться 10 уровней как минимум.
Ты не представляешь себе сколько еще можно выжать производительности, если просто начать копаться в своем коде.
Не меняя ничего кроме своего кода.

> Мысли?


Тебе в embedded инженеры. софт на С/С++ перенести на микроконтроллер не проблема если нет 100500 привязок к API.

>>385207

> написать свою ОС


> Как минимум PCIe, SATA/NVME и Ethernet.


Ты будешь ковырять полгода только SATA. УДАЧИ.

>>390713

> Единственный overhead у user space программок это сисколы с копированием памяты с какого-нибудь сокбафера, например


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

>>391193

> Сколько на них времени уходит?


Дохера. Любой прыжок или вызов чего-то там жрет производительность.
inlline придумали просто так для лохов.

>>392890

> я когда делал эту хуйню на смарт-поинтерах


что бывает с человеком пораженным Java или JavaScript..
38 3412095
>>384281 (OP)

> В связи с этим возникла идея: а почему не пойти дальше и не написать свою ОС


Нет! тупая идея.

> ощутимый прирост в производительности


Оптимизация - это целый этап в разработке который был во времена 90-х, который делиться 10 уровней как минимум.
Ты не представляешь себе сколько еще можно выжать производительности, если просто начать копаться в своем коде.
Не меняя ничего кроме своего кода.

> Мысли?


Тебе в embedded инженеры. софт на С/С++ перенести на микроконтроллер не проблема если нет 100500 привязок к API.

>>385207

> написать свою ОС


> Как минимум PCIe, SATA/NVME и Ethernet.


Ты будешь ковырять полгода только SATA. УДАЧИ.

>>390713

> Единственный overhead у user space программок это сисколы с копированием памяты с какого-нибудь сокбафера, например


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

>>391193

> Сколько на них времени уходит?


Дохера. Любой прыжок или вызов чего-то там жрет производительность.
inlline придумали просто так для лохов.

>>392890

> я когда делал эту хуйню на смарт-поинтерах


что бывает с человеком пораженным Java или JavaScript..
39 3412108
>>411478
для крудошлепства более чем достаточно и интерпретатора brainfuck на Pentium II.
40 3412677
>>412095

>что бывает с человеком пораженным Java или JavaScript..


Я генерил С++ код из нашего байт-кода, я не могу вручную там память освобождать, это даже не мой код вообще.
41 3412678
>>412108
Луговский, ты заебал.
Обновить тред
« /pr/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее