diff --git a/libitm/ChangeLog b/libitm/ChangeLog index af74e974df1..8f55f4eb327 100644 --- a/libitm/ChangeLog +++ b/libitm/ChangeLog @@ -1,3 +1,7 @@ +2012-10-24 Torvald Riegel + + * libitm.texi: Clarify ABI requirements for data-logging functions. + 2012-10-24 Torvald Riegel * retry.cc (gtm_thread::decide_begin_dispatch): Ask dispatch whether diff --git a/libitm/libitm.texi b/libitm/libitm.texi index 6cfcaf9277d..7e5c413610f 100644 --- a/libitm/libitm.texi +++ b/libitm/libitm.texi @@ -156,6 +156,13 @@ about which memory locations are shared and which are not shared with other threads (i.e., data must be accessed either transactionally or nontransactionally). Otherwise, non-write-through TM algorithms would not work. +For memory locations on the stack, this requirement extends to only the +lifetime of the stack frame that the memory location belongs to (or the +lifetime of the transaction, whichever is shorter). Thus, memory that is +reused for several stack frames could be target of both data logging and +transactional accesses; however, this is harmless because these stack frames' +lifetimes will end before the transaction finishes. + @subsection [No changes] Scatter/gather calls @subsection [No changes] Serial and irrevocable mode @subsection [No changes] Transaction descriptor