Checkpoint synchronization: Difference between revisions

Content deleted Content added
Line 342:
<lang Java>
import java.util.Scanner;
import acmjava.util.RandomGeneratorRandom;
 
public class CheckpointSync{
Line 393:
private synchronized void work(){
try {
int workTime = rgen.nextInt(100, 1000900) + 100;
System.out.println("Worker " + threadID + " will work for " + workTime + " msec.");
Thread.sleep(workTime); //work for 'workTime'
Line 425:
/* static variables */
private static RandomGeneratorRandom rgen = new RandomGeneratorRandom();
private static int nFinished = 0;
public static int nWorkers = 0;