Η γλώσσα προδιαγραφής παρέχει τη συντακτική δομή
DEFINE_IO_DEVICE για τον καθορισμό παραμέτρων που επηρεάζουν την
επίδοση των συσκευών αποθήκευσης. Το μοντέλο του συστήματος που
υποστηρίζεται καθορίζει ότι κάθε κόμβος έχει ακριβώς μια συσκευή
αποθήκευσης για καταγραφή αλλαγών ενώ μπορεί να έχει οποιοδήποτε
πλήθος συσκευών αποθήκευσης συσκευών δεδομένων. Η κύρια κατηγορία
συσκευών αποθήκευσης είναι οι μαγνητικοί δίσκοι (datadisk). Aκολουθεί
παράδειγμα περιγραφής ενός τύπου δίσκων:
DEFINE_IO_DEVICE DataDisk WITH {
IO_COPY_DELAY : 0.001; %time to transfer a block to/from memory
IO_LOAD_DELAY : 0.00075; %time to "load" disk arm
IO_SEEK_DELAY : 0.00075; %time to move disk head from track to track
IO_ROTATIONAL_DELAY : 0.00075; %time for full disk rotation
NUM_HEADS : 8; %number of disk heads
NUM_SECTORS : 250000; %number of blocks (total: around 2 GBytes)
}
Το χρόνο περίπτωσης μιας προσπέλασης καθορίζουν τρεις παράγοντες: η
καθυστέρηση αναζήτησης (seek delay), η καθυστέρηση λόγω περιστροφής
(rotational delay) και η καθυστέρηση μεταφοράς δεδομένων από και προς
την κύρια μνήμη ( I/O transfer delay).
Η γλώσσα υποστηρίζει και μια απλουστευμένη μορφή περιγραφής ενός
τύπου συσκευών που απαιτεί μόνο του καθορισμό (αναμενόμενης) ελάχιστης
και μέγιστης καθυστέρησης προσπέλασης στην συσκευή. Κατά την
προσομοίωση του συστήματος η καθυστέρηση για μια προσπέλαση
λαμβάνεται να είναι μια τυχαία μεταβλητή με ομοιόμορφη κατανομή στο
διάστημα που ορίζεται από τις ακραίες τιμές καθυστέρησης. Ακολουθεί
παράδειγμα τέτοιας περιγραφής:
DEFINE_IO_DEVICE LogDisk WITH {
IO_DELAY_MIN : 0.15; %minimum I/O delay : 15 msec
IO_DELAY_MAX : 0.020; %maximum I/O delay : 0.020 msec
}