Mercurial > hg > truffle

annotate test/compiler/testlibrary/rtm/MemoryConflictProvoker.java @ 18753:f6b8787dc113

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Truffle-DSL: replace complex factory system with a much simpler version
author Christian Humer <christian.humer@gmail.com>
date Mon, 29 Dec 2014 23:38:21 +0100
parents 665bbe93823f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
17871
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
1 /*
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
2 * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
4 *
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
7 * published by the Free Software Foundation.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
8 *
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
13 * accompanied this code).
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
14 *
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
18 *
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
21 * questions.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
22 *
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
23 */
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
24
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
25 package rtm;
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
26
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
27 import java.util.concurrent.BrokenBarrierException;
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
28 import java.util.concurrent.CyclicBarrier;
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
29
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
30 /**
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
31 * To force transactional execution abort due to memory conflict
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
32 * one thread should access memory region from transactional region
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
33 * while another thread should modify the same memory region.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
34 * Since this scenario is based on the race condition between threads
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
35 * you should not expect some particular amount of aborts.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
36 */
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
37 class MemoryConflictProvoker extends AbortProvoker {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
38 // Following field have to be static in order to avoid escape analysis.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
39 @SuppressWarnings("UnsuedDeclaration")
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
40 private static int field = 0;
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
41 private static final int INNER_ITERATIONS = 10000;
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
42 private final CyclicBarrier barrier;
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
43 /**
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
44 * This thread will access and modify memory region
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
45 * from outside of the transaction.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
46 */
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
47 private final Runnable conflictingThread;
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
48
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
49 public MemoryConflictProvoker() {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
50 this(new Object());
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
51 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
52
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
53 public MemoryConflictProvoker(Object monitor) {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
54 super(monitor);
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
55 barrier = new CyclicBarrier(2);
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
56 conflictingThread = () -> {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
57 try {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
58 barrier.await();
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
59 } catch (Exception e) {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
60 throw new RuntimeException(e);
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
61 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
62 for (int i = 0; i < MemoryConflictProvoker.INNER_ITERATIONS; i++) {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
63 MemoryConflictProvoker.field++;
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
64 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
65 };
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
66 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
67
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
68 /**
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
69 * Accesses and modifies memory region from within the transaction.
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
70 */
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
71 public void transactionalRegion() {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
72 try {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
73 barrier.await();
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
74 } catch (InterruptedException | BrokenBarrierException e) {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
75 throw new RuntimeException(e);
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
76 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
77 for (int i = 0; i < MemoryConflictProvoker.INNER_ITERATIONS; i++) {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
78 synchronized(monitor) {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
79 MemoryConflictProvoker.field--;
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
80 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
81 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
82 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
83
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
84 @Override
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
85 public void forceAbort() {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
86 try {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
87 Thread t = new Thread(conflictingThread);
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
88 t.start();
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
89 transactionalRegion();
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
90 t.join();
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
91 } catch (Exception e) {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
92 throw new RuntimeException(e);
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
93 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
94 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
95
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
96 @Override
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
97 public String getMethodWithLockName() {
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
98 return this.getClass().getName() + "::transactionalRegion";
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
99 }
665bbe93823f 8039499: Add all common classes used by tests on RTM support to testlibrary
iignatyev
parents:
diff changeset
100 }