Mercurial > hg > truffle

annotate truffle/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/MergeSpecializationsTest.java @ 22241:14e6dfb1ef05

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation" - Caused by lack of a "vm" known to the Accessor during most testing, making the Instrumenter unavailable, which is now required to create a CallTarget - Modified the Instrumenter/Accessor with a static field that can be reflectively "poked" with a vm value for testing - Create a pair of methods to globally enable/disable testing mode to modify that static field and restore it when tests complete.
author Michael Van De Vanter <michael.van.de.vanter@oracle.com>
date Tue, 22 Sep 2015 20:31:19 -0700
parents dc83cc1f94f2
children 0d36601f233e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
1 /*
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
2 * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
4 *
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation.
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
8 *
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
13 * accompanied this code).
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
14 *
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
18 *
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
21 * questions.
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
22 */
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
23 package com.oracle.truffle.api.dsl.test;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
24
22241
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
25 import static com.oracle.truffle.api.dsl.test.TestHelper.createRoot;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
26 import static com.oracle.truffle.api.dsl.test.TestHelper.executeWith;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
27 import static org.junit.Assert.assertEquals;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
28 import static org.junit.Assert.fail;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
29
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
30 import java.util.Arrays;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
31 import java.util.concurrent.CountDownLatch;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
32
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
33 import org.junit.After;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
34 import org.junit.Before;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
35 import org.junit.Test;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
36
22157
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
37 import com.oracle.truffle.api.dsl.Cached;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
38 import com.oracle.truffle.api.dsl.NodeChild;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
39 import com.oracle.truffle.api.dsl.NodeFactory;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
40 import com.oracle.truffle.api.dsl.Specialization;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
41 import com.oracle.truffle.api.dsl.internal.SpecializationNode;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
42 import com.oracle.truffle.api.dsl.internal.SpecializedNode;
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
43 import com.oracle.truffle.api.dsl.test.MergeSpecializationsTestFactory.TestCachedNodeFactory;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
44 import com.oracle.truffle.api.dsl.test.MergeSpecializationsTestFactory.TestNodeFactory;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
45 import com.oracle.truffle.api.dsl.test.TypeSystemTest.TestRootNode;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
46 import com.oracle.truffle.api.dsl.test.TypeSystemTest.ValueNode;
22241
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
47 import com.oracle.truffle.api.dsl.test.utilities.InstrumentationTestMode;
22157
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
48 import com.oracle.truffle.api.nodes.Node;
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
49
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
50 public class MergeSpecializationsTest {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
51
19757
e8d2f3f95dcd Truffle-DSL: implemented duplication check for specializations with @Cached to avoid duplicates for multithreaded AST execution.
Christian Humer <christian.humer@gmail.com>
parents: 19702
diff changeset
52 private static final int THREADS = 50;
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
53
22241
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
54 @Before
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
55 public void before() throws NoSuchFieldException, SecurityException, IllegalArgumentException, IllegalAccessException {
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
56 InstrumentationTestMode.set(true);
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
57 }
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
58
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
59 @After
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
60 public void after() throws NoSuchFieldException, SecurityException, IllegalArgumentException, IllegalAccessException {
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
61 InstrumentationTestMode.set(false);
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
62 }
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
63
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
64 @NodeChild
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
65 @SuppressWarnings("unused")
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
66 abstract static class TestNode extends ValueNode {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
67
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
68 @Specialization
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
69 int s1(int a) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
70 return 1;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
71 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
72
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
73 @Specialization
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
74 int s2(long a) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
75 return 2;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
76 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
77
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
78 @Specialization
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
79 int s3(double a) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
80 return 3;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
81 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
82 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
83
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
84 @NodeChild
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
85 @SuppressWarnings("unused")
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
86 abstract static class TestCachedNode extends ValueNode {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
87
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
88 @Specialization(guards = "a == cachedA", limit = "3")
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
89 int s1(int a, @Cached("a") int cachedA) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
90 return 1;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
91 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
92
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
93 @Specialization
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
94 int s2(long a) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
95 return 2;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
96 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
97
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
98 @Specialization
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
99 int s3(double a) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
100 return 3;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
101 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
102 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
103
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
104 @Test
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
105 public void testMultithreadedMergeInOrder() {
19769
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
106 for (int i = 0; i < 100; i++) {
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
107 multithreadedMerge(TestNodeFactory.getInstance(), new Executions(1, 1L << 32, 1.0), 1, 2, 3);
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
108 }
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
109 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
110
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
111 @Test
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
112 public void testMultithreadedMergeReverse() {
19769
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
113 for (int i = 0; i < 100; i++) {
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
114 multithreadedMerge(TestNodeFactory.getInstance(), new Executions(1.0, 1L << 32, 1), 3, 2, 1);
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
115 }
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
116 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
117
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
118 @Test
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
119 public void testMultithreadedMergeCachedInOrder() {
19769
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
120 for (int i = 0; i < 100; i++) {
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
121 multithreadedMerge(TestCachedNodeFactory.getInstance(), new Executions(1, 1L << 32, 1.0), 1, 2, 3);
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
122 }
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
123 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
124
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
125 @Test
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
126 public void testMultithreadedMergeCachedTwoEntries() {
19769
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
127 for (int i = 0; i < 100; i++) {
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
128 multithreadedMerge(TestCachedNodeFactory.getInstance(), new Executions(1, 2, 1.0), 1, 1, 3);
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
129 }
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
130 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
131
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
132 @Test
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
133 public void testMultithreadedMergeCachedThreeEntries() {
19769
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
134 for (int i = 0; i < 100; i++) {
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
135 multithreadedMerge(TestCachedNodeFactory.getInstance(), new Executions(1, 2, 3), 1, 1, 1);
e773cc48d3e8 Truffle-DSL: make specialization types mergable with other specialization types.
Christian Humer <christian.humer@gmail.com>
parents: 19757
diff changeset
136 }
19702
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
137 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
138
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
139 private static <T extends ValueNode> void multithreadedMerge(NodeFactory<T> factory, final Executions executions, int... order) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
140 assertEquals(3, order.length);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
141 final TestRootNode<T> node = createRoot(factory);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
142
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
143 final CountDownLatch threadsStarted = new CountDownLatch(THREADS);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
144
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
145 final CountDownLatch beforeFirst = new CountDownLatch(1);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
146 final CountDownLatch executedFirst = new CountDownLatch(THREADS);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
147
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
148 final CountDownLatch beforeSecond = new CountDownLatch(1);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
149 final CountDownLatch executedSecond = new CountDownLatch(THREADS);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
150
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
151 final CountDownLatch beforeThird = new CountDownLatch(1);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
152 final CountDownLatch executedThird = new CountDownLatch(THREADS);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
153
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
154 Thread[] threads = new Thread[THREADS];
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
155 for (int i = 0; i < threads.length; i++) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
156 threads[i] = new Thread(new Runnable() {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
157 public void run() {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
158 threadsStarted.countDown();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
159
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
160 MergeSpecializationsTest.await(beforeFirst);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
161 executeWith(node, executions.firstValue);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
162 executedFirst.countDown();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
163
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
164 MergeSpecializationsTest.await(beforeSecond);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
165 executeWith(node, executions.secondValue);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
166 executedSecond.countDown();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
167
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
168 MergeSpecializationsTest.await(beforeThird);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
169 executeWith(node, executions.thirdValue);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
170 executedThird.countDown();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
171 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
172 });
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
173 threads[i].start();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
174 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
175
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
176 final SpecializedNode gen = (SpecializedNode) node.getNode();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
177
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
178 final SpecializationNode start0 = gen.getSpecializationNode();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
179 assertEquals("UninitializedNode_", start0.getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
180
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
181 await(threadsStarted);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
182 beforeFirst.countDown();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
183 await(executedFirst);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
184
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
185 final SpecializationNode start1 = gen.getSpecializationNode();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
186 assertEquals("S" + order[0] + "Node_", start1.getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
187 assertEquals("UninitializedNode_", nthChild(1, start1).getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
188
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
189 beforeSecond.countDown();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
190 await(executedSecond);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
191
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
192 final SpecializationNode start2 = gen.getSpecializationNode();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
193 Arrays.sort(order, 0, 2);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
194 assertEquals("PolymorphicNode_", start2.getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
195 assertEquals("S" + order[0] + "Node_", nthChild(1, start2).getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
196 assertEquals("S" + order[1] + "Node_", nthChild(2, start2).getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
197 assertEquals("UninitializedNode_", nthChild(3, start2).getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
198
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
199 beforeThird.countDown();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
200 await(executedThird);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
201
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
202 final SpecializationNode start3 = gen.getSpecializationNode();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
203 Arrays.sort(order);
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
204 assertEquals("PolymorphicNode_", start3.getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
205 assertEquals("S" + order[0] + "Node_", nthChild(1, start3).getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
206 assertEquals("S" + order[1] + "Node_", nthChild(2, start3).getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
207 assertEquals("S" + order[2] + "Node_", nthChild(3, start3).getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
208 assertEquals("UninitializedNode_", nthChild(4, start3).getClass().getSimpleName());
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
209
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
210 for (Thread thread : threads) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
211 try {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
212 thread.join();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
213 } catch (InterruptedException e) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
214 fail("interrupted");
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
215 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
216 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
217 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
218
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
219 private static class Executions {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
220 public final Object firstValue;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
221 public final Object secondValue;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
222 public final Object thirdValue;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
223
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
224 public Executions(Object firstValue, Object secondValue, Object thirdValue) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
225 this.firstValue = firstValue;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
226 this.secondValue = secondValue;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
227 this.thirdValue = thirdValue;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
228 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
229 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
230
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
231 private static void await(final CountDownLatch latch) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
232 try {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
233 latch.await();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
234 } catch (InterruptedException e) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
235 fail("interrupted");
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
236 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
237 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
238
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
239 private static Node firstChild(Node node) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
240 return node.getChildren().iterator().next();
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
241 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
242
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
243 private static Node nthChild(int n, Node node) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
244 if (n == 0) {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
245 return node;
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
246 } else {
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
247 return nthChild(n - 1, firstChild(node));
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
248 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
249 }
678a3de139ad Add test for concurrent DSL node specializations.
Benoit Daloze <benoit.daloze@jku.at>
parents:
diff changeset
250 }