Package jade.core.faultRecovery
Interface PersistentStorage
-
public interface PersistentStorageAn implementation of this interface is used by the FaultRecoveryService to save the information required to recover a platform after a fault of the Main Container.- Author:
- Giovanni Caire - TILAB
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidclear(boolean clearPlatform)Clear all information stored in this persistent storagevoidclose()Close this persistent storage performing all necessary clean-up operationsMapgetAllNodes(boolean children)Retrieve all stored reachable nodesString[]getPlatformInfo()Retrieve the Platform Information i.e.byte[]getUnreachableNode(String name)Retrieve a stored unreachable nodevoidinit(Profile p)Initialize this persistent storagevoidremoveNode(String name)Remove a (possibly child) reachable nodevoidresetUnreachable(String name)Mark a previously stored node as reachable againvoidsetUnreachable(String name)Mark a previously stored node as unreachablevoidstoreNode(String name, boolean isChild, byte[] nn)Store a (possibly child) nodevoidstorePlatformInfo(String platformName, String address)Store the Main Container local address
-
-
-
Method Detail
-
close
void close()
Close this persistent storage performing all necessary clean-up operations
-
clear
void clear(boolean clearPlatform) throws ExceptionClear all information stored in this persistent storage- Throws:
Exception
-
storePlatformInfo
void storePlatformInfo(String platformName, String address) throws Exception
Store the Main Container local address- Throws:
Exception
-
getPlatformInfo
String[] getPlatformInfo() throws Exception
Retrieve the Platform Information i.e. Platform name and Main Ccntainer local address- Throws:
Exception
-
storeNode
void storeNode(String name, boolean isChild, byte[] nn) throws Exception
Store a (possibly child) node- Throws:
Exception
-
removeNode
void removeNode(String name) throws Exception
Remove a (possibly child) reachable node- Throws:
Exception
-
setUnreachable
void setUnreachable(String name) throws Exception
Mark a previously stored node as unreachable- Throws:
Exception
-
resetUnreachable
void resetUnreachable(String name) throws Exception
Mark a previously stored node as reachable again- Throws:
Exception
-
getAllNodes
Map getAllNodes(boolean children) throws Exception
Retrieve all stored reachable nodes- Throws:
Exception
-
-