sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 1 | |
| 2 | #include <pthread.h> |
| 3 | #include <stdio.h> |
| 4 | #include <stdlib.h> |
| 5 | |
| 6 | /* Simple test program, no race. Parent and child both modify x and |
| 7 | use the hardware bus lock. */ |
| 8 | |
sewardj | 8777f73 | 2010-01-02 10:43:23 +0000 | [diff] [blame] | 9 | #undef PLAT_x86_darwin |
| 10 | #undef PLAT_amd64_darwin |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 11 | #undef PLAT_x86_linux |
| 12 | #undef PLAT_amd64_linux |
| 13 | #undef PLAT_ppc32_linux |
| 14 | #undef PLAT_ppc64_linux |
sewardj | 8777f73 | 2010-01-02 10:43:23 +0000 | [diff] [blame] | 15 | #undef PLAT_arm_linux |
sewardj | b5b8740 | 2011-03-07 16:05:35 +0000 | [diff] [blame] | 16 | #undef PLAT_s390x_linux |
sewardj | 5db1540 | 2012-06-07 09:13:21 +0000 | [diff] [blame] | 17 | #undef PLAT_mips32_linux |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 18 | |
sewardj | 6e9de46 | 2011-06-28 07:25:29 +0000 | [diff] [blame] | 19 | #if defined(__APPLE__) && defined(__i386__) |
sewardj | 8777f73 | 2010-01-02 10:43:23 +0000 | [diff] [blame] | 20 | # define PLAT_x86_darwin 1 |
| 21 | #elif defined(__APPLE__) && defined(__x86_64__) |
| 22 | # define PLAT_amd64_darwin 1 |
| 23 | #elif defined(__linux__) && defined(__i386__) |
| 24 | # define PLAT_x86_linux 1 |
| 25 | #elif defined(__linux__) && defined(__x86_64__) |
| 26 | # define PLAT_amd64_linux 1 |
| 27 | #elif defined(__linux__) && defined(__powerpc__) && !defined(__powerpc64__) |
| 28 | # define PLAT_ppc32_linux 1 |
| 29 | #elif defined(__linux__) && defined(__powerpc__) && defined(__powerpc64__) |
| 30 | # define PLAT_ppc64_linux 1 |
| 31 | #elif defined(__linux__) && defined(__arm__) |
| 32 | # define PLAT_arm_linux 1 |
sewardj | b5b8740 | 2011-03-07 16:05:35 +0000 | [diff] [blame] | 33 | #elif defined(__linux__) && defined(__s390x__) |
| 34 | # define PLAT_s390x_linux 1 |
sewardj | 5db1540 | 2012-06-07 09:13:21 +0000 | [diff] [blame] | 35 | #elif defined(__linux__) && defined(__mips__) |
| 36 | # define PLAT_mips32_linux 1 |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 37 | #endif |
| 38 | |
sewardj | f5b5f84 | 2010-01-04 10:47:25 +0000 | [diff] [blame] | 39 | #if defined(PLAT_amd64_linux) || defined(PLAT_x86_linux) \ |
| 40 | || defined(PLAT_amd64_darwin) || defined(PLAT_x86_darwin) |
sewardj | 2ee3395 | 2007-11-27 11:23:55 +0000 | [diff] [blame] | 41 | # define INC(_lval,_lqual) \ |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 42 | __asm__ __volatile__ ( \ |
| 43 | "lock ; incl (%0)" : /*out*/ : /*in*/"r"(&(_lval)) : "memory", "cc" ) |
sewardj | 6e9de46 | 2011-06-28 07:25:29 +0000 | [diff] [blame] | 44 | #elif defined(PLAT_ppc32_linux) || defined(PLAT_ppc64_linux) |
sewardj | 2ee3395 | 2007-11-27 11:23:55 +0000 | [diff] [blame] | 45 | # define INC(_lval,_lqual) \ |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 46 | __asm__ __volatile__( \ |
sewardj | d12c4a5 | 2011-03-28 08:37:19 +0000 | [diff] [blame] | 47 | "1:\n" \ |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 48 | " lwarx 15,0,%0\n" \ |
| 49 | " addi 15,15,1\n" \ |
| 50 | " stwcx. 15,0,%0\n" \ |
sewardj | d12c4a5 | 2011-03-28 08:37:19 +0000 | [diff] [blame] | 51 | " bne- 1b\n" \ |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 52 | : /*out*/ : /*in*/ "b"(&(_lval)) \ |
| 53 | : /*trash*/ "r15", "cr0", "memory" \ |
| 54 | ) |
sewardj | 8777f73 | 2010-01-02 10:43:23 +0000 | [diff] [blame] | 55 | #elif defined(PLAT_arm_linux) |
| 56 | # define INC(_lval,_lqual) \ |
| 57 | __asm__ __volatile__( \ |
sewardj | d12c4a5 | 2011-03-28 08:37:19 +0000 | [diff] [blame] | 58 | "1:\n" \ |
sewardj | 8777f73 | 2010-01-02 10:43:23 +0000 | [diff] [blame] | 59 | " ldrex r8, [%0, #0]\n" \ |
| 60 | " add r8, r8, #1\n" \ |
| 61 | " strex r9, r8, [%0, #0]\n" \ |
| 62 | " cmp r9, #0\n" \ |
sewardj | d12c4a5 | 2011-03-28 08:37:19 +0000 | [diff] [blame] | 63 | " bne 1b\n" \ |
sewardj | 8777f73 | 2010-01-02 10:43:23 +0000 | [diff] [blame] | 64 | : /*out*/ : /*in*/ "r"(&(_lval)) \ |
| 65 | : /*trash*/ "r8", "r9", "cc", "memory" \ |
| 66 | ); |
sewardj | b5b8740 | 2011-03-07 16:05:35 +0000 | [diff] [blame] | 67 | #elif defined(PLAT_s390x_linux) |
| 68 | # define INC(_lval,_lqual) \ |
| 69 | __asm__ __volatile__( \ |
| 70 | "1: l 0,%0\n" \ |
| 71 | " lr 1,0\n" \ |
| 72 | " ahi 1,1\n" \ |
| 73 | " cs 0,1,%0\n" \ |
| 74 | " jl 1b\n" \ |
| 75 | : "+m" (_lval) :: "cc", "1","2" \ |
| 76 | ) |
sewardj | 5db1540 | 2012-06-07 09:13:21 +0000 | [diff] [blame] | 77 | #elif defined(PLAT_mips32_linux) |
| 78 | # define INC(_lval,_lqual) \ |
| 79 | __asm__ __volatile__ ( \ |
| 80 | "1:\n" \ |
| 81 | " move $8, %0\n" \ |
| 82 | " ll $9, 0($8)\n" \ |
| 83 | " addiu $9, $9, 1\n" \ |
| 84 | " sc $9, 0($8)\n" \ |
| 85 | " li $10, 1\n" \ |
| 86 | " bne $9, $10, 1b\n" \ |
| 87 | " nop\n" \ |
| 88 | : /*out*/ : /*in*/ "r"(&(_lval)) \ |
| 89 | : /*trash*/ "$8", "$9", "$10", "cc", "memory" \ |
| 90 | ) |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 91 | #else |
| 92 | # error "Fix Me for this platform" |
| 93 | #endif |
| 94 | |
| 95 | |
| 96 | int x = 0; |
| 97 | |
| 98 | void* child_fn ( void* arg ) |
| 99 | { |
sewardj | 2ee3395 | 2007-11-27 11:23:55 +0000 | [diff] [blame] | 100 | INC(x, "childfn"); |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 101 | return NULL; |
| 102 | } |
| 103 | |
| 104 | int main ( void ) |
| 105 | { |
| 106 | pthread_t child; |
| 107 | |
| 108 | if (pthread_create(&child, NULL, child_fn, NULL)) { |
| 109 | perror("pthread_create"); |
| 110 | exit(1); |
| 111 | } |
| 112 | |
sewardj | 2ee3395 | 2007-11-27 11:23:55 +0000 | [diff] [blame] | 113 | INC(x, "main"); |
sewardj | b411202 | 2007-11-09 22:49:28 +0000 | [diff] [blame] | 114 | |
| 115 | if (pthread_join(child, NULL)) { |
| 116 | perror("pthread join"); |
| 117 | exit(1); |
| 118 | } |
| 119 | |
| 120 | printf("x = %d\n", x); |
| 121 | return 0; |
| 122 | } |