Dynamic b-threads - Revision history

Assaf at 12:30, 5 August 2013

2013-08-05T12:30:46Z

Assaf at 12:30, 5 August 2013

2013-08-05T12:30:01Z

Assaf at 12:29, 5 August 2013

2013-08-05T12:29:10Z

Assaf at 12:28, 5 August 2013

2013-08-05T12:28:18Z

Show changes

Assaf at 12:25, 5 August 2013

2013-08-05T12:25:53Z

Assaf: New page: = Dynamic b-threads = * B-threads are normally instantiated and added to the b-program in the runBApplication method. * However, b-threads can also be created dynamically in two ways: ...

2013-08-05T09:21:09Z

New page: = Dynamic b-threads = * B-threads are normally instantiated and added to the b-program in the runBApplication method. * However, b-threads can also be created dynamically in two ways: ...

New page

= Dynamic b-threads =

* B-threads are normally instantiated and added to the b-program in the runBApplication method.
* However, b-threads can also be created dynamically in two ways:
** Any thread or b-thread can create a new instance of the desired b-thread class, and call the bp.add method to add the b-thread to the b-program, and call the bthread.start method to start the b-thread. The b-thread will join the running b-threads in the next synchronization point.
** A running Java thread which is not a b-thread, may register itself as a b-thread and subsequently deregister, using the method calls XXXXXX and YYYYYY.
* Examples:

@@ Line 1: / Line 1: @@
 = Symbolic and dynamic b-threads =
-== Symbolic b-threads ==
+== A. Symbolic b-threads ==
 It is sometimes useful to have multiple b-threads as instances of the same class, differing from each other only by their parameters.
@@ Line 86: / Line 86: @@
-== Dynamic b-threads ==
+== B. Dynamic b-threads ==
 * B-threads are normally instantiated and added to the b-program in the runBApplication method.

@@ Line 29: / Line 29: @@
   //		interruptingEvents = new EventSet(gameOver);
    		labelNextVerificationState("0");
-		// Wait for the first O
+ 		// Wait for the first O
   		bp.bSync(none, firstSquare, none);
   		labelNextVerificationState("1");
@@ Line 38: / Line 38: @@
   		bp.bSync(triggeredEvent, none, none);
    		labelNextVerificationState("3");
- 		bp.bSync(none, none, none);
+  		bp.bSync(none, none, none);
-−
+ 	}
- 	/**
+  	/**
   	 * @param firstSquare
   	 * @param seconfSquare

@@ Line 9: / Line 9: @@
   package tictactoe.bThreads.tactics;
   import static bp.BProgram.bp;
   import static bp.BProgram.labelNextVerificationState;
   import static bp.eventSets.EventSetConstants.none;
   import java.util.HashSet;
   import java.util.Set;
   import tictactoe.events.O;
   import bp.BThread;
@@ Line 31: / Line 28: @@
   	public void runBThread() throws BPJException {
   //		interruptingEvents = new EventSet(gameOver);
    		labelNextVerificationState("0");
 		// Wait for the first O
   		bp.bSync(none, firstSquare, none);
@@ Line 41: / Line 38: @@
   		bp.bSync(triggeredEvent, none, none);
    		labelNextVerificationState("3");
   		bp.bSync(none, none, none);
+	}
   	/**
@@ Line 56: / Line 53: @@
   				+ secondSquare + "," + triggeredEvent + ")");
+  	}
   	/**
   	 * Construct all instances
   	 */
   	static public Set<BThread> constructInstances() {
   		Set<BThread> set = new HashSet<BThread>();
   		// All 6 permutations of three elements
   		int[][] permutations = new int[][] { new int[] { 0, 1, 2 },
@@ Line 69: / Line 63: @@
   				new int[] { 1, 2, 0 }, new int[] { 2, 0, 1 },
   				new int[] { 2, 1, 0 } };
   		for (int[] p : permutations) {
   			// Run copies for each row
@@ Line 90: / Line 83: @@
   		return set;
+  	}
-−
+}
-−
-−
-−
 == Dynamic b-threads ==