185 похожих чатов

@GabrielFallen а существует какой-то язык описания менеджеров памяти, сборщиков мусора,

механизмов управления памятью? Дополнительный вопрос: он может описать сам себя?
Мне проекция Турчина-Футамуры все покоя не даёт... 🤓

4 ответов

25 просмотров

Я такого и близко не видел. 🤷‍♀️ Только https://www.mmtk.io/

Но я не вижу, почему и как язык для описания менеджеров памяти может описывать сам себя. В каком вообще смысле "описывать"?

Alexander Chichigin
Но я не вижу, почему и как язык для описания менед...

Вот, язык должен описывать AST в явном декларативном виде (и включать операции над деревом), тогда он будет описывать сам себя (правда, тогда он будет абстрактным, описывать чистую семантику без каких либо описаний того, как это всё будет располагаться в физической памяти и предполагать бесконечное множество реализаций - хоть на асемблере, хоть на SQL-е, хоть на абаке - чистая математика :3)

Александр Козаев
Вот, язык должен описывать AST в явном декларативн...

> тогда он будет описывать сам себя Нет. Для описания семантики языка нужны структуры посложнее деревьев. Домены Скотта, например. 😏 Посмотрите на Spoofax, посчитайте, сколько там разных языков для описания разных аспектов и стадий обработки объектного языка.

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта