|
|
@@ -47,29 +47,29 @@
|
|
|
Нет «управляющих» или «мета-» инструкций.
|
|
|
|
|
|
> Нет инструкций типа `call`, `jmp`, `alloc`, `free` как в традиционных **ВМ** (`JVM`, `CLR`, `LLVM`).
|
|
|
-Нет разделения на «код» и «данные» — всё есть материальное сущее, выраженное через кварки.
|
|
|
+> Нет разделения на «код» и «данные» — всё есть материальное сущее, выраженное через кварки.
|
|
|
|
|
|
Каждая операция — акт преобразования кварков.
|
|
|
|
|
|
> `Сложение` — это взаимодействие двух кварков `Целое`, порождающее результат.
|
|
|
-Сравнение — отношение между кварками, фиксируемое как сущее (`Истина`/`Ложь` — тоже протоны на основе кварка `Бит`).
|
|
|
-Вызов контекста — передача набора кварков в новый локальный контекст, без стека указателей.
|
|
|
+> Сравнение — отношение между кварками, фиксируемое как сущее (`Истина`/`Ложь` — тоже протоны на основе кварка `Бит`).
|
|
|
+> Вызов контекста — передача набора кварков в новый локальный контекст, без стека указателей.
|
|
|
|
|
|
Инструкции — не команды, а проявления законов.
|
|
|
|
|
|
> `ВМ` не «выполняет инструкции, а реализует законы взаимодействия кварков, заданные в онтологии.
|
|
|
-Например, если два кварка `Целое` вступают в отношение +, то по закону арифметики возникает новый кварк-результат `Целое`.
|
|
|
+> Например, если два кварка `Целое` вступают в отношение +, то по закону арифметики возникает новый кварк-результат `Целое`.
|
|
|
|
|
|
```text
|
|
|
💡 ВМ — не процессор, а среда, где законы материи (кварков) реализуются напрямую.
|
|
|
```
|
|
|
|
|
|
-| Традиционный подход | Подход prolet |
|
|
|
-| ------------------- | ------------- |
|
|
|
-| ВМ — абстрактная машина с регистрами, стеком, кучей | ВМ — материальная среда взаимодействия кварков |
|
|
|
-| Инструкции — внешние команды | Операции — внутренние законы бытия кварков |
|
|
|
-| Программист управляет памятью | Память — пространство размещения кварков, управляемое их собственными инвариантами |
|
|
|
-| Ошибки — нарушение протокола ВМ | Ошибки — нарушение объективных законов (например, выход за @_диапазон) |
|
|
|
+| Традиционный подход | Подход prolet |
|
|
|
+| --------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------- |
|
|
|
+| ВМ — абстрактная машина с регистрами, стеком, кучей | ВМ — материальная среда взаимодействия кварков |
|
|
|
+| Инструкции — внешние команды | Операции — внутренние законы бытия кварков |
|
|
|
+| Программист управляет памятью | Память — пространство размещения кварков, управляемое их **собственными** инвариантами |
|
|
|
+| Ошибки — нарушение протокола ВМ | Ошибки — нарушение объективных законов (например, выход за @_диапазон) |
|
|
|
|
|
|
## Принципы построения IL
|
|
|
|
|
|
@@ -148,7 +148,7 @@
|
|
|
|
|
|
### Материальность
|
|
|
|
|
|
-**ВМ** — не отражение материи в памяти машины и её процессоре
|
|
|
+**ВМ** — отражение цифровой материи в памяти машины и её процессоре
|
|
|
|
|
|
### Первичность IL, вторичность машинного кода
|
|
|
|
|
|
@@ -160,7 +160,7 @@
|
|
|
|
|
|
### Контроль над памятью
|
|
|
|
|
|
-Реализует принципы владения **prolet**: нет случайного доступа.
|
|
|
+Реализует принципы владения **prolet**: нет случайного доступа, нет машинной памяти — есть пространство ВМ.
|
|
|
|
|
|
### Время как ресурс
|
|
|
|
|
|
@@ -198,7 +198,7 @@
|
|
|
|
|
|
ВМ — не анархия, а организованная система:
|
|
|
|
|
|
-- Контроль доступа к памяти — как контроль доступа в кооперативной среде: никто не может трогать чужую память без разрешения.
|
|
|
+- Контроль доступа к машинной памяти — как контроль доступа в кооперативной среде: никто не может трогать чужую память без разрешения.
|
|
|
- Учёт всех видов ресурсов — время, память, энергия.
|
|
|
- Обеспечение контроля — потоки исполняются по предсказуемым правилам.
|
|
|
- Поддержка развития — через расширение **IL**, но с сохранением обратной совместимости.
|
|
|
@@ -216,6 +216,6 @@
|
|
|
|
|
|
- Смысл не теряется,
|
|
|
- Реальность не игнорируется,
|
|
|
-- Развитие обеспечивается.
|
|
|
+- Развитие поддерживается.
|
|
|
|
|
|
-> ✅ **ВМ** — обеспечивает предсказуемое поведение своей основы (кварков) на основе правил, заданных практикой, воплощая в результате труда его производительные силы.
|
|
|
+> ✅ **ВМ** — обеспечивает предсказуемое поведение своих аксиом (кварков) на основе правил, заданных практикой, воплощая в результате труда его производительные силы.
|
SVI