Ako hodnotiť zložitosť binárneho kódu?

Hodnotenie zložitosti binárneho kódu nie je bežnou úlohou pre Frontend vývojára. Zvyčajne sa tým zaoberajú špecialisti na analýzu výkonu, reverzné inžinierstvo alebo bezpečnosť.

Avšak, hypoteticky, ak predpokladáme analýzu výkonu kódu (napríklad WebAssembly, ktorý je v binárnom formáte), prístupy môžu byť nasledovné:

• Statická analýza: Štúdium štruktúry kódu bez jeho spustenia. Umožňuje odhadnúť:
  • Veľkosť kódu.
  • Počet inštrukcií.
  • Využitie registrov.
  • Hĺbku zásobníka.
  • Prítomnosť slučiek a rekurzie (s obmedzenou presnosťou).
• Dynamická analýza: Spustenie kódu a zber metrík. Umožňuje odhadnúť:
  • Čas vykonávania.
  • Zaťaženie procesora.
  • Využitie pamäti.
  • Správanie pri rôznych vstupných dátach. Nástroje môžu zahŕňať profiler.
• Analýza grafu riadenia toku (Control Flow Graph - CFG): Vizualizácia možných ciest vykonávania kódu. Pomáha odhaliť zložité vetvenia a slučky.
• Analýza závislostí dát (Data Dependency Analysis): Určenie, ako sa dáta prenášajú medzi inštrukciami. Pomáha odhaliť úzke miesta v spracovaní dát.
• Použitie špecializovaných nástrojov: Existujú nástroje na reverzné inžinierstvo a analýzu binárneho kódu (napríklad Ghidra, IDA Pro), ale ich použitie presahuje rámec bežných úloh Frontend vývojára.

Pre Frontend vývojára je relevantnejšie odhadnúť zložitosť JavaScriptu alebo iného zdrojového kódu, ktorá často vychádza z:

• Časovej zložitosti (Time Complexity): Ako čas vykonávania rastie s veľkosťou vstupných dát (napríklad O(1), O(n), O(n log n), O(n^2)).
• Priestorovej zložitosti (Space Complexity): Ako sa zvyšuje spotreba pamäti s rastom veľkosti vstupných dát.

Hodnotenie časovej zložitosti sa zvyčajne vykonáva analýzou algoritmu. Príklady populárnych notácií:

Notácia	Názov	Popis	Príklad operácie
O(1)	Konštantná	Čas vykonávania nezávisí od vstupných dát	Prístup k prvku poľa podľa indexu
O(log n)	Logaritmická	Čas vykonávania rastie pomaly	Dvojitá vyhľadávanie
O(n)	Lineárna	Čas vykonávania je úmerný	Lineárne vyhľadávanie
O(n$^2$)	Kvadratická	Čas rastie rýchlo	Bublinkové triedenie

Príklad hodnotenia časovej zložitosti v JavaScripte:

// O(n) - lineárna zložitosť
function sumArray(arr) {
  let sum = 0;
  for (let i = 0; i < arr.length; i++) {
    sum += arr[i];
  }
  return sum;
}

// O(n^2) - kvadratická zložitosť
function multiplyMatrices(matrixA, matrixB) {
  const rowsA = matrixA.length;
  const colsA = matrixA[0].length;
  const rowsB = matrixB.length;
  const colsB = matrixB[0].length;
  if (colsA !== rowsB) {
    throw new Error("Nezlučiteľné rozmery matíc");
  }
  const result = new Array(rowsA).fill(0).map(() => new Array(colsB).fill(0));

  for (let i = 0; i < rowsA; i++) {
    for (let j = 0; j < colsB; j++) {
      for (let k = 0; k < colsA; k++) {
        result[i][j] += matrixA[i][k] * matrixB[k][j];
      }
    }
  }
  return result;
}

Takže, hodnotenie zložitosti binárneho kódu je úloha, ktorá presahuje rámec štandardných povinností Frontend vývojára, na rozdiel od hodnotenia zložitosti zdrojového kódu, čo je dôležitý aspekt vývoja výkonných webových aplikácií.