Χρόνος εκτέλεσης λογαριασμού

Φόρτωση λογαριασμού

Πριν από την εκτέλεση μιας συναλλαγής, το περιβάλλον εκτέλεσης φορτώνει όλους τους αναφερόμενους λογαριασμούς μέσω του load_transaction_accounts(). Αυτή η διαδικασία εκτελεί διάφορες επικυρώσεις:

1. Επικύρωση πληρωτή τελών: Ο πληρωτής τελών (πρώτος λογαριασμός) πρέπει να υπάρχει, να είναι λογαριασμός συστήματος ή λογαριασμός nonce και να έχει αρκετά lamports για να καλύψει τα τέλη (validate_fee_payer()). Μετά την πληρωμή των τελών, ο λογαριασμός πρέπει είτε να παραμείνει απαλλαγμένος από ενοίκιο είτε να μηδενιστεί εντελώς στα 0 lamports. Δεν μπορεί να καταλήξει μεταξύ 0 και του ελάχιστου ορίου απαλλαγής από ενοίκιο. Οι λογαριασμοί nonce πρέπει πάντα να διατηρούν αρκετά lamports για να παραμένουν απαλλαγμένοι από ενοίκιο. Εάν ο πληρωτής δεν είναι ούτε λογαριασμός συστήματος ούτε λογαριασμός nonce, η συναλλαγή αποτυγχάνει με TransactionError::InvalidAccountForFee.

2. Όριο μεγέθους φορτωμένων δεδομένων: Το συνολικό μέγεθος όλων των φορτωμένων λογαριασμών (συμπεριλαμβανομένου ενός TRANSACTION_ACCOUNT_BASE_SIZE των 64 bytes ανά λογαριασμό) δεν πρέπει να υπερβαίνει το MAX_LOADED_ACCOUNTS_DATA_SIZE_BYTES (64 MiB). Η υπέρβαση αυτού του ορίου παράγει TransactionError::MaxLoadedAccountsDataSizeExceeded.

3. Επικύρωση program account: Κάθε πρόγραμμα που καλείται από μια εντολή πρέπει να υπάρχει και να ανήκει σε έναν έγκυρο φορτωτή: έναν από τους PROGRAM_OWNERS (BPF Loader Upgradeable, BPF Loader, BPF Loader Deprecated, Loader V4) ή τον native loader. Εάν ο program account δεν υπάρχει, η συναλλαγή αποτυγχάνει με TransactionError::ProgramAccountNotFound. Εάν υπάρχει αλλά έχει έναν μη έγκυρο ιδιοκτήτη, η συναλλαγή αποτυγχάνει με TransactionError::InvalidProgramForExecution.

4. Ανύπαρκτοι λογαριασμοί: Οι λογαριασμοί που δεν υπάρχουν on-chain φορτώνονται ως προεπιλεγμένοι λογαριασμοί (0 lamports, κενά δεδομένα, ιδιοκτησία του προγράμματος συστήματος) με rent_epoch ορισμένο σε u64::MAX.

Μορφή σειριοποίησης BPF

Όταν ένα πρόγραμμα καλείται, το runtime σειριοποιεί τους λογαριασμούς σε ένα συνεχόμενο προσωρινό buffer μνήμης και το μεταβιβάζει στο BPF VM. Η μορφή σειριοποίησης (για την τυπική ευθυγραμμισμένη μορφή που χρησιμοποιείται από όλους τους loaders εκτός από τον παρωχημένο loader-v1) ορίζεται στο serialize_parameters_aligned().

Το buffer ξεκινά με ένα u64 (8 bytes, little-endian) που περιέχει τον αριθμό των λογαριασμών. Στη συνέχεια, για κάθε λογαριασμό στην εντολή, το buffer περιέχει:

Μετά από όλους τους λογαριασμούς, το buffer προσθέτει:

Για διπλότυπους λογαριασμούς, γράφεται μόνο 1 byte (ο δείκτης διπλότυπου με το ευρετήριο του αρχικού) συν 7 bytes padding.

Αποδιπλοποίηση λογαριασμών

Όταν το ίδιο δημόσιο κλειδί λογαριασμού εμφανίζεται πολλές φορές στον πίνακα accounts μιας εντολής, το runtime αποδιπλοποιεί αυτούς. Κάθε καταχώρηση στη λίστα λογαριασμών της εντολής λαμβάνει τη δική της δομή InstructionAccount, αλλά οι καταχωρήσεις που αναφέρονται στον ίδιο λογαριασμό επιπέδου συναλλαγής δείχνουν στα ίδια υποκείμενα δεδομένα.

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

• Αν το τρέχον ευρετήριο λογαριασμού εντολής ισούται με το πρώτο αντιστοιχισμένο ευρετήριο, δεν είναι διπλότυπο (επιστρέφει None).
• Διαφορετικά, επιστρέφει Some(first_index), όπου το first_index είναι το ευρετήριο της πρώτης εμφάνισης.

Επειδή όλες οι αναφορές στον ίδιο λογαριασμό μοιράζονται το ίδιο υποκείμενο AccountSharedData, οι τροποποιήσεις μέσω οποιασδήποτε αναφοράς είναι άμεσα ορατές μέσω όλων των άλλων αναφορών. Ωστόσο, μόνο ένας μεταβλητός δανεισμός μπορεί να διατηρηθεί τη φορά. Η προσπάθεια δανεισμού του ίδιου λογαριασμού μεταβλητά μέσω δύο διαφορετικών ευρετηρίων λογαριασμού εντολής ταυτόχρονα επιστρέφει InstructionError::AccountBorrowFailed. Τα προγράμματα πρέπει να απελευθερώσουν έναν δανεισμό πριν αποκτήσουν άλλον στον ίδιο υποκείμενο λογαριασμό.

Μετά την εκτέλεση του προγράμματος, το runtime αποσειριοποιεί το buffer (deserialize_parameters_aligned()) και εφαρμόζει τυχόν αλλαγές στα lamports, data (συμπεριλαμβανομένων αλλαγών μήκους έως MAX_PERMITTED_DATA_INCREASE), και owner.