Τα ενσωματωμένα συστήματα απαιτούν συχνά τοπική διαχείριση δεδομένων χωρίς τα γενικά έξοδα των εξυπηρετητών πλήρους βάσης δεδομένων. Η εφαρμογή μιας ελαφριάς μηχανής βάσης δεδομένων σε C δίνει στους προγραμματιστές άμεσο έλεγχο πάνω στη μνήμη, την απόδοση και την αποθήκευση. Αυτό το άρθρο περνά μέσα από το σχεδιασμό και την υλοποίηση ενός απλού ενσωματωμένου κινητήρα βάσης δεδομένων, καλύπτοντας δομές δεδομένων, λειτουργίες CRUD, ευρετηρίαση, και στρατηγικές επιμονής για περιβάλλοντα που είναι περιορισμένοι στους πόρους.

Βασικές απαιτήσεις για ενσωματωμένη μηχανή βάσης δεδομένων

Τυπικές απαιτήσεις περιλαμβάνουν την ντετερμινιστική συμπεριφορά, το ελάχιστο αποτύπωμα κώδικα, και καμία εξωτερική εξάρτηση. Ο κινητήρας πρέπει να υποστηρίζει βασικές λειτουργίες: ένθετο, ανάκτηση, ενημέρωση, διαγραφή, και αναζήτηση. Πολλές ενσωματωμένες βάσεις δεδομένων πρέπει επίσης να επιβιώσουν απώλεια ενέργειας και να αποθηκεύσετε τα δεδομένα για μη πτητική μνήμη, όπως EEPROM, SPI flash, ή κάρτες SD.

Οι διατάξεις είναι απλές αλλά περιορισμένες από τα στατικά μεγέθη. Οι συνδεδεμένες λίστες επιτρέπουν δυναμική ανάπτυξη αλλά προσθέτουν δείκτη πάνω από τα όρια. Για ισορροπημένη απόδοση, μια υβριδική προσέγγιση χρησιμοποιώντας πισίνες δίσκων σταθερού μεγέθους με ελεύθερη λίστα μπορεί να λειτουργήσει καλά. [[LFT:0]]Οι αρχές σχεδιασμού του SQLite[[LFT:1]] προσφέρουν χρήσιμες ιδέες ακόμα και για πολύ απλούστερους κινητήρες.

Σχεδιασμός του στρώματος αποθήκευσης αρχείων

Το στρώμα αποθήκευσης διαχειρίζεται πώς οι εγγραφές που ορίζονται στη μνήμη ή στο δίσκο. Ένα κοινό μοτίβο είναι να αντιμετωπίζει κάθε εγγραφή ως μια δομή σταθερού μήκους για να απλοποιήσει την αριθμητική δείκτη και να επιτρέψει την άμεση ευρετηρίαση.

Αρχεία σταθερού μήκους με μια δεξαμενή αρχείων

Καθορίστε ένα μέγιστο αριθμό εγγραφών (π.χ., ) και να κατανείμει μια στατική συστοιχία. Μια bitmap ή free-list κομμάτια που χρησιμοποιούνται slots. Όταν μια εγγραφή διαγράφεται, η υποδοχή επιστρέφει στο pool. Αυτή η προσέγγιση αποφεύγει τη δυναμική κατανομή και εγγυάται χρόνο κατανομής O(1).

#define MAX_RECORDS 256
typedef struct {
 int id;
 char name[32];
 float value;
 int active; // 1 if slot in use
} Record;

Record pool[MAX_RECORDS];

Για την επίμονη αποθήκευση, η πισίνα μπορεί να υποστηρίζεται από ένα αρχείο ή μια περιοχή flash. Κατά την εκκίνηση, ο κινητήρας διαβάζει την πισίνα από μη πτητική μνήμη σε RAM, και κατά τη διακοπή λειτουργίας (ή περιοδικά) το γράφει πίσω.

Έλεγχοι ακεραιότητας δεδομένων

Προσθέστε ένα απλό πεδίο ελέγχου σε κάθε εγγραφή για την ανίχνευση διαφθοράς. Το CRC-32 είναι μια καλή επιλογή για ενσωματωμένα συστήματα, εξισορρόπηση πολυπλοκότητας με την αντοχή ανίχνευσης σφαλμάτων.

Εφαρμογή βασικών πράξεων CRUD

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

Εισαγωγή με τη διαχείριση Free-List

Διατήρηση μιας ελεύθερης λίστας δεικτών. Στο ένθετο, pop ένα ευρετήριο από την ελεύθερη λίστα, συμπληρώστε την εγγραφή και σημειώστε την ενεργή. Η ίδια η ελεύθερη λίστα μπορεί να είναι μια απλή στοίβα χρησιμοποιώντας μια σειρά ακέραιων.

int free_list[MAX_RECORDS];
int free_count = MAX_RECORDS;
for (int i = 0; i < MAX_RECORDS; i++) free_list[i] = i;

int db_insert(int id, const char* name, float value) {
 if (free_count == 0) return -1; // no space
 int idx = free_list[--free_count];
 pool[idx].id = id;
 strncpy(pool[idx].name, name, sizeof(pool[idx].name)-1);
 pool[idx].value = value;
 pool[idx].active = 1;
 return idx;
}

Αναζήτηση και Ενημέρωση

Μια απλή αναζήτηση επαναλαμβάνει πάνω από την πισίνα, ελέγχοντας μόνο τις ενεργές εγγραφές. Για ενημερώσεις, εντοπίστε την εγγραφή, τροποποιήστε τα πεδία και προαιρετικά ελέγξτε ξανά την ελεύθερη λίστα αν η εγγραφή διαγραφεί.

int db_find_by_id(int id) {
 for (int i = 0; i < MAX_RECORDS; i++) {
 if (pool[i].active && pool[i].id == id) return i;
 }
 return -1;
}

void db_update(int idx, float new_value) {
 if (idx >= 0 && idx < MAX_RECORDS && pool[idx].active)
 pool[idx].value = new_value;
}

Προχωρημένες έννοιες: ευρετηρίαση και επιμονή

Καθώς ο αριθμός των αρχείων μεγαλώνει, η γραμμική αναζήτηση γίνεται δαπανηρή. Προσθήκη ενός απλού δείκτη ⁇ όπως μια ταξινομημένη σειρά από δείκτες-κλειδιά ή ένα δυαδικό δέντρο αναζήτησης ⁇ βελτιώνει το χρόνο ανάκτησης. Για ενσωματωμένα συστήματα, μια στατική σειρά ταξινομημένη στο κλειδί με δυαδική αναζήτηση είναι συχνά επαρκής αν τα ένθετα είναι σπάνια.

Ταξινόμηση ευρετηρίου με δυαδική αναζήτηση

Διατήρηση μιας παράλληλης σειράς δεικτών εγγραφής ταξινομημένων με το κλειδί αναζήτησης (π.χ., ID). Κατά την εισαγωγή μιας νέας εγγραφής, εισάγετε το ευρετήριο της στην ταξινομημένη σειρά χρησιμοποιώντας μια δυαδική εισαγωγή. Στη συνέχεια, η αναζήτηση γίνεται O(log n) μέσω δυαδικής αναζήτησης. Οι διαγραφές απαιτούν μετατόπιση της διάταξης ευρετηρίου, αλλά για μικρές βάσεις δεδομένων αυτό είναι αποδεκτό.

Επίμονη αποθήκευση χρησιμοποιώντας το αρχείο I/O

Σε μικροελεγκτών χωρίς σύστημα αρχείων, η μνήμη αμόλυβδης λάμψης γράφει είναι κοινή. Σε ενσωματωμένα συστήματα βασισμένο στο Linux, στάνταρ POSIX /[[LPT:5]/ λειτουργεί καλά. Χρησιμοποιήστε μια απλή μορφή αρχείου: γράψτε μια κεφαλίδα (μαγικός αριθμός, έκδοση, αριθμός ρεκόρ) ακολουθούμενη από την πρώτη συστοιχία πισίνας. Για την ανθεκτικότητα σε σύγκρουση, ένα αρχείο καταγραφής εγγραφής-επικεφαλής (WAL) μπορεί να βοηθήσει, αλλά για τις βασικές μηχανές μια ενιαία ατομική γραφή (που ταιριάζει σε μια σελίδα flash) είναι αρκετή. FreeRTOS+FAT είναι μια ελαφριά επιλογή συστήματος αρχείων για βαθιά ενσωματωμένα συστήματα.

void db_save(const char* filename) {
 FILE* fp = fopen(filename, "wb");
 if (!fp) return;
 fwrite(pool, sizeof(pool), 1, fp);
 fclose(fp);
}

void db_load(const char* filename) {
 FILE* fp = fopen(filename, "rb");
 if (!fp) return;
 fread(pool, sizeof(pool), 1, fp);
 fclose(fp);
 // Rebuild free-list from pool
 free_count = 0;
 for (int i = 0; i < MAX_RECORDS; i++) {
 if (!pool[i].active) free_list[free_count++] = i;
 }
}

Χειρισμός περιορισμών και εμπορικών απαλλαγών

Ενσωματωμένοι κινητήρες βάσης δεδομένων αντιμετωπίζουν μια συνεχή ανταλλαγή μεταξύ χαρακτηριστικών και χρήσης πόρων. Επιλογή των χαρακτηριστικών που πρέπει να περιλαμβάνει εξαρτάται από την εφαρμογή:

  • ACID συμμόρφωση ⁇ Συνήθως δεν χρειάζεται. Απλή ατομική γράφει αρκεί για τα περισσότερα δεδομένα αισθητήρων καταγραφής.
  • Indexing ⁇ Προσθέτει κόστος εισαγωγής αλλά επιταχύνει τις ενδείξεις. Για το γράψιμο-βαριά φόρτο εργασίας, παραλείψτε ευρετήρια.
  • Συνομιλία ⁇ Τα περισσότερα ενσωματωμένα συστήματα εκτελούν ένα μόνο νήμα.
  • Απάντηση του αποτυπώματος ⁇ Η στατική κατανομή είναι ασφαλέστερη από τη δυναμική . Χρήση σταθερών για τα μεγέθη ρυθμιστικού διαλύματος.
  • Απώλεια ισχύος ⁇ Για αποθήκευση flash, αποφύγετε συχνές μικρές εγγραφές.

Πρακτικό Παράδειγμα: Μια βάση δεδομένων καταγραφέα θερμοκρασίας

Εξετάστε έναν αισθητήρα θερμοκρασίας IoT που καταγράφει κάθε λεπτό και τις αποθηκεύει τοπικά για 24 ώρες. Ο κινητήρας βάσης δεδομένων πρέπει να χειρίζεται 1440 εγγραφές (ένα ανά λεπτό). Κάθε εγγραφή μπορεί να περιέχει μια χρονοσφραγίδα (Unix εποχή), μια θερμοκρασία (float), και ένα αναγνωριστικό αισθητήρα. Χρησιμοποιώντας την σταθερή-ρεκόρ πισίνα με 256 υποδοχές είναι πολύ μικρή? εδώ χρειαζόμαστε . Με 28 ψηφιολέξεις ανά εγγραφή (4+4+4+4 για τα πάνω), η πισίνα χρησιμοποιεί περίπου 40 KB, εφικτή σε πολλούς μικροελεγκτή με 128 KB RAM.

Η μηχανή μπορεί να αποθηκεύσει τα δεδομένα σε ένα ring-buffer μόδας: όταν η πισίνα είναι γεμάτη, η παλαιότερη εγγραφή είναι πάνω από την εγγραφή. Εφαρμογή a ⁇ head ⁇ δείκτη για την επόμενη υποδοχή εγγραφής και a ⁇ tail ⁇ για την παλαιότερη ενεργή εγγραφή. Αυτό αποφεύγει τη λογική ελεύθερης λίστας και παρέχει O(1) ένθετο. Η αναζήτηση μπορεί να βελτιστοποιηθεί με μια δυαδική αναζήτηση σε χρονοσφραγίδες αν οι εγγραφές αποθηκεύονται με χρονολογική σειρά.

typedef struct {
 uint32_t timestamp;
 float temp_c;
 uint8_t sensor_id;
 uint8_t active; // not needed if using ring buffer
} TemperatureRecord;

#define MAX_LOGS 1440
TemperatureRecord logs[MAX_LOGS];
uint16_t head = 0; // next write position
uint16_t count = 0; // number of valid records

Εισαγωγή μιας ανάγνωσης: γράψτε στο , αυξήστε [[LFT:13]] το modulo , αυξήστε (που είναι σε ). Ψάχνοντας για μια συγκεκριμένη χρονοσφραγίδα: αν μετρήσετε == MAX LOGS, το log είναι μια συνεχόμενη ακολουθία από το κεφάλι στο κεφάλι-1 (τύλιγμα). Χρησιμοποιήστε δυαδική αναζήτηση μετά τον υπολογισμό της εικονικής εκκίνησης. Αυτό το μοτίβο είναι εξαιρετικά ελαφρύ και ευρέως χρησιμοποιείται σε συστήματα τηλεμετρίας.

Δοκιμή και Βελτιστοποίηση στο υλικό του στόχου

Πάντα να ελέγχετε τη μηχανή βάσης δεδομένων σε πραγματικό ενσωματωμένο υλικό. Οι εξομοιωτές παραλείπουν περιορισμούς χρονισμού, ειδικά για κύκλους εγγραφής flash και σενάρια απώλειας ισχύος. Παρακολουθήστε τη χρήση RAM με ένα εργαλείο προφίλ και επαληθεύστε τις περιπτώσεις άκρων: πλήρης αποθήκευση, αλλοιωμένα δεδομένα, επαναφορά μέσης εγγραφής.

  • Ισοπέδωση φθοράς φλας ⁇ Αν η γραφή σε EEPROM ή NOR flash, το σύνολο ορίων γράφει σε μερικές εκατοντάδες χιλιάδες.
  • Ασφαλές αποτυχιών ισχύος ⁇ Χρησιμοποιήστε ένα σήμα δέσμευσης: γράψτε μια ψηφιολέξη σημαίας μετά από μια πλήρη παρτίδα αρχείων. Με την επανεκκίνηση, ελέγξτε τη σημαία· εάν λείπει, απορρίψτε την τελευταία παρτίδα και επιστρέψτε στην προηγούμενη κατάσταση.
  • Μνήμη συγκέντρωσης ⁇ Αποφύγετε τη βαθιά επανάληψη. Διατηρήστε τις στοιβάδες κλήσεων λειτουργίας ρηχές. Χρησιμοποιήστε στατικές προσκρουστήρες για το αρχείο I/O.

Συμπέρασμα

Η δημιουργία μιας βασικής μηχανής βάσης δεδομένων σε C για ενσωματωμένα συστήματα είναι μια πρακτική προσέγγιση για τη διαχείριση δεδομένων σε συσκευές περιορισμένης πόρων. Με την εστίαση σε απλές δομές δεδομένων όπως πισίνες σταθερής εγγραφής και ρυθμιστές δακτυλίων, οι προγραμματιστές επιτυγχάνουν αποτελεσματικές λειτουργίες CRUD με ελάχιστα γενικά έξοδα. Προσθέτοντας προαιρετική ευρετηρίαση και βασική επιμονή μετατρέπει μια απλή σειρά σε ένα αξιόπιστο τοπικό datastore. Οι τεχνικές που περιγράφονται εδώ κλιμάκωση από μικρούς καταγραφείς αισθητήρων σε πιο εξελιγμένα συστήματα, και παρέχουν μια βάση για την κατανόηση του πόσο μεγαλύτερες ενσωματωμένες βάσεις δεδομένων όπως SQLite ή Berkeley DB λειτουργούν κάτω από την κουκούλα.