Changed BFTMapImpl to implement SingleExecutable and Recoverable instead of use DefaultRecoverable.
Added tests on BFTMapImpl to test the size of serialization and time to serialize state.

Added a new demo named "BFTList", which is very similar to "BFTMap", but uses Lists instead of Maps.

Started changing the state transfer protocol to not perform checkpointing. Such procedure should be delegated to the applcation instead.

THIS IS AN UNSTABLE COMMIT!!!!!! USE AT OWN RISK!!!!!!!!!!!!!!!!!!

Started changing the state transfer protocol to not perform checkpointing. Such procedure should be delegated to the applcation instead.

THIS IS AN UNSTABLE COMMIT!!!!!! USE AT OWN RISK!!!!!!!!!!!!!!!!!!

Removed the methodes invoke(byte[], boolean readOnly) from ServiceProxy.
Fixed demo code to work with the new version of ServiceProxy.

- Changed TOMMessageType from REQUEST and READONLY_REQUEST to ORDERED_REQUEST and UNORDERED_REQUEST respectively
- Added method in TOMSender to send messages to target replicas instead of send to all replicas

Small additions to the Throughput demo. Ir now has an option for DoS and shows the maximum throughput on the servers

Fixed a bug on the leader change protocol that would block all replicas if the delayed replica triggered again a leader change before the others finished the same protocol.

Identified a bug on the method "send" of class NettyClientServerCommunicationSystemServerSide, but its cause remains misterious: if invoked 2 times for the same message (why it sometimes is invoked 2 times for the same message is not known), the client may not receive a reply on its end, and if no sufficent replies are received, the client blocks. If locks are used in this method, the problem seems to disappear.

Removed various locks from the leader change protocol which were rendered useless in previous commits.

The Proposed thread now  unlocks by this order: I am the leader -> the consensus as finished  -> I have message to order 

Now Executable is the top class. It has the executeUnordered method, as all executables can process readonly messages.
There are two classes extending Executable.
SingleExecutable has the executeOrdered method to process a sigle command.
BatchExecutable has the executeBatch to process multiple commands.
BatchExecutable was also changed to have a matrix of bytes as parameter, corresponding to an array of commands, having an array of bytes.
Demo classes was changed to use the new Executable structure.
ServiceReplica was also changed.

- Added tests for killing leaders;
- Added Logger to log tests in console;
- Added ConsoleTest to execute tests in Console window instead of JUnit.

- Changed ServiceReplica to implement TOMReceiver;
- Created interfaces Executable and Recoverable, so the replicas can choose which methods to implement;
- Changed replicas to use ServiceReplica instead of extend it.

Modified slightly the throughput client and server. You can now specify the size of the application state.

Moved executeOrdered method to the server implementation.
Added ant code to compile and export Jar of the project.
Added JUnit tests for the keyvalue demo.
Refactored keyvalue code.

Huge update: merging corrections of Eduardo with current version of the repository. The reconfiguration protocol should work properly now!

Fixed some bugs in the leader change (although it still needs plenty of work, specially when re-integrating the replica).

Fixed a bug related to read only requests. Moved RadomDemo to a dedicated package.

State transfer protocol can now notify the recovered replica about the most recente view. 

Added apache codecs do deal with base64 encode/decode.

Removed and refactored a lot of code, added new microbenchmarks and improved the parallelism between the delivery thread and server communication thread. Additionally, processing of out of context message changed a bit (done in the server communication thread, instead of the delivery thread).
IMPORTANT: Service replica API changed!!!
NOTE: currently achieving a zero-byte throughput of 151Kops/sec ;-)

- Improvements on the performance of communication system
- big clean up of the code (many old methods deleted)
- corrected bug in out of context (now, a consensus is only started if a propose is received)
Note: still need to verify if state transfer and leader change works right

In this commit, I fixed a bug that manifested itself during the leader change protocol (when the original leader crashed). I also added a few more locks to protect the sessionTable of the comunication system.

In this commit, I have submitted the code for the leader change. Unfortunately there is some kind of conflict between the code I developed for an older version of smart, and the most recent code available on the svn. Such conflict renders the leader change protocol faulty. Further debugging is necessary. The normal operating remains good, though.

Small modifications and corrections on the counter demo plus the creation of MultiCounterClient that starts N JVMs with counterclients redirecting their outputs different files. I did that to try to catch the error Andre reported, but it doesn't appear on this example.

store replies to be sent if requests arrive from client after their processing (when comming from the leader). Very subtle missing feature found by Andre!!!

No commit message

No commit message

No commit message

In this commit, it has been added a timeout for the state transfer protocol, and fixed an implementantion error regarding f + 1 state hashes consistent amoung them, and a complete state inconsistent with those ashes.

It was also fixed a bug that would crash clients when a a reconfiguration was applied, and also fixed 2 bugs related to the checkpoints, which  would make replicas crash.

Finally, there are also some lines of code that have been slightly modified, but which shouls not affect the behavior of SMaRt.

Not much was changed. This commit only has minor changes, a bug fix that covers a recovered old leader so it doesn't trigger unnecessary timeouts, and some code to help test the library

In this commit, it was added a new demo, a bug fix for the TTP, and also a new method for in the ServiceReplica class that makes the replica leave the group.

Include session on the messages... corrected the problem of clients block when they ressurrect (so, now a client can run multiple times with the same id)

In this commit, it was added a new feature to SMaRt. It now supports dynamic views. Some bugs from the previous commit were also fixed. This was a fairly extensive update to SMaRt.

Nonces are now generated for each TOMMessage in a Batch with a single seed that is sent along with the batch instead of a fixed number of nonces per Batch.
Decided notification in Consensus.java now is done via a sync monitor instead of busy waiting on the decided value to be set. Because of the Java MemoryModel the former mechanism was problematic and could theoretically lead to the DeliveryThread never learning the new value - which is very unlikely though.

In this commit I updated the readme and configuration file, and also made the state transfer protocol able to be disabled