EXPLAIN কী সম্পর্কে নীরব এবং কীভাবে এটি কথা বলা যায়

একজন বিকাশকারী তার DBA বা একজন ব্যবসার মালিক একজন PostgreSQL পরামর্শদাতার কাছে নিয়ে আসা ক্লাসিক প্রশ্নটি প্রায় সবসময় একই শোনায়: "কেন অনুরোধগুলি ডেটাবেসে সম্পূর্ণ হতে এত সময় নেয়?"

কারণের ঐতিহ্যগত সেট:

• অদক্ষ অ্যালগরিদম
  যখন আপনি কয়েক হাজার রেকর্ডের মাধ্যমে একাধিক CTE-তে যোগদান করার সিদ্ধান্ত নেন
• অপ্রাসঙ্গিক পরিসংখ্যান
  যদি সারণীতে ডেটার প্রকৃত বণ্টন ইতিমধ্যেই গতবারের বিশ্লেষণ দ্বারা সংগৃহীত একটি থেকে খুব আলাদা হয়
• সম্পদের উপর "প্লাগ"
  এবং CPU এর পর্যাপ্ত ডেডিকেটেড কম্পিউটিং শক্তি নেই, গিগাবাইট মেমরি ক্রমাগত পাম্প করা হচ্ছে, অথবা ডিস্ক ডাটাবেসের সমস্ত "চাহিদা" সহ রাখতে পারে না
• ব্লক করা প্রতিযোগী প্রক্রিয়া থেকে

এবং যদি ব্লকিংগুলি ধরা এবং বিশ্লেষণ করা বেশ কঠিন হয়, তবে অন্য সবকিছুর জন্য আমাদের প্রয়োজন প্রশ্ন পরিকল্পনা, যা ব্যবহার করে প্রাপ্ত করা যেতে পারে অপারেটর ব্যাখ্যা করুন (অবশ্যই, অবিলম্বে ব্যাখ্যা করা ভাল (বিশ্লেষণ, বাফার) ...) বা auto_explain মডিউল.

কিন্তু, একই ডকুমেন্টেশনে বলা হয়েছে,

"একটি পরিকল্পনা বোঝা একটি শিল্প, এবং এটি আয়ত্ত করতে একটি নির্দিষ্ট পরিমাণ অভিজ্ঞতা প্রয়োজন..."

আপনি যদি সঠিক টুল ব্যবহার করেন তবে আপনি এটি ছাড়া করতে পারেন!

একটি ক্যোয়ারী প্ল্যান সাধারণত কেমন দেখায়? এরকম কিছু:

Index Scan using pg_class_relname_nsp_index on pg_class (actual time=0.049..0.050 rows=1 loops=1)
  Index Cond: (relname = $1)
  Filter: (oid = $0)
  Buffers: shared hit=4
  InitPlan 1 (returns $0,$1)
    ->  Limit (actual time=0.019..0.020 rows=1 loops=1)
          Buffers: shared hit=1
          ->  Seq Scan on pg_class pg_class_1 (actual time=0.015..0.015 rows=1 loops=1)
                Filter: (relkind = 'r'::"char")
                Rows Removed by Filter: 5
                Buffers: shared hit=1

বা এই মত:

"Append  (cost=868.60..878.95 rows=2 width=233) (actual time=0.024..0.144 rows=2 loops=1)"
"  Buffers: shared hit=3"
"  CTE cl"
"    ->  Seq Scan on pg_class  (cost=0.00..868.60 rows=9972 width=537) (actual time=0.016..0.042 rows=101 loops=1)"
"          Buffers: shared hit=3"
"  ->  Limit  (cost=0.00..0.10 rows=1 width=233) (actual time=0.023..0.024 rows=1 loops=1)"
"        Buffers: shared hit=1"
"        ->  CTE Scan on cl  (cost=0.00..997.20 rows=9972 width=233) (actual time=0.021..0.021 rows=1 loops=1)"
"              Buffers: shared hit=1"
"  ->  Limit  (cost=10.00..10.10 rows=1 width=233) (actual time=0.117..0.118 rows=1 loops=1)"
"        Buffers: shared hit=2"
"        ->  CTE Scan on cl cl_1  (cost=0.00..997.20 rows=9972 width=233) (actual time=0.001..0.104 rows=101 loops=1)"
"              Buffers: shared hit=2"
"Planning Time: 0.634 ms"
"Execution Time: 0.248 ms"

তবে "শীট থেকে" পাঠ্যে পরিকল্পনাটি পড়া খুব কঠিন এবং অস্পষ্ট:

• নোডে প্রদর্শিত হয় সাবট্রি রিসোর্স দ্বারা যোগফল
  অর্থাৎ, একটি নির্দিষ্ট নোড চালানোর জন্য কতটা সময় লেগেছে, বা টেবিলের এই পাঠটি ডিস্ক থেকে কতটা ডেটা নিয়ে এসেছে তা বোঝার জন্য, আপনাকে অন্যটি থেকে একটি বিয়োগ করতে হবে।
• নোড সময় প্রয়োজন লুপ দ্বারা গুন করুন
  হ্যাঁ, বিয়োগ সবচেয়ে জটিল অপারেশন নয় যা অবশ্যই "মাথায়" করা উচিত - সর্বোপরি, একটি নোডের একটি সম্পাদনের জন্য কার্যকর করার সময়টি গড় হিসাবে নির্দেশিত হয় এবং সেগুলির শত শত থাকতে পারে
• ভাল, এবং এই সব একসাথে আমাদের মূল প্রশ্নের উত্তর দিতে বাধা দেয় - তাই কে "সবচেয়ে দুর্বল লিঙ্ক"?

যখন আমরা আমাদের কয়েকশ ডেভেলপারকে এই সমস্ত ব্যাখ্যা করার চেষ্টা করেছি, তখন আমরা বুঝতে পেরেছিলাম যে বাইরে থেকে এটি এরকম কিছু দেখায়:

এবং এর মানে আমাদের প্রয়োজন...

টুল

এটিতে আমরা সমস্ত মূল মেকানিক্স সংগ্রহ করার চেষ্টা করেছি যা পরিকল্পনা এবং অনুরোধ অনুসারে "কে দোষী এবং কী করতে হবে" বুঝতে সাহায্য করে। ভাল, এবং সম্প্রদায়ের সাথে আপনার অভিজ্ঞতা ভাগ করুন.
দেখা করুন এবং ব্যবহার করুন - ব্যাখ্যা.tensor.ru

পরিকল্পনার দৃশ্যমানতা

এই মত দেখায় যখন পরিকল্পনা বোঝা সহজ?

Seq Scan on pg_class (actual time=0.009..1.304 rows=6609 loops=1)
  Buffers: shared hit=263
Planning Time: 0.108 ms
Execution Time: 1.800 ms

আসলেই না।

কিন্তু এভাবে, সংক্ষিপ্ত আকারেযখন মূল সূচকগুলি পৃথক করা হয়, তখন এটি আরও পরিষ্কার হয়:

তবে পরিকল্পনাটি আরও জটিল হলে তিনি উদ্ধারে আসবেন পিচার্ট সময় বিতরণ নোড দ্বারা:

ঠিক আছে, সবচেয়ে কঠিন বিকল্পগুলির জন্য তিনি সাহায্য করার জন্য তাড়াহুড়ো করেন অগ্রগতি চার্ট:

উদাহরণস্বরূপ, যখন একটি পরিকল্পনার একাধিক প্রকৃত মূল থাকতে পারে তখন বেশ তুচ্ছ পরিস্থিতি রয়েছে:

কাঠামোগত সূত্র

ঠিক আছে, যদি পরিকল্পনার পুরো কাঠামো এবং এর কালশিটে দাগগুলি ইতিমধ্যেই বিন্যস্ত এবং দৃশ্যমান থাকে তবে কেন সেগুলি বিকাশকারীর কাছে হাইলাইট করবেন না এবং "রাশিয়ান ভাষায়" ব্যাখ্যা করবেন না?

আমরা ইতিমধ্যে কয়েক ডজন এই ধরনের সুপারিশ টেমপ্লেট সংগ্রহ করেছি।

লাইন-বাই-লাইন ক্যোয়ারী প্রোফাইলার

এখন, আপনি যদি মূল ক্যোয়ারীটিকে বিশ্লেষিত প্ল্যানের উপর চাপিয়ে দেন, আপনি দেখতে পারবেন প্রতিটি পৃথক বিবৃতিতে কত সময় ব্যয় করা হয়েছে - এইরকম কিছু:

...অথবা এমনকি এই মত:

একটি অনুরোধে পরামিতি প্রতিস্থাপন

আপনি যদি প্ল্যানে শুধুমাত্র একটি অনুরোধই নয়, লগের ডিটেইল লাইন থেকে এর পরামিতিগুলিও "সংযুক্ত" করেন, তাহলে আপনি বিকল্পগুলির একটিতে এটিকে অতিরিক্তভাবে অনুলিপি করতে পারেন:

• অনুরোধে মান প্রতিস্থাপন সহ
  আপনার বেস এবং আরও প্রোফাইলিংয়ের সরাসরি সম্পাদনের জন্য

  SELECT 'const', 'param'::text;

• PREPARE/EXECUTE এর মাধ্যমে মান প্রতিস্থাপন সহ
  শিডিউলারের কাজ অনুকরণ করতে, যখন প্যারামেট্রিক অংশ উপেক্ষা করা যেতে পারে - উদাহরণস্বরূপ, যখন পার্টিশন করা টেবিলে কাজ করা হয়

  DEALLOCATE ALL;
  PREPARE q(text) AS SELECT 'const', $1::text;
  EXECUTE q('param'::text);
  

পরিকল্পনা সংরক্ষণাগার

পেস্ট করুন, বিশ্লেষণ করুন, সহকর্মীদের সাথে ভাগ করুন! পরিকল্পনাগুলি সংরক্ষণাগারভুক্ত থাকবে এবং আপনি পরে সেগুলিতে ফিরে যেতে পারেন: ব্যাখ্যা.tensor.ru/archive

কিন্তু আপনি যদি অন্যরা আপনার পরিকল্পনা দেখতে না চান, তাহলে "আর্কাইভে প্রকাশ করবেন না" বাক্সটি চেক করতে ভুলবেন না।

নিম্নলিখিত নিবন্ধগুলিতে আমি একটি পরিকল্পনা বিশ্লেষণ করার সময় উদ্ভূত অসুবিধা এবং সিদ্ধান্ত সম্পর্কে কথা বলব।

উত্স: www.habr.com