diff --git a/dbms/src/Processors/Executors/TreeExecutor.cpp b/dbms/src/Processors/Executors/TreeExecutor.cpp
new file mode 100644
index 00000000000..d7fc1b78ede
--- /dev/null
+++ b/dbms/src/Processors/Executors/TreeExecutor.cpp
@@ -0,0 +1,157 @@
+#include <Processors/Executors/TreeExecutor.h>
+#include <stack>
+
+namespace DB
+{
+
+static void checkProcessorHasSingleOutput(IProcessor * processor)
+{
+    size_t num_outputs = processor->getOutputs().size();
+    if (num_outputs != 1)
+        throw Exception("All processors in TreeExecutor must have single output, "
+                        "but processor with name " + processor->getName() + " has " + std::to_string(num_outputs),
+                        ErrorCodes::LOGICAL_ERROR);
+}
+
+static void validateTree(const Processors & processors, IProcessor * root)
+{
+    std::unordered_map<IProcessor *, size_t> index;
+
+    for (auto & processor : processors)
+    {
+        bool is_inserted = index.try_emplace(processor.get(), index.size()).second;
+
+        if (!is_inserted)
+            throw Exception("Duplicate processor in TreeExecutor with name " + processor->getName(),
+                            ErrorCodes::LOGICAL_ERROR);
+    }
+
+    std::vector<bool> is_visited(processors.size(), false);
+    std::stack<IProcessor *> stack;
+
+    stack.push(root);
+
+    while (!stack.empty())
+    {
+        IProcessor * node = stack.top();
+        stack.pop();
+
+        auto it = index.find(node);
+
+        if (it == index.end())
+            throw Exception("Processor with name " + node->getName() + " "
+                            "was not mentioned in list passed to TreeExecutor, "
+                            "but was traversed to from other processors.", ErrorCodes::LOGICAL_ERROR);
+
+        size_t position = it->second;
+
+        if (is_visited[position])
+            throw Exception("Processor with name " + node->getName() + " was visited twice while traverse in TreeExecutor. "
+                            "Passed processors are not tree.", ErrorCodes::LOGICAL_ERROR);
+
+        checkProcessorHasSingleOutput(node);
+
+        auto & children = node->getInputs();
+        for (auto & child : children)
+            stack.push(&child.getOutputPort().getProcessor());
+    }
+
+    for (size_t i = 0; i < is_visited.size(); ++i)
+        if (!is_visited[i])
+            throw Exception("Processor with name " + processors[i]->getName() +
+                            " was not visited by traverse in TreeExecutor.", ErrorCodes::LOGICAL_ERROR);
+}
+
+void TreeExecutor::init()
+{
+    if (processors.empty())
+        throw Exception("No processors were passed to TreeExecutor.", ErrorCodes::LOGICAL_ERROR);
+
+    root = processors.back().get();
+
+    validateTree(processors, root);
+
+    port = std::make_unique<InputPort>(getHeader(), root);
+    port->setNeeded();
+}
+
+void TreeExecutor::execute()
+{
+    std::stack<IProcessor *> stack;
+    stack.push(root);
+
+    while (!stack.empty())
+    {
+        IProcessor * node = stack.top();
+
+        auto status = node->prepare();
+
+        switch (status)
+        {
+            case IProcessor::Status::NeedData:
+            {
+                auto & inputs = node->getInputs();
+
+                if (inputs.empty())
+                    throw Exception("Processors " + node->getName() + " with empty input "
+                                    "has returned NeedData in TreeExecutor", ErrorCodes::LOGICAL_ERROR);
+
+                bool all_finished = true;
+
+                for (auto & input : inputs)
+                {
+                    if (input.isFinished())
+                        continue;
+
+                    all_finished = false;
+
+                    stack.push(&input.getOutputPort().getProcessor());
+                }
+
+                if (all_finished)
+                    throw Exception("Processors " + node->getName() + " has returned NeedData in TreeExecutor, "
+                                    "but all it's inputs are finished.", ErrorCodes::LOGICAL_ERROR);
+                break;
+            }
+            case IProcessor::Status::PortFull:
+            {
+                stack.pop();
+                break;
+            }
+            case IProcessor::Status::Finished:
+            {
+                stack.pop();
+                break;
+            }
+            case IProcessor::Status::Ready:
+            {
+                node->work();
+                break;
+            }
+            case IProcessor::Status::Async:
+            case IProcessor::Status::Wait:
+            case IProcessor::Status::ExpandPipeline:
+            {
+                throw Exception("Processor with name " + node->getName() + " "
+                                "returned status " + IProcessor::statusToName(status) + " "
+                                "which is not supported in TreeExecutor.", ErrorCodes::LOGICAL_ERROR);
+            }
+        }
+    }
+}
+
+Block TreeExecutor::readImpl()
+{
+    while (true)
+    {
+        if (port->isFinished())
+            return {};
+
+        if (port->hasData())
+            return getHeader().cloneWithColumns(port->pull().detachColumns());
+
+        execute();
+    }
+}
+
+}
diff --git a/dbms/src/Processors/Executors/TreeExecutor.h b/dbms/src/Processors/Executors/TreeExecutor.h
new file mode 100644
index 00000000000..0aad5b3024a
--- /dev/null
+++ b/dbms/src/Processors/Executors/TreeExecutor.h
@@ -0,0 +1,28 @@
+#pragma once
+#include <DataStreams/IBlockInputStream.h>
+#include <Processors/IProcessor.h>
+
+namespace DB
+{
+
+class TreeExecutor : public IBlockInputStream
+{
+public:
+    explicit TreeExecutor(Processors processors_) : processors(std::move(processors_)) { init(); }
+
+    String getName() const override { return root->getName(); }
+    Block getHeader() const override { return root->getOutputs().front().getHeader(); }
+
+protected:
+    Block readImpl() override;
+
+private:
+    Processors processors;
+    IProcessor * root = nullptr;
+    std::unique_ptr<InputPort> port;
+
+    void init();
+    void execute();
+};
+
+}