StorageReplicatedMergeTree.cpp 66.4 KB
Newer Older
M
Merge  
Michael Kolupaev 已提交
1
#include <DB/Storages/StorageReplicatedMergeTree.h>
M
Merge  
Michael Kolupaev 已提交
2
#include <DB/Storages/MergeTree/ReplicatedMergeTreeBlockOutputStream.h>
M
Merge  
Michael Kolupaev 已提交
3
#include <DB/Storages/MergeTree/ReplicatedMergeTreePartsExchange.h>
M
Merge  
Michael Kolupaev 已提交
4
#include <DB/Storages/MergeTree/MergeTreePartChecker.h>
M
Merge  
Michael Kolupaev 已提交
5 6 7
#include <DB/Parsers/formatAST.h>
#include <DB/IO/WriteBufferFromOStream.h>
#include <DB/IO/ReadBufferFromString.h>
M
Merge  
Michael Kolupaev 已提交
8
#include <DB/Interpreters/InterpreterAlterQuery.h>
M
Merge  
Michael Kolupaev 已提交
9
#include <time.h>
M
Merge  
Michael Kolupaev 已提交
10 11 12 13

namespace DB
{

M
Merge  
Michael Kolupaev 已提交
14

M
Merge  
Michael Kolupaev 已提交
15
const auto ERROR_SLEEP_MS = 1000;
M
Merge  
Michael Kolupaev 已提交
16
const auto MERGE_SELECTING_SLEEP_MS = 5 * 1000;
M
Merge  
Michael Kolupaev 已提交
17
const auto CLEANUP_SLEEP_MS = 30 * 1000;
M
Merge  
Michael Kolupaev 已提交
18 19


M
Merge  
Michael Kolupaev 已提交
20 21 22
StorageReplicatedMergeTree::StorageReplicatedMergeTree(
	const String & zookeeper_path_,
	const String & replica_name_,
M
Merge  
Michael Kolupaev 已提交
23
	bool attach,
M
Merge  
Michael Kolupaev 已提交
24 25
	const String & path_, const String & database_name_, const String & name_,
	NamesAndTypesListPtr columns_,
M
Merge  
Michael Kolupaev 已提交
26
	Context & context_,
M
Merge  
Michael Kolupaev 已提交
27 28 29 30 31 32 33 34
	ASTPtr & primary_expr_ast_,
	const String & date_column_name_,
	const ASTPtr & sampling_expression_,
	size_t index_granularity_,
	MergeTreeData::Mode mode_,
	const String & sign_column_,
	const MergeTreeSettings & settings_)
	:
35
	context(context_), zookeeper(context.getZooKeeper()), database_name(database_name_),
M
Merge  
Michael Kolupaev 已提交
36
	table_name(name_), full_path(path_ + escapeForFileName(table_name) + '/'), zookeeper_path(zookeeper_path_),
M
Merge  
Michael Kolupaev 已提交
37
	replica_name(replica_name_),
M
Merge  
Michael Kolupaev 已提交
38
	data(	full_path, columns_, context_, primary_expr_ast_, date_column_name_, sampling_expression_,
M
Merge  
Michael Kolupaev 已提交
39 40
			index_granularity_, mode_, sign_column_, settings_, database_name_ + "." + table_name, true,
			std::bind(&StorageReplicatedMergeTree::enqueuePartForCheck, this, std::placeholders::_1)),
M
Merge  
Michael Kolupaev 已提交
41
	reader(data), writer(data), merger(data), fetcher(data),
M
Merge  
Michael Kolupaev 已提交
42 43
	log(&Logger::get(database_name_ + "." + table_name + " (StorageReplicatedMergeTree)")),
	shutdown_event(false), permanent_shutdown_event(false)
M
Merge  
Michael Kolupaev 已提交
44
{
M
Merge  
Michael Kolupaev 已提交
45 46 47 48 49 50
	if (!zookeeper)
	{
		goReadOnly();
		return;
	}

M
Merge  
Michael Kolupaev 已提交
51 52 53
	if (!zookeeper_path.empty() && *zookeeper_path.rbegin() == '/')
		zookeeper_path.erase(zookeeper_path.end() - 1);
	replica_path = zookeeper_path + "/replicas/" + replica_name;
54

M
Merge  
Michael Kolupaev 已提交
55 56
	if (!attach)
	{
M
Merge  
Michael Kolupaev 已提交
57
		if (!zookeeper->exists(zookeeper_path))
M
Merge  
Michael Kolupaev 已提交
58 59
			createTable();

M
Merge  
Michael Kolupaev 已提交
60
		checkTableStructure(false);
M
Merge  
Michael Kolupaev 已提交
61
		createReplica();
M
Merge  
Michael Kolupaev 已提交
62 63 64
	}
	else
	{
M
Merge  
Michael Kolupaev 已提交
65 66 67 68 69 70
		bool skip_sanity_checks = false;
		if (zookeeper->exists(replica_path + "/flags/force_restore_data"))
		{
			skip_sanity_checks = true;
			zookeeper->remove(replica_path + "/flags/force_restore_data");

M
Merge  
Michael Kolupaev 已提交
71 72
			LOG_WARNING(log, "Skipping the limits on severity of changes to data parts and columns (flag "
				<< replica_path << "/flags/force_restore_data).");
M
Merge  
Michael Kolupaev 已提交
73 74 75 76
		}

		checkTableStructure(skip_sanity_checks);
		checkParts(skip_sanity_checks);
M
Merge  
Michael Kolupaev 已提交
77
	}
M
Merge  
Michael Kolupaev 已提交
78

M
Merge  
Michael Kolupaev 已提交
79
	initVirtualParts();
M
Merge  
Michael Kolupaev 已提交
80
	loadQueue();
M
Merge  
Michael Kolupaev 已提交
81 82 83 84 85 86

	String unreplicated_path = full_path + "unreplicated/";
	if (Poco::File(unreplicated_path).exists())
	{
		LOG_INFO(log, "Have unreplicated data");
		unreplicated_data.reset(new MergeTreeData(unreplicated_path, columns_, context_, primary_expr_ast_,
M
Merge  
Michael Kolupaev 已提交
87
			date_column_name_, sampling_expression_, index_granularity_, mode_, sign_column_, settings_,
M
Merge  
Michael Kolupaev 已提交
88
			database_name_ + "." + table_name + "[unreplicated]", false));
M
Merge  
Michael Kolupaev 已提交
89
		unreplicated_reader.reset(new MergeTreeDataSelectExecutor(*unreplicated_data));
M
Merge  
Michael Kolupaev 已提交
90
		unreplicated_merger.reset(new MergeTreeDataMerger(*unreplicated_data));
M
Merge  
Michael Kolupaev 已提交
91
	}
M
Merge  
Michael Kolupaev 已提交
92

M
Merge  
Michael Kolupaev 已提交
93 94 95 96 97 98
	/// Сгенерируем этому экземпляру случайный идентификатор.
	struct timespec times;
	if (clock_gettime(CLOCK_THREAD_CPUTIME_ID, &times))
		throwFromErrno("Cannot clock_gettime.", ErrorCodes::CANNOT_CLOCK_GETTIME);
	active_node_identifier = toString(times.tv_nsec);

M
Merge  
Michael Kolupaev 已提交
99
	restarting_thread = std::thread(&StorageReplicatedMergeTree::restartingThread, this);
M
Merge  
Michael Kolupaev 已提交
100 101 102 103 104
}

StoragePtr StorageReplicatedMergeTree::create(
	const String & zookeeper_path_,
	const String & replica_name_,
M
Merge  
Michael Kolupaev 已提交
105
	bool attach,
M
Merge  
Michael Kolupaev 已提交
106 107
	const String & path_, const String & database_name_, const String & name_,
	NamesAndTypesListPtr columns_,
M
Merge  
Michael Kolupaev 已提交
108
	Context & context_,
M
Merge  
Michael Kolupaev 已提交
109 110 111 112 113 114 115 116
	ASTPtr & primary_expr_ast_,
	const String & date_column_name_,
	const ASTPtr & sampling_expression_,
	size_t index_granularity_,
	MergeTreeData::Mode mode_,
	const String & sign_column_,
	const MergeTreeSettings & settings_)
{
M
Merge  
Michael Kolupaev 已提交
117
	StorageReplicatedMergeTree * res = new StorageReplicatedMergeTree(zookeeper_path_, replica_name_, attach,
M
Merge  
Michael Kolupaev 已提交
118
		path_, database_name_, name_, columns_, context_, primary_expr_ast_, date_column_name_, sampling_expression_,
M
Merge  
Michael Kolupaev 已提交
119 120
		index_granularity_, mode_, sign_column_, settings_);
	StoragePtr res_ptr = res->thisPtr();
M
Merge  
Michael Kolupaev 已提交
121 122 123
	if (!res->is_read_only)
	{
		String endpoint_name = "ReplicatedMergeTree:" + res->replica_path;
M
Merge  
Michael Kolupaev 已提交
124
		InterserverIOEndpointPtr endpoint = new ReplicatedMergeTreePartsServer(res->data, *res);
M
Merge  
Michael Kolupaev 已提交
125 126
		res->endpoint_holder = new InterserverIOEndpointHolder(endpoint_name, endpoint, res->context.getInterserverIOHandler());
	}
M
Merge  
Michael Kolupaev 已提交
127
	return res_ptr;
M
Merge  
Michael Kolupaev 已提交
128 129
}

M
Merge  
Michael Kolupaev 已提交
130 131 132 133 134 135 136 137
static String formattedAST(const ASTPtr & ast)
{
	if (!ast)
		return "";
	std::stringstream ss;
	formatAST(*ast, ss, 0, false, true);
	return ss.str();
}
M
Merge  
Michael Kolupaev 已提交
138

M
Merge  
Michael Kolupaev 已提交
139
void StorageReplicatedMergeTree::createTable()
M
Merge  
Michael Kolupaev 已提交
140
{
M
Merge  
Michael Kolupaev 已提交
141 142
	LOG_DEBUG(log, "Creating table " << zookeeper_path);

M
Merge  
Michael Kolupaev 已提交
143
	zookeeper->create(zookeeper_path, "", zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
144

M
Merge  
Michael Kolupaev 已提交
145
	/// Запишем метаданные таблицы, чтобы реплики могли сверять с ними параметры таблицы.
M
Merge  
Michael Kolupaev 已提交
146 147 148 149 150 151 152 153
	std::stringstream metadata;
	metadata << "metadata format version: 1" << std::endl;
	metadata << "date column: " << data.date_column_name << std::endl;
	metadata << "sampling expression: " << formattedAST(data.sampling_expression) << std::endl;
	metadata << "index granularity: " << data.index_granularity << std::endl;
	metadata << "mode: " << static_cast<int>(data.mode) << std::endl;
	metadata << "sign column: " << data.sign_column << std::endl;
	metadata << "primary key: " << formattedAST(data.primary_expr_ast) << std::endl;
M
Merge  
Michael Kolupaev 已提交
154

M
Merge  
Michael Kolupaev 已提交
155
	zookeeper->create(zookeeper_path + "/metadata", metadata.str(), zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
156
	zookeeper->create(zookeeper_path + "/columns", data.getColumnsList().toString(), zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
157

M
Merge  
Michael Kolupaev 已提交
158
	zookeeper->create(zookeeper_path + "/log", "", zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
159 160 161 162
	zookeeper->create(zookeeper_path + "/blocks", "", zkutil::CreateMode::Persistent);
	zookeeper->create(zookeeper_path + "/block_numbers", "", zkutil::CreateMode::Persistent);
	zookeeper->create(zookeeper_path + "/leader_election", "", zkutil::CreateMode::Persistent);
	zookeeper->create(zookeeper_path + "/temp", "", zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
163
	/// Создадим replicas в последнюю очередь, чтобы нельзя было добавить реплику, пока все остальные ноды не созданы.
M
Merge  
Michael Kolupaev 已提交
164
	zookeeper->create(zookeeper_path + "/replicas", "", zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
165
}
M
Merge  
Michael Kolupaev 已提交
166

M
Merge  
Michael Kolupaev 已提交
167 168
/** Проверить, что список столбцов и настройки таблицы совпадают с указанными в ZK (/metadata).
	* Если нет - бросить исключение.
M
Merge  
Michael Kolupaev 已提交
169
	*/
M
Merge  
Michael Kolupaev 已提交
170
void StorageReplicatedMergeTree::checkTableStructure(bool skip_sanity_checks)
M
Merge  
Michael Kolupaev 已提交
171
{
M
Merge  
Michael Kolupaev 已提交
172
	String metadata_str = zookeeper->get(zookeeper_path + "/metadata");
M
Merge  
Michael Kolupaev 已提交
173 174 175 176 177 178 179 180 181 182 183 184 185
	ReadBufferFromString buf(metadata_str);
	assertString("metadata format version: 1", buf);
	assertString("\ndate column: ", buf);
	assertString(data.date_column_name, buf);
	assertString("\nsampling expression: ", buf);
	assertString(formattedAST(data.sampling_expression), buf);
	assertString("\nindex granularity: ", buf);
	assertString(toString(data.index_granularity), buf);
	assertString("\nmode: ", buf);
	assertString(toString(static_cast<int>(data.mode)), buf);
	assertString("\nsign column: ", buf);
	assertString(data.sign_column, buf);
	assertString("\nprimary key: ", buf);
M
Merge  
Michael Kolupaev 已提交
186 187
	/// NOTE: Можно сделать менее строгую проверку совпадения выражений, чтобы таблицы не ломались от небольших изменений
	///       в коде formatAST.
M
Merge  
Michael Kolupaev 已提交
188
	assertString(formattedAST(data.primary_expr_ast), buf);
M
Merge  
Michael Kolupaev 已提交
189
	assertString("\n", buf);
M
Merge  
Michael Kolupaev 已提交
190
	assertEOF(buf);
M
Merge  
Michael Kolupaev 已提交
191 192 193 194

	zkutil::Stat stat;
	auto columns = NamesAndTypesList::parse(zookeeper->get(zookeeper_path + "/columns", &stat), context.getDataTypeFactory());
	columns_version = stat.version;
M
Merge  
Michael Kolupaev 已提交
195
	if (columns != data.getColumnsList())
M
Merge  
Michael Kolupaev 已提交
196
	{
M
Merge  
Michael Kolupaev 已提交
197
		if (data.getColumnsList().sizeOfDifference(columns) <= 2 || skip_sanity_checks)
M
Merge  
Michael Kolupaev 已提交
198
		{
M
Merge  
Michael Kolupaev 已提交
199
			LOG_WARNING(log, "Table structure in ZooKeeper is a little different from local table structure. Assuming ALTER.");
200 201 202 203

			/// Без всяких блокировок, потому что таблица еще не создана.
			InterpreterAlterQuery::updateMetadata(database_name, table_name, columns, context);
			data.setColumnsList(columns);
M
Merge  
Michael Kolupaev 已提交
204
		}
M
Merge  
Michael Kolupaev 已提交
205
		else
M
Merge  
Michael Kolupaev 已提交
206
		{
M
Merge  
Michael Kolupaev 已提交
207 208
			throw Exception("Table structure in ZooKeeper is very different from local table structure.",
							ErrorCodes::INCOMPATIBLE_COLUMNS);
M
Merge  
Michael Kolupaev 已提交
209
		}
M
Merge  
Michael Kolupaev 已提交
210 211
	}
}
M
Merge  
Michael Kolupaev 已提交
212

M
Merge  
Michael Kolupaev 已提交
213 214
void StorageReplicatedMergeTree::createReplica()
{
M
Merge  
Michael Kolupaev 已提交
215
	LOG_DEBUG(log, "Creating replica " << replica_path);
M
Merge  
Michael Kolupaev 已提交
216

M
Merge  
Michael Kolupaev 已提交
217 218 219 220 221 222 223
	/** Запомним список других реплик.
	  * NOTE: Здесь есть race condition. Если почти одновременно добавить нескольких реплик, сразу же начиная в них писать,
	  *       небольшая часть данных может не реплицироваться.
	  */
	Strings replicas = zookeeper->getChildren(zookeeper_path + "/replicas");

	/// Создадим пустую реплику.
M
Merge  
Michael Kolupaev 已提交
224
	zookeeper->create(replica_path, "", zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
225
	zookeeper->create(replica_path + "/columns", data.getColumnsList().toString(), zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
226
	zookeeper->create(replica_path + "/host", "", zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
227
	zookeeper->create(replica_path + "/log_pointer", "", zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
228 229
	zookeeper->create(replica_path + "/queue", "", zkutil::CreateMode::Persistent);
	zookeeper->create(replica_path + "/parts", "", zkutil::CreateMode::Persistent);
M
Merge  
Michael Kolupaev 已提交
230

M
Merge  
Michael Kolupaev 已提交
231 232 233 234 235
	/** Нужно изменить данные ноды /replicas на что угодно, чтобы поток, удаляющий старые записи в логе,
	  *  споткнулся об это изменение и не удалил записи, которые мы еще не прочитали.
	  */
	zookeeper->set(zookeeper_path + "/replicas", "last added replica: " + replica_name);

M
Merge  
Michael Kolupaev 已提交
236
	if (replicas.empty())
M
Merge  
Michael Kolupaev 已提交
237 238
	{
		LOG_DEBUG(log, "No other replicas");
M
Merge  
Michael Kolupaev 已提交
239
		return;
M
Merge  
Michael Kolupaev 已提交
240
	}
M
Merge  
Michael Kolupaev 已提交
241

M
Merge  
Michael Kolupaev 已提交
242 243
	/// "Эталонная" реплика, у которой мы возьмем информацию о множестве кусков, очередь и указатель на лог.
	String source_replica = replicas[rand() % replicas.size()];
M
Merge  
Michael Kolupaev 已提交
244

M
Merge  
Michael Kolupaev 已提交
245 246
	LOG_INFO(log, "Will mimic " << source_replica);

M
Merge  
Michael Kolupaev 已提交
247 248 249 250
	String source_path = zookeeper_path + "/replicas/" + source_replica;

	/// Порядок следующих трех действий важен. Записи в логе могут продублироваться, но не могут потеряться.

M
Merge  
Michael Kolupaev 已提交
251 252
	/// Скопируем у эталонной реплики ссылку на лог.
	zookeeper->set(replica_path + "/log_pointer", zookeeper->get(source_path + "/log_pointer"));
M
Merge  
Michael Kolupaev 已提交
253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282

	/// Запомним очередь эталонной реплики.
	Strings source_queue_names = zookeeper->getChildren(source_path + "/queue");
	std::sort(source_queue_names.begin(), source_queue_names.end());
	Strings source_queue;
	for (const String & entry_name : source_queue_names)
	{
		String entry;
		if (!zookeeper->tryGet(source_path + "/queue/" + entry_name, entry))
			continue;
		source_queue.push_back(entry);
	}

	/// Добавим в очередь задания на получение всех активных кусков, которые есть у эталонной реплики.
	Strings parts = zookeeper->getChildren(source_path + "/parts");
	ActiveDataPartSet active_parts_set;
	for (const String & part : parts)
	{
		active_parts_set.add(part);
	}
	Strings active_parts = active_parts_set.getParts();
	for (const String & name : active_parts)
	{
		LogEntry log_entry;
		log_entry.type = LogEntry::GET_PART;
		log_entry.source_replica = "";
		log_entry.new_part_name = name;

		zookeeper->create(replica_path + "/queue/queue-", log_entry.toString(), zkutil::CreateMode::PersistentSequential);
	}
M
Merge  
Michael Kolupaev 已提交
283
	LOG_DEBUG(log, "Queued " << active_parts.size() << " parts to be fetched");
M
Merge  
Michael Kolupaev 已提交
284 285 286 287 288 289

	/// Добавим в очередь содержимое очереди эталонной реплики.
	for (const String & entry : source_queue)
	{
		zookeeper->create(replica_path + "/queue/queue-", entry, zkutil::CreateMode::PersistentSequential);
	}
M
Merge  
Michael Kolupaev 已提交
290
	LOG_DEBUG(log, "Copied " << source_queue.size() << " queue entries");
M
Merge  
Michael Kolupaev 已提交
291
}
M
Merge  
Michael Kolupaev 已提交
292

M
Merge  
Michael Kolupaev 已提交
293 294 295 296 297
void StorageReplicatedMergeTree::activateReplica()
{
	std::stringstream host;
	host << "host: " << context.getInterserverIOHost() << std::endl;
	host << "port: " << context.getInterserverIOPort() << std::endl;
M
Merge  
Michael Kolupaev 已提交
298

M
Merge  
Michael Kolupaev 已提交
299 300 301 302 303 304 305 306 307
	/** Если нода отмечена как активная, но отметка сделана в этом же экземпляре, удалим ее.
	  * Такое возможно только при истечении сессии в ZooKeeper.
	  * Здесь есть небольшой race condition (можем удалить не ту ноду, для которой сделали tryGet),
	  *  но он крайне маловероятен при нормальном использовании.
	  */
	String data;
	if (zookeeper->tryGet(replica_path + "/is_active", data) && data == active_node_identifier)
		zookeeper->tryRemove(replica_path + "/is_active");

M
Merge  
Michael Kolupaev 已提交
308
	/// Одновременно объявим, что эта реплика активна, и обновим хост.
M
Merge  
Michael Kolupaev 已提交
309
	zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
310
	ops.push_back(new zkutil::Op::Create(replica_path + "/is_active", "", zookeeper->getDefaultACL(), zkutil::CreateMode::Ephemeral));
M
Merge  
Michael Kolupaev 已提交
311
	ops.push_back(new zkutil::Op::SetData(replica_path + "/host", host.str(), -1));
M
Merge  
Michael Kolupaev 已提交
312 313 314

	try
	{
M
Merge  
Michael Kolupaev 已提交
315
		zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
316 317 318
	}
	catch (zkutil::KeeperException & e)
	{
319
		if (e.code == ZNODEEXISTS)
M
Merge  
Michael Kolupaev 已提交
320 321 322 323 324
			throw Exception("Replica " + replica_path + " appears to be already active. If you're sure it's not, "
				"try again in a minute or remove znode " + replica_path + "/is_active manually", ErrorCodes::REPLICA_IS_ALREADY_ACTIVE);

		throw;
	}
M
Merge  
Michael Kolupaev 已提交
325

M
Merge  
Michael Kolupaev 已提交
326
	replica_is_active_node = zkutil::EphemeralNodeHolder::existing(replica_path + "/is_active", *zookeeper);
M
Merge  
Michael Kolupaev 已提交
327
}
M
Merge  
Michael Kolupaev 已提交
328

M
Merge  
Michael Kolupaev 已提交
329
void StorageReplicatedMergeTree::checkParts(bool skip_sanity_checks)
M
Merge  
Michael Kolupaev 已提交
330
{
M
Merge  
Michael Kolupaev 已提交
331
	Strings expected_parts_vec = zookeeper->getChildren(replica_path + "/parts");
M
Merge  
Michael Kolupaev 已提交
332 333

	/// Куски в ZK.
M
Merge  
Michael Kolupaev 已提交
334 335
	NameSet expected_parts(expected_parts_vec.begin(), expected_parts_vec.end());

M
Merge  
Michael Kolupaev 已提交
336
	MergeTreeData::DataParts parts = data.getAllDataParts();
M
Merge  
Michael Kolupaev 已提交
337

M
Merge  
Michael Kolupaev 已提交
338
	/// Локальные куски, которых нет в ZK.
M
Merge  
Michael Kolupaev 已提交
339
	MergeTreeData::DataParts unexpected_parts;
M
Merge  
Michael Kolupaev 已提交
340

M
Merge  
Michael Kolupaev 已提交
341 342 343 344 345 346 347 348
	for (const auto & part : parts)
	{
		if (expected_parts.count(part->name))
		{
			expected_parts.erase(part->name);
		}
		else
		{
M
Merge  
Michael Kolupaev 已提交
349
			unexpected_parts.insert(part);
M
Merge  
Michael Kolupaev 已提交
350 351 352
		}
	}

M
Merge  
Michael Kolupaev 已提交
353
	/// Какие локальные куски добавить в ZK.
M
Merge  
Michael Kolupaev 已提交
354
	MergeTreeData::DataPartsVector parts_to_add;
M
Merge  
Michael Kolupaev 已提交
355 356 357 358

	/// Какие куски нужно забрать с других реплик.
	Strings parts_to_fetch;

M
Merge  
Michael Kolupaev 已提交
359 360
	for (const String & missing_name : expected_parts)
	{
M
Merge  
Michael Kolupaev 已提交
361
		/// Если локально не хватает какого-то куска, но есть покрывающий его кусок, можно заменить в ZK недостающий покрывающим.
M
Merge  
Michael Kolupaev 已提交
362
		auto containing = data.getContainingPart(missing_name);
M
Merge  
Michael Kolupaev 已提交
363 364 365 366 367 368 369 370 371 372
		if (containing)
		{
			LOG_ERROR(log, "Ignoring missing local part " << missing_name << " because part " << containing->name << " exists");
			if (unexpected_parts.count(containing))
			{
				parts_to_add.push_back(containing);
				unexpected_parts.erase(containing);
			}
		}
		else
M
Merge  
Michael Kolupaev 已提交
373
		{
M
Merge  
Michael Kolupaev 已提交
374
			parts_to_fetch.push_back(missing_name);
M
Merge  
Michael Kolupaev 已提交
375 376
		}
	}
M
Merge  
Michael Kolupaev 已提交
377

M
Merge  
Michael Kolupaev 已提交
378 379 380 381 382 383 384 385 386 387
	for (const String & name : parts_to_fetch)
		expected_parts.erase(name);

	String sanity_report =
		"There are " + toString(unexpected_parts.size()) + " unexpected parts, "
					 + toString(parts_to_add.size()) + " unexpectedly merged parts, "
					 + toString(expected_parts.size()) + " unexpectedly obsolete parts, "
					 + toString(parts_to_fetch.size()) + " missing parts";
	bool insane =
		parts_to_add.size() > 2 ||
M
Merge  
Michael Kolupaev 已提交
388
		unexpected_parts.size() > 2 ||
M
Merge  
Michael Kolupaev 已提交
389 390 391
		expected_parts.size() > 20 ||
		parts_to_fetch.size() > 2;

M
Merge  
Michael Kolupaev 已提交
392
	if (insane && !skip_sanity_checks)
M
Merge  
Michael Kolupaev 已提交
393 394 395
	{
		throw Exception("The local set of parts of table " + getTableName() + " doesn't look like the set of parts in ZooKeeper. "
			+ sanity_report,
M
Merge  
Michael Kolupaev 已提交
396
			ErrorCodes::TOO_MANY_UNEXPECTED_DATA_PARTS);
M
Merge  
Michael Kolupaev 已提交
397 398
	}

M
Merge  
Michael Kolupaev 已提交
399 400 401 402 403
	if (insane)
	{
		LOG_WARNING(log, sanity_report);
	}

M
Merge  
Michael Kolupaev 已提交
404 405 406
	/// Добавим в ZK информацию о кусках, покрывающих недостающие куски.
	for (MergeTreeData::DataPartPtr part : parts_to_add)
	{
M
Merge  
Michael Kolupaev 已提交
407
		LOG_ERROR(log, "Adding unexpected local part to ZooKeeper: " << part->name);
M
Merge  
Michael Kolupaev 已提交
408

M
Merge  
Michael Kolupaev 已提交
409
		zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
410
		checkPartAndAddToZooKeeper(part, ops);
M
Merge  
Michael Kolupaev 已提交
411
		zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
412
	}
M
Merge  
Michael Kolupaev 已提交
413

M
Merge  
Michael Kolupaev 已提交
414 415 416
	/// Удалим из ZK информацию о кусках, покрытых только что добавленными.
	for (const String & name : expected_parts)
	{
M
Merge  
Michael Kolupaev 已提交
417 418 419
		LOG_ERROR(log, "Removing unexpectedly merged local part from ZooKeeper: " << name);

		zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
420
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name + "/columns", -1));
M
Merge  
Michael Kolupaev 已提交
421 422 423 424 425 426 427 428 429 430 431 432
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name + "/checksums", -1));
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name, -1));
		zookeeper->multi(ops);
	}

	/// Добавим в очередь задание забрать недостающие куски с других реплик и уберем из ZK информацию, что они у нас есть.
	for (const String & name : parts_to_fetch)
	{
		LOG_ERROR(log, "Removing missing part from ZooKeeper and queueing a fetch: " << name);

		LogEntry log_entry;
		log_entry.type = LogEntry::GET_PART;
M
Merge  
Michael Kolupaev 已提交
433
		log_entry.source_replica = "";
M
Merge  
Michael Kolupaev 已提交
434 435 436
		log_entry.new_part_name = name;

		/// Полагаемся, что это происходит до загрузки очереди (loadQueue).
M
Merge  
Michael Kolupaev 已提交
437
		zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
438
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name + "/columns", -1));
M
Merge  
Michael Kolupaev 已提交
439 440
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name + "/checksums", -1));
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name, -1));
M
Merge  
Michael Kolupaev 已提交
441 442
		ops.push_back(new zkutil::Op::Create(
			replica_path + "/queue/queue-", log_entry.toString(), zookeeper->getDefaultACL(), zkutil::CreateMode::PersistentSequential));
M
Merge  
Michael Kolupaev 已提交
443
		zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
444 445 446
	}

	/// Удалим лишние локальные куски.
M
Merge  
Michael Kolupaev 已提交
447 448
	for (MergeTreeData::DataPartPtr part : unexpected_parts)
	{
M
Merge  
Michael Kolupaev 已提交
449
		LOG_ERROR(log, "Renaming unexpected part " << part->name << " to ignored_" + part->name);
M
Merge  
Michael Kolupaev 已提交
450
		data.renameAndDetachPart(part, "ignored_");
M
Merge  
Michael Kolupaev 已提交
451 452
	}
}
M
Merge  
Michael Kolupaev 已提交
453

M
Merge  
Michael Kolupaev 已提交
454 455 456 457 458 459 460 461 462
void StorageReplicatedMergeTree::initVirtualParts()
{
	auto parts = data.getDataParts();
	for (const auto & part : parts)
	{
		virtual_parts.add(part->name);
	}
}

M
Merge  
Michael Kolupaev 已提交
463
void StorageReplicatedMergeTree::checkPartAndAddToZooKeeper(MergeTreeData::DataPartPtr part, zkutil::Ops & ops)
M
Merge  
Michael Kolupaev 已提交
464
{
465
	check(part->columns);
M
Merge  
Michael Kolupaev 已提交
466
	int expected_columns_version = columns_version;
467

M
Merge  
Michael Kolupaev 已提交
468 469 470 471 472
	Strings replicas = zookeeper->getChildren(zookeeper_path + "/replicas");
	std::random_shuffle(replicas.begin(), replicas.end());
	String expected_columns_str = part->columns.toString();

	for (const String & replica : replicas)
M
Merge  
Michael Kolupaev 已提交
473
	{
M
Merge  
Michael Kolupaev 已提交
474 475 476 477 478 479 480 481 482 483
		zkutil::Stat stat_before, stat_after;
		String columns_str;
		if (!zookeeper->tryGet(zookeeper_path + "/replicas/" + replica + "/parts/" + part->name + "/columns", columns_str, &stat_before))
			continue;
		if (columns_str != expected_columns_str)
		{
			LOG_INFO(log, "Not checking checksums of part " << part->name << " with replica " << replica
				<< " because columns are different");
			continue;
		}
M
Merge  
Michael Kolupaev 已提交
484
		String checksums_str;
M
Merge  
Michael Kolupaev 已提交
485 486 487 488 489
		/// Проверим, что версия ноды со столбцами не изменилась, пока мы читали checksums.
		/// Это гарантирует, что столбцы и чексуммы относятся к одним и тем же данным.
		if (!zookeeper->tryGet(zookeeper_path + "/replicas/" + replica + "/parts/" + part->name + "/checksums", checksums_str) ||
			!zookeeper->exists(zookeeper_path + "/replicas/" + replica + "/parts/" + part->name + "/columns", &stat_after) ||
			stat_before.version != stat_after.version)
M
Merge  
Michael Kolupaev 已提交
490
		{
M
Merge  
Michael Kolupaev 已提交
491 492 493
			LOG_INFO(log, "Not checking checksums of part " << part->name << " with replica " << replica
				<< " because part changed while we were reading its checksums");
			continue;
M
Merge  
Michael Kolupaev 已提交
494
		}
M
Merge  
Michael Kolupaev 已提交
495 496 497

		auto checksums = MergeTreeData::DataPart::Checksums::parse(checksums_str);
		checksums.checkEqual(part->checksums, true);
M
Merge  
Michael Kolupaev 已提交
498 499
	}

500 501 502
	ops.push_back(new zkutil::Op::Check(
		zookeeper_path + "/columns",
		expected_columns_version));
M
Merge  
Michael Kolupaev 已提交
503 504 505
	ops.push_back(new zkutil::Op::Create(
		replica_path + "/parts/" + part->name,
		"",
M
Merge  
Michael Kolupaev 已提交
506
		zookeeper->getDefaultACL(),
M
Merge  
Michael Kolupaev 已提交
507
		zkutil::CreateMode::Persistent));
M
Merge  
Michael Kolupaev 已提交
508 509 510 511 512
	ops.push_back(new zkutil::Op::Create(
		replica_path + "/parts/" + part->name + "/columns",
		part->columns.toString(),
		zookeeper->getDefaultACL(),
		zkutil::CreateMode::Persistent));
M
Merge  
Michael Kolupaev 已提交
513 514 515
	ops.push_back(new zkutil::Op::Create(
		replica_path + "/parts/" + part->name + "/checksums",
		part->checksums.toString(),
M
Merge  
Michael Kolupaev 已提交
516
		zookeeper->getDefaultACL(),
M
Merge  
Michael Kolupaev 已提交
517 518 519
		zkutil::CreateMode::Persistent));
}

M
Merge  
Michael Kolupaev 已提交
520 521 522 523 524 525 526
void StorageReplicatedMergeTree::clearOldParts()
{
	Strings parts = data.clearOldParts();

	for (const String & name : parts)
	{
		zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
527
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name + "/columns", -1));
M
Merge  
Michael Kolupaev 已提交
528 529
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name + "/checksums", -1));
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name, -1));
530 531
		int32_t code = zookeeper->tryMulti(ops);
		if (code != ZOK)
M
Merge  
Michael Kolupaev 已提交
532
			LOG_DEBUG(log, "Couldn't remove part " << name << " from ZooKeeper: " << zkutil::ZooKeeper::error2string(code));
M
Merge  
Michael Kolupaev 已提交
533 534 535 536 537 538
	}

	if (!parts.empty())
		LOG_DEBUG(log, "Removed " << parts.size() << " old parts");
}

M
Merge  
Michael Kolupaev 已提交
539 540
void StorageReplicatedMergeTree::clearOldLogs()
{
M
Merge  
Michael Kolupaev 已提交
541 542 543 544 545 546 547 548 549 550 551
	zkutil::Stat stat;
	if (!zookeeper->exists(zookeeper_path + "/log", &stat))
		throw Exception(zookeeper_path + "/log doesn't exist", ErrorCodes::NOT_FOUND_NODE);

	int children_count = stat.numChildren;

	/// Будем ждать, пока накопятся в 1.1 раза больше записей, чем нужно.
	if (static_cast<double>(children_count) < data.settings.replicated_logs_to_keep * 1.1)
		return;

	Strings replicas = zookeeper->getChildren(zookeeper_path + "/replicas", &stat);
M
Merge  
Michael Kolupaev 已提交
552 553 554
	UInt64 min_pointer = std::numeric_limits<UInt64>::max();
	for (const String & replica : replicas)
	{
M
Merge  
Michael Kolupaev 已提交
555 556
		String pointer = zookeeper->get(zookeeper_path + "/replicas/" + replica + "/log_pointer");
		if (pointer.empty())
M
Merge  
Michael Kolupaev 已提交
557 558 559 560
			return;
		min_pointer = std::min(min_pointer, parse<UInt64>(pointer));
	}

M
Merge  
Michael Kolupaev 已提交
561
	Strings entries = zookeeper->getChildren(zookeeper_path + "/log");
M
Merge  
Michael Kolupaev 已提交
562
	std::sort(entries.begin(), entries.end());
M
Merge  
Michael Kolupaev 已提交
563 564
	/// Не будем трогать последние replicated_logs_to_keep записей.
	entries.erase(entries.end() - std::min(entries.size(), data.settings.replicated_logs_to_keep), entries.end());
M
Merge  
Michael Kolupaev 已提交
565 566
	size_t removed = 0;

M
Merge  
Michael Kolupaev 已提交
567 568 569
	zkutil::Ops ops;
	/// Одновременно с очисткой лога проверим, не добавилась ли реплика с тех пор, как мы получили список реплик.
	ops.push_back(new zkutil::Op::Check(zookeeper_path + "/replicas", stat.version));
M
Merge  
Michael Kolupaev 已提交
570 571 572 573 574
	for (const String & entry : entries)
	{
		UInt64 index = parse<UInt64>(entry.substr(strlen("log-")));
		if (index >= min_pointer)
			break;
M
Merge  
Michael Kolupaev 已提交
575
		ops.push_back(new zkutil::Op::Remove(zookeeper_path + "/log/" + entry, -1));
M
Merge  
Michael Kolupaev 已提交
576 577 578
		++removed;
	}

M
Merge  
Michael Kolupaev 已提交
579 580 581 582 583 584
	if (removed == 0)
		return;

	zookeeper->multi(ops);

	LOG_DEBUG(log, "Removed " << removed << " old log entries");
M
Merge  
Michael Kolupaev 已提交
585 586 587 588 589
}

void StorageReplicatedMergeTree::clearOldBlocks()
{
	zkutil::Stat stat;
M
Merge  
Michael Kolupaev 已提交
590
	if (!zookeeper->exists(zookeeper_path + "/blocks", &stat))
M
Merge  
Michael Kolupaev 已提交
591 592
		throw Exception(zookeeper_path + "/blocks doesn't exist", ErrorCodes::NOT_FOUND_NODE);

593
	int children_count = stat.numChildren;
M
Merge  
Michael Kolupaev 已提交
594

M
Merge  
Michael Kolupaev 已提交
595
	/// Чтобы делать "асимптотически" меньше запросов exists, будем ждать, пока накопятся в 1.1 раза больше блоков, чем нужно.
M
Merge  
Michael Kolupaev 已提交
596
	if (static_cast<double>(children_count) < data.settings.replicated_deduplication_window * 1.1)
M
Merge  
Michael Kolupaev 已提交
597 598
		return;

M
Merge  
Michael Kolupaev 已提交
599
	LOG_TRACE(log, "Clearing about " << static_cast<size_t>(children_count) - data.settings.replicated_deduplication_window
M
Merge  
Michael Kolupaev 已提交
600
		<< " old blocks from ZooKeeper. This might take several minutes.");
M
Merge  
Michael Kolupaev 已提交
601

M
Merge  
Michael Kolupaev 已提交
602
	Strings blocks = zookeeper->getChildren(zookeeper_path + "/blocks");
M
Merge  
Michael Kolupaev 已提交
603 604 605 606 607 608

	std::vector<std::pair<Int64, String> > timed_blocks;

	for (const String & block : blocks)
	{
		zkutil::Stat stat;
M
Merge  
Michael Kolupaev 已提交
609
		zookeeper->exists(zookeeper_path + "/blocks/" + block, &stat);
610
		timed_blocks.push_back(std::make_pair(stat.czxid, block));
M
Merge  
Michael Kolupaev 已提交
611 612
	}

M
Merge  
Michael Kolupaev 已提交
613
	std::sort(timed_blocks.begin(), timed_blocks.end(), std::greater<std::pair<Int64, String>>());
M
Merge  
Michael Kolupaev 已提交
614 615
	for (size_t i = data.settings.replicated_deduplication_window; i <  timed_blocks.size(); ++i)
	{
M
Merge  
Michael Kolupaev 已提交
616 617
		zkutil::Ops ops;
		ops.push_back(new zkutil::Op::Remove(zookeeper_path + "/blocks/" + timed_blocks[i].second + "/number", -1));
M
Merge  
Michael Kolupaev 已提交
618
		ops.push_back(new zkutil::Op::Remove(zookeeper_path + "/blocks/" + timed_blocks[i].second + "/columns", -1));
M
Merge  
Michael Kolupaev 已提交
619 620
		ops.push_back(new zkutil::Op::Remove(zookeeper_path + "/blocks/" + timed_blocks[i].second + "/checksums", -1));
		ops.push_back(new zkutil::Op::Remove(zookeeper_path + "/blocks/" + timed_blocks[i].second, -1));
M
Merge  
Michael Kolupaev 已提交
621
		zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
622 623 624 625 626
	}

	LOG_TRACE(log, "Cleared " << blocks.size() - data.settings.replicated_deduplication_window << " old blocks from ZooKeeper");
}

M
Merge  
Michael Kolupaev 已提交
627 628 629 630
void StorageReplicatedMergeTree::loadQueue()
{
	Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);

M
Merge  
Michael Kolupaev 已提交
631
	Strings children = zookeeper->getChildren(replica_path + "/queue");
M
Merge  
Michael Kolupaev 已提交
632 633 634
	std::sort(children.begin(), children.end());
	for (const String & child : children)
	{
M
Merge  
Michael Kolupaev 已提交
635
		String s = zookeeper->get(replica_path + "/queue/" + child);
M
Merge  
Michael Kolupaev 已提交
636 637
		LogEntry entry = LogEntry::parse(s);
		entry.znode_name = child;
M
Merge  
Michael Kolupaev 已提交
638
		entry.addResultToVirtualParts(*this);
M
Merge  
Michael Kolupaev 已提交
639
		queue.push_back(entry);
M
Merge  
Michael Kolupaev 已提交
640 641 642
	}
}

M
Merge  
Michael Kolupaev 已提交
643
/// Преобразовать число в строку формате суффиксов автоинкрементных нод в ZooKeeper.
M
Merge  
Michael Kolupaev 已提交
644 645 646 647 648 649 650 651 652
static String padIndex(UInt64 index)
{
	String index_str = toString(index);
	while (index_str.size() < 10)
		index_str = '0' + index_str;
	return index_str;
}

void StorageReplicatedMergeTree::pullLogsToQueue(zkutil::EventPtr next_update_event)
M
Merge  
Michael Kolupaev 已提交
653 654
{
	Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);
M
Merge  
Michael Kolupaev 已提交
655

M
Merge  
Michael Kolupaev 已提交
656 657
	String index_str = zookeeper->get(replica_path + "/log_pointer");
	UInt64 index;
M
Merge  
Michael Kolupaev 已提交
658

M
Merge  
Michael Kolupaev 已提交
659
	if (index_str.empty())
M
Merge  
Michael Kolupaev 已提交
660
	{
M
Merge  
Michael Kolupaev 已提交
661 662 663
		/// Если у нас еще нет указателя на лог, поставим указатель на первую запись в нем.
		Strings entries = zookeeper->getChildren(zookeeper_path + "/log");
		index = entries.empty() ? 0 : parse<UInt64>(std::min_element(entries.begin(), entries.end())->substr(strlen("log-")));
M
Merge  
Michael Kolupaev 已提交
664

M
Merge  
Michael Kolupaev 已提交
665
		zookeeper->set(replica_path + "/log_pointer", toString(index));
M
Merge  
Michael Kolupaev 已提交
666 667
	}
	else
M
Merge  
Michael Kolupaev 已提交
668
	{
M
Merge  
Michael Kolupaev 已提交
669
		index = parse<UInt64>(index_str);
M
Merge  
Michael Kolupaev 已提交
670
	}
M
Merge  
Michael Kolupaev 已提交
671

M
Merge  
Michael Kolupaev 已提交
672
	size_t count = 0;
M
Merge  
Michael Kolupaev 已提交
673 674
	String entry_str;
	while (zookeeper->tryGet(zookeeper_path + "/log/log-" + padIndex(index), entry_str))
M
Merge  
Michael Kolupaev 已提交
675
	{
M
Merge  
Michael Kolupaev 已提交
676
		++count;
M
Merge  
Michael Kolupaev 已提交
677
		++index;
M
Merge  
Michael Kolupaev 已提交
678

M
Merge  
Michael Kolupaev 已提交
679
		LogEntry entry = LogEntry::parse(entry_str);
M
Merge  
Michael Kolupaev 已提交
680

M
Merge  
Michael Kolupaev 已提交
681 682 683
		/// Одновременно добавим запись в очередь и продвинем указатель на лог.
		zkutil::Ops ops;
		ops.push_back(new zkutil::Op::Create(
M
Merge  
Michael Kolupaev 已提交
684
			replica_path + "/queue/queue-", entry_str, zookeeper->getDefaultACL(), zkutil::CreateMode::PersistentSequential));
M
Merge  
Michael Kolupaev 已提交
685
		ops.push_back(new zkutil::Op::SetData(
M
Merge  
Michael Kolupaev 已提交
686
			replica_path + "/log_pointer", toString(index), -1));
M
Merge  
Michael Kolupaev 已提交
687
		auto results = zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
688

689
		String path_created = dynamic_cast<zkutil::Op::Create &>(ops[0]).getPathCreated();
M
Merge  
Michael Kolupaev 已提交
690
		entry.znode_name = path_created.substr(path_created.find_last_of('/') + 1);
M
Merge  
Michael Kolupaev 已提交
691
		entry.addResultToVirtualParts(*this);
M
Merge  
Michael Kolupaev 已提交
692
		queue.push_back(entry);
M
Merge  
Michael Kolupaev 已提交
693
	}
M
Merge  
Michael Kolupaev 已提交
694

M
Merge  
Michael Kolupaev 已提交
695 696 697 698
	if (next_update_event)
	{
		if (zookeeper->exists(zookeeper_path + "/log/log-" + padIndex(index), nullptr, next_update_event))
			next_update_event->set();
M
Merge  
Michael Kolupaev 已提交
699
	}
M
Merge  
Michael Kolupaev 已提交
700

M
Merge  
Michael Kolupaev 已提交
701 702 703
	if (!count)
		return;

M
Merge  
Michael Kolupaev 已提交
704 705
	if (queue_task_handle)
		queue_task_handle->wake();
M
Merge  
Michael Kolupaev 已提交
706

M
Merge  
Michael Kolupaev 已提交
707
	LOG_DEBUG(log, "Pulled " << count << " entries to queue");
M
Merge  
Michael Kolupaev 已提交
708 709
}

M
Merge  
Michael Kolupaev 已提交
710
bool StorageReplicatedMergeTree::shouldExecuteLogEntry(const LogEntry & entry)
M
Merge  
Michael Kolupaev 已提交
711
{
M
Merge  
Michael Kolupaev 已提交
712
	if ((entry.type == LogEntry::MERGE_PARTS || entry.type == LogEntry::GET_PART) && future_parts.count(entry.new_part_name))
M
Merge  
Michael Kolupaev 已提交
713 714 715 716 717 718
	{
		LOG_DEBUG(log, "Not executing log entry for part " << entry.new_part_name <<
			" because another log entry for the same part is being processed. This shouldn't happen often.");
		return false;
	}

M
Merge  
Michael Kolupaev 已提交
719 720 721 722 723 724 725 726 727 728 729
	if (entry.type == LogEntry::MERGE_PARTS)
	{
		/** Если какая-то из нужных частей сейчас передается или мерджится, подождем окончания этой операции.
		  * Иначе, даже если всех нужных частей для мерджа нет, нужно попытаться сделать мердж.
		  * Если каких-то частей не хватает, вместо мерджа будет попытка скачать кусок.
		  * Такая ситуация возможна, если получение какого-то куска пофейлилось, и его переместили в конец очереди.
		  */
		for (const auto & name : entry.parts_to_merge)
		{
			if (future_parts.count(name))
			{
M
Merge  
Michael Kolupaev 已提交
730
				LOG_TRACE(log, "Not merging into part " << entry.new_part_name << " because part " << name << " is not ready yet.");
M
Merge  
Michael Kolupaev 已提交
731 732 733 734 735 736
				return false;
			}
		}
	}

	return true;
M
Merge  
Michael Kolupaev 已提交
737 738
}

M
Merge  
Michael Kolupaev 已提交
739
bool StorageReplicatedMergeTree::executeLogEntry(const LogEntry & entry, BackgroundProcessingPool::Context & pool_context)
M
Merge  
Michael Kolupaev 已提交
740 741 742 743 744
{
	if (entry.type == LogEntry::GET_PART ||
		entry.type == LogEntry::MERGE_PARTS)
	{
		/// Если у нас уже есть этот кусок или покрывающий его кусок, ничего делать не нужно.
M
Merge  
Michael Kolupaev 已提交
745
		MergeTreeData::DataPartPtr containing_part = data.getContainingPart(entry.new_part_name, true);
M
Merge  
Michael Kolupaev 已提交
746 747

		/// Даже если кусок есть локально, его (в исключительных случаях) может не быть в zookeeper.
M
Merge  
Michael Kolupaev 已提交
748
		if (containing_part && zookeeper->exists(replica_path + "/parts/" + containing_part->name))
M
Merge  
Michael Kolupaev 已提交
749
		{
M
Merge  
Michael Kolupaev 已提交
750 751
			if (!(entry.type == LogEntry::GET_PART && entry.source_replica == replica_name))
				LOG_DEBUG(log, "Skipping action for part " + entry.new_part_name + " - part already exists");
M
Merge  
Michael Kolupaev 已提交
752
			return true;
M
Merge  
Michael Kolupaev 已提交
753
		}
M
Merge  
Michael Kolupaev 已提交
754 755
	}

M
Merge  
Michael Kolupaev 已提交
756
	if (entry.type == LogEntry::GET_PART && entry.source_replica == replica_name)
M
Merge  
Michael Kolupaev 已提交
757
		LOG_WARNING(log, "Part " << entry.new_part_name << " from own log doesn't exist.");
M
Merge  
Michael Kolupaev 已提交
758 759 760

	bool do_fetch = false;

M
Merge  
Michael Kolupaev 已提交
761 762
	if (entry.type == LogEntry::GET_PART)
	{
M
Merge  
Michael Kolupaev 已提交
763
		do_fetch = true;
M
Merge  
Michael Kolupaev 已提交
764 765 766
	}
	else if (entry.type == LogEntry::MERGE_PARTS)
	{
M
Merge  
Michael Kolupaev 已提交
767
		MergeTreeData::DataPartsVector parts;
768
		bool have_all_parts = true;
M
Merge  
Michael Kolupaev 已提交
769 770 771
		for (const String & name : entry.parts_to_merge)
		{
			MergeTreeData::DataPartPtr part = data.getContainingPart(name);
M
Merge  
Michael Kolupaev 已提交
772 773 774 775 776 777 778 779 780 781 782 783
			if (!part)
			{
				have_all_parts = false;
				break;
			}
			if (part->name != name)
			{
				LOG_ERROR(log, "Log and parts set look inconsistent: " << name << " is covered by " << part->name
					<< " but should be merged into " << entry.new_part_name);
				have_all_parts = false;
				break;
			}
M
Merge  
Michael Kolupaev 已提交
784 785
			parts.push_back(part);
		}
M
Merge  
Michael Kolupaev 已提交
786

M
Merge  
Michael Kolupaev 已提交
787
		if (!have_all_parts)
M
Merge  
Michael Kolupaev 已提交
788
		{
M
Merge  
Michael Kolupaev 已提交
789 790 791
			/// Если нет всех нужных кусков, попробуем взять у кого-нибудь уже помердженный кусок.
			do_fetch = true;
			LOG_DEBUG(log, "Don't have all parts for merge " << entry.new_part_name << "; will try to fetch it instead");
M
Merge  
Michael Kolupaev 已提交
792
		}
M
Merge  
Michael Kolupaev 已提交
793 794
		else
		{
M
Merge  
Michael Kolupaev 已提交
795 796 797 798 799 800 801 802 803 804 805
			/// Если собираемся сливать большие куски, увеличим счетчик потоков, сливающих большие куски.
			for (const auto & part : parts)
			{
				if (part->size * data.index_granularity > 25 * 1024 * 1024)
				{
					pool_context.incrementCounter("big merges");
					pool_context.incrementCounter("replicated big merges");
					break;
				}
			}

806 807
			auto table_lock = lockStructure(true);

M
Merge  
Michael Kolupaev 已提交
808 809
			MergeTreeData::Transaction transaction;
			MergeTreeData::DataPartPtr part = merger.mergeParts(parts, entry.new_part_name, &transaction);
M
Merge  
Michael Kolupaev 已提交
810 811

			zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
812
			checkPartAndAddToZooKeeper(part, ops);
M
Merge  
Michael Kolupaev 已提交
813

M
Merge  
Michael Kolupaev 已提交
814
			zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
815
			transaction.commit();
M
Merge  
Michael Kolupaev 已提交
816
			merge_selecting_event.set();
M
Merge  
Michael Kolupaev 已提交
817 818 819

			ProfileEvents::increment(ProfileEvents::ReplicatedPartMerges);
		}
M
Merge  
Michael Kolupaev 已提交
820 821 822 823 824
	}
	else
	{
		throw Exception("Unexpected log entry type: " + toString(static_cast<int>(entry.type)));
	}
M
Merge  
Michael Kolupaev 已提交
825 826 827

	if (do_fetch)
	{
M
Merge  
Michael Kolupaev 已提交
828 829
		String replica;

M
Merge  
Michael Kolupaev 已提交
830 831
		try
		{
M
Merge  
Michael Kolupaev 已提交
832
			replica = findReplicaHavingPart(entry.new_part_name, true);
M
Merge  
Michael Kolupaev 已提交
833 834 835 836 837
			if (replica.empty())
			{
				ProfileEvents::increment(ProfileEvents::ReplicatedPartFailedFetches);
				throw Exception("No active replica has part " + entry.new_part_name, ErrorCodes::NO_REPLICA_HAS_PART);
			}
M
Merge  
Michael Kolupaev 已提交
838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887
			fetchPart(entry.new_part_name, replica);

			if (entry.type == LogEntry::MERGE_PARTS)
				ProfileEvents::increment(ProfileEvents::ReplicatedPartFetchesOfMerged);
		}
		catch (...)
		{
			/** Если не получилось скачать кусок, нужный для какого-то мерджа, лучше не пытаться получить другие куски для этого мерджа,
			  * а попытаться сразу получить помердженный кусок. Чтобы так получилось, переместим действия для получения остальных кусков
			  * для этого мерджа в конец очереди.
			  *
			  */
			try
			{
				Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);

				/// Найдем действие по объединению этого куска с другими. Запомним других.
				StringSet parts_for_merge;
				LogEntries::iterator merge_entry;
				for (LogEntries::iterator it = queue.begin(); it != queue.end(); ++it)
				{
					if (it->type == LogEntry::MERGE_PARTS)
					{
						if (std::find(it->parts_to_merge.begin(), it->parts_to_merge.end(), entry.new_part_name)
							!= it->parts_to_merge.end())
						{
							parts_for_merge = StringSet(it->parts_to_merge.begin(), it->parts_to_merge.end());
							merge_entry = it;
							break;
						}
					}
				}

				if (!parts_for_merge.empty())
				{
					/// Переместим в конец очереди действия, получающие parts_for_merge.
					for (LogEntries::iterator it = queue.begin(); it != queue.end();)
					{
						auto it0 = it;
						++it;

						if (it0 == merge_entry)
							break;

						if ((it0->type == LogEntry::MERGE_PARTS || it0->type == LogEntry::GET_PART)
							&& parts_for_merge.count(it0->new_part_name))
						{
							queue.splice(queue.end(), queue, it0, it);
						}
					}
M
Merge  
Michael Kolupaev 已提交
888 889 890 891 892 893 894 895 896

					/** Если этого куска ни у кого нет, но в очереди упоминается мердж с его участием, то наверно этот кусок такой старый,
					  *  что его все померджили и удалили. Не будем бросать исключение, чтобы queueTask лишний раз не спала.
					  */
					if (replica.empty())
					{
						LOG_INFO(log, "No replica has part " << entry.new_part_name << ". Will fetch merged part instead.");
						return false;
					}
M
Merge  
Michael Kolupaev 已提交
897
				}
M
Merge  
Michael Kolupaev 已提交
898 899 900 901

				/// Если ни у кого нет куска, и в очереди нет слияний с его участием, проверим, есть ли у кого-то покрывающий его.
				if (replica.empty())
					enqueuePartForCheck(entry.new_part_name);
M
Merge  
Michael Kolupaev 已提交
902 903 904 905 906 907 908 909 910
			}
			catch (...)
			{
				tryLogCurrentException(__PRETTY_FUNCTION__);
			}

			throw;
		}
	}
M
Merge  
Michael Kolupaev 已提交
911 912

	return true;
M
Merge  
Michael Kolupaev 已提交
913 914 915 916 917 918
}

void StorageReplicatedMergeTree::queueUpdatingThread()
{
	while (!shutdown_called)
	{
M
Merge  
Michael Kolupaev 已提交
919 920
		try
		{
M
Merge  
Michael Kolupaev 已提交
921
			pullLogsToQueue(queue_updating_event);
M
Merge  
Michael Kolupaev 已提交
922

M
Merge  
Michael Kolupaev 已提交
923
			queue_updating_event->wait();
M
Merge  
Michael Kolupaev 已提交
924 925 926 927 928
		}
		catch (...)
		{
			tryLogCurrentException(__PRETTY_FUNCTION__);

M
Merge  
Michael Kolupaev 已提交
929 930
			queue_updating_event->tryWait(ERROR_SLEEP_MS);
		}
M
Merge  
Michael Kolupaev 已提交
931
	}
M
Merge  
Michael Kolupaev 已提交
932 933

	LOG_DEBUG(log, "queue updating thread finished");
M
Merge  
Michael Kolupaev 已提交
934
}
M
Merge  
Michael Kolupaev 已提交
935

M
Merge  
Michael Kolupaev 已提交
936
bool StorageReplicatedMergeTree::queueTask(BackgroundProcessingPool::Context & pool_context)
M
Merge  
Michael Kolupaev 已提交
937
{
M
Merge  
Michael Kolupaev 已提交
938 939
	LogEntry entry;
	bool have_work = false;
M
Merge  
Michael Kolupaev 已提交
940

M
Merge  
Michael Kolupaev 已提交
941 942 943 944 945
	try
	{
		Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);
		bool empty = queue.empty();
		if (!empty)
M
Merge  
Michael Kolupaev 已提交
946
		{
M
Merge  
Michael Kolupaev 已提交
947
			for (LogEntries::iterator it = queue.begin(); it != queue.end(); ++it)
M
Merge  
Michael Kolupaev 已提交
948
			{
M
Merge  
Michael Kolupaev 已提交
949
				if (shouldExecuteLogEntry(*it))
M
Merge  
Michael Kolupaev 已提交
950
				{
M
Merge  
Michael Kolupaev 已提交
951 952 953 954 955
					entry = *it;
					entry.tagPartAsFuture(*this);
					queue.erase(it);
					have_work = true;
					break;
M
Merge  
Michael Kolupaev 已提交
956
				}
M
Merge  
Michael Kolupaev 已提交
957 958
			}
		}
M
Merge  
Michael Kolupaev 已提交
959 960 961 962 963
	}
	catch (...)
	{
		tryLogCurrentException(__PRETTY_FUNCTION__);
	}
M
Merge  
Michael Kolupaev 已提交
964

M
Merge  
Michael Kolupaev 已提交
965 966
	if (!have_work)
		return false;
M
Merge  
Michael Kolupaev 已提交
967

M
Merge  
Michael Kolupaev 已提交
968
	bool exception = true;
M
Merge  
Michael Kolupaev 已提交
969
	bool success = false;
M
Merge  
Michael Kolupaev 已提交
970

M
Merge  
Michael Kolupaev 已提交
971 972
	try
	{
M
Merge  
Michael Kolupaev 已提交
973
		success = executeLogEntry(entry, pool_context);
M
Merge  
Michael Kolupaev 已提交
974

M
Merge  
Michael Kolupaev 已提交
975 976 977 978 979 980 981
		if (success)
		{
			auto code = zookeeper->tryRemove(replica_path + "/queue/" + entry.znode_name);
			if (code != ZOK)
				LOG_ERROR(log, "Couldn't remove " << replica_path + "/queue/" + entry.znode_name << ": "
					<< zkutil::ZooKeeper::error2string(code) + ". There must be a bug somewhere. Ignoring it.");
		}
M
Merge  
Michael Kolupaev 已提交
982

M
Merge  
Michael Kolupaev 已提交
983
		exception = false;
M
Merge  
Michael Kolupaev 已提交
984 985 986 987
	}
	catch (Exception & e)
	{
		if (e.code() == ErrorCodes::NO_REPLICA_HAS_PART)
M
Merge  
Michael Kolupaev 已提交
988
			/// Если ни у кого нет нужного куска, наверно, просто не все реплики работают; не будем писать в лог с уровнем Error.
M
Merge  
Michael Kolupaev 已提交
989 990
			LOG_INFO(log, e.displayText());
		else
M
Merge  
Michael Kolupaev 已提交
991
			tryLogCurrentException(__PRETTY_FUNCTION__);
M
Merge  
Michael Kolupaev 已提交
992 993 994 995 996
	}
	catch (...)
	{
		tryLogCurrentException(__PRETTY_FUNCTION__);
	}
M
Merge  
Michael Kolupaev 已提交
997

M
Merge  
Michael Kolupaev 已提交
998 999 1000 1001 1002 1003
	if (!success)
	{
		/// Добавим действие, которое не получилось выполнить, в конец очереди.
		entry.future_part_tagger = nullptr;
		Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);
		queue.push_back(entry);
M
Merge  
Michael Kolupaev 已提交
1004
	}
M
Merge  
Michael Kolupaev 已提交
1005

M
Merge  
Michael Kolupaev 已提交
1006 1007
	/// Если не было исключения, не нужно спать.
	return !exception;
M
Merge  
Michael Kolupaev 已提交
1008 1009
}

M
Merge  
Michael Kolupaev 已提交
1010 1011 1012 1013 1014 1015
void StorageReplicatedMergeTree::mergeSelectingThread()
{
	pullLogsToQueue();

	while (!shutdown_called && is_leader_node)
	{
M
Michael Kolupaev 已提交
1016
		bool success = false;
M
Merge  
Michael Kolupaev 已提交
1017

M
Michael Kolupaev 已提交
1018
		try
M
Merge  
Michael Kolupaev 已提交
1019
		{
M
Michael Kolupaev 已提交
1020
			size_t merges_queued = 0;
M
Merge  
Michael Kolupaev 已提交
1021
			/// Есть ли в очереди или в фоновом потоке мердж крупных кусков.
M
Merge  
Michael Kolupaev 已提交
1022
			bool has_big_merge = context.getBackgroundPool().getCounter("replicated big merges") > 0;
M
Merge  
Michael Kolupaev 已提交
1023

M
Merge  
Michael Kolupaev 已提交
1024
			if (!has_big_merge)
M
Michael Kolupaev 已提交
1025 1026
			{
				Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);
M
Merge  
Michael Kolupaev 已提交
1027

M
Michael Kolupaev 已提交
1028
				for (const auto & entry : queue)
M
Merge  
Michael Kolupaev 已提交
1029
				{
M
Michael Kolupaev 已提交
1030
					if (entry.type == LogEntry::MERGE_PARTS)
M
Merge  
Michael Kolupaev 已提交
1031
					{
M
Michael Kolupaev 已提交
1032
						++merges_queued;
M
Merge  
Michael Kolupaev 已提交
1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049

						if (!has_big_merge)
						{
							for (const String & name : entry.parts_to_merge)
							{
								MergeTreeData::DataPartPtr part = data.getContainingPart(name);
								if (!part || part->name != name)
									continue;
								if (part->size * data.index_granularity > 25 * 1024 * 1024)
								{
									has_big_merge = true;
									break;
								}
							}
						}
					}
				}
M
Michael Kolupaev 已提交
1050
			}
M
Merge  
Michael Kolupaev 已提交
1051

M
Merge  
Michael Kolupaev 已提交
1052
			do
M
Michael Kolupaev 已提交
1053
			{
M
Merge  
Michael Kolupaev 已提交
1054
				if (merges_queued >= data.settings.max_replicated_merges_in_queue)
M
Merge  
Michael Kolupaev 已提交
1055
					break;
M
Merge  
Michael Kolupaev 已提交
1056

M
Merge  
Michael Kolupaev 已提交
1057
				MergeTreeData::DataPartsVector parts;
M
Merge  
Michael Kolupaev 已提交
1058

M
Merge  
Michael Kolupaev 已提交
1059 1060 1061 1062
				String merged_name;
				auto can_merge = std::bind(
					&StorageReplicatedMergeTree::canMergeParts, this, std::placeholders::_1, std::placeholders::_2);

M
Merge  
Michael Kolupaev 已提交
1063 1064 1065
				if (!merger.selectPartsToMerge(parts, merged_name, MergeTreeDataMerger::NO_LIMIT,
												false, false, has_big_merge, can_merge) &&
					!merger.selectPartsToMerge(parts, merged_name, MergeTreeDataMerger::NO_LIMIT,
M
Merge  
Michael Kolupaev 已提交
1066
												true, false, has_big_merge, can_merge))
M
Merge  
Michael Kolupaev 已提交
1067
					break;
M
Merge  
Michael Kolupaev 已提交
1068

M
Merge  
Michael Kolupaev 已提交
1069 1070 1071 1072
				LogEntry entry;
				entry.type = LogEntry::MERGE_PARTS;
				entry.source_replica = replica_name;
				entry.new_part_name = merged_name;
M
Merge  
Michael Kolupaev 已提交
1073

M
Merge  
Michael Kolupaev 已提交
1074 1075 1076
				for (const auto & part : parts)
				{
					entry.parts_to_merge.push_back(part->name);
M
Merge  
Michael Kolupaev 已提交
1077 1078
				}

M
Merge  
Michael Kolupaev 已提交
1079
				zookeeper->create(zookeeper_path + "/log/log-", entry.toString(), zkutil::CreateMode::PersistentSequential);
M
Merge  
Michael Kolupaev 已提交
1080

M
Merge  
Michael Kolupaev 已提交
1081
				/// Нужно загрузить новую запись в очередь перед тем, как в следующий раз выбирать куски для слияния.
M
Merge  
Michael Kolupaev 已提交
1082
				///  (чтобы кусок добавился в virtual_parts).
M
Merge  
Michael Kolupaev 已提交
1083 1084 1085 1086
				pullLogsToQueue();

				String month_name = parts[0]->name.substr(0, 6);
				for (size_t i = 0; i + 1 < parts.size(); ++i)
M
Merge  
Michael Kolupaev 已提交
1087
				{
M
Merge  
Michael Kolupaev 已提交
1088 1089 1090
					/// Уберем больше не нужные отметки о несуществующих блоках.
					for (UInt64 number = parts[i]->right + 1; number <= parts[i + 1]->left - 1; ++number)
					{
M
Merge  
Michael Kolupaev 已提交
1091
						String path = zookeeper_path + "/block_numbers/" + month_name + "/block-" + padIndex(number);
M
Merge  
Michael Kolupaev 已提交
1092

M
Merge  
Michael Kolupaev 已提交
1093
						zookeeper->tryRemove(path);
M
Merge  
Michael Kolupaev 已提交
1094
					}
M
Merge  
Michael Kolupaev 已提交
1095
				}
M
Merge  
Michael Kolupaev 已提交
1096 1097

				success = true;
M
Merge  
Michael Kolupaev 已提交
1098
			}
M
Merge  
Michael Kolupaev 已提交
1099
			while(false);
M
Merge  
Michael Kolupaev 已提交
1100 1101 1102 1103 1104 1105
		}
		catch (...)
		{
			tryLogCurrentException(__PRETTY_FUNCTION__);
		}

M
Merge  
Michael Kolupaev 已提交
1106
		if (shutdown_called || !is_leader_node)
M
Merge  
Michael Kolupaev 已提交
1107 1108
			break;

M
Merge  
Michael Kolupaev 已提交
1109
		if (!success)
M
Merge  
Michael Kolupaev 已提交
1110
			merge_selecting_event.tryWait(MERGE_SELECTING_SLEEP_MS);
M
Merge  
Michael Kolupaev 已提交
1111
	}
M
Merge  
Michael Kolupaev 已提交
1112 1113

	LOG_DEBUG(log, "merge selecting thread finished");
M
Merge  
Michael Kolupaev 已提交
1114 1115
}

M
Merge  
Michael Kolupaev 已提交
1116
void StorageReplicatedMergeTree::cleanupThread()
M
Merge  
Michael Kolupaev 已提交
1117
{
M
Merge  
Michael Kolupaev 已提交
1118
	while (!shutdown_called)
M
Merge  
Michael Kolupaev 已提交
1119 1120
	{
		try
M
Merge  
Michael Kolupaev 已提交
1121
		{
M
Merge  
Michael Kolupaev 已提交
1122 1123 1124 1125 1126 1127 1128
			clearOldParts();

			if (is_leader_node)
			{
				clearOldLogs();
				clearOldBlocks();
			}
M
Merge  
Michael Kolupaev 已提交
1129
		}
M
Merge  
Michael Kolupaev 已提交
1130 1131 1132 1133
		catch (...)
		{
			tryLogCurrentException(__PRETTY_FUNCTION__);
		}
M
Merge  
Michael Kolupaev 已提交
1134

M
Merge  
Michael Kolupaev 已提交
1135
		shutdown_event.tryWait(CLEANUP_SLEEP_MS);
M
Merge  
Michael Kolupaev 已提交
1136
	}
M
Merge  
Michael Kolupaev 已提交
1137 1138

	LOG_DEBUG(log, "cleanup thread finished");
M
Merge  
Michael Kolupaev 已提交
1139 1140
}

M
Merge  
Michael Kolupaev 已提交
1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171
void StorageReplicatedMergeTree::alterThread()
{
	bool force_recheck_parts = true;

	while (!shutdown_called)
	{
		try
		{
			zkutil::Stat stat;
			String columns_str = zookeeper->get(zookeeper_path + "/columns", &stat, alter_thread_event);
			NamesAndTypesList columns = NamesAndTypesList::parse(columns_str, context.getDataTypeFactory());

			bool changed = false;

			/// Проверим, что описание столбцов изменилось.
			/// Чтобы не останавливать лишний раз все запросы в таблицу, проверим сначала под локом на чтение.
			{
				auto table_lock = lockStructure(false);
				if (columns != data.getColumnsList())
					changed = true;
			}

			/// Если описание столбцов изменилось, обновим структуру таблицы локально.
			if (changed)
			{
				auto table_lock = lockStructureForAlter();
				if (columns != data.getColumnsList())
				{
					LOG_INFO(log, "Columns list changed in ZooKeeper. Applying changes locally.");
					InterpreterAlterQuery::updateMetadata(database_name, table_name, columns, context);
					data.setColumnsList(columns);
M
Merge  
Michael Kolupaev 已提交
1172 1173
					if (unreplicated_data)
						unreplicated_data->setColumnsList(columns);
M
Merge  
Michael Kolupaev 已提交
1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190
					columns_version = stat.version;
					LOG_INFO(log, "Applied changes to table.");
				}
				else
				{
					changed = false;
				}
			}

			/// Обновим куски.
			if (changed || force_recheck_parts)
			{
				if (changed)
					LOG_INFO(log, "ALTER-ing parts");

				int changed_parts = 0;

M
Merge  
Michael Kolupaev 已提交
1191 1192
				auto parts = data.getDataParts();

M
Merge  
Michael Kolupaev 已提交
1193 1194 1195
				for (const MergeTreeData::DataPartPtr & part : parts)
				{
					/// Обновим кусок и запишем результат во временные файлы.
M
Merge  
Michael Kolupaev 已提交
1196
					/// TODO: Можно пропускать проверку на слишком большие изменения, если в ZooKeeper есть, например, нода /flags/force_alter.
M
Merge  
Michael Kolupaev 已提交
1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213
					auto transaction = data.alterDataPart(part, columns);

					if (!transaction)
						continue;

					++changed_parts;

					/// Обновим метаданные куска в ZooKeeper.
					zkutil::Ops ops;
					ops.push_back(new zkutil::Op::SetData(replica_path + "/parts/" + part->name + "/columns", part->columns.toString(), -1));
					ops.push_back(new zkutil::Op::SetData(replica_path + "/parts/" + part->name + "/checksums", part->checksums.toString(), -1));
					zookeeper->multi(ops);

					/// Применим изменения файлов.
					transaction->commit();
				}

M
Merge  
Michael Kolupaev 已提交
1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230
				/// То же самое для нереплицируемых данных.
				if (unreplicated_data)
				{
					parts = unreplicated_data->getDataParts();

					for (const MergeTreeData::DataPartPtr & part : parts)
					{
						auto transaction = unreplicated_data->alterDataPart(part, columns);

						if (!transaction)
							continue;

						++changed_parts;

						transaction->commit();
					}
				}
M
Merge  
Michael Kolupaev 已提交
1231 1232 1233

				zookeeper->set(replica_path + "/columns", columns.toString());

M
Merge  
Michael Kolupaev 已提交
1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253
				if (changed || changed_parts != 0)
					LOG_INFO(log, "ALTER-ed " << changed_parts << " parts");
				force_recheck_parts = false;
			}

			alter_thread_event->wait();
		}
		catch (...)
		{
			tryLogCurrentException(__PRETTY_FUNCTION__);

			force_recheck_parts = true;

			alter_thread_event->tryWait(ERROR_SLEEP_MS);
		}
	}

	LOG_DEBUG(log, "alter thread finished");
}

M
Merge  
Michael Kolupaev 已提交
1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292
void StorageReplicatedMergeTree::removePartAndEnqueueFetch(const String & part_name)
{
	String part_path = replica_path + "/parts/" + part_name;

	LogEntry log_entry;
	log_entry.type = LogEntry::GET_PART;
	log_entry.source_replica = "";
	log_entry.new_part_name = part_name;

	zkutil::Ops ops;
	ops.push_back(new zkutil::Op::Create(
		replica_path + "/queue/queue-", log_entry.toString(), zookeeper->getDefaultACL(),
		zkutil::CreateMode::PersistentSequential));
	ops.push_back(new zkutil::Op::Remove(part_path + "/checksums", -1));
	ops.push_back(new zkutil::Op::Remove(part_path + "/columns", -1));
	ops.push_back(new zkutil::Op::Remove(part_path, -1));
	auto results = zookeeper->multi(ops);

	{
		Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);

		String path_created = dynamic_cast<zkutil::Op::Create &>(ops[0]).getPathCreated();
		log_entry.znode_name = path_created.substr(path_created.find_last_of('/') + 1);
		log_entry.addResultToVirtualParts(*this);
		queue.push_back(log_entry);
	}
}

void StorageReplicatedMergeTree::enqueuePartForCheck(const String & name)
{
	Poco::ScopedLock<Poco::FastMutex> lock(parts_to_check_mutex);

	if (parts_to_check_set.count(name))
		return;
	parts_to_check_queue.push_back(name);
	parts_to_check_set.insert(name);
	parts_to_check_event.set();
}

M
Merge  
Michael Kolupaev 已提交
1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322
void StorageReplicatedMergeTree::partCheckThread()
{
	while (!shutdown_called)
	{
		try
		{
			/// Достанем из очереди кусок для проверки.
			String part_name;
			{
				Poco::ScopedLock<Poco::FastMutex> lock(parts_to_check_mutex);
				if (parts_to_check_queue.empty())
				{
					if (!parts_to_check_set.empty())
					{
						LOG_ERROR(log, "Non-empty parts_to_check_set with empty parts_to_check_queue. This is a bug.");
						parts_to_check_set.clear();
					}
				}
				else
				{
					part_name = parts_to_check_queue.front();
				}
			}
			if (part_name.empty())
			{
				parts_to_check_event.wait();
				continue;
			}

			LOG_WARNING(log, "Checking part " << part_name);
M
Merge  
Michael Kolupaev 已提交
1323
			ProfileEvents::increment(ProfileEvents::ReplicatedPartChecks);
M
Merge  
Michael Kolupaev 已提交
1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335

			auto part = data.getContainingPart(part_name);
			String part_path = replica_path + "/parts/" + part_name;

			/// Этого или покрывающего куска у нас нет.
			if (!part)
			{
				/// Если кусок есть в ZooKeeper, удалим его оттуда и добавим в очередь задание скачать его.
				if (zookeeper->exists(part_path))
				{
					LOG_WARNING(log, "Part " << part_name << " exists in ZooKeeper but not locally. "
						"Removing from ZooKeeper and queueing a fetch.");
M
Merge  
Michael Kolupaev 已提交
1336
					ProfileEvents::increment(ProfileEvents::ReplicatedPartChecksFailed);
M
Merge  
Michael Kolupaev 已提交
1337

M
Merge  
Michael Kolupaev 已提交
1338
					removePartAndEnqueueFetch(part_name);
M
Merge  
Michael Kolupaev 已提交
1339 1340 1341 1342
				}
				/// Если куска нет в ZooKeeper, проверим есть ли он хоть у кого-то.
				else
				{
M
Merge  
Michael Kolupaev 已提交
1343 1344
					ActiveDataPartSet::Part part_info;
					ActiveDataPartSet::parsePartName(part_name, part_info);
M
Merge  
Michael Kolupaev 已提交
1345

M
Merge  
Michael Kolupaev 已提交
1346 1347 1348 1349 1350
					/** Будем проверять только куски, не полученные в результате слияния.
					  * Для кусков, полученных в результате слияния такая проверка была бы некорректной,
					  *  потому что слитого куска может еще ни у кого не быть.
					  */
					if (part_info.left == part_info.right)
M
Merge  
Michael Kolupaev 已提交
1351
					{
M
Merge  
Michael Kolupaev 已提交
1352 1353 1354 1355 1356
						LOG_WARNING(log, "Checking if anyone has part covering " << part_name << ".");

						bool found = false;
						Strings replicas = zookeeper->getChildren(zookeeper_path + "/replicas");
						for (const String & replica : replicas)
M
Merge  
Michael Kolupaev 已提交
1357
						{
M
Merge  
Michael Kolupaev 已提交
1358 1359
							Strings parts = zookeeper->getChildren(zookeeper_path + "/replicas/" + replica + "/parts");
							for (const String & part_on_replica : parts)
M
Merge  
Michael Kolupaev 已提交
1360
							{
M
Merge  
Michael Kolupaev 已提交
1361 1362 1363 1364 1365 1366
								if (part_on_replica == part_name || ActiveDataPartSet::contains(part_on_replica, part_name))
								{
									found = true;
									LOG_WARNING(log, "Found part " << part_on_replica << " on " << replica);
									break;
								}
M
Merge  
Michael Kolupaev 已提交
1367
							}
M
Merge  
Michael Kolupaev 已提交
1368 1369
							if (found)
								break;
M
Merge  
Michael Kolupaev 已提交
1370 1371
						}

M
Merge  
Michael Kolupaev 已提交
1372
						if (!found)
M
Merge  
Michael Kolupaev 已提交
1373
						{
M
Merge  
Michael Kolupaev 已提交
1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387
							/** Такая ситуация возможна при нормальной работе, без потери данных, например, так:
							* ReplicatedMergeTreeBlockOutputStream записал кусок, попытался добавить его в ZK,
							*  получил operation timeout, удалил локальный кусок и бросил исключение,
							*  а на самом деле, кусок добавился в ZK.
							*/
							LOG_ERROR(log, "No replica has part covering " << part_name << ". This part is lost forever. "
								<< "There might or might not be a data loss.");
							ProfileEvents::increment(ProfileEvents::ReplicatedPartChecksFailed);

							/** Если ни у кого нет такого куска, удалим его из нашей очереди.
							  *
							  * Еще можно было бы добавить его в block_numbers, чтобы он не мешал слияниям,
							  *  но если так сделать, ZooKeeper почему-то пропустит один номер для автоинкремента,
							  *  и в номерах блоков все равно останется дырка. TODO: можно придумать workaround.
M
Merge  
Michael Kolupaev 已提交
1388
							  */
M
Merge  
Michael Kolupaev 已提交
1389

M
Merge  
Michael Kolupaev 已提交
1390
							{
M
Merge  
Michael Kolupaev 已提交
1391 1392 1393 1394 1395 1396 1397
								Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);

								/** NOTE: Не удалятся записи в очереди, которые сейчас выполняются.
								* Они пофейлятся и положат кусок снова в очередь на проверку.
								* Расчитываем, что это редкая ситуация.
								*/
								for (LogEntries::iterator it = queue.begin(); it != queue.end(); )
M
Merge  
Michael Kolupaev 已提交
1398
								{
M
Merge  
Michael Kolupaev 已提交
1399 1400 1401 1402 1403 1404 1405 1406 1407
									if (it->new_part_name == part_name)
									{
										zookeeper->remove(replica_path + "/queue/" + it->znode_name);
										queue.erase(it++);
									}
									else
									{
										++it;
									}
M
Merge  
Michael Kolupaev 已提交
1408 1409 1410 1411
								}
							}
						}
					}
M
Merge  
Michael Kolupaev 已提交
1412 1413 1414 1415 1416 1417 1418 1419
				}
			}
			/// У нас есть этот кусок, и он активен.
			else if (part->name == part_name)
			{
				/// Если кусок есть в ZooKeeper, сверим его данные с его чексуммами, а их с ZooKeeper.
				if (zookeeper->exists(replica_path + "/parts/" + part_name))
				{
M
Merge  
Michael Kolupaev 已提交
1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434
					LOG_WARNING(log, "Checking data of part " << part_name << ".");

					try
					{
						auto zk_checksums = MergeTreeData::DataPart::Checksums::parse(
							zookeeper->get(replica_path + "/parts/" + part_name + "/checksums"));
						zk_checksums.checkEqual(part->checksums, true);

						auto zk_columns = NamesAndTypesList::parse(
							zookeeper->get(replica_path + "/parts/" + part_name + "/columns"), context.getDataTypeFactory());
						if (part->columns != zk_columns)
							throw Exception("Columns of local part " + part_name + " are different from ZooKeeper");

						MergeTreePartChecker::checkDataPart(
							data.getFullPath() + part_name, data.index_granularity, true, context.getDataTypeFactory());
M
Merge  
Michael Kolupaev 已提交
1435

M
Merge  
Michael Kolupaev 已提交
1436 1437 1438 1439 1440 1441
						LOG_INFO(log, "Part " << part_name << " looks good.");
					}
					catch (...)
					{
						tryLogCurrentException(__PRETTY_FUNCTION__);

M
Merge  
Michael Kolupaev 已提交
1442 1443
						LOG_ERROR(log, "Part " << part_name << " looks broken. Removing it and queueing a fetch.");
						ProfileEvents::increment(ProfileEvents::ReplicatedPartChecksFailed);
M
Merge  
Michael Kolupaev 已提交
1444 1445 1446 1447 1448 1449

						removePartAndEnqueueFetch(part_name);

						/// Удалим кусок локально.
						data.deletePart(part);
					}
M
Merge  
Michael Kolupaev 已提交
1450 1451 1452 1453
				}
				/// Если куска нет в ZooKeeper, удалим его локально.
				else
				{
M
Merge  
Michael Kolupaev 已提交
1454 1455
					ProfileEvents::increment(ProfileEvents::ReplicatedPartChecksFailed);

M
Merge  
Michael Kolupaev 已提交
1456 1457 1458
					/// Если этот кусок еще и получен в результате слияния, это уже чересчур странно.
					if (part->left != part->right)
					{
M
Merge  
Michael Kolupaev 已提交
1459
						LOG_ERROR(log, "Unexpected part " << part_name << " is a result of a merge. You have to resolve this manually.");
M
Merge  
Michael Kolupaev 已提交
1460 1461 1462
					}
					else
					{
M
Merge  
Michael Kolupaev 已提交
1463 1464
						LOG_ERROR(log, "Unexpected part " << part_name << ". Removing.");
						data.deletePart(part);
M
Merge  
Michael Kolupaev 已提交
1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496
					}
				}
			}
			else
			{
				/// Если у нас есть покрывающий кусок, игнорируем все проблемы с этим куском.
				/// В худшем случае в лог еще old_parts_lifetime секунд будут валиться ошибки, пока кусок не удалится как старый.
			}

			/// Удалим кусок из очереди.
			{
				Poco::ScopedLock<Poco::FastMutex> lock(parts_to_check_mutex);
				if (parts_to_check_queue.empty() || parts_to_check_queue.front() != part_name)
				{
					LOG_ERROR(log, "Someone changed parts_to_check_queue.front(). This is a bug.");
				}
				else
				{
					parts_to_check_queue.pop_front();
					parts_to_check_set.erase(part_name);
				}
			}
		}
		catch (...)
		{
			tryLogCurrentException(__PRETTY_FUNCTION__);
			parts_to_check_event.tryWait(ERROR_SLEEP_MS);
		}
	}
}


M
Merge  
Michael Kolupaev 已提交
1497 1498
bool StorageReplicatedMergeTree::canMergeParts(const MergeTreeData::DataPartPtr & left, const MergeTreeData::DataPartPtr & right)
{
M
Merge  
Michael Kolupaev 已提交
1499 1500 1501
	/// Если какой-то из кусков уже собираются слить в больший, не соглашаемся его сливать.
	if (virtual_parts.getContainingPart(left->name) != left->name ||
		virtual_parts.getContainingPart(right->name) != right->name)
M
Merge  
Michael Kolupaev 已提交
1502 1503
		return false;

M
Merge  
Michael Kolupaev 已提交
1504 1505 1506 1507 1508
	/// Если о каком-то из кусков нет информации в ZK, не будем сливать.
	if (!zookeeper->exists(replica_path + "/parts/" + left->name) ||
		!zookeeper->exists(replica_path + "/parts/" + right->name))
		return false;

M
Merge  
Michael Kolupaev 已提交
1509 1510
	String month_name = left->name.substr(0, 6);

M
Merge  
Michael Kolupaev 已提交
1511 1512 1513
	/// Можно слить куски, если все номера между ними заброшены - не соответствуют никаким блокам.
	for (UInt64 number = left->right + 1; number <= right->left - 1; ++number)
	{
M
Merge  
Michael Kolupaev 已提交
1514
		String path = zookeeper_path + "/block_numbers/" + month_name + "/block-" + padIndex(number);
M
Merge  
Michael Kolupaev 已提交
1515

M
Merge  
Michael Kolupaev 已提交
1516
		if (AbandonableLockInZooKeeper::check(path, *zookeeper) != AbandonableLockInZooKeeper::ABANDONED)
M
Merge  
Michael Kolupaev 已提交
1517 1518
		{
			LOG_DEBUG(log, "Can't merge parts " << left->name << " and " << right->name << " because block " << path << " exists");
M
Merge  
Michael Kolupaev 已提交
1519
			return false;
M
Merge  
Michael Kolupaev 已提交
1520
		}
M
Merge  
Michael Kolupaev 已提交
1521 1522 1523 1524 1525 1526 1527
	}

	return true;
}

void StorageReplicatedMergeTree::becomeLeader()
{
M
Merge  
Michael Kolupaev 已提交
1528
	LOG_INFO(log, "Became leader");
M
Merge  
Michael Kolupaev 已提交
1529 1530 1531 1532
	is_leader_node = true;
	merge_selecting_thread = std::thread(&StorageReplicatedMergeTree::mergeSelectingThread, this);
}

M
Merge  
Michael Kolupaev 已提交
1533
String StorageReplicatedMergeTree::findReplicaHavingPart(const String & part_name, bool active)
M
Merge  
Michael Kolupaev 已提交
1534
{
M
Merge  
Michael Kolupaev 已提交
1535
	Strings replicas = zookeeper->getChildren(zookeeper_path + "/replicas");
M
Merge  
Michael Kolupaev 已提交
1536 1537 1538 1539 1540 1541

	/// Из реплик, у которых есть кусок, выберем одну равновероятно.
	std::random_shuffle(replicas.begin(), replicas.end());

	for (const String & replica : replicas)
	{
M
Merge  
Michael Kolupaev 已提交
1542 1543
		if (zookeeper->exists(zookeeper_path + "/replicas/" + replica + "/parts/" + part_name) &&
			(!active || zookeeper->exists(zookeeper_path + "/replicas/" + replica + "/is_active")))
M
Merge  
Michael Kolupaev 已提交
1544 1545 1546
			return replica;
	}

M
Merge  
Michael Kolupaev 已提交
1547
	return "";
M
Merge  
Michael Kolupaev 已提交
1548 1549 1550 1551
}

void StorageReplicatedMergeTree::fetchPart(const String & part_name, const String & replica_name)
{
M
Merge  
Michael Kolupaev 已提交
1552 1553
	LOG_DEBUG(log, "Fetching part " << part_name << " from " << replica_name);

M
Merge  
Michael Kolupaev 已提交
1554 1555 1556 1557 1558
	auto table_lock = lockStructure(true);

	String host;
	int port;

M
Merge  
Michael Kolupaev 已提交
1559
	String host_port_str = zookeeper->get(zookeeper_path + "/replicas/" + replica_name + "/host");
M
Merge  
Michael Kolupaev 已提交
1560 1561 1562 1563 1564 1565 1566 1567
	ReadBufferFromString buf(host_port_str);
	assertString("host: ", buf);
	readString(host, buf);
	assertString("\nport: ", buf);
	readText(port, buf);
	assertString("\n", buf);
	assertEOF(buf);

M
Merge  
Michael Kolupaev 已提交
1568
	MergeTreeData::MutableDataPartPtr part = fetcher.fetchPart(part_name, zookeeper_path + "/replicas/" + replica_name, host, port);
M
Merge  
Michael Kolupaev 已提交
1569 1570 1571

	MergeTreeData::Transaction transaction;
	auto removed_parts = data.renameTempPartAndReplace(part, nullptr, &transaction);
M
Merge  
Michael Kolupaev 已提交
1572

M
Merge  
Michael Kolupaev 已提交
1573
	zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
1574
	checkPartAndAddToZooKeeper(part, ops);
M
Michael Kolupaev 已提交
1575

M
Merge  
Michael Kolupaev 已提交
1576
	zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
1577
	transaction.commit();
M
Merge  
Michael Kolupaev 已提交
1578
	merge_selecting_event.set();
M
Merge  
Michael Kolupaev 已提交
1579

M
Michael Kolupaev 已提交
1580 1581 1582 1583 1584 1585
	for (const auto & removed_part : removed_parts)
	{
		LOG_DEBUG(log, "Part " << removed_part->name << " is rendered obsolete by fetching part " << part_name);
		ProfileEvents::increment(ProfileEvents::ObsoleteReplicatedParts);
	}

M
Merge  
Michael Kolupaev 已提交
1586 1587
	ProfileEvents::increment(ProfileEvents::ReplicatedPartFetches);

M
Merge  
Michael Kolupaev 已提交
1588
	LOG_DEBUG(log, "Fetched part " << part_name << " from " << replica_name);
M
Merge  
Michael Kolupaev 已提交
1589
}
M
Merge  
Michael Kolupaev 已提交
1590

M
Merge  
Michael Kolupaev 已提交
1591 1592
void StorageReplicatedMergeTree::shutdown()
{
M
Merge  
Michael Kolupaev 已提交
1593
	if (permanent_shutdown_called)
M
Merge  
Michael Kolupaev 已提交
1594 1595 1596
	{
		if (restarting_thread.joinable())
			restarting_thread.join();
M
Merge  
Michael Kolupaev 已提交
1597
		return;
M
Merge  
Michael Kolupaev 已提交
1598
	}
M
Merge  
Michael Kolupaev 已提交
1599

M
Merge  
Michael Kolupaev 已提交
1600
	permanent_shutdown_called = true;
M
Merge  
Michael Kolupaev 已提交
1601
	permanent_shutdown_event.set();
M
Merge  
Michael Kolupaev 已提交
1602
	restarting_thread.join();
M
Merge  
Michael Kolupaev 已提交
1603 1604

	endpoint_holder = nullptr;
M
Merge  
Michael Kolupaev 已提交
1605 1606 1607 1608
}

void StorageReplicatedMergeTree::partialShutdown()
{
M
Merge  
Michael Kolupaev 已提交
1609
	leader_election = nullptr;
M
Merge  
Michael Kolupaev 已提交
1610
	shutdown_called = true;
M
Merge  
Michael Kolupaev 已提交
1611
	shutdown_event.set();
M
Merge  
Michael Kolupaev 已提交
1612 1613 1614
	merge_selecting_event.set();
	queue_updating_event->set();
	alter_thread_event->set();
M
Merge  
Michael Kolupaev 已提交
1615
	alter_query_event->set();
M
Merge  
Michael Kolupaev 已提交
1616
	parts_to_check_event.set();
M
Merge  
Michael Kolupaev 已提交
1617 1618
	replica_is_active_node = nullptr;

M
Merge  
Michael Kolupaev 已提交
1619 1620 1621 1622
	merger.cancelAll();
	if (unreplicated_merger)
		unreplicated_merger->cancelAll();

M
Merge  
Michael Kolupaev 已提交
1623
	LOG_TRACE(log, "Waiting for threads to finish");
M
Merge  
Michael Kolupaev 已提交
1624
	if (is_leader_node)
M
Merge  
Michael Kolupaev 已提交
1625
	{
M
Merge  
Michael Kolupaev 已提交
1626
		is_leader_node = false;
M
Merge  
Michael Kolupaev 已提交
1627 1628
		if (merge_selecting_thread.joinable())
			merge_selecting_thread.join();
M
Merge  
Michael Kolupaev 已提交
1629
	}
M
Merge  
Michael Kolupaev 已提交
1630 1631
	if (queue_updating_thread.joinable())
		queue_updating_thread.join();
M
Merge  
Michael Kolupaev 已提交
1632 1633 1634 1635
	if (cleanup_thread.joinable())
		cleanup_thread.join();
	if (alter_thread.joinable())
		alter_thread.join();
M
Merge  
Michael Kolupaev 已提交
1636 1637
	if (part_check_thread.joinable())
		part_check_thread.join();
M
Merge  
Michael Kolupaev 已提交
1638 1639
	if (queue_task_handle)
		context.getBackgroundPool().removeTask(queue_task_handle);
M
Merge  
Michael Kolupaev 已提交
1640
	queue_task_handle.reset();
M
Merge  
Michael Kolupaev 已提交
1641
	LOG_TRACE(log, "Threads finished");
M
Merge  
Michael Kolupaev 已提交
1642 1643
}

M
Merge  
Michael Kolupaev 已提交
1644 1645 1646 1647 1648 1649
void StorageReplicatedMergeTree::goReadOnly()
{
	LOG_INFO(log, "Going to read-only mode");

	is_read_only = true;
	permanent_shutdown_called = true;
M
Merge  
Michael Kolupaev 已提交
1650
	permanent_shutdown_event.set();
M
Merge  
Michael Kolupaev 已提交
1651

M
Merge  
Michael Kolupaev 已提交
1652
	partialShutdown();
M
Merge  
Michael Kolupaev 已提交
1653 1654
}

M
Merge  
Michael Kolupaev 已提交
1655 1656 1657
void StorageReplicatedMergeTree::startup()
{
	shutdown_called = false;
M
Merge  
Michael Kolupaev 已提交
1658
	shutdown_event.reset();
M
Merge  
Michael Kolupaev 已提交
1659

M
Merge  
Michael Kolupaev 已提交
1660 1661 1662 1663
	merger.uncancelAll();
	if (unreplicated_merger)
		unreplicated_merger->uncancelAll();

M
Merge  
Michael Kolupaev 已提交
1664 1665
	activateReplica();

M
Merge  
Michael Kolupaev 已提交
1666
	leader_election = new zkutil::LeaderElection(zookeeper_path + "/leader_election", *zookeeper,
M
Merge  
Michael Kolupaev 已提交
1667 1668 1669
		std::bind(&StorageReplicatedMergeTree::becomeLeader, this), replica_name);

	queue_updating_thread = std::thread(&StorageReplicatedMergeTree::queueUpdatingThread, this);
M
Merge  
Michael Kolupaev 已提交
1670
	cleanup_thread = std::thread(&StorageReplicatedMergeTree::cleanupThread, this);
M
Merge  
Michael Kolupaev 已提交
1671
	alter_thread = std::thread(&StorageReplicatedMergeTree::alterThread, this);
M
Merge  
Michael Kolupaev 已提交
1672
	part_check_thread = std::thread(&StorageReplicatedMergeTree::partCheckThread, this);
M
Merge  
Michael Kolupaev 已提交
1673 1674
	queue_task_handle = context.getBackgroundPool().addTask(
		std::bind(&StorageReplicatedMergeTree::queueTask, this, std::placeholders::_1));
M
Merge  
Michael Kolupaev 已提交
1675 1676
}

M
Merge  
Michael Kolupaev 已提交
1677 1678
void StorageReplicatedMergeTree::restartingThread()
{
M
Merge  
Michael Kolupaev 已提交
1679
	try
M
Merge  
Michael Kolupaev 已提交
1680
	{
M
Merge  
Michael Kolupaev 已提交
1681 1682 1683
		startup();

		while (!permanent_shutdown_called)
M
Merge  
Michael Kolupaev 已提交
1684
		{
M
Merge  
Michael Kolupaev 已提交
1685 1686 1687
			if (zookeeper->expired())
			{
				LOG_WARNING(log, "ZooKeeper session has expired. Switching to a new session.");
M
Merge  
Michael Kolupaev 已提交
1688

M
Merge  
Michael Kolupaev 已提交
1689
				/// Запретим писать в таблицу, пока подменяем zookeeper.
M
Merge  
Michael Kolupaev 已提交
1690
				LOG_TRACE(log, "Locking INSERTs");
M
Merge  
Michael Kolupaev 已提交
1691
				auto structure_lock = lockDataForAlter();
M
Merge  
Michael Kolupaev 已提交
1692
				LOG_TRACE(log, "Locked INSERTs");
M
Merge  
Michael Kolupaev 已提交
1693

M
Merge  
Michael Kolupaev 已提交
1694
				partialShutdown();
M
Merge  
Michael Kolupaev 已提交
1695

M
Merge  
Michael Kolupaev 已提交
1696 1697 1698 1699
				zookeeper = context.getZooKeeper();

				startup();
			}
M
Merge  
Michael Kolupaev 已提交
1700

M
Merge  
Michael Kolupaev 已提交
1701
			permanent_shutdown_event.tryWait(60 * 1000);
M
Merge  
Michael Kolupaev 已提交
1702 1703 1704 1705 1706
		}
	}
	catch (...)
	{
		tryLogCurrentException("StorageReplicatedMergeTree::restartingThread");
M
Merge  
Michael Kolupaev 已提交
1707 1708
		LOG_ERROR(log, "Exception in restartingThread. The storage will be read-only until server restart.");
		goReadOnly();
M
Merge  
Michael Kolupaev 已提交
1709
		LOG_DEBUG(log, "restarting thread finished");
M
Merge  
Michael Kolupaev 已提交
1710
		return;
M
Merge  
Michael Kolupaev 已提交
1711 1712
	}

M
Merge  
Michael Kolupaev 已提交
1713 1714 1715 1716 1717 1718 1719 1720 1721
	try
	{
		endpoint_holder = nullptr;
		partialShutdown();
	}
	catch (...)
	{
		tryLogCurrentException("StorageReplicatedMergeTree::restartingThread");
	}
M
Merge  
Michael Kolupaev 已提交
1722 1723

	LOG_DEBUG(log, "restarting thread finished");
M
Merge  
Michael Kolupaev 已提交
1724 1725
}

M
Merge  
Michael Kolupaev 已提交
1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745
StorageReplicatedMergeTree::~StorageReplicatedMergeTree()
{
	try
	{
		shutdown();
	}
	catch(...)
	{
		tryLogCurrentException("~StorageReplicatedMergeTree");
	}
}

BlockInputStreams StorageReplicatedMergeTree::read(
		const Names & column_names,
		ASTPtr query,
		const Settings & settings,
		QueryProcessingStage::Enum & processed_stage,
		size_t max_block_size,
		unsigned threads)
{
M
Merge  
Michael Kolupaev 已提交
1746 1747 1748 1749 1750 1751 1752 1753 1754
	BlockInputStreams res = reader.read(column_names, query, settings, processed_stage, max_block_size, threads);

	if (unreplicated_reader)
	{
		BlockInputStreams res2 = unreplicated_reader->read(column_names, query, settings, processed_stage, max_block_size, threads);
		res.insert(res.begin(), res2.begin(), res2.end());
	}

	return res;
M
Merge  
Michael Kolupaev 已提交
1755 1756
}

M
Merge  
Michael Kolupaev 已提交
1757 1758
BlockOutputStreamPtr StorageReplicatedMergeTree::write(ASTPtr query)
{
M
Merge  
Michael Kolupaev 已提交
1759 1760 1761
	if (is_read_only)
		throw Exception("Table is in read only mode", ErrorCodes::TABLE_IS_READ_ONLY);

M
Merge  
Michael Kolupaev 已提交
1762
	String insert_id;
1763
	if (ASTInsertQuery * insert = typeid_cast<ASTInsertQuery *>(&*query))
M
Merge  
Michael Kolupaev 已提交
1764 1765 1766 1767
		insert_id = insert->insert_id;

	return new ReplicatedMergeTreeBlockOutputStream(*this, insert_id);
}
M
Merge  
Michael Kolupaev 已提交
1768

M
Merge  
Michael Kolupaev 已提交
1769 1770
bool StorageReplicatedMergeTree::optimize()
{
1771 1772 1773
	/// Померджим какие-нибудь куски из директории unreplicated.
	/// TODO: Мерджить реплицируемые куски тоже.
	/// TODO: Не давать вызывать это из нескольких потоков сразу: один кусок может принять участие в нескольких несовместимых слияниях.
M
Merge  
Michael Kolupaev 已提交
1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789

	if (!unreplicated_data)
		return false;

	unreplicated_data->clearOldParts();

	MergeTreeData::DataPartsVector parts;
	String merged_name;
	auto always_can_merge = [](const MergeTreeData::DataPartPtr &a, const MergeTreeData::DataPartPtr &b) { return true; };
	if (!unreplicated_merger->selectPartsToMerge(parts, merged_name, 0, true, true, false, always_can_merge))
		return false;

	unreplicated_merger->mergeParts(parts, merged_name);
	return true;
}

M
Merge  
Michael Kolupaev 已提交
1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858
void StorageReplicatedMergeTree::alter(const AlterCommands & params, const String & database_name, const String & table_name, Context & context)
{
	LOG_DEBUG(log, "Doing ALTER");

	NamesAndTypesList new_columns;
	String new_columns_str;
	int new_columns_version;
	zkutil::Stat stat;

	{
		auto table_lock = lockStructureForAlter();

		data.checkAlter(params);

		new_columns = data.getColumnsList();
		params.apply(new_columns);

		new_columns_str = new_columns.toString();

		/// Делаем ALTER.
		zookeeper->set(zookeeper_path + "/columns", new_columns_str, -1, &stat);

		new_columns_version = stat.version;
	}

	LOG_DEBUG(log, "Updated columns in ZooKeeper. Waiting for replicas to apply changes.");

	/// Ждем, пока все реплики обновят данные.

	/// Подпишемся на изменения столбцов, чтобы перестать ждать, если кто-то еще сделает ALTER.
	if (!zookeeper->exists(zookeeper_path + "/columns", &stat, alter_query_event))
		throw Exception(zookeeper_path + "/columns doesn't exist", ErrorCodes::NOT_FOUND_NODE);
	if (stat.version != new_columns_version)
	{
		LOG_WARNING(log, zookeeper_path + "/columns changed before this ALTER finished; "
			"overlapping ALTER-s are fine but use caution with nontransitive changes");
		return;
	}

	Strings replicas = zookeeper->getChildren(zookeeper_path + "/replicas");
	for (const String & replica : replicas)
	{
		LOG_DEBUG(log, "Waiting for " << replica << " to apply changes");

		while (!shutdown_called)
		{
			String replica_columns_str;

			/// Реплику могли успеть удалить.
			if (!zookeeper->tryGet(zookeeper_path + "/replicas/" + replica + "/columns", replica_columns_str, &stat))
			{
				LOG_WARNING(log, replica << " was removed");
				break;
			}

			int replica_columns_version = stat.version;

			if (replica_columns_str == new_columns_str)
				break;

			if (!zookeeper->exists(zookeeper_path + "/columns", &stat))
				throw Exception(zookeeper_path + "/columns doesn't exist", ErrorCodes::NOT_FOUND_NODE);
			if (stat.version != new_columns_version)
			{
				LOG_WARNING(log, zookeeper_path + "/columns changed before ALTER finished; "
					"overlapping ALTER-s are fine but use caution with nontransitive changes");
				return;
			}

M
Merge  
Michael Kolupaev 已提交
1859
			if (!zookeeper->exists(zookeeper_path + "/replicas/" + replica + "/columns", &stat, alter_query_event))
M
Merge  
Michael Kolupaev 已提交
1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877
			{
				LOG_WARNING(log, replica << " was removed");
				break;
			}

			if (stat.version != replica_columns_version)
				continue;

			alter_query_event->wait();
		}

		if (shutdown_called)
			break;
	}

	LOG_DEBUG(log, "ALTER finished");
}

M
Merge  
Michael Kolupaev 已提交
1878 1879
void StorageReplicatedMergeTree::drop()
{
M
Merge  
Michael Kolupaev 已提交
1880 1881
	shutdown();

M
Merge  
Michael Kolupaev 已提交
1882
	LOG_INFO(log, "Removing replica " << replica_path);
M
Merge  
Michael Kolupaev 已提交
1883
	replica_is_active_node = nullptr;
M
Merge  
Michael Kolupaev 已提交
1884 1885
	zookeeper->tryRemoveRecursive(replica_path);

M
Merge  
Michael Kolupaev 已提交
1886
	/// Проверяем, что zookeeper_path существует: его могла удалить другая реплика после выполнения предыдущей строки.
M
Merge  
Michael Kolupaev 已提交
1887 1888
	Strings replicas;
	if (zookeeper->tryGetChildren(zookeeper_path + "/replicas", replicas) == ZOK && replicas.empty())
M
Merge  
Michael Kolupaev 已提交
1889 1890
	{
		LOG_INFO(log, "Removing table " << zookeeper_path << " (this might take several minutes)");
M
Merge  
Michael Kolupaev 已提交
1891
		zookeeper->tryRemoveRecursive(zookeeper_path);
M
Merge  
Michael Kolupaev 已提交
1892
	}
M
Merge  
Michael Kolupaev 已提交
1893 1894

	data.dropAllData();
M
Merge  
Michael Kolupaev 已提交
1895 1896
}

M
Merge  
Michael Kolupaev 已提交
1897 1898 1899
void StorageReplicatedMergeTree::LogEntry::writeText(WriteBuffer & out) const
{
	writeString("format version: 1\n", out);
M
Merge  
Michael Kolupaev 已提交
1900 1901 1902
	writeString("source replica: ", out);
	writeString(source_replica, out);
	writeString("\n", out);
M
Merge  
Michael Kolupaev 已提交
1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927
	switch (type)
	{
		case GET_PART:
			writeString("get\n", out);
			writeString(new_part_name, out);
			break;
		case MERGE_PARTS:
			writeString("merge\n", out);
			for (const String & s : parts_to_merge)
			{
				writeString(s, out);
				writeString("\n", out);
			}
			writeString("into\n", out);
			writeString(new_part_name, out);
			break;
	}
	writeString("\n", out);
}

void StorageReplicatedMergeTree::LogEntry::readText(ReadBuffer & in)
{
	String type_str;

	assertString("format version: 1\n", in);
M
Michael Kolupaev 已提交
1928
	assertString("source replica: ", in);
M
Merge  
Michael Kolupaev 已提交
1929
	readString(source_replica, in);
M
Merge  
Michael Kolupaev 已提交
1930
	assertString("\n", in);
M
Michael Kolupaev 已提交
1931 1932
	readString(type_str, in);
	assertString("\n", in);
M
Merge  
Michael Kolupaev 已提交
1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955

	if (type_str == "get")
	{
		type = GET_PART;
		readString(new_part_name, in);
	}
	else if (type_str == "merge")
	{
		type = MERGE_PARTS;
		while (true)
		{
			String s;
			readString(s, in);
			assertString("\n", in);
			if (s == "into")
				break;
			parts_to_merge.push_back(s);
		}
		readString(new_part_name, in);
	}
	assertString("\n", in);
}

M
Merge  
Michael Kolupaev 已提交
1956
}