Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 1 | /* -*- Mode: C++; c-file-style: "gnu"; indent-tabs-mode:nil -*- */ |
| 2 | /* |
Davide Pesavento | 5f5101a | 2022-03-11 20:05:03 -0500 | [diff] [blame] | 3 | * Copyright (c) 2012-2022 University of California, Los Angeles |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 4 | * |
| 5 | * This file is part of ChronoSync, synchronization library for distributed realtime |
| 6 | * applications for NDN. |
| 7 | * |
| 8 | * ChronoSync is free software: you can redistribute it and/or modify it under the terms |
| 9 | * of the GNU General Public License as published by the Free Software Foundation, either |
| 10 | * version 3 of the License, or (at your option) any later version. |
| 11 | * |
| 12 | * ChronoSync is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; |
| 13 | * without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR |
| 14 | * PURPOSE. See the GNU General Public License for more details. |
| 15 | * |
| 16 | * You should have received a copy of the GNU General Public License along with |
| 17 | * ChronoSync, e.g., in COPYING.md file. If not, see <http://www.gnu.org/licenses/>. |
| 18 | * |
| 19 | * @author Zhenkai Zhu <http://irl.cs.ucla.edu/~zhenkai/> |
| 20 | * @author Chaoyi Bian <bcy@pku.edu.cn> |
| 21 | * @author Alexander Afanasyev <http://lasr.cs.ucla.edu/afanasyev/index.html> |
| 22 | * @author Yingdi Yu <yingdi@cs.ucla.edu> |
| 23 | */ |
| 24 | |
| 25 | #include "state.hpp" |
Davide Pesavento | 780e646 | 2021-02-08 20:58:12 -0500 | [diff] [blame] | 26 | #include "detail/tlv.hpp" |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 27 | |
Davide Pesavento | 5f408ae | 2020-07-15 21:17:04 -0400 | [diff] [blame] | 28 | #include <boost/range/adaptor/reversed.hpp> |
Davide Pesavento | e7dc776 | 2020-12-22 20:47:52 -0500 | [diff] [blame] | 29 | #include <ndn-cxx/util/exception.hpp> |
Davide Pesavento | 5f408ae | 2020-07-15 21:17:04 -0400 | [diff] [blame] | 30 | |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 31 | namespace chronosync { |
| 32 | |
Davide Pesavento | 5473abe | 2017-10-09 01:35:33 -0400 | [diff] [blame] | 33 | State::~State() = default; |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 34 | |
Ashlesh Gawande | 08784d4 | 2017-09-06 23:40:21 -0500 | [diff] [blame] | 35 | std::tuple<bool, bool, SeqNo> |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 36 | State::update(const Name& info, const SeqNo& seq) |
| 37 | { |
| 38 | m_wire.reset(); |
| 39 | |
Davide Pesavento | 780e646 | 2021-02-08 20:58:12 -0500 | [diff] [blame] | 40 | auto leaf = m_leaves.find(info); |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 41 | if (leaf == m_leaves.end()) { |
Davide Pesavento | 780e646 | 2021-02-08 20:58:12 -0500 | [diff] [blame] | 42 | m_leaves.insert(make_shared<Leaf>(info, seq)); |
Davide Pesavento | 8663ed1 | 2022-07-23 03:04:27 -0400 | [diff] [blame] | 43 | return {true, false, 0}; |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 44 | } |
| 45 | else { |
| 46 | if ((*leaf)->getSeq() == seq || seq < (*leaf)->getSeq()) { |
Davide Pesavento | 8663ed1 | 2022-07-23 03:04:27 -0400 | [diff] [blame] | 47 | return {false, false, 0}; |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 48 | } |
| 49 | |
| 50 | SeqNo old = (*leaf)->getSeq(); |
Davide Pesavento | 5f5101a | 2022-03-11 20:05:03 -0500 | [diff] [blame] | 51 | m_leaves.modify(leaf, [seq] (LeafPtr& leaf) { leaf->setSeq(seq); } ); |
Davide Pesavento | 8663ed1 | 2022-07-23 03:04:27 -0400 | [diff] [blame] | 52 | return {false, true, old}; |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 53 | } |
| 54 | } |
| 55 | |
Ashlesh Gawande | 08784d4 | 2017-09-06 23:40:21 -0500 | [diff] [blame] | 56 | ConstBufferPtr |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 57 | State::getRootDigest() const |
| 58 | { |
| 59 | m_digest.reset(); |
| 60 | |
Davide Pesavento | 5f408ae | 2020-07-15 21:17:04 -0400 | [diff] [blame] | 61 | for (const auto& leaf : m_leaves.get<ordered>()) { |
| 62 | BOOST_ASSERT(leaf != nullptr); |
Davide Pesavento | 5f5101a | 2022-03-11 20:05:03 -0500 | [diff] [blame] | 63 | m_digest.update(*leaf->getDigest()); |
Davide Pesavento | 5f408ae | 2020-07-15 21:17:04 -0400 | [diff] [blame] | 64 | } |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 65 | |
| 66 | return m_digest.computeDigest(); |
| 67 | } |
| 68 | |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 69 | void |
| 70 | State::reset() |
| 71 | { |
| 72 | m_leaves.clear(); |
| 73 | } |
| 74 | |
| 75 | State& |
| 76 | State::operator+=(const State& state) |
| 77 | { |
Davide Pesavento | 5f408ae | 2020-07-15 21:17:04 -0400 | [diff] [blame] | 78 | for (const auto& leaf : state.getLeaves()) { |
| 79 | BOOST_ASSERT(leaf != nullptr); |
| 80 | update(leaf->getSessionName(), leaf->getSeq()); |
| 81 | } |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 82 | return *this; |
| 83 | } |
| 84 | |
Davide Pesavento | 780e646 | 2021-02-08 20:58:12 -0500 | [diff] [blame] | 85 | template<ndn::encoding::Tag T> |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 86 | size_t |
Davide Pesavento | 780e646 | 2021-02-08 20:58:12 -0500 | [diff] [blame] | 87 | State::wireEncode(ndn::encoding::EncodingImpl<T>& block) const |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 88 | { |
| 89 | size_t totalLength = 0; |
| 90 | |
Davide Pesavento | 5f408ae | 2020-07-15 21:17:04 -0400 | [diff] [blame] | 91 | for (const auto& leaf : m_leaves.get<ordered>() | boost::adaptors::reversed) { |
| 92 | size_t entryLength = 0; |
| 93 | entryLength += prependNonNegativeIntegerBlock(block, tlv::SeqNo, leaf->getSeq()); |
| 94 | entryLength += leaf->getSessionName().wireEncode(block); |
| 95 | entryLength += block.prependVarNumber(entryLength); |
| 96 | entryLength += block.prependVarNumber(tlv::StateLeaf); |
| 97 | totalLength += entryLength; |
| 98 | } |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 99 | |
| 100 | totalLength += block.prependVarNumber(totalLength); |
| 101 | totalLength += block.prependVarNumber(tlv::SyncReply); |
| 102 | |
| 103 | return totalLength; |
| 104 | } |
| 105 | |
Ashlesh Gawande | 08784d4 | 2017-09-06 23:40:21 -0500 | [diff] [blame] | 106 | NDN_CXX_DEFINE_WIRE_ENCODE_INSTANTIATIONS(State); |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 107 | |
| 108 | const Block& |
| 109 | State::wireEncode() const |
| 110 | { |
| 111 | if (m_wire.hasWire()) |
| 112 | return m_wire; |
| 113 | |
| 114 | ndn::EncodingEstimator estimator; |
| 115 | size_t estimatedSize = wireEncode(estimator); |
| 116 | |
| 117 | ndn::EncodingBuffer buffer(estimatedSize, 0); |
| 118 | wireEncode(buffer); |
| 119 | |
| 120 | m_wire = buffer.block(); |
| 121 | return m_wire; |
| 122 | } |
| 123 | |
| 124 | void |
| 125 | State::wireDecode(const Block& wire) |
| 126 | { |
| 127 | if (!wire.hasWire()) |
Davide Pesavento | e7dc776 | 2020-12-22 20:47:52 -0500 | [diff] [blame] | 128 | NDN_THROW(Error("The supplied block does not contain wire format")); |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 129 | |
| 130 | if (wire.type() != tlv::SyncReply) |
Davide Pesavento | 8663ed1 | 2022-07-23 03:04:27 -0400 | [diff] [blame] | 131 | NDN_THROW(Error("Unexpected TLV type when decoding SyncReply: " + std::to_string(wire.type()))); |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 132 | |
| 133 | wire.parse(); |
| 134 | m_wire = wire; |
| 135 | |
Davide Pesavento | 5f408ae | 2020-07-15 21:17:04 -0400 | [diff] [blame] | 136 | for (auto it = wire.elements_begin(); it != wire.elements_end(); it++) { |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 137 | if (it->type() == tlv::StateLeaf) { |
| 138 | it->parse(); |
| 139 | |
Davide Pesavento | 5f408ae | 2020-07-15 21:17:04 -0400 | [diff] [blame] | 140 | auto val = it->elements_begin(); |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 141 | Name info(*val); |
| 142 | val++; |
| 143 | |
| 144 | if (val != it->elements_end()) |
| 145 | update(info, readNonNegativeInteger(*val)); |
| 146 | else |
Davide Pesavento | e7dc776 | 2020-12-22 20:47:52 -0500 | [diff] [blame] | 147 | NDN_THROW(Error("No SeqNo when decoding SyncReply")); |
Yingdi Yu | d514c17 | 2014-08-26 21:49:39 -0700 | [diff] [blame] | 148 | } |
| 149 | } |
| 150 | } |
| 151 | |
| 152 | } // namespace chronosync |