Przejdź do treści

KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KretS — architektura / architecture

KretS — architektura / architecture

operacje hosta (import)Script/*.krsScript/*.krsParser (Ast)Parser (Ast)Analiza typów (Bound = IR)Analiza typów (Bound = IR)Emiter KBC 2 + mapa źródełEmiter KBC 2 + mapa źródełWeryfikator bytecodeWeryfikator bytecodeMaszyna (proces pluginu, Job Object / AppContainer)Maszyna (proces pluginu, Job Object / AppContainer)Security Broker: KCS przy każdym wywołaniuSecurity Broker: KCS przy każdym wywołaniulog · KretDB · KretConfig · KretAI · KretBridge · Kret.Hardwarelog · KretDB · KretConfig · KretAI · KretBridge · Kret.HardwareKretStudio / kret lspKretStudio / kret lsp
Statyczna architektura ze źródeł. Przerywane połączenia zachowują oryginalne ograniczenia i adnotacje. Kod nie jest wykonywany.
Opis tekstowy i źródło
  • Script/*.krs → Parser (Ast)
  • Parser (Ast) → Analiza typów (Bound = IR)
  • Analiza typów (Bound = IR) → Emiter KBC 2 + mapa źródeł
  • Emiter KBC 2 + mapa źródeł → Weryfikator bytecode
  • Weryfikator bytecode → Maszyna (proces pluginu, Job Object / AppContainer)
  • Maszyna (proces pluginu, Job Object / AppContainer) → Security Broker: KCS przy każdym wywołaniu · operacje hosta (import)
  • Security Broker: KCS przy każdym wywołaniu → log · KretDB · KretConfig · KretAI · KretBridge · Kret.Hardware
  • KretStudio / kret lsp → Analiza typów (Bound = IR)
flowchart LR
  SRC["Script/*.krs"] --> PAR["Parser (Ast)"] --> BIND["Analiza typów (Bound = IR)"] --> EMIT["Emiter KBC 2 + mapa źródeł"]
  EMIT --> VER["Weryfikator bytecode"] --> VM["Maszyna (proces pluginu, Job Object / AppContainer)"]
  VM -- "operacje hosta (import)" --> BR["Security Broker: KCS przy każdym wywołaniu"]
  BR --> HOST["log · KretDB · KretConfig · KretAI · KretBridge · Kret.Hardware"]
  LSP["KretStudio / kret lsp"] --> BIND

Polski

ObszarPowiązanie
CoreCore kompiluje plugin ze źródeł (KPM wymaga --include-sources) i uruchamia go w AppContainer przez brokera.
SDK02_Compiler/KretS (parser, binder, emiter), 03_Runtime (maszyna z weryfikatorem), kret build/run/test/debug/profile/disasm.
KretStudioLSP: uzupełnianie, hover, definicje, odwołania, zmiana nazwy, kolorowanie semantyczne, formatowanie; debugger kret-debug/1; panel kret test.
Pluginycała logika pluginu; handlery z manifestu.
RuntimeKBC 2, limity: 4096 funkcji, 1024 rekordy, 1024 zadania/liczniki; profil zasobów z KretL.
Granica bezpieczeństwakażda operacja hosta to import przez brokera (KCS); brak dostępu do plików/sieci/procesów.

Źródło i wersja

Zweryfikowany import PUBLIC_CANDIDATE. Identyfikatory źródeł odnoszą się do eksportu i nie dają dostępu do plików serwera.

01_LANGUAGES/KretS/Documentation/ARCHITECTURE.md
SHA-256 B9C8F9B839812E4049B8DD7F557B8E482D487B8BD136028D1ADA618D42006224

Oryginalne źródło jest dwujęzyczne; terminy techniczne i polecenia zachowano.

Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →

Wybierz, co możemy zapamiętać w tej przeglądarce. Możesz zmienić decyzję w każdej chwili.

Polityka prywatności