运维管理系统

zsh_root

2024-01-02 7b595546af704983dbafcd0d385c8768ddacefc2

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
package Method;
import java.io.File;
import java.io.RandomAccessFile;
import java.net.UnknownHostException;
import java.nio.channels.FileChannel;
import java.nio.channels.FileLock;
 
import PbuliClass.ShowMessage;
 
/**
 * FileLockManager ÎļþËø¹ÜÀí
 *
 */
public class FileLockManager {
    @SuppressWarnings("resource")
    public static boolean isUsing(int singleId) throws UnknownHostException{  
           try {
               RandomAccessFile raf = null;
               FileChannel channel = null;
               FileLock lock = null;
        
            // ÔÚÁÙʱÎļþ¼Ð´´½¨Ò»¸öÁÙʱÎļþ£¬ËøסÕâ¸öÎļþÓÃÀ´±£Ö¤Ó¦ÓóÌÐòÖ»ÓÐÒ»¸öʵÀý±»´´½¨.
            File sf = new File(System.getProperty("java.io.tmpdir") + singleId + ".single");
            sf.deleteOnExit();
            sf.createNewFile();
 
            raf = new RandomAccessFile(sf, "rw");
            channel = raf.getChannel();
            lock = channel.tryLock();
 
            if (lock == null) {
                // Èç¹ûûÓеõ½Ëø£¬Ôò³ÌÐòÍ˳ö.
                // Ã»ÓбØÒªÊÖ¶¯ÊÍ·ÅËøºÍ¹Ø±ÕÁ÷£¬µ±³ÌÐòÍ˳öʱ£¬ËûÃǻᱻ¹Ø±ÕµÄ.
                return false;
            }
            return true;
           } catch (Exception e) {
               ShowMessage.zidingyi("ÎļþËøÒì³££¡");
                 return false;
           }  
       } 
 
}