2017-05-26 04:48:44 +08:00
|
|
|
/*
|
|
|
|
* LogSystemPeekCursor.actor.cpp
|
|
|
|
*
|
|
|
|
* This source file is part of the FoundationDB open source project
|
|
|
|
*
|
2022-03-22 04:36:23 +08:00
|
|
|
* Copyright 2013-2022 Apple Inc. and the FoundationDB project authors
|
2018-02-22 02:25:11 +08:00
|
|
|
*
|
2017-05-26 04:48:44 +08:00
|
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
* you may not use this file except in compliance with the License.
|
|
|
|
* You may obtain a copy of the License at
|
2018-02-22 02:25:11 +08:00
|
|
|
*
|
2017-05-26 04:48:44 +08:00
|
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
2018-02-22 02:25:11 +08:00
|
|
|
*
|
2017-05-26 04:48:44 +08:00
|
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
* See the License for the specific language governing permissions and
|
|
|
|
* limitations under the License.
|
|
|
|
*/
|
|
|
|
|
2018-10-20 01:30:13 +08:00
|
|
|
#include "fdbserver/LogSystem.h"
|
2017-05-26 04:48:44 +08:00
|
|
|
#include "fdbrpc/FailureMonitor.h"
|
2018-10-20 01:30:13 +08:00
|
|
|
#include "fdbserver/Knobs.h"
|
2020-03-27 18:31:04 +08:00
|
|
|
#include "fdbserver/MutationTracking.h"
|
2017-11-16 13:05:10 +08:00
|
|
|
#include "fdbrpc/ReplicationUtils.h"
|
2019-02-18 10:46:59 +08:00
|
|
|
#include "flow/actorcompiler.h" // has to be last include
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2021-07-01 12:32:30 +08:00
|
|
|
// create a peek stream for cursor when it's possible
|
2021-07-20 02:43:51 +08:00
|
|
|
ACTOR Future<Void> tryEstablishPeekStream(ILogSystem::ServerPeekCursor* self) {
|
2021-07-01 12:32:30 +08:00
|
|
|
if (self->peekReplyStream.present())
|
2021-07-20 02:43:51 +08:00
|
|
|
return Void();
|
2021-07-01 12:32:30 +08:00
|
|
|
else if (!self->interf || !self->interf->get().present()) {
|
|
|
|
self->peekReplyStream.reset();
|
2021-07-20 02:43:51 +08:00
|
|
|
return Never();
|
2021-07-01 12:32:30 +08:00
|
|
|
}
|
2021-07-20 02:43:51 +08:00
|
|
|
wait(IFailureMonitor::failureMonitor().onStateEqual(self->interf->get().interf().peekStreamMessages.getEndpoint(),
|
|
|
|
FailureStatus(false)));
|
2021-07-09 03:32:58 +08:00
|
|
|
self->peekReplyStream = self->interf->get().interf().peekStreamMessages.getReplyStream(TLogPeekStreamRequest(
|
|
|
|
self->messageVersion.version, self->tag, self->returnIfBlocked, std::numeric_limits<int>::max()));
|
2021-07-20 02:43:51 +08:00
|
|
|
TraceEvent(SevDebug, "SPC_StreamCreated", self->randomID)
|
2021-08-12 09:26:00 +08:00
|
|
|
.detail("PeerAddr", self->interf->get().interf().peekStreamMessages.getEndpoint().getPrimaryAddress())
|
2021-07-23 06:45:59 +08:00
|
|
|
.detail("PeerToken", self->interf->get().interf().peekStreamMessages.getEndpoint().token);
|
2021-07-20 02:43:51 +08:00
|
|
|
return Void();
|
2021-07-01 12:32:30 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ILogSystem::ServerPeekCursor::ServerPeekCursor(Reference<AsyncVar<OptionalInterface<TLogInterface>>> const& interf,
|
|
|
|
Tag tag,
|
|
|
|
Version begin,
|
|
|
|
Version end,
|
|
|
|
bool returnIfBlocked,
|
|
|
|
bool parallelGetMore)
|
2021-07-23 13:48:27 +08:00
|
|
|
: interf(interf), tag(tag), rd(results.arena, results.messages, Unversioned()), messageVersion(begin), end(end),
|
|
|
|
poppedVersion(0), hasMsg(false), randomID(deterministicRandom()->randomUniqueID()),
|
2021-08-03 05:27:53 +08:00
|
|
|
returnIfBlocked(returnIfBlocked), onlySpilled(false), parallelGetMore(parallelGetMore),
|
2021-08-12 09:26:00 +08:00
|
|
|
usePeekStream(SERVER_KNOBS->PEEK_USING_STREAMING), sequence(0), lastReset(0), resetCheck(Void()), slowReplies(0),
|
2021-08-03 05:27:53 +08:00
|
|
|
fastReplies(0), unknownReplies(0) {
|
2017-05-26 04:48:44 +08:00
|
|
|
this->results.maxKnownVersion = 0;
|
2018-06-22 06:29:46 +08:00
|
|
|
this->results.minKnownCommittedVersion = 0;
|
2021-08-12 09:26:00 +08:00
|
|
|
DisabledTraceEvent(SevDebug, "SPC_Starting", randomID)
|
2021-07-16 05:30:14 +08:00
|
|
|
.detail("Tag", tag.toString())
|
Fix orphaned storage server due to force recovery (#6914)
* Fix orphaned storage server due to force recovery
The force recovery can roll back the transaction that adds a storage server.
However, the storage server may now at version B > A, the recovery version.
As a result, its peek to buddy TLog won't return TLogPeekReply::popped to
trigger its exit, and instead getting a higher version C > B back. To the
storage server, this means the message is empty, thus not removing itself and
keeps peeking.
The fix is to instead of using recovery version as the popped version for the
SS, we use the recovery transaction version, which is the first transaction
after the recovery. Force recovery bumps this version to a much higher version
than the SS's version. So the TLog would set TLogPeekReply::popped to trigger
the storage server exit.
* Fix tlog peek to disallow return empty message between recoveredAt and recovery txn version
This contract today is not explicitly set and can cause storage server to fail
with assertion "rollbackVersion >= data->storageVersion()". This is because if
such an empty version is returned, SS may advance its storage version to a
value larger than the rollback version set in the recovery transaction.
The fix is to block peek reply until recovery transaction has been received.
* Move recoveryTxnReceived to be per LogData
This is because a shared TLog can have a first generation TLog which is already
setting the promise, thus later generations won't wait for the recovery version.
For the current generation, all peeks need to wait, while for older generations,
there is no need to wait (by checking if they are stopped).
* For initial commit, poppedVersion needs to be at least 2
To get rid of the previous unsuccessful recovery's recruited seed
storage servers.
2022-05-03 08:17:37 +08:00
|
|
|
.detail("UsePeekStream", usePeekStream)
|
2021-07-16 05:30:14 +08:00
|
|
|
.detail("Begin", begin)
|
2021-08-03 13:33:17 +08:00
|
|
|
.detail("End", end);
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ILogSystem::ServerPeekCursor::ServerPeekCursor(TLogPeekReply const& results,
|
|
|
|
LogMessageVersion const& messageVersion,
|
|
|
|
LogMessageVersion const& end,
|
|
|
|
TagsAndMessage const& message,
|
|
|
|
bool hasMsg,
|
|
|
|
Version poppedVersion,
|
|
|
|
Tag tag)
|
2021-07-23 13:48:27 +08:00
|
|
|
: tag(tag), results(results), rd(results.arena, results.messages, Unversioned()), messageVersion(messageVersion),
|
2021-07-24 15:48:13 +08:00
|
|
|
end(end), poppedVersion(poppedVersion), messageAndTags(message), hasMsg(hasMsg),
|
|
|
|
randomID(deterministicRandom()->randomUniqueID()), returnIfBlocked(false), onlySpilled(false),
|
2021-08-03 05:27:53 +08:00
|
|
|
parallelGetMore(false), usePeekStream(false), sequence(0), lastReset(0), resetCheck(Void()), slowReplies(0),
|
|
|
|
fastReplies(0), unknownReplies(0) {
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("SPC_Clone", randomID);
|
2017-05-26 04:48:44 +08:00
|
|
|
this->results.maxKnownVersion = 0;
|
2018-06-22 06:29:46 +08:00
|
|
|
this->results.minKnownCommittedVersion = 0;
|
2021-03-11 02:06:03 +08:00
|
|
|
if (hasMsg)
|
2017-05-26 04:48:44 +08:00
|
|
|
nextMessage();
|
|
|
|
|
|
|
|
advanceTo(messageVersion);
|
|
|
|
}
|
|
|
|
|
|
|
|
Reference<ILogSystem::IPeekCursor> ILogSystem::ServerPeekCursor::cloneNoMore() {
|
2021-03-11 02:06:03 +08:00
|
|
|
return makeReference<ILogSystem::ServerPeekCursor>(
|
|
|
|
results, messageVersion, end, messageAndTags, hasMsg, poppedVersion, tag);
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
void ILogSystem::ServerPeekCursor::setProtocolVersion(ProtocolVersion version) {
|
2017-05-26 04:48:44 +08:00
|
|
|
rd.setProtocolVersion(version);
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
Arena& ILogSystem::ServerPeekCursor::arena() {
|
|
|
|
return results.arena;
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
|
|
|
ArenaReader* ILogSystem::ServerPeekCursor::reader() {
|
|
|
|
return &rd;
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::ServerPeekCursor::hasMessage() const {
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("SPC_HasMessage", randomID).detail("HasMsg", hasMsg);
|
2017-05-26 04:48:44 +08:00
|
|
|
return hasMsg;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ILogSystem::ServerPeekCursor::nextMessage() {
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("SPC_NextMessage", randomID).detail("MessageVersion", messageVersion.toString());
|
2017-05-26 04:48:44 +08:00
|
|
|
ASSERT(hasMsg);
|
|
|
|
if (rd.empty()) {
|
|
|
|
messageVersion.reset(std::min(results.end, end.version));
|
|
|
|
hasMsg = false;
|
|
|
|
return;
|
|
|
|
}
|
2019-09-06 02:30:02 +08:00
|
|
|
if (*(int32_t*)rd.peekBytes(4) == VERSION_HEADER) {
|
2017-05-26 04:48:44 +08:00
|
|
|
// A version
|
|
|
|
int32_t dummy;
|
|
|
|
Version ver;
|
|
|
|
rd >> dummy >> ver;
|
|
|
|
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("SPC_ProcessSeq", randomID).detail("MessageVersion", messageVersion.toString()).detail("Ver", ver).detail("Tag", tag.toString());
|
2021-03-11 02:06:03 +08:00
|
|
|
// ASSERT( ver >= messageVersion.version );
|
2017-05-26 04:48:44 +08:00
|
|
|
|
|
|
|
messageVersion.reset(ver);
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (messageVersion >= end) {
|
2017-05-26 04:48:44 +08:00
|
|
|
messageVersion = end;
|
|
|
|
hasMsg = false;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
ASSERT(!rd.empty());
|
|
|
|
}
|
|
|
|
|
2019-09-05 05:52:09 +08:00
|
|
|
messageAndTags.loadFromArena(&rd, &messageVersion.sub);
|
2021-08-10 16:52:36 +08:00
|
|
|
DEBUG_TAGS_AND_MESSAGE("ServerPeekCursor", messageVersion.version, messageAndTags.getRawMessage(), this->randomID);
|
2019-09-05 11:43:56 +08:00
|
|
|
// Rewind and consume the header so that reader() starts from the message.
|
|
|
|
rd.rewind();
|
|
|
|
rd.readBytes(messageAndTags.getHeaderSize());
|
2017-05-26 04:48:44 +08:00
|
|
|
hasMsg = true;
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("SPC_NextMessageB", randomID).detail("MessageVersion", messageVersion.toString());
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
StringRef ILogSystem::ServerPeekCursor::getMessage() {
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("SPC_GetMessage", randomID);
|
2019-09-05 11:43:56 +08:00
|
|
|
StringRef message = messageAndTags.getMessageWithoutTags();
|
|
|
|
rd.readBytes(message.size()); // Consumes the message.
|
|
|
|
return message;
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2018-03-17 02:40:21 +08:00
|
|
|
StringRef ILogSystem::ServerPeekCursor::getMessageWithTags() {
|
2019-09-05 11:43:56 +08:00
|
|
|
StringRef rawMessage = messageAndTags.getRawMessage();
|
|
|
|
rd.readBytes(rawMessage.size() - messageAndTags.getHeaderSize()); // Consumes the message.
|
|
|
|
return rawMessage;
|
2018-03-17 02:40:21 +08:00
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
VectorRef<Tag> ILogSystem::ServerPeekCursor::getTags() const {
|
2019-09-05 05:52:09 +08:00
|
|
|
return messageAndTags.tags;
|
2017-06-30 06:50:19 +08:00
|
|
|
}
|
|
|
|
|
2017-05-26 04:48:44 +08:00
|
|
|
void ILogSystem::ServerPeekCursor::advanceTo(LogMessageVersion n) {
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("SPC_AdvanceTo", randomID).detail("N", n.toString());
|
2021-03-11 02:06:03 +08:00
|
|
|
while (messageVersion < n && hasMessage()) {
|
2017-05-26 04:48:44 +08:00
|
|
|
getMessage();
|
|
|
|
nextMessage();
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (hasMessage())
|
2017-05-26 04:48:44 +08:00
|
|
|
return;
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
// if( more.isValid() && !more.isReady() ) more.cancel();
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (messageVersion < n) {
|
2017-05-26 04:48:44 +08:00
|
|
|
messageVersion = n;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-07-01 12:32:30 +08:00
|
|
|
// This function is called after the cursor received one TLogPeekReply to update its members, which is the common logic
|
|
|
|
// in getMore helper functions.
|
|
|
|
void updateCursorWithReply(ILogSystem::ServerPeekCursor* self, const TLogPeekReply& res) {
|
|
|
|
self->results = res;
|
|
|
|
self->onlySpilled = res.onlySpilled;
|
|
|
|
if (res.popped.present())
|
|
|
|
self->poppedVersion = std::min(std::max(self->poppedVersion, res.popped.get()), self->end.version);
|
|
|
|
self->rd = ArenaReader(self->results.arena, self->results.messages, Unversioned());
|
|
|
|
LogMessageVersion skipSeq = self->messageVersion;
|
|
|
|
self->hasMsg = true;
|
|
|
|
self->nextMessage();
|
|
|
|
self->advanceTo(skipSeq);
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ACTOR Future<Void> resetChecker(ILogSystem::ServerPeekCursor* self, NetworkAddress addr) {
|
2020-07-10 13:50:47 +08:00
|
|
|
self->slowReplies = 0;
|
|
|
|
self->unknownReplies = 0;
|
|
|
|
self->fastReplies = 0;
|
|
|
|
wait(delay(SERVER_KNOBS->PEEK_STATS_INTERVAL));
|
2020-11-05 06:06:49 +08:00
|
|
|
TraceEvent("SlowPeekStats", self->randomID)
|
2020-11-03 06:59:17 +08:00
|
|
|
.detail("PeerAddress", addr)
|
|
|
|
.detail("SlowReplies", self->slowReplies)
|
|
|
|
.detail("FastReplies", self->fastReplies)
|
|
|
|
.detail("UnknownReplies", self->unknownReplies);
|
|
|
|
|
|
|
|
if (self->slowReplies >= SERVER_KNOBS->PEEK_STATS_SLOW_AMOUNT &&
|
|
|
|
self->slowReplies / double(self->slowReplies + self->fastReplies) >= SERVER_KNOBS->PEEK_STATS_SLOW_RATIO) {
|
|
|
|
|
2020-11-05 06:06:49 +08:00
|
|
|
TraceEvent("ConnectionResetSlowPeek", self->randomID)
|
2020-11-03 06:59:17 +08:00
|
|
|
.detail("PeerAddress", addr)
|
|
|
|
.detail("SlowReplies", self->slowReplies)
|
|
|
|
.detail("FastReplies", self->fastReplies)
|
|
|
|
.detail("UnknownReplies", self->unknownReplies);
|
2020-07-10 13:50:47 +08:00
|
|
|
FlowTransport::transport().resetConnection(addr);
|
|
|
|
self->lastReset = now();
|
|
|
|
}
|
|
|
|
return Void();
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ACTOR Future<TLogPeekReply> recordRequestMetrics(ILogSystem::ServerPeekCursor* self,
|
|
|
|
NetworkAddress addr,
|
|
|
|
Future<TLogPeekReply> in) {
|
2020-07-10 13:50:47 +08:00
|
|
|
try {
|
|
|
|
state double startTime = now();
|
|
|
|
TLogPeekReply t = wait(in);
|
2021-03-11 02:06:03 +08:00
|
|
|
if (now() - self->lastReset > SERVER_KNOBS->PEEK_RESET_INTERVAL) {
|
|
|
|
if (now() - startTime > SERVER_KNOBS->PEEK_MAX_LATENCY) {
|
|
|
|
if (t.messages.size() >= SERVER_KNOBS->DESIRED_TOTAL_BYTES || SERVER_KNOBS->PEEK_COUNT_SMALL_MESSAGES) {
|
|
|
|
if (self->resetCheck.isReady()) {
|
2020-07-10 13:50:47 +08:00
|
|
|
self->resetCheck = resetChecker(self, addr);
|
|
|
|
}
|
|
|
|
self->slowReplies++;
|
|
|
|
} else {
|
|
|
|
self->unknownReplies++;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
self->fastReplies++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return t;
|
|
|
|
} catch (Error& e) {
|
|
|
|
if (e.code() != error_code_broken_promise)
|
|
|
|
throw;
|
2021-03-11 02:06:03 +08:00
|
|
|
wait(Never()); // never return
|
|
|
|
throw internal_error(); // does not happen
|
2020-07-10 13:50:47 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ACTOR Future<Void> serverPeekParallelGetMore(ILogSystem::ServerPeekCursor* self, TaskPriority taskID) {
|
2021-07-01 12:32:30 +08:00
|
|
|
if (!self->interf || self->isExhausted()) {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (self->hasMessage())
|
2019-09-13 07:22:28 +08:00
|
|
|
return Void();
|
2021-07-08 06:55:49 +08:00
|
|
|
return Never();
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (!self->interfaceChanged.isValid()) {
|
2017-08-10 06:58:06 +08:00
|
|
|
self->interfaceChanged = self->interf->onChange();
|
|
|
|
}
|
|
|
|
|
2017-05-26 04:48:44 +08:00
|
|
|
loop {
|
2018-06-26 02:15:49 +08:00
|
|
|
state Version expectedBegin = self->messageVersion.version;
|
2017-05-26 04:48:44 +08:00
|
|
|
try {
|
2019-06-19 16:30:49 +08:00
|
|
|
if (self->parallelGetMore || self->onlySpilled) {
|
2021-03-11 02:06:03 +08:00
|
|
|
while (self->futureResults.size() < SERVER_KNOBS->PARALLEL_GET_MORE_REQUESTS &&
|
|
|
|
self->interf->get().present()) {
|
|
|
|
self->futureResults.push_back(recordRequestMetrics(
|
|
|
|
self,
|
|
|
|
self->interf->get().interf().peekMessages.getEndpoint().getPrimaryAddress(),
|
|
|
|
self->interf->get().interf().peekMessages.getReply(
|
|
|
|
TLogPeekRequest(self->messageVersion.version,
|
|
|
|
self->tag,
|
|
|
|
self->returnIfBlocked,
|
|
|
|
self->onlySpilled,
|
|
|
|
std::make_pair(self->randomID, self->sequence++)),
|
|
|
|
taskID)));
|
2019-06-19 16:30:49 +08:00
|
|
|
}
|
2019-10-23 08:04:57 +08:00
|
|
|
if (self->sequence == std::numeric_limits<decltype(self->sequence)>::max()) {
|
2019-10-15 15:27:59 +08:00
|
|
|
throw operation_obsolete();
|
2019-10-23 08:04:57 +08:00
|
|
|
}
|
2019-06-19 16:30:49 +08:00
|
|
|
} else if (self->futureResults.size() == 0) {
|
|
|
|
return Void();
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (self->hasMessage())
|
2019-09-13 07:22:28 +08:00
|
|
|
return Void();
|
|
|
|
|
2017-05-26 04:48:44 +08:00
|
|
|
choose {
|
2021-03-11 02:06:03 +08:00
|
|
|
when(TLogPeekReply res = wait(self->interf->get().present() ? self->futureResults.front() : Never())) {
|
|
|
|
if (res.begin.get() != expectedBegin) {
|
2019-10-15 09:05:06 +08:00
|
|
|
throw operation_obsolete();
|
2018-06-26 02:15:49 +08:00
|
|
|
}
|
|
|
|
expectedBegin = res.end;
|
2017-05-26 04:48:44 +08:00
|
|
|
self->futureResults.pop_front();
|
2021-07-01 12:32:30 +08:00
|
|
|
updateCursorWithReply(self, res);
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("SPC_GetMoreB", self->randomID).detail("Has", self->hasMessage()).detail("End", res.end).detail("Popped", res.popped.present() ? res.popped.get() : 0);
|
2017-05-26 04:48:44 +08:00
|
|
|
return Void();
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
when(wait(self->interfaceChanged)) {
|
2017-08-10 06:58:06 +08:00
|
|
|
self->interfaceChanged = self->interf->onChange();
|
2019-05-11 05:01:52 +08:00
|
|
|
self->randomID = deterministicRandom()->randomUniqueID();
|
2017-05-26 04:48:44 +08:00
|
|
|
self->sequence = 0;
|
2019-05-15 08:07:49 +08:00
|
|
|
self->onlySpilled = false;
|
2017-05-26 04:48:44 +08:00
|
|
|
self->futureResults.clear();
|
|
|
|
}
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
} catch (Error& e) {
|
|
|
|
if (e.code() == error_code_end_of_stream) {
|
|
|
|
self->end.reset(self->messageVersion.version);
|
2017-05-26 04:48:44 +08:00
|
|
|
return Void();
|
2021-03-11 02:06:03 +08:00
|
|
|
} else if (e.code() == error_code_timed_out || e.code() == error_code_operation_obsolete) {
|
2019-10-15 09:05:06 +08:00
|
|
|
TraceEvent("PeekCursorTimedOut", self->randomID).error(e);
|
|
|
|
// We *should* never get timed_out(), as it means the TLog got stuck while handling a parallel peek,
|
|
|
|
// and thus we've likely just wasted 10min.
|
2020-03-11 06:05:13 +08:00
|
|
|
// timed_out() is sent by cleanupPeekTrackers as value PEEK_TRACKER_EXPIRATION_TIME
|
2021-03-11 02:06:03 +08:00
|
|
|
ASSERT_WE_THINK(e.code() == error_code_operation_obsolete ||
|
|
|
|
SERVER_KNOBS->PEEK_TRACKER_EXPIRATION_TIME < 10);
|
2017-08-10 06:58:06 +08:00
|
|
|
self->interfaceChanged = self->interf->onChange();
|
2019-05-11 05:01:52 +08:00
|
|
|
self->randomID = deterministicRandom()->randomUniqueID();
|
2017-05-26 04:48:44 +08:00
|
|
|
self->sequence = 0;
|
|
|
|
self->futureResults.clear();
|
|
|
|
} else {
|
|
|
|
throw e;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-07-01 12:32:30 +08:00
|
|
|
ACTOR Future<Void> serverPeekStreamGetMore(ILogSystem::ServerPeekCursor* self, TaskPriority taskID) {
|
2021-07-08 06:55:49 +08:00
|
|
|
if (!self->interf || self->isExhausted()) {
|
2021-07-16 05:30:14 +08:00
|
|
|
self->peekReplyStream.reset();
|
2021-07-05 13:57:24 +08:00
|
|
|
if (self->hasMessage())
|
|
|
|
return Void();
|
2021-07-08 06:55:49 +08:00
|
|
|
return Never();
|
2021-07-05 13:57:24 +08:00
|
|
|
}
|
2021-07-01 12:32:30 +08:00
|
|
|
|
2021-07-08 06:55:49 +08:00
|
|
|
loop {
|
|
|
|
try {
|
2021-08-01 13:07:43 +08:00
|
|
|
state Version expectedBegin = self->messageVersion.version;
|
2021-07-16 05:30:14 +08:00
|
|
|
state Future<TLogPeekReply> fPeekReply = self->peekReplyStream.present()
|
|
|
|
? map(waitAndForward(self->peekReplyStream.get().getFuture()),
|
|
|
|
[](const TLogPeekStreamReply& r) { return r.rep; })
|
|
|
|
: Never();
|
2021-07-08 06:55:49 +08:00
|
|
|
choose {
|
2021-07-20 02:43:51 +08:00
|
|
|
when(wait(self->peekReplyStream.present() ? Never() : tryEstablishPeekStream(self))) {}
|
2021-07-08 06:55:49 +08:00
|
|
|
when(wait(self->interf->onChange())) {
|
|
|
|
self->onlySpilled = false;
|
2021-07-01 12:32:30 +08:00
|
|
|
self->peekReplyStream.reset();
|
2021-07-08 06:55:49 +08:00
|
|
|
}
|
2021-07-20 02:43:51 +08:00
|
|
|
when(TLogPeekReply res = wait(
|
|
|
|
self->peekReplyStream.present()
|
|
|
|
? recordRequestMetrics(
|
|
|
|
self,
|
|
|
|
self->interf->get().interf().peekStreamMessages.getEndpoint().getPrimaryAddress(),
|
|
|
|
fPeekReply)
|
|
|
|
: Never())) {
|
2021-08-01 13:07:43 +08:00
|
|
|
if (res.begin.get() != expectedBegin) {
|
|
|
|
throw operation_obsolete();
|
|
|
|
}
|
2021-07-16 05:30:14 +08:00
|
|
|
updateCursorWithReply(self, res);
|
2021-08-01 13:07:43 +08:00
|
|
|
expectedBegin = res.end;
|
2021-08-12 09:26:00 +08:00
|
|
|
DisabledTraceEvent(SevDebug, "SPC_GetMoreB", self->randomID)
|
2021-07-27 00:36:53 +08:00
|
|
|
.detail("Has", self->hasMessage())
|
|
|
|
.detail("End", res.end)
|
|
|
|
.detail("Popped", res.popped.present() ? res.popped.get() : 0);
|
2021-07-21 01:42:00 +08:00
|
|
|
|
2021-08-03 05:24:20 +08:00
|
|
|
// NOTE: delay is necessary here since ReplyPromiseStream delivers reply on high priority. Here we
|
|
|
|
// change the priority to the intended one.
|
2021-07-29 05:11:25 +08:00
|
|
|
wait(delay(0, taskID));
|
2021-07-08 06:55:49 +08:00
|
|
|
return Void();
|
2021-07-01 12:32:30 +08:00
|
|
|
}
|
|
|
|
}
|
2021-07-08 06:55:49 +08:00
|
|
|
} catch (Error& e) {
|
2022-02-25 04:25:52 +08:00
|
|
|
DisabledTraceEvent(SevDebug, "SPC_GetMoreB_Error", self->randomID).errorUnsuppressed(e);
|
2021-07-23 06:45:59 +08:00
|
|
|
if (e.code() == error_code_connection_failed || e.code() == error_code_operation_obsolete) {
|
2021-08-01 13:07:43 +08:00
|
|
|
// NOTE: delay in order to avoid the endless retry loop block other tasks
|
2021-08-06 10:51:17 +08:00
|
|
|
self->peekReplyStream.reset();
|
2021-08-01 13:07:43 +08:00
|
|
|
wait(delay(0));
|
2021-07-09 03:32:58 +08:00
|
|
|
} else if (e.code() == error_code_end_of_stream) {
|
2021-08-06 10:51:17 +08:00
|
|
|
self->peekReplyStream.reset();
|
2021-07-08 06:55:49 +08:00
|
|
|
self->end.reset(self->messageVersion.version);
|
|
|
|
return Void();
|
2021-07-09 03:32:58 +08:00
|
|
|
} else {
|
2021-07-08 06:55:49 +08:00
|
|
|
throw;
|
|
|
|
}
|
2021-07-01 12:32:30 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ACTOR Future<Void> serverPeekGetMore(ILogSystem::ServerPeekCursor* self, TaskPriority taskID) {
|
2021-07-01 12:32:30 +08:00
|
|
|
if (!self->interf || self->isExhausted()) {
|
2021-07-08 06:55:49 +08:00
|
|
|
return Never();
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
try {
|
|
|
|
loop {
|
|
|
|
choose {
|
2021-03-11 02:06:03 +08:00
|
|
|
when(TLogPeekReply res =
|
|
|
|
wait(self->interf->get().present()
|
|
|
|
? brokenPromiseToNever(self->interf->get().interf().peekMessages.getReply(
|
|
|
|
TLogPeekRequest(self->messageVersion.version,
|
|
|
|
self->tag,
|
|
|
|
self->returnIfBlocked,
|
|
|
|
self->onlySpilled),
|
|
|
|
taskID))
|
|
|
|
: Never())) {
|
2021-07-01 12:32:30 +08:00
|
|
|
updateCursorWithReply(self, res);
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("SPC_GetMoreB", self->randomID).detail("Has", self->hasMessage()).detail("End", res.end).detail("Popped", res.popped.present() ? res.popped.get() : 0);
|
2017-05-26 04:48:44 +08:00
|
|
|
return Void();
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
when(wait(self->interf->onChange())) { self->onlySpilled = false; }
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
} catch (Error& e) {
|
|
|
|
if (e.code() == error_code_end_of_stream) {
|
|
|
|
self->end.reset(self->messageVersion.version);
|
2017-05-26 04:48:44 +08:00
|
|
|
return Void();
|
|
|
|
}
|
|
|
|
throw e;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-06-25 17:47:35 +08:00
|
|
|
Future<Void> ILogSystem::ServerPeekCursor::getMore(TaskPriority taskID) {
|
2021-07-23 06:45:59 +08:00
|
|
|
// TraceEvent("SPC_GetMore", randomID)
|
|
|
|
// .detail("HasMessage", hasMessage())
|
|
|
|
// .detail("More", !more.isValid() || more.isReady())
|
|
|
|
// .detail("MessageVersion", messageVersion.toString())
|
|
|
|
// .detail("End", end.toString());
|
2021-03-11 02:06:03 +08:00
|
|
|
if (hasMessage() && !parallelGetMore)
|
2017-05-26 04:48:44 +08:00
|
|
|
return Void();
|
2021-03-11 02:06:03 +08:00
|
|
|
if (!more.isValid() || more.isReady()) {
|
2021-08-28 08:07:47 +08:00
|
|
|
if (usePeekStream &&
|
|
|
|
(tag.locality >= 0 || tag.locality == tagLocalityLogRouter || tag.locality == tagLocalityRemoteLog)) {
|
2021-07-29 05:11:25 +08:00
|
|
|
more = serverPeekStreamGetMore(this, taskID);
|
|
|
|
} else if (parallelGetMore || onlySpilled || futureResults.size()) {
|
|
|
|
more = serverPeekParallelGetMore(this, taskID);
|
2021-07-21 01:42:00 +08:00
|
|
|
} else {
|
2021-07-29 05:11:25 +08:00
|
|
|
more = serverPeekGetMore(this, taskID);
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
return more;
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ACTOR Future<Void> serverPeekOnFailed(ILogSystem::ServerPeekCursor* self) {
|
2017-05-26 04:48:44 +08:00
|
|
|
loop {
|
|
|
|
choose {
|
2021-03-11 02:06:03 +08:00
|
|
|
when(wait(self->interf->get().present()
|
|
|
|
? IFailureMonitor::failureMonitor().onStateEqual(
|
|
|
|
self->interf->get().interf().peekMessages.getEndpoint(), FailureStatus())
|
|
|
|
: Never())) {
|
|
|
|
return Void();
|
|
|
|
}
|
2021-07-15 00:19:23 +08:00
|
|
|
when(wait(self->interf->get().present()
|
|
|
|
? IFailureMonitor::failureMonitor().onStateEqual(
|
|
|
|
self->interf->get().interf().peekStreamMessages.getEndpoint(), FailureStatus())
|
|
|
|
: Never())) {
|
|
|
|
return Void();
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
when(wait(self->interf->onChange())) {}
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Future<Void> ILogSystem::ServerPeekCursor::onFailed() {
|
|
|
|
return serverPeekOnFailed(this);
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::ServerPeekCursor::isActive() const {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (!interf->get().present())
|
2017-05-26 04:48:44 +08:00
|
|
|
return false;
|
2021-07-05 13:57:24 +08:00
|
|
|
if (isExhausted())
|
2017-05-26 04:48:44 +08:00
|
|
|
return false;
|
2021-07-15 00:19:23 +08:00
|
|
|
return IFailureMonitor::failureMonitor()
|
|
|
|
.getState(interf->get().interf().peekMessages.getEndpoint())
|
|
|
|
.isAvailable() &&
|
|
|
|
IFailureMonitor::failureMonitor()
|
|
|
|
.getState(interf->get().interf().peekStreamMessages.getEndpoint())
|
|
|
|
.isAvailable();
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::ServerPeekCursor::isExhausted() const {
|
2017-07-16 06:15:03 +08:00
|
|
|
return messageVersion >= end;
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
const LogMessageVersion& ILogSystem::ServerPeekCursor::version() const {
|
|
|
|
return messageVersion;
|
|
|
|
} // Call only after nextMessage(). The sequence of the current message, or results.end if nextMessage() has returned
|
|
|
|
// false.
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::ServerPeekCursor::getMinKnownCommittedVersion() const {
|
|
|
|
return results.minKnownCommittedVersion;
|
|
|
|
}
|
2018-06-22 06:29:46 +08:00
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Optional<UID> ILogSystem::ServerPeekCursor::getPrimaryPeekLocation() const {
|
2021-05-14 05:38:07 +08:00
|
|
|
if (interf && interf->get().present()) {
|
2020-03-06 11:09:08 +08:00
|
|
|
return interf->get().id();
|
|
|
|
}
|
|
|
|
return Optional<UID>();
|
|
|
|
}
|
2020-03-06 10:17:06 +08:00
|
|
|
|
2021-05-12 04:03:21 +08:00
|
|
|
Optional<UID> ILogSystem::ServerPeekCursor::getCurrentPeekLocation() const {
|
|
|
|
return ILogSystem::ServerPeekCursor::getPrimaryPeekLocation();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::ServerPeekCursor::popped() const {
|
|
|
|
return poppedVersion;
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2021-09-17 08:42:34 +08:00
|
|
|
ILogSystem::MergedPeekCursor::MergedPeekCursor(std::vector<Reference<ILogSystem::IPeekCursor>> const& serverCursors,
|
2021-03-11 02:06:03 +08:00
|
|
|
Version begin)
|
2021-07-24 15:48:13 +08:00
|
|
|
: serverCursors(serverCursors), tag(invalidTag), bestServer(-1), currentCursor(0), readQuorum(serverCursors.size()),
|
|
|
|
messageVersion(begin), hasNextMessage(false), randomID(deterministicRandom()->randomUniqueID()),
|
2021-03-11 02:06:03 +08:00
|
|
|
tLogReplicationFactor(0) {
|
2018-03-30 06:12:38 +08:00
|
|
|
sortedVersions.resize(serverCursors.size());
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ILogSystem::MergedPeekCursor::MergedPeekCursor(
|
|
|
|
std::vector<Reference<AsyncVar<OptionalInterface<TLogInterface>>>> const& logServers,
|
|
|
|
int bestServer,
|
|
|
|
int readQuorum,
|
|
|
|
Tag tag,
|
|
|
|
Version begin,
|
|
|
|
Version end,
|
|
|
|
bool parallelGetMore,
|
|
|
|
std::vector<LocalityData> const& tLogLocalities,
|
|
|
|
Reference<IReplicationPolicy> const tLogPolicy,
|
|
|
|
int tLogReplicationFactor)
|
2021-07-23 13:48:27 +08:00
|
|
|
: tag(tag), bestServer(bestServer), currentCursor(0), readQuorum(readQuorum), messageVersion(begin),
|
|
|
|
hasNextMessage(false), randomID(deterministicRandom()->randomUniqueID()),
|
2021-03-11 02:06:03 +08:00
|
|
|
tLogReplicationFactor(tLogReplicationFactor) {
|
|
|
|
if (tLogPolicy) {
|
2020-11-07 15:50:55 +08:00
|
|
|
logSet = makeReference<LogSet>();
|
2018-07-12 06:43:55 +08:00
|
|
|
logSet->tLogPolicy = tLogPolicy;
|
|
|
|
logSet->tLogLocalities = tLogLocalities;
|
|
|
|
filterLocalityDataForPolicy(logSet->tLogPolicy, &logSet->tLogLocalities);
|
|
|
|
logSet->updateLocalitySet(logSet->tLogLocalities);
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < logServers.size(); i++) {
|
|
|
|
auto cursor = makeReference<ILogSystem::ServerPeekCursor>(
|
|
|
|
logServers[i], tag, begin, end, bestServer >= 0, parallelGetMore);
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("MPC_Starting", randomID).detail("Cursor", cursor->randomID).detail("End", end);
|
2021-03-11 02:06:03 +08:00
|
|
|
serverCursors.push_back(cursor);
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
sortedVersions.resize(serverCursors.size());
|
|
|
|
}
|
|
|
|
|
2021-09-17 08:42:34 +08:00
|
|
|
ILogSystem::MergedPeekCursor::MergedPeekCursor(std::vector<Reference<ILogSystem::IPeekCursor>> const& serverCursors,
|
2021-03-11 02:06:03 +08:00
|
|
|
LogMessageVersion const& messageVersion,
|
|
|
|
int bestServer,
|
|
|
|
int readQuorum,
|
|
|
|
Optional<LogMessageVersion> nextVersion,
|
|
|
|
Reference<LogSet> logSet,
|
|
|
|
int tLogReplicationFactor)
|
2021-07-24 15:48:13 +08:00
|
|
|
: logSet(logSet), serverCursors(serverCursors), bestServer(bestServer), currentCursor(0), readQuorum(readQuorum),
|
|
|
|
nextVersion(nextVersion), messageVersion(messageVersion), hasNextMessage(false),
|
2021-03-11 02:06:03 +08:00
|
|
|
randomID(deterministicRandom()->randomUniqueID()), tLogReplicationFactor(tLogReplicationFactor) {
|
2018-03-30 06:12:38 +08:00
|
|
|
sortedVersions.resize(serverCursors.size());
|
2017-05-26 04:48:44 +08:00
|
|
|
calcHasMessage();
|
|
|
|
}
|
|
|
|
|
|
|
|
Reference<ILogSystem::IPeekCursor> ILogSystem::MergedPeekCursor::cloneNoMore() {
|
2021-09-17 08:42:34 +08:00
|
|
|
std::vector<Reference<ILogSystem::IPeekCursor>> cursors;
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto it : serverCursors) {
|
2017-05-26 04:48:44 +08:00
|
|
|
cursors.push_back(it->cloneNoMore());
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
return makeReference<ILogSystem::MergedPeekCursor>(
|
|
|
|
cursors, messageVersion, bestServer, readQuorum, nextVersion, logSet, tLogReplicationFactor);
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
void ILogSystem::MergedPeekCursor::setProtocolVersion(ProtocolVersion version) {
|
|
|
|
for (auto it : serverCursors)
|
|
|
|
if (it->hasMessage())
|
|
|
|
it->setProtocolVersion(version);
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
Arena& ILogSystem::MergedPeekCursor::arena() {
|
|
|
|
return serverCursors[currentCursor]->arena();
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ArenaReader* ILogSystem::MergedPeekCursor::reader() {
|
|
|
|
return serverCursors[currentCursor]->reader();
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
|
|
|
void ILogSystem::MergedPeekCursor::calcHasMessage() {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (bestServer >= 0) {
|
|
|
|
if (nextVersion.present())
|
|
|
|
serverCursors[bestServer]->advanceTo(nextVersion.get());
|
|
|
|
if (serverCursors[bestServer]->hasMessage()) {
|
2017-06-30 06:50:19 +08:00
|
|
|
messageVersion = serverCursors[bestServer]->version();
|
|
|
|
currentCursor = bestServer;
|
|
|
|
hasNextMessage = true;
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2017-06-30 06:50:19 +08:00
|
|
|
for (auto& c : serverCursors)
|
|
|
|
c->advanceTo(messageVersion);
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2017-06-30 06:50:19 +08:00
|
|
|
return;
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2017-06-30 06:50:19 +08:00
|
|
|
auto bestVersion = serverCursors[bestServer]->version();
|
|
|
|
for (auto& c : serverCursors)
|
|
|
|
c->advanceTo(bestVersion);
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
|
|
|
hasNextMessage = false;
|
2018-03-30 06:12:38 +08:00
|
|
|
updateMessage(false);
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (!hasNextMessage && logSet) {
|
2018-03-30 06:12:38 +08:00
|
|
|
updateMessage(true);
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2018-03-30 06:12:38 +08:00
|
|
|
void ILogSystem::MergedPeekCursor::updateMessage(bool usePolicy) {
|
2017-05-26 04:48:44 +08:00
|
|
|
loop {
|
|
|
|
bool advancedPast = false;
|
|
|
|
sortedVersions.clear();
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < serverCursors.size(); i++) {
|
2017-05-26 04:48:44 +08:00
|
|
|
auto& serverCursor = serverCursors[i];
|
2021-03-11 02:06:03 +08:00
|
|
|
if (nextVersion.present())
|
|
|
|
serverCursor->advanceTo(nextVersion.get());
|
2017-05-26 04:48:44 +08:00
|
|
|
sortedVersions.push_back(std::pair<LogMessageVersion, int>(serverCursor->version(), i));
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (usePolicy) {
|
2018-07-12 06:43:55 +08:00
|
|
|
ASSERT(logSet->tLogPolicy);
|
2018-03-30 06:12:38 +08:00
|
|
|
std::sort(sortedVersions.begin(), sortedVersions.end());
|
|
|
|
|
2018-07-12 06:43:55 +08:00
|
|
|
locations.clear();
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto sortedVersion : sortedVersions) {
|
2018-07-12 06:43:55 +08:00
|
|
|
locations.push_back(logSet->logEntryArray[sortedVersion.second]);
|
2021-03-11 02:06:03 +08:00
|
|
|
if (locations.size() >= tLogReplicationFactor && logSet->satisfiesPolicy(locations)) {
|
2018-03-30 06:12:38 +08:00
|
|
|
messageVersion = sortedVersion.first;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
2021-03-11 02:06:03 +08:00
|
|
|
std::nth_element(sortedVersions.begin(), sortedVersions.end() - readQuorum, sortedVersions.end());
|
|
|
|
messageVersion = sortedVersions[sortedVersions.size() - readQuorum].first;
|
2018-03-30 06:12:38 +08:00
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < serverCursors.size(); i++) {
|
2017-05-26 04:48:44 +08:00
|
|
|
auto& c = serverCursors[i];
|
|
|
|
auto start = c->version();
|
|
|
|
c->advanceTo(messageVersion);
|
2021-03-11 02:06:03 +08:00
|
|
|
if (start <= messageVersion && messageVersion < c->version()) {
|
2017-05-26 04:48:44 +08:00
|
|
|
advancedPast = true;
|
2021-03-11 02:06:03 +08:00
|
|
|
TEST(true); // Merge peek cursor advanced past desired sequence
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (!advancedPast)
|
2017-05-26 04:48:44 +08:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < serverCursors.size(); i++) {
|
2017-05-26 04:48:44 +08:00
|
|
|
auto& c = serverCursors[i];
|
2021-03-11 02:06:03 +08:00
|
|
|
ASSERT_WE_THINK(!c->hasMessage() ||
|
|
|
|
c->version() >= messageVersion); // Seems like the loop above makes this unconditionally true
|
2017-05-26 04:48:44 +08:00
|
|
|
if (c->version() == messageVersion && c->hasMessage()) {
|
|
|
|
hasNextMessage = true;
|
|
|
|
currentCursor = i;
|
2018-07-13 03:09:48 +08:00
|
|
|
break;
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::MergedPeekCursor::hasMessage() const {
|
2017-05-26 04:48:44 +08:00
|
|
|
return hasNextMessage;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ILogSystem::MergedPeekCursor::nextMessage() {
|
|
|
|
nextVersion = version();
|
|
|
|
nextVersion.get().sub++;
|
|
|
|
serverCursors[currentCursor]->nextMessage();
|
|
|
|
calcHasMessage();
|
|
|
|
ASSERT(hasMessage() || !version().sub);
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
StringRef ILogSystem::MergedPeekCursor::getMessage() {
|
|
|
|
return serverCursors[currentCursor]->getMessage();
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2018-07-13 03:09:48 +08:00
|
|
|
StringRef ILogSystem::MergedPeekCursor::getMessageWithTags() {
|
|
|
|
return serverCursors[currentCursor]->getMessageWithTags();
|
2018-04-09 12:24:05 +08:00
|
|
|
}
|
2018-03-17 02:40:21 +08:00
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
VectorRef<Tag> ILogSystem::MergedPeekCursor::getTags() const {
|
2017-06-30 06:50:19 +08:00
|
|
|
return serverCursors[currentCursor]->getTags();
|
|
|
|
}
|
|
|
|
|
2017-05-26 04:48:44 +08:00
|
|
|
void ILogSystem::MergedPeekCursor::advanceTo(LogMessageVersion n) {
|
2018-07-12 06:43:55 +08:00
|
|
|
bool canChange = false;
|
|
|
|
for (auto& c : serverCursors) {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (c->version() < n) {
|
2018-07-12 06:43:55 +08:00
|
|
|
canChange = true;
|
|
|
|
c->advanceTo(n);
|
|
|
|
}
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (canChange) {
|
2018-07-12 06:43:55 +08:00
|
|
|
calcHasMessage();
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ACTOR Future<Void> mergedPeekGetMore(ILogSystem::MergedPeekCursor* self,
|
|
|
|
LogMessageVersion startVersion,
|
|
|
|
TaskPriority taskID) {
|
2017-05-26 04:48:44 +08:00
|
|
|
loop {
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("MPC_GetMoreA", self->randomID).detail("Start", startVersion.toString());
|
2021-03-11 02:06:03 +08:00
|
|
|
if (self->bestServer >= 0 && self->serverCursors[self->bestServer]->isActive()) {
|
2017-05-26 04:48:44 +08:00
|
|
|
ASSERT(!self->serverCursors[self->bestServer]->hasMessage());
|
2021-03-11 02:06:03 +08:00
|
|
|
wait(self->serverCursors[self->bestServer]->getMore(taskID) ||
|
|
|
|
self->serverCursors[self->bestServer]->onFailed());
|
2017-05-26 04:48:44 +08:00
|
|
|
} else {
|
2021-09-17 08:42:34 +08:00
|
|
|
std::vector<Future<Void>> q;
|
2017-05-26 04:48:44 +08:00
|
|
|
for (auto& c : self->serverCursors)
|
|
|
|
if (!c->hasMessage())
|
2018-01-12 08:09:49 +08:00
|
|
|
q.push_back(c->getMore(taskID));
|
2018-08-11 04:57:10 +08:00
|
|
|
wait(quorum(q, 1));
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
self->calcHasMessage();
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("MPC_GetMoreB", self->randomID).detail("HasMessage", self->hasMessage()).detail("Start", startVersion.toString()).detail("Seq", self->version().toString());
|
2018-04-09 12:24:05 +08:00
|
|
|
if (self->hasMessage() || self->version() > startVersion) {
|
2017-05-26 04:48:44 +08:00
|
|
|
return Void();
|
2018-04-09 12:24:05 +08:00
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-06-25 17:47:35 +08:00
|
|
|
Future<Void> ILogSystem::MergedPeekCursor::getMore(TaskPriority taskID) {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (more.isValid() && !more.isReady()) {
|
2019-11-05 11:47:45 +08:00
|
|
|
return more;
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
|
|
|
|
if (!serverCursors.size())
|
2017-06-30 06:50:19 +08:00
|
|
|
return Never();
|
2021-03-11 02:06:03 +08:00
|
|
|
|
2017-05-26 04:48:44 +08:00
|
|
|
auto startVersion = version();
|
|
|
|
calcHasMessage();
|
2021-03-11 02:06:03 +08:00
|
|
|
if (hasMessage())
|
2017-05-26 04:48:44 +08:00
|
|
|
return Void();
|
|
|
|
if (nextVersion.present())
|
|
|
|
advanceTo(nextVersion.get());
|
|
|
|
ASSERT(!hasMessage());
|
|
|
|
if (version() > startVersion)
|
|
|
|
return Void();
|
|
|
|
|
2019-11-05 11:47:45 +08:00
|
|
|
more = mergedPeekGetMore(this, startVersion, taskID);
|
|
|
|
return more;
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
Future<Void> ILogSystem::MergedPeekCursor::onFailed() {
|
|
|
|
ASSERT(false);
|
|
|
|
return Never();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::MergedPeekCursor::isActive() const {
|
2017-05-26 04:48:44 +08:00
|
|
|
ASSERT(false);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::MergedPeekCursor::isExhausted() const {
|
2018-04-24 13:03:55 +08:00
|
|
|
return serverCursors[currentCursor]->isExhausted();
|
2017-07-16 06:15:03 +08:00
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
const LogMessageVersion& ILogSystem::MergedPeekCursor::version() const {
|
|
|
|
return messageVersion;
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::MergedPeekCursor::getMinKnownCommittedVersion() const {
|
2018-06-22 06:29:46 +08:00
|
|
|
return serverCursors[currentCursor]->getMinKnownCommittedVersion();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Optional<UID> ILogSystem::MergedPeekCursor::getPrimaryPeekLocation() const {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (bestServer >= 0) {
|
2020-03-06 10:17:06 +08:00
|
|
|
return serverCursors[bestServer]->getPrimaryPeekLocation();
|
|
|
|
}
|
|
|
|
return Optional<UID>();
|
|
|
|
}
|
|
|
|
|
2021-05-12 04:03:21 +08:00
|
|
|
Optional<UID> ILogSystem::MergedPeekCursor::getCurrentPeekLocation() const {
|
|
|
|
if (currentCursor >= 0) {
|
|
|
|
return serverCursors[currentCursor]->getPrimaryPeekLocation();
|
|
|
|
}
|
|
|
|
return Optional<UID>();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::MergedPeekCursor::popped() const {
|
2017-05-26 04:48:44 +08:00
|
|
|
Version poppedVersion = 0;
|
|
|
|
for (auto& c : serverCursors)
|
|
|
|
poppedVersion = std::max(poppedVersion, c->popped());
|
|
|
|
return poppedVersion;
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ILogSystem::SetPeekCursor::SetPeekCursor(std::vector<Reference<LogSet>> const& logSets,
|
|
|
|
int bestSet,
|
|
|
|
int bestServer,
|
|
|
|
Tag tag,
|
|
|
|
Version begin,
|
|
|
|
Version end,
|
|
|
|
bool parallelGetMore)
|
2021-07-24 15:48:13 +08:00
|
|
|
: logSets(logSets), tag(tag), bestSet(bestSet), bestServer(bestServer), currentSet(bestSet), currentCursor(0),
|
|
|
|
messageVersion(begin), hasNextMessage(false), useBestSet(true), randomID(deterministicRandom()->randomUniqueID()) {
|
2017-07-11 08:41:32 +08:00
|
|
|
serverCursors.resize(logSets.size());
|
|
|
|
int maxServers = 0;
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < logSets.size(); i++) {
|
|
|
|
for (int j = 0; j < logSets[i]->logServers.size(); j++) {
|
|
|
|
auto cursor = makeReference<ILogSystem::ServerPeekCursor>(
|
|
|
|
logSets[i]->logServers[j], tag, begin, end, true, parallelGetMore);
|
|
|
|
serverCursors[i].push_back(cursor);
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
maxServers = std::max<int>(maxServers, serverCursors[i].size());
|
|
|
|
}
|
|
|
|
sortedVersions.resize(maxServers);
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ILogSystem::SetPeekCursor::SetPeekCursor(std::vector<Reference<LogSet>> const& logSets,
|
|
|
|
std::vector<std::vector<Reference<IPeekCursor>>> const& serverCursors,
|
|
|
|
LogMessageVersion const& messageVersion,
|
|
|
|
int bestSet,
|
|
|
|
int bestServer,
|
|
|
|
Optional<LogMessageVersion> nextVersion,
|
|
|
|
bool useBestSet)
|
2021-07-24 15:48:13 +08:00
|
|
|
: logSets(logSets), serverCursors(serverCursors), bestSet(bestSet), bestServer(bestServer), currentSet(bestSet),
|
|
|
|
currentCursor(0), nextVersion(nextVersion), messageVersion(messageVersion), hasNextMessage(false),
|
2021-03-11 02:06:03 +08:00
|
|
|
useBestSet(useBestSet), randomID(deterministicRandom()->randomUniqueID()) {
|
2018-04-26 09:20:28 +08:00
|
|
|
int maxServers = 0;
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < logSets.size(); i++) {
|
2018-04-26 09:20:28 +08:00
|
|
|
maxServers = std::max<int>(maxServers, serverCursors[i].size());
|
|
|
|
}
|
|
|
|
sortedVersions.resize(maxServers);
|
|
|
|
calcHasMessage();
|
|
|
|
}
|
|
|
|
|
2017-07-11 08:41:32 +08:00
|
|
|
Reference<ILogSystem::IPeekCursor> ILogSystem::SetPeekCursor::cloneNoMore() {
|
2021-09-17 08:42:34 +08:00
|
|
|
std::vector<std::vector<Reference<ILogSystem::IPeekCursor>>> cursors;
|
2018-04-26 09:20:28 +08:00
|
|
|
cursors.resize(logSets.size());
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < logSets.size(); i++) {
|
|
|
|
for (int j = 0; j < logSets[i]->logServers.size(); j++) {
|
|
|
|
cursors[i].push_back(serverCursors[i][j]->cloneNoMore());
|
2018-04-26 09:20:28 +08:00
|
|
|
}
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
return makeReference<ILogSystem::SetPeekCursor>(
|
|
|
|
logSets, cursors, messageVersion, bestSet, bestServer, nextVersion, useBestSet);
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
void ILogSystem::SetPeekCursor::setProtocolVersion(ProtocolVersion version) {
|
|
|
|
for (auto& cursors : serverCursors) {
|
|
|
|
for (auto& it : cursors) {
|
|
|
|
if (it->hasMessage()) {
|
|
|
|
it->setProtocolVersion(version);
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
Arena& ILogSystem::SetPeekCursor::arena() {
|
|
|
|
return serverCursors[currentSet][currentCursor]->arena();
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ArenaReader* ILogSystem::SetPeekCursor::reader() {
|
|
|
|
return serverCursors[currentSet][currentCursor]->reader();
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
|
|
|
|
void ILogSystem::SetPeekCursor::calcHasMessage() {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (bestSet >= 0 && bestServer >= 0) {
|
|
|
|
if (nextVersion.present()) {
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("LPC_CalcNext").detail("Ver", messageVersion.toString()).detail("Tag", tag.toString()).detail("HasNextMessage", hasNextMessage).detail("NextVersion", nextVersion.get().toString());
|
2021-03-11 02:06:03 +08:00
|
|
|
serverCursors[bestSet][bestServer]->advanceTo(nextVersion.get());
|
2017-09-08 06:32:08 +08:00
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (serverCursors[bestSet][bestServer]->hasMessage()) {
|
2017-09-08 06:32:08 +08:00
|
|
|
messageVersion = serverCursors[bestSet][bestServer]->version();
|
|
|
|
currentSet = bestSet;
|
|
|
|
currentCursor = bestServer;
|
|
|
|
hasNextMessage = true;
|
2017-07-11 08:41:32 +08:00
|
|
|
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("LPC_Calc1").detail("Ver", messageVersion.toString()).detail("Tag", tag.toString()).detail("HasNextMessage", hasNextMessage);
|
2017-09-08 06:32:08 +08:00
|
|
|
|
|
|
|
for (auto& cursors : serverCursors) {
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto& c : cursors) {
|
2017-09-08 06:32:08 +08:00
|
|
|
c->advanceTo(messageVersion);
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
|
2017-09-08 06:32:08 +08:00
|
|
|
return;
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
|
2017-09-08 06:32:08 +08:00
|
|
|
auto bestVersion = serverCursors[bestSet][bestServer]->version();
|
|
|
|
for (auto& cursors : serverCursors) {
|
|
|
|
for (auto& c : cursors) {
|
|
|
|
c->advanceTo(bestVersion);
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-07-16 06:15:03 +08:00
|
|
|
hasNextMessage = false;
|
2021-03-11 02:06:03 +08:00
|
|
|
if (useBestSet) {
|
2017-07-11 08:41:32 +08:00
|
|
|
updateMessage(bestSet, false); // Use Quorum logic
|
|
|
|
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("LPC_Calc2").detail("Ver", messageVersion.toString()).detail("Tag", tag.toString()).detail("HasNextMessage", hasNextMessage);
|
2021-03-11 02:06:03 +08:00
|
|
|
if (!hasNextMessage) {
|
2017-07-11 08:41:32 +08:00
|
|
|
updateMessage(bestSet, true);
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("LPC_Calc3").detail("Ver", messageVersion.toString()).detail("Tag", tag.toString()).detail("HasNextMessage", hasNextMessage);
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
} else {
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < logSets.size() && !hasNextMessage; i++) {
|
|
|
|
if (i != bestSet) {
|
2017-07-11 08:41:32 +08:00
|
|
|
updateMessage(i, false); // Use Quorum logic
|
|
|
|
}
|
|
|
|
}
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("LPC_Calc4").detail("Ver", messageVersion.toString()).detail("Tag", tag.toString()).detail("HasNextMessage", hasNextMessage);
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < logSets.size() && !hasNextMessage; i++) {
|
|
|
|
if (i != bestSet) {
|
2017-07-11 08:41:32 +08:00
|
|
|
updateMessage(i, true);
|
|
|
|
}
|
|
|
|
}
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("LPC_Calc5").detail("Ver", messageVersion.toString()).detail("Tag", tag.toString()).detail("HasNextMessage", hasNextMessage);
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void ILogSystem::SetPeekCursor::updateMessage(int logIdx, bool usePolicy) {
|
|
|
|
loop {
|
|
|
|
bool advancedPast = false;
|
|
|
|
sortedVersions.clear();
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < serverCursors[logIdx].size(); i++) {
|
2017-07-14 03:29:21 +08:00
|
|
|
auto& serverCursor = serverCursors[logIdx][i];
|
2021-03-11 02:06:03 +08:00
|
|
|
if (nextVersion.present())
|
|
|
|
serverCursor->advanceTo(nextVersion.get());
|
2017-07-14 03:29:21 +08:00
|
|
|
sortedVersions.push_back(std::pair<LogMessageVersion, int>(serverCursor->version(), i));
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("LPC_Update1").detail("Ver", messageVersion.toString()).detail("Tag", tag.toString()).detail("HasNextMessage", hasNextMessage).detail("ServerVer", serverCursor->version().toString()).detail("I", i);
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (usePolicy) {
|
2017-07-11 08:41:32 +08:00
|
|
|
std::sort(sortedVersions.begin(), sortedVersions.end());
|
2018-07-12 06:43:55 +08:00
|
|
|
locations.clear();
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto sortedVersion : sortedVersions) {
|
2018-07-12 06:43:55 +08:00
|
|
|
locations.push_back(logSets[logIdx]->logEntryArray[sortedVersion.second]);
|
2021-03-11 02:06:03 +08:00
|
|
|
if (locations.size() >= logSets[logIdx]->tLogReplicationFactor &&
|
|
|
|
logSets[logIdx]->satisfiesPolicy(locations)) {
|
2017-07-11 08:41:32 +08:00
|
|
|
messageVersion = sortedVersion.first;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
//(int)oldLogData[i].logServers.size() + 1 - oldLogData[i].tLogReplicationFactor
|
2021-03-11 02:06:03 +08:00
|
|
|
std::nth_element(sortedVersions.begin(),
|
|
|
|
sortedVersions.end() -
|
|
|
|
(logSets[logIdx]->logServers.size() + 1 - logSets[logIdx]->tLogReplicationFactor),
|
|
|
|
sortedVersions.end());
|
|
|
|
messageVersion = sortedVersions[sortedVersions.size() - (logSets[logIdx]->logServers.size() + 1 -
|
|
|
|
logSets[logIdx]->tLogReplicationFactor)]
|
|
|
|
.first;
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
|
2017-09-08 06:32:08 +08:00
|
|
|
for (auto& cursors : serverCursors) {
|
|
|
|
for (auto& c : cursors) {
|
|
|
|
auto start = c->version();
|
|
|
|
c->advanceTo(messageVersion);
|
2021-03-11 02:06:03 +08:00
|
|
|
if (start <= messageVersion && messageVersion < c->version()) {
|
2017-09-08 06:32:08 +08:00
|
|
|
advancedPast = true;
|
2021-03-11 02:06:03 +08:00
|
|
|
TEST(true); // Merge peek cursor with logIdx advanced past desired sequence
|
2017-09-08 06:32:08 +08:00
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (!advancedPast)
|
2017-07-11 08:41:32 +08:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < serverCursors[logIdx].size(); i++) {
|
2017-07-11 08:41:32 +08:00
|
|
|
auto& c = serverCursors[logIdx][i];
|
2021-03-11 02:06:03 +08:00
|
|
|
ASSERT_WE_THINK(!c->hasMessage() ||
|
|
|
|
c->version() >= messageVersion); // Seems like the loop above makes this unconditionally true
|
2017-07-11 08:41:32 +08:00
|
|
|
if (c->version() == messageVersion && c->hasMessage()) {
|
|
|
|
hasNextMessage = true;
|
|
|
|
currentSet = logIdx;
|
|
|
|
currentCursor = i;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::SetPeekCursor::hasMessage() const {
|
2017-07-11 08:41:32 +08:00
|
|
|
return hasNextMessage;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ILogSystem::SetPeekCursor::nextMessage() {
|
|
|
|
nextVersion = version();
|
|
|
|
nextVersion.get().sub++;
|
|
|
|
serverCursors[currentSet][currentCursor]->nextMessage();
|
|
|
|
calcHasMessage();
|
|
|
|
ASSERT(hasMessage() || !version().sub);
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
StringRef ILogSystem::SetPeekCursor::getMessage() {
|
|
|
|
return serverCursors[currentSet][currentCursor]->getMessage();
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
StringRef ILogSystem::SetPeekCursor::getMessageWithTags() {
|
|
|
|
return serverCursors[currentSet][currentCursor]->getMessageWithTags();
|
|
|
|
}
|
2018-03-17 02:40:21 +08:00
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
VectorRef<Tag> ILogSystem::SetPeekCursor::getTags() const {
|
2017-07-11 08:41:32 +08:00
|
|
|
return serverCursors[currentSet][currentCursor]->getTags();
|
|
|
|
}
|
|
|
|
|
|
|
|
void ILogSystem::SetPeekCursor::advanceTo(LogMessageVersion n) {
|
2018-07-12 06:43:55 +08:00
|
|
|
bool canChange = false;
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto& cursors : serverCursors) {
|
2017-07-11 08:41:32 +08:00
|
|
|
for (auto& c : cursors) {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (c->version() < n) {
|
2018-07-12 06:43:55 +08:00
|
|
|
canChange = true;
|
|
|
|
c->advanceTo(n);
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (canChange) {
|
2018-07-12 06:43:55 +08:00
|
|
|
calcHasMessage();
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ACTOR Future<Void> setPeekGetMore(ILogSystem::SetPeekCursor* self,
|
|
|
|
LogMessageVersion startVersion,
|
|
|
|
TaskPriority taskID) {
|
2017-07-11 08:41:32 +08:00
|
|
|
loop {
|
2020-03-27 03:39:07 +08:00
|
|
|
//TraceEvent("LPC_GetMore1", self->randomID).detail("Start", startVersion.toString()).detail("Tag", self->tag.toString());
|
2021-03-11 02:06:03 +08:00
|
|
|
if (self->bestServer >= 0 && self->bestSet >= 0 &&
|
|
|
|
self->serverCursors[self->bestSet][self->bestServer]->isActive()) {
|
2017-07-11 08:41:32 +08:00
|
|
|
ASSERT(!self->serverCursors[self->bestSet][self->bestServer]->hasMessage());
|
2020-03-27 03:39:07 +08:00
|
|
|
//TraceEvent("LPC_GetMore2", self->randomID).detail("Start", startVersion.toString()).detail("Tag", self->tag.toString());
|
2021-03-11 02:06:03 +08:00
|
|
|
wait(self->serverCursors[self->bestSet][self->bestServer]->getMore(taskID) ||
|
|
|
|
self->serverCursors[self->bestSet][self->bestServer]->onFailed());
|
2017-07-11 08:41:32 +08:00
|
|
|
self->useBestSet = true;
|
|
|
|
} else {
|
2021-03-11 02:06:03 +08:00
|
|
|
// FIXME: if best set is exhausted, do not peek remote servers
|
2017-07-11 08:41:32 +08:00
|
|
|
bool bestSetValid = self->bestSet >= 0;
|
2021-03-11 02:06:03 +08:00
|
|
|
if (bestSetValid) {
|
2018-07-12 06:43:55 +08:00
|
|
|
self->locations.clear();
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < self->serverCursors[self->bestSet].size(); i++) {
|
|
|
|
if (!self->serverCursors[self->bestSet][i]->isActive() &&
|
|
|
|
self->serverCursors[self->bestSet][i]->version() <= self->messageVersion) {
|
2018-07-12 06:43:55 +08:00
|
|
|
self->locations.push_back(self->logSets[self->bestSet]->logEntryArray[i]);
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
bestSetValid = self->locations.size() < self->logSets[self->bestSet]->tLogReplicationFactor ||
|
|
|
|
!self->logSets[self->bestSet]->satisfiesPolicy(self->locations);
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (bestSetValid || self->logSets.size() == 1) {
|
|
|
|
if (!self->useBestSet) {
|
2017-10-20 06:36:32 +08:00
|
|
|
self->useBestSet = true;
|
|
|
|
self->calcHasMessage();
|
|
|
|
if (self->hasMessage() || self->version() > startVersion)
|
|
|
|
return Void();
|
|
|
|
}
|
2018-07-12 06:43:55 +08:00
|
|
|
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("LPC_GetMore3", self->randomID).detail("Start", startVersion.toString()).detail("Tag", self->tag.toString()).detail("BestSetSize", self->serverCursors[self->bestSet].size());
|
2021-09-17 08:42:34 +08:00
|
|
|
std::vector<Future<Void>> q;
|
2017-07-11 08:41:32 +08:00
|
|
|
for (auto& c : self->serverCursors[self->bestSet]) {
|
|
|
|
if (!c->hasMessage()) {
|
2018-01-17 02:48:50 +08:00
|
|
|
q.push_back(c->getMore(taskID));
|
2021-03-11 02:06:03 +08:00
|
|
|
if (c->isActive()) {
|
2017-10-25 06:09:31 +08:00
|
|
|
q.push_back(c->onFailed());
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
}
|
2018-08-11 04:57:10 +08:00
|
|
|
wait(quorum(q, 1));
|
2017-07-11 08:41:32 +08:00
|
|
|
} else {
|
2021-03-11 02:06:03 +08:00
|
|
|
// FIXME: this will peeking way too many cursors when satellites exist, and does not need to peek
|
|
|
|
// bestSet cursors since we cannot get anymore data from them
|
2021-09-17 08:42:34 +08:00
|
|
|
std::vector<Future<Void>> q;
|
2020-03-27 03:39:07 +08:00
|
|
|
//TraceEvent("LPC_GetMore4", self->randomID).detail("Start", startVersion.toString()).detail("Tag", self->tag.toString());
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto& cursors : self->serverCursors) {
|
|
|
|
for (auto& c : cursors) {
|
2017-07-11 08:41:32 +08:00
|
|
|
if (!c->hasMessage()) {
|
2018-01-17 02:48:50 +08:00
|
|
|
q.push_back(c->getMore(taskID));
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-08-11 04:57:10 +08:00
|
|
|
wait(quorum(q, 1));
|
2017-07-11 08:41:32 +08:00
|
|
|
self->useBestSet = false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
self->calcHasMessage();
|
2018-06-09 02:11:08 +08:00
|
|
|
//TraceEvent("LPC_GetMoreB", self->randomID).detail("HasMessage", self->hasMessage()).detail("Start", startVersion.toString()).detail("Seq", self->version().toString());
|
2017-07-11 08:41:32 +08:00
|
|
|
if (self->hasMessage() || self->version() > startVersion)
|
|
|
|
return Void();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-06-25 17:47:35 +08:00
|
|
|
Future<Void> ILogSystem::SetPeekCursor::getMore(TaskPriority taskID) {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (more.isValid() && !more.isReady()) {
|
2019-11-05 11:47:45 +08:00
|
|
|
return more;
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
|
2017-07-11 08:41:32 +08:00
|
|
|
auto startVersion = version();
|
|
|
|
calcHasMessage();
|
2021-03-11 02:06:03 +08:00
|
|
|
if (hasMessage())
|
2017-07-11 08:41:32 +08:00
|
|
|
return Void();
|
|
|
|
if (nextVersion.present())
|
|
|
|
advanceTo(nextVersion.get());
|
|
|
|
ASSERT(!hasMessage());
|
|
|
|
if (version() > startVersion)
|
|
|
|
return Void();
|
|
|
|
|
2019-11-05 11:47:45 +08:00
|
|
|
more = setPeekGetMore(this, startVersion, taskID);
|
|
|
|
return more;
|
2017-07-11 08:41:32 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
Future<Void> ILogSystem::SetPeekCursor::onFailed() {
|
|
|
|
ASSERT(false);
|
|
|
|
return Never();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::SetPeekCursor::isActive() const {
|
2017-07-11 08:41:32 +08:00
|
|
|
ASSERT(false);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::SetPeekCursor::isExhausted() const {
|
2018-04-24 13:03:55 +08:00
|
|
|
return serverCursors[currentSet][currentCursor]->isExhausted();
|
2017-07-16 06:15:03 +08:00
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
const LogMessageVersion& ILogSystem::SetPeekCursor::version() const {
|
|
|
|
return messageVersion;
|
|
|
|
}
|
2017-07-11 08:41:32 +08:00
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::SetPeekCursor::getMinKnownCommittedVersion() const {
|
2018-06-22 06:29:46 +08:00
|
|
|
return serverCursors[currentSet][currentCursor]->getMinKnownCommittedVersion();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Optional<UID> ILogSystem::SetPeekCursor::getPrimaryPeekLocation() const {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (bestServer >= 0 && bestSet >= 0) {
|
2020-03-06 10:17:06 +08:00
|
|
|
return serverCursors[bestSet][bestServer]->getPrimaryPeekLocation();
|
|
|
|
}
|
|
|
|
return Optional<UID>();
|
|
|
|
}
|
|
|
|
|
2021-05-12 04:03:21 +08:00
|
|
|
Optional<UID> ILogSystem::SetPeekCursor::getCurrentPeekLocation() const {
|
|
|
|
if (currentCursor >= 0 && currentSet >= 0) {
|
|
|
|
return serverCursors[currentSet][currentCursor]->getPrimaryPeekLocation();
|
|
|
|
}
|
|
|
|
return Optional<UID>();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::SetPeekCursor::popped() const {
|
2017-07-11 08:41:32 +08:00
|
|
|
Version poppedVersion = 0;
|
|
|
|
for (auto& cursors : serverCursors) {
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto& c : cursors) {
|
2017-07-11 08:41:32 +08:00
|
|
|
poppedVersion = std::max(poppedVersion, c->popped());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return poppedVersion;
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ILogSystem::MultiCursor::MultiCursor(std::vector<Reference<IPeekCursor>> cursors,
|
|
|
|
std::vector<LogMessageVersion> epochEnds)
|
|
|
|
: cursors(cursors), epochEnds(epochEnds), poppedVersion(0) {
|
|
|
|
for (int i = 0; i < std::min<int>(cursors.size(), SERVER_KNOBS->MULTI_CURSOR_PRE_FETCH_LIMIT); i++) {
|
|
|
|
cursors[cursors.size() - i - 1]->getMore();
|
2018-10-04 04:57:45 +08:00
|
|
|
}
|
|
|
|
}
|
2017-05-26 04:48:44 +08:00
|
|
|
|
|
|
|
Reference<ILogSystem::IPeekCursor> ILogSystem::MultiCursor::cloneNoMore() {
|
|
|
|
return cursors.back()->cloneNoMore();
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
void ILogSystem::MultiCursor::setProtocolVersion(ProtocolVersion version) {
|
2017-05-26 04:48:44 +08:00
|
|
|
cursors.back()->setProtocolVersion(version);
|
|
|
|
}
|
|
|
|
|
|
|
|
Arena& ILogSystem::MultiCursor::arena() {
|
|
|
|
return cursors.back()->arena();
|
|
|
|
}
|
|
|
|
|
|
|
|
ArenaReader* ILogSystem::MultiCursor::reader() {
|
|
|
|
return cursors.back()->reader();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::MultiCursor::hasMessage() const {
|
2017-05-26 04:48:44 +08:00
|
|
|
return cursors.back()->hasMessage();
|
|
|
|
}
|
|
|
|
|
|
|
|
void ILogSystem::MultiCursor::nextMessage() {
|
|
|
|
cursors.back()->nextMessage();
|
|
|
|
}
|
|
|
|
|
|
|
|
StringRef ILogSystem::MultiCursor::getMessage() {
|
|
|
|
return cursors.back()->getMessage();
|
|
|
|
}
|
|
|
|
|
2018-03-17 02:40:21 +08:00
|
|
|
StringRef ILogSystem::MultiCursor::getMessageWithTags() {
|
|
|
|
return cursors.back()->getMessageWithTags();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
VectorRef<Tag> ILogSystem::MultiCursor::getTags() const {
|
2017-06-30 06:50:19 +08:00
|
|
|
return cursors.back()->getTags();
|
|
|
|
}
|
|
|
|
|
2017-05-26 04:48:44 +08:00
|
|
|
void ILogSystem::MultiCursor::advanceTo(LogMessageVersion n) {
|
2021-03-11 02:06:03 +08:00
|
|
|
while (cursors.size() > 1 && n >= epochEnds.back()) {
|
2019-07-30 12:19:47 +08:00
|
|
|
poppedVersion = std::max(poppedVersion, cursors.back()->popped());
|
2017-05-26 04:48:44 +08:00
|
|
|
cursors.pop_back();
|
|
|
|
epochEnds.pop_back();
|
|
|
|
}
|
|
|
|
cursors.back()->advanceTo(n);
|
|
|
|
}
|
|
|
|
|
2019-06-25 17:47:35 +08:00
|
|
|
Future<Void> ILogSystem::MultiCursor::getMore(TaskPriority taskID) {
|
2018-11-05 12:26:23 +08:00
|
|
|
LogMessageVersion startVersion = cursors.back()->version();
|
2021-03-11 02:06:03 +08:00
|
|
|
while (cursors.size() > 1 && cursors.back()->version() >= epochEnds.back()) {
|
2019-07-30 12:19:47 +08:00
|
|
|
poppedVersion = std::max(poppedVersion, cursors.back()->popped());
|
2017-05-26 04:48:44 +08:00
|
|
|
cursors.pop_back();
|
|
|
|
epochEnds.pop_back();
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (cursors.back()->version() > startVersion) {
|
2018-11-03 04:04:09 +08:00
|
|
|
return Void();
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
2018-01-12 08:09:49 +08:00
|
|
|
return cursors.back()->getMore(taskID);
|
2017-05-26 04:48:44 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
Future<Void> ILogSystem::MultiCursor::onFailed() {
|
|
|
|
return cursors.back()->onFailed();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::MultiCursor::isActive() const {
|
2017-05-26 04:48:44 +08:00
|
|
|
return cursors.back()->isActive();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::MultiCursor::isExhausted() const {
|
2018-04-24 13:03:55 +08:00
|
|
|
return cursors.back()->isExhausted();
|
2017-07-16 06:15:03 +08:00
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
const LogMessageVersion& ILogSystem::MultiCursor::version() const {
|
2017-05-26 04:48:44 +08:00
|
|
|
return cursors.back()->version();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::MultiCursor::getMinKnownCommittedVersion() const {
|
2018-06-22 06:29:46 +08:00
|
|
|
return cursors.back()->getMinKnownCommittedVersion();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Optional<UID> ILogSystem::MultiCursor::getPrimaryPeekLocation() const {
|
2020-03-06 10:17:06 +08:00
|
|
|
return cursors.back()->getPrimaryPeekLocation();
|
|
|
|
}
|
|
|
|
|
2021-05-12 04:03:21 +08:00
|
|
|
Optional<UID> ILogSystem::MultiCursor::getCurrentPeekLocation() const {
|
|
|
|
return cursors.back()->getCurrentPeekLocation();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::MultiCursor::popped() const {
|
2017-05-26 04:48:44 +08:00
|
|
|
return std::max(poppedVersion, cursors.back()->popped());
|
|
|
|
}
|
2018-07-13 03:09:48 +08:00
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ILogSystem::BufferedCursor::BufferedCursor(std::vector<Reference<IPeekCursor>> cursors,
|
|
|
|
Version begin,
|
|
|
|
Version end,
|
|
|
|
bool withTags,
|
|
|
|
bool collectTags,
|
|
|
|
bool canDiscardPopped)
|
2021-07-24 15:23:06 +08:00
|
|
|
: cursors(cursors), messageIndex(0), messageVersion(begin), end(end), hasNextMessage(false), withTags(withTags),
|
2021-07-24 15:48:13 +08:00
|
|
|
knownUnique(false), minKnownCommittedVersion(0), poppedVersion(0), initialPoppedVersion(0),
|
|
|
|
canDiscardPopped(canDiscardPopped), randomID(deterministicRandom()->randomUniqueID()), collectTags(collectTags) {
|
2021-03-11 02:06:03 +08:00
|
|
|
targetQueueSize = SERVER_KNOBS->DESIRED_OUTSTANDING_MESSAGES / cursors.size();
|
2019-11-05 12:21:38 +08:00
|
|
|
messages.reserve(SERVER_KNOBS->DESIRED_OUTSTANDING_MESSAGES);
|
2019-11-05 11:47:45 +08:00
|
|
|
cursorMessages.resize(cursors.size());
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ILogSystem::BufferedCursor::BufferedCursor(
|
|
|
|
std::vector<Reference<AsyncVar<OptionalInterface<TLogInterface>>>> const& logServers,
|
|
|
|
Tag tag,
|
|
|
|
Version begin,
|
|
|
|
Version end,
|
|
|
|
bool parallelGetMore)
|
2021-07-24 15:48:13 +08:00
|
|
|
: messageIndex(0), messageVersion(begin), end(end), hasNextMessage(false), withTags(true), knownUnique(true),
|
|
|
|
minKnownCommittedVersion(0), poppedVersion(0), initialPoppedVersion(0), canDiscardPopped(false),
|
2021-07-23 13:48:27 +08:00
|
|
|
randomID(deterministicRandom()->randomUniqueID()), collectTags(false) {
|
2021-03-11 02:06:03 +08:00
|
|
|
targetQueueSize = SERVER_KNOBS->DESIRED_OUTSTANDING_MESSAGES / logServers.size();
|
2019-11-05 12:21:38 +08:00
|
|
|
messages.reserve(SERVER_KNOBS->DESIRED_OUTSTANDING_MESSAGES);
|
2019-11-05 11:47:45 +08:00
|
|
|
cursorMessages.resize(logServers.size());
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < logServers.size(); i++) {
|
2020-11-07 15:50:55 +08:00
|
|
|
auto cursor =
|
|
|
|
makeReference<ILogSystem::ServerPeekCursor>(logServers[i], tag, begin, end, false, parallelGetMore);
|
2021-03-11 02:06:03 +08:00
|
|
|
cursors.push_back(cursor);
|
2019-11-05 11:47:45 +08:00
|
|
|
}
|
2018-07-13 03:09:48 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void ILogSystem::BufferedCursor::combineMessages() {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (!hasNextMessage) {
|
2018-07-13 03:09:48 +08:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2019-11-06 10:32:15 +08:00
|
|
|
std::vector<Tag> tags;
|
2018-07-13 03:09:48 +08:00
|
|
|
tags.push_back(messages[messageIndex].tags[0]);
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = messageIndex + 1; i < messages.size() && messages[messageIndex].version == messages[i].version; i++) {
|
2018-07-13 03:09:48 +08:00
|
|
|
tags.push_back(messages[i].tags[0]);
|
|
|
|
messageIndex = i;
|
|
|
|
}
|
|
|
|
auto& msg = messages[messageIndex];
|
|
|
|
BinaryWriter messageWriter(Unversioned());
|
2021-03-11 02:06:03 +08:00
|
|
|
messageWriter << uint32_t(msg.message.size() + sizeof(uint32_t) + sizeof(uint16_t) + tags.size() * sizeof(Tag))
|
|
|
|
<< msg.version.sub << uint16_t(tags.size());
|
|
|
|
for (auto t : tags) {
|
2018-07-13 03:09:48 +08:00
|
|
|
messageWriter << t;
|
|
|
|
}
|
|
|
|
messageWriter.serializeBytes(msg.message);
|
2019-03-29 02:52:50 +08:00
|
|
|
Standalone<StringRef> val = messageWriter.toValue();
|
|
|
|
msg.arena = val.arena();
|
|
|
|
msg.message = val;
|
2019-11-06 10:44:30 +08:00
|
|
|
msg.tags = VectorRef<Tag>();
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto t : tags) {
|
2019-11-06 10:44:30 +08:00
|
|
|
msg.tags.push_back(msg.arena, t);
|
|
|
|
}
|
2018-07-13 03:09:48 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
Reference<ILogSystem::IPeekCursor> ILogSystem::BufferedCursor::cloneNoMore() {
|
|
|
|
ASSERT(false);
|
|
|
|
return Reference<ILogSystem::IPeekCursor>();
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
void ILogSystem::BufferedCursor::setProtocolVersion(ProtocolVersion version) {
|
|
|
|
for (auto& c : cursors) {
|
2018-07-13 03:09:48 +08:00
|
|
|
c->setProtocolVersion(version);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Arena& ILogSystem::BufferedCursor::arena() {
|
|
|
|
return messages[messageIndex].arena;
|
|
|
|
}
|
|
|
|
|
|
|
|
ArenaReader* ILogSystem::BufferedCursor::reader() {
|
|
|
|
ASSERT(false);
|
|
|
|
return cursors[0]->reader();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::BufferedCursor::hasMessage() const {
|
2018-07-13 03:09:48 +08:00
|
|
|
return hasNextMessage;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ILogSystem::BufferedCursor::nextMessage() {
|
|
|
|
messageIndex++;
|
2021-03-11 02:06:03 +08:00
|
|
|
if (messageIndex == messages.size()) {
|
2018-07-13 03:09:48 +08:00
|
|
|
hasNextMessage = false;
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (collectTags) {
|
2018-07-13 03:09:48 +08:00
|
|
|
combineMessages();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
StringRef ILogSystem::BufferedCursor::getMessage() {
|
2019-06-20 09:15:09 +08:00
|
|
|
ASSERT(!withTags);
|
|
|
|
return messages[messageIndex].message;
|
2018-07-13 03:09:48 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
StringRef ILogSystem::BufferedCursor::getMessageWithTags() {
|
2019-06-20 09:15:09 +08:00
|
|
|
ASSERT(withTags);
|
2018-07-13 03:09:48 +08:00
|
|
|
return messages[messageIndex].message;
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
VectorRef<Tag> ILogSystem::BufferedCursor::getTags() const {
|
2019-06-20 09:15:09 +08:00
|
|
|
ASSERT(withTags);
|
2018-07-13 03:09:48 +08:00
|
|
|
return messages[messageIndex].tags;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ILogSystem::BufferedCursor::advanceTo(LogMessageVersion n) {
|
|
|
|
ASSERT(false);
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ACTOR Future<Void> bufferedGetMoreLoader(ILogSystem::BufferedCursor* self,
|
|
|
|
Reference<ILogSystem::IPeekCursor> cursor,
|
|
|
|
int idx,
|
|
|
|
TaskPriority taskID) {
|
2018-07-13 03:09:48 +08:00
|
|
|
loop {
|
2018-08-11 04:57:10 +08:00
|
|
|
wait(yield());
|
2021-03-11 02:06:03 +08:00
|
|
|
if (cursor->version().version >= self->end || self->cursorMessages[idx].size() > self->targetQueueSize) {
|
2019-11-05 11:47:45 +08:00
|
|
|
return Void();
|
|
|
|
}
|
2019-10-24 14:06:02 +08:00
|
|
|
wait(cursor->getMore(taskID));
|
|
|
|
self->poppedVersion = std::max(self->poppedVersion, cursor->popped());
|
2021-03-11 02:06:03 +08:00
|
|
|
self->minKnownCommittedVersion =
|
|
|
|
std::max(self->minKnownCommittedVersion, cursor->getMinKnownCommittedVersion());
|
|
|
|
if (self->canDiscardPopped) {
|
2019-10-24 14:06:02 +08:00
|
|
|
self->initialPoppedVersion = std::max(self->initialPoppedVersion, cursor->popped());
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (cursor->version().version >= self->end) {
|
2018-07-13 03:09:48 +08:00
|
|
|
return Void();
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
while (cursor->hasMessage()) {
|
|
|
|
self->cursorMessages[idx].push_back(ILogSystem::BufferedCursor::BufferedMessage(
|
|
|
|
cursor->arena(),
|
|
|
|
(!self->withTags || self->collectTags) ? cursor->getMessage() : cursor->getMessageWithTags(),
|
|
|
|
!self->withTags ? VectorRef<Tag>() : cursor->getTags(),
|
|
|
|
cursor->version()));
|
2018-07-13 03:09:48 +08:00
|
|
|
cursor->nextMessage();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
ACTOR Future<Void> bufferedGetMore(ILogSystem::BufferedCursor* self, TaskPriority taskID) {
|
|
|
|
if (self->messageVersion.version >= self->end) {
|
|
|
|
wait(Future<Void>(Never()));
|
2018-07-13 03:09:48 +08:00
|
|
|
throw internal_error();
|
|
|
|
}
|
|
|
|
|
|
|
|
self->messages.clear();
|
|
|
|
|
|
|
|
std::vector<Future<Void>> loaders;
|
|
|
|
loaders.reserve(self->cursors.size());
|
2019-11-05 11:47:45 +08:00
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < self->cursors.size(); i++) {
|
2019-11-05 11:47:45 +08:00
|
|
|
loaders.push_back(bufferedGetMoreLoader(self, self->cursors[i], i, taskID));
|
2018-07-13 03:09:48 +08:00
|
|
|
}
|
|
|
|
|
2019-11-05 11:47:45 +08:00
|
|
|
state Future<Void> allLoaders = waitForAll(loaders);
|
|
|
|
state Version minVersion;
|
|
|
|
loop {
|
2021-03-11 02:06:03 +08:00
|
|
|
wait(allLoaders || delay(SERVER_KNOBS->DESIRED_GET_MORE_DELAY, taskID));
|
2019-11-05 11:47:45 +08:00
|
|
|
minVersion = self->end;
|
2021-03-11 02:06:03 +08:00
|
|
|
for (int i = 0; i < self->cursors.size(); i++) {
|
2020-02-20 07:24:32 +08:00
|
|
|
auto cursor = self->cursors[i];
|
2021-03-11 02:06:03 +08:00
|
|
|
while (cursor->hasMessage()) {
|
|
|
|
self->cursorMessages[i].push_back(ILogSystem::BufferedCursor::BufferedMessage(
|
|
|
|
cursor->arena(),
|
|
|
|
(!self->withTags || self->collectTags) ? cursor->getMessage() : cursor->getMessageWithTags(),
|
|
|
|
!self->withTags ? VectorRef<Tag>() : cursor->getTags(),
|
|
|
|
cursor->version()));
|
2020-02-20 07:24:32 +08:00
|
|
|
cursor->nextMessage();
|
|
|
|
}
|
2019-11-05 11:47:45 +08:00
|
|
|
minVersion = std::min(minVersion, cursor->version().version);
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (minVersion > self->messageVersion.version) {
|
2019-11-05 11:47:45 +08:00
|
|
|
break;
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (allLoaders.isReady()) {
|
2019-11-05 11:47:45 +08:00
|
|
|
wait(Future<Void>(Never()));
|
|
|
|
}
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
wait(yield());
|
2019-11-05 11:47:45 +08:00
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto& it : self->cursorMessages) {
|
|
|
|
while (!it.empty() && it.front().version.version < minVersion) {
|
2019-11-05 11:47:45 +08:00
|
|
|
self->messages.push_back(it.front());
|
|
|
|
it.pop_front();
|
|
|
|
}
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (self->collectTags || self->knownUnique) {
|
2018-07-13 03:09:48 +08:00
|
|
|
std::sort(self->messages.begin(), self->messages.end());
|
|
|
|
} else {
|
|
|
|
uniquify(self->messages);
|
|
|
|
}
|
2019-11-05 11:47:45 +08:00
|
|
|
|
|
|
|
self->messageVersion = LogMessageVersion(minVersion);
|
2018-07-13 03:09:48 +08:00
|
|
|
self->messageIndex = 0;
|
|
|
|
self->hasNextMessage = self->messages.size() > 0;
|
2021-03-11 02:06:03 +08:00
|
|
|
|
|
|
|
if (self->collectTags) {
|
2018-07-13 03:09:48 +08:00
|
|
|
self->combineMessages();
|
|
|
|
}
|
2018-07-13 08:47:35 +08:00
|
|
|
|
2018-08-11 04:57:10 +08:00
|
|
|
wait(yield());
|
2021-03-11 02:06:03 +08:00
|
|
|
if (self->canDiscardPopped && self->poppedVersion > self->version().version) {
|
|
|
|
TraceEvent(SevWarn, "DiscardingPoppedData", self->randomID)
|
|
|
|
.detail("Version", self->version().version)
|
|
|
|
.detail("Popped", self->poppedVersion);
|
2019-07-31 03:38:44 +08:00
|
|
|
self->messageVersion = std::max(self->messageVersion, LogMessageVersion(self->poppedVersion));
|
2021-03-11 02:06:03 +08:00
|
|
|
for (auto cursor : self->cursors) {
|
2019-07-31 05:42:05 +08:00
|
|
|
cursor->advanceTo(self->messageVersion);
|
|
|
|
}
|
2019-07-31 03:21:48 +08:00
|
|
|
self->messageIndex = self->messages.size();
|
2021-03-11 02:06:03 +08:00
|
|
|
if (self->messages.size() > 0 &&
|
|
|
|
self->messages[self->messages.size() - 1].version.version < self->poppedVersion) {
|
|
|
|
self->hasNextMessage = false;
|
|
|
|
} else {
|
|
|
|
auto iter = std::lower_bound(self->messages.begin(),
|
|
|
|
self->messages.end(),
|
|
|
|
ILogSystem::BufferedCursor::BufferedMessage(self->poppedVersion));
|
|
|
|
self->hasNextMessage = iter != self->messages.end();
|
|
|
|
if (self->hasNextMessage) {
|
2019-07-31 03:21:48 +08:00
|
|
|
self->messageIndex = iter - self->messages.begin();
|
|
|
|
}
|
2019-07-30 12:19:47 +08:00
|
|
|
}
|
|
|
|
}
|
2021-03-11 02:06:03 +08:00
|
|
|
if (self->hasNextMessage) {
|
2019-07-31 04:44:44 +08:00
|
|
|
self->canDiscardPopped = false;
|
|
|
|
}
|
2018-07-13 03:09:48 +08:00
|
|
|
return Void();
|
|
|
|
}
|
|
|
|
|
2019-06-25 17:47:35 +08:00
|
|
|
Future<Void> ILogSystem::BufferedCursor::getMore(TaskPriority taskID) {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (hasMessage()) {
|
2018-07-13 03:09:48 +08:00
|
|
|
return Void();
|
2019-07-31 05:42:05 +08:00
|
|
|
}
|
|
|
|
|
2021-03-11 02:06:03 +08:00
|
|
|
if (!more.isValid() || more.isReady()) {
|
2019-07-31 05:42:05 +08:00
|
|
|
more = bufferedGetMore(this, taskID);
|
|
|
|
}
|
|
|
|
return more;
|
2018-07-13 03:09:48 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
Future<Void> ILogSystem::BufferedCursor::onFailed() {
|
|
|
|
ASSERT(false);
|
|
|
|
return Never();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::BufferedCursor::isActive() const {
|
2018-07-13 03:09:48 +08:00
|
|
|
ASSERT(false);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
bool ILogSystem::BufferedCursor::isExhausted() const {
|
2018-07-13 03:09:48 +08:00
|
|
|
ASSERT(false);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
const LogMessageVersion& ILogSystem::BufferedCursor::version() const {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (hasNextMessage) {
|
2018-07-13 03:09:48 +08:00
|
|
|
return messages[messageIndex].version;
|
|
|
|
}
|
|
|
|
return messageVersion;
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::BufferedCursor::getMinKnownCommittedVersion() const {
|
2019-11-06 10:07:30 +08:00
|
|
|
return minKnownCommittedVersion;
|
2018-07-13 03:09:48 +08:00
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Optional<UID> ILogSystem::BufferedCursor::getPrimaryPeekLocation() const {
|
2020-03-06 10:17:06 +08:00
|
|
|
return Optional<UID>();
|
|
|
|
}
|
|
|
|
|
2021-05-12 04:03:21 +08:00
|
|
|
Optional<UID> ILogSystem::BufferedCursor::getCurrentPeekLocation() const {
|
|
|
|
return Optional<UID>();
|
|
|
|
}
|
|
|
|
|
2020-11-24 12:59:53 +08:00
|
|
|
Version ILogSystem::BufferedCursor::popped() const {
|
2021-03-11 02:06:03 +08:00
|
|
|
if (initialPoppedVersion == poppedVersion) {
|
2019-07-30 12:19:47 +08:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
return poppedVersion;
|
2018-07-13 03:09:48 +08:00
|
|
|
}
|