使用int8范围加入2个大的postgres表不能很好地扩展

Ben*_*ing 12 sql postgresql amazon-web-services amazon-rds

我想将IP路由表信息加入到IP whois信息中.我正在使用亚马逊的RDS,这意味着我不能使用Postgres ip4r扩展,因此我使用int8range类型来表示IP地址范围,并使用gist索引.

我的表看起来像这样:

=> \d routing_details
     Table "public.routing_details"
  Column  |   Type    | Modifiers
----------+-----------+-----------
 asn      | text      |
 netblock | text      |
 range    | int8range |
Indexes:
    "idx_routing_details_netblock" btree (netblock)
    "idx_routing_details_range" gist (range)


=> \d netblock_details
    Table "public.netblock_details"
   Column   |   Type    | Modifiers
------------+-----------+-----------
 range      | int8range |
 name       | text      |
 country    | text      |
 source     | text      |
Indexes:
    "idx_netblock_details_range" gist (range)
Run Code Online (Sandbox Code Playgroud)

完整的routing_details表包含不到600K的行,netblock_details包含大约8.25M行.两个表中都有重叠的范围,但是对于routing_details表中的每个范围,我想从netblock_details表中获得单个最佳(最小)匹配.

我提出了2个不同的查询,我认为这些查询将返回准确的数据,一个使用窗口函数,另一个使用DISTINCT ON:

EXPLAIN SELECT DISTINCT ON (r.netblock) *
FROM routing_details r JOIN netblock_details n ON r.range <@ n.range
ORDER BY r.netblock, upper(n.range) - lower(n.range);
                                              QUERY PLAN
                                                         QUERY PLAN
-----------------------------------------------------------------------------------------------------------------------------
 Unique  (cost=118452809778.47..118477166326.22 rows=581300 width=91)
   Output: r.asn, r.netblock, r.range, n.range, n.name, n.country, r.netblock, ((upper(n.range) - lower(n.range)))
   ->  Sort  (cost=118452809778.47..118464988052.34 rows=4871309551 width=91)
         Output: r.asn, r.netblock, r.range, n.range, n.name, n.country, r.netblock, ((upper(n.range) - lower(n.range)))
         Sort Key: r.netblock, ((upper(n.range) - lower(n.range)))
         ->  Nested Loop  (cost=0.00..115920727265.53 rows=4871309551 width=91)
               Output: r.asn, r.netblock, r.range, n.range, n.name, n.country, r.netblock, (upper(n.range) - lower(n.range))
               Join Filter: (r.range <@ n.range)
               ->  Seq Scan on public.routing_details r  (cost=0.00..11458.96 rows=592496 width=43)
                     Output: r.asn, r.netblock, r.range
               ->  Materialize  (cost=0.00..277082.12 rows=8221675 width=48)
                     Output: n.range, n.name, n.country
                     ->  Seq Scan on public.netblock_details n  (cost=0.00..163712.75 rows=8221675 width=48)
                           Output: n.range, n.name, n.country
(14 rows)               ->  Seq Scan on netblock_details n  (cost=0.00..163712.75 rows=8221675 width=48)


EXPLAIN VERBOSE SELECT * FROM (
SELECT *, ROW_NUMBER() OVER (PARTITION BY r.range ORDER BY UPPER(n.range) - LOWER(n.range)) AS rank
FROM routing_details r JOIN netblock_details n ON r.range <@ n.range
) a WHERE rank = 1 ORDER BY netblock;

                                                                    QUERY PLAN
---------------------------------------------------------------------------------------------------------------------------------------------------
 Sort  (cost=118620775630.16..118620836521.53 rows=24356548 width=99)
   Output: a.asn, a.netblock, a.range, a.range_1, a.name, a.country, a.rank
   Sort Key: a.netblock
   ->  Subquery Scan on a  (cost=118416274956.83..118611127338.87 rows=24356548 width=99)
         Output: a.asn, a.netblock, a.range, a.range_1, a.name, a.country, a.rank
         Filter: (a.rank = 1)
         ->  WindowAgg  (cost=118416274956.83..118550235969.49 rows=4871309551 width=91)
               Output: r.asn, r.netblock, r.range, n.range, n.name, n.country, row_number() OVER (?), ((upper(n.range) - lower(n.range))), r.range
               ->  Sort  (cost=118416274956.83..118428453230.71 rows=4871309551 width=91)
                     Output: ((upper(n.range) - lower(n.range))), r.range, r.asn, r.netblock, n.range, n.name, n.country
                     Sort Key: r.range, ((upper(n.range) - lower(n.range)))
                     ->  Nested Loop  (cost=0.00..115884192443.90 rows=4871309551 width=91)
                           Output: (upper(n.range) - lower(n.range)), r.range, r.asn, r.netblock, n.range, n.name, n.country
                           Join Filter: (r.range <@ n.range)
                           ->  Seq Scan on public.routing_details r  (cost=0.00..11458.96 rows=592496 width=43)
                                 Output: r.asn, r.netblock, r.range
                           ->  Materialize  (cost=0.00..277082.12 rows=8221675 width=48)
                                 Output: n.range, n.name, n.country
                                 ->  Seq Scan on public.netblock_details n  (cost=0.00..163712.75 rows=8221675 width=48)
                                       Output: n.range, n.name, n.country
(20 rows)
Run Code Online (Sandbox Code Playgroud)

DISTINCT ON看起来效率稍高,所以我继续使用那个.当我针对完整数据集运行查询时,在大约24小时等待之后,我得到了磁盘空间不足的错误.我创建了一个routing_details_small表,其中包含完整routing_details表的N行子集,以尝试了解正在发生的事情.

N = 1000

=> EXPLAIN ANALYZE SELECT DISTINCT ON (r.netblock) *
-> FROM routing_details_small r JOIN netblock_details n ON r.range <@ n.range
-> ORDER BY r.netblock, upper(n.range) - lower(n.range);
                                                                                 QUERY PLAN
----------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 Unique  (cost=4411888.68..4453012.20 rows=999 width=90) (actual time=124.094..133.720 rows=999 loops=1)
   ->  Sort  (cost=4411888.68..4432450.44 rows=8224705 width=90) (actual time=124.091..128.560 rows=4172 loops=1)
         Sort Key: r.netblock, ((upper(n.range) - lower(n.range)))
         Sort Method: external sort  Disk: 608kB
         ->  Nested Loop  (cost=0.41..1780498.29 rows=8224705 width=90) (actual time=0.080..101.518 rows=4172 loops=1)
               ->  Seq Scan on routing_details_small r  (cost=0.00..20.00 rows=1000 width=42) (actual time=0.007..1.037 rows=1000 loops=1)
               ->  Index Scan using idx_netblock_details_range on netblock_details n  (cost=0.41..1307.55 rows=41124 width=48) (actual time=0.063..0.089 rows=4 loops=1000)
                     Index Cond: (r.range <@ range)
 Total runtime: 134.999 ms
(9 rows)
Run Code Online (Sandbox Code Playgroud)

N = 100000

=> EXPLAIN ANALYZE SELECT DISTINCT ON (r.netblock) *
-> FROM routing_details_small r JOIN netblock_details n ON r.range <@ n.range
-> ORDER BY r.netblock, upper(n.range) - lower(n.range);
                                                                                 QUERY PLAN
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 Unique  (cost=654922588.98..659034941.48 rows=200 width=144) (actual time=28252.677..29487.380 rows=98992 loops=1)
   ->  Sort  (cost=654922588.98..656978765.23 rows=822470500 width=144) (actual time=28252.673..28926.703 rows=454856 loops=1)
         Sort Key: r.netblock, ((upper(n.range) - lower(n.range)))
         Sort Method: external merge  Disk: 64488kB
         ->  Nested Loop  (cost=0.41..119890431.75 rows=822470500 width=144) (actual time=0.079..24951.038 rows=454856 loops=1)
               ->  Seq Scan on routing_details_small r  (cost=0.00..1935.00 rows=100000 width=96) (actual time=0.007..110.457 rows=100000 loops=1)
               ->  Index Scan using idx_netblock_details_range on netblock_details n  (cost=0.41..725.96 rows=41124 width=48) (actual time=0.067..0.235 rows=5 loops=100000)
                     Index Cond: (r.range <@ range)
 Total runtime: 29596.667 ms
(9 rows)
Run Code Online (Sandbox Code Playgroud)

N = 250000

=> EXPLAIN ANALYZE SELECT DISTINCT ON (r.netblock) *
-> FROM routing_details_small r JOIN netblock_details n ON r.range <@ n.range
-> ORDER BY r.netblock, upper(n.range) - lower(n.range);
                                                                                      QUERY PLAN
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 Unique  (cost=1651822953.55..1662103834.80 rows=200 width=144) (actual time=185835.443..190143.266 rows=247655 loops=1)
   ->  Sort  (cost=1651822953.55..1656963394.18 rows=2056176250 width=144) (actual time=185835.439..188779.279 rows=1103850 loops=1)
         Sort Key: r.netblock, ((upper(n.range) - lower(n.range)))
         Sort Method: external merge  Disk: 155288kB
         ->  Nested Loop  (cost=0.28..300651962.46 rows=2056176250 width=144) (actual time=19.325..177403.913 rows=1103850 loops=1)
               ->  Seq Scan on netblock_details n  (cost=0.00..163743.05 rows=8224705 width=48) (actual time=0.007..8160.346 rows=8224705 loops=1)
               ->  Index Scan using idx_routing_details_small_range on routing_details_small r  (cost=0.28..22.16 rows=1250 width=96) (actual time=0.018..0.018 rows=0 loops=8224705)
                     Index Cond: (range <@ n.range)
 Total runtime: 190413.912 ms
(9 rows)
Run Code Online (Sandbox Code Playgroud)

对于具有600k行的完整表,查询在大约24小时后失败,并且出现磁盘空间不足的错误,这可能是由外部合并步骤引起的.因此,使用一个小的routing_details表,这个查询运行良好且非常快,但扩展性很差.

关于如何改进我的查询,或者甚至是模式更改的建议,我可以使这个查询在整个数据集上有效工作?

Vla*_*nov 3

我最初想到的是横向连接,就像其他建议的方法一样(例如,Erwin Brandstetter 的最后一个查询,他使用简单的int8数据类型和简单的索引),但不想将其写在答案中,因为我认为它并不是真正有效。当您尝试查找netblock覆盖给定范围的所有范围时,索引没有多大帮助。

我将在这里重复 Erwin Brandstetter 的查询:

SELECT *  -- only select columns you need to make it faster
FROM   routing_details r
     , LATERAL (
   SELECT *
   FROM   netblock_details n
   WHERE  n.ip_min <= r.ip_min
   AND    n.ip_max >= r.ip_max
   ORDER  BY n.ip_max - n.ip_min
   LIMIT  1
   ) n;
Run Code Online (Sandbox Code Playgroud)

当您在 netblock_details 上有索引时,如下所示:

CREATE INDEX netblock_details_ip_min_max_idx ON netblock_details 
(ip_min, ip_max DESC NULLS LAST);
Run Code Online (Sandbox Code Playgroud)

您可以快速(在 中O(logN))找到表中扫描的起点-小于的netblock_details最大值或大于的最小值。但随后您必须扫描/读取索引/表的其余部分,并对每一行执行检查的第二部分并过滤掉大多数行。n.ip_minr.ip_minn.ip_maxr.ip_max

换句话说,此索引有助于快速找到满足第一个搜索条件的起始行:n.ip_min <= r.ip_min,但随后您将继续读取满足此条件的所有行,并对每个此类行执行第二个检查n.ip_max >= r.ip_max。平均而言(如果数据分布均匀),您将必须读取表中一半的行netblock_details。优化器可以选择先使用索引进行搜索n.ip_max >= r.ip_max,然后应用第二个过滤器n.ip_min <= r.ip_min,但不能使用此索引同时应用两个过滤器。

最终结果:对于 中的每一行,routing_details我们将读取 中的一半行netblock_details。600K * 4M = 2,400,000,000,000 行。比笛卡尔积好 2 倍。EXPLAIN ANALYZE您可以在问题的输出中看到这个数字(笛卡尔积) 。

592,496 * 8,221,675 = 4,871,309,550,800
Run Code Online (Sandbox Code Playgroud)

难怪您的查询在尝试实现和排序时会耗尽磁盘空间。


获得最终结果的总体高级流程:

  • 连接两个表(尚未找到最佳匹配)。在最坏的情况下,它是笛卡尔积,在最好的情况下,它全部覆盖范围从netblock_details每个范围从routing_details。您说 中的netblock_details每个条目有多个条目routing_details,从 3 到大约 10 个不等。因此,此连接的结果可能有 ~6M 行(不是太多)

  • 按范围对连接结果进行排序/分区routing_details,并为每个此类范围找到最佳(最小)覆盖范围netblock_details


我的想法是反转查询。我建议不要netblock_details从较小的表中的每一行中查找从较大的所有覆盖范围,而是从较大的每一行中查找从较小的所有较小范围。routing_detailsrouting_detailsnetblock_details

两步过程

对于较大的每一行,netblock_details查找routing_detailsnetblock范围内的所有范围。

我将在查询中使用以下架构。我已向ID两个表添加主键。

CREATE TABLE routing_details (
ID        int
,ip_min   int8
,ip_max   int8
,asn      text
,netblock text
);

CREATE TABLE netblock_details (
ID        int
,ip_min   int8
,ip_max   int8
,name     text
,country  text
,source   text
);

SELECT
    netblock_details.ID AS n_ID
    ,netblock_details.ip_max - netblock_details.ip_min AS n_length
    ,r.ID AS r_ID
FROM
    netblock_details
    INNER JOIN LATERAL
    (
        SELECT routing_details.ID
        FROM routing_details
        WHERE
            routing_details.ip_min >= netblock_details.ip_min
            AND routing_details.ip_min <= netblock_details.ip_max
            -- note how routing_details.ip_min is limited from both sides
            -- this would make it possible to scan only (hopefully) small
            -- portion of the table instead of full or half table
            AND routing_details.ip_max <= netblock_details.ip_max
            -- this clause ensures that the whole routing range
            -- is inside the netblock range
    ) AS r ON true
Run Code Online (Sandbox Code Playgroud)

routing_details我们需要上的索引(ip_min, ip_max)。这里最主要的是索引ip_min。在索引中包含第二列有助于消除查找 ; 的值的需要ip_max。它对树搜索没有帮助。

请注意,横向子查询没有LIMIT. 这还不是最终结果。此查询应返回约 6M 行。将此结果保存在临时表中。向 上的临时表添加索引(r_ID, n_length, n_ID)n_ID再次只是为了删除额外的查找。我们需要一个索引来避免对每个数据进行排序r_ID

最后一步

对于每一行,routing_details找到n_ID具有最小的n_length。现在我们可以按“正确”的顺序使用横向连接。这里的temp表是上一步的结果以及索引

SELECT
    routing_details.*
    ,t.n_ID
    ,netblock_details.*
FROM
    routing_details
    INNER JOIN LATERAL
    (
        SELECT temp.n_ID
        FROM temp
        WHERE temp.r_ID = routing_details.ID
        ORDER BY temp.n_length
        LIMIT 1
    ) AS t ON true
    INNER JOIN netblock_details ON netblock_details.ID = t.n_ID
Run Code Online (Sandbox Code Playgroud)

这里的子查询应该是索引的查找,而不是扫描。优化器应该足够聪明,可以只进行查找并返回第一个找到的结果LIMIT 1,因此您将在 6M 行临时表中进行 600K 次索引查找。


原始答案(我将保留它只是为了范围图):

你能“作弊”吗?

如果我正确理解您的查询,对于每个routing_details.range 您想要找到一个netblock_details.range覆盖/大于的最小查询routing_details.range

给出以下示例,其中r是路由范围,n1, ..., n8是网络块范围,正确答案是n5

   |---|
   n1

     |------------------|
     n2

                           |---------------|
                           n3

                                          |-----|
                                          n4

                  |------------------|
                  n5

                     |--------------------------------------|
                     n6

        |---------------------------|
        n7

                      |-----|
                      n8

                      |------------|
                      r
                     start       end

n.start <= r.start AND n.end >= r.end
order by n.length
limit 1 
Run Code Online (Sandbox Code Playgroud)

花费14 小时的查询显示索引扫描花费了 6 毫秒,但按范围长度排序花费了 80 毫秒。

对于这种搜索,不存在简单的数据一维排序。您正在使用n.startn.end和 一起n.length。但是,也许您的数据不是那么通用,或者返回稍微不同的结果是可以的。

例如,如果可以返回n6结果,那么它可以运行得更快。n6是具有最大 的覆盖范围start

n.start <= r.start AND n.end >= r.end
order by n.start desc
limit 1 
Run Code Online (Sandbox Code Playgroud)

或者,你可以选择n7,它的 最小end

n.start <= r.start AND n.end >= r.end
order by n.end
limit 1 
Run Code Online (Sandbox Code Playgroud)

这种搜索将使用n.start(或n.end) 上的简单索引,无需额外排序。


第二种完全不同的方法。范围有多大/多长?如果它们相对较短(数字很少),那么您可以尝试将它们存储为显式整数列表,而不是范围。例如,范围[5-8]将存储为 4 行:(5, 6, 7, 8). 使用这种存储模型,可以更容易地找到范围的交集。

  • 哇哦,更新后的答案中提供的 2 个查询在 90 秒内给出了正确的结果,而之前的最佳答案需要 14 小时!惊人的! (2认同)
  • @BenDowling,我很高兴它有帮助。我试图写下我的方法的理由,并希望它足够清楚。底线:**正确的**索引是强大的东西,但索引本身并不神奇,它有助于了解它是如何工作的,它能做什么,不能做什么。 (2认同)