https://trust-lang.net/ru/tags/memory/ Recent content in Memory on TrustLang Hugo ru https://trust-lang.net/ru/docs/safety/ Mon, 01 Jan 0001 00:00:00 +0000 https://trust-lang.net/ru/docs/safety/ <p>Раздел объединяет возможности <em>TrustLang</em>, которые отвечают за <strong>безопасность и качество</strong> программ: безопасное управление памятью, защиту от гонок данных, контроль корректности на этапе компиляции и формальную верификацию.</p> <p>Каждая возможность описана подробно <strong>ровно в одном месте</strong> (страница-источник) и лишь упоминается здесь с выжимкой и ссылкой. Подробные перечни опций/диагностик не дублируются — их источник в справке инструмента (<code>trust --help</code>, <code>trust -Whelp</code>, LSP-ховеры).</p> <h2 id="возможности-раздела">Возможности раздела<a class="td-heading-self-link" href="#%d0%b2%d0%be%d0%b7%d0%bc%d0%be%d0%b6%d0%bd%d0%be%d1%81%d1%82%d0%b8-%d1%80%d0%b0%d0%b7%d0%b4%d0%b5%d0%bb%d0%b0" aria-label="Heading self-link"></a></h2><table> <thead> <tr> <th>Возможность</th> <th>Кратко</th> <th>Подробно (источник)</th> </tr> </thead> <tbody> <tr> <td>Безопасное управление памятью без GC</td> <td>RAII, сильные/слабые ссылки, запрет сильных циклических ссылок, защита стека от переполнения</td> <td><a href="https://trust-lang.net/ru/docs/safety/memory/">Память</a></td> </tr> <tr> <td>Защита от гонок и синхронизация доступа</td> <td>Автоматическая межпотоковая синхронизация при обращении к разделяемым данным</td> <td><a href="https://trust-lang.net/ru/docs/safety/memory/">Память</a></td> </tr> <tr> <td>Контрактное программирование</td> <td>Пред-/пост-условия и утверждения (<code>trust_pre</code>/<code>trust_post</code>/<code>trust_assert</code>)</td> <td><a href="verification/">Верификация</a></td> </tr> <tr> <td>Формальная верификация (SMT)</td> <td>Авто-выполнение Z3 по контрактам, инварианты циклов, кванторы</td> <td><a href="verification/">Верификация</a></td> </tr> <tr> <td>Статическая типизация и контроль приведения</td> <td>Номинальная проверка типов на этапе компиляции; сужение с контролем диапазона</td> <td><a href="../types/type_system/">Система типов</a></td> </tr> <tr> <td>Диапазонные проверки чисел</td> <td>Ошибка при выходе за диапазон типа, а не молчаливое переполнение</td> <td><a href="https://trust-lang.net/ru/docs/types/numbers/">Числа</a></td> </tr> <tr> <td>Контроль целочисленного переполнения</td> <td>Встроен и <strong>включён по умолчанию</strong>: переполнение знаковой арифметики (UB в C++) → перехватываемое <code>IntMinus</code></td> <td><a href="https://trust-lang.net/ru/docs/types/numbers/#overflow">Числа</a></td> </tr> <tr> <td>Защита стека от переполнения (stack check)</td> <td>Переполнение стека → перехватываемое исключение <code>stack_overflow</code>, а не segfault</td> <td><a href="https://trust-lang.net/ru/docs/safety/stack_check/">stack_check</a></td> </tr> <tr> <td>Контроль инвалидации ссылок (borrowed)</td> <td>Запрет использования зависимых ссылок после мутации источника (висячие ссылки)</td> <td><a href="invalidation/">invalidation</a></td> </tr> </tbody> </table> <blockquote> <p>Модель безопасной памяти портирована на C++ в отдельный проект <a href="https://github.com/rsashka/memsafe">memsafe</a>.</p>