blob: f29876889005696452d58ed7df06e0d87b43cf3a [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>
Zhenkai Zhu8d935c82012-03-06 10:44:12 -080020 * Alexander Afanasyev <alexander.afanasyev@ucla.edu>
21 */
Chaoyi Bian44fff0c2012-03-07 21:07:22 -080022
Alexander Afanasyevb6cf56e2012-05-29 19:33:49 -070023#ifdef NS3_MODULE
Alexander Afanasyev0ac399e2012-04-27 13:28:28 -070024#include <ns3/ccnx-pit.h>
25#include <ns3/ccnx.h>
Alexander Afanasyevb6cf56e2012-05-29 19:33:49 -070026#endif
Alexander Afanasyev0ac399e2012-04-27 13:28:28 -070027
Chaoyi Bian11f294f2012-03-08 14:28:06 -080028#include "sync-logic.h"
Chaoyi Bian89ee2dc2012-03-09 14:06:01 -080029#include "sync-diff-leaf.h"
30#include "sync-full-leaf.h"
Alexander Afanasyev4f9ea482012-03-15 11:57:29 -070031#include "sync-log.h"
Zhenkai Zhu3cfdcb92012-06-06 15:20:10 -070032#include "sync-state.h"
Alexander Afanasyev4f9ea482012-03-15 11:57:29 -070033
Chaoyi Bian89ee2dc2012-03-09 14:06:01 -080034#include <boost/make_shared.hpp>
35#include <boost/foreach.hpp>
Alexander Afanasyev387ac952012-03-11 23:49:27 -070036#include <boost/lexical_cast.hpp>
Zhenkai Zhua5d06d72012-03-09 15:16:24 -080037#include <vector>
Chaoyi Bian44fff0c2012-03-07 21:07:22 -080038
39using namespace std;
40using namespace boost;
41
Chaoyi Bianf007f922012-04-09 20:05:37 -070042INIT_LOGGER ("SyncLogic");
Alexander Afanasyev4f9ea482012-03-15 11:57:29 -070043
Alexander Afanasyev983b0e92012-04-26 12:44:18 -070044#ifdef NS3_MODULE
45#define GET_RANDOM(var) var.GetValue ()
46#else
47#define GET_RANDOM(var) var ()
48#endif
49
50#define TIME_SECONDS_WITH_JITTER(sec) \
51 (TIME_SECONDS (sec) + TIME_MILLISECONDS (GET_RANDOM (m_reexpressionJitter)))
52
Alexander Afanasyev42612262012-05-05 10:58:37 -070053#define TIME_MILLISECONDS_WITH_JITTER(ms) \
54 (TIME_MILLISECONDS (ms) + TIME_MILLISECONDS (GET_RANDOM (m_reexpressionJitter)))
Alexander Afanasyev983b0e92012-04-26 12:44:18 -070055
56
Chaoyi Bian44fff0c2012-03-07 21:07:22 -080057namespace Sync
58{
59
Alexander Afanasyev750d1872012-03-12 15:33:56 -070060SyncLogic::SyncLogic (const std::string &syncPrefix,
61 LogicUpdateCallback onUpdate,
Zhenkai Zhuce66e212012-03-12 22:27:19 -070062 LogicRemoveCallback onRemove)
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -070063 : m_state (new FullState)
64 , m_syncInterestTable (TIME_SECONDS (m_syncInterestReexpress))
65 , m_syncPrefix (syncPrefix)
Alexander Afanasyev750d1872012-03-12 15:33:56 -070066 , m_onUpdate (onUpdate)
Zhenkai Zhub9f19592012-10-16 14:27:38 -070067 , m_perBranch (false)
Alexander Afanasyev750d1872012-03-12 15:33:56 -070068 , m_onRemove (onRemove)
Alexander Afanasyev3aaea672012-10-05 15:25:11 -070069 , m_ccnxHandle(CcnxWrapper::Create ())
Alexander Afanasyeva76010b2012-05-24 21:31:49 -070070 , m_recoveryRetransmissionInterval (m_defaultRecoveryRetransmitInterval)
Alexander Afanasyev73f7f9a2012-04-09 15:45:47 -070071#ifndef NS3_MODULE
Alexander Afanasyev45fba082012-03-12 18:05:24 -070072 , m_randomGenerator (static_cast<unsigned int> (std::time (0)))
Alexander Afanasyev2b6fbfb2012-05-24 10:57:14 -070073 , m_rangeUniformRandom (m_randomGenerator, uniform_int<> (200,1000))
74 , m_reexpressionJitter (m_randomGenerator, uniform_int<> (100,500))
Alexander Afanasyev73f7f9a2012-04-09 15:45:47 -070075#else
Alexander Afanasyev55608612012-04-30 13:24:50 -070076 , m_rangeUniformRandom (200,1000)
Alexander Afanasyeva76010b2012-05-24 21:31:49 -070077 , m_reexpressionJitter (10,500)
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -070078#endif
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -070079{
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -070080#ifndef NS3_MODULE
81 // In NS3 module these functions are moved to StartApplication method
Alexander Afanasyev4f9ea482012-03-15 11:57:29 -070082
Alexander Afanasyev1b449c42012-03-13 20:24:07 -070083 m_ccnxHandle->setInterestFilter (m_syncPrefix,
Alexander Afanasyev387ac952012-03-11 23:49:27 -070084 bind (&SyncLogic::respondSyncInterest, this, _1));
Alexander Afanasyevbf2b4362012-03-12 23:55:09 -070085
Alexander Afanasyev983b0e92012-04-26 12:44:18 -070086 m_scheduler.schedule (TIME_SECONDS (0), // no need to add jitter
Alexander Afanasyev4f9ea482012-03-15 11:57:29 -070087 bind (&SyncLogic::sendSyncInterest, this),
88 REEXPRESSING_INTEREST);
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -070089#endif
Chaoyi Bian44fff0c2012-03-07 21:07:22 -080090}
91
Zhenkai Zhub9f19592012-10-16 14:27:38 -070092SyncLogic::SyncLogic (const std::string &syncPrefix,
93 LogicPerBranchCallback onUpdateBranch)
94 : m_state (new FullState)
95 , m_syncInterestTable (TIME_SECONDS (m_syncInterestReexpress))
96 , m_syncPrefix (syncPrefix)
97 , m_onUpdateBranch (onUpdateBranch)
98 , m_perBranch(true)
99 , m_ccnxHandle(CcnxWrapper::Create ())
100 , m_recoveryRetransmissionInterval (m_defaultRecoveryRetransmitInterval)
101#ifndef NS3_MODULE
102 , m_randomGenerator (static_cast<unsigned int> (std::time (0)))
103 , m_rangeUniformRandom (m_randomGenerator, uniform_int<> (200,1000))
104 , m_reexpressionJitter (m_randomGenerator, uniform_int<> (100,500))
105#else
106 , m_rangeUniformRandom (200,1000)
107 , m_reexpressionJitter (10,500)
108#endif
109{
110#ifndef NS3_MODULE
111 // In NS3 module these functions are moved to StartApplication method
112
113 m_ccnxHandle->setInterestFilter (m_syncPrefix,
114 bind (&SyncLogic::respondSyncInterest, this, _1));
115
116 m_scheduler.schedule (TIME_SECONDS (0), // no need to add jitter
117 bind (&SyncLogic::sendSyncInterest, this),
118 REEXPRESSING_INTEREST);
119#endif
120}
121
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800122SyncLogic::~SyncLogic ()
Chaoyi Bian44fff0c2012-03-07 21:07:22 -0800123{
Alexander Afanasyev60126e02012-10-05 16:54:42 -0700124 m_ccnxHandle->clearInterestFilter (m_syncPrefix);
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700125 m_ccnxHandle.reset ();
Alexander Afanasyev60126e02012-10-05 16:54:42 -0700126 // m_scheduler.cancel (REEXPRESSING_INTEREST);
127 // m_scheduler.cancel (DELAYED_INTEREST_PROCESSING);
128 // sleep (m_syncInterestReexpress+1);
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700129}
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700130
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -0700131#ifdef NS3_MODULE
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700132void
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -0700133SyncLogic::StartApplication ()
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700134{
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -0700135 m_ccnxHandle->SetNode (GetNode ());
136 m_ccnxHandle->StartApplication ();
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700137
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -0700138 m_ccnxHandle->setInterestFilter (m_syncPrefix,
139 bind (&SyncLogic::respondSyncInterest, this, _1));
140
Alexander Afanasyev983b0e92012-04-26 12:44:18 -0700141 m_scheduler.schedule (TIME_SECONDS (0), // need to send first interests at exactly the same time
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -0700142 bind (&SyncLogic::sendSyncInterest, this),
143 REEXPRESSING_INTEREST);
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700144}
145
146void
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -0700147SyncLogic::StopApplication ()
148{
Alexander Afanasyev434f1612012-04-21 21:19:15 -0700149 m_ccnxHandle->clearInterestFilter (m_syncPrefix);
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -0700150 m_ccnxHandle->StopApplication ();
Alexander Afanasyev40942f42012-04-21 20:53:16 -0700151 m_scheduler.cancel (REEXPRESSING_INTEREST);
152 m_scheduler.cancel (DELAYED_INTEREST_PROCESSING);
Alexander Afanasyevb550d6a2012-04-09 15:03:16 -0700153}
154#endif
155
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700156/**
157 * Two types of intersts
158 *
159 * Normal name: .../<hash>
160 * Recovery name: .../recovery/<hash>
161 */
162boost::tuple<DigestConstPtr, std::string>
163SyncLogic::convertNameToDigestAndType (const std::string &name)
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700164{
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700165 BOOST_ASSERT (name.find (m_syncPrefix) == 0);
166
167 string hash = name.substr (m_syncPrefix.size (), name.size ()-m_syncPrefix.size ());
Alexander Afanasyev282a10b2012-05-09 12:56:38 -0700168 if (hash[0] == '/')
169 hash = hash.substr (1, hash.size ()-1);
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700170 string interestType = "normal";
Alexander Afanasyev282a10b2012-05-09 12:56:38 -0700171
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700172 size_t pos = hash.find ('/');
173 if (pos != string::npos)
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700174 {
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700175 interestType = hash.substr (0, pos);
176 hash = hash.substr (pos + 1);
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700177 }
178
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700179 _LOG_TRACE (hash << ", " << interestType);
180
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700181 DigestPtr digest = make_shared<Digest> ();
182 istringstream is (hash);
183 is >> *digest;
184
185 return make_tuple (digest, interestType);
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700186}
187
188void
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700189SyncLogic::respondSyncInterest (const string &name)
190{
191 try
192 {
193 _LOG_TRACE ("<< I " << name);
194
195 DigestConstPtr digest;
196 string type;
197 tie (digest, type) = convertNameToDigestAndType (name);
198
199 if (type == "normal") // kind of ineffective...
200 {
201 processSyncInterest (name, digest);
202 }
203 else if (type == "recovery")
204 {
205 processSyncRecoveryInterest (name, digest);
206 }
207 }
208 catch (Error::DigestCalculationError &e)
209 {
210 _LOG_TRACE ("Something fishy happened...");
211 // log error. ignoring it for now, later we should log it
212 return ;
213 }
214}
215
216void
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700217SyncLogic::respondSyncData (const std::string &name, const char *wireData, size_t len)
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700218{
219 try
220 {
221 _LOG_TRACE ("<< D " << name);
222
223 DigestConstPtr digest;
224 string type;
225 tie (digest, type) = convertNameToDigestAndType (name);
226
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700227 if (type == "normal")
228 {
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700229 processSyncData (name, digest, wireData, len);
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700230 }
231 else
232 {
Alexander Afanasyeva76010b2012-05-24 21:31:49 -0700233 // timer is always restarted when we schedule recovery
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700234 m_scheduler.cancel (REEXPRESSING_RECOVERY_INTEREST);
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700235 processSyncData (name, digest, wireData, len);
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700236 }
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700237 }
238 catch (Error::DigestCalculationError &e)
239 {
240 _LOG_TRACE ("Something fishy happened...");
241 // log error. ignoring it for now, later we should log it
242 return;
243 }
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700244}
245
246
247void
248SyncLogic::processSyncInterest (const std::string &name, DigestConstPtr digest, bool timedProcessing/*=false*/)
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700249{
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700250 DigestConstPtr rootDigest;
251 {
252 recursive_mutex::scoped_lock lock (m_stateMutex);
253 rootDigest = m_state->getDigest();
254 }
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700255
Alexander Afanasyevdd0eba72012-03-13 13:57:10 -0700256 // Special case when state is not empty and we have received request with zero-root digest
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700257 if (digest->isZero () && !rootDigest->isZero ())
Alexander Afanasyevdd0eba72012-03-13 13:57:10 -0700258 {
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700259
260 SyncStateMsg ssm;
261 {
262 recursive_mutex::scoped_lock lock (m_stateMutex);
263 ssm << (*m_state);
264 }
265 sendSyncData (name, digest, ssm);
Alexander Afanasyevdd0eba72012-03-13 13:57:10 -0700266 return;
267 }
Alexander Afanasyev763855a2012-03-13 14:17:37 -0700268
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700269 if (*rootDigest == *digest)
Alexander Afanasyev4f9ea482012-03-15 11:57:29 -0700270 {
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700271 _LOG_TRACE ("processSyncInterest (): Same state. Adding to PIT");
Alexander Afanasyev2b6fbfb2012-05-24 10:57:14 -0700272 m_syncInterestTable.insert (digest, name, false);
Alexander Afanasyev4f9ea482012-03-15 11:57:29 -0700273 return;
274 }
Alexander Afanasyevdd0eba72012-03-13 13:57:10 -0700275
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700276 DiffStateContainer::iterator stateInDiffLog = m_log.find (digest);
277
278 if (stateInDiffLog != m_log.end ())
279 {
Alexander Afanasyev235c6d72012-03-15 22:28:43 -0700280 DiffStateConstPtr stateDiff = (*stateInDiffLog)->diff ();
Alexander Afanasyev235c6d72012-03-15 22:28:43 -0700281
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700282 sendSyncData (name, digest, stateDiff);
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700283 return;
284 }
285
286 if (!timedProcessing)
287 {
Alexander Afanasyev2b6fbfb2012-05-24 10:57:14 -0700288 bool exists = m_syncInterestTable.insert (digest, name, true);
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700289 if (exists) // somebody else replied, so restart random-game timer
Alexander Afanasyev3a229132012-04-25 15:07:26 -0700290 {
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700291 _LOG_DEBUG ("Unknown digest, but somebody may have already replied, so restart our timer");
292 m_scheduler.cancel (DELAYED_INTEREST_PROCESSING);
Alexander Afanasyev3a229132012-04-25 15:07:26 -0700293 }
Alexander Afanasyev03793b42012-05-01 13:03:07 -0700294
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700295 uint32_t waitDelay = GET_RANDOM (m_rangeUniformRandom);
296 _LOG_DEBUG ("Digest is not in the log. Schedule processing after small delay: " << waitDelay << "ms");
Alexander Afanasyev983b0e92012-04-26 12:44:18 -0700297
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700298 m_scheduler.schedule (TIME_MILLISECONDS (waitDelay),
299 bind (&SyncLogic::processSyncInterest, this, name, digest, true),
Alexander Afanasyevbf2b4362012-03-12 23:55:09 -0700300 DELAYED_INTEREST_PROCESSING);
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700301 }
302 else
303 {
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700304 _LOG_TRACE (" (timed processing)");
Alexander Afanasyeva76010b2012-05-24 21:31:49 -0700305
306 m_recoveryRetransmissionInterval = m_defaultRecoveryRetransmitInterval;
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700307 sendSyncRecoveryInterests (digest);
Alexander Afanasyev387ac952012-03-11 23:49:27 -0700308 }
Chaoyi Bian44fff0c2012-03-07 21:07:22 -0800309}
310
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800311void
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700312SyncLogic::processSyncData (const std::string &name, DigestConstPtr digest, const char *wireData, size_t len)
Chaoyi Bian44fff0c2012-03-07 21:07:22 -0800313{
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700314 DiffStatePtr diffLog = make_shared<DiffState> ();
Alexander Afanasyev2b6fbfb2012-05-24 10:57:14 -0700315 bool ownInterestSatisfied = false;
Alexander Afanasyeve4e2bf72012-03-12 12:44:54 -0700316
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700317 try
318 {
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700319
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700320 m_syncInterestTable.remove (name); // Remove satisfied interest from PIT
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700321
Alexander Afanasyev2b6fbfb2012-05-24 10:57:14 -0700322 ownInterestSatisfied = (name == m_outstandingInterestName);
323
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700324 DiffState diff;
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700325 SyncStateMsg msg;
Zhenkai Zhu3cfdcb92012-06-06 15:20:10 -0700326 if (!msg.ParseFromArray(wireData, len) || !msg.IsInitialized())
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700327 {
328 //Throw
Zhenkai Zhu3cfdcb92012-06-06 15:20:10 -0700329 BOOST_THROW_EXCEPTION (Error::SyncStateMsgDecodingFailure () );
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700330 }
331 msg >> diff;
332
Zhenkai Zhu1cb29292012-05-31 22:54:34 -0700333 vector<MissingDataInfo> v;
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700334 BOOST_FOREACH (LeafConstPtr leaf, diff.getLeaves().get<ordered>())
Alexander Afanasyev04fd8a82012-03-12 15:40:48 -0700335 {
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700336 DiffLeafConstPtr diffLeaf = dynamic_pointer_cast<const DiffLeaf> (leaf);
337 BOOST_ASSERT (diffLeaf != 0);
338
339 NameInfoConstPtr info = diffLeaf->getInfo();
Zhenkai Zhuba3c1d12012-10-03 23:26:35 -0700340 if (diffLeaf->getOperation() == UPDATE)
Alexander Afanasyev04fd8a82012-03-12 15:40:48 -0700341 {
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700342 SeqNo seq = diffLeaf->getSeq();
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700343
344 bool inserted = false;
345 bool updated = false;
346 SeqNo oldSeq;
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700347 {
348 recursive_mutex::scoped_lock lock (m_stateMutex);
349 tie (inserted, updated, oldSeq) = m_state->update (info, seq);
350 }
Chaoyi Bian89ee2dc2012-03-09 14:06:01 -0800351
Alexander Afanasyevd4adce52012-03-13 13:59:39 -0700352 if (inserted || updated)
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700353 {
354 diffLog->update (info, seq);
Zhenkai Zhu68f04d52012-06-05 14:07:41 -0700355 if (!oldSeq.isValid())
356 {
357 oldSeq = SeqNo(seq.getSession(), 0);
358 }
359 else
360 {
361 ++oldSeq;
362 }
Zhenkai Zhuba3c1d12012-10-03 23:26:35 -0700363 // there is no need for application to process update on forwarder node
364 if (info->toString() != forwarderPrefix)
365 {
366 MissingDataInfo mdi = {info->toString(), oldSeq, seq};
Zhenkai Zhub9f19592012-10-16 14:27:38 -0700367 if (m_perBranch)
368 {
369 ostringstream interestName;
370 interestName << mdi.prefix << "/" << mdi.high.getSession() << "/" << mdi.high.getSeq();
371 m_onUpdateBranch(interestName.str());
372 }
373 else
374 {
375 v.push_back(mdi);
376 }
Zhenkai Zhuba3c1d12012-10-03 23:26:35 -0700377 }
Alexander Afanasyev04fd8a82012-03-12 15:40:48 -0700378 }
379 }
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700380 else if (diffLeaf->getOperation() == REMOVE)
Alexander Afanasyev04fd8a82012-03-12 15:40:48 -0700381 {
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700382 recursive_mutex::scoped_lock lock (m_stateMutex);
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700383 if (m_state->remove (info))
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700384 {
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700385 diffLog->remove (info);
Zhenkai Zhub9f19592012-10-16 14:27:38 -0700386 if (!m_perBranch)
387 {
388 m_onRemove (info->toString ());
389 }
Alexander Afanasyev04fd8a82012-03-12 15:40:48 -0700390 }
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700391 }
392 else
393 {
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700394 }
395 }
396
Zhenkai Zhu1cb29292012-05-31 22:54:34 -0700397 if (!v.empty())
398 {
Zhenkai Zhub9f19592012-10-16 14:27:38 -0700399 if (!m_perBranch)
400 {
401 m_onUpdate(v);
402 }
Zhenkai Zhu1cb29292012-05-31 22:54:34 -0700403 }
404
Alexander Afanasyev235c6d72012-03-15 22:28:43 -0700405 insertToDiffLog (diffLog);
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700406 }
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700407 catch (Error::SyncStateMsgDecodingFailure &e)
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700408 {
Alexander Afanasyev282a10b2012-05-09 12:56:38 -0700409 _LOG_TRACE ("Something really fishy happened during state decoding " <<
410 diagnostic_information (e));
Alexander Afanasyevd4cca472012-03-13 14:25:46 -0700411 diffLog.reset ();
412 // don't do anything
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700413 }
414
Alexander Afanasyev2b6fbfb2012-05-24 10:57:14 -0700415 if ((diffLog != 0 && diffLog->getLeaves ().size () > 0) ||
416 ownInterestSatisfied)
Alexander Afanasyev750d1872012-03-12 15:33:56 -0700417 {
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700418 // Do it only if everything went fine and state changed
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700419
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700420 // this is kind of wrong
421 // satisfyPendingSyncInterests (diffLog); // if there are interests in PIT, there is a point to satisfy them using new state
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700422
Alexander Afanasyev282a10b2012-05-09 12:56:38 -0700423 // if state has changed, then it is safe to express a new interest
Alexander Afanasyevd4cca472012-03-13 14:25:46 -0700424 m_scheduler.cancel (REEXPRESSING_INTEREST);
Alexander Afanasyev282a10b2012-05-09 12:56:38 -0700425 m_scheduler.schedule (TIME_SECONDS_WITH_JITTER (0),
Alexander Afanasyevd4cca472012-03-13 14:25:46 -0700426 bind (&SyncLogic::sendSyncInterest, this),
427 REEXPRESSING_INTEREST);
Alexander Afanasyev04fd8a82012-03-12 15:40:48 -0700428 }
Chaoyi Bian44fff0c2012-03-07 21:07:22 -0800429}
430
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800431void
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700432SyncLogic::processSyncRecoveryInterest (const std::string &name, DigestConstPtr digest)
Chaoyi Bian44fff0c2012-03-07 21:07:22 -0800433{
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700434
435 DiffStateContainer::iterator stateInDiffLog = m_log.find (digest);
436
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700437 if (stateInDiffLog == m_log.end ())
Alexander Afanasyevbf2b4362012-03-12 23:55:09 -0700438 {
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700439 _LOG_TRACE ("Could not find " << *digest << " in digest log");
440 return;
441 }
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700442
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700443 SyncStateMsg ssm;
444 {
445 recursive_mutex::scoped_lock lock (m_stateMutex);
446 ssm << (*m_state);
447 }
448 sendSyncData (name, digest, ssm);
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700449}
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700450
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700451void
452SyncLogic::satisfyPendingSyncInterests (DiffStateConstPtr diffLog)
453{
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700454 DiffStatePtr fullStateLog = make_shared<DiffState> ();
455 {
456 recursive_mutex::scoped_lock lock (m_stateMutex);
457 BOOST_FOREACH (LeafConstPtr leaf, m_state->getLeaves ()/*.get<timed> ()*/)
458 {
459 fullStateLog->update (leaf->getInfo (), leaf->getSeq ());
460 /// @todo Impose limit on how many state info should be send out
461 }
462 }
463
464 try
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800465 {
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700466 uint32_t counter = 0;
467 while (m_syncInterestTable.size () > 0)
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700468 {
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700469 Interest interest = m_syncInterestTable.pop ();
470
471 if (!interest.m_unknown)
472 {
473 _LOG_TRACE (">> D " << interest.m_name);
474 sendSyncData (interest.m_name, interest.m_digest, diffLog);
475 }
476 else
477 {
478 _LOG_TRACE (">> D (unknown)" << interest.m_name);
479 sendSyncData (interest.m_name, interest.m_digest, fullStateLog);
480 }
481 counter ++;
Alexander Afanasyevf07ab352012-03-13 12:57:46 -0700482 }
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700483 _LOG_DEBUG ("Satisfied " << counter << " pending interests");
Alexander Afanasyevf07ab352012-03-13 12:57:46 -0700484 }
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700485 catch (Error::InterestTableIsEmpty &e)
486 {
487 // ok. not really an error
Chaoyi Bian44fff0c2012-03-07 21:07:22 -0800488 }
Chaoyi Bian44fff0c2012-03-07 21:07:22 -0800489}
490
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800491void
Alexander Afanasyev235c6d72012-03-15 22:28:43 -0700492SyncLogic::insertToDiffLog (DiffStatePtr diffLog)
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700493{
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700494 diffLog->setDigest (m_state->getDigest());
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700495 if (m_log.size () > 0)
496 {
497 m_log.get<sequenced> ().front ()->setNext (diffLog);
498 }
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700499 m_log.erase (m_state->getDigest()); // remove diff state with the same digest. next pointers are still valid
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700500 /// @todo Optimization
Alexander Afanasyev7df73332012-03-15 12:31:49 -0700501 m_log.get<sequenced> ().push_front (diffLog);
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700502}
503
504void
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700505SyncLogic::addLocalNames (const string &prefix, uint32_t session, uint32_t seq)
506{
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700507 DiffStatePtr diff;
508 {
509 //cout << "Add local names" <<endl;
510 recursive_mutex::scoped_lock lock (m_stateMutex);
511 NameInfoConstPtr info = StdNameInfo::FindOrCreate(prefix);
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700512
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700513 _LOG_DEBUG ("addLocalNames (): old state " << *m_state->getDigest ());
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700514
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700515 SeqNo seqN (session, seq);
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700516 m_state->update(info, seqN);
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700517
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700518 _LOG_DEBUG ("addLocalNames (): new state " << *m_state->getDigest ());
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700519
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700520 diff = make_shared<DiffState>();
521 diff->update(info, seqN);
Alexander Afanasyev235c6d72012-03-15 22:28:43 -0700522 insertToDiffLog (diff);
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700523 }
524
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700525 // _LOG_DEBUG ("PIT size: " << m_syncInterestTable.size ());
526 satisfyPendingSyncInterests (diff);
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700527}
528
529void
Alexander Afanasyevd91497c2012-03-12 15:39:30 -0700530SyncLogic::remove(const string &prefix)
531{
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700532 DiffStatePtr diff;
533 {
534 recursive_mutex::scoped_lock lock (m_stateMutex);
535 NameInfoConstPtr info = StdNameInfo::FindOrCreate(prefix);
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700536 m_state->remove(info);
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700537
Zhenkai Zhua2e0b082012-09-26 10:34:15 -0700538 // increment the sequence number for the forwarder node
539 NameInfoConstPtr forwarderInfo = StdNameInfo::FindOrCreate(forwarderPrefix);
Zhenkai Zhua2e0b082012-09-26 10:34:15 -0700540
Alexander Afanasyev7e1986f2012-10-04 10:21:10 -0700541 LeafContainer::iterator item = m_state->getLeaves ().find (forwarderInfo);
542 SeqNo seqNo (0);
543 if (item != m_state->getLeaves ().end ())
544 {
545 seqNo = (*item)->getSeq ();
546 ++seqNo;
547 }
548 m_state->update (forwarderInfo, seqNo);
Zhenkai Zhua2e0b082012-09-26 10:34:15 -0700549
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700550 diff = make_shared<DiffState>();
551 diff->remove(info);
Alexander Afanasyev7e1986f2012-10-04 10:21:10 -0700552 diff->update(forwarderInfo, seqNo);
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700553
Alexander Afanasyev235c6d72012-03-15 22:28:43 -0700554 insertToDiffLog (diff);
Alexander Afanasyev1b449c42012-03-13 20:24:07 -0700555 }
556
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700557 satisfyPendingSyncInterests (diff);
Zhenkai Zhu0efa37b2012-03-12 13:54:12 -0700558}
559
560void
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800561SyncLogic::sendSyncInterest ()
Chaoyi Bian44fff0c2012-03-07 21:07:22 -0800562{
Alexander Afanasyev172d2b72012-03-08 23:43:39 -0800563 ostringstream os;
Chaoyi Bian89ee2dc2012-03-09 14:06:01 -0800564
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700565 {
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700566 recursive_mutex::scoped_lock lock (m_stateMutex);
Alexander Afanasyev4f9ea482012-03-15 11:57:29 -0700567
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700568 os << m_syncPrefix << "/" << *m_state->getDigest();
569 m_outstandingInterestName = os.str ();
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700570 _LOG_TRACE (">> I " << os.str ());
Alexander Afanasyev860e6fe2012-03-15 17:30:31 -0700571 }
Alexander Afanasyevbf2b4362012-03-12 23:55:09 -0700572
573 m_scheduler.cancel (REEXPRESSING_INTEREST);
Alexander Afanasyev983b0e92012-04-26 12:44:18 -0700574 m_scheduler.schedule (TIME_SECONDS_WITH_JITTER (m_syncInterestReexpress),
Alexander Afanasyevbf2b4362012-03-12 23:55:09 -0700575 bind (&SyncLogic::sendSyncInterest, this),
576 REEXPRESSING_INTEREST);
Alexander Afanasyev42612262012-05-05 10:58:37 -0700577
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700578 m_ccnxHandle->sendInterest (os.str (),
579 bind (&SyncLogic::respondSyncData, this, _1, _2, _3));
Chaoyi Bian44fff0c2012-03-07 21:07:22 -0800580}
581
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700582void
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700583SyncLogic::sendSyncRecoveryInterests (DigestConstPtr digest)
584{
585 ostringstream os;
586 os << m_syncPrefix << "/recovery/" << *digest;
587 _LOG_TRACE (">> I " << os.str ());
588
Alexander Afanasyeva76010b2012-05-24 21:31:49 -0700589 TimeDuration nextRetransmission = TIME_MILLISECONDS_WITH_JITTER (m_recoveryRetransmissionInterval);
590 m_recoveryRetransmissionInterval <<= 1;
591
592 m_scheduler.cancel (REEXPRESSING_RECOVERY_INTEREST);
593 if (m_recoveryRetransmissionInterval < 100*1000) // <100 seconds
594 {
595 m_scheduler.schedule (nextRetransmission,
596 bind (&SyncLogic::sendSyncRecoveryInterests, this, digest),
597 REEXPRESSING_RECOVERY_INTEREST);
598 }
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700599
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700600 m_ccnxHandle->sendInterest (os.str (),
601 bind (&SyncLogic::respondSyncData, this, _1, _2, _3));
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700602}
603
604
605void
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700606SyncLogic::sendSyncData (const std::string &name, DigestConstPtr digest, StateConstPtr state)
607{
Zhenkai Zhu2d3e2702012-10-15 14:18:05 -0700608 SyncStateMsg msg;
609 msg << (*state);
610 sendSyncData(name, digest, msg);
611}
612
613// pass in state msg instead of state, so that there is no need to lock the state until
614// this function returns
615void
616SyncLogic::sendSyncData (const std::string &name, DigestConstPtr digest, SyncStateMsg &ssm)
617{
Alexander Afanasyev46eb5262012-05-10 16:30:35 -0700618 _LOG_TRACE (">> D " << name);
Zhenkai Zhu3cfdcb92012-06-06 15:20:10 -0700619 int size = ssm.ByteSize();
620 char *wireData = new char[size];
621 ssm.SerializeToArray(wireData, size);
Zhenkai Zhu97e36bd2012-06-06 13:55:03 -0700622 m_ccnxHandle->publishRawData (name,
623 wireData,
Zhenkai Zhu3cfdcb92012-06-06 15:20:10 -0700624 size,
Alexander Afanasyev282a10b2012-05-09 12:56:38 -0700625 m_syncResponseFreshness); // in NS-3 it doesn't have any effect... yet
Chaoyi Bian6665d5a2012-06-07 14:16:44 -0700626 delete []wireData;
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700627
Alexander Afanasyev282a10b2012-05-09 12:56:38 -0700628 // checking if our own interest got satisfied
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700629 bool satisfiedOwnInterest = false;
630 {
631 recursive_mutex::scoped_lock lock (m_stateMutex);
632 satisfiedOwnInterest = (m_outstandingInterestName == name);
633 }
634
635 if (satisfiedOwnInterest)
636 {
637 _LOG_TRACE ("Satisfied our own Interest. Re-expressing (hopefully with a new digest)");
638
639 m_scheduler.cancel (REEXPRESSING_INTEREST);
640 m_scheduler.schedule (TIME_SECONDS_WITH_JITTER (0),
641 bind (&SyncLogic::sendSyncInterest, this),
642 REEXPRESSING_INTEREST);
643 }
644}
645
Zhenkai Zhue5660932012-06-04 15:25:20 -0700646string
647SyncLogic::getRootDigest()
648{
649 ostringstream os;
650 recursive_mutex::scoped_lock lock (m_stateMutex);
651 os << *m_state->getDigest();
652 return os.str();
653}
654
Alexander Afanasyev80237382012-10-04 10:20:47 -0700655size_t
656SyncLogic::getNumberOfBranches () const
657{
658 recursive_mutex::scoped_lock lock (m_stateMutex);
659 return m_state->getLeaves ().size ();
660}
661
Alexander Afanasyev5548c042012-10-04 19:10:09 -0700662void
663SyncLogic::printState () const
664{
665 recursive_mutex::scoped_lock lock (m_stateMutex);
666
667 BOOST_FOREACH (const boost::shared_ptr<Sync::Leaf> leaf, m_state->getLeaves ())
668 {
669 std::cout << *leaf << std::endl;
670 }
671}
672
Zhenkai Zhud5aec4b2012-10-09 12:01:19 -0700673std::map<std::string, bool>
674SyncLogic::getBranchPrefixes() const
675{
676 recursive_mutex::scoped_lock lock (m_stateMutex);
677
678 std::map<std::string, bool> m;
679
680 BOOST_FOREACH (const boost::shared_ptr<Sync::Leaf> leaf, m_state->getLeaves ())
681 {
682 std::string prefix = leaf->getInfo()->toString();
683 // do not return forwarder prefix
684 if (prefix != forwarderPrefix)
685 {
686 m.insert(pair<std::string, bool>(prefix, false));
687 }
688 }
689
690 return m;
691}
Alexander Afanasyevf3c03a92012-05-09 12:00:37 -0700692
Alexander Afanasyevc1030192012-03-08 22:21:28 -0800693}