Systems and methods are disclosed for generating a program executed by a
central processing apparatus for assigning instructions of the program.
The systems and methods may include dividing the program into a plurality
of instruction sequences, each instruction sequence comprising a plurality
of instructions not executable in parallel because of data dependency. In
addition, the systems and methods may include moving an instruction
sequence speculatively executable forward an instruction sequence not
speculatively executable in the program and aligning the plurality of
instruction sequences in correspondence with each of the plurality of
buffers. Moreover, the systems and methods may include assigning a task
number representing the instruction sequence and a corresponding buffer to
each instruction and replacing a condition instruction by a commit
instruction, the commit instruction including a condition, task numbers to
be accepted if the condition is not satisfied and task numbers to be
rejected if the condition is satisfied.
Τα συστήματα και οι μέθοδοι αποκαλύπτονται για την παραγωγή ενός προγράμματος που εκτελείται από μια κεντρική συσκευή επεξεργασίας για τις οδηγίες του προγράμματος. Τα συστήματα και οι μέθοδοι μπορούν να περιλάβουν τη διαίρεση του προγράμματος σε πολλαπλότητα των ακολουθιών οδηγίας, κάθε ακολουθία οδηγίας περιλαμβάνοντας μια πολλαπλότητα του εκτελέσιμου παράλληλα παραλλήλου οδηγιών μη λόγω της εξάρτησης στοιχείων. Επιπλέον, τα συστήματα και οι μέθοδοι μπορούν να περιλάβουν να κινήσουν έναν μπροστινό ακολουθίας οδηγίας εκτελέσιμο υποθετικά μια ακολουθία οδηγίας όχι υποθετικά εκτελέσιμη στο πρόγραμμα και την ευθυγράμμιση της πολλαπλότητας των ακολουθιών οδηγίας στην αλληλογραφία με κάθε μια από την πολλαπλότητα των απομονωτών. Επιπλέον, τα συστήματα και οι μέθοδοι μπορούν να περιλάβουν την ανάθεση ενός αριθμού στόχου που αντιπροσωπεύει την ακολουθία οδηγίας και έναν αντίστοιχο απομονωτή σε κάθε οδηγία και αντικαθιστώντας μια οδηγία όρου από δεσμεύστε την οδηγία, δεσμεύστε την οδηγία συμπεριλαμβανομένου ενός όρου, αριθμοί στόχου που γίνονται αποδεκτοί εάν ο όρος δεν είναι ικανοποιημένοι και αριθμοί στόχου που απορρίπτονται εάν ο όρος είναι ικανοποιημένος.
