StorageReplicatedMergeTree.cpp 61.9 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 5 6
#include <DB/Parsers/formatAST.h>
#include <DB/IO/WriteBufferFromOStream.h>
#include <DB/IO/ReadBufferFromString.h>
M
Merge  
Michael Kolupaev 已提交
7
#include <DB/Interpreters/InterpreterAlterQuery.h>
M
Merge  
Michael Kolupaev 已提交
8
#include <time.h>
M
Merge  
Michael Kolupaev 已提交
9 10 11 12

namespace DB
{

M
Merge  
Michael Kolupaev 已提交
13

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


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

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

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

M
Merge  
Michael Kolupaev 已提交
58
		checkTableStructure(false);
M
Merge  
Michael Kolupaev 已提交
59
		createReplica();
M
Merge  
Michael Kolupaev 已提交
60 61 62
	}
	else
	{
M
Merge  
Michael Kolupaev 已提交
63 64 65 66 67 68
		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 已提交
69 70
			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 已提交
71 72 73 74
		}

		checkTableStructure(skip_sanity_checks);
		checkParts(skip_sanity_checks);
M
Merge  
Michael Kolupaev 已提交
75
	}
M
Merge  
Michael Kolupaev 已提交
76

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

	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 已提交
85
			date_column_name_, sampling_expression_, index_granularity_, mode_, sign_column_, settings_,
M
Merge  
Michael Kolupaev 已提交
86
			database_name_ + "." + table_name + "[unreplicated]", false));
M
Merge  
Michael Kolupaev 已提交
87
		unreplicated_reader.reset(new MergeTreeDataSelectExecutor(*unreplicated_data));
M
Merge  
Michael Kolupaev 已提交
88
		unreplicated_merger.reset(new MergeTreeDataMerger(*unreplicated_data));
M
Merge  
Michael Kolupaev 已提交
89
	}
M
Merge  
Michael Kolupaev 已提交
90

M
Merge  
Michael Kolupaev 已提交
91 92 93 94 95 96
	/// Сгенерируем этому экземпляру случайный идентификатор.
	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 已提交
97
	restarting_thread = std::thread(&StorageReplicatedMergeTree::restartingThread, this);
M
Merge  
Michael Kolupaev 已提交
98 99 100 101 102
}

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

M
Merge  
Michael Kolupaev 已提交
128 129 130 131 132 133 134 135
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 已提交
136

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

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

M
Merge  
Michael Kolupaev 已提交
143
	/// Запишем метаданные таблицы, чтобы реплики могли сверять с ними параметры таблицы.
M
Merge  
Michael Kolupaev 已提交
144 145 146 147 148 149 150 151
	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 已提交
152

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

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

M
Merge  
Michael Kolupaev 已提交
165 166
/** Проверить, что список столбцов и настройки таблицы совпадают с указанными в ZK (/metadata).
	* Если нет - бросить исключение.
M
Merge  
Michael Kolupaev 已提交
167
	*/
M
Merge  
Michael Kolupaev 已提交
168
void StorageReplicatedMergeTree::checkTableStructure(bool skip_sanity_checks)
M
Merge  
Michael Kolupaev 已提交
169
{
M
Merge  
Michael Kolupaev 已提交
170
	String metadata_str = zookeeper->get(zookeeper_path + "/metadata");
M
Merge  
Michael Kolupaev 已提交
171 172 173 174 175 176 177 178 179 180 181 182 183
	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 已提交
184 185
	/// NOTE: Можно сделать менее строгую проверку совпадения выражений, чтобы таблицы не ломались от небольших изменений
	///       в коде formatAST.
M
Merge  
Michael Kolupaev 已提交
186
	assertString(formattedAST(data.primary_expr_ast), buf);
M
Merge  
Michael Kolupaev 已提交
187
	assertString("\n", buf);
M
Merge  
Michael Kolupaev 已提交
188
	assertEOF(buf);
M
Merge  
Michael Kolupaev 已提交
189 190 191 192

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

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

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

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

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

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

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

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

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

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

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

M
Merge  
Michael Kolupaev 已提交
249 250
	/// Скопируем у эталонной реплики ссылку на лог.
	zookeeper->set(replica_path + "/log_pointer", zookeeper->get(source_path + "/log_pointer"));
M
Merge  
Michael Kolupaev 已提交
251 252 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

	/// Запомним очередь эталонной реплики.
	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 已提交
281
	LOG_DEBUG(log, "Queued " << active_parts.size() << " parts to be fetched");
M
Merge  
Michael Kolupaev 已提交
282 283 284 285 286 287

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

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

M
Merge  
Michael Kolupaev 已提交
297 298 299 300 301 302 303 304 305
	/** Если нода отмечена как активная, но отметка сделана в этом же экземпляре, удалим ее.
	  * Такое возможно только при истечении сессии в 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 已提交
306
	/// Одновременно объявим, что эта реплика активна, и обновим хост.
M
Merge  
Michael Kolupaev 已提交
307
	zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
308
	ops.push_back(new zkutil::Op::Create(replica_path + "/is_active", "", zookeeper->getDefaultACL(), zkutil::CreateMode::Ephemeral));
M
Merge  
Michael Kolupaev 已提交
309
	ops.push_back(new zkutil::Op::SetData(replica_path + "/host", host.str(), -1));
M
Merge  
Michael Kolupaev 已提交
310 311 312

	try
	{
M
Merge  
Michael Kolupaev 已提交
313
		zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
314 315 316
	}
	catch (zkutil::KeeperException & e)
	{
317
		if (e.code == ZNODEEXISTS)
M
Merge  
Michael Kolupaev 已提交
318 319 320 321 322
			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 已提交
323

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

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

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

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

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

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

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

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

M
Merge  
Michael Kolupaev 已提交
357 358
	for (const String & missing_name : expected_parts)
	{
M
Merge  
Michael Kolupaev 已提交
359
		/// Если локально не хватает какого-то куска, но есть покрывающий его кусок, можно заменить в ZK недостающий покрывающим.
M
Merge  
Michael Kolupaev 已提交
360
		auto containing = data.getContainingPart(missing_name);
M
Merge  
Michael Kolupaev 已提交
361 362 363 364 365 366 367 368 369 370
		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 已提交
371
		{
M
Merge  
Michael Kolupaev 已提交
372
			parts_to_fetch.push_back(missing_name);
M
Merge  
Michael Kolupaev 已提交
373 374
		}
	}
M
Merge  
Michael Kolupaev 已提交
375

M
Merge  
Michael Kolupaev 已提交
376 377 378 379 380 381 382 383 384 385
	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 已提交
386
		unexpected_parts.size() > 2 ||
M
Merge  
Michael Kolupaev 已提交
387 388 389
		expected_parts.size() > 20 ||
		parts_to_fetch.size() > 2;

M
Merge  
Michael Kolupaev 已提交
390
	if (insane && !skip_sanity_checks)
M
Merge  
Michael Kolupaev 已提交
391 392 393
	{
		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 已提交
394
			ErrorCodes::TOO_MANY_UNEXPECTED_DATA_PARTS);
M
Merge  
Michael Kolupaev 已提交
395 396
	}

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

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

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

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

		zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
418
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name + "/columns", -1));
M
Merge  
Michael Kolupaev 已提交
419 420 421 422 423 424 425 426 427 428 429 430
		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 已提交
431
		log_entry.source_replica = "";
M
Merge  
Michael Kolupaev 已提交
432 433 434
		log_entry.new_part_name = name;

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

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

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

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

M
Merge  
Michael Kolupaev 已提交
466 467 468 469 470
	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 已提交
471
	{
M
Merge  
Michael Kolupaev 已提交
472 473 474 475 476 477 478 479 480 481
		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 已提交
482
		String checksums_str;
M
Merge  
Michael Kolupaev 已提交
483 484 485 486 487
		/// Проверим, что версия ноды со столбцами не изменилась, пока мы читали 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 已提交
488
		{
M
Merge  
Michael Kolupaev 已提交
489 490 491
			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 已提交
492
		}
M
Merge  
Michael Kolupaev 已提交
493 494 495

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

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

M
Merge  
Michael Kolupaev 已提交
518 519 520 521 522 523 524 525 526
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);
}

M
Merge  
Michael Kolupaev 已提交
527 528 529 530 531 532 533
void StorageReplicatedMergeTree::clearOldParts()
{
	Strings parts = data.clearOldParts();

	for (const String & name : parts)
	{
		zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
534
		ops.push_back(new zkutil::Op::Remove(replica_path + "/parts/" + name + "/columns", -1));
M
Merge  
Michael Kolupaev 已提交
535 536
		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));
537 538
		int32_t code = zookeeper->tryMulti(ops);
		if (code != ZOK)
M
Merge  
Michael Kolupaev 已提交
539
			LOG_DEBUG(log, "Couldn't remove part " << name << " from ZooKeeper: " << zkutil::ZooKeeper::error2string(code));
M
Merge  
Michael Kolupaev 已提交
540 541 542 543 544 545
	}

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

M
Merge  
Michael Kolupaev 已提交
546 547
void StorageReplicatedMergeTree::clearOldLogs()
{
M
Merge  
Michael Kolupaev 已提交
548 549 550 551 552 553 554 555 556 557 558
	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 已提交
559 560 561
	UInt64 min_pointer = std::numeric_limits<UInt64>::max();
	for (const String & replica : replicas)
	{
M
Merge  
Michael Kolupaev 已提交
562 563
		String pointer = zookeeper->get(zookeeper_path + "/replicas/" + replica + "/log_pointer");
		if (pointer.empty())
M
Merge  
Michael Kolupaev 已提交
564 565 566 567
			return;
		min_pointer = std::min(min_pointer, parse<UInt64>(pointer));
	}

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

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

M
Merge  
Michael Kolupaev 已提交
586 587 588 589 590 591
	if (removed == 0)
		return;

	zookeeper->multi(ops);

	LOG_DEBUG(log, "Removed " << removed << " old log entries");
M
Merge  
Michael Kolupaev 已提交
592 593 594 595 596
}

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

600
	int children_count = stat.numChildren;
M
Merge  
Michael Kolupaev 已提交
601

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

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

M
Merge  
Michael Kolupaev 已提交
609
	Strings blocks = zookeeper->getChildren(zookeeper_path + "/blocks");
M
Merge  
Michael Kolupaev 已提交
610 611 612 613 614 615

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

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

M
Merge  
Michael Kolupaev 已提交
620
	std::sort(timed_blocks.begin(), timed_blocks.end(), std::greater<std::pair<Int64, String>>());
M
Merge  
Michael Kolupaev 已提交
621 622
	for (size_t i = data.settings.replicated_deduplication_window; i <  timed_blocks.size(); ++i)
	{
M
Merge  
Michael Kolupaev 已提交
623 624
		zkutil::Ops ops;
		ops.push_back(new zkutil::Op::Remove(zookeeper_path + "/blocks/" + timed_blocks[i].second + "/number", -1));
M
Merge  
Michael Kolupaev 已提交
625
		ops.push_back(new zkutil::Op::Remove(zookeeper_path + "/blocks/" + timed_blocks[i].second + "/columns", -1));
M
Merge  
Michael Kolupaev 已提交
626 627
		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 已提交
628
		zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
629 630 631 632 633
	}

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

M
Merge  
Michael Kolupaev 已提交
634 635 636 637
void StorageReplicatedMergeTree::loadQueue()
{
	Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);

M
Merge  
Michael Kolupaev 已提交
638
	Strings children = zookeeper->getChildren(replica_path + "/queue");
M
Merge  
Michael Kolupaev 已提交
639 640 641
	std::sort(children.begin(), children.end());
	for (const String & child : children)
	{
M
Merge  
Michael Kolupaev 已提交
642
		String s = zookeeper->get(replica_path + "/queue/" + child);
M
Merge  
Michael Kolupaev 已提交
643 644
		LogEntry entry = LogEntry::parse(s);
		entry.znode_name = child;
M
Merge  
Michael Kolupaev 已提交
645
		entry.addResultToVirtualParts(*this);
M
Merge  
Michael Kolupaev 已提交
646
		queue.push_back(entry);
M
Merge  
Michael Kolupaev 已提交
647 648 649
	}
}

M
Merge  
Michael Kolupaev 已提交
650
/// Преобразовать число в строку формате суффиксов автоинкрементных нод в ZooKeeper.
M
Merge  
Michael Kolupaev 已提交
651 652 653 654 655 656 657 658 659
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 已提交
660 661
{
	Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);
M
Merge  
Michael Kolupaev 已提交
662

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

M
Merge  
Michael Kolupaev 已提交
666
	if (index_str.empty())
M
Merge  
Michael Kolupaev 已提交
667
	{
M
Merge  
Michael Kolupaev 已提交
668 669 670
		/// Если у нас еще нет указателя на лог, поставим указатель на первую запись в нем.
		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 已提交
671

M
Merge  
Michael Kolupaev 已提交
672 673 674
		zookeeper->set(replica_path + "/log_pointer", toString(index), zkutil::CreateMode::Persistent);
	}
	else
M
Merge  
Michael Kolupaev 已提交
675
	{
M
Merge  
Michael Kolupaev 已提交
676
		index = parse<UInt64>(index_str);
M
Merge  
Michael Kolupaev 已提交
677
	}
M
Merge  
Michael Kolupaev 已提交
678

M
Merge  
Michael Kolupaev 已提交
679
	size_t count = 0;
M
Merge  
Michael Kolupaev 已提交
680 681
	String entry_str;
	while (zookeeper->tryGet(zookeeper_path + "/log/log-" + padIndex(index), entry_str))
M
Merge  
Michael Kolupaev 已提交
682
	{
M
Merge  
Michael Kolupaev 已提交
683
		++count;
M
Merge  
Michael Kolupaev 已提交
684
		++index;
M
Merge  
Michael Kolupaev 已提交
685

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

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

696
		String path_created = dynamic_cast<zkutil::Op::Create &>(ops[0]).getPathCreated();
M
Merge  
Michael Kolupaev 已提交
697
		entry.znode_name = path_created.substr(path_created.find_last_of('/') + 1);
M
Merge  
Michael Kolupaev 已提交
698
		entry.addResultToVirtualParts(*this);
M
Merge  
Michael Kolupaev 已提交
699
		queue.push_back(entry);
M
Merge  
Michael Kolupaev 已提交
700
	}
M
Merge  
Michael Kolupaev 已提交
701

M
Merge  
Michael Kolupaev 已提交
702 703 704 705
	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 已提交
706
	}
M
Merge  
Michael Kolupaev 已提交
707

M
Merge  
Michael Kolupaev 已提交
708 709 710
	if (!count)
		return;

M
Merge  
Michael Kolupaev 已提交
711 712
	if (queue_task_handle)
		queue_task_handle->wake();
M
Merge  
Michael Kolupaev 已提交
713

M
Merge  
Michael Kolupaev 已提交
714
	LOG_DEBUG(log, "Pulled " << count << " entries to queue");
M
Merge  
Michael Kolupaev 已提交
715 716
}

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

	return true;
M
Merge  
Michael Kolupaev 已提交
744 745
}

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

		/// Даже если кусок есть локально, его (в исключительных случаях) может не быть в zookeeper.
M
Merge  
Michael Kolupaev 已提交
755
		if (containing_part && zookeeper->exists(replica_path + "/parts/" + containing_part->name))
M
Merge  
Michael Kolupaev 已提交
756
		{
M
Merge  
Michael Kolupaev 已提交
757 758
			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 已提交
759
			return true;
M
Merge  
Michael Kolupaev 已提交
760
		}
M
Merge  
Michael Kolupaev 已提交
761 762
	}

M
Merge  
Michael Kolupaev 已提交
763
	if (entry.type == LogEntry::GET_PART && entry.source_replica == replica_name)
M
Merge  
Michael Kolupaev 已提交
764
		LOG_WARNING(log, "Part " << entry.new_part_name << " from own log doesn't exist.");
M
Merge  
Michael Kolupaev 已提交
765 766 767

	bool do_fetch = false;

M
Merge  
Michael Kolupaev 已提交
768 769
	if (entry.type == LogEntry::GET_PART)
	{
M
Merge  
Michael Kolupaev 已提交
770
		do_fetch = true;
M
Merge  
Michael Kolupaev 已提交
771 772 773
	}
	else if (entry.type == LogEntry::MERGE_PARTS)
	{
M
Merge  
Michael Kolupaev 已提交
774
		MergeTreeData::DataPartsVector parts;
775
		bool have_all_parts = true;
M
Merge  
Michael Kolupaev 已提交
776 777 778
		for (const String & name : entry.parts_to_merge)
		{
			MergeTreeData::DataPartPtr part = data.getContainingPart(name);
M
Merge  
Michael Kolupaev 已提交
779 780 781 782 783 784 785 786 787 788 789 790
			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 已提交
791 792
			parts.push_back(part);
		}
M
Merge  
Michael Kolupaev 已提交
793

M
Merge  
Michael Kolupaev 已提交
794
		if (!have_all_parts)
M
Merge  
Michael Kolupaev 已提交
795
		{
M
Merge  
Michael Kolupaev 已提交
796 797 798
			/// Если нет всех нужных кусков, попробуем взять у кого-нибудь уже помердженный кусок.
			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 已提交
799
		}
M
Merge  
Michael Kolupaev 已提交
800 801
		else
		{
M
Merge  
Michael Kolupaev 已提交
802 803 804 805 806 807 808 809 810 811 812
			/// Если собираемся сливать большие куски, увеличим счетчик потоков, сливающих большие куски.
			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;
				}
			}

813 814
			auto table_lock = lockStructure(true);

M
Merge  
Michael Kolupaev 已提交
815 816
			MergeTreeData::Transaction transaction;
			MergeTreeData::DataPartPtr part = merger.mergeParts(parts, entry.new_part_name, &transaction);
M
Merge  
Michael Kolupaev 已提交
817 818

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

M
Merge  
Michael Kolupaev 已提交
821
			zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
822
			transaction.commit();
M
Merge  
Michael Kolupaev 已提交
823
			merge_selecting_event.set();
M
Merge  
Michael Kolupaev 已提交
824 825 826

			ProfileEvents::increment(ProfileEvents::ReplicatedPartMerges);
		}
M
Merge  
Michael Kolupaev 已提交
827 828 829 830 831
	}
	else
	{
		throw Exception("Unexpected log entry type: " + toString(static_cast<int>(entry.type)));
	}
M
Merge  
Michael Kolupaev 已提交
832 833 834

	if (do_fetch)
	{
M
Merge  
Michael Kolupaev 已提交
835 836
		String replica;

M
Merge  
Michael Kolupaev 已提交
837 838
		try
		{
M
Merge  
Michael Kolupaev 已提交
839
			replica = findReplicaHavingPart(entry.new_part_name, true);
M
Merge  
Michael Kolupaev 已提交
840 841 842 843 844
			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 已提交
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 888 889 890 891 892 893 894
			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 已提交
895 896 897 898 899 900 901 902 903

					/** Если этого куска ни у кого нет, но в очереди упоминается мердж с его участием, то наверно этот кусок такой старый,
					  *  что его все померджили и удалили. Не будем бросать исключение, чтобы 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 已提交
904 905 906 907 908 909 910 911 912 913
				}
			}
			catch (...)
			{
				tryLogCurrentException(__PRETTY_FUNCTION__);
			}

			throw;
		}
	}
M
Merge  
Michael Kolupaev 已提交
914 915

	return true;
M
Merge  
Michael Kolupaev 已提交
916 917 918 919 920 921
}

void StorageReplicatedMergeTree::queueUpdatingThread()
{
	while (!shutdown_called)
	{
M
Merge  
Michael Kolupaev 已提交
922 923
		try
		{
M
Merge  
Michael Kolupaev 已提交
924
			pullLogsToQueue(queue_updating_event);
M
Merge  
Michael Kolupaev 已提交
925

M
Merge  
Michael Kolupaev 已提交
926
			queue_updating_event->wait();
M
Merge  
Michael Kolupaev 已提交
927 928 929 930 931
		}
		catch (...)
		{
			tryLogCurrentException(__PRETTY_FUNCTION__);

M
Merge  
Michael Kolupaev 已提交
932 933
			queue_updating_event->tryWait(ERROR_SLEEP_MS);
		}
M
Merge  
Michael Kolupaev 已提交
934
	}
M
Merge  
Michael Kolupaev 已提交
935 936

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

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

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

M
Merge  
Michael Kolupaev 已提交
968 969
	if (!have_work)
		return false;
M
Merge  
Michael Kolupaev 已提交
970

M
Merge  
Michael Kolupaev 已提交
971
	bool exception = true;
M
Merge  
Michael Kolupaev 已提交
972
	bool success = false;
M
Merge  
Michael Kolupaev 已提交
973

M
Merge  
Michael Kolupaev 已提交
974 975
	try
	{
M
Merge  
Michael Kolupaev 已提交
976
		success = executeLogEntry(entry, pool_context);
M
Merge  
Michael Kolupaev 已提交
977

M
Merge  
Michael Kolupaev 已提交
978 979 980 981 982 983 984
		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 已提交
985

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

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

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

M
Merge  
Michael Kolupaev 已提交
1013 1014 1015 1016 1017 1018
void StorageReplicatedMergeTree::mergeSelectingThread()
{
	pullLogsToQueue();

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

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

M
Merge  
Michael Kolupaev 已提交
1027
			if (!has_big_merge)
M
Michael Kolupaev 已提交
1028 1029
			{
				Poco::ScopedLock<Poco::FastMutex> lock(queue_mutex);
M
Merge  
Michael Kolupaev 已提交
1030

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

						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 已提交
1053
			}
M
Merge  
Michael Kolupaev 已提交
1054

M
Merge  
Michael Kolupaev 已提交
1055
			do
M
Michael Kolupaev 已提交
1056
			{
M
Merge  
Michael Kolupaev 已提交
1057
				if (merges_queued >= data.settings.max_replicated_merges_in_queue)
M
Merge  
Michael Kolupaev 已提交
1058
					break;
M
Merge  
Michael Kolupaev 已提交
1059

M
Merge  
Michael Kolupaev 已提交
1060
				MergeTreeData::DataPartsVector parts;
M
Merge  
Michael Kolupaev 已提交
1061

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

M
Merge  
Michael Kolupaev 已提交
1066 1067 1068
				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 已提交
1069
												true, false, has_big_merge, can_merge))
M
Merge  
Michael Kolupaev 已提交
1070
					break;
M
Merge  
Michael Kolupaev 已提交
1071

M
Merge  
Michael Kolupaev 已提交
1072 1073 1074 1075
				LogEntry entry;
				entry.type = LogEntry::MERGE_PARTS;
				entry.source_replica = replica_name;
				entry.new_part_name = merged_name;
M
Merge  
Michael Kolupaev 已提交
1076

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

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

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

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

M
Merge  
Michael Kolupaev 已提交
1099
						zookeeper->tryRemove(path);
M
Merge  
Michael Kolupaev 已提交
1100
					}
M
Merge  
Michael Kolupaev 已提交
1101
				}
M
Merge  
Michael Kolupaev 已提交
1102 1103

				success = true;
M
Merge  
Michael Kolupaev 已提交
1104
			}
M
Merge  
Michael Kolupaev 已提交
1105
			while(false);
M
Merge  
Michael Kolupaev 已提交
1106 1107 1108 1109 1110 1111
		}
		catch (...)
		{
			tryLogCurrentException(__PRETTY_FUNCTION__);
		}

M
Merge  
Michael Kolupaev 已提交
1112
		if (shutdown_called || !is_leader_node)
M
Merge  
Michael Kolupaev 已提交
1113 1114
			break;

M
Merge  
Michael Kolupaev 已提交
1115
		if (!success)
M
Merge  
Michael Kolupaev 已提交
1116
			merge_selecting_event.tryWait(MERGE_SELECTING_SLEEP_MS);
M
Merge  
Michael Kolupaev 已提交
1117
	}
M
Merge  
Michael Kolupaev 已提交
1118 1119

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

M
Merge  
Michael Kolupaev 已提交
1122
void StorageReplicatedMergeTree::cleanupThread()
M
Merge  
Michael Kolupaev 已提交
1123
{
M
Merge  
Michael Kolupaev 已提交
1124
	while (!shutdown_called)
M
Merge  
Michael Kolupaev 已提交
1125 1126
	{
		try
M
Merge  
Michael Kolupaev 已提交
1127
		{
M
Merge  
Michael Kolupaev 已提交
1128 1129 1130 1131 1132 1133 1134
			clearOldParts();

			if (is_leader_node)
			{
				clearOldLogs();
				clearOldBlocks();
			}
M
Merge  
Michael Kolupaev 已提交
1135
		}
M
Merge  
Michael Kolupaev 已提交
1136 1137 1138 1139
		catch (...)
		{
			tryLogCurrentException(__PRETTY_FUNCTION__);
		}
M
Merge  
Michael Kolupaev 已提交
1140

M
Merge  
Michael Kolupaev 已提交
1141
		shutdown_event.tryWait(CLEANUP_SLEEP_MS);
M
Merge  
Michael Kolupaev 已提交
1142
	}
M
Merge  
Michael Kolupaev 已提交
1143 1144

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

M
Merge  
Michael Kolupaev 已提交
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 1172 1173 1174 1175 1176 1177
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 已提交
1178 1179
					if (unreplicated_data)
						unreplicated_data->setColumnsList(columns);
M
Merge  
Michael Kolupaev 已提交
1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196
					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 已提交
1197 1198
				auto parts = data.getDataParts();

M
Merge  
Michael Kolupaev 已提交
1199 1200 1201
				for (const MergeTreeData::DataPartPtr & part : parts)
				{
					/// Обновим кусок и запишем результат во временные файлы.
M
Merge  
Michael Kolupaev 已提交
1202
					/// TODO: Можно пропускать проверку на слишком большие изменения, если в ZooKeeper есть, например, нода /flags/force_alter.
M
Merge  
Michael Kolupaev 已提交
1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219
					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 已提交
1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236
				/// То же самое для нереплицируемых данных.
				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 已提交
1237 1238 1239

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

M
Merge  
Michael Kolupaev 已提交
1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259
				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 已提交
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 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 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392
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);

			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.");

					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(entry);
					}
				}
				/// Если куска нет в ZooKeeper, проверим есть ли он хоть у кого-то.
				else
				{
					LOG_WARNING(log, "Checking if anyone has part covering " << part_name << ".");
					asdqwe;

					/// Если ни у кого нет такого куска, удалим его из нашей очереди и добавим его в block_numbers.
					//не получится надежно удалить из очереди :( Можно попробовать полагаться на block_numbers, но их могут удалить
					LOG_ERROR(log,
					//asdqwe;
				}
			}
			/// У нас есть этот кусок, и он активен.
			else if (part->name == part_name)
			{
				/// Если кусок есть в ZooKeeper, сверим его данные с его чексуммами, а их с ZooKeeper.
				if (zookeeper->exists(replica_path + "/parts/" + part_name))
				{
					asdqwe;

					/// Если кусок сломан, одновременно удалим его из ZK и добавим в очередь задание забрать этот кусок у другой реплики.
					/// И удалим кусок локально.
					asdqwe;
				}
				/// Если куска нет в ZooKeeper, удалим его локально.
				else
				{
					/// Если этот кусок еще и получен в результате слияния, это уже чересчур странно.
					if (part->left != part->right)
					{
						LOG_ERROR(log, );
					}
					else
					{
						asdqwe;
					}
				}
			}
			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 已提交
1393 1394
bool StorageReplicatedMergeTree::canMergeParts(const MergeTreeData::DataPartPtr & left, const MergeTreeData::DataPartPtr & right)
{
M
Merge  
Michael Kolupaev 已提交
1395 1396 1397
	/// Если какой-то из кусков уже собираются слить в больший, не соглашаемся его сливать.
	if (virtual_parts.getContainingPart(left->name) != left->name ||
		virtual_parts.getContainingPart(right->name) != right->name)
M
Merge  
Michael Kolupaev 已提交
1398 1399
		return false;

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

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

M
Merge  
Michael Kolupaev 已提交
1407 1408 1409 1410 1411 1412
	/// Можно слить куски, если все номера между ними заброшены - не соответствуют никаким блокам.
	for (UInt64 number = left->right + 1; number <= right->left - 1; ++number)
	{
		String number_str = toString(number);
		while (number_str.size() < 10)
			number_str = '0' + number_str;
M
Merge  
Michael Kolupaev 已提交
1413
		String path = zookeeper_path + "/block_numbers/" + month_name + "/block-" + number_str;
M
Merge  
Michael Kolupaev 已提交
1414

M
Merge  
Michael Kolupaev 已提交
1415
		if (AbandonableLockInZooKeeper::check(path, *zookeeper) != AbandonableLockInZooKeeper::ABANDONED)
M
Merge  
Michael Kolupaev 已提交
1416 1417
		{
			LOG_DEBUG(log, "Can't merge parts " << left->name << " and " << right->name << " because block " << path << " exists");
M
Merge  
Michael Kolupaev 已提交
1418
			return false;
M
Merge  
Michael Kolupaev 已提交
1419
		}
M
Merge  
Michael Kolupaev 已提交
1420 1421 1422 1423 1424 1425 1426
	}

	return true;
}

void StorageReplicatedMergeTree::becomeLeader()
{
M
Merge  
Michael Kolupaev 已提交
1427
	LOG_INFO(log, "Became leader");
M
Merge  
Michael Kolupaev 已提交
1428 1429 1430 1431
	is_leader_node = true;
	merge_selecting_thread = std::thread(&StorageReplicatedMergeTree::mergeSelectingThread, this);
}

M
Merge  
Michael Kolupaev 已提交
1432
String StorageReplicatedMergeTree::findReplicaHavingPart(const String & part_name, bool active)
M
Merge  
Michael Kolupaev 已提交
1433
{
M
Merge  
Michael Kolupaev 已提交
1434
	Strings replicas = zookeeper->getChildren(zookeeper_path + "/replicas");
M
Merge  
Michael Kolupaev 已提交
1435 1436 1437 1438 1439 1440

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

	for (const String & replica : replicas)
	{
M
Merge  
Michael Kolupaev 已提交
1441 1442
		if (zookeeper->exists(zookeeper_path + "/replicas/" + replica + "/parts/" + part_name) &&
			(!active || zookeeper->exists(zookeeper_path + "/replicas/" + replica + "/is_active")))
M
Merge  
Michael Kolupaev 已提交
1443 1444 1445
			return replica;
	}

M
Merge  
Michael Kolupaev 已提交
1446
	return "";
M
Merge  
Michael Kolupaev 已提交
1447 1448 1449 1450
}

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

M
Merge  
Michael Kolupaev 已提交
1453 1454 1455 1456 1457
	auto table_lock = lockStructure(true);

	String host;
	int port;

M
Merge  
Michael Kolupaev 已提交
1458
	String host_port_str = zookeeper->get(zookeeper_path + "/replicas/" + replica_name + "/host");
M
Merge  
Michael Kolupaev 已提交
1459 1460 1461 1462 1463 1464 1465 1466
	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 已提交
1467
	MergeTreeData::MutableDataPartPtr part = fetcher.fetchPart(part_name, zookeeper_path + "/replicas/" + replica_name, host, port);
M
Merge  
Michael Kolupaev 已提交
1468 1469 1470

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

M
Merge  
Michael Kolupaev 已提交
1472
	zkutil::Ops ops;
M
Merge  
Michael Kolupaev 已提交
1473
	checkPartAndAddToZooKeeper(part, ops);
M
Michael Kolupaev 已提交
1474

M
Merge  
Michael Kolupaev 已提交
1475
	zookeeper->multi(ops);
M
Merge  
Michael Kolupaev 已提交
1476
	transaction.commit();
M
Merge  
Michael Kolupaev 已提交
1477
	merge_selecting_event.set();
M
Merge  
Michael Kolupaev 已提交
1478

M
Michael Kolupaev 已提交
1479 1480 1481 1482 1483 1484
	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 已提交
1485 1486
	ProfileEvents::increment(ProfileEvents::ReplicatedPartFetches);

M
Merge  
Michael Kolupaev 已提交
1487
	LOG_DEBUG(log, "Fetched part " << part_name << " from " << replica_name);
M
Merge  
Michael Kolupaev 已提交
1488
}
M
Merge  
Michael Kolupaev 已提交
1489

M
Merge  
Michael Kolupaev 已提交
1490 1491
void StorageReplicatedMergeTree::shutdown()
{
M
Merge  
Michael Kolupaev 已提交
1492
	if (permanent_shutdown_called)
M
Merge  
Michael Kolupaev 已提交
1493 1494 1495
	{
		if (restarting_thread.joinable())
			restarting_thread.join();
M
Merge  
Michael Kolupaev 已提交
1496
		return;
M
Merge  
Michael Kolupaev 已提交
1497
	}
M
Merge  
Michael Kolupaev 已提交
1498

M
Merge  
Michael Kolupaev 已提交
1499
	permanent_shutdown_called = true;
M
Merge  
Michael Kolupaev 已提交
1500
	permanent_shutdown_event.set();
M
Merge  
Michael Kolupaev 已提交
1501
	restarting_thread.join();
M
Merge  
Michael Kolupaev 已提交
1502 1503

	endpoint_holder = nullptr;
M
Merge  
Michael Kolupaev 已提交
1504 1505 1506 1507
}

void StorageReplicatedMergeTree::partialShutdown()
{
M
Merge  
Michael Kolupaev 已提交
1508
	leader_election = nullptr;
M
Merge  
Michael Kolupaev 已提交
1509
	shutdown_called = true;
M
Merge  
Michael Kolupaev 已提交
1510
	shutdown_event.set();
M
Merge  
Michael Kolupaev 已提交
1511 1512 1513
	merge_selecting_event.set();
	queue_updating_event->set();
	alter_thread_event->set();
M
Merge  
Michael Kolupaev 已提交
1514
	alter_query_event->set();
M
Merge  
Michael Kolupaev 已提交
1515 1516
	replica_is_active_node = nullptr;

M
Merge  
Michael Kolupaev 已提交
1517 1518 1519 1520
	merger.cancelAll();
	if (unreplicated_merger)
		unreplicated_merger->cancelAll();

M
Merge  
Michael Kolupaev 已提交
1521
	LOG_TRACE(log, "Waiting for threads to finish");
M
Merge  
Michael Kolupaev 已提交
1522
	if (is_leader_node)
M
Merge  
Michael Kolupaev 已提交
1523
	{
M
Merge  
Michael Kolupaev 已提交
1524
		is_leader_node = false;
M
Merge  
Michael Kolupaev 已提交
1525 1526
		if (merge_selecting_thread.joinable())
			merge_selecting_thread.join();
M
Merge  
Michael Kolupaev 已提交
1527
	}
M
Merge  
Michael Kolupaev 已提交
1528 1529
	if (queue_updating_thread.joinable())
		queue_updating_thread.join();
M
Merge  
Michael Kolupaev 已提交
1530 1531 1532 1533
	if (cleanup_thread.joinable())
		cleanup_thread.join();
	if (alter_thread.joinable())
		alter_thread.join();
M
Merge  
Michael Kolupaev 已提交
1534 1535
	if (queue_task_handle)
		context.getBackgroundPool().removeTask(queue_task_handle);
M
Merge  
Michael Kolupaev 已提交
1536
	queue_task_handle.reset();
M
Merge  
Michael Kolupaev 已提交
1537
	LOG_TRACE(log, "Threads finished");
M
Merge  
Michael Kolupaev 已提交
1538 1539
}

M
Merge  
Michael Kolupaev 已提交
1540 1541 1542 1543 1544 1545
void StorageReplicatedMergeTree::goReadOnly()
{
	LOG_INFO(log, "Going to read-only mode");

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

M
Merge  
Michael Kolupaev 已提交
1548
	partialShutdown();
M
Merge  
Michael Kolupaev 已提交
1549 1550
}

M
Merge  
Michael Kolupaev 已提交
1551 1552 1553
void StorageReplicatedMergeTree::startup()
{
	shutdown_called = false;
M
Merge  
Michael Kolupaev 已提交
1554
	shutdown_event.reset();
M
Merge  
Michael Kolupaev 已提交
1555

M
Merge  
Michael Kolupaev 已提交
1556 1557 1558 1559
	merger.uncancelAll();
	if (unreplicated_merger)
		unreplicated_merger->uncancelAll();

M
Merge  
Michael Kolupaev 已提交
1560 1561
	activateReplica();

M
Merge  
Michael Kolupaev 已提交
1562
	leader_election = new zkutil::LeaderElection(zookeeper_path + "/leader_election", *zookeeper,
M
Merge  
Michael Kolupaev 已提交
1563 1564 1565
		std::bind(&StorageReplicatedMergeTree::becomeLeader, this), replica_name);

	queue_updating_thread = std::thread(&StorageReplicatedMergeTree::queueUpdatingThread, this);
M
Merge  
Michael Kolupaev 已提交
1566
	cleanup_thread = std::thread(&StorageReplicatedMergeTree::cleanupThread, this);
M
Merge  
Michael Kolupaev 已提交
1567
	alter_thread = std::thread(&StorageReplicatedMergeTree::alterThread, this);
M
Merge  
Michael Kolupaev 已提交
1568 1569
	queue_task_handle = context.getBackgroundPool().addTask(
		std::bind(&StorageReplicatedMergeTree::queueTask, this, std::placeholders::_1));
M
Merge  
Michael Kolupaev 已提交
1570 1571
}

M
Merge  
Michael Kolupaev 已提交
1572 1573
void StorageReplicatedMergeTree::restartingThread()
{
M
Merge  
Michael Kolupaev 已提交
1574
	try
M
Merge  
Michael Kolupaev 已提交
1575
	{
M
Merge  
Michael Kolupaev 已提交
1576 1577 1578
		startup();

		while (!permanent_shutdown_called)
M
Merge  
Michael Kolupaev 已提交
1579
		{
M
Merge  
Michael Kolupaev 已提交
1580 1581 1582
			if (zookeeper->expired())
			{
				LOG_WARNING(log, "ZooKeeper session has expired. Switching to a new session.");
M
Merge  
Michael Kolupaev 已提交
1583

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

M
Merge  
Michael Kolupaev 已提交
1589
				partialShutdown();
M
Merge  
Michael Kolupaev 已提交
1590

M
Merge  
Michael Kolupaev 已提交
1591 1592 1593 1594
				zookeeper = context.getZooKeeper();

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

M
Merge  
Michael Kolupaev 已提交
1596
			permanent_shutdown_event.tryWait(60 * 1000);
M
Merge  
Michael Kolupaev 已提交
1597 1598 1599 1600 1601
		}
	}
	catch (...)
	{
		tryLogCurrentException("StorageReplicatedMergeTree::restartingThread");
M
Merge  
Michael Kolupaev 已提交
1602 1603
		LOG_ERROR(log, "Exception in restartingThread. The storage will be read-only until server restart.");
		goReadOnly();
M
Merge  
Michael Kolupaev 已提交
1604
		LOG_DEBUG(log, "restarting thread finished");
M
Merge  
Michael Kolupaev 已提交
1605
		return;
M
Merge  
Michael Kolupaev 已提交
1606 1607
	}

M
Merge  
Michael Kolupaev 已提交
1608 1609 1610 1611 1612 1613 1614 1615 1616
	try
	{
		endpoint_holder = nullptr;
		partialShutdown();
	}
	catch (...)
	{
		tryLogCurrentException("StorageReplicatedMergeTree::restartingThread");
	}
M
Merge  
Michael Kolupaev 已提交
1617 1618

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

M
Merge  
Michael Kolupaev 已提交
1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640
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 已提交
1641 1642 1643 1644 1645 1646 1647 1648 1649
	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 已提交
1650 1651
}

M
Merge  
Michael Kolupaev 已提交
1652 1653
BlockOutputStreamPtr StorageReplicatedMergeTree::write(ASTPtr query)
{
M
Merge  
Michael Kolupaev 已提交
1654 1655 1656
	if (is_read_only)
		throw Exception("Table is in read only mode", ErrorCodes::TABLE_IS_READ_ONLY);

M
Merge  
Michael Kolupaev 已提交
1657
	String insert_id;
1658
	if (ASTInsertQuery * insert = typeid_cast<ASTInsertQuery *>(&*query))
M
Merge  
Michael Kolupaev 已提交
1659 1660 1661 1662
		insert_id = insert->insert_id;

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

M
Merge  
Michael Kolupaev 已提交
1664 1665
bool StorageReplicatedMergeTree::optimize()
{
1666 1667 1668
	/// Померджим какие-нибудь куски из директории unreplicated.
	/// TODO: Мерджить реплицируемые куски тоже.
	/// TODO: Не давать вызывать это из нескольких потоков сразу: один кусок может принять участие в нескольких несовместимых слияниях.
M
Merge  
Michael Kolupaev 已提交
1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684

	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 已提交
1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753
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 已提交
1754
			if (!zookeeper->exists(zookeeper_path + "/replicas/" + replica + "/columns", &stat, alter_query_event))
M
Merge  
Michael Kolupaev 已提交
1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772
			{
				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 已提交
1773 1774
void StorageReplicatedMergeTree::drop()
{
M
Merge  
Michael Kolupaev 已提交
1775 1776
	shutdown();

M
Merge  
Michael Kolupaev 已提交
1777
	LOG_INFO(log, "Removing replica " << replica_path);
M
Merge  
Michael Kolupaev 已提交
1778
	replica_is_active_node = nullptr;
M
Merge  
Michael Kolupaev 已提交
1779 1780
	zookeeper->tryRemoveRecursive(replica_path);

M
Merge  
Michael Kolupaev 已提交
1781
	/// Проверяем, что zookeeper_path существует: его могла удалить другая реплика после выполнения предыдущей строки.
M
Merge  
Michael Kolupaev 已提交
1782 1783
	Strings replicas;
	if (zookeeper->tryGetChildren(zookeeper_path + "/replicas", replicas) == ZOK && replicas.empty())
M
Merge  
Michael Kolupaev 已提交
1784 1785
	{
		LOG_INFO(log, "Removing table " << zookeeper_path << " (this might take several minutes)");
M
Merge  
Michael Kolupaev 已提交
1786
		zookeeper->tryRemoveRecursive(zookeeper_path);
M
Merge  
Michael Kolupaev 已提交
1787
	}
M
Merge  
Michael Kolupaev 已提交
1788 1789

	data.dropAllData();
M
Merge  
Michael Kolupaev 已提交
1790 1791
}

M
Merge  
Michael Kolupaev 已提交
1792 1793 1794
void StorageReplicatedMergeTree::LogEntry::writeText(WriteBuffer & out) const
{
	writeString("format version: 1\n", out);
M
Merge  
Michael Kolupaev 已提交
1795 1796 1797
	writeString("source replica: ", out);
	writeString(source_replica, out);
	writeString("\n", out);
M
Merge  
Michael Kolupaev 已提交
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
	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 已提交
1823
	assertString("source replica: ", in);
M
Merge  
Michael Kolupaev 已提交
1824
	readString(source_replica, in);
M
Merge  
Michael Kolupaev 已提交
1825
	assertString("\n", in);
M
Michael Kolupaev 已提交
1826 1827
	readString(type_str, in);
	assertString("\n", in);
M
Merge  
Michael Kolupaev 已提交
1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850

	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 已提交
1851
}