Τι είναι τα StatefulSets, τα PersistentVolumes/Claims, και πώς τρέχεις stateful workloads στο Kubernetes;

Question

IT Interview Practice · Accepted Answer

Τα stateful workloads (databases, queues, clustered stores) χρειάζονται **σταθερή ταυτότητα** και **ανθεκτικό storage** — πράγματα που ένα Deployment δεν παρέχει. Ένα **StatefulSet** δίνει στα Pods σταθερά ονόματα και διατεταγμένο lifecycle· τα **PersistentVolumes (PV)** και τα **PersistentVolumeClaims (PVC)** τους δίνουν storage που επιβιώνει πέρα από το Pod.

## Γιατί τα Deployments δεν αρκούν

```text
Deployment Pods are INTERCHANGEABLE: random names (web-7f9-abc), any order, share
nothing per-Pod. That's perfect for stateless apps — but a database replica needs:
  → a STABLE network identity (so peers can find it: db-0, db-1, db-2)
  → its OWN durable disk that survives restarts/rescheduling
  → ORDERED, controlled startup/scaling (bring up db-0 before db-1)
StatefulSet provides exactly these.
```

## Εγγυήσεις του StatefulSet

```text
Stable NAMES     → pod-0, pod-1, pod-2 (ordinal, not random)
Stable DNS       → db-0.db.default.svc... via a headless Service
Stable STORAGE   → each Pod gets its OWN PVC (db-0 keeps its disk across restarts)
Ordered ops      → create/scale up in order 0,1,2…; terminate in reverse
```

## Μόνιμο storage: PV, PVC, StorageClass

```text
StorageClass → the "how to provision" template (e.g. AWS gp3, fast-ssd)
PVC          → a REQUEST for storage ("I need 20Gi, ReadWriteOnce")   ← app-facing
PV           → the ACTUAL provisioned volume bound to the PVC          ← cluster-facing
Dynamic provisioning: a PVC referencing a StorageClass auto-creates a matching PV.

App → PVC → (StorageClass provisions) → PV → real disk (EBS, PD, Ceph, NFS…)
```

## Ένα StatefulSet με storage ανά Pod

```yaml
apiVersion: apps/v1
kind: StatefulSet
metadata:
  name: db
spec:
  serviceName: db            # headless Service για σταθερό DNS
  replicas: 3
  selector:
    matchLabels: { app: db }
  template:
    metadata:
      labels: { app: db }
    spec:
      containers:
        - name: db
          image: postgres:16
          ports: [{ containerPort: 5432 }]
          volumeMounts:
            - name: data
              mountPath: /var/lib/postgresql/data
  volumeClaimTemplates:      # κάθε Pod παίρνει το ΔΙΚΟ του PVC/PV από αυτό το template
    - metadata:
        name: data
      spec:
        accessModes: [ReadWriteOnce]
        storageClassName: fast-ssd
        resources:
          requests: { storage: 20Gi }
```

```yaml
# Το headless Service που δίνει σταθερό DNS ανά Pod (db-0.db, db-1.db, …)
apiVersion: v1
kind: Service
metadata: { name: db }
spec:
  clusterIP: None            # headless
  selector: { app: db }
  ports: [{ port: 5432 }]
```

## Access modes & επιφυλάξεις

```text
ReadWriteOnce (RWO)  → mounted read-write by ONE node (most block storage: EBS/PD)
ReadOnlyMany (ROX)   → read-only by many nodes
ReadWriteMany (RWX)  → read-write by many nodes (needs NFS/CephFS/EFS)
⚠ Deleting a StatefulSet does NOT delete its PVCs by default (data is preserved).
⚠ Reclaim policy (Retain/Delete) decides what happens to the PV when the PVC is removed.
⚠ Kubernetes gives identity+storage, but app-level clustering/replication is YOUR job
  (often via an Operator, e.g. for Postgres/Kafka).
```

```bash
kubectl get statefulset,pvc,pv
kubectl get pods -l app=db      # db-0, db-1, db-2 (σταθερά, διατεταγμένα)
```

## Γιατί έχει σημασία

Το να τρέχεις σωστά stateful workloads είναι από τα δυσκολότερα κομμάτια του Kubernetes, οπότε η κατανόηση των StatefulSets και του μόνιμου storage είναι γνώση επιπέδου senior με πραγματικές συνέπειες στο production. Η βασική διαπίστωση είναι *γιατί* τα Deployments υστερούν: τα Pods τους είναι ανταλλάξιμα (τυχαία ονόματα, οποιαδήποτε σειρά, καμία κατάσταση ανά Pod), κάτι ιδανικό για stateless services αλλά λάθος για databases και clustered stores που χρειάζονται **σταθερή ταυτότητα** (ώστε οι peers να βρίσκουν τα `db-0`, `db-1`, `db-2` μέσω DNS), **τον δικό τους ανθεκτικό δίσκο** που επιβιώνει από restarts και rescheduling, και **διατεταγμένη, ελεγχόμενη** εκκίνηση και scaling. Ένα **StatefulSet** παρέχει ακριβώς αυτές τις εγγυήσεις, και συνεργάζεται με τις αφαιρέσεις storage: ένα **PersistentVolumeClaim** είναι το αίτημα storage προς την εφαρμογή, ένα **PersistentVolume** είναι το πραγματικό provisioned volume, και μια **StorageClass** ενεργοποιεί το δυναμικό provisioning — με τα `volumeClaimTemplates` να δίνουν σε κάθε Pod το δικό του PVC/PV. Οι επιφυλάξεις είναι εκεί που οι senior μηχανικοί κερδίζουν το ψωμί τους: τα **access modes** (RWO έναντι RWX και ποια backends τα υποστηρίζουν), το γεγονός ότι η διαγραφή ενός StatefulSet **διατηρεί τα PVCs** εξ ορισμού, η **reclaim policy** που διέπει την τύχη του PV, και — κρίσιμα — ότι το Kubernetes παρέχει ταυτότητα και storage αλλά **η replication και το clustering σε επίπεδο εφαρμογής παραμένουν δική σου ευθύνη**, συχνά ανατεθειμένα σε έναν Operator. Επειδή η ανθεκτικότητα των δεδομένων και η σωστή stateful συμπεριφορά είναι ασυγχώρητες (τα λάθη σημαίνουν απώλεια δεδομένων ή split-brain), η κατάκτηση των StatefulSets, των PVs/PVCs και των επιφυλάξεών τους είναι θεμελιώδης για να τρέχεις databases και άλλα stateful συστήματα αξιόπιστα στο Kubernetes.

Γιατί τα Deployments δεν αρκούν

Εγγυήσεις του StatefulSet

Μόνιμο storage: PV, PVC, StorageClass

Ένα StatefulSet με storage ανά Pod

Access modes & επιφυλάξεις

Γιατί έχει σημασία

Σχετικές ερωτήσεις