libitm/testsuite/libitm.c/reentrant.c

   1 /* { dg-do run } */
   2 /* { dg-options "-pthread" } */
   3
   4 /* Tests that new transactions can be started from both transaction_pure and
   5    transaction_unsafe code. This also requires proper handling of reentrant
   6    nesting in the serial_lock implementation. */
   7
   8 #include <stdlib.h>
   9 #include <pthread.h>
  10 #include <libitm.h>
  11
  12 int x = 0;
  13
  14 int __attribute__((transaction_pure)) pure(int i)
  15 {
  16   __transaction_atomic {
  17     x++;
  18   }
  19   if (_ITM_inTransaction() == outsideTransaction)
  20     abort();
  21   return i+1;
  22 }
  23
  24 int __attribute__((transaction_unsafe)) unsafe(int i)
  25 {
  26   if (_ITM_inTransaction() != inIrrevocableTransaction)
  27     abort();
  28   __transaction_atomic {
  29     x++;
  30   }
  31   if (_ITM_inTransaction() != inIrrevocableTransaction)
  32     abort();
  33   return i+1;
  34 }
  35
  36 static void *thread (void *dummy __attribute__((unused)))
  37 {
  38   __transaction_atomic {
  39     pure(x);
  40   }
  41   __transaction_relaxed {
  42     unsafe(1);
  43   }
  44   return 0;
  45 }
  46
  47 int main()
  48 {
  49   pthread_t pt;
  50   int r = 0;
  51
  52   __transaction_atomic {
  53     r += pure(1) + x;
  54   }
  55   __transaction_relaxed {
  56     r += unsafe(1) + x;
  57   }
  58   if (r != 7)
  59     abort();
  60
  61   // Spawn a new thread to check that the serial lock is not held.
  62   pthread_create(&pt, NULL, thread, NULL);
  63   pthread_join(pt, NULL);
  64   if (x != 4)
  65     abort();
  66   return 0;
  67 }