📄 workersmanager.java
字号:
/* * Created on 02-mar-2004 * * To change the template for this generated file go to Window - Preferences - * Java - Code Generation - Code and Comments */package javatunnel.gui;import java.util.*;import javatunnel.*;/** * @author utopio * * To change the template for this generated type comment go to Window - * Preferences - Java - Code Generation - Code and Comments */public class WorkersManager { static HashMap workers=new HashMap(); private static int idCount = 0; private static Object idCountLock = new Object(); public static Worker createWorker(Configuration conf) { Integer id=generateId(); Worker newWorker=new Worker(id,conf); workers.put(id,newWorker); newWorker.start(); return newWorker; } private static Integer generateId() { synchronized (idCountLock) { idCount++; return new Integer(idCount); } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -