https://trust-lang.net/ru/docs/safety/ Recent content in Гарантии и безопасность on TrustLang Hugo ru https://trust-lang.net/ru/docs/safety/memory/ Mon, 01 Jan 0001 00:00:00 +0000 https://trust-lang.net/ru/docs/safety/memory/ <p>Ни один способ управления памятью не является лучшим или универсальным: в разных условиях выигрывают разные подходы:</p> <ul> <li>Ручное управление памятью может делать всё, что угодно, кроме одного — гарантировать отсутствие ошибок.</li> <li>Анализ владения и заимствования на этапе компиляции позволяет доказать корректность кода без дополнительных рантайм-проверок, но некоторые сценарии и алгоритмы не могут быть доказаны статически на этапе компиляции.</li> <li>Подсчёт сильных и слабых ссылок во время выполнения удобен для разделяемого владения, но имеет ненулевую стоимость и не защищает от циклических и перекрёстных зависимостей.</li> <li>Сборка мусора упрощает работу со сложными циклическими структурами, но имеет самые дорогие накладные расходы и недетерминированное выполнение.</li> <li>Ни один из перечисленных способов управления памятью не включает в себя вопросы межпотоковой синхронизации доступа к памяти.</li> </ul> <p>Поэтому выбирать только один способ управления памятью в языке программирования — это значит заранее ограничить его возможности и добавить лишние накладные расходы. Из этих соображений концепция управления памятью <em>TrustLang</em> допускает расширение реализации модели управления памятью с минимальным влиянием на синтаксис языка и определяется требованиями (гарантиями) для работы с памятью.</p> https://trust-lang.net/ru/docs/safety/stack_check/ Mon, 01 Jan 0001 00:00:00 +0000 https://trust-lang.net/ru/docs/safety/stack_check/ <p>В <em>TrustLang</em> встроена <a href="https://github.com/afteri-ru/stack-check">защита стека от переполнения</a>. Перед вызовом защищаемой функции проверяется свободное место на стеке потока, и если его недостаточно — вместо аварийного завершения всего приложения (<code>segmentation fault</code>) создаётся <strong>программное исключение <code>stack_overflow</code></strong>, которое можно перехватить и обработать внутри приложения, после чего продолжить выполнение программы.</p> <p>Здесь будет подробное описание реализации и способов использования.</p> <p>А сейчас можно посмотреть примеры использования: <a href="https://trust-lang.net/ru/playground/?file=fibonacci">рекурсивное вычисление чисел Фибоначчи</a> и <a href="https://trust-lang.net/ru/playground/?file=prime">рекурсивная проверка чисел на простоту</a></p> <!-- ## Атрибут `@[stack_check@]` Защищаемые функции помечаются атрибутом `@[stack_check@]`: - `@[stack_check@]` — перед каждым вызовом функции проверяется максимальный размер её стека из секции `.stack_sizes` (`check_stack_limit`, требуется сборка с `-fstack-size-section`); - `@[stack_check(N)@]` — проверяется, что свободно не меньше `N` байт плюс резерв (`check_overflow(N)`). Пример рекурсии, защищённой атрибутом (переполнение ловится, а не роняет программу): ```trust @[ stack_check @] %fib(n:BigInteger):Tuple(sum:BigInteger, fib:BigInteger) := { if (n < 3) { $one:BigInteger := 1; return :Tuple($one, $one); }; p := fib(n - 1); return (p.0 + p.1, p.sum,):Tuple; }; @main(argv^:Dict, args^:Dict) := { try_error { fib(1000000); } catch(_) { @print('STACK OVERFLOW caught\\n'); }; return 0; }; ``` ## Режимы контроля (`--stack-check=<mode>`) Монотонная шкала режимов (`trust --help`): - `off` — контроль выключен (атрибуты — no-op, рекурсия не анализируется); - `explicit` (по умолчанию) — проверки только явно размеченных функций и явных вызовов; - `recursion` — как `explicit` плюс диагностика незащищённых рекурсивных функций (`-Wstack-check-infer`); - `auto` — как `recursion` плюс авто-маркировка рекурсивных функций. Защитный резерв задаётся `--stack-check-reserve=<байты>` (по умолчанию — рантайм-дефолт `8192`). Работающие примеры — [песочница fibonacci](/ru/playground/?file=fibonacci); готовые тесты контроля стека — `test/lit/.../e2e/stack/*`. ## Рантайм-функции контроля Для явного управления доступны нативные функции `%trust_stack_check(N)`, `%trust_stack_check_set_reserve(...)`, `%trust_stack_check_get_reserve()`, `%trust_stack_check_get_limit()` и `%trust_stack_check_set_limit(...)`. Полные сигнатуры — в справке `trust --help` / `-Whelp`. -->