hct.ha

Class HACache

java.lang.Object

hct.ha.HACache

public class HACache
extends Object

Constructor Summary

Constructors

Constructor and Description
HACache()

Method Summary

Modifier and Type	Method and Description
static int	getNumClients()
static void	killClient() A Hydra TASK that kills a client
static void	killServer() A Hydra TASK that kills a random server
static void	killStableServer() A Hydra TASK that kills a random stable server.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HACache

public HACache()

Method Detail

killStableServer

public static void killStableServer()
                             throws ClientVmNotFoundException

A Hydra TASK that kills a random stable server. Uses a binary semaphore initialized by EmptyQueueListener.setStableStateAchievedAndSleep() to serialize killing.

Throws:

ClientVmNotFoundException

See Also:

killServer()

killServer

public static void killServer()
                       throws ClientVmNotFoundException

A Hydra TASK that kills a random server

Throws:

ClientVmNotFoundException

killClient

public static void killClient()

A Hydra TASK that kills a client

getNumClients

public static int getNumClients()