Безопасность памяти Валена: новый вид проверки долгов

Эта статья о новом гибком шакере Валена. Добро пожаловать! Вы все меня знаете, я люблю изучать новые подходы к безопасности памяти и смешивать их в странных отношениях. Это часть моих вечных поисков, чтобы найти святой Грааль памяти: что-то столь же мощное, как проверка по займу Раста, но нечто такое простое и гибкое, как подсчет справочных данных или сбор мусора. 0 1 я давно подозревал, что для поиска святого граля нам придется решить три проблемы безопасности воспоминаний: Ваг и Таган, знаю! Далее я объясню, что все это значит и как Вален мог найти решение для них. 5 Эта статья в основном сосредоточена на первой части: более расслабленный шакер взаймы Вэлена. В этом посте я поговорю о том, что это такое, как оно может и как работает. И по пути я объясню некоторые странные загадки, вроде: кроме того, эта статья великолепно длинная и имеет много контекста, так что я дам вам знать когда пропустить. Вален, как и мой друг Ник Смит. Она построена на основе основной концепции, которую компилятор помнит где координаты (я объясню позже) и использует эту информацию для проверки того, что программы надежны. Жизнь дизайна была нелегким началом; она почти погребена в потоках времени. Изначально он был разработан с помощью Mojo, но увы, несмотря на мои усилия я не смог убедить высших руководителей в том, что мы должны использовать его. 7 групповое заимствование было мертво до того, как ему удалось добиться успеха. Но я знала, что у него огромный потенциал, если бы он мог как-то попасть…