Changes between Version 10 and Version 11 of Architecture


Ignore:
Timestamp:
05/07/15 15:32:06 (5 years ago)
Author:
robertop
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Architecture

    v10 v11  
    1414
    1515Finally, we combine and link super blocks according to their exits, to form the same behavior as that of the original program. This phase must preserve data consistency and program order, because in the execution graph construction, we don't use any pointer tracking technique to avoid aliasing. Also, memory arithmetic (e.g., array indexed with variables) may easily violate this program reconstruction. Thus, to ensure data consistency, we employ [wiki:VMTM software transactional memory], where each super block executing as a thread represents a transaction. Memory access violations are now detected and resolved by STM through transactional conflict detection, abort, roll-back, and retry. Additionally, program order is maintained by deferring the commit of transactions that complete early till their valid execution time.
     16----
     17This work is supported in part by AFOSR under grant FA9550-14-1-0187. Any opinions, findings, and conclusions or recommendations expressed in this site are those of the author(s) and do not necessarily reflect the views of AFOSR.