Re: [Gems-users] XACT_ISOLATION_CHECK


Date: Fri, 06 Jun 2008 12:55:24 -0500
From: Jayaram Bobba <bobba@xxxxxxxxxxx>
Subject: Re: [Gems-users] XACT_ISOLATION_CHECK
The isolation checker should report an error but will not stop the simulation.
($GEMS/ruby/log_tm/TransactionSimicsProcessor.C)

Irrespective of XACT_ISOLATION_CHECK, the released implementation does not
correctly handle ESCAPE stores to transactionally accessed data. Check out the Nested LogTM paper (see LogTM and violations of X1, X2 and X3) for the correct
behavior.

Jayaram

Ricardo Quislant del Barrio wrote:
If I'm using ESCAPE actions to access shared data while a transaction is working with such data, should I set to FALSE the XACT_ISOLATION_CHECK property? or it will operate well with isolation checker on?.

Thanks
_______________________________________________
Gems-users mailing list
Gems-users@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/gems-users
Use Google to search the GEMS Users mailing list by adding "site:https://lists.cs.wisc.edu/archive/gems-users/"; to your search.

[← Prev in Thread] Current Thread [Next in Thread→]