- /**
- * This method returns the speed of the processor of a host,
- * regardless of the current load of the machine.
- *
- * @return The speed of the processor of the host in flops.
- *
- */
- public native double getSpeed();
-
- /**
- * This method returns the number of core of a host.
- *
- * @return The speed of the processor of the host in flops.
- *
- */
- public native double getCoreNumber();
-
- /**
- * Returns the value of a given host property (set from the platform file).
- */
- public native String getProperty(String name);
-
- /**
- * Change the value of a given host property.
- */
- public native void setProperty(String name, String value);