Apache
/
druid
mirror of https://github.com/apache/druid.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
druid/docs/content/design/coordinator.md

11 KiB
Raw Blame History

layout title
doc_page Coordinator Process

Coordinator Process

Configuration

For Coordinator Process Configuration, see Coordinator Configuration.

HTTP endpoints

For a list of API endpoints supported by the Coordinator, see Coordinator API.

Overview

The Druid Coordinator process is primarily responsible for segment management and distribution. More specifically, the Druid Coordinator process communicates to Historical processes to load or drop segments based on configurations. The Druid Coordinator is responsible for loading new segments, dropping outdated segments, managing segment replication, and balancing segment load.

The Druid Coordinator runs periodically and the time between each run is a configurable parameter. Each time the Druid Coordinator runs, it assesses the current state of the cluster before deciding on the appropriate actions to take. Similar to the Broker and Historical processses, the Druid Coordinator maintains a connection to a Zookeeper cluster for current cluster information. The Coordinator also maintains a connection to a database containing information about available segments and rules. Available segments are stored in a segment table and list all segments that should be loaded in the cluster. Rules are stored in a rule table and indicate how segments should be handled.

Before any unassigned segments are serviced by Historical processes, the available Historical processes for each tier are first sorted in terms of capacity, with least capacity servers having the highest priority. Unassigned segments are always assigned to the processes with least capacity to maintain a level of balance between processes. The Coordinator does not directly communicate with a historical process when assigning it a new segment; instead the Coordinator creates some temporary information about the new segment under load queue path of the historical process. Once this request is seen, the historical process will load the segment and begin servicing it.

Running

org.apache.druid.cli.Main server coordinator

Rules

Segments can be automatically loaded and dropped from the cluster based on a set of rules. For more information on rules, see Rule Configuration.

Cleaning Up Segments

Each run, the Druid Coordinator compares the list of available database segments in the database with the current segments in the cluster. Segments that are not in the database but are still being served in the cluster are flagged and appended to a removal list. Segments that are overshadowed (their versions are too old and their data has been replaced by newer segments) are also dropped. Note that if all segments in database are deleted(or marked unused), then Coordinator will not drop anything from the Historicals. This is done to prevent a race condition in which the Coordinator would drop all segments if it started running cleanup before it finished polling the database for available segments for the first time and believed that there were no segments.

Segment Availability

If a Historical process restarts or becomes unavailable for any reason, the Druid Coordinator will notice a process has gone missing and treat all segments served by that process as being dropped. Given a sufficient period of time, the segments may be reassigned to other Historical processes in the cluster. However, each segment that is dropped is not immediately forgotten. Instead, there is a transitional data structure that stores all dropped segments with an associated lifetime. The lifetime represents a period of time in which the Coordinator will not reassign a dropped segment. Hence, if a historical process becomes unavailable and available again within a short period of time, the historical process will start up and serve segments from its cache without any those segments being reassigned across the cluster.

Balancing Segment Load

To ensure an even distribution of segments across Historical processes in the cluster, the Coordinator process will find the total size of all segments being served by every Historical process each time the Coordinator runs. For every Historical process tier in the cluster, the Coordinator process will determine the Historical process with the highest utilization and the Historical process with the lowest utilization. The percent difference in utilization between the two processes is computed, and if the result exceeds a certain threshold, a number of segments will be moved from the highest utilized process to the lowest utilized process. There is a configurable limit on the number of segments that can be moved from one process to another each time the Coordinator runs. Segments to be moved are selected at random and only moved if the resulting utilization calculation indicates the percentage difference between the highest and lowest servers has decreased.

Compacting Segments

Each run, the Druid Coordinator compacts small segments abutting each other. This is useful when you have a lot of small segments which may degrade query performance as well as increase disk space usage. See Segment Size Optimization for details.

The Coordinator first finds the segments to compact together based on the segment search policy. Once some segments are found, it launches a compaction task to compact those segments. The maximum number of running compaction tasks is min(sum of worker capacity * slotRatio, maxSlots). Note that even though min(sum of worker capacity * slotRatio, maxSlots) = 0, at least one compaction task is always submitted if the compaction is enabled for a dataSource. See Compaction Configuration API and Compaction Configuration to enable the compaction.

Compaction tasks might fail due to the following reasons.

  • If the input segments of a compaction task are removed or overshadowed before it starts, that compaction task fails immediately.
  • If a task of a higher priority acquires a lock for an interval overlapping with the interval of a compaction task, the compaction task fails.

Once a compaction task fails, the Coordinator simply finds the segments for the interval of the failed task again, and launches a new compaction task in the next run.

Segment Search Policy

Newest Segment First Policy

At every coordinator run, this policy searches for segments to compact by iterating segments from the latest to the oldest. Once it finds the latest segment among all dataSources, it checks if the segment is compactible with other segments of the same dataSource which have the same or abutting intervals. Note that segments are compactible if their total size is smaller than or equal to the configured inputSegmentSizeBytes.

Here are some details with an example. Let us assume we have two dataSources (foo, bar) and 5 segments (foo_2017-10-01T00:00:00.000Z_2017-11-01T00:00:00.000Z_VERSION, foo_2017-11-01T00:00:00.000Z_2017-12-01T00:00:00.000Z_VERSION, bar_2017-08-01T00:00:00.000Z_2017-09-01T00:00:00.000Z_VERSION, bar_2017-09-01T00:00:00.000Z_2017-10-01T00:00:00.000Z_VERSION, bar_2017-10-01T00:00:00.000Z_2017-11-01T00:00:00.000Z_VERSION). When each segment has the same size of 10 MB and inputSegmentSizeBytes is 20 MB, this policy first returns two segments (foo_2017-10-01T00:00:00.000Z_2017-11-01T00:00:00.000Z_VERSION and foo_2017-11-01T00:00:00.000Z_2017-12-01T00:00:00.000Z_VERSION) to compact together because foo_2017-11-01T00:00:00.000Z_2017-12-01T00:00:00.000Z_VERSION is the latest segment and foo_2017-10-01T00:00:00.000Z_2017-11-01T00:00:00.000Z_VERSION abuts to it.

If the coordinator has enough task slots for compaction, this policy would continue searching for the next segments and return bar_2017-10-01T00:00:00.000Z_2017-11-01T00:00:00.000Z_VERSION and bar_2017-09-01T00:00:00.000Z_2017-10-01T00:00:00.000Z_VERSION. Note that bar_2017-08-01T00:00:00.000Z_2017-09-01T00:00:00.000Z_VERSION is not compacted together even though it abuts to bar_2017-09-01T00:00:00.000Z_2017-10-01T00:00:00.000Z_VERSION. This is because the total segment size to compact would be greater than inputSegmentSizeBytes if it's included.

The search start point can be changed by setting skipOffsetFromLatest. If this is set, this policy will ignore the segments falling into the interval of (the end time of the very latest segment - skipOffsetFromLatest). This is to avoid conflicts between compaction tasks and realtime tasks. Note that realtime tasks have a higher priority than compaction tasks by default. Realtime tasks will revoke the locks of compaction tasks if their intervals overlap, resulting in the termination of the compaction task.

This policy currently cannot handle the situation when there are a lot of small segments which have the same interval, and their total size exceeds inputSegmentSizeBytes. If it finds such segments, it simply skips them.

The Coordinator Console

The Druid Coordinator exposes a web GUI for displaying cluster information and rule configuration. For more details, please see coordinator console.

FAQ

  1. Do clients ever contact the Coordinator process?

    The Coordinator is not involved in a query.

    Historical processes never directly contact the Coordinator process. The Druid Coordinator tells the Historical processes to load/drop data via Zookeeper, but the Historical processes are completely unaware of the Coordinator.

    Brokers also never contact the Coordinator. Brokers base their understanding of the data topology on metadata exposed by the Historical processes via ZK and are completely unaware of the Coordinator.

  2. Does it matter if the Coordinator process starts up before or after other processes?

    No. If the Druid Coordinator is not started up, no new segments will be loaded in the cluster and outdated segments will not be dropped. However, the Coordinator process can be started up at any time, and after a configurable delay, will start running Coordinator tasks.

    This also means that if you have a working cluster and all of your Coordinators die, the cluster will continue to function, it just won’t experience any changes to its data topology.