SDS-C: SCB - Historie editací

Adamn v 5. 7. 2022, 10:32

2022-07-05T10:32:35Z

Adamn v 5. 7. 2022, 10:31

2022-07-05T10:31:50Z

Adamn v 5. 7. 2022, 10:31

2022-07-05T10:31:25Z

Adamn v 14. 6. 2022, 07:59

2022-06-14T07:59:35Z

Adamn v 14. 6. 2022, 07:44

2022-06-14T07:44:27Z

Adamn v 14. 6. 2022, 07:39

2022-06-14T07:39:05Z

Adamn v 14. 6. 2022, 07:35

2022-06-14T07:35:35Z

Adamn v 14. 6. 2022, 07:21

2022-06-14T07:21:31Z

Adamn v 14. 6. 2022, 07:05

2022-06-14T07:05:01Z

Adamn: Založena nová stránka s textem „

 Tato stránka popisuje programovací jazyk SDS-C, který je dostupný na vybraných zařízeních SDS.  Některá zařízení SDS používají FULL-C…“

2022-06-14T07:04:47Z

Založena nová stránka s textem „<pre> Tato stránka popisuje programovací jazyk SDS-C, který je dostupný na vybraných zařízeních SDS. Některá zařízení SDS používají FULL-C…“

Nová stránka

<pre>
Tato stránka popisuje programovací jazyk SDS-C, který je dostupný na vybraných zařízeních SDS.
Některá zařízení SDS používají FULL-C, pro který máme návody jinde na této WiKi.
</pre>

== Soubor .SCB ==

Soubor .SCB obsahuje výstup překladu vašeho zdrojového kódu jazyka SDS-C.

Provedení překladu pomocí aplikace SDSC.exe v příkazovém řádku:

C:\SDSC\SDSC.EXE compile test.c

Tento příklad vezme zdrojový kód v jazyce SDS-C v textovém souboru test.c , provede překlad, a vygeneruje binární soubor test.c.SCB .

Soubor SCB lze přímo [[SDS:POST_upload|poslat pomocí HTTP POST]] do všech zařízení SDS řady ST.

== Formát souboru .SCB ==

Soubor se skládá z datových bloků o typicky pevné velikosti (jen poslední blok může být kratší).

Na začátku každého bloku je hlavička, a následuje datový obsah.

Bloky jsou těsně na sobě, za sebou, uspořádány v SCB souboru. Obsahem SCB souboru není nic jiného než tyto bloky.

Do SDS se soubor SCB přenáší kompletně v původním stavu, tak jak je zapsán na disku, beze změn. Modul SDS provádí interně kontrolu přijatého obsahu souboru SCB, a při jakékoliv odchylce celý soubor odmítne.

Obsah souboru SCB, který obsahuje "n" bloků:

BLOK 0
BLOK 1
...
BLOK n-1

Počet bloků ("n") je určen překladačem, a prakticky (logicky) odpovídá velikosti programu.

Interní datový obsah každého bloku tvoří jednotlivé části přeloženého SDS-C programu, viz dále.

Nejprve je potřeba si popsat hlavičku každého bloku:

OBSAH BLOK x

offset | length | detail
-------+---------+------------------------------------------
0 | 2 B | a general block position ("bpoz")
2 | 1 B | reserved (by default set to 0xAA)
3 | 1 B | block 8-bit checksum ("c")
4 | 2 B | block length ("blen")
-------+---------+------------------------------------------
5 | blen B | internal data

Každý blok má svou pozici - číslování začíná na nule. Podmínkou je umístit bloky do souboru SCB přesně za sebou, tak jak se jejich pozice zvyšuje. Stejně tak jsou zasílány do SDS. Pokud SDS detekuje neplatný (očekávaný) údaj pozice, je celé nahrávání SCB přerušeno a zamítnuto.

Délka bloku "blen" musí být v rozmezí 0 až 264 (včetně). Typicky všechny bloky mají délku 264 bajtů, s možnou vyjímkou jen pro úplně poslední blok, který může být jako jediný kratší.

Interní Data bloku jsou už samotným kouskem obsahu výsledku překladu SDS-C. Překladač tedy vytvoří celý binární obsah, který je rozkouskouván do bloků (kterým je přidána hlavička). Po nahrání SDS-C do modulu SDS dojde k zahození hlavičky, úpravy a kontrole interních dat a jejich celkovému opětovnému sloučení (složeny pěkně za sebou bez přerušení). To co si SDS v sobě uchová jsou už vyčištěná interní data, tedy "binární kód SDS-C".

Každý blok má svá Interní Data jednoduše upravena, což má umožnit jejich kontrolu a detekovat chybu při přenosu. Nejedná se o šifrování (to je v plné míře a správným způsobem aplikováno až u FULL-C), ale o jednoduchou logickou operaci zaměřenou na detekci bitových chyb.

Algoritmus úpravy (je už obsažen v SDSC.EXE a jeho výsledek je tedy už obsahem .SCB souboru) je celkově jednoduchý.

uint32_t i;
uint8_t yx, ck;
if (blen > 264)
{
error: invalid blen -> exit
}
yx = c ^ 0x27;
ck = 0;
for (i = 0; i < blen; i++)
{
block_internal_data[i] ^= yx;
ck += block_internal_data[i];
}
if (ck != c)
{
error - checksum not valid -> exit
} else
{
checksum for this block IS valid -> continue to next block
}

Tento pseudokód je v principu obousměrný, lze jej použít jak pro vytvoření zabezpečeného bloku, tak pro ověření zabezpečení a odstranění tohoto zabezpečení.

Protože se vždy předpokládá přenos přes IP vrstvu (UDP, nebo TCP pro HTTP POST), není v tomto případě zabezpečení na této úrovni dále zvyšováno (v rámci IP vrstvy jsou pakety kontrolovány pomocí CRC32, což pro takto malou datovou dávku je dostatečné).

== Postupy ==

Postup při překladu:

+-------------+ +-------------+
| source code | +-------------+ | output file |
| | -------> COMPILER -------> | binary code | --> SPLIT TO BLOCKS -> MODIFY INTERNAL DATA -> WRITE ALL BLOCKS --> | |
| test.c | +-------------+ FOR EACH BLOCK TO .SCB | test.c.SCB |
+-------------+ + ADD HEADERS +-------------+

Postup při nahrávání do SDS:

+---------------+
| compiled file |
| | -------> HTTP POST -------> CHECK BLOCK HEADERS -> STRIP HEADERS -> UNMODIFY INTERNAL DATA -> WRITE INTERNAL DATA TO DATAFLASH --> RUN SDS-C
| test.c.SCB | (authorized) (= SDS-C BINARY CODE)
+---------------+

Lze vidět že proces je přímočarý a z hlediska klienta (ten kdo nahrává do SDS) jednoduchý - pošle se obsah .SCB souboru beze změny, tak jak je na disku 1:1 do SDS.

== Binární kód SDS-C ==

Binární kód je datový blob, který je výstupem překladu zdrojového kódu jazyka SDS-C. Tento binární kód je různým způsobem transportován do SDS, jeden za způsobů (rozklad do bloků a jejich zabezpečení) je popsán výše.

Pokud nás zajímá přímý výstup překladu, tedy ještě před předáním do transportu (tedy např. rozklad na bloky do .SCB), tak je popis zde.

MASTER HEADER
[ header ]
STRINGS HEADER
[ OFSLEN0, OFSLEN1, ... OFSLENn ]
STRINGS BLOB
[ STR0, STR1, ... STRn ]
PROCEDURES (CODE BLOBS)
[ TYPE, NUMBC, BYTECODE[] ]

Tyto čtyři základní binární části jsou umístěny těsně za sebou, a jako celek tvoří spustitelný přeložený SDS-C program, který spustí a provede kterékoliv SDS První Produktové Řady.

Naprosto všechny prvky jsou zapsány jako 16bit slova (v případě potřeby uložit do bytecode např. konstanty o větší bitové šířce, je to provedeno kombinací více 16bit slov).

Jedná se plně kustomizovaný způsob zápisu binárního kódu programu, který privátně vytvořil vývoj AN-D a který je použit jedině pro moduly SDS (OnlineTechnology).

@@ Řádek 240: / Řádek 240: @@
     // test na platny zacatek bloku instrukce
-    if ((bc & 0x8000) != 0x8000)
+    if (0x8000 != (bc & 0x8000))
+    {
       continue;

@@ Řádek 219: / Řádek 219: @@
 V rámci vykonávání bytecode může dojít na skok na "label" pomocí "goto". Tento skok lze provést i mezi jednotlivými procedurami. Skok je zpracován překladačem a tento zapíše do bytecode jak číslo procedury (do které se skáče), tak cílovou pozici bytecode v rámci dané procedury. To znamená, že skočit (goto label) lze provést kamkoliv v rámci (platné základní pozice) bytecode kterékoliv procedury (stejné nebo jiné).
-<u>Základní provozní smyčka programu:<u><br>
+<u>Základní provozní smyčka programu:</u><br>
 . inicializovat program, začít s procedurou "init()" (pokud je přítomna, jinak rovnou "main()")<br>
 . začít provádět instrukce (bytecode) z dané procedury<br>

@@ Řádek 209: / Řádek 209: @@
 Bytecode je složen z (v hlavičce) uvedeného počtu 16bit slov. Tento bytecode je postupně vykonáván, od začátku až po konec procedury. Pokud se dojde na konec procedury, je procedura považována za ukončenou, a přejde se zpět na proceduru která tu vykonávanou zavolala. Pozor - pokud se jedná o funkci main(), tak zde dojde k opětovnému spuštění funkce main(). Odsud lze vidět i funkci funkce init(), která je zavolaná prioritně (a jen jednou) při prvním startu programu, a po jejím ukončení se jde ihned do funkce main(), která je pak ponechána jako hlavní.
-Z celého popisu je nejsložitější popis bytecode samotného. TBD.
+Z celého popisu je nejsložitější popis bytecode samotného.
 == Konec ==

@@ Řádek 116: / Řádek 116: @@
 '''Původní SDS které prováděli přeložený SDS-C program byly založeny na tehdejším mimořádně omezeném dostupném hardware, zejména z hlediska pracovní paměti (RAM v desítkách kB). Přesto se povedlo do takového prostoru dostat všechny funkce SDS a k tomu provádění SDS-C programu. Tuto informaci uvádím primárně pro to, že vysvětluje celou řadu návrhových rozhodnutí, které jsou zde dále popsány. Nešlo si dovolit plýtvat pamětí a místem, a mnohdy se hledal kompromis.''' Teprve FULL-C tato omezení nemá a je plnohodnotný (včetně plného kryptografického zabezpečení).
-Pokud nás zajímá přímý výstup překladu, tedy ještě před předáním do transportu (tedy např. rozklad na bloky do .SCB), tak je popis zde.
+Za zmínku stojí i to, že původně byl SDS-C program zadáván přímo ve zdrojovém textu ve webovém rozhraní zařízení SDS, což ale bylo následně předěláno (na zadávání a překlad na PC) primárně z důvodu zvětšení možného rozsahu (velikosti) programu, a také hlavně díky přesunu na PC došlo k možnosti emulovat program (ladění a simulace v SDSC.exe).
   MASTER HEADER
    [ header ]
   STRINGS HEADER
-   [ OFSLEN0, OFSLEN1, ... OFSLENn ]
+   [ OFSLEN(0), OFSLEN(1), ... OFSLEN(n-1) ]
   STRINGS BLOB
-   [ STR0, STR1, ... STRn ]
+   [ STR(0), STR(1), ... STR(n-1) ]
   PROCEDURES (CODE BLOBS)
-   [ TYPE, NUMBC, BYTECODE[] ]
+   [ PROC(X) = " TYPE, NUMBC, BYTECODE[] " ]
 Tyto čtyři základní binární části jsou umístěny těsně za sebou, a jako celek tvoří spustitelný přeložený SDS-C program, který spustí a provede kterékoliv SDS První Produktové Řady.
@@ Řádek 147: / Řádek 150: @@
     |      2 B |   STRING BLOB size
     |      2 B |   STRINGS count
-    |      2 B |   PROCEDURE count (max 96)
+    |      2 B |   PROCEDURES count (max 96)
     |      2 B |   VARIABLES count (max 144)
-    | 96 x 2 B |   offset -> PROCEDURE "n"
+    | 96 x 2 B |   offset -> PROCEDURE
 Hodnota 96 (konstanta) udává aktuální maximální počet procedur v rámci dané verze SDS-C.
@@ Řádek 204: / Řádek 207: @@
 Je úkolem překladače identifikovat funkce init() a main() a nastavit pro jejich bytecode správný typ.
-Bytecode je složen z (v hlavičce) uvedeného počtu 16bit slov. Tento bytecode je postupně vykonáván, od začátku až po konec procedury. Pokud se dojde na konec procedury, je procedura považována za ukončenou, a přejde se zpět na proceduru která tu vykonávanou zavolala. Pozor - pokud se jedná o funkci main(), tak zde dojde k opětovnému spuštění funkce main().
+Bytecode je složen z (v hlavičce) uvedeného počtu 16bit slov. Tento bytecode je postupně vykonáván, od začátku až po konec procedury. Pokud se dojde na konec procedury, je procedura považována za ukončenou, a přejde se zpět na proceduru která tu vykonávanou zavolala. Pozor - pokud se jedná o funkci main(), tak zde dojde k opětovnému spuštění funkce main(). Odsud lze vidět i funkci funkce init(), která je zavolaná prioritně (a jen jednou) při prvním startu programu, a po jejím ukončení se jde ihned do funkce main(), která je pak ponechána jako hlavní.
 Z celého popisu je nejsložitější popis bytecode samotného. TBD.
 == Konec ==

← Starší verze		Verze z 14. 6. 2022, 07:44
Řádek 131:		Řádek 131:
	Naprosto všechny prvky jsou zapsány jako 16bit slova (v případě potřeby uložit do bytecode např. konstanty o větší bitové šířce, je to provedeno kombinací více 16bit slov).		Naprosto všechny prvky jsou zapsány jako 16bit slova (v případě potřeby uložit do bytecode např. konstanty o větší bitové šířce, je to provedeno kombinací více 16bit slov).

−	Jedná se plně kustomizovaný způsob zápisu binárního kódu programu, který privátně vytvořil vývoj AN-D a který je použit jedině pro moduly SDS (OnlineTechnology).	+	Jedná se plně kustomizovaný způsob zápisu binárního kódu programu, který '''privátně vytvořil vývoj AN-D (už to bude téměř 20 let existence SDS-C), dále jej udržuje, a který je použit jedině pro moduly SDS (OnlineTechnology)'''. Zde popsaný návrh (a vše související) není legálně možné použít v jiném komerčním výrobku - autor k tomu nedává svolení).

@@ Řádek 152: / Řádek 152: @@
 Hodnota 96 (konstanta) udává aktuální maximální počet procedur v rámci dané verze SDS-C.
@@ Řádek 172: / Řádek 174: @@
 === STRINGS BLOB ===
-Texty.
+Všechny extrahované texty (stringy) z programu jsou uloženy v jednom společném binárním blobu. Každý jednotlivý string je zakončen 0x00, a celkově tyto stringy na sebe navazují. Pomocí STRINGS HEADER dokaže SDS rychle najít odkaz do tohoto STRINGS BLOBu na každý jednotlivý string (program si v bytecode udržuje reference do STRINGS HEADER, odkud se vezme offset do STRINGS BLOB a následně se už přečte požadovaný text).
 === PROCEDURES ===
-Bytecode.
+Bytecode je vždy uložen v jednotlivých funkcích (PROCEDURES). Při vykonávání SDS-C programu provádí SDS právě jednotlivé procedury, tedy jejich vnitřní obsah (bytecode). SDS vždy začne od procedury označené názvem jako "main" (toto identifikuje překladač a nastaví potřebný typ dále do binárního kódu). Jednotlivé procedury mohou ze svého bytecode zavolat jiné procedury, které se po svém provedení vrátí hned za místo původního volání (klasický očekávaný způsob běhu programu).
 == Konec ==

@@ Řádek 113: / Řádek 113: @@
 Binární kód je datový blob, který je výstupem překladu zdrojového kódu jazyka SDS-C. Tento binární kód je různým způsobem transportován do SDS, jeden za způsobů (rozklad do bloků a jejich zabezpečení) je popsán výše.
 Pokud nás zajímá přímý výstup překladu, tedy ještě před předáním do transportu (tedy např. rozklad na bloky do .SCB), tak je popis zde.
@@ Řádek 130: / Řádek 132: @@
 Jedná se plně kustomizovaný způsob zápisu binárního kódu programu, který privátně vytvořil vývoj AN-D a který je použit jedině pro moduly SDS (OnlineTechnology).

@@ Řádek 7: / Řádek 7: @@
 == Soubor .SCB ==
+__NOTOC__
 Soubor .SCB obsahuje výstup překladu vašeho zdrojového kódu jazyka SDS-C.
@@ Řádek 43: / Řádek 43: @@
   OBSAH BLOK x
-−
    offset | length  |  detail
    -------+---------+------------------------------------------