Hi Akira, Thanks for your email about litmus tests a few weeks ago. I can successfully run litmus tests on all three servers I can touch (The configurations of the servers are listed below). Everything goes well except litmus tests C-CCIRIW+o+o+o-o+o-o (Listing 15.15) and C-WRC+o+o-data-o+o-rmb-o (Listing 15.16). The "exists" assertions never trigger on all of my servers. I understand that these assertions trigger only if the speeds of propagating writing x to different CPU cores varies a lot. So I have tried different litmus thread placement strategies by adjusting the affinity setting of litmus7. For example: $ litmus7 -affinity incr1 ... ... $ ./C-WRC+o+o-data-o+o-rmb-o.exe +ra -p 0,1,6 But it seems my effort doesn't work; the exist assertions never trigger. Did I miss something? What's the right/possible configuration to trigger these assertions. I do know you might be very busy. But if possible, please give me some hints. These two tests seems very interesting :-). Thanks in advance. Regards, --Junchang === Three servers I can touch: 1. One PPC server which consists of 8 cores. I don's know hardware details (e.g. which cores share the same LLC or write buffer) because tools such as dmidecode don't work. 2. One ARM server with two Cavium CPU. 96 cores in total (no Hyper-threading). 3. One Intel server with two Xeon E5-2630 CPUs, each of which consists of 12 cores (with Hyper-Threading).
