Re: [Patch] libitm: add HTM fastpath

2012-11-09 Thread Torvald Riegel
On Tue, 2012-11-06 at 08:11 -0800, Richard Henderson wrote: > On 2012-11-05 17:09, Torvald Riegel wrote: > > + if (likely(htm_fastpath && (prop & pr_hasNoAbort))) > > For reference, could the NoAbort clause be relaxed with an htm check > in abortTransaction, and the use of an xabort insn with an

Re: [Patch] libitm: add HTM fastpath

2012-11-06 Thread Richard Henderson
On 2012-11-05 17:09, Torvald Riegel wrote: > + if (likely(htm_fastpath && (prop & pr_hasNoAbort))) For reference, could the NoAbort clause be relaxed with an htm check in abortTransaction, and the use of an xabort insn with an appropriate code to indicate user abort? Just wondering what the curr

Re: [Patch] libitm: add HTM fastpath

2012-11-06 Thread Richard Henderson
On 2012-11-05 17:09, Torvald Riegel wrote: > commit 4f2b3c78ac7ae3fb2b639ce32ad197a12ba7d66a > Author: Torvald Riegel > Date: Tue Oct 23 00:25:50 2012 +0200 > > Add HTM fastpath and use Intel RTM for it on x86. This is ok, modulo the cpuid.h bit that Uros pointed out. r~

Re: [Patch] libitm: add HTM fastpath

2012-11-06 Thread Uros Bizjak
Hello! > This patch adds support for using strongly-isolated HTMs with > serial-irrevocable mode as fallback. Such HTMs can execute > uninstrumented code transactionally, and eventually aborted transactions > will cause no visible side effects. Data conflicts with > nontransactional accesses lea

[Patch] libitm: add HTM fastpath

2012-11-05 Thread Torvald Riegel
This patch adds support for using strongly-isolated HTMs with serial-irrevocable mode as fallback. Such HTMs can execute uninstrumented code transactionally, and eventually aborted transactions will cause no visible side effects. Data conflicts with nontransactional accesses lead to transactions