-
Notifications
You must be signed in to change notification settings - Fork 8
/
BThreadSyncSnapshotTest.java
101 lines (90 loc) · 4.81 KB
/
BThreadSyncSnapshotTest.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
/*
* The MIT License
*
* Copyright 2017 michael.
*
* Permission is hereby granted, free of charge, to any person obtaining a copy
* of this software and associated documentation files (the "Software"), to deal
* in the Software without restriction, including without limitation the rights
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the Software is
* furnished to do so, subject to the following conditions:
*
* The above copyright notice and this permission notice shall be included in
* all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
* THE SOFTWARE.
*/
package il.ac.bgu.cs.bp.bpjs.model;
import il.ac.bgu.cs.bp.bpjs.BPjs;
import il.ac.bgu.cs.bp.bpjs.bprogramio.BProgramSyncSnapshotCloner;
import il.ac.bgu.cs.bp.bpjs.execution.listeners.BProgramRunnerListener;
import il.ac.bgu.cs.bp.bpjs.internal.ExecutorServiceMaker;
import static il.ac.bgu.cs.bp.bpjs.model.StorageModificationStrategy.PASSTHROUGH;
import il.ac.bgu.cs.bp.bpjs.model.eventselection.EventSelectionResult;
import org.junit.Rule;
import org.junit.Test;
import org.junit.rules.ExpectedException;
import java.util.ArrayList;
import java.util.List;
import java.util.Set;
import java.util.concurrent.ExecutorService;
import static org.junit.Assert.*;
/**
* @author michael
*/
public class BThreadSyncSnapshotTest {
@Rule
public final ExpectedException exception = ExpectedException.none();
private final List<BProgramRunnerListener> listeners = new ArrayList<>();
@Test
public void testJSVarState() throws InterruptedException {
BProgram bprog = new ResourceBProgram("SnapshotTests/ABCDTrace.js");
BProgramSyncSnapshot setup = bprog.setup();
ExecutorService execSvc = BPjs.getExecutorServiceMaker().makeWithName("BProgramSnapshotEqualityTest");
List<BProgramSyncSnapshot> snapshots = new ArrayList<>();
BProgramSyncSnapshot step = setup.start(execSvc, PASSTHROUGH);
snapshots.add(BProgramSyncSnapshotCloner.clone(step));
//Iteration 1, starts already at request state A
for (int i = 0; i < 4; i++) {
Set<BEvent> possibleEvents_a = bprog.getEventSelectionStrategy().selectableEvents(step);
EventSelectionResult event_a = bprog.getEventSelectionStrategy().select(step, possibleEvents_a).get();
step = step.triggerEvent(event_a.getEvent(), execSvc, listeners, PASSTHROUGH);
}
snapshots.add(BProgramSyncSnapshotCloner.clone(step));
for (int i = 0; i < 4; i++) {
Set<BEvent> possibleEvents_a = bprog.getEventSelectionStrategy().selectableEvents(step);
EventSelectionResult event_a = bprog.getEventSelectionStrategy().select(step, possibleEvents_a).get();
step = step.triggerEvent(event_a.getEvent(), execSvc, listeners, PASSTHROUGH);
}
snapshots.add(BProgramSyncSnapshotCloner.clone(step));
// snapshots[1] is after the first loop iteration, snapshots[2] is after the second loop iteration.
// They should differ in loop index.
assertNotEquals(snapshots.get(1).getBThreadSnapshots(), snapshots.get(0).getBThreadSnapshots());
execSvc.shutdown();
}
@Test
public void testJavaVarState() throws InterruptedException {
BProgram bprog = new StringBProgram("bp.registerBThread(function(){\n" +
" let a = new java.lang.Integer(7);\n" +
" while (true) {" +
" bp.sync({request:bp.Event(\"A\")});\n" +
" a = java.lang.Integer.reverse(a);\n" +
" }\n" +
"});");
BProgramSyncSnapshot postSetup = bprog.setup();
ExecutorService execSvcA = BPjs.getExecutorServiceMaker().makeWithName("BProgramSnapshotTriggerTest");
BProgramSyncSnapshot postSync1 = postSetup.start(execSvcA, PASSTHROUGH);
Set<BEvent> possibleEvents = bprog.getEventSelectionStrategy().selectableEvents(postSync1);
EventSelectionResult esr = bprog.getEventSelectionStrategy().select(postSync1, possibleEvents).get();
BProgramSyncSnapshot postSync2 = BProgramSyncSnapshotCloner.clone(postSync1).triggerEvent(esr.getEvent(), execSvcA, listeners, PASSTHROUGH);
assertNotEquals(postSync1.getBThreadSnapshots(), postSync2.getBThreadSnapshots());
execSvcA.shutdown();
}
}