Awesome
GenSync-lib
GenSync-lib is the version for packaging. It provides a library for synchronizing data efficiently across different machines on MacOS and Linux. The library includes implmenetations of several state-of-the-art protocols that optimize different metrics, including:
- Communication - total number of bytes transmitted
- Rounds - the amount of back-and-forth needed to compelte synchronization
- Computation - computing resources required
- Memory - amount of physical memory needed
The current version is 2.0.4
Table Of Contents
<a name="Examples"></a>
Examples
Here is a simple example of GenSync in action. It can be compiled as follows, with /opt/local
replaced by your MacPorts directory, or if on Linux replaced by your libraries directory:
TryMe.cpp
This program launches two processes, connected by a network socket:
- The first process (host 1) contains a set with elements 'a', 'b', and 'c'.
- The second process (host 2) contains a set of elements 'b' and 'd'.
Compilation
On MacOS, the program can be compiled with
$ g++ -I/opt/local/include -L/opt/local/lib -std=c++11 TryMe.cpp -lgensync -lntl -o tryme
$ ./tryme
On Linux, the program can be compiled with
$ g++ -I/usr/local/include -L/usr/local/lib -std=c++11 TryMe.cpp -lgensync -lntl -o tryme
$ ./tryme
Output
The output from the program shows both hosts with the same sets (note that the order of elements within a set does not matter):
host 1 now has a b c d
host 2 now has b d c a
Code
#include <iostream>
#include <GenSync/Syncs/GenSync.h>
int main() {
// BUILD the first host
GenSync host1 = GenSync::Builder().
setProtocol(GenSync::SyncProtocol::CPISync). // CPISync protocol
setComm(GenSync::SyncComm::socket). // communicate over network sockets
setMbar(5). // required parameter for CPISync
build();
// BUILD the second host
GenSync host2 = GenSync::Builder().
setProtocol(GenSync::SyncProtocol::CPISync).
setComm(GenSync::SyncComm::socket).
setMbar(5).
build();
// ADD elements to each host
// ... host 1
host1.addElem(make_shared<DataObject>('a')); // DataObject containing a character 'a'
host1.addElem(make_shared<DataObject>('b'));
host1.addElem(make_shared<DataObject>('c'));
// ... host 2
host2.addElem(make_shared<DataObject>('b'));
host2.addElem(make_shared<DataObject>('d'));
// FORK into two processes
if (fork()) {
// ... PARENT process
host1.clientSyncBegin(0); // set up the 0-th synchronizer and connect to a server
cout << "host 1 now has ";
for (auto &i: host1.dumpElements()) // print out the elements at host 1
cout << i << " ";
cout << endl;
}
else {
// ... CHILD process
host2.serverSyncBegin(0); // set up the 0-th synchronizer and wait for connections
cout << "host 2 now has ";
for (auto &i: host2.dumpElements()) // print out the elements at host 2
cout << i << " ";
cout << endl;
}
}
TryMe2.cpp
A more complicated example allows the user to select various synchronization parameters from the command-line.
#include <iostream>
#include <GenSync/Syncs/GenSync.h>
using std::cout;
using std::endl;
using std::string;
int main(int argc, char *argv[]) {
if(argc<=1 || strcmp(argv[1], "client")!=0 && strcmp(argv[1], "server")!=0) {
cout << "usage: '"
<< argv[0]
<< " client <sync type>' for client mode, 'TryMe server <sync type>' for server mode." << endl;
cout << "run the client in one terminal instance and the server in another." << endl;
exit(0);
}
GenSync::SyncProtocol prot;
string type = string(argv[2]);
// no string switch statements :(
if(type == "CPISync") {
prot = GenSync::SyncProtocol::CPISync;
} else if (type == "InterCPISync") {
prot = GenSync::SyncProtocol::InteractiveCPISync;
} else if (type == "OneWayCPISync") {
prot = GenSync::SyncProtocol::OneWayCPISync;
} else if (type == "FullSync") {
prot = GenSync::SyncProtocol::FullSync;
} else if (type == "IBLTSync") {
prot = GenSync::SyncProtocol::IBLTSync;
} else if (type == "OneWayIBLTSync") {
prot = GenSync::SyncProtocol::OneWayIBLTSync;
} else {
cout << "invalid sync type!" << endl;
exit(1);
}
const int PORT = 8001; // port on which to connect
const int ERR = 8; // inverse log of error chance
const int M_BAR = 1; // max differences between server and client
const int BITS = CHAR_BIT; // bits per entry
const int PARTS = 3; // partitions per level for partition-syncs
const int EXP_ELTS = 4; // expected number of elements per set
GenSync genSync = GenSync::Builder().
setProtocol(prot).
setComm(GenSync::SyncComm::socket).
setPort(PORT).
setErr(ERR).
setMbar(M_BAR).
setBits((prot == GenSync::SyncProtocol::IBLTSync || prot == GenSync::SyncProtocol::OneWayIBLTSync ? BITS : BITS * CHAR_BIT)).
setNumPartitions(PARTS).
setExpNumElems(EXP_ELTS).
build();
genSync.addElem(make_shared<DataObject>('a'));
genSync.addElem(make_shared<DataObject>('b'));
genSync.addElem(make_shared<DataObject>('c'));
if(strcmp(argv[1], "client")==0) {
genSync.addElem(make_shared<DataObject>('d'));
cout << "listening on port " << PORT << "..." << endl;
genSync.clientSyncBegin(0);
cout << "sync succeeded." << endl;
} else {
genSync.addElem(make_shared<DataObject>('e'));
cout << "connecting on port " << PORT << "..." << endl;
genSync.serverSyncBegin(0);
cout << "sync succeeded." << endl;
}
}
On MacOS, to compile use:
$ g++ -I/opt/local/include -L/opt/local/lib -std=c++11 tryme2.cpp -lgensync -lntl -o tryme2
On Linux, to compile use:
$ g++ -I/usr/local/include -L/usr/local/lib -std=c++11 tryme2.cpp -lgensync -lntl -o tryme2
To run, open two terminals. In one issue the command:
$ ./tryme2 server CPISync
connecting on port 8001...
sync succeeded.
In a second, issue the command:
$ ./tryme2 client CPISync
listening on port 8001...
sync succeeded.
<a name="UseInstructions"></a>
Extended Use Instructions:
- Include Statements:
#include <GenSync/(Aux/Data/Communicants/Syncs)/(The module you want to use)>
-
Initialize a
GenSync
object with the constructor or builder helper class on the client and server machineGenSync::Builder builder = GenSync::Builder(). setProtocol(GenSync::SyncProtocol::GenSync). //GenSync,InterCPISync, ProbCPISync, IBLTSync, FullSync, etc. setComm(GenSync::SyncComm::socket). //CommSocket or CommString setPort(8001). setHost(localhost). //Set the parameters for your specific sync type (Not the same for every protocol. See GenSync build parameters section) setBits(64). // Bits per element setMbar(256). // Max differences to sync setErr(7); // -log_2(prob of error) to allow for errors that might otherwise underflow GenSync mySyncClientOrServer = builder.build();
-
Add elements to your GenSyncs (If you need to add large elements use the ZZ class from NTL)
- You may manually create a shared_ptr<DataObject> (Data/DataObject.h) or pass a data type compatible with DataObject and one will be automatically created for you, returning a pointer to the newly created DataObject
mySyncClientOrServer.addElem(myZZ); mySyncClientOrServer.addElem(myLong); mySyncClientOrServer.addElem(myInt); mySyncClientOrServer.addElem(myMultiSet); // Multisets are serialized for use in IBLTSetOfSets. This does NOT add each element in the multiset to your sync.
-
Run serverSyncBegin and clientSyncBegin on the server and client respectively
mySyncServer.serverSyncBegin(0); //Add the index of the sync you would like to perform mySyncClient.clientSyncBegin(0); //Multiple syncs or communicants may be added to one GenSync
-
Collect relevant statistics
//The sync index is decided by the order you added your sync in //If your GenSync has only 1 sync the index is 0 mySyncClient.printStats(syncIndex); //Returns a string of formatted stats about your sync mySyncClient.mySyncVec[syncIndex]->getName(); //Retruns the name and parameters for your sync mySyncClient.getXmitBytes(syncIndex); //Returns the number of bytes transmitted by this sync mySyncClient.getRecvBytes(syncIndex); //Returns the number of bytes received by this sync mySyncClient.getCommTime(syncIndex); //Returns the amount of time in seconds that the sync spent sending and receiving info through a socket mySyncClient.getIdleTime(syncIndex); //The amount of time spent waiting for a connection or for a peer to finish computation mySyncClient.getCompTime(syncIndex); //The amount of time spent doing computations
<a name="BuilderParameters"></a>
GenSync Builder Parameters:
- setProtocol: Set the protocol that your sync will execute (from the list above)
- All syncs
- setComm: Set the communication method your sync will use (CommSocket and CommString). Comm String is for local testing
- All Syncs
- setPort & setHost: Set the port & host that your socket will use
- Any socket based syncs
- setIOString: Set the string with which to synchronize
- Only for CommString based syncs
- setBits: The number of bits that represent each element in the set
- All syncs except FullSync
- setMbar: The maximum number of symmetric differences that can be synced by a GenSync
- All GenSync variants
- setErr: The negative log base 2 of the probability of error you would like to use to bound your sync
- All GenSync variants
- setHashes: If true, elements are hashed non-trivially (Must be true to synchronize multisets)
- All GenSync variants
- setNumPartitions: The number of partitions that InterCPISync should recurse into if it fails
- InteractiveCPISync
- setExpNumElems: The maximum number of differences that you expect to be placed into your IBLT. If you are doing IBLTSetOfSets this is the number of child sets you expect
- IBLTSync, OneWayIBLTSync & IBLTSetOfSets
- setExpNumElemChild: Set the upper bound for number of elements in each child set
- IBLTSetOfSets
- setDataFile: Set the data file containing the data you would like to populate your GenSync with
- Any sync you'd like to do this with
<a name="SyncTypes"></a>
Sync Types:
- Included Sync Protocols (Sets and Multisets):
- CPISync
- Sync using the protocol described here. The maximum number of differences that can be reconciled must be bounded by setting mBar. The server does the necessary computations while the client waits, and returns the required values to the client
- CPISync_OneLessRound
- Perform CPISync with set elements represented in full in order to reduce the amount of rounds of communication by one (No hash inverse round of communication). The server does the necessary computations while the client waits, and returns the required values to the client
- OneWayCPISync
- Perform CPISync in one direction, only adding new elements from the client to the server. The client's elements are not updated. The server does the necessary computations and determines what elements they need to add to their set. The client does not receive a return message and does not have their elements updated
- ProbCPISync
- Perform CPISync with a given mBar but if the amount of differences is larger than that, double mBar until the sync is successful. The server does the necessary computations while the client waits, and returns the required values to the client
- InteractiveCPISync
- Perform CPISync but if there are more than mBar differences, divide the set into
numPartitions
subsets and attempt to CPISync again. This recurses until the sync is successful. The server does the necessary computations while the client waits, and returns the required values to the client
- Perform CPISync but if there are more than mBar differences, divide the set into
- FullSync
- The client sends the server its set contents and the server determines what elements it needs from the clients set. The server also determines what elements the client needs and sends them back.
- IBLTSync
- Each peer encodes their set into an Invertible Bloom Lookup Table with a size determined by NumExpElements and the client sends their IBLT to their per. The differences are determined by "subtracting" the IBLT's from each other and attempting to peel the resulting IBLT. The server peer then returns the elements that the client peer needs to update their set
- OneWayIBLTSync
- The client sends their IBLT to their server peer and the server determines what elements they need to add to their set. The client does not receive a return message and does not update their set
- CuckooSync
- Each peer encodes their set into a cuckoo filter. Peers exchange their cuckoo filters. Each host infers the elements that are not in its peer by looking them up in the peer's cuckoo filter. Any elements that are not found in the peer's cuckoo filter are sent to it.
- CPISync
- Included Sync Protocols (Set of Sets):
- IBLT Set of Sets
- Sync using the protocol described here. This sync serializes an IBLT containing a child set into a bitstring where it is then treated as an element of a larger IBLT. Each host recovers the IBLT containing the serialized IBLTs and deserializes each one. A matching procedure is then used to determine which child sets should sync with each other and which elements they need. If this sync is two way this info is then sent back to the peer node. The number of differences in each child IBLT may not be larger than the total number of sets being synced
- IBLT Set of Sets
<a name="References"></a>
Reference:
If you use this software in your works, please cite the following paper (DOI):
Boškov, Novak, Ari Trachtenberg, and David Starobinski. "Gensync: A new framework for benchmarking and optimizing reconciliation of data." IEEE Transactions on Network and Service Management 19.4 (2022): 4408-4423.
or in BibTex:
@article{bovskov2022gensync,
title={Gensync: A new framework for benchmarking and optimizing reconciliation of data},
author={Bo{\v{s}}kov, Novak and Trachtenberg, Ari and Starobinski, David},
journal={IEEE Transactions on Network and Service Management},
volume={19},
number={4},
pages={4408--4423},
year={2022},
publisher={IEEE}
}
Additional literature
The code, explanation, references, API, and a demo can be found on this web page. If you use this work, please cite any relevant papers below.
The main theoretical bases for the approaches in this work are:
-
Y. Minsky, A. Trachtenberg, and R. Zippel, "Set Reconciliation with Nearly Optimal Communication Complexity", IEEE Transactions on Information Theory, 49:9. http://ipsit.bu.edu/documents/ieee-it3-web.pdf
-
Y. Minsky and A. Trachtenberg, "Scalable set reconciliation" 40th Annual Allerton Conference on Communication, Control, and Computing, 2002. http://ipsit.bu.edu/documents/BUTR2002-01.pdf
Relevant applications and extensions can be found at:
-
D. Starobinski, A. Trachtenberg and S. Agarwal, "Efficient PDA synchronization" IEEE Transactions on Mobile Computing 2:1, pp. 40-51 (2003). http://ipsit.bu.edu/documents/efficient_pda_web.pdf
-
S. Agarwal, V. Chauhan and A. Trachtenberg, "Bandwidth efficient string reconciliation using puzzles" IEEE Transactions on Parallel and Distributed Systems 17:11,pp. 1217-1225 (2006). http://ipsit.bu.edu/documents/puzzles_journal.pdf
-
M.G. Karpovsky, L.B. Levitin. and A. Trachtenberg, "Data verification and reconciliation with generalized error-control codes" IEEE Transactions on Information Theory 49:7, pp. 1788-1793 (2003).
-
More at http://people.bu.edu/trachten.
Additional algorithms:
-
Eppstein, David, et al. "What's the difference?: efficient set reconciliation without prior context." ACM SIGCOMM Computer Communication Review 41.4 (2011): 218-229.
-
Goodrich, Michael T., and Michael Mitzenmacher. "Invertible bloom lookup tables." 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2011.
-
Mitzenmacher, Michael, and Tom Morgan. "Reconciling graphs and sets of sets." Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM, 2018.
<a name="Contributors"></a>
Contributors:
Elements of the GenSync project code have been worked on, at various points, by:
- Ari Trachtenberg
- Sachin Agarwal
- Paul Varghese
- Jiaxi Jin
- Jie Meng
- Alexander Smirnov
- Eliezer Pearl
- Sean Brandenburg
- Zifan Wang
- Novak Boškov
- Xingyu Chen
- Nathan Strahs
<a name="Installation/Compilation"></a>
Installation/Compilation:
- Macports installs the Gensync library in
[MACPORTS dir]/lib
, and the header files in[MACPORTS dir]/include
. - Troubleshooting
- For issues with macports installation, refer to the default README
- Dependencies:
- Source-based Compilation:
$ git clone --recurse-submodules git@github.com:nislab/gensync-lib.git
$ cd gensync-lib
$ cmake -B build
$ cmake --build build
Acknowledgments:
- NSF
- Professors:
- Ari Trachtenberg, trachten@bu.edu, Boston University
- David Starobinski, staro@bu.edu, Boston University