Changes between Initial Version and Version 1 of HardwareTM

Timestamp:

10/05/22 17:12:42 (2 years ago)

Author:

ypap

Comment:

--

HardwareTM

@@ +1 @@
+= Μεταγλώττιση και Εκτέλεση προγραμμάτων με χρήση HTM (Intel TSX) =
+Στα cluster μας υπάρχουν:
+
+- 2 μηχανήματα με Haswell επεξεργαστές (haci3 και broady) που υποστηρίζουν το HTM της Intel.
+- ~~2 μηχανήματα με Power8 επεξεργαστές (power{1,2}) που υποστηρίζουν το HTM της IBM.~~
+==== Intel TSX ====
+Το HTM της Intel υποστηρίζει δύο διαφορετικούς τρόπους εκτέλεσης. Το HLE (Hardware Lock Elision) και το RTM (Restricted Transactional Memory).
+Το HLE επιτρέπει την εκτέλεση του critical section μία φορά με speculation (το lock γίνεται μόνο read όχι acquire) και αν αποτύχει εκτελείται τη δεύτερη φορά αφού πρώτα γίνει acquire το lock. Ένα πρόγραμμα το οποίο χρησιμοποιεί το HLE είναι συμβατό και μπορεί να εκτελεστεί και σε επεξεργαστές που δεν υποστηρίζουν TSX, σε αυτή την περίπτωση το critical section εκτελείται κατευθείαν σε lock mode. Το RTM δεν προσφέρει αυτή την συμβατότητα με προηγούμενες γενιές επεξεργαστών αλλά προσφέρει μεγαλύτερη ευελιξία ως προς τις ενέργειες που μπορούν να γίνουν μετά από κάποιο transactional abort. Ο προγραμματιστής ορίζει μία διεύθυνση μνήμης στην οποία βρίσκεται ο κώδικας ο οποίος θα εκτελεστεί σε περίπτωση abort (fallback handler).
+
+[https://software.intel.com/en-us/blogs/2013/05/20/using-hle-and-rtm-with-older-compilers-with-tsx-tools Εδώ] υπάρχουν οδηγίες για τη συγγραφή προγραμμάτων που χρησιμοποιούν το TSX.
+
+Τα παρακάτω intrinsics του gcc μπορούν να χρησιμοποιηθούν*:
+
+- `int _xbegin(void)` : Δηλώνει την αρχή ενός transaction. Ως διεύθυνση του fallback handler ορίζεται η διεύθυνση ακριβώς κάτω από την εντολή `_xbegin()`. Η τιμή επιστροφής χρησιμοποιείται για να ξέρουμε αν είμαστε μέσα σε transaction ή έχει γίνει κάποιο abort. Η τιμή επιστροφής είναι το περιεχόμενο του EAX (που περιέχει το status του transaction). Μπορούμε να ελέγξουμε αν το transaction έχει ξεκινήσει ή αν έχει γίνει abort κάνοντας ένα λογικό and (τελεστής `&` στη C) ανάμεσα στην τιμή επιστροφής και σε κάθε μία από τις παρακάτω σταθερές:
+        - `_XBEGIN_STARTED` το transaction ξεκίνησε επιτυχώς.
+        - `_XABORT_{EXPLICIT,RETRY,CONFLICT,CAPACITY,DEBUG,NESTED}` το transaction έγινε abort για τον αντίστοιχο λόγο (το RETRY δίνει μία εκτίμηση για το αν το transaction έχει πιθανότητες να κάνει commit αν ξαναπροσπαθήσουμε σε speculation mode, το έχω δεί να είναι 1 μόνο όταν είναι και το CONFLICT 1).
+- `void _xend(void)` : Δηλώνει το τέλος ενός transaction. Γίνεται commit όλων των αλλαγών που κάναμε στην μνήμη.
+- `void _xabort(const unsigned int status)` : Explicit abort ενός transaction. Το status χρησιμοποιείται για να δείχνουμε τον λόγο για τον οποίο έγινε το abort.
+- `int _xtest()` : Επιστρέφει 1 αν τη στιγμή της κλήσης της εκτελείται κάποιο transaction, 0 διαφορετικά.
+
+* Οι εκδόσεις του gcc 4.8 και πάνω υποστηρίζουν αυτά τα intrinsics, ωστόσο για να έχουμε συμβατότητα και με παλιότερες εκδόσεις καλό είναι να χρησιμοποιούμε τα header files (rtm.h etc) που δίνονται στο [1]. Για τη μεταγλώτιση δεν απαιτούνται ειδικά flags στον gcc.
+
+=== Παράδειγμα ===
+{{{
+#include "rtm.h"
+
+int num_retries = 10;
+int aborts = 0;
+int status;
+some_kind_of_lock lock; //> e.g. pthread_spinlock_t lock;
+
+while (1) {
+  int status = _xbegin();
+  if (status == _XBEGIN_STARTED) {
+    //> Transaction started successfully
+
+    //> Check if lock is free, else abort explicitly.
+    //> This also adds the lock to the read set so we abort if another thread acquires(writes to) the lock.
+    if (!lock_is_free(lock))
+      _xabort(0xff);
+
+  } else {
+    //> Transaction was aborted
+    aborts++;
+
+    //> Abort reason was...
+    if (status & _XBEGIN_CONFLICT)
+      //> data conflict
+    else if (status & _XBEGIN_CAPACITY)
+      //> capacity (transaction read or write set overflow) 
+    ... //> Check for other abort reasons the same way.
+
+    //> If we exceeded the number of retries acquire the lock and move forward to execute the
+    //> critical section. Else retry in speculative mode (e.g. go back to the while loop).
+    if (aborts >= num_retries)
+      acquire_lock(lock);
+    else
+      continue;
+  }
+
+  //> Critical section goes here...
+
+  if (_xtest())
+    _xend();
+  else
+    release_lock(lock);
+  break;
+}
+}}}