home *** CD-ROM | disk | FTP | other *** search
/ Chip 1998 November / Chip_1998-11_cd.bin / tema / Cafe / main.bin / VMID.java < prev    next >
Text File  |  1997-05-20  |  5KB  |  146 lines
  1. /*
  2.  * @(#)VMID.java    1.6 96/12/16
  3.  * 
  4.  * Copyright (c) 1995, 1996 Sun Microsystems, Inc. All Rights Reserved.
  5.  * 
  6.  * This software is the confidential and proprietary information of Sun
  7.  * Microsystems, Inc. ("Confidential Information").  You shall not
  8.  * disclose such Confidential Information and shall use it only in
  9.  * accordance with the terms of the license agreement you entered into
  10.  * with Sun.
  11.  * 
  12.  * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF THE
  13.  * SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
  14.  * IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
  15.  * PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR ANY DAMAGES
  16.  * SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR DISTRIBUTING
  17.  * THIS SOFTWARE OR ITS DERIVATIVES.
  18.  * 
  19.  * CopyrightVersion 1.1_beta
  20.  */
  21.  
  22. package java.rmi.dgc;
  23.  
  24. import java.io.*;
  25. import java.net.*;
  26. import java.rmi.server.UID;
  27.  
  28. /**
  29.  * A VMID is a identifier that is unique across all Java virtual
  30.  * machines.  VMIDs are used by the distributed garbage collector
  31.  * to identify client VMs.
  32.  *
  33.  * @version    1.6, 12/16/96
  34.  * @author    Ann Wollrath
  35.  * @author    Peter Jones
  36.  */
  37. public final class VMID implements java.io.Serializable {
  38.  
  39.     /** array of bytes uniquely identifying this host */
  40.     private static byte[] localAddr;
  41.     /** true if address for this host actually is unique */
  42.     private static boolean localAddrUnique;
  43.     static {
  44.     try {
  45.         InetAddress localInetAddress = InetAddress.getLocalHost();
  46.         byte[] raw = localInetAddress.getAddress();
  47.         localAddr = raw;
  48.  
  49.         if (raw == null ||        // if local host unknown,
  50.         ((raw[0] | raw[1] | raw[2] | raw[3]) == 0) ||
  51.         ((raw[0] == 127) &&    // or if it is localhost (127.0.0.1)
  52.          (raw[1] ==   0) &&    // (maybe because of applet)
  53.          (raw[2] ==   0) &&    // security manager?)
  54.          (raw[3] ==   1)))
  55.         localAddrUnique = false; // then can't get unique host address
  56.         else
  57.         localAddrUnique = true;
  58.     } catch (Exception e) {
  59.         localAddr = null;
  60.         localAddrUnique = false;
  61.     }
  62.     }
  63.  
  64.     /** array of bytes uniquely identifying host created on */
  65.     private byte[] addr;
  66.  
  67.     /** unique identifier with respect to host created on */
  68.     private UID uid;
  69.  
  70.     /** use serialVersionUID from prebeta for interoperability */
  71.     private static final long serialVersionUID = -538642295484486218L;
  72.  
  73.     /**
  74.      * Create a new VMID.  Each new VMID returned from this constructor
  75.      * is unique for all Java virtual machines under the following
  76.      * conditions: a) the conditions for uniqueness for objects of
  77.      * the class <b>java.rmi.server.UID</b> are satisfied, and b) an
  78.      * address can be obtained for this host that is unique and constant
  79.      * for the lifetime of this object.  <p>
  80.      * The static method <b>isUnique</b> can be invoked to determine
  81.      * if an accurate address can be obtained for this host.
  82.      */
  83.     public VMID()
  84.     {
  85.     addr = localAddr;
  86.     uid = new UID();
  87.     }
  88.  
  89.     /**
  90.      * Return true if an accurate address can be determined for this
  91.      * host.  If false, reliable VMID cannot be generated from this host
  92.      * @return true if host address can be determined, false otherwise
  93.      */
  94.     public static boolean isUnique()
  95.     {
  96.     return localAddrUnique;
  97.     }
  98.  
  99.     /**
  100.      * Compute hash code for this VMID.
  101.      */
  102.     public int hashCode() {
  103.     return uid.hashCode();
  104.     }
  105.  
  106.     /**
  107.      * Compare this VMID to another, and return true if they are the
  108.      * same identifier.
  109.      */
  110.     public boolean equals(Object obj) {
  111.     if ((obj != null) && (obj instanceof VMID)) {
  112.         VMID vmid = (VMID) obj;
  113.         if (!uid.equals(vmid.uid))
  114.         return false;
  115.         if ((addr == null) ^ (vmid.addr == null))
  116.         return false;
  117.         if (addr != null) {
  118.         if (addr.length != vmid.addr.length)
  119.             return false;
  120.         for (int i = 0; i < addr.length; ++ i)
  121.             if (addr[i] != vmid.addr[i])
  122.             return false;
  123.         }
  124.         return true;
  125.     } else {
  126.         return false;
  127.     }
  128.     }
  129.  
  130.     /**
  131.      * Return string representation of this VMID.
  132.      */
  133.     public String toString() {
  134.     StringBuffer result = new StringBuffer();
  135.     if (addr != null)
  136.         for (int i = 0; i < addr.length; ++ i) {
  137.         if (i > 0)
  138.             result.append('.');
  139.         result.append(Integer.toString(((int) addr[i]) & 0xFF, 10));
  140.         }
  141.     result.append(':');
  142.     result.append(uid.toString());
  143.     return result.toString();
  144.     }
  145. }
  146.