Examples with BProgramSyncSnapshot il.ac.bgu.cs.bp.bpjs.model.BProgramSyncSnapshot used on opensource projects

Example 6 with BProgramSyncSnapshot

use of il.ac.bgu.cs.bp.bpjs.model.BProgramSyncSnapshot in project BPjs by bThink-BGU.

the class ContinuationProgramStateTest method testStackHeight.

@Test
public void testStackHeight() throws Exception {
    // Generate a continuation
    BProgram bprog = new StringBProgram(SRC_SHORT);
    BProgramSyncSnapshot cur = bprog.setup();
    cur = cur.start(exSvc);
    BThreadSyncSnapshot snapshot = cur.getBThreadSnapshots().iterator().next();
    // Read frame data of P1
    NativeContinuation nc = (NativeContinuation) snapshot.getContinuation();
    ContinuationProgramState sut1 = new ContinuationProgramState(nc);
    assertEquals(0, sut1.getFrameIndex());
    bprog = new StringBProgram(SRC_MORE_FUNC);
    cur = bprog.setup();
    cur = cur.start(exSvc);
    snapshot = cur.getBThreadSnapshots().iterator().next();
    // Read frame data of P1
    nc = (NativeContinuation) snapshot.getContinuation();
    ContinuationProgramState sut2 = new ContinuationProgramState(nc);
    assertEquals(1, sut2.getFrameIndex());
}

Example 7 with BProgramSyncSnapshot

use of il.ac.bgu.cs.bp.bpjs.model.BProgramSyncSnapshot in project BPjs by bThink-BGU.

the class ContinuationProgramStateTest method testCorrectExtraction.

@Test
public void testCorrectExtraction() throws Exception {
    // Generate a continuation
    BProgram bprog = new StringBProgram(SRC);
    BProgramSyncSnapshot cur = bprog.setup();
    cur = cur.start(exSvc);
    final BThreadSyncSnapshot snapshot = cur.getBThreadSnapshots().iterator().next();
    // Read frame data
    NativeContinuation nc = (NativeContinuation) snapshot.getContinuation();
    ContinuationProgramState sut = new ContinuationProgramState(nc);
    assertEquals(0, sut.getFrameIndex());
    assertEquals("gVar content", sut.getVisibleVariables().get("gVar"));
    assertEquals("fVar content", sut.getVisibleVariables().get("fVar"));
    assertEquals("updated content", sut.getVisibleVariables().get("shadowed"));
    assertEquals(2.42, sut.getVisibleVariables().get("fDblVar2"));
}

Example 8 with BProgramSyncSnapshot

use of il.ac.bgu.cs.bp.bpjs.model.BProgramSyncSnapshot in project BPjs by bThink-BGU.

the class ContinuationGames method main.

public static void main(String[] args) throws Exception {
    // Create a program
    BProgram bprog = new StringBProgram(SRC);
    // Run the top-level code (b-threads are registered but not yet run)
    BProgramSyncSnapshot cur = bprog.setup();
    // Run to first bsync
    cur = cur.start(ExecutorServiceMaker.makeWithName("TEST"));
    // Get a snapshot
    final BThreadSyncSnapshot snapshot = cur.getBThreadSnapshots().iterator().next();
    System.out.println(snapshot);
    // Serialize snapshot
    byte[] serializedContinuationAndScope = null;
    Object bp = null;
    try {
        // need Javascript environment for this, even though we're not executing code per se.
        Context ctxt = Context.enter();
        // first, get bp out of the scope
        Object cnt = snapshot.getContinuation();
        final Scriptable scope = snapshot.getScope();
        for (Scriptable sc = scope; sc != null; sc = sc.getParentScope()) {
            System.out.println("SCOPE START");
            if (sc.has("bp", sc)) {
                bp = sc.get("bp", sc);
                sc.delete("bp");
                System.out.println("bp deleted.");
            }
            if (sc.has("j", sc)) {
                System.out.println("Found j:" + sc.get("j", sc));
            }
            System.out.println("SCOPE END\n");
        }
        // second, serialize
        final Scriptable topLevelScope = ctxt.initSafeStandardObjects();
        try (ByteArrayOutputStream bytes = new ByteArrayOutputStream();
            ScriptableOutputStream outs = new ScriptableOutputStream(bytes, topLevelScope)) {
            outs.writeObject(cnt);
            outs.flush();
            serializedContinuationAndScope = bytes.toByteArray();
        }
        System.out.println("Seriazlied to " + serializedContinuationAndScope.length + " bytes.");
    } finally {
        Context.exit();
    }
    // Run the BThread a few times:
    try {
        Context ctxt = ContextFactory.getGlobal().enterContext();
        // must use interpreter mode
        ctxt.setOptimizationLevel(-1);
        final Scriptable topLevelScope = ctxt.initSafeStandardObjects();
        for (int i = 0; i < 10; i++) {
            try (ScriptableInputStream sis = new ScriptableInputStream(new ByteArrayInputStream(serializedContinuationAndScope), topLevelScope)) {
                // read cnt and scope
                Scriptable cnt2 = (Scriptable) sis.readObject();
                // re-add bp to the scope
                cnt2.getParentScope().put("bp", cnt2.getParentScope(), new BProgramJsProxy(bprog));
                // go - we can push whichever event we want.
                ctxt.resumeContinuation(cnt2, cnt2, new BEvent("e-" + i));
                // this extra run will use the same control flow, but the variable
                // values will be from the previous run. So don't do this :-)
                ctxt.resumeContinuation(cnt2, cnt2, new BEvent("arbitrary/" + i));
            }
        }
        // create three continuation objects that should be the same.
        Scriptable[] cnts = new Scriptable[3];
        for (int i = 0; i < 3; i++) {
            try (ScriptableInputStream sis = new ScriptableInputStream(new ByteArrayInputStream(serializedContinuationAndScope), topLevelScope)) {
                // read cnt and scope
                cnts[i] = (Scriptable) sis.readObject();
            }
        }
        System.out.println(cnts[0].equals(cnts[0]));
        System.out.println(cnts[0].equals(cnts[1]));
        System.out.println("continuationsEq = " + continuationEq((NativeContinuation) cnts[0], (NativeContinuation) cnts[1]));
    } finally {
        Context.exit();
    }
}

Example 9 with BProgramSyncSnapshot

use of il.ac.bgu.cs.bp.bpjs.model.BProgramSyncSnapshot in project BPjs by bThink-BGU.

the class BProgramSyncSnapshotClonerTest method testSerialization.

@Test
public void testSerialization() throws Exception {
    System.out.println("\nSTART Serialization test");
    BProgram bprog = new SingleResourceBProgram("BProgramSyncSnapshotClonerTest.js");
    BProgramSyncSnapshot cur = bprog.setup();
    ExecutorService exSvc = ExecutorServiceMaker.makeWithName("test");
    cur = cur.start(exSvc);
    cur.triggerEvent(cur.getStatements().stream().flatMap(s -> s.getRequest().stream()).findFirst().get(), exSvc, emptySet());
    BProgramSyncSnapshotIO io = new BProgramSyncSnapshotIO(bprog);
    byte[] out = io.serialize(cur);
    System.out.println("de-serializing\n");
    io.deserialize(out);
    System.out.println("END Serialization test\n");
}

Example 10 with BProgramSyncSnapshot

use of il.ac.bgu.cs.bp.bpjs.model.BProgramSyncSnapshot in project BPjs by bThink-BGU.

the class BProgramRunner method run.

@Override
public void run() {
    try {
        // setup bprogram and runtime parts.
        execSvc = ExecutorServiceMaker.makeWithName("BProgramRunner-" + instanceNum);
        failedAssertion = null;
        listeners.forEach(l -> l.starting(bprog));
        BProgramSyncSnapshot cur = bprog.setup();
        cur.getBThreadSnapshots().forEach(sn -> listeners.forEach(l -> l.bthreadAdded(bprog, sn)));
        // start it
        listeners.forEach(l -> l.started(bprog));
        cur = cur.start(execSvc);
        boolean go = true;
        if (!cur.isStateValid()) {
            failedAssertion = cur.getFailedAssertion();
            listeners.forEach(l -> l.assertionFailed(bprog, failedAssertion));
            go = false;
        }
        // while snapshot not empty, select an event and get the next snapshot.
        while ((!cur.noBThreadsLeft()) && go) {
            // see which events are selectable
            Set<BEvent> possibleEvents = bprog.getEventSelectionStrategy().selectableEvents(cur.getStatements(), cur.getExternalEvents());
            if (possibleEvents.isEmpty()) {
                // No events available or selection. Terminate or wait for external one (in daemon mode).
                if (bprog.isDaemonMode()) {
                    listeners.forEach(l -> l.superstepDone(bprog));
                    // and now we wait.
                    BEvent next = bprog.takeExternalEvent();
                    if (next == null) {
                        // program is not a daemon anymore.
                        go = false;
                    } else {
                        cur.getExternalEvents().add(next);
                    }
                } else {
                    // Ending the program - no selectable event.
                    listeners.forEach(l -> l.superstepDone(bprog));
                    go = false;
                }
            } else {
                // we can select some events - select one and advance.
                Optional<EventSelectionResult> res = bprog.getEventSelectionStrategy().select(cur.getStatements(), cur.getExternalEvents(), possibleEvents);
                if (res.isPresent()) {
                    EventSelectionResult esr = res.get();
                    if (!esr.getIndicesToRemove().isEmpty()) {
                        // the event selection affcted the external event queue.
                        List<BEvent> updatedExternals = new ArrayList<>(cur.getExternalEvents());
                        esr.getIndicesToRemove().stream().sorted(reverseOrder()).forEach(idxObj -> updatedExternals.remove(idxObj.intValue()));
                        cur = cur.copyWith(updatedExternals);
                    }
                    listeners.forEach(l -> l.eventSelected(bprog, esr.getEvent()));
                    cur = cur.triggerEvent(esr.getEvent(), execSvc, listeners);
                    if (!cur.isStateValid()) {
                        failedAssertion = cur.getFailedAssertion();
                        listeners.forEach(l -> l.assertionFailed(bprog, failedAssertion));
                        go = false;
                    }
                } else {
                    // edge case: we can select events, but we didn't. Might be a bug in the EventSelectionStrategy.
                    go = false;
                }
            }
        }
        listeners.forEach(l -> l.ended(bprog));
    } catch (InterruptedException itr) {
        System.err.println("BProgramRunner interrupted: " + itr.getMessage());
    } finally {
        execSvc.shutdown();
    }
}