2017-10-29 15:32:01 +00:00
|
|
|
/*
|
|
|
|
This file is part of Telegram Desktop,
|
|
|
|
the official desktop version of Telegram messaging app, see https://telegram.org
|
|
|
|
|
|
|
|
Telegram Desktop is free software: you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
It is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
In addition, as a special exception, the copyright holders give permission
|
|
|
|
to link the code of portions of this program with the OpenSSL library.
|
|
|
|
|
|
|
|
Full license: https://github.com/telegramdesktop/tdesktop/blob/master/LICENSE
|
|
|
|
Copyright (c) 2014-2017 John Preston, https://desktop.telegram.org
|
|
|
|
*/
|
2017-11-06 07:31:18 +00:00
|
|
|
#include "data/data_sparse_ids.h"
|
2017-10-29 15:32:01 +00:00
|
|
|
|
2017-10-30 19:24:20 +00:00
|
|
|
#include <rpl/combine.h>
|
2017-10-29 15:32:01 +00:00
|
|
|
#include "storage/storage_sparse_ids_list.h"
|
|
|
|
|
|
|
|
SparseIdsSlice::SparseIdsSlice(
|
|
|
|
const base::flat_set<MsgId> &ids,
|
|
|
|
MsgRange range,
|
|
|
|
base::optional<int> fullCount,
|
|
|
|
base::optional<int> skippedBefore,
|
|
|
|
base::optional<int> skippedAfter)
|
|
|
|
: _ids(ids)
|
|
|
|
, _range(range)
|
|
|
|
, _fullCount(fullCount)
|
|
|
|
, _skippedBefore(skippedBefore)
|
|
|
|
, _skippedAfter(skippedAfter) {
|
|
|
|
}
|
|
|
|
|
|
|
|
base::optional<int> SparseIdsSlice::indexOf(MsgId msgId) const {
|
|
|
|
auto it = _ids.find(msgId);
|
|
|
|
if (it != _ids.end()) {
|
|
|
|
return (it - _ids.begin());
|
|
|
|
}
|
|
|
|
return base::none;
|
|
|
|
}
|
|
|
|
|
|
|
|
MsgId SparseIdsSlice::operator[](int index) const {
|
|
|
|
Expects(index >= 0 && index < size());
|
|
|
|
|
|
|
|
return *(_ids.begin() + index);
|
|
|
|
}
|
|
|
|
|
|
|
|
base::optional<int> SparseIdsSlice::distance(
|
|
|
|
MsgId a,
|
|
|
|
MsgId b) const {
|
|
|
|
if (auto i = indexOf(a)) {
|
|
|
|
if (auto j = indexOf(b)) {
|
|
|
|
return *j - *i;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return base::none;
|
|
|
|
}
|
|
|
|
|
|
|
|
base::optional<MsgId> SparseIdsSlice::nearest(MsgId msgId) const {
|
|
|
|
if (auto it = base::lower_bound(_ids, msgId); it != _ids.end()) {
|
|
|
|
return *it;
|
|
|
|
} else if (_ids.empty()) {
|
|
|
|
return base::none;
|
|
|
|
}
|
|
|
|
return _ids.back();
|
|
|
|
}
|
|
|
|
|
|
|
|
SparseIdsMergedSlice::SparseIdsMergedSlice(Key key)
|
|
|
|
: SparseIdsMergedSlice(
|
|
|
|
key,
|
|
|
|
SparseIdsSlice(),
|
|
|
|
MigratedSlice(key)) {
|
|
|
|
}
|
|
|
|
|
|
|
|
SparseIdsMergedSlice::SparseIdsMergedSlice(
|
|
|
|
Key key,
|
|
|
|
SparseIdsSlice part,
|
|
|
|
base::optional<SparseIdsSlice> migrated)
|
|
|
|
: _key(key)
|
|
|
|
, _part(std::move(part))
|
|
|
|
, _migrated(std::move(migrated)) {
|
|
|
|
}
|
|
|
|
|
|
|
|
base::optional<int> SparseIdsMergedSlice::fullCount() const {
|
|
|
|
return Add(
|
|
|
|
_part.fullCount(),
|
|
|
|
_migrated ? _migrated->fullCount() : 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
base::optional<int> SparseIdsMergedSlice::skippedBefore() const {
|
|
|
|
return Add(
|
|
|
|
isolatedInMigrated() ? 0 : _part.skippedBefore(),
|
|
|
|
_migrated
|
|
|
|
? (isolatedInPart()
|
|
|
|
? _migrated->fullCount()
|
|
|
|
: _migrated->skippedBefore())
|
|
|
|
: 0
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
base::optional<int> SparseIdsMergedSlice::skippedAfter() const {
|
|
|
|
return Add(
|
|
|
|
isolatedInMigrated() ? _part.fullCount() : _part.skippedAfter(),
|
|
|
|
isolatedInPart() ? 0 : _migrated->skippedAfter()
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
base::optional<int> SparseIdsMergedSlice::indexOf(
|
|
|
|
FullMsgId fullId) const {
|
|
|
|
return isFromPart(fullId)
|
|
|
|
? (_part.indexOf(fullId.msg) | func::add(migratedSize()))
|
|
|
|
: isolatedInPart()
|
|
|
|
? base::none
|
|
|
|
: isFromMigrated(fullId)
|
|
|
|
? _migrated->indexOf(fullId.msg)
|
|
|
|
: base::none;
|
|
|
|
}
|
|
|
|
|
|
|
|
int SparseIdsMergedSlice::size() const {
|
|
|
|
return (isolatedInPart() ? 0 : migratedSize())
|
|
|
|
+ (isolatedInMigrated() ? 0 : _part.size());
|
|
|
|
}
|
|
|
|
|
|
|
|
FullMsgId SparseIdsMergedSlice::operator[](int index) const {
|
|
|
|
Expects(index >= 0 && index < size());
|
|
|
|
|
|
|
|
if (auto size = migratedSize()) {
|
|
|
|
if (index < size) {
|
|
|
|
return ComputeId(_key.migratedPeerId, (*_migrated)[index]);
|
|
|
|
}
|
|
|
|
index -= size;
|
|
|
|
}
|
|
|
|
return ComputeId(_key.peerId, _part[index]);
|
|
|
|
}
|
|
|
|
|
|
|
|
base::optional<int> SparseIdsMergedSlice::distance(
|
|
|
|
const Key &a,
|
|
|
|
const Key &b) const {
|
|
|
|
if (auto i = indexOf(ComputeId(a))) {
|
|
|
|
if (auto j = indexOf(ComputeId(b))) {
|
|
|
|
return *j - *i;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return base::none;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto SparseIdsMergedSlice::nearest(
|
|
|
|
UniversalMsgId id) const -> base::optional<UniversalMsgId> {
|
|
|
|
auto convertFromMigratedNearest = [](MsgId result) {
|
|
|
|
return result - ServerMaxMsgId;
|
|
|
|
};
|
|
|
|
if (IsServerMsgId(id)) {
|
|
|
|
if (auto partNearestId = _part.nearest(id)) {
|
|
|
|
return partNearestId;
|
|
|
|
} else if (isolatedInPart()) {
|
|
|
|
return base::none;
|
|
|
|
}
|
|
|
|
return _migrated->nearest(ServerMaxMsgId - 1)
|
|
|
|
| convertFromMigratedNearest;
|
|
|
|
}
|
|
|
|
if (auto migratedNearestId = _migrated
|
|
|
|
? _migrated->nearest(id + ServerMaxMsgId)
|
|
|
|
: base::none) {
|
|
|
|
return migratedNearestId
|
|
|
|
| convertFromMigratedNearest;
|
|
|
|
} else if (isolatedInMigrated()) {
|
|
|
|
return base::none;
|
|
|
|
}
|
|
|
|
return _part.nearest(0);
|
|
|
|
}
|
|
|
|
|
|
|
|
SparseIdsSliceBuilder::SparseIdsSliceBuilder(
|
|
|
|
Key key,
|
|
|
|
int limitBefore,
|
|
|
|
int limitAfter)
|
|
|
|
: _key(key)
|
|
|
|
, _limitBefore(limitBefore)
|
|
|
|
, _limitAfter(limitAfter) {
|
|
|
|
}
|
|
|
|
|
|
|
|
bool SparseIdsSliceBuilder::applyInitial(
|
|
|
|
const Storage::SparseIdsListResult &result) {
|
|
|
|
mergeSliceData(
|
|
|
|
result.count,
|
|
|
|
result.messageIds,
|
|
|
|
result.skippedBefore,
|
|
|
|
result.skippedAfter);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool SparseIdsSliceBuilder::applyUpdate(
|
|
|
|
const Storage::SparseIdsSliceUpdate &update) {
|
|
|
|
auto intersects = [](MsgRange range1, MsgRange range2) {
|
|
|
|
return (range1.from <= range2.till)
|
|
|
|
&& (range2.from <= range1.till);
|
|
|
|
};
|
|
|
|
auto needMergeMessages = (update.messages != nullptr)
|
|
|
|
&& intersects(update.range, {
|
|
|
|
_ids.empty() ? _key : _ids.front(),
|
|
|
|
_ids.empty() ? _key : _ids.back()
|
|
|
|
});
|
|
|
|
if (!needMergeMessages && !update.count) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
auto skippedBefore = (update.range.from == 0)
|
|
|
|
? 0
|
|
|
|
: base::optional<int> {};
|
|
|
|
auto skippedAfter = (update.range.till == ServerMaxMsgId)
|
|
|
|
? 0
|
|
|
|
: base::optional<int> {};
|
|
|
|
mergeSliceData(
|
|
|
|
update.count,
|
|
|
|
needMergeMessages
|
|
|
|
? *update.messages
|
|
|
|
: base::flat_set<MsgId> {},
|
|
|
|
skippedBefore,
|
|
|
|
skippedAfter);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool SparseIdsSliceBuilder::removeOne(MsgId messageId) {
|
|
|
|
auto changed = false;
|
|
|
|
if (_fullCount && *_fullCount > 0) {
|
|
|
|
--*_fullCount;
|
|
|
|
changed = true;
|
|
|
|
}
|
|
|
|
if (_ids.contains(messageId)) {
|
|
|
|
_ids.remove(messageId);
|
|
|
|
changed = true;
|
|
|
|
} else if (!_ids.empty()) {
|
|
|
|
if (_ids.front() > messageId
|
|
|
|
&& _skippedBefore
|
|
|
|
&& *_skippedBefore > 0) {
|
|
|
|
--*_skippedBefore;
|
|
|
|
changed = true;
|
|
|
|
} else if (_ids.back() < messageId
|
|
|
|
&& _skippedAfter
|
|
|
|
&& *_skippedAfter > 0) {
|
|
|
|
--*_skippedAfter;
|
|
|
|
changed = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return changed;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool SparseIdsSliceBuilder::removeAll() {
|
|
|
|
_ids = {};
|
|
|
|
_range = { 0, ServerMaxMsgId };
|
|
|
|
_fullCount = 0;
|
|
|
|
_skippedBefore = 0;
|
|
|
|
_skippedAfter = 0;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void SparseIdsSliceBuilder::checkInsufficient() {
|
|
|
|
sliceToLimits();
|
|
|
|
}
|
|
|
|
|
|
|
|
void SparseIdsSliceBuilder::mergeSliceData(
|
|
|
|
base::optional<int> count,
|
|
|
|
const base::flat_set<MsgId> &messageIds,
|
|
|
|
base::optional<int> skippedBefore,
|
|
|
|
base::optional<int> skippedAfter) {
|
|
|
|
if (messageIds.empty()) {
|
|
|
|
if (count && _fullCount != count) {
|
|
|
|
_fullCount = count;
|
|
|
|
if (*_fullCount <= _ids.size()) {
|
|
|
|
_fullCount = _ids.size();
|
|
|
|
_skippedBefore = _skippedAfter = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
fillSkippedAndSliceToLimits();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (count) {
|
|
|
|
_fullCount = count;
|
|
|
|
}
|
|
|
|
auto wasMinId = _ids.empty() ? -1 : _ids.front();
|
|
|
|
auto wasMaxId = _ids.empty() ? -1 : _ids.back();
|
|
|
|
_ids.merge(messageIds.begin(), messageIds.end());
|
|
|
|
|
|
|
|
auto adjustSkippedBefore = [&](MsgId oldId, int oldSkippedBefore) {
|
|
|
|
auto it = _ids.find(oldId);
|
|
|
|
Assert(it != _ids.end());
|
|
|
|
_skippedBefore = oldSkippedBefore - (it - _ids.begin());
|
|
|
|
accumulate_max(*_skippedBefore, 0);
|
|
|
|
};
|
|
|
|
if (skippedBefore) {
|
|
|
|
adjustSkippedBefore(messageIds.front(), *skippedBefore);
|
|
|
|
} else if (wasMinId >= 0 && _skippedBefore) {
|
|
|
|
adjustSkippedBefore(wasMinId, *_skippedBefore);
|
|
|
|
} else {
|
|
|
|
_skippedBefore = base::none;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto adjustSkippedAfter = [&](MsgId oldId, int oldSkippedAfter) {
|
|
|
|
auto it = _ids.find(oldId);
|
|
|
|
Assert(it != _ids.end());
|
|
|
|
_skippedAfter = oldSkippedAfter - (_ids.end() - it - 1);
|
|
|
|
accumulate_max(*_skippedAfter, 0);
|
|
|
|
};
|
|
|
|
if (skippedAfter) {
|
|
|
|
adjustSkippedAfter(messageIds.back(), *skippedAfter);
|
|
|
|
} else if (wasMaxId >= 0 && _skippedAfter) {
|
|
|
|
adjustSkippedAfter(wasMaxId, *_skippedAfter);
|
|
|
|
} else {
|
|
|
|
_skippedAfter = base::none;
|
|
|
|
}
|
|
|
|
fillSkippedAndSliceToLimits();
|
|
|
|
}
|
|
|
|
|
|
|
|
void SparseIdsSliceBuilder::fillSkippedAndSliceToLimits() {
|
|
|
|
if (_fullCount) {
|
|
|
|
if (_skippedBefore && !_skippedAfter) {
|
|
|
|
_skippedAfter = *_fullCount
|
|
|
|
- *_skippedBefore
|
|
|
|
- int(_ids.size());
|
|
|
|
} else if (_skippedAfter && !_skippedBefore) {
|
|
|
|
_skippedBefore = *_fullCount
|
|
|
|
- *_skippedAfter
|
|
|
|
- int(_ids.size());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
sliceToLimits();
|
|
|
|
}
|
|
|
|
|
|
|
|
void SparseIdsSliceBuilder::sliceToLimits() {
|
|
|
|
if (!_key) {
|
|
|
|
if (!_fullCount) {
|
|
|
|
requestMessagesCount();
|
|
|
|
}
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
auto requestedSomething = false;
|
|
|
|
auto aroundIt = base::lower_bound(_ids, _key);
|
|
|
|
auto removeFromBegin = (aroundIt - _ids.begin() - _limitBefore);
|
|
|
|
auto removeFromEnd = (_ids.end() - aroundIt - _limitAfter - 1);
|
|
|
|
if (removeFromBegin > 0) {
|
|
|
|
_ids.erase(_ids.begin(), _ids.begin() + removeFromBegin);
|
|
|
|
if (_skippedBefore) {
|
|
|
|
*_skippedBefore += removeFromBegin;
|
|
|
|
}
|
|
|
|
} else if (removeFromBegin < 0
|
|
|
|
&& (!_skippedBefore || *_skippedBefore > 0)) {
|
|
|
|
requestedSomething = true;
|
|
|
|
requestMessages(RequestDirection::Before);
|
|
|
|
}
|
|
|
|
if (removeFromEnd > 0) {
|
|
|
|
_ids.erase(_ids.end() - removeFromEnd, _ids.end());
|
|
|
|
if (_skippedAfter) {
|
|
|
|
*_skippedAfter += removeFromEnd;
|
|
|
|
}
|
|
|
|
} else if (removeFromEnd < 0
|
|
|
|
&& (!_skippedAfter || *_skippedAfter > 0)) {
|
|
|
|
requestedSomething = true;
|
|
|
|
requestMessages(RequestDirection::After);
|
|
|
|
}
|
|
|
|
if (!_fullCount && !requestedSomething) {
|
|
|
|
requestMessagesCount();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void SparseIdsSliceBuilder::requestMessages(
|
|
|
|
RequestDirection direction) {
|
|
|
|
auto requestAroundData = [&]() -> AroundData {
|
|
|
|
if (_ids.empty()) {
|
|
|
|
return { _key, SparseIdsLoadDirection::Around };
|
|
|
|
} else if (direction == RequestDirection::Before) {
|
|
|
|
return { _ids.front(), SparseIdsLoadDirection::Before };
|
|
|
|
}
|
|
|
|
return { _ids.back(), SparseIdsLoadDirection::After };
|
|
|
|
};
|
|
|
|
_insufficientAround.fire(requestAroundData());
|
|
|
|
}
|
|
|
|
|
|
|
|
void SparseIdsSliceBuilder::requestMessagesCount() {
|
|
|
|
_insufficientAround.fire({ 0, SparseIdsLoadDirection::Around });
|
|
|
|
}
|
|
|
|
|
|
|
|
SparseIdsSlice SparseIdsSliceBuilder::snapshot() const {
|
|
|
|
return SparseIdsSlice(
|
|
|
|
_ids,
|
|
|
|
_range,
|
|
|
|
_fullCount,
|
|
|
|
_skippedBefore,
|
|
|
|
_skippedAfter);
|
|
|
|
}
|
2017-10-30 19:24:20 +00:00
|
|
|
|
|
|
|
rpl::producer<SparseIdsMergedSlice> SparseIdsMergedSlice::CreateViewer(
|
|
|
|
SparseIdsMergedSlice::Key key,
|
|
|
|
int limitBefore,
|
|
|
|
int limitAfter,
|
|
|
|
base::lambda<SimpleViewerFunction> simpleViewer) {
|
|
|
|
Expects(IsServerMsgId(key.universalId)
|
|
|
|
|| (key.universalId == 0)
|
|
|
|
|| (IsServerMsgId(ServerMaxMsgId + key.universalId) && key.migratedPeerId != 0));
|
|
|
|
Expects((key.universalId != 0)
|
|
|
|
|| (limitBefore == 0 && limitAfter == 0));
|
|
|
|
|
|
|
|
return [=](auto consumer) {
|
|
|
|
auto partViewer = simpleViewer(
|
|
|
|
key.peerId,
|
|
|
|
SparseIdsMergedSlice::PartKey(key),
|
|
|
|
limitBefore,
|
|
|
|
limitAfter
|
|
|
|
);
|
|
|
|
if (!key.migratedPeerId) {
|
|
|
|
return std::move(partViewer)
|
|
|
|
| rpl::start_with_next([=](SparseIdsSlice &&part) {
|
|
|
|
consumer.put_next(SparseIdsMergedSlice(
|
|
|
|
key,
|
|
|
|
std::move(part),
|
|
|
|
base::none));
|
|
|
|
});
|
|
|
|
}
|
|
|
|
auto migratedViewer = simpleViewer(
|
|
|
|
key.migratedPeerId,
|
|
|
|
SparseIdsMergedSlice::MigratedKey(key),
|
|
|
|
limitBefore,
|
|
|
|
limitAfter);
|
|
|
|
return rpl::combine(
|
|
|
|
std::move(partViewer),
|
|
|
|
std::move(migratedViewer)
|
|
|
|
) | rpl::start_with_next([=](
|
|
|
|
SparseIdsSlice &&part,
|
|
|
|
SparseIdsSlice &&migrated) {
|
|
|
|
consumer.put_next(SparseIdsMergedSlice(
|
|
|
|
key,
|
|
|
|
std::move(part),
|
|
|
|
std::move(migrated)));
|
|
|
|
});
|
|
|
|
};
|
|
|
|
}
|