Przejdź do treści
KretOs.
Pobierz
Kret Wiki/Language Academy
SDK 1.0.0-rc.3+kret.local.3

KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Trwały licznik (tabela klucz→wartość)

BASICRUNNABLE_LOCALKretDB

Schemat `Disk/Schema.kdb` z jedną tabelą klucz→wartość. Kod używa `db.getOr` i `db.set`. Dwa uruchomienia z tym samym katalogiem danych pokazują trwałość: drugie uruchomienie widzi wynik pierwszego. Baza należy do brokera — plugin nie widzi SQL ani pliku bazy.

Edycja i zapisane wyniki

Witryna nie wykonuje kodu ani nie prowadzi walidacji SDK. Wyniki poniżej pochodzą z eksportu określonej wersji i przestają opisywać kod po jego zmianie.

Pobierz źródła JSONOtwórz w Playground

Kanoniczne pliki projektu

# Tabela klucz→wartość: klucz główny + jedna kolumna.
database Counter {
    version = 1

    table counters {
        name: String primary key
        value: Int
    }
}
Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

  1. # Tabela klucz→wartość: klucz główny + jedna kolumna.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  2. database Counter {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  3. version = 1Pole tożsamości lub wersji w otaczającym bloku; zachowaj jego kontekst.
  4. Pusta linia oddziela fragmenty źródła.
  5. table counters {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  6. name: String primary keyOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  7. value: IntOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  8. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  9. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  10. Pusta linia oddziela fragmenty źródła.

Wynik i typowy błąd

„uruchomienie nr 1”, potem „uruchomienie nr 2”.

Na co uważać

Użycie `db.*` bez pliku `Disk/Schema.kdb` albo bez `kretdb.open/read/write` w manifeście — błąd kompilacji; bez przyznania w polityce hosta — odmowa brokera.

Wymagania wersji i procedura lokalna

sdk
1.0.0-rc.3+kret.local.3
sdkInfoReports
1.0.0-rc.3
core
1.0.0-test.6.11-draft.1
os
Windows 11 x64
dotnet
.NET 10 runtime

Polecenia poniżej są instrukcją do samodzielnego wykonania z właściwym lokalnym SDK. DATA/OUT muszą wskazywać nowe katalogi testowe. Nie ma przycisku uruchamiania na serwerze.

  1. checkkret check . --jsonKatalog: project · Oczekiwany kod wyjścia: 0
  2. run-1kret run . --policy host-policy.json --data {DATA}Katalog: project · Oczekiwany kod wyjścia: 0
  3. run-2kret run . --policy host-policy.json --data {DATA}Katalog: project · Oczekiwany kod wyjścia: 0

Wyniki zapisane w pakiecie źródłowym

To dowód z eksportu, nie wynik bieżącego wykonania w przeglądarce.

# EXPECTED_OUTPUT — KRETDB-B01-PersistentCounter
# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:27Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.
# Actual output of the run. Paths replaced by placeholders.

### 1. check  (exit 0, PASS)
> kret check . --json
{
  "format": "kret-diagnostics/1",
  "project": "<project>",
  "succeeded": true,
  "plugin": {
    "id": "LOCAL-KPL-DBB2CNTR",
    "name": "PersistentCounter",
    "version": "1.0.0",
    "profile": "standard",
    "database": true
  },
  "permissions": {
    "required": [
      "kretdb.open",
      "kretdb.read",
      "kretdb.write"
    ],
    "optional": []
  },
  "handlers": {
    "lifecycle": [
      "start",
      "shutdown"
    ],
    "events": [],
    "commands": []
  },
  "diagnostics": []
}

### 2. run-1  (exit 0, PASS)
> kret run . --policy host-policy.json --data {DATA}
{
  "broker": {
    "pid": 26076,
    "startupMs": 44.8319,
    "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",
    "allowProvisionalRisk": true,
    "memoryIdle": {
      "managedBytes": 1195536,
      "allocatedBytes": 1192896,
      "workingSetBytes": 32591872,
      "privateBytes": 10194944,
      "peakWorkingSetBytes": 32591872,
      "cpuMs": 93.75
    }
  },
  "brokerWithPlugins": {
    "memory": {
      "managedBytes": 1568256,
      "allocatedBytes": 1565064,
      "workingSetBytes": 40628224,
      "privateBytes": 14114816,
      "peakWorkingSetBytes": 40644608,
      "cpuMs": 187.5
    }
  },
  "plugins": [
    {
      "package": "<project>\\Build",
      "admitted": true,
      "startMs": 156.2042,
      "subject": "LOCAL-KPL-DBB2CNTR",
      "instance": "01a19725-997c-7a46-9a04-e05b248d5c49",
      "pid": 23700,
      "jobObject": true,
      "isolation": {
        "level": "Restricted",
        "restrictedToken": true,
        "lowIntegrity": true,
        "appContainer": false
      },
      "limits": {
        "profile": "standard",
        "scriptMemoryBytes": 67108864,
        "processMemoryBytes": 201326592,
        "cpuPercent": 25,
        "maxInstructions": 50000000,
        "clamped": []
      },
      "calls": [
        {
          "operation": "start",
          "ok": true,
          "status": "Completed",
          "type": "String",
          "value": "uruchomienie nr 1",
          "brokerMs": 50.576,
          "vmMs": 47.3609,
          "instructions": 19,
          "hostCalls": 2,
          "pluginReportedMemory": {
            "managedBytes": 775672,
            "allocatedBytes": 773512,
            "workingSetBytes": 32391168,
            "privateBytes": 11235328,
            "peakWorkingSetBytes": 32628736,
            "cpuMs": 93.75
          }
        },
        {
          "operation": "shutdown",
          "ok": true,
          "status": "Completed",
          "type": "Unit",
          "value": null,
          "brokerMs": 0.6097,
          "vmMs": 0.0028,
          "instructions": 1,
          "hostCalls": 0,
          "pluginReportedMemory": {
            "managedBytes": 783896,
            "allocatedBytes": 781712,
            "workingSetBytes": 32391168,
            "privateBytes": 11235328,
            "peakWorkingSetBytes": 32628736,
            "cpuMs": 93.75
          }
        }
      ],
      "processMemoryMeasuredByBroker": {
        "workingSetBytes": 32391168,
        "privateBytes": 11235328,
        "peakWorkingSetBytes": 32628736,
        "cpuMs": 93.75
      },
      "database": {
        "backend": "sqlite",
        "engineVersion": "3.53.4",
        "fileBytes": 20480,
        "pageCount": 5,
        "engineMemoryBytes": 263656,
        "statements": 36
      },
      "summary": {
        "exitCode": 0,
        "killed": false,
        "hostCalls": 2,
        "denials": 0,
        "peakCommitBytes": 12128256,
        "log": []
      }
    }
  ],
  "brokerAfterClose": {
    "memory": {
      "managedBytes": 590936,
      "allocatedBytes": 1565064,
      "workingSetBytes": 41304064,
      "privateBytes": 14823424,
      "peakWorkingSetBytes": 41304064,
      "cpuMs": 218.75
    }
  },
  "audit": {
    "entries": 17,
    "denials": 0,
    "grantsIssued": 3,
    "denied": []
  },
  "exitCode": 0
}

### 3. run-2  (exit 0, PASS)
> kret run . --policy host-policy.json --data {DATA}
{
  "broker": {
    "pid": 28736,
    "startupMs": 65.9211,
    "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",
    "allowProvisionalRisk": true,
    "memoryIdle": {
      "managedBytes": 1193376,
      "allocatedBytes": 1190736,
      "workingSetBytes": 32493568,
      "privateBytes": 10084352,
      "peakWorkingSetBytes": 32493568,
      "cpuMs": 78.125
    }
  },
  "brokerWithPlugins": {
    "memory": {
      "managedBytes": 1566440,
      "allocatedBytes": 1563224,
      "workingSetBytes": 40513536,
      "privateBytes": 14618624,
      "peakWorkingSetBytes": 40513536,
      "cpuMs": 187.5
    }
  },
  "plugins": [
    {
      "package": "<project>\\Build",
      "admitted": true,
      "startMs": 234.506,
      "subject": "LOCAL-KPL-DBB2CNTR",
      "instance": "01a19725-9bea-7ed1-96bf-4ba732dc047a",
      "pid": 16700,
      "jobObject": true,
      "isolation": {
        "level": "Restricted",
        "restrictedToken": true,
        "lowIntegrity": true,
        "appContainer": false
      },
      "limits": {
        "profile": "standard",
        "scriptMemoryBytes": 67108864,
        "processMemoryBytes": 201326592,
        "cpuPercent": 25,
        "maxInstructions": 50000000,
        "clamped": []
      },
      "calls": [
        {
          "operation": "start",
          "ok": true,
          "status": "Completed",
          "type": "String",
          "value": "uruchomienie nr 2",
          "brokerMs": 35.7219,
          "vmMs": 32.2151,
          "instructions": 19,
          "hostCalls": 2,
          "pluginReportedMemory": {
            "managedBytes": 768328,
            "allocatedBytes": 766192,
            "workingSetBytes": 32264192,
            "privateBytes": 11108352,
            "peakWorkingSetBytes": 32518144,
            "cpuMs": 78.125
          }
        },
        {
          "operation": "shutdown",
          "ok": true,
          "status": "Completed",
          "type": "Unit",
          "value": null,
          "brokerMs": 0.7954,
          "vmMs": 0.0013,
          "instructions": 1,
          "hostCalls": 0,
          "pluginReportedMemory": {
            "managedBytes": 776552,
            "allocatedBytes": 774392,
            "workingSetBytes": 32264192,
            "privateBytes": 11108352,
            "peakWorkingSetBytes": 32518144,
            "cpuMs": 78.125
          }
        }
      ],
      "processMemoryMeasuredByBroker": {
        "workingSetBytes": 32264192,
        "privateBytes": 11108352,
        "peakWorkingSetBytes": 32518144,
        "cpuMs": 78.125
      },
      "database": {
        "backend": "sqlite",
        "engineVersion": "3.53.4",
        "fileBytes": 20480,
        "pageCount": 5,
        "engineMemoryBytes": 263640,
        "statements": 30
      },
      "summary": {
        "exitCode": 0,
        "killed": false,
        "hostCalls": 2,
        "denials": 0,
        "peakCommitBytes": 11997184,
        "log": []
      }
    }
  ],
  "brokerAfterClose": {
    "memory": {
      "managedBytes": 590872,
      "allocatedBytes": 1563224,
      "workingSetBytes": 41156608,
      "privateBytes": 14630912,
      "peakWorkingSetBytes": 41156608,
      "cpuMs": 203.125
    }
  },
  "audit": {
    "entries": 17,
    "denials": 0,
    "grantsIssued": 3,
    "denied": []
  },
  "exitCode": 0
}
Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

  1. # EXPECTED_OUTPUT — KRETDB-B01-PersistentCounterOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  2. # Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:27Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  3. # Actual output of the run. Paths replaced by placeholders.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  4. Pusta linia oddziela fragmenty źródła.
  5. ### 1. check (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  6. > kret check . --jsonOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  7. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  8. "format": "kret-diagnostics/1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  9. "project": "<project>",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  10. "succeeded": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  11. "plugin": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  12. "id": "LOCAL-KPL-DBB2CNTR",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  13. "name": "PersistentCounter",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  14. "version": "1.0.0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  15. "profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  16. "database": truePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  17. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  18. "permissions": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  19. "required": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  20. "kretdb.open",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  21. "kretdb.read",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  22. "kretdb.write"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  23. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  24. "optional": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  25. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  26. "handlers": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  27. "lifecycle": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  28. "start",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  29. "shutdown"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  30. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  31. "events": [],Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  32. "commands": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  33. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  34. "diagnostics": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  35. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  36. Pusta linia oddziela fragmenty źródła.
  37. ### 2. run-1 (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  38. > kret run . --policy host-policy.json --data {DATA}Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  39. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  40. "broker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  41. "pid": 26076,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  42. "startupMs": 44.8319,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  43. "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  44. "allowProvisionalRisk": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  45. "memoryIdle": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  46. "managedBytes": 1195536,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  47. "allocatedBytes": 1192896,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  48. "workingSetBytes": 32591872,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  49. "privateBytes": 10194944,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  50. "peakWorkingSetBytes": 32591872,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  51. "cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  52. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  53. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  54. "brokerWithPlugins": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  55. "memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  56. "managedBytes": 1568256,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  57. "allocatedBytes": 1565064,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  58. "workingSetBytes": 40628224,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  59. "privateBytes": 14114816,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  60. "peakWorkingSetBytes": 40644608,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  61. "cpuMs": 187.5Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  62. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  63. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  64. "plugins": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  65. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  66. "package": "<project>\\Build",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  67. "admitted": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  68. "startMs": 156.2042,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  69. "subject": "LOCAL-KPL-DBB2CNTR",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  70. "instance": "01a19725-997c-7a46-9a04-e05b248d5c49",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  71. "pid": 23700,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  72. "jobObject": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  73. "isolation": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  74. "level": "Restricted",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  75. "restrictedToken": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  76. "lowIntegrity": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  77. "appContainer": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  78. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  79. "limits": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  80. "profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  81. "scriptMemoryBytes": 67108864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  82. "processMemoryBytes": 201326592,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  83. "cpuPercent": 25,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  84. "maxInstructions": 50000000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  85. "clamped": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  86. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  87. "calls": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  88. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  89. "operation": "start",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  90. "ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  91. "status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  92. "type": "String",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  93. "value": "uruchomienie nr 1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  94. "brokerMs": 50.576,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  95. "vmMs": 47.3609,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  96. "instructions": 19,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  97. "hostCalls": 2,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  98. "pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  99. "managedBytes": 775672,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  100. "allocatedBytes": 773512,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  101. "workingSetBytes": 32391168,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  102. "privateBytes": 11235328,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  103. "peakWorkingSetBytes": 32628736,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  104. "cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  105. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  106. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  107. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  108. "operation": "shutdown",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  109. "ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  110. "status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  111. "type": "Unit",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  112. "value": null,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  113. "brokerMs": 0.6097,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  114. "vmMs": 0.0028,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  115. "instructions": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  116. "hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  117. "pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  118. "managedBytes": 783896,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  119. "allocatedBytes": 781712,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  120. "workingSetBytes": 32391168,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  121. "privateBytes": 11235328,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  122. "peakWorkingSetBytes": 32628736,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  123. "cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  124. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  125. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  126. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  127. "processMemoryMeasuredByBroker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  128. "workingSetBytes": 32391168,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  129. "privateBytes": 11235328,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  130. "peakWorkingSetBytes": 32628736,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  131. "cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  132. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  133. "database": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  134. "backend": "sqlite",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  135. "engineVersion": "3.53.4",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  136. "fileBytes": 20480,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  137. "pageCount": 5,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  138. "engineMemoryBytes": 263656,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  139. "statements": 36Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  140. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  141. "summary": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  142. "exitCode": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  143. "killed": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  144. "hostCalls": 2,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  145. "denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  146. "peakCommitBytes": 12128256,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  147. "log": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  148. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  149. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  150. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  151. "brokerAfterClose": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  152. "memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  153. "managedBytes": 590936,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  154. "allocatedBytes": 1565064,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  155. "workingSetBytes": 41304064,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  156. "privateBytes": 14823424,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  157. "peakWorkingSetBytes": 41304064,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  158. "cpuMs": 218.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  159. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  160. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  161. "audit": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  162. "entries": 17,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  163. "denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  164. "grantsIssued": 3,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  165. "denied": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  166. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  167. "exitCode": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  168. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  169. Pusta linia oddziela fragmenty źródła.
  170. ### 3. run-2 (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  171. > kret run . --policy host-policy.json --data {DATA}Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  172. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  173. "broker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  174. "pid": 28736,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  175. "startupMs": 65.9211,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  176. "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  177. "allowProvisionalRisk": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  178. "memoryIdle": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  179. "managedBytes": 1193376,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  180. "allocatedBytes": 1190736,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  181. "workingSetBytes": 32493568,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  182. "privateBytes": 10084352,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  183. "peakWorkingSetBytes": 32493568,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  184. "cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  185. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  186. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  187. "brokerWithPlugins": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  188. "memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  189. "managedBytes": 1566440,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  190. "allocatedBytes": 1563224,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  191. "workingSetBytes": 40513536,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  192. "privateBytes": 14618624,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  193. "peakWorkingSetBytes": 40513536,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  194. "cpuMs": 187.5Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  195. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  196. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  197. "plugins": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  198. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  199. "package": "<project>\\Build",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  200. "admitted": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  201. "startMs": 234.506,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  202. "subject": "LOCAL-KPL-DBB2CNTR",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  203. "instance": "01a19725-9bea-7ed1-96bf-4ba732dc047a",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  204. "pid": 16700,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  205. "jobObject": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  206. "isolation": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  207. "level": "Restricted",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  208. "restrictedToken": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  209. "lowIntegrity": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  210. "appContainer": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  211. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  212. "limits": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  213. "profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  214. "scriptMemoryBytes": 67108864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  215. "processMemoryBytes": 201326592,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  216. "cpuPercent": 25,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  217. "maxInstructions": 50000000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  218. "clamped": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  219. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  220. "calls": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  221. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  222. "operation": "start",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  223. "ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  224. "status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  225. "type": "String",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  226. "value": "uruchomienie nr 2",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  227. "brokerMs": 35.7219,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  228. "vmMs": 32.2151,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  229. "instructions": 19,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  230. "hostCalls": 2,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  231. "pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  232. "managedBytes": 768328,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  233. "allocatedBytes": 766192,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  234. "workingSetBytes": 32264192,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  235. "privateBytes": 11108352,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  236. "peakWorkingSetBytes": 32518144,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  237. "cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  238. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  239. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  240. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  241. "operation": "shutdown",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  242. "ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  243. "status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  244. "type": "Unit",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  245. "value": null,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  246. "brokerMs": 0.7954,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  247. "vmMs": 0.0013,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  248. "instructions": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  249. "hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  250. "pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  251. "managedBytes": 776552,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  252. "allocatedBytes": 774392,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  253. "workingSetBytes": 32264192,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  254. "privateBytes": 11108352,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  255. "peakWorkingSetBytes": 32518144,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  256. "cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  257. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  258. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  259. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  260. "processMemoryMeasuredByBroker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  261. "workingSetBytes": 32264192,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  262. "privateBytes": 11108352,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  263. "peakWorkingSetBytes": 32518144,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  264. "cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  265. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  266. "database": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  267. "backend": "sqlite",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  268. "engineVersion": "3.53.4",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  269. "fileBytes": 20480,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  270. "pageCount": 5,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  271. "engineMemoryBytes": 263640,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  272. "statements": 30Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  273. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  274. "summary": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  275. "exitCode": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  276. "killed": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  277. "hostCalls": 2,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  278. "denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  279. "peakCommitBytes": 11997184,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  280. "log": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  281. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  282. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  283. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  284. "brokerAfterClose": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  285. "memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  286. "managedBytes": 590872,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  287. "allocatedBytes": 1563224,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  288. "workingSetBytes": 41156608,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  289. "privateBytes": 14630912,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  290. "peakWorkingSetBytes": 41156608,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  291. "cpuMs": 203.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  292. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  293. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  294. "audit": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  295. "entries": 17,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  296. "denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  297. "grantsIssued": 3,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  298. "denied": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  299. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  300. "exitCode": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  301. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  302. Pusta linia oddziela fragmenty źródła.
  303. Pusta linia oddziela fragmenty źródła.
Diagnostyka i raporty testów

null
Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

  1. nullOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pochodzenie i integralność

KRET_LANGUAGE_KRETDB.zip:KretDB/Examples/BASIC_PersistentCounter/example.json

02_PLAYGROUND/EXAMPLES/KRETDB-B01-PersistentCounter.json
SHA-256 E19E060F9B0486DB02CA424484161C8AF156DD9E5FF6273C0E8086F771F477F7

Materiały źródłowe do tego tematu

Przeczytaj powiązane rozdziały. Kod i kontrakty zachowano z importu; historia źródeł jest dostępna przy każdym rozdziale.

KRETDB-B01-PersistentCounter — Trwały licznik (tabela klucz→wartość)

KRETDB-B01-PersistentCounter — Trwały licznik (tabela klucz→wartość)

🇬🇧 English version below.
PoleWartość
TechnologiaKretDB
PoziomBASIC
KlasyfikacjaRUNNABLE_LOCAL — Uruchamialny lokalnie (SDK, izolowany proces pluginu)
PlaygroundLOCAL_EXECUTE — lokalnie: wykonanie w KretStudio / SDK (publicznie: tylko statycznie)
SDK1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)
Wynik testuTEST_RESULTS.json, rzeczywisty wynik: EXPECTED_OUTPUT.txt

Co pokazuje

Schemat Disk/Schema.kdb z jedną tabelą klucz→wartość. Kod używa db.getOr i db.set. Dwa uruchomienia z tym samym katalogiem danych pokazują trwałość: drugie uruchomienie widzi wynik pierwszego. Baza należy do brokera — plugin nie widzi SQL ani pliku bazy.

Pliki

Plik
Disk/Schema.kdb
Script/Main.krs
host-policy.json
plugin.kretl

Jak uruchomić

Katalog roboczy: katalog tego przykładu. kret oznacza <SDK>\Compiler\kret.exe, kretui-host — <SDK>\UiHost\kretui-host.exe. {DATA} / {OUT} to nowe, puste katalogi poza projektem. Wymagania: REQUIREMENTS.md.

  1. kret check . --json — walidacja schematu i kodu
  2. kret run . --policy host-policy.json --data {DATA} — pierwsze uruchomienie
  3. kret run . --policy host-policy.json --data {DATA} — drugie uruchomienie — ten sam katalog danych

Oczekiwany wynik

„uruchomienie nr 1”, potem „uruchomienie nr 2”.

Najczęstszy błąd

Użycie db.* bez pliku Disk/Schema.kdb albo bez kretdb.open/read/write w manifeście — błąd kompilacji; bez przyznania w polityce hosta — odmowa brokera.

Otwórz cały rozdział ze źródłem →

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

Ustawienia ciasteczek

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

Bez zgody ustawienia działają podczas bieżącej wizyty i nie są zapisywane na później. Odrzucenie nie usuwa konta ani prywatnych projektów.

Polityka prywatności