Samhliða fyrirspurnir í PostgreSQL

Samhliða fyrirspurnir í PostgreSQL
Nútíma örgjörvar hafa marga kjarna. Um árabil hafa forrit sent samhliða fyrirspurnir í gagnagrunna. Ef það er skýrslufyrirspurn á mörgum línum í töflu, þá keyrir hún hraðar þegar margir örgjörvar eru notaðir og PostgreSQL hefur getað gert þetta frá útgáfu 9.6.

Það tók 3 ár að innleiða samhliða fyrirspurnareiginleikann - við þurftum að endurskrifa kóðann á mismunandi stigum framkvæmdar fyrirspurnar. PostgreSQL 9.6 kynnti innviði til að bæta kóðann enn frekar. Í síðari útgáfum eru aðrar tegundir fyrirspurna keyrðar samhliða.

Takmarkanir

  • Ekki virkja samhliða framkvæmd ef allir kjarna eru þegar uppteknir, annars hægja á öðrum beiðnum.
  • Mikilvægast er að samhliða vinnsla með háum WORK_MEM gildum notar mikið minni - hver hash sameining eða flokkun tekur upp work_mem minni.
  • Ekki er hægt að flýta fyrir OLTP fyrirspurnum með lítilli leynd með samhliða framkvæmd. Og ef fyrirspurnin skilar einni röð mun samhliða vinnsla aðeins hægja á henni.
  • Hönnuðir elska að nota TPC-H viðmiðið. Kannski hefurðu svipaðar fyrirspurnir um fullkomna samhliða framkvæmd.
  • Aðeins SELECT fyrirspurnir án forsagnalæsingar eru keyrðar samhliða.
  • Stundum er rétt flokkun betri en röð töfluskönnun í samhliða ham.
  • Ekki er stutt við að gera hlé á fyrirspurnum og bendilum.
  • Gluggaaðgerðir og samanlagðar föll í röðuðu setti eru ekki samsíða.
  • Þú færð ekki neitt í I/O vinnuálaginu.
  • Það eru engin samhliða flokkunaralgrím. En fyrirspurnir með flokkum er hægt að framkvæma samhliða í sumum þáttum.
  • Skiptu út CTE (MEÐ ...) með hreiðri SELECT til að virkja samhliða vinnslu.
  • Gagnaumbúðir frá þriðja aðila styðja ekki enn samhliða vinnslu (en þeir gætu!)
  • FULL OUTER JOIN er ekki studd.
  • max_rows slekkur á samhliða vinnslu.
  • Ef fyrirspurn er með aðgerð sem er ekki merkt PARALLEL SAFE verður hún einþráður.
  • Einangrunarstig SERIALIZABLE færslunnar slekkur á samhliða vinnslu.

Próf umhverfi

PostgreSQL forritarar reyndu að draga úr viðbragðstíma TPC-H viðmiðunarfyrirspurna. Sækja viðmiðið og laga það að PostgreSQL. Þetta er óopinber notkun á TPC-H viðmiðinu - ekki til samanburðar á gagnagrunni eða vélbúnaði.

  1. Sæktu TPC-H_Tools_v2.17.3.zip (eða nýrri útgáfa) frá TPC offsite.
  2. Endurnefna makefile.suite í Makefile og breyttu eins og lýst er hér: https://github.com/tvondra/pg_tpch . Settu kóðann saman með make skipuninni.
  3. Búa til gögn: ./dbgen -s 10 býr til 23 GB gagnagrunn. Þetta er nóg til að sjá muninn á frammistöðu samhliða og ósamhliða fyrirspurna.
  4. Umbreyta skrám tbl в csv с for и sed.
  5. Klóna geymsluna pg_tpch og afritaðu skrárnar csv в pg_tpch/dss/data.
  6. Búðu til fyrirspurnir með skipun qgen.
  7. Hladdu gögnum inn í gagnagrunninn með skipuninni ./tpch.sh.

Samhliða raðskönnun

Það gæti verið hraðari ekki vegna samhliða lestrar, heldur vegna þess að gögnin dreifast yfir marga CPU kjarna. Í nútíma stýrikerfum eru PostgreSQL gagnaskrár vel í skyndiminni. Með lestur á undan er hægt að fá stærri blokk úr geymslu en PG púkinn biður um. Þess vegna takmarkast afköst fyrirspurna ekki af I/O disks. Það eyðir CPU lotum til að:

  • lesa línur eina í einu af töflusíðum;
  • bera saman strengjagildi og skilyrði WHERE.

Við skulum keyra einfalda fyrirspurn select:

tpch=# explain analyze select l_quantity as sum_qty from lineitem where l_shipdate <= date '1998-12-01' - interval '105' day;
QUERY PLAN
--------------------------------------------------------------------------------------------------------------------------
Seq Scan on lineitem (cost=0.00..1964772.00 rows=58856235 width=5) (actual time=0.014..16951.669 rows=58839715 loops=1)
Filter: (l_shipdate <= '1998-08-18 00:00:00'::timestamp without time zone)
Rows Removed by Filter: 1146337
Planning Time: 0.203 ms
Execution Time: 19035.100 ms

Röðskönnunin framleiðir of margar raðir án samsöfnunar, þannig að fyrirspurnin er framkvæmd af einum CPU kjarna.

Ef þú bætir við SUM(), þú getur séð að tvö verkflæði munu hjálpa til við að flýta fyrirspurninni:

explain analyze select sum(l_quantity) as sum_qty from lineitem where l_shipdate <= date '1998-12-01' - interval '105' day;
QUERY PLAN
----------------------------------------------------------------------------------------------------------------------------------------------------
Finalize Aggregate (cost=1589702.14..1589702.15 rows=1 width=32) (actual time=8553.365..8553.365 rows=1 loops=1)
-> Gather (cost=1589701.91..1589702.12 rows=2 width=32) (actual time=8553.241..8555.067 rows=3 loops=1)
Workers Planned: 2
Workers Launched: 2
-> Partial Aggregate (cost=1588701.91..1588701.92 rows=1 width=32) (actual time=8547.546..8547.546 rows=1 loops=3)
-> Parallel Seq Scan on lineitem (cost=0.00..1527393.33 rows=24523431 width=5) (actual time=0.038..5998.417 rows=19613238 loops=3)
Filter: (l_shipdate <= '1998-08-18 00:00:00'::timestamp without time zone)
Rows Removed by Filter: 382112
Planning Time: 0.241 ms
Execution Time: 8555.131 ms

Samhliða samsöfnun

Parallel Seq Scan hnúturinn framleiðir línur fyrir samsöfnun að hluta. „Hlutasamanlagður“ hnúturinn klippir þessar línur með því að nota SUM(). Í lokin er SUM-teljarinn úr hverju starfsferli safnað með „Safna“ hnútnum.

Lokaniðurstaðan er reiknuð út af „Finalize Aggregate“ hnútnum. Ef þú ert með þínar eigin söfnunaraðgerðir skaltu ekki gleyma að merkja þær sem „samhliða öruggar“.

Fjöldi starfsmannaferla

Hægt er að fjölga starfsferlum án þess að endurræsa þjóninn:

explain analyze select sum(l_quantity) as sum_qty from lineitem where l_shipdate <= date '1998-12-01' - interval '105' day;
QUERY PLAN
----------------------------------------------------------------------------------------------------------------------------------------------------
Finalize Aggregate (cost=1589702.14..1589702.15 rows=1 width=32) (actual time=8553.365..8553.365 rows=1 loops=1)
-> Gather (cost=1589701.91..1589702.12 rows=2 width=32) (actual time=8553.241..8555.067 rows=3 loops=1)
Workers Planned: 2
Workers Launched: 2
-> Partial Aggregate (cost=1588701.91..1588701.92 rows=1 width=32) (actual time=8547.546..8547.546 rows=1 loops=3)
-> Parallel Seq Scan on lineitem (cost=0.00..1527393.33 rows=24523431 width=5) (actual time=0.038..5998.417 rows=19613238 loops=3)
Filter: (l_shipdate <= '1998-08-18 00:00:00'::timestamp without time zone)
Rows Removed by Filter: 382112
Planning Time: 0.241 ms
Execution Time: 8555.131 ms

Hvað er í gangi hér? Það voru 2 sinnum fleiri vinnuferli og beiðnin varð aðeins 1,6599 sinnum hraðari. Útreikningarnir eru áhugaverðir. Við vorum með 2 starfsferla og 1 leiðtoga. Eftir breytinguna varð það 4+1.

Hámarkshraði okkar frá samhliða vinnslu: 5/3 = 1,66(6) sinnum.

Hvernig virkar það?

Ferlarnir

Framkvæmd beiðni byrjar alltaf með leiðandi ferli. Leiðtoginn gerir allt ósamhliða og einhverja samhliða vinnslu. Önnur ferli sem framkvæma sömu beiðnir eru kölluð vinnuferli. Samhliða vinnsla notar innviði kraftmikil bakgrunn starfsmannaferla (frá útgáfu 9.4). Þar sem aðrir hlutar PostgreSQL nota ferla frekar en þræði, gæti fyrirspurn með 3 vinnuferlum verið 4 sinnum hraðari en hefðbundin vinnsla.

Samskipti

Starfsmannaferlar hafa samskipti við leiðtogann í gegnum skilaboðaröð (byggt á sameiginlegu minni). Hvert ferli hefur 2 biðraðir: fyrir villur og fyrir tuples.

Hversu mörg verkflæði þarf?

Lágmarksmörkin eru tilgreind með færibreytunni max_parallel_workers_per_gather. Beiðnahlauparinn tekur síðan vinnuferla úr lauginni sem takmarkast af færibreytunni max_parallel_workers size. Síðasta takmörkunin er max_worker_processes, það er heildarfjöldi bakgrunnsferla.

Ef ekki var hægt að úthluta vinnuferli verður vinnslan í einu ferli.

Fyrirspurnaskipuleggjandinn getur dregið úr verkflæði eftir stærð töflunnar eða vísitölunnar. Það eru breytur fyrir þetta min_parallel_table_scan_size и min_parallel_index_scan_size.

set min_parallel_table_scan_size='8MB'
8MB table => 1 worker
24MB table => 2 workers
72MB table => 3 workers
x => log(x / min_parallel_table_scan_size) / log(3) + 1 worker

Í hvert skipti sem borðið er 3 sinnum stærra en min_parallel_(index|table)_scan_size, Postgres bætir við vinnuferli. Fjöldi verkflæðis er ekki byggður á kostnaði. Hringlaga ósjálfstæði gerir flóknar útfærslur erfiðar. Í staðinn notar skipuleggjandinn einfaldar reglur.

Í reynd henta þessar reglur ekki alltaf fyrir framleiðslu, svo þú getur breytt fjölda starfsmannaferla fyrir tiltekna töflu: ALTER TABLE ... SET (parallel_workers = N).

Hvers vegna er samhliða vinnsla ekki notuð?

Til viðbótar við langan lista yfir takmarkanir eru einnig kostnaðarathuganir:

parallel_setup_cost - til að forðast samhliða afgreiðslu á stuttum beiðnum. Þessi færibreyta metur tímann til að undirbúa minni, hefja ferlið og fyrstu gagnaskipti.

parallel_tuple_cost: Samskipti milli leiðtoga og starfsmanna geta tafist í hlutfalli við fjölda túlla úr verkferlum. Þessi færibreyta reiknar út kostnað við gagnaskipti.

Nested Loop Joins

PostgreSQL 9.6+ может выполнять вложенные циклы параллельно — это простая операция.

explain (costs off) select c_custkey, count(o_orderkey)
                from    customer left outer join orders on
                                c_custkey = o_custkey and o_comment not like '%special%deposits%'
                group by c_custkey;
                                      QUERY PLAN
--------------------------------------------------------------------------------------
 Finalize GroupAggregate
   Group Key: customer.c_custkey
   ->  Gather Merge
         Workers Planned: 4
         ->  Partial GroupAggregate
               Group Key: customer.c_custkey
               ->  Nested Loop Left Join
                     ->  Parallel Index Only Scan using customer_pkey on customer
                     ->  Index Scan using idx_orders_custkey on orders
                           Index Cond: (customer.c_custkey = o_custkey)
                           Filter: ((o_comment)::text !~~ '%special%deposits%'::text)

Söfnunin á sér stað á síðasta stigi, þannig að Nested Loop Left Join er samhliða aðgerð. Parallel Index Only Scan var aðeins kynnt í útgáfu 10. Það virkar svipað og samhliða raðskönnun. Ástand c_custkey = o_custkey les eina pöntun á hvern viðskiptavinastreng. Svo það er ekki samsíða.

Hash Join

Hvert starfsmannsferli býr til sína eigin kjötkássatöflu þar til PostgreSQL 11. Og ef það eru fleiri en fjögur af þessum ferlum mun árangur ekki batna. Í nýju útgáfunni er kjötkássatöflunni deilt. Hvert starfsferli getur notað WORK_MEM til að búa til kjötkássatöflu.

select
        l_shipmode,
        sum(case
                when o_orderpriority = '1-URGENT'
                        or o_orderpriority = '2-HIGH'
                        then 1
                else 0
        end) as high_line_count,
        sum(case
                when o_orderpriority <> '1-URGENT'
                        and o_orderpriority <> '2-HIGH'
                        then 1
                else 0
        end) as low_line_count
from
        orders,
        lineitem
where
        o_orderkey = l_orderkey
        and l_shipmode in ('MAIL', 'AIR')
        and l_commitdate < l_receiptdate
        and l_shipdate < l_commitdate
        and l_receiptdate >= date '1996-01-01'
        and l_receiptdate < date '1996-01-01' + interval '1' year
group by
        l_shipmode
order by
        l_shipmode
LIMIT 1;
                                                                                                                                    QUERY PLAN
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 Limit  (cost=1964755.66..1964961.44 rows=1 width=27) (actual time=7579.592..7922.997 rows=1 loops=1)
   ->  Finalize GroupAggregate  (cost=1964755.66..1966196.11 rows=7 width=27) (actual time=7579.590..7579.591 rows=1 loops=1)
         Group Key: lineitem.l_shipmode
         ->  Gather Merge  (cost=1964755.66..1966195.83 rows=28 width=27) (actual time=7559.593..7922.319 rows=6 loops=1)
               Workers Planned: 4
               Workers Launched: 4
               ->  Partial GroupAggregate  (cost=1963755.61..1965192.44 rows=7 width=27) (actual time=7548.103..7564.592 rows=2 loops=5)
                     Group Key: lineitem.l_shipmode
                     ->  Sort  (cost=1963755.61..1963935.20 rows=71838 width=27) (actual time=7530.280..7539.688 rows=62519 loops=5)
                           Sort Key: lineitem.l_shipmode
                           Sort Method: external merge  Disk: 2304kB
                           Worker 0:  Sort Method: external merge  Disk: 2064kB
                           Worker 1:  Sort Method: external merge  Disk: 2384kB
                           Worker 2:  Sort Method: external merge  Disk: 2264kB
                           Worker 3:  Sort Method: external merge  Disk: 2336kB
                           ->  Parallel Hash Join  (cost=382571.01..1957960.99 rows=71838 width=27) (actual time=7036.917..7499.692 rows=62519 loops=5)
                                 Hash Cond: (lineitem.l_orderkey = orders.o_orderkey)
                                 ->  Parallel Seq Scan on lineitem  (cost=0.00..1552386.40 rows=71838 width=19) (actual time=0.583..4901.063 rows=62519 loops=5)
                                       Filter: ((l_shipmode = ANY ('{MAIL,AIR}'::bpchar[])) AND (l_commitdate < l_receiptdate) AND (l_shipdate < l_commitdate) AND (l_receiptdate >= '1996-01-01'::date) AND (l_receiptdate < '1997-01-01 00:00:00'::timestamp without time zone))
                                       Rows Removed by Filter: 11934691
                                 ->  Parallel Hash  (cost=313722.45..313722.45 rows=3750045 width=20) (actual time=2011.518..2011.518 rows=3000000 loops=5)
                                       Buckets: 65536  Batches: 256  Memory Usage: 3840kB
                                       ->  Parallel Seq Scan on orders  (cost=0.00..313722.45 rows=3750045 width=20) (actual time=0.029..995.948 rows=3000000 loops=5)
 Planning Time: 0.977 ms
 Execution Time: 7923.770 ms

Fyrirspurn 12 frá TPC-H sýnir greinilega samhliða kjötkássatengingu. Hvert starfsferli stuðlar að því að búa til sameiginlega kjötkássatöflu.

Sameina Join

Samruni er ekki samhliða í eðli sínu. Ekki hafa áhyggjur ef þetta er síðasta skrefið í fyrirspurninni - hún getur samt keyrt samhliða.

-- Query 2 from TPC-H
explain (costs off) select s_acctbal, s_name, n_name, p_partkey, p_mfgr, s_address, s_phone, s_comment
from    part, supplier, partsupp, nation, region
where
        p_partkey = ps_partkey
        and s_suppkey = ps_suppkey
        and p_size = 36
        and p_type like '%BRASS'
        and s_nationkey = n_nationkey
        and n_regionkey = r_regionkey
        and r_name = 'AMERICA'
        and ps_supplycost = (
                select
                        min(ps_supplycost)
                from    partsupp, supplier, nation, region
                where
                        p_partkey = ps_partkey
                        and s_suppkey = ps_suppkey
                        and s_nationkey = n_nationkey
                        and n_regionkey = r_regionkey
                        and r_name = 'AMERICA'
        )
order by s_acctbal desc, n_name, s_name, p_partkey
LIMIT 100;
                                                QUERY PLAN
----------------------------------------------------------------------------------------------------------
 Limit
   ->  Sort
         Sort Key: supplier.s_acctbal DESC, nation.n_name, supplier.s_name, part.p_partkey
         ->  Merge Join
               Merge Cond: (part.p_partkey = partsupp.ps_partkey)
               Join Filter: (partsupp.ps_supplycost = (SubPlan 1))
               ->  Gather Merge
                     Workers Planned: 4
                     ->  Parallel Index Scan using <strong>part_pkey</strong> on part
                           Filter: (((p_type)::text ~~ '%BRASS'::text) AND (p_size = 36))
               ->  Materialize
                     ->  Sort
                           Sort Key: partsupp.ps_partkey
                           ->  Nested Loop
                                 ->  Nested Loop
                                       Join Filter: (nation.n_regionkey = region.r_regionkey)
                                       ->  Seq Scan on region
                                             Filter: (r_name = 'AMERICA'::bpchar)
                                       ->  Hash Join
                                             Hash Cond: (supplier.s_nationkey = nation.n_nationkey)
                                             ->  Seq Scan on supplier
                                             ->  Hash
                                                   ->  Seq Scan on nation
                                 ->  Index Scan using idx_partsupp_suppkey on partsupp
                                       Index Cond: (ps_suppkey = supplier.s_suppkey)
               SubPlan 1
                 ->  Aggregate
                       ->  Nested Loop
                             Join Filter: (nation_1.n_regionkey = region_1.r_regionkey)
                             ->  Seq Scan on region region_1
                                   Filter: (r_name = 'AMERICA'::bpchar)
                             ->  Nested Loop
                                   ->  Nested Loop
                                         ->  Index Scan using idx_partsupp_partkey on partsupp partsupp_1
                                               Index Cond: (part.p_partkey = ps_partkey)
                                         ->  Index Scan using supplier_pkey on supplier supplier_1
                                               Index Cond: (s_suppkey = partsupp_1.ps_suppkey)
                                   ->  Index Scan using nation_pkey on nation nation_1
                                         Index Cond: (n_nationkey = supplier_1.s_nationkey)

„Sameina sameining“ hnúturinn er staðsettur fyrir ofan „Gather Merge“. Þannig að sameining notar ekki samhliða vinnslu. En „Parallel Index Scan“ hnúturinn hjálpar samt við hlutann part_pkey.

Tenging eftir köflum

Í PostgreSQL 11 tenging eftir köflum sjálfgefið óvirkt: það hefur mjög dýra tímasetningu. Töflur með svipaða skiptingu er hægt að sameina skipting fyrir skipting. Þannig mun Postgres nota smærri kjötkássatöflur. Hver tenging hluta getur verið samsíða.

tpch=# set enable_partitionwise_join=t;
tpch=# explain (costs off) select * from prt1 t1, prt2 t2
where t1.a = t2.b and t1.b = 0 and t2.b between 0 and 10000;
                    QUERY PLAN
---------------------------------------------------
 Append
   ->  Hash Join
         Hash Cond: (t2.b = t1.a)
         ->  Seq Scan on prt2_p1 t2
               Filter: ((b >= 0) AND (b <= 10000))
         ->  Hash
               ->  Seq Scan on prt1_p1 t1
                     Filter: (b = 0)
   ->  Hash Join
         Hash Cond: (t2_1.b = t1_1.a)
         ->  Seq Scan on prt2_p2 t2_1
               Filter: ((b >= 0) AND (b <= 10000))
         ->  Hash
               ->  Seq Scan on prt1_p2 t1_1
                     Filter: (b = 0)
tpch=# set parallel_setup_cost = 1;
tpch=# set parallel_tuple_cost = 0.01;
tpch=# explain (costs off) select * from prt1 t1, prt2 t2
where t1.a = t2.b and t1.b = 0 and t2.b between 0 and 10000;
                        QUERY PLAN
-----------------------------------------------------------
 Gather
   Workers Planned: 4
   ->  Parallel Append
         ->  Parallel Hash Join
               Hash Cond: (t2_1.b = t1_1.a)
               ->  Parallel Seq Scan on prt2_p2 t2_1
                     Filter: ((b >= 0) AND (b <= 10000))
               ->  Parallel Hash
                     ->  Parallel Seq Scan on prt1_p2 t1_1
                           Filter: (b = 0)
         ->  Parallel Hash Join
               Hash Cond: (t2.b = t1.a)
               ->  Parallel Seq Scan on prt2_p1 t2
                     Filter: ((b >= 0) AND (b <= 10000))
               ->  Parallel Hash
                     ->  Parallel Seq Scan on prt1_p1 t1
                           Filter: (b = 0)

Aðalatriðið er að tengingin á köflum er aðeins samhliða ef þessir hlutar eru nógu stórir.

Samhliða viðb

Samhliða viðb hægt að nota í stað mismunandi blokka í mismunandi verkflæði. Þetta gerist venjulega með UNION ALL fyrirspurnum. Ókosturinn er minni samsíða, því hvert ferli vinnur aðeins úr 1 beiðni.

Hér eru 2 vinnuferli í gangi, þó 4 séu virkjuð.

tpch=# explain (costs off) select sum(l_quantity) as sum_qty from lineitem where l_shipdate <= date '1998-12-01' - interval '105' day union all select sum(l_quantity) as sum_qty from lineitem where l_shipdate <= date '2000-12-01' - interval '105' day;
                                           QUERY PLAN
------------------------------------------------------------------------------------------------
 Gather
   Workers Planned: 2
   ->  Parallel Append
         ->  Aggregate
               ->  Seq Scan on lineitem
                     Filter: (l_shipdate <= '2000-08-18 00:00:00'::timestamp without time zone)
         ->  Aggregate
               ->  Seq Scan on lineitem lineitem_1
                     Filter: (l_shipdate <= '1998-08-18 00:00:00'::timestamp without time zone)

Mikilvægustu breyturnar

  • WORK_MEM takmarkar minni fyrir hvert ferli, ekki bara fyrirspurnir: work_mem ferlar tengingar = mikið minni.
  • max_parallel_workers_per_gather — hversu mörg starfsmannsferli framkvæmdaforritið mun nota fyrir samhliða vinnslu úr áætluninni.
  • max_worker_processes — stillir heildarfjölda starfsmannaferla að fjölda CPU-kjarna á þjóninum.
  • max_parallel_workers - það sama, en fyrir samhliða verkferla.

Niðurstöður

Frá og með útgáfu 9.6 getur samhliða vinnsla bætt verulega árangur flókinna fyrirspurna sem skanna margar línur eða vísitölur. Í PostgreSQL 10 er samhliða vinnsla sjálfkrafa virkjuð. Mundu að slökkva á því á netþjónum með mikið OLTP vinnuálag. Raðskannanir eða vísitöluskannanir eyða miklu fjármagni. Ef þú ert ekki að keyra skýrslu um allt gagnasafnið geturðu bætt afköst fyrirspurna með því einfaldlega að bæta við vísitölum sem vantar eða nota rétta skiptingu.

tilvísanir

Heimild: www.habr.com

Bæta við athugasemd