Хотя есть как минимум еще с десяток языков мат. описания и верификации алгоритмов, в чем-то более удобных, в чем-то менее...
Ну и там еще и ИСП РАН тоже постарался :)

Есть стандарты и методики по тестированию производительности роутеров. Но конечно же, лучше что-то доморощенное ;) зачем нам придерживаться стандартов ;)
А вдруг все окажется не так радужно ;)

А что за стандарты по тестированию роутеров? К сожалению впервые слышу и не гуглится что то определённое..

Доберусь до компа, скину линки...

Спасибо заранее

Вот тут есть ссылки на стандарты и методологию:

https://bsdrp.net/documentation/technical_docs/performance#how_to_bench_a_router

А другие где были?

FYI (For Your Information)

У нас в живых только альт, но он недоговороспособен

А хто их знает :) Тут ведь все не просто так, и у г-на Фролова ресурс административный весьма серьезный :)

Я бы тоже пропихнул для себя чтобы продавать, кто первый встал - того и тапки

Это да. А синергия вышла мертворожденной.

Конечно :) никто и не в претензии. Получился хороший сброс - поскольку коррупционные схемы вылезали уже за все допустимые рамки.
Один только SecretNet - уже оччень показательно...

🤷‍♂

А почему так?

Потому что это был карманный проект. Потому что заказчику был нужен не результат, а процесс. Потому, что не согласовали с СБ заказчика. Потому, что не хватило понимания и квалифицированных кадров для внедрения. Потому, что не заключили с разработчиком договор на поддержку, а с ИЛ - на инспекционный контроль.

Результат - нет внедрения, нет поддержки, и исход закономерный. Бобик сдох.

Возможно, что в известном Вам, Роман (я полагаю) проекте будет то же самое... Ибо у заказчика пока даже понимания архитектуры нет. Но это уже не тема для открытого обсуждения.

Синергию Тонкий клиент вроде же довели до ума?

Это делал Ланит, и там просто debian(Астра?) live cd, с контролем НДВ.
Т.е. по факту - неприменимо на практике.
Документации вагон :) реализация - неподъемная по нынешним стандартам.
(Текущий вариант сделан иначе.)
С СУБД тоже занятная история. Разработчик СинергОС отказался делать СУБД без предоставления заказчиком профилей нагрузки. Ибо построчный+поколоночный MAC. И проседание производительности на порядки, надо оптимизировать. А как оптимизировать, если нет профилей...
Ну, постгрессмены поработали, как и Ланит с ТК, что-то есть "показать", и все довольны.

Да, тома с документацией я видел, но там точно не Астра

Обычный debian, с несколькими прифилями selinux.
Которые по факту не работали