Τι είναι η λιμοκτονία (starvation) στο πλαίσιο του πολυνηματισμού;

Κατάσταση όπου ένας ή περισσότεροι goroutines (νήματα, διαδικασίες) ποτέ δεν έχουν πρόσβαση σε έναν πόρο (π.χ., mutex, κανάλι) που χρειάζονται για να συνεχίσουν την εκτέλεση, ενώ άλλοι goroutines έχουν συνεχώς πρόσβαση σε αυτόν τον πόρο. Αυτό συμβαίνει λόγω άδικου προγραμματισμού ή αναποτελεσματικών μηχανισμών συγχρονισμού, όπως προτεραιότητες ή υπερβολική κράτηση κλειδώματος.

Παράδειγμα:

package main

import (
	"fmt"
	"sync"
	"time"
)

var (
	mu      sync.Mutex
	counter int
)

func worker(id int) {
	for {
		mu.Lock() // Προστατεύουμε τον πόρο (counter)
		// Εδώ μπορεί να προκύψει λιμοκτονία αν άλλοι goroutines
		// συνεχώς καταλαμβάνουν το mutex και το διατηρούν για πολύ καιρό.
		counter++
		fmt.Printf("Εργάτης %d αύξησε τον μετρητή σε %d\n", id, counter)
		time.Sleep(10 * time.Millisecond) // Προσομοίωση εργασίας
		mu.Unlock()
		// Προσθέτουμε μια μικρή καθυστέρηση ώστε ο προγραμματιστής να μπορεί να αλλάξει το πλαίσιο
		time.Sleep(1 * time.Millisecond)
	}
}

func main() {
	for i := 0; i < 5; i++ {
		go worker(i)
	}

	// Το πρόγραμμα θα τρέχει αδιάκοπα,
	// αλλά ορισμένοι εργάτες μπορεί να βιώνουν λιμοκτονία
	// ανάλογα με τον προγραμματιστή και το φορτίο.
	select {}
}

Για τη μείωση της λιμοκτονίας εφαρμόζονται:

• Δίκαια κλειδώματα (fair locks): Διασφαλίζουν ότι τα νήματα λαμβάνουν πρόσβαση στον πόρο με τη σειρά της αίτησης.
• Τυχαιότητα: Εισαγωγή τυχαιότητας στην επιλογή του νήματος που θα έχει πρόσβαση στον πόρο.
• Χρονικά όρια (timeouts): Ορισμός περιορισμών χρόνου για την αναμονή πόρου.
• Αποφυγή αντιστροφής προτεραιότητας: Αποφυγή καταστάσεων όπου μια διαδικασία υψηλής προτεραιότητας περιμένει μια χαμηλής προτεραιότητας.

Στη Go, τα τυπικά mutexes δεν εγγυώνται δικαιοσύνη, κάτι που μπορεί να οδηγήσει σε λιμοκτονία υπό ορισμένες συνθήκες.