All Packages  Class Hierarchy

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Index of all Fields and Methods

B

best_clock(). Static method in class syd.Daemon
ACCESSOR: selects one of the logical clocks based on some policy (work on progress...)

C

check_consistency(). Method in class syd.inputdata.InputData
ACCESSOR: checks that the data provided are consistent, and print a diagnostic on the standard error output.
close(). Method in class syd.log.Log
MUTATOR: closes the Log.
CommandLineException(). Constructor for class syd.inputdata.CommandLineException
commit(). Method in class syd.logicalclock.LogicalClock
MUTATOR: commits this clock as accurate
common_header(). Method in class syd.inputdata.InputData
ACCESSOR: builds a String that contains all relevant input data that are common to all sessions
ConfigurationLineException(). Constructor for class syd.inputdata.ConfigurationLineException

D

Daemon(). Constructor for class syd.Daemon
DataConsistencyException(). Constructor for class syd.inputdata.DataConsistencyException
DefaultValues(). Constructor for class syd.inputdata.DefaultValues
delta_max. Variable in class syd.inputdata.InputData
the worst admitted precision threshold (msecs)

E

EmitterAliveException(). Constructor for class syd.mpx.EmitterAliveException
epsilon. Variable in class syd.inputdata.InputData
the "contact reached" precision threshold (msecs)
Example(). Constructor for class syd.Example

F

first_alive(). Method in class syd.mpx.Mpx
ACCESSOR: returns the identifier if the first, with respect to the ordering of the identifiers, emitter that is alive.

H

home(). Static method in class syd.inputdata.DefaultValues
host. Variable in class syd.inputdata.InputData
IP address of the server

I

identity. Variable in class syd.inputdata.InputData
the identifier of the session
InputData(int). Constructor for class syd.inputdata.InputData
CONSTRUCTOR: Initializes a new object taking the values from the DefaultValues class.
is_alive(int). Method in class syd.mpx.Mpx
ACCESSOR: tests whether the given emitter is alive or not.
is_committed(). Method in class syd.logicalclock.LogicalClock
ACCESSOR: tests whether this clock is accurate or not.
is_valid(). Method in class syd.logicalclock.LogicalClock
ACCESSOR: tests whether this clock can be used or not
is_verbose(). Static method in class syd.Daemon
ACCESSOR: tests whether this daemon was asked to be verbose

K

k. Variable in class syd.inputdata.InputData
the number of attempts before diagnosing unreachability
key. Variable in class syd.mpx.EmitterAliveException

L

load_descriptions(String[]). Static method in class syd.Daemon
MUTATOR: loads the session descriptions from the command line and from the (optional) configuration file.
Log(). Constructor for class syd.log.Log
CONSTRUCTOR: creates a new Log for the daemon.
Log(InputData). Constructor for class syd.log.Log
CONSTRUCTOR: creates a new Log for a the session.
logfile. Variable in class syd.inputdata.InputData
the name of the log file
logical_clocks_report(). Static method in class syd.Daemon
ACCESSOR: builds a report of the current state of the clocks controlled by this Daemon
LogicalClock(byte[]). Constructor for class syd.logicalclock.LogicalClock
CONSTRUCTOR: creates a new logical clock using an array of bytes to determine the relevant fields.
LogicalClock(double). Constructor for class syd.logicalclock.LogicalClock
CONSTRUCTOR
LogicalClockException(). Constructor for class syd.logicalclock.LogicalClockException
LogicalClockException(String). Constructor for class syd.logicalclock.LogicalClockException

M

main(String[]). Static method in class syd.Daemon
main(String[]). Static method in class syd.Example
main(String[]). Static method in class syd.test.Testremoteclock
main(String[]). Static method in class syd.test.Testsession
min. Variable in class syd.inputdata.InputData
lower bound of the communication delay (msecs)
mode. Variable in class syd.inputdata.InputData
LOGICAL_CLOCK, or SET_CLOCK, or ADJUST_CLOCK
Mpx(int). Constructor for class syd.mpx.Mpx
CONSTRUCTOR: creates a new multiplexer.
mpx_accept(int). Method in class syd.mpx.Mpx
ACCESSOR: blocks until the given emitter becomes alive.
mpx_connect(int). Method in class syd.mpx.Mpx
MUTATOR: sets the emitter as alive.
mpx_quit(int). Method in class syd.mpx.Mpx
MUTATOR: declares itself as not alive; emitter side.
mpx_select(). Method in class syd.mpx.Mpx
ACCESSOR: blocks until a request is submitted, or there are no more alive emitters.
mpx_submit(int). Method in class syd.mpx.Mpx
MUTATOR: submits a request and wait for the request to be delivered; Emitter side.

N

next_not_alive(). Method in class syd.mpx.Mpx
ACCESSOR: returns the identifier if the next, with respect to the ordering of the identifiers, emitter that is not alive.
NTPTime(byte[]). Constructor for class syd.remoteclock.NTPTime
CONSTRUCTOR: builds a new NTPTime instance given its encoding in the NTP packet as an array of bytes.
NTPTime(long). Constructor for class syd.remoteclock.NTPTime
CONSTRUCTOR: builds a new NTPTime instance given a long representing a time in millisecs according with Java APIs.

O

offset(). Method in class syd.logicalclock.LogicalClock
ACCESSOR: returns the offset of the logical clock with respect to system clock.

P

parse_command_line(String[]). Method in class syd.inputdata.InputData
MUTATOR: parses the command line and updates this InputData.
parse_String(String). Method in class syd.inputdata.InputData
MUTATOR: parses a string and updates this InputData.
port. Variable in class syd.inputdata.InputData
the port used by the clock synch.
precision(). Method in class syd.logicalclock.LogicalClock
ACCESSOR: Returns the current precision of this logical clock.
precision(). Method in class syd.remoteclock.RemoteClock
ACCESSOR: returns the DISPERSION (sorry about the name) declared by the server for its own clock
precision(long). Method in class syd.logicalclock.LogicalClock
ACCESSOR: Returns the precision of this logical clock at a given time.
ProtocolFailureException(). Constructor for class syd.session.ProtocolFailureException
ProtocolFailureException(String). Constructor for class syd.session.ProtocolFailureException

R

read(). Static method in class syd.logicalclock.SystemClock
ACCESSOR: it is a static method that returns the current time, in millisecs.
read(long, LogicalClock, String, int, long). Method in class syd.remoteclock.RemoteClock
MUTATOR: carries out the communication with the remote NTP server.
read_baseline(). Method in class syd.remoteclock.RemoteClock
ACCESSOR: returns the baseline (computed on the SystemClock) corresponding to the event of receiving the reply from the server.
RemoteClock(). Constructor for class syd.remoteclock.RemoteClock
restart_one(). Static method in class syd.Daemon
MUTATOR: restarts one of the logical clock synchronization sessions.
rho. Variable in class syd.inputdata.InputData
upper bound of server's drift in parts per millions
run(). Method in class syd.session.Session
MUTATOR: it is the basic method that is used to run the session; it returns when the clock synchronization algorithm fails.

S

Session(InputData, Mpx, LogicalClock). Constructor for class syd.session.Session
CONSTRUCTOR: a new Session is built.
set(long, long). Method in class syd.logicalclock.LogicalClock
MUTATOR: Sets the current value and precision of this logical clock.
set(long, long, long). Method in class syd.logicalclock.LogicalClock
MUTATOR: Sets the value and precision of this logical clock at a given time.
start_all(). Static method in class syd.Daemon
MUTATOR: Starts all sessions: prints on the standard output a message as the operation proceeds (one line).
SystemClock(). Constructor for class syd.logicalclock.SystemClock

T

t0(). Method in class syd.remoteclock.RemoteClock
ACCESSOR: returns the time when the request was originated (according to the logical clock or to the system clock).
t1(). Method in class syd.remoteclock.RemoteClock
ACCESSOR: returns the time when the reply was received (according to the logical clock or to the system clock).
Testremoteclock(). Constructor for class syd.test.Testremoteclock
Testsession(). Constructor for class syd.test.Testsession
toBytes(). Method in class syd.logicalclock.LogicalClock
ACCESSOR: encodes the relevant variables into a new byte array.
toBytes(). Method in class syd.remoteclock.NTPTime
ACCESSOR: returns an array of bytes that represents this NTPTime according with the NTP encoding
toLong(). Method in class syd.remoteclock.NTPTime
ACCESSOR: returns a long integer that represents this object in according with Java APIs
toString(). Method in class syd.inputdata.InputData
ACCESSOR: builds a String that contains all relevant in[ut data that are specific to the session this object refers to
toString(). Method in class syd.logicalclock.LogicalClock
ACCESSOR: this is mainly for testing purpose
tr(). Method in class syd.remoteclock.RemoteClock
ACCESSOR: returns the time when the request was received by the server (according with server's clock)
tx(). Method in class syd.remoteclock.RemoteClock
ACCESSOR: returns the time when the reply was sent by the server (according with server's clock)

V

value(). Method in class syd.logicalclock.LogicalClock
ACCESSOR: Returns the current value of this logical clock.
value(long). Method in class syd.logicalclock.LogicalClock
ACCESSOR: Returns the value of this logical clock at a given time.
verbose. Variable in class syd.inputdata.InputData
if TRUE, be verbose
verbose(String). Method in class syd.log.Log
MUTATOR: writes in the log, and to the standard output if the Daemon is verbose, a String

W

w. Variable in class syd.inputdata.InputData
delay between successive attempts (msecs)
what. Variable in class syd.inputdata.CommandLineException
what. Variable in class syd.inputdata.ConfigurationLineException
why. Variable in class syd.inputdata.CommandLineException
why. Variable in class syd.inputdata.ConfigurationLineException