Shader: τι είναι, είδη shader και πώς λειτουργούν

Τι είναι το Shader;

Shader — είναι ένα μικρό πρόγραμμα γραμμένο σε εξειδικευμένη γλώσσα και εκτελούμενο στην GPU. Κάθε shader επεξεργάζεται ένα στοιχείο δεδομένων — κορυφή, τμήμα (pixel) ή στοιχείο εργασίας — ανεξάρτητα από τα άλλα. Ο παραλληλισμός της GPU επιτρέπει την ταυτόχρονη εκτέλεση χιλιάδων στιγμιοτύπων shader.

Ο όρος εισήχθη από την Pixar τη δεκαετία του 1980 για να περιγράψει προγράμματα που ελέγχουν την εμφάνιση επιφανειών στο RenderMan. Σε πραγματικό χρόνο, τα shader εμφανίστηκαν με το NVIDIA GeForce 3 (2001) — την πρώτη κάρτα γραφικών με προγραμματιζόμενο pipeline. Πριν από τα shader, τα γραφικά ρυθμίζονταν μέσω σταθερών παραμέτρων: χρώμα, υφή, λειτουργία ανάμειξης.

Σύμφωνα με δεδομένα της Unity Technologies (2025), ένα μέσο κινητό παιχνίδι χρησιμοποιεί 50–200 shader. Κάθε shader έχει παραλλαγές (variants) για διαφορετικές πλατφόρμες, επίπεδα ποιότητας και διαμορφώσεις φωτισμού. Ο αριθμός παραλλαγών μπορεί να φτάσει τις 10.000 ανά έργο.

Η αρχιτεκτονική του shader χωρίζεται σε δεδομένα εισόδου (attributes, uniform μεταβλητές, υφές), κώδικα προγράμματος και δεδομένα εξόδου (χρώμα, θέση). Οι uniform μεταβλητές ορίζονται από την CPU πριν από την εκτέλεση του shader και παραμένουν αμετάβλητες για όλα τα στοιχεία του καρέ. Τα attributes είναι δεδομένα ανά στοιχείο (συντεταγμένες κορυφής, κανονική, συντεταγμένες UV).

Μοντέλο εκτέλεσης SIMT

SIMT (Single Instruction, Multiple Threads) — μοντέλο εκτέλεσης shader στην GPU. Μία εντολή φορτώνεται μία φορά, αλλά εκτελείται από εκατοντάδες νήματα σε διαφορετικά δεδομένα. Για παράδειγμα, το Fragment Shader για 1000 pixel εκκινεί 1000 νήματα με τον ίδιο κώδικα, αλλά κάθε νήμα λαμβάνει τις δικές του συντεταγμένες UV και παρεμβαλλόμενα attributes.

Σημαντική συνέπεια του SIMT: οι διακλαδώσεις στα shader είναι ακριβές. Αν μέσα σε ένα μπλοκ if τα μισά νήματα ακολουθούν έναν κλάδο και τα μισά τον άλλο, η GPU εκτελεί και τους δύο κλάδους σειριακά για όλα τα νήματα. Η απόδοση πέφτει στο 50%. Αποφύγετε τις δυναμικές διακλαδώσεις στα shader ή ελαχιστοποιήστε τις μέσω προκαταρκτικών υπολογισμών στην CPU.

Είδη shader

Οι σύγχρονες GPU υποστηρίζουν διάφορους τύπους shader, ο καθένας για το δικό του στάδιο του γραφικού ή υπολογιστικού pipeline. Ας εξετάσουμε τα κύρια είδη: κορυφής, τμήματος, compute και σύγχρονα mesh-shader.

Vertex Shader

Vertex Shader επεξεργάζεται κάθε κορυφή της γεωμετρίας: μετασχηματίζει συντεταγμένες, υπολογίζει φωτισμό, μεταδίδει δεδομένα στο fragment shader. Αυτό είναι υποχρεωτικό στάδιο του γραφικού pipeline — χωρίς αυτό οι κορυφές δεν φτάνουν στην οθόνη. Το Vertex Shader καλείται για κάθε κορυφή κάθε καρέ.

Fragment Shader

Fragment Shader (ή Pixel Shader) — το πιο εντατικό σε πόρους στάδιο. Υπολογίζει το τελικό χρώμα κάθε τμήματος χρησιμοποιώντας υφές, φωτισμό και υλικό. Το Fragment Shader εκτελείται για κάθε pixel που καλύπτεται από γεωμετρία, λαμβάνοντας υπόψη όλες τις εφαρμοσμένες υφές και εφέ. Η βελτιστοποίηση αυτού του shader δίνει τη μεγαλύτερη αύξηση απόδοσης.

Compute Shader

Compute Shader — καθολικό shader για αυθαίρετους υπολογισμούς στην GPU. Σε αντίθεση με τα γραφικά shader, δεν συνδέεται με γεωμετρία ή pixel. Το Compute Shader λειτουργεί με αυθαίρετους buffers δεδομένων μέσω ομάδων εργασίας. Χρησιμοποιείται για φυσική, προσομοίωση σωματιδίων, μετα-εφέ και εξαγωγή συμπερασμάτων νευρωνικών δικτύων.

Mesh Shader

Mesh Shader — ο νεότερος τύπος shader, που εμφανίστηκε στο NVIDIA Turing (2018) και στο Metal 3. Το Mesh Shader αντικαθιστά τα shader κορυφής, γεωμετρίας και τεμαχισμού με ένα ενιαίο mesh pipeline. Λειτουργεί σε συνδυασμό με το Task Shader: το Task Shader αποφασίζει ποιες ομάδες mesh θα αποδοθούν, το Mesh Shader δημιουργεί γεωμετρία εν κινήσει.

Γλώσσες για τη γραφή shader

Τα shader γράφονται σε εξειδικευμένες γλώσσες που μεταγλωττίζονται σε κώδικα μηχανής GPU. Η επιλογή γλώσσας εξαρτάται από την πλατφόρμα και το API. Ας εξετάσουμε τις κύριες γλώσσες: GLSL, HLSL, Metal Shading Language και την ενδιάμεση μορφή SPIR-V.

GLSL (OpenGL Shading Language)

GLSL — η γλώσσα shader για OpenGL, OpenGL ES και WebGL. Η σύνταξη βασίζεται στη C με προσθήκη διανυσματικών τύπων (vec2, vec4, mat4) και ενσωματωμένων συναρτήσεων (texture, normalize, reflect). GLSL ES — η έκδοση για κινητές συσκευές με περιορισμένη ακρίβεια (lowp, mediump, highp). Σύμφωνα με δεδομένα της Khronos (2025), η GLSL παραμένει η πιο διαδεδομένη γλώσσα shader χάρη στη δυνατότητα cross-platform.

#version 300 es
precision mediump float;
in vec2 v_texCoord;
uniform sampler2D u_texture;
out vec4 fragColor;

void main() {
    fragColor = texture(u_texture, v_texCoord);
}

Ένα απλό fragment shader διαβάζει χρώμα από υφή βάσει συντεταγμένων UV. Η precision mediump δίνει εντολή στην GPU να χρησιμοποιήσει μισή ακρίβεια για float — επιταχύνει την εκτέλεση σε κινητές συσκευές κατά 25–40%.

HLSL (High-Level Shader Language)

HLSL — η γλώσσα shader της Microsoft για DirectX. Η σύνταξη είναι πιο κοντά στη C++ με υποστήριξη για κλάσεις, δομές και πρότυπα. Η HLSL χρησιμοποιείται σε εφαρμογές Windows και μέσω Shader Model 6.7+ υποστηρίζει Ray Tracing, Mesh Shaders και Sampler Feedback. Για κινητή ανάπτυξη, η HLSL δεν χρησιμοποιείται άμεσα, αλλά μεταγλωττίζεται σε SPIR-V για Vulkan.

Metal Shading Language

MSL (Metal Shading Language) — η γλώσσα shader της Apple, βασισμένη στη C++14. Σε αντίθεση με τις GLSL και HLSL, η MSL μεταγλωττίζεται μαζί με την εφαρμογή, εξαλείφοντας τη μεταγλώττιση JIT στη συσκευή. Η MSL υποστηρίζει δείκτες, πρότυπα και την τυπική βιβλιοθήκη C++. Χρησιμοποιείται σε όλες τις συσκευές Apple: iPhone, iPad, Mac, Apple TV.

#include <metal_stdlib>
using namespace metal;
struct VertexOut {
    float4 position [[position]];
    float2 texCoord;
};

fragment float4
myFragment(VertexOut in [[stage_in]],
            texture2d<float> tex [[texture(0)]]) {
    constexpr sampler s = sampler(filter::linear);
    return tex.sample(s, in.texCoord);
}

Η MSL χρησιμοποιεί τα attributes [[position]], [[stage_in]] και [[texture(N)]] για τη σύνδεση πόρων. Ο μεταγλωττιστής της Apple παράγει βελτιστοποιημένο κώδικα για την τρέχουσα GPU, λαμβάνοντας υπόψη τον αριθμό καταχωρητών και προσωρινής μνήμης.

SPIR-V

SPIR-V — ενδιάμεση δυαδική μορφή shader, το πρότυπο για Vulkan. Τα shader γράφονται σε GLSL ή HLSL, μεταγλωττίζονται σε SPIR-V και φορτώνονται στην εφαρμογή Vulkan. Το SPIR-V δεν συνδέεται με συγκεκριμένη γλώσσα — υπάρχουν μεταγλωττιστές από Rust, Python, OpenCL C σε SPIR-V.

Shader στην κινητή ανάπτυξη

Τα shader σε κινητές πλατφόρμες έχουν περιορισμούς σε σύγκριση με τους επιτραπέζιους υπολογιστές: λιγότερους καταχωρητές, περιορισμένη ακρίβεια και έλλειψη υποστήριξης για ορισμένες εντολές. Ας εξετάσουμε την ειδικότητα των shader σε Android (Vulkan/OpenGL ES) και iOS (Metal).

Shader σε Android

Android χρησιμοποιεί GLSL ES για OpenGL και SPIR-V για Vulkan. Το OpenGL ES 3.2 υποστηρίζει shader με προεπιλεγμένη ακρίβεια mediump. Το Vulkan απαιτεί ρητή μεταγλώττιση GLSL σε SPIR-V μέσω glslangValidator. Σε Android, τα shader φορτώνονται από πόρους κειμένου ή από μεταγλωττισμένα αρχεία SPIR-V.

Qualcomm Adreno GPU βελτιστοποιεί shader σε επίπεδο οδηγού. Συστάσεις: χρησιμοποιήστε mediump για χρώμα και UV, highp μόνο για θέσεις· αποφύγετε τη δειγματοληψία υφής σε vertex shader· ομαδοποιήστε υπολογισμούς σε διανύσματα (vec4 αντί για 4x float). Σύμφωνα με δεδομένα Qualcomm (2025), αυτές οι βελτιστοποιήσεις δίνουν βελτίωση 30–50%.

Shader σε iOS

iOS χρησιμοποιεί αποκλειστικά Metal Shading Language. Τα shader μεταγλωττίζονται σε κώδικα μηχανής μαζί με την εφαρμογή μέσω Xcode. Η Metal παρέχει Shader Debugger και GPU Capture για την προφίλ των shader. Η Apple GPU (TBDR) έχει συγκεκριμένες βελτιστοποιήσεις: early fragment test, memoryless render targets και προγραμματιζόμενη ανάμειξη.

Σύμφωνα με δεδομένα Apple WWDC 2024, για shader iOS είναι κρίσιμο να χρησιμοποιείτε half αντί για float, να περιορίζετε την πίεση καταχωρητών (μέγ. 64 καταχωρητές) και να αποφεύγετε εξαρτημένη δειγματοληψία υφής. Τα shader iOS πρέπει να είναι συμπαγή — το βέλτιστο μέγεθος είναι 50–100 εντολές ALU.

Shader σε Unity και Unreal Engine

Οι μηχανές παιχνιδιών Unity και Unreal Engine παρέχουν οπτικούς επεξεργαστές shader (Shader Graph, Material Editor) και αφηρημένες γλώσσες (ShaderLab, USF). Ο προγραμματιστής γράφει το shader σε γλώσσα υψηλού επιπέδου και η μηχανή το μεταγλωττίζει για την πλατφόρμα-στόχο. Η Unity χρησιμοποιεί HLSL ως ενδιάμεση γλώσσα, η Unreal — USF (Unreal Shader Format).

Βελτιστοποίηση shader

Βελτιστοποίηση shader — κρίσιμο στάδιο ανάπτυξης γραφικών για κινητές συσκευές. Ένα κακογραμμένο shader μπορεί να μειώσει τα FPS από 60 σε 20. Ας εξετάσουμε τους κύριους κανόνες και τεχνικές βελτιστοποίησης.

Ακρίβεια υπολογισμών

Χρησιμοποιήστε την ελάχιστη επαρκή ακρίβεια: lowp για χρώμα και UV, mediump για κανονικές και φωτισμό, highp μόνο για θέσεις και πίνακες. Σύμφωνα με δεδομένα ARM (2025), οι λειτουργίες mediump είναι 2 φορές ταχύτερες από highp σε Mali GPU. Στην GLSL ES αυτό ρυθμίζεται μέσω προδιαγραφών precision.

Ελαχιστοποίηση δειγματοληψίας υφής

Δειγματοληψία υφής — η πιο ακριβή λειτουργία σε shader (10–30 κύκλοι έναντι 1–2 για εντολή ALU). Μειώστε τον αριθμό δειγμάτων: συνδυάστε υφές σε άτλαντες, χρησιμοποιήστε αποθήκευση σε uniform πίνακες αντί για υφές, αποθηκεύστε προσωρινά αποτελέσματα γειτονικών pixel μέσω εντολών παραγώγων.

Αποφύγετε τις διακλαδώσεις

Δυναμικές διακλαδώσεις (if με uniform μεταβλητή) μειώνουν την απόδοση του pipeline SIMT. Αντικαταστήστε τις διακλαδώσεις με μαθηματικές συναρτήσεις: mix(), step(), smoothstep() και clamp(). Αυτές οι συναρτήσεις εκτελούνται σε 1–2 εντολές, ενώ μια διακλάδωση μπορεί να κοστίσει 8–16 εντολές λόγω απόκλισης νημάτων.

// Κακό: δυναμική διακλάδωση στο shader
if (u_enableLight) {
    color *= computeLighting(normal);
}

// Καλό: μαθηματική αντικατάσταση διακλάδωσης
color *= mix(1.0, computeLighting(normal),
              float(u_enableLight));

Η mix() εκτελεί γραμμική παρεμβολή μεταξύ δύο τιμών. Όταν u_enableLight=0, επιστρέφεται 1.0 — το χρώμα δεν αλλάζει. Όταν u_enableLight=1, επιστρέφεται το αποτέλεσμα φωτισμού. Χωρίς διακλάδωση — όλα τα νήματα εκτελούν τον ίδιο κώδικα.

Παραδείγματα shader

Ας εξετάσουμε πρακτικά παραδείγματα shader για κινητή ανάπτυξη — από απλή σκίαση έως διαδικαστική δημιουργία υφής. Κάθε παράδειγμα δείχνει μια συγκεκριμένη τεχνική.

Σκίαση Phong (vertex shader)

Μοντέλο Phong — κλασικό μοντέλο φωτισμού με διάχυτα και κατοπτρικά συστατικά. Το Vertex Shader υπολογίζει τον φωτισμό για κάθε κορυφή, το Fragment Shader μόνο παρεμβάλλει το αποτέλεσμα (Gouraud shading). Κατάλληλο για κινητές συσκευές λόγω χαμηλού κόστους.

#version 300 es
layout(location = 0) in vec4 a_position;
layout(location = 1) in vec3 a_normal;
uniform mat4 u_mvp;
uniform mat4 u_modelView;
out vec3 v_color;

void main() {
    vec3 normal = normalize(mat3(u_modelView) * a_normal);
    vec3 lightDir = normalize(vec3(0.0, 1.0, 1.0));
    float diff = max(dot(normal, lightDir), 0.0);
    v_color = vec3(0.8, 0.2, 0.2) * (0.3 + diff * 0.7);
    gl_Position = u_mvp * a_position;
}

Το shader υπολογίζει διάχυτο φωτισμό: το εσωτερικό γινόμενο της κανονικής και της κατεύθυνσης φωτός. Το αποτέλεσμα αναμιγνύεται με τα συστατικά ambient (0.3) και diffuse (0.7). Εκτελεί 10–15 εντολές ALU ανά κορυφή — αποδεκτό για 100.000 πολύγωνα στα 60 FPS σε κινητή GPU.

Διαδικαστική υφή (fragment shader)

Διαδικαστικές υφές δημιουργούνται στο Fragment Shader χωρίς φόρτωση από αρχείο. Εξοικονομεί μνήμη βίντεο και απλοποιεί την κινούμενη εικόνα. Παράδειγμα — σκακιέρα με μεταβλητό μέγεθος κελιών. Μόνο λίγες εντολές ALU — ελάχιστο φορτίο στην GPU.

#version 300 es
precision mediump float;
in vec2 v_uv;
uniform float u_cells;
out vec4 fragColor;

void main() {
    vec2 cell = floor(v_uv * u_cells);
    float isWhite = mod(cell.x + cell.y, 2.0);
    fragColor = mix(vec4(0.1, 0.1, 0.1, 1.0),
                     vec4(0.9, 0.9, 0.9, 1.0),
                     isWhite);
}

8 εντολές ALU — ιδανικό shader για κινητές συσκευές. Το u_cells καθορίζει τον αριθμό κελιών ανά άξονα. floor και mod — φθηνές λειτουργίες, εκτελούνται σε 1 κύκλο σε όλες τις κινητές GPU.