Locality-Sensitive Operators for Parallel Main-Memory Database Clusters

Transcription

1 Locality-Sensitive Operators for Parallel Main-Memory Database Clusters Wolf Rödiger, Tobias Mühlbauer, Philipp Unterbrunner*, Angelika Reiser, Alfons Kemper, Thomas Neumann Technische Universität München, *Snowflake Computing, Inc. 1 / 31

2 Scale Out HyPer: High-performance sort in-memory transaction and query processing system group Scale out to process extremely largejoin inputs Aiming at clusters with large mainlineitem memory capacityorders TPC-H Query 12 node 2 node 1 node 3 SWITCH node 4 node 6 node 5 Main-Memory Cluster 2 / 31

3 Running Example (1) Focus on analytical query processing in this talk TPC-H query 12 used as running example Runtime dominated by join orders lineitem lineitem sort group join orders n n TPC-H Query 12 3 / 31

4 Running Example (2) orders lineitem Relations are equally distributed across nodes We make no other assumptions on data distribution Network communication required as tuples join with tuples on remote nodes node 3 node 2 node 1 key priority 1 1-URGENT 2 2-HIGH 3 1-URGENT 4 5-LOW 5 3-MEDIUM 6 1-URGENT 7 2-HIGH 8 1-URGENT 9 1-URGENT 10 2-HIGH 11 3-MEDIUM 12 5-LOW 13 1-URGENT 14 3-MEDIUM 15 1-URGENT 16 3-MEDIUM 17 2-HIGH 18 3-MEDIUM 19 5-LOW 20 1-URGENT 21 2-HIGH key shipmode 1 MAIL 1 MAIL 1 MAIL 2 SHIP 2 MAIL 6 SHIP 6 SHIP 6 SHIP 6 MAIL 10 SHIP 11 MAIL 11 MAIL 13 MAIL 13 MAIL 13 MAIL 13 SHIP 17 MAIL 18 MAIL 18 MAIL 19 SHIP 20 SHIP 4 / 31

5 Scale Out: Network is the Bottleneck 200 Single node: Performance is bound algorithmically Cluster: Network is bottleneck for query processing We propose a novel join algorithm called Neo-Join Goal: Increase local processing to close the performance gap join performance [M tuples/s] distributed local 5 / 31

6 Neo-Join: Network-optimized Join 1. Open Shop Scheduling Efficient network communication 2. Optimal Partition Assignment Increase local processing 3. Selective Broadcast Handle value skew 6 / 31

7 Open Shop Scheduling Efficient network communication 7 / 31

8 Standard Network Model Star topology Nodes are connected to a central switch Fully switched All links can be used simultaneously Fully duplex Nodes can both send and receive at full speed node 1 node 4 node 2 SWITCH node 5 node 3 node 6 8 / 31

9 Bandwidth Sharing node 11 node 22 node 11 bottleneck SWITCH bottleneck node 33 SWITCH node 22 node 33 Simultaneous use of a single link creates a bottleneck Reduces bandwidth by at least a factor of 2 9 / 31

10 Naïve Schedule node node node bandwidth sharing time Node node 21and 3 send 4 to node 1 at 5 the same 1 time Bandwidth node 2 sharing 4 increases 4network duration 1 significantly node time maximum straggler 10 / 31

11 Open Shop Scheduling (1) Avoiding bandwidth sharing translates directly to open shop scheduling Network Transfer: Receivers receive from at most one sender, senders send to at most one receiver Open Shop: Processors perform one task at a time, only one task of a job is processed at a time Open Shop task processor job execution time Network Transfer data transfer receiver sender message size 11 / 31

12 Open Shop Scheduling (2) Bipartite graph of senders and receivers Edge weights represent transfer size Scheduler repeatedly finds perfect matchings Each matching specifies one communication phase Transfers in a phase will never share bandwidth node 1 node 1 sender node 2 node node 2 receiver node 3 12 / 31

13 node 2 node Optimal Schedule bandwidth sharing node node node time maximum straggler Open shop schedule achieves minimal network duration Schedule duration determined by maximum straggler 13 / 31

14 Optimal Partition Assignment Minimize network duration for distributed joins 14 / 31

15 Distributed Join Tuples may join with tuples on remote nodes Repartition and redistribute both relations for local join Tuples will join only with the corresponding partition Using hash, range, radix, or other partitioning scheme In any case: Decide how to assign partitions to nodes O L O1 O2 O3 L1 L2 L3 fragmented redistributed 15 / 31

16 Running Example: Hash Partitioning node 3 node 2 node 1 orders lineitem key priority key shipmode 1 1-URGENT 1 MAIL 2 2-HIGH 1 MAIL 3 1-URGENT 1 MAIL 4 5-LOW 2 SHIP 5 3-MEDIUM 2 MAIL x+2 mod URGENT 6 SHIP HIGH 6 SHIP 8 1-URGENT 6 SHIP P1 P2 P3 9 1-URGENT 6 MAIL 10 2-HIGH 10 SHIP 11 3-MEDIUM 11 MAIL 12 5-LOW 11 MAIL 13 1-URGENT 13 MAIL x+2 mod MEDIUM 13 MAIL URGENT P1 P2 P MEDIUM 13 MAIL 17 2-HIGH 13 SHIP 18 3-MEDIUM 17 MAIL 19 5-LOW 18 MAIL 20 1-URGENT 18 MAIL x+2 mod HIGH 19 SHIP SHIP P1 P2 P3 16 / 31

17 Assign Partitions to Nodes (1) Option 1: Minimize network traffic Assign partition to node that owns its largest part Only the small fragments of a partition sent over the network Schedule with minimal network traffic may have high duration n1 n2 n3 hash partitioning (x mod 3) P1 P2 P3 open shop schedule n1 n2 13 n3 13 h n1 n2 n3 n1 n2 n3 traffic: 26 time: 26 t 17 / 31

18 Assign Partitions to Nodes (2) hash partitioning (x mod 3) n Option 2: Minimize response time: n Query response time is time from request n3 4 2 to result Query response P1 time P2 dominated P3 by network duration To minimize network open shop duration, schedule minimize n1 maximum straggler n2 n n1 n2 n3 hash partitioning (x mod 3) P1 P2 P3 open shop schedule n n n traffic: 26 time: 26 traffic: 28 time: / 31

19 ing one would expect that every its tuples to every other node ( of the tuples from every other plified example, radix partitioning network phase by almost a factor rtitioning. Minimize Maximum Straggler Formalized as mixed-integer linear program ment (Phase 2) Objective function minimizes maximum straggler ribed how to repartition the input he same join key fall into the same partitions are fragmented across gments of one specific partition he same node for joining. This rmine an assignment of partitions network phase duration. st of a node as the number of nodes for the partitions that were end cost is defined as the number ther nodes. Section III-C4 shows ase duration is determined by the d/receive cost. The assignment is ize this maximum cost. ssign a partition to the node that However, this is not optimal in ment for the running example in ned to node 1 even though node 0 Shown to be NP-hard (see paper for proof sketch) In practice fast enough using CPLEX or Gurobi (< 0.5 % overhead for 32 nodes, 200 M tuples each) Partition assignment can optimize any partitioning Equation 3 computes the send cost of node i as the size of all local fragments of partitions that are not assigned to it. Likewise, equation 4 adds the size of remote fragments of partitions that were assigned to node i to the receive cost. MILPs require a linear objective, which minimizing a maximum is not. Fortunately, we can rephrase the objective and instead minimize a new variable w. Additional constraints take care that w assumes the maximum over the send/receive costs: (OPT-ASSIGN) minimize w, subject to p 1 w h ij (1 x ij ) j=0 p 1 w x ij j=0 n 1 1 = i=0 x ij n 1 k=0,i k h kj 0 i < n 0 i < n 0 j < p One can obtain an optimal solution for a specific partition assignment problem (OPT-ASSIGN) by passing the mixed integer linear program to an optimizer such as Microsoft Gurobi 3 or IBM CPLEX 4. These solvers can be linked as a library to create and solve linear programs via API calls / 31

20 Running Example: Locality orders lineitem node 1 key priority 1 1-URGENT 2 2-HIGH 3 1-URGENT 4 5-LOW 5 3-MEDIUM 6 1-URGENT 7 2-HIGH 8 1-URGENT key shipmode 1 MAIL 1 MAIL 1 MAIL 2 SHIP 2 MAIL 6 SHIP 6 SHIP 6 SHIP radix 15 P1 1 P2 P3 node URGENT 10 2-HIGH 11 3-MEDIUM 12 5-LOW 13 1-URGENT 14 3-MEDIUM 15 1-URGENT 6 MAIL 10 SHIP 11 MAIL 11 MAIL 13 MAIL 13 MAIL radix P1 P2 P3 node MEDIUM 17 2-HIGH 18 3-MEDIUM 19 5-LOW 20 1-URGENT 21 2-HIGH 13 MAIL 13 SHIP 17 MAIL 18 MAIL 18 MAIL 19 SHIP 20 SHIP radix P1 2 P2 11 P3 20 / 31

21 Locality Running example exhibits time-of-creation clustering Radix repartitioning on most significant bits retains locality Partition assignment can exploit locality Significantly reduces query response time n1 n2 n3 n1 n1 1 n2 n2 1 1 n3 2 n3 radix partitioning (MSB) P1 P2 P2 P3 P3 open shop schedule traffic: 5 time: 3 21 / 31

22 Selective Broadcast Handle value skew 22 / 31

23 Running Example: Skew orders lineitem key priority key shipmode node URGENT 2 2-HIGH 3 1-URGENT 4 1-URGENT 1 MAIL 2 MAIL 2 MAIL 2 MAIL 2 SHIP 2 SHIP 2 SHIP 6 MAIL x+2 mod O1 L1 O2 L2 O3 L3 node 3 node URGENT 6 2-HIGH 7 3-MEDIUM 8 3-MEDIUM 9 2-HIGH 10 3-MEDIUM 6 MAIL 7 SHIP 8 SHIP 8 SHIP 8 MAIL 8 MAIL 8 MAIL 8 MAIL 8 MAIL 8 MAIL 8 MAIL 8 MAIL 8 MAIL 8 MAIL 8 SHIP 10 MAIL x+2 mod 3 x+2 mod O1 L1 O2 L2 O3 L O1 L1 O2 L2 O3 L3 23 / 31

24 Skew Value skew can lead to some very large partitions Assignment of these partitions increases network duration One may try to balance skewed partitions by partitioning the input into more partitions High skew is still a problem n1 n2 n3 hash partitioning (mod 3) P1 P2 P2 P3 P3 open shop schedule n1 n1 7 2 n2 n2 2 7 n3 1 n3 2 traffic: 21 time: / 31

25 Broadcast O Alternative data redistribution scheme Replicate the smaller relation between all nodes O L O L Larger relation remains fragmented across nodes O broadcast O local join 25 / 31

26 Selective Broadcast Decide per partition whether to assign or broadcast Broadcast partitions with large relation size difference Assign the other partitions taking locality into account Role reversal possible: Broadcast different partitions by different relations n1 n2 n3 n1 n1 n2 n2 n3 n3 hash partitioning (mod 3) O1 L1 O2 L2 L2 O3 O3 L3 L3 open shop schedule traffic: 14 time: 6 26 / 31

27 Evaluation 27 / 31

28 Locality Vary locality from 0 % (uniform distribution) to 100 % (range partitioning) Neo-Join improves join performance from 29 M to 156 M tuples/s (> 500 %) 3 nodes (Core i7, 4 cores, 3.4 GHz, 32 GB RAM), 600 M tuples (64 bit key, 64 bit payload) join performance [tuple/s] Neo-Join Hadoop Hive DBMS-X MySQL Cluster 160 M 120 M 80 M 40 M 0 M 0 % 25 % 50 % 75 % 100 % locality 28 / 31

29 Skew Zipfian distribution models realistic data skew Using more partitions alleviates the problem Selective broadcast actually improves performance for skewed inputs 4 nodes, 400 M tuples Zipf factor s partitions s 24 s 23 s 29s 44s s 23 s 23 s 23 s 33s 16 (SB) 24 s 24 s 23 s 20s 10s 29 / 31

30 TPC-H Results (scale factor 100) Results for three selected TPC-H queries Broadcast outperforms hash for large relation size differences Neo-Join always performs better due to selective broadcast and locality 4 nodes, scale factor 100 execution time [s] hash broadcast Neo-Join Q12 Q14 Q19 TPC-H queries 30 / 31

31 Summary Motivation: Network is the bottleneck for distributed query processing Increase local processing to close the performance gap Contributions: Open Shop Scheduling avoids bandwidth sharing Optimal Partition Assignment minimizes query response time and can exploit locality in the data distribution Selective Broadcast combines repartitioning and broadcast to improve the performance for skewed inputs 31 / 31