blob: 4e9e69b9063debee8c0d6c44408a4e9dff7f7446 [file] [log] [blame]
Zhenkai Zhu8d935c82012-03-06 10:44:12 -08001/* -*- Mode: C++; c-file-style: "gnu"; indent-tabs-mode:nil -*- */
2/*
3 * Copyright (c) 2012 University of California, Los Angeles
4 *
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License version 2 as
7 * published by the Free Software Foundation;
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
17 *
18 * Author: Zhenkai Zhu <zhenkai@cs.ucla.edu>
Chaoyi Bian3e1eb162012-04-03 16:59:32 -070019 * Chaoyi Bian <bcy@pku.edu.cn>
Alexander Afanasyevc1030192012-03-08 22:21:28 -080020 * Alexander Afanasyev <alexander.afanasyev@ucla.edu>
Yingdi Yu6d638f02014-01-24 11:01:21 -080021 * Yingdi Yu <yingdi@cs.ucla.edu>
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080022 */
23
Chaoyi Bian11f294f2012-03-08 14:28:06 -080024#ifndef SYNC_LOGIC_H
25#define SYNC_LOGIC_H
Alexander Afanasyev45fba082012-03-12 18:05:24 -070026
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080027#include <boost/shared_ptr.hpp>
Alexander Afanasyev750d1872012-03-12 15:33:56 -070028#include <boost/thread/recursive_mutex.hpp>
Alexander Afanasyev45fba082012-03-12 18:05:24 -070029#include <boost/random.hpp>
Zhenkai Zhuce66e212012-03-12 22:27:19 -070030#include <memory>
Zhenkai Zhud5aec4b2012-10-09 12:01:19 -070031#include <map>
Alexander Afanasyev387ac952012-03-11 23:49:27 -070032
Yingdi Yue8154712014-01-21 10:20:14 -080033#include <ndn-cpp-dev/face.hpp>
Yingdi Yu280bb962014-01-30 09:52:43 -080034#include <ndn-cpp-dev/security/validator.hpp>
Yingdi Yue8154712014-01-21 10:20:14 -080035#include <ndn-cpp-dev/security/key-chain.hpp>
Yingdi Yu280bb962014-01-30 09:52:43 -080036#include <ndn-cpp-dev/util/scheduler.hpp>
Yingdi Yu46c9f1a2013-12-18 15:15:46 +080037
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080038#include "sync-interest-table.h"
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080039#include "sync-diff-state.h"
40#include "sync-full-state.h"
Chaoyi Bian4194b742012-03-08 17:21:35 -080041#include "sync-std-name-info.h"
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080042
Alexander Afanasyevc1030192012-03-08 22:21:28 -080043#include "sync-diff-state-container.h"
44
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -070045#ifdef _DEBUG
46#ifdef HAVE_LOG4CXX
47#include <log4cxx/logger.h>
48#endif
49#endif
50
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080051namespace Sync {
52
Zhenkai Zhu1cb29292012-05-31 22:54:34 -070053struct MissingDataInfo {
54 std::string prefix;
55 SeqNo low;
56 SeqNo high;
57};
58
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080059/**
60 * \ingroup sync
Zhenkai Zhuaae81522012-03-06 11:05:44 -080061 * @brief A wrapper for SyncApp, which handles ccnx related things (process
62 * interests and data)
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080063 */
Zhenkai Zhub9f19592012-10-16 14:27:38 -070064
Chaoyi Bian11f294f2012-03-08 14:28:06 -080065class SyncLogic
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080066{
67public:
Zhenkai Zhu1cb29292012-05-31 22:54:34 -070068 //typedef boost::function< void ( const std::string &/*prefix*/, const SeqNo &/*newSeq*/, const SeqNo &/*oldSeq*/ ) > LogicUpdateCallback;
69 typedef boost::function< void (const std::vector<MissingDataInfo> & ) > LogicUpdateCallback;
Alexander Afanasyevd95c2312013-11-07 13:45:34 -080070 typedef boost::function< void (const std::string &/*prefix*/ ) > LogicRemoveCallback;
Zhenkai Zhub9f19592012-10-16 14:27:38 -070071 typedef boost::function< void (const std::string &)> LogicPerBranchCallback;
Chaoyi Bian89ee2dc2012-03-09 14:06:01 -080072
Alexander Afanasyevc1030192012-03-08 22:21:28 -080073 /**
Alexander Afanasyev172d2b72012-03-08 23:43:39 -080074 * @brief Constructor
Alexander Afanasyevc1030192012-03-08 22:21:28 -080075 * @param syncPrefix the name prefix to use for the Sync Interest
Alexander Afanasyev03a58b72012-03-12 18:11:56 -070076 * @param onUpdate function that will be called when new state is detected
77 * @param onRemove function that will be called when state is removed
Alexander Afanasyev172d2b72012-03-08 23:43:39 -080078 * @param ccnxHandle ccnx handle
Alexander Afanasyevc1030192012-03-08 22:21:28 -080079 * the app data when new remote names are learned
80 */
Yingdi Yu43e71612013-10-30 22:19:31 -070081 SyncLogic (const ndn::Name& syncPrefix,
Yingdi Yu280bb962014-01-30 09:52:43 -080082 ndn::shared_ptr<ndn::Validator> validator,
83 ndn::shared_ptr<ndn::Face> face,
Alexander Afanasyev750d1872012-03-12 15:33:56 -070084 LogicUpdateCallback onUpdate,
Zhenkai Zhuce66e212012-03-12 22:27:19 -070085 LogicRemoveCallback onRemove);
Zhenkai Zhu46b26a12012-03-06 13:51:16 -080086
Yingdi Yu43e71612013-10-30 22:19:31 -070087 SyncLogic (const ndn::Name& syncPrefix,
Yingdi Yu280bb962014-01-30 09:52:43 -080088 ndn::shared_ptr<ndn::Validator> validator,
89 ndn::shared_ptr<ndn::Face> face,
Zhenkai Zhub9f19592012-10-16 14:27:38 -070090 LogicPerBranchCallback onUpdateBranch);
91
Alexander Afanasyevc1030192012-03-08 22:21:28 -080092 ~SyncLogic ();
Chaoyi Bian89ee2dc2012-03-09 14:06:01 -080093
Alexander Afanasyevc1030192012-03-08 22:21:28 -080094 /**
95 * a wrapper for the same func in SyncApp
96 */
Yingdi Yu280bb962014-01-30 09:52:43 -080097 void addLocalNames (const ndn::Name &prefix, uint64_t session, uint64_t seq);
Zhenkai Zhu46b26a12012-03-06 13:51:16 -080098
Alexander Afanasyevc1030192012-03-08 22:21:28 -080099 /**
100 * @brief respond to the Sync Interest; a lot of logic needs to go in here
101 * @param interest the Sync Interest in string format
102 */
Yingdi Yu280bb962014-01-30 09:52:43 -0800103 void respondSyncInterest (ndn::shared_ptr<ndn::Interest> interest);
Zhenkai Zhu46b26a12012-03-06 13:51:16 -0800104
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800105 /**
106 * @brief process the fetched sync data
Chaoyi Bian633255f2012-03-09 21:25:38 -0800107 * @param name the data name
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800108 * @param dataBuffer the sync data
109 */
Yingdi Yu280bb962014-01-30 09:52:43 -0800110 void respondSyncData (ndn::shared_ptr<ndn::Data> data);
Zhenkai Zhu8d935c82012-03-06 10:44:12 -0800111
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700112 /**
113 * @brief remove a participant's subtree from the sync tree
Alexander Afanasyev03a58b72012-03-12 18:11:56 -0700114 * @param prefix the name prefix for the participant
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700115 */
Yingdi Yu6d638f02014-01-24 11:01:21 -0800116 void remove (const ndn::Name &prefix);
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700117
Zhenkai Zhue5660932012-06-04 15:25:20 -0700118 std::string
119 getRootDigest();
120
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700121#ifdef _DEBUG
Yingdi Yu280bb962014-01-30 09:52:43 -0800122 ndn::Scheduler &
Alexander Afanasyevbf2b4362012-03-12 23:55:09 -0700123 getScheduler () { return m_scheduler; }
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700124#endif
125
Zhenkai Zhueb1d8652012-12-23 15:25:39 -0800126 void stop();
127
Alexander Afanasyev5548c042012-10-04 19:10:09 -0700128 void
129 printState () const;
130
Zhenkai Zhud5aec4b2012-10-09 12:01:19 -0700131 std::map<std::string, bool>
132 getBranchPrefixes() const;
133
Yingdi Yu280bb962014-01-30 09:52:43 -0800134private:
Yingdi Yu46c9f1a2013-12-18 15:15:46 +0800135 void
Alexander Afanasyev45fba082012-03-12 18:05:24 -0700136 delayedChecksLoop ();
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700137
138 void
Yingdi Yu280bb962014-01-30 09:52:43 -0800139 onSyncInterest (const ndn::shared_ptr<const ndn::Name>& prefix,
140 const ndn::shared_ptr<const ndn::Interest>& interest);
Yingdi Yu43e71612013-10-30 22:19:31 -0700141
142 void
Yingdi Yu280bb962014-01-30 09:52:43 -0800143 onSyncRegisterFailed(const ndn::shared_ptr<const ndn::Name>& prefix);
Yingdi Yu46c9f1a2013-12-18 15:15:46 +0800144
145 void
Yingdi Yu280bb962014-01-30 09:52:43 -0800146 onSyncData(const ndn::shared_ptr<const ndn::Interest>& interest,
147 const ndn::shared_ptr<ndn::Data>& data,
148 const ndn::OnDataValidated& onValidated,
149 const ndn::OnDataValidationFailed& onValidationFailed);
Yingdi Yu46c9f1a2013-12-18 15:15:46 +0800150
151 void
Yingdi Yu280bb962014-01-30 09:52:43 -0800152 onSyncTimeout(const ndn::shared_ptr<const ndn::Interest>& interest);
Yingdi Yu46c9f1a2013-12-18 15:15:46 +0800153
154 void
Yingdi Yu280bb962014-01-30 09:52:43 -0800155 onSyncDataValidationFailed(const ndn::shared_ptr<const ndn::Data>& data);
Yingdi Yu46c9f1a2013-12-18 15:15:46 +0800156
157 void
Yingdi Yu280bb962014-01-30 09:52:43 -0800158 onSyncDataValidated(const ndn::shared_ptr<const ndn::Data>& data);
Yingdi Yu46c9f1a2013-12-18 15:15:46 +0800159
160 void
Yingdi Yu6d638f02014-01-24 11:01:21 -0800161 processSyncInterest (const ndn::Name &name,
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700162 DigestConstPtr digest, bool timedProcessing=false);
163
164 void
Yingdi Yu6d638f02014-01-24 11:01:21 -0800165 processSyncData (const ndn::Name &name,
Zhenkai Zhu3cfdcb92012-06-06 15:20:10 -0700166 DigestConstPtr digest, const char *wireData, size_t len);
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700167
Alexander Afanasyev45fba082012-03-12 18:05:24 -0700168 void
Yingdi Yu6d638f02014-01-24 11:01:21 -0800169 processSyncRecoveryInterest (const ndn::Name &name,
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700170 DigestConstPtr digest);
171
Alexander Afanasyev45fba082012-03-12 18:05:24 -0700172 void
Alexander Afanasyev235c6d72012-03-15 22:28:43 -0700173 insertToDiffLog (DiffStatePtr diff);
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700174
175 void
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700176 satisfyPendingSyncInterests (DiffStateConstPtr diff);
Zhenkai Zhu8d935c82012-03-06 10:44:12 -0800177
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700178 boost::tuple<DigestConstPtr, std::string>
Yingdi Yu6d638f02014-01-24 11:01:21 -0800179 convertNameToDigestAndType (const ndn::Name &name);
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700180
181 void
182 sendSyncInterest ();
183
184 void
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700185 sendSyncRecoveryInterests (DigestConstPtr digest);
186
187 void
Yingdi Yu6d638f02014-01-24 11:01:21 -0800188 sendSyncData (const ndn::Name &name,
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700189 DigestConstPtr digest, StateConstPtr state);
Alexander Afanasyev80237382012-10-04 10:20:47 -0700190
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700191 void
Yingdi Yu6d638f02014-01-24 11:01:21 -0800192 sendSyncData (const ndn::Name &name,
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700193 DigestConstPtr digest, SyncStateMsg &msg);
194
Alexander Afanasyev80237382012-10-04 10:20:47 -0700195 size_t
196 getNumberOfBranches () const;
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700197
Zhenkai Zhu8d935c82012-03-06 10:44:12 -0800198private:
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700199 FullStatePtr m_state;
Chaoyi Bian89ee2dc2012-03-09 14:06:01 -0800200 DiffStateContainer m_log;
Alexander Afanasyev80237382012-10-04 10:20:47 -0700201 mutable boost::recursive_mutex m_stateMutex;
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700202
Yingdi Yu6d638f02014-01-24 11:01:21 -0800203 ndn::Name m_outstandingInterestName;
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800204 SyncInterestTable m_syncInterestTable;
205
Yingdi Yu43e71612013-10-30 22:19:31 -0700206 ndn::Name m_syncPrefix;
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700207 LogicUpdateCallback m_onUpdate;
208 LogicRemoveCallback m_onRemove;
Zhenkai Zhub9f19592012-10-16 14:27:38 -0700209 LogicPerBranchCallback m_onUpdateBranch;
210 bool m_perBranch;
Yingdi Yu280bb962014-01-30 09:52:43 -0800211 ndn::ptr_lib::shared_ptr<ndn::Validator> m_validator;
Yingdi Yu0cb0f2b2014-01-09 13:51:16 -0800212 ndn::ptr_lib::shared_ptr<ndn::KeyChain> m_keyChain;
Yingdi Yu46c9f1a2013-12-18 15:15:46 +0800213 ndn::ptr_lib::shared_ptr<ndn::Face> m_face;
Yingdi Yu280bb962014-01-30 09:52:43 -0800214 const ndn::RegisteredPrefixId* m_syncRegisteredPrefixId;
Chaoyi Bian89ee2dc2012-03-09 14:06:01 -0800215
Yingdi Yu280bb962014-01-30 09:52:43 -0800216 ndn::Scheduler m_scheduler;
Chaoyi Bian633255f2012-03-09 21:25:38 -0800217
Alexander Afanasyev45fba082012-03-12 18:05:24 -0700218 boost::mt19937 m_randomGenerator;
219 boost::variate_generator<boost::mt19937&, boost::uniform_int<> > m_rangeUniformRandom;
Alexander Afanasyev085742a2012-04-26 12:24:57 -0700220 boost::variate_generator<boost::mt19937&, boost::uniform_int<> > m_reexpressionJitter;
Alexander Afanasyevbf2b4362012-03-12 23:55:09 -0700221
Alexander Afanasyev3a229132012-04-25 15:07:26 -0700222 static const int m_unknownDigestStoreTime = 10; // seconds
Yingdi Yu7ad4e4f2014-02-03 18:27:36 -0800223 static const int m_syncResponseFreshness = 100;
Alexander Afanasyev89571f12012-04-23 13:44:57 -0700224 static const int m_syncInterestReexpress = 4;
Alexander Afanasyevbf2b4362012-03-12 23:55:09 -0700225
Alexander Afanasyeva76010b2012-05-24 21:31:49 -0700226 static const int m_defaultRecoveryRetransmitInterval = 200; // milliseconds
227 uint32_t m_recoveryRetransmissionInterval; // milliseconds
228
Yingdi Yu280bb962014-01-30 09:52:43 -0800229 ndn::EventId m_delayedInterestProcessingId;
230 ndn::EventId m_reexpressingInterestId;
231 ndn::EventId m_reexpressingRecoveryInterestId;
Yingdi Yu7ad4e4f2014-02-03 18:27:36 -0800232
233 std::string m_instanceId;
234 static int m_instanceCounter;
Zhenkai Zhu8d935c82012-03-06 10:44:12 -0800235};
236
237
238} // Sync
239
Zhenkai Zhu1ac6f802012-03-06 17:40:27 -0800240#endif // SYNC_APP_WRAPPER_H