Інженерія систем на мові Vale: безпечна пам'ять без збирача сміття

Я системний інженер і щодня працюю з мовою Vale, тому пропоную спроектувати й написати компоненти промислового рівня, які одночасно швидкі й доказово безпечні. Мене привабив у мові Vale незвичайний підхід до старої проблеми: безпека роботи з пам'яттю досягається за рахунок поколінських посилань, а не трасуючого збирача сміття, і це дає передбачувану затримку без висячих указників та звернень до звільненої пам'яті. Вдобавок регіональна модель пам'яті дозволяє ізолювати виділення й міркувати про володіння так, щоб гарячі ділянки залишалися легкими. За минулі роки я випустив парсери, невеликі рантаймі, ядра обробки даних і мережні обробники, де важлива була кожна мікросекунда, та навчився спиратися на компілятор, а не воювати з ним. Найнявши мене, ви отримуєте не просто код. Я починаю з вивчення ваших обмежень, потім набрасую модель пам'яті, вирішуючи, де доцільні регіони, а де гарантії безпеки несуть поколінські посилання. Пишу зрозумілі, забезпечені коментарями модулі, покриваю їх тестами й профілюю результат, щоб цифри були реальними, а не припущенням. В поставку входять вихідники, коротка пояснювальна записка про рішення за пам'яттю, порівняння за бенчмарками з вашою поточною базою й созвон-розбір, щоб команда могла супроводжувати роботу після передачі. Я також можу перенести критичну за продуктивністю процедуру з C, Rust або іншої системної мови на мову Vale й чесно показати компроміси. Якщо ви присматриваєтеся до мови Vale для прототипу або вам потрібен безпечний високопродуктивний модуль всередину великого продукту, я зроблю експеримент конкретним і вимірюваним, а не відстороненим.