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
- best_clock().
Static method in class syd.Daemon
-
ACCESSOR: selects one of the logical clocks based on some policy (work
on progress...)
- 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
-
- 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)
- 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
-
- 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.
- home().
Static method in class syd.inputdata.DefaultValues
-
- host.
Variable in class syd.inputdata.InputData
- IP address of the server
- 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.
Variable in class syd.inputdata.InputData
- the number of attempts before diagnosing unreachability
- key.
Variable in class syd.mpx.EmitterAliveException
-
- 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
-
- 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.
- 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.
- offset().
Method in class syd.logicalclock.LogicalClock
-
ACCESSOR: returns the offset of the logical clock with respect to
system clock.
- 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
-
- 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.
- 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
-
- 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)
- 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.
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
-