pg_query 4.2.2 → 5.0.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (486) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +12 -0
  3. data/README.md +6 -8
  4. data/Rakefile +3 -3
  5. data/ext/pg_query/extconf.rb +1 -3
  6. data/ext/pg_query/include/access/amapi.h +3 -1
  7. data/ext/pg_query/include/access/attmap.h +5 -3
  8. data/ext/pg_query/include/access/attnum.h +1 -1
  9. data/ext/pg_query/include/access/clog.h +1 -1
  10. data/ext/pg_query/include/access/commit_ts.h +1 -1
  11. data/ext/pg_query/include/access/detoast.h +1 -1
  12. data/ext/pg_query/include/access/genam.h +7 -5
  13. data/ext/pg_query/include/access/gin.h +16 -3
  14. data/ext/pg_query/include/access/htup.h +1 -1
  15. data/ext/pg_query/include/access/htup_details.h +6 -2
  16. data/ext/pg_query/include/access/itup.h +61 -58
  17. data/ext/pg_query/include/access/parallel.h +2 -2
  18. data/ext/pg_query/include/access/printtup.h +1 -1
  19. data/ext/pg_query/include/access/relation.h +1 -1
  20. data/ext/pg_query/include/access/relscan.h +1 -1
  21. data/ext/pg_query/include/access/rmgrlist.h +2 -2
  22. data/ext/pg_query/include/access/sdir.h +12 -3
  23. data/ext/pg_query/include/access/skey.h +1 -1
  24. data/ext/pg_query/include/access/stratnum.h +1 -1
  25. data/ext/pg_query/include/access/sysattr.h +1 -1
  26. data/ext/pg_query/include/access/table.h +1 -1
  27. data/ext/pg_query/include/access/tableam.h +68 -45
  28. data/ext/pg_query/include/access/toast_compression.h +1 -1
  29. data/ext/pg_query/include/access/transam.h +1 -1
  30. data/ext/pg_query/include/access/tsmapi.h +82 -0
  31. data/ext/pg_query/include/access/tupconvert.h +5 -2
  32. data/ext/pg_query/include/access/tupdesc.h +2 -2
  33. data/ext/pg_query/include/access/tupmacs.h +58 -98
  34. data/ext/pg_query/include/access/twophase.h +2 -2
  35. data/ext/pg_query/include/access/xact.h +25 -18
  36. data/ext/pg_query/include/access/xlog.h +15 -16
  37. data/ext/pg_query/include/access/xlog_internal.h +100 -62
  38. data/ext/pg_query/include/access/xlogbackup.h +41 -0
  39. data/ext/pg_query/include/access/xlogdefs.h +6 -25
  40. data/ext/pg_query/include/access/xlogprefetcher.h +1 -1
  41. data/ext/pg_query/include/access/xlogreader.h +7 -6
  42. data/ext/pg_query/include/access/xlogrecord.h +17 -5
  43. data/ext/pg_query/include/access/xlogrecovery.h +4 -3
  44. data/ext/pg_query/include/archive/archive_module.h +59 -0
  45. data/ext/pg_query/include/c.h +144 -156
  46. data/ext/pg_query/include/catalog/catalog.h +4 -3
  47. data/ext/pg_query/include/catalog/catversion.h +6 -2
  48. data/ext/pg_query/include/catalog/dependency.h +5 -4
  49. data/ext/pg_query/include/catalog/genbki.h +7 -6
  50. data/ext/pg_query/include/catalog/index.h +4 -4
  51. data/ext/pg_query/include/catalog/indexing.h +1 -1
  52. data/ext/pg_query/include/catalog/namespace.h +2 -2
  53. data/ext/pg_query/include/catalog/objectaccess.h +10 -8
  54. data/ext/pg_query/include/catalog/objectaddress.h +3 -3
  55. data/ext/pg_query/include/catalog/pg_aggregate.h +1 -1
  56. data/ext/pg_query/include/catalog/pg_aggregate_d.h +1 -1
  57. data/ext/pg_query/include/catalog/pg_am.h +1 -1
  58. data/ext/pg_query/include/catalog/pg_am_d.h +1 -1
  59. data/ext/pg_query/include/catalog/pg_attribute.h +19 -17
  60. data/ext/pg_query/include/catalog/pg_attribute_d.h +19 -19
  61. data/ext/pg_query/include/catalog/pg_authid.h +1 -1
  62. data/ext/pg_query/include/catalog/pg_authid_d.h +3 -1
  63. data/ext/pg_query/include/catalog/pg_class.h +1 -1
  64. data/ext/pg_query/include/catalog/pg_class_d.h +1 -1
  65. data/ext/pg_query/include/catalog/pg_collation.h +3 -1
  66. data/ext/pg_query/include/catalog/pg_collation_d.h +4 -3
  67. data/ext/pg_query/include/catalog/pg_constraint.h +2 -2
  68. data/ext/pg_query/include/catalog/pg_constraint_d.h +1 -1
  69. data/ext/pg_query/include/catalog/pg_control.h +9 -1
  70. data/ext/pg_query/include/catalog/pg_conversion.h +2 -2
  71. data/ext/pg_query/include/catalog/pg_conversion_d.h +1 -1
  72. data/ext/pg_query/include/catalog/pg_database.h +124 -0
  73. data/ext/pg_query/include/catalog/pg_database_d.h +52 -0
  74. data/ext/pg_query/include/catalog/pg_depend.h +1 -1
  75. data/ext/pg_query/include/catalog/pg_depend_d.h +1 -1
  76. data/ext/pg_query/include/catalog/pg_event_trigger.h +1 -1
  77. data/ext/pg_query/include/catalog/pg_event_trigger_d.h +1 -1
  78. data/ext/pg_query/include/catalog/pg_index.h +1 -1
  79. data/ext/pg_query/include/catalog/pg_index_d.h +1 -1
  80. data/ext/pg_query/include/catalog/pg_language.h +1 -1
  81. data/ext/pg_query/include/catalog/pg_language_d.h +1 -1
  82. data/ext/pg_query/include/catalog/pg_namespace.h +1 -1
  83. data/ext/pg_query/include/catalog/pg_namespace_d.h +1 -1
  84. data/ext/pg_query/include/catalog/pg_opclass.h +1 -1
  85. data/ext/pg_query/include/catalog/pg_opclass_d.h +1 -1
  86. data/ext/pg_query/include/catalog/pg_operator.h +1 -1
  87. data/ext/pg_query/include/catalog/pg_operator_d.h +1 -1
  88. data/ext/pg_query/include/catalog/pg_opfamily.h +3 -2
  89. data/ext/pg_query/include/catalog/pg_opfamily_d.h +4 -2
  90. data/ext/pg_query/include/catalog/pg_partitioned_table.h +1 -1
  91. data/ext/pg_query/include/catalog/pg_partitioned_table_d.h +1 -1
  92. data/ext/pg_query/include/catalog/pg_proc.h +1 -1
  93. data/ext/pg_query/include/catalog/pg_proc_d.h +1 -1
  94. data/ext/pg_query/include/catalog/pg_publication.h +2 -5
  95. data/ext/pg_query/include/catalog/pg_publication_d.h +1 -1
  96. data/ext/pg_query/include/catalog/pg_replication_origin.h +1 -1
  97. data/ext/pg_query/include/catalog/pg_replication_origin_d.h +1 -1
  98. data/ext/pg_query/include/catalog/pg_statistic.h +1 -1
  99. data/ext/pg_query/include/catalog/pg_statistic_d.h +1 -1
  100. data/ext/pg_query/include/catalog/pg_statistic_ext.h +1 -1
  101. data/ext/pg_query/include/catalog/pg_statistic_ext_d.h +1 -1
  102. data/ext/pg_query/include/catalog/pg_transform.h +1 -1
  103. data/ext/pg_query/include/catalog/pg_transform_d.h +1 -1
  104. data/ext/pg_query/include/catalog/pg_trigger.h +1 -1
  105. data/ext/pg_query/include/catalog/pg_trigger_d.h +1 -1
  106. data/ext/pg_query/include/catalog/pg_ts_config.h +1 -1
  107. data/ext/pg_query/include/catalog/pg_ts_config_d.h +1 -1
  108. data/ext/pg_query/include/catalog/pg_ts_dict.h +1 -1
  109. data/ext/pg_query/include/catalog/pg_ts_dict_d.h +1 -1
  110. data/ext/pg_query/include/catalog/pg_ts_parser.h +1 -1
  111. data/ext/pg_query/include/catalog/pg_ts_parser_d.h +1 -1
  112. data/ext/pg_query/include/catalog/pg_ts_template.h +1 -1
  113. data/ext/pg_query/include/catalog/pg_ts_template_d.h +1 -1
  114. data/ext/pg_query/include/catalog/pg_type.h +1 -1
  115. data/ext/pg_query/include/catalog/pg_type_d.h +1 -1
  116. data/ext/pg_query/include/catalog/storage.h +6 -6
  117. data/ext/pg_query/include/commands/async.h +1 -1
  118. data/ext/pg_query/include/commands/dbcommands.h +2 -1
  119. data/ext/pg_query/include/commands/defrem.h +2 -1
  120. data/ext/pg_query/include/commands/event_trigger.h +1 -1
  121. data/ext/pg_query/include/commands/explain.h +3 -1
  122. data/ext/pg_query/include/commands/prepare.h +1 -1
  123. data/ext/pg_query/include/commands/tablespace.h +4 -4
  124. data/ext/pg_query/include/commands/trigger.h +15 -14
  125. data/ext/pg_query/include/commands/user.h +9 -3
  126. data/ext/pg_query/include/commands/vacuum.h +60 -14
  127. data/ext/pg_query/include/common/cryptohash.h +39 -0
  128. data/ext/pg_query/include/common/file_perm.h +1 -1
  129. data/ext/pg_query/include/common/hashfn.h +1 -1
  130. data/ext/pg_query/include/common/int.h +437 -0
  131. data/ext/pg_query/include/common/ip.h +4 -2
  132. data/ext/pg_query/include/common/keywords.h +1 -1
  133. data/ext/pg_query/include/common/kwlookup.h +2 -2
  134. data/ext/pg_query/include/common/pg_prng.h +3 -2
  135. data/ext/pg_query/include/common/relpath.h +20 -13
  136. data/ext/pg_query/include/common/scram-common.h +70 -0
  137. data/ext/pg_query/include/common/sha2.h +32 -0
  138. data/ext/pg_query/include/common/string.h +5 -3
  139. data/ext/pg_query/include/common/unicode_east_asian_fw_table.h +10 -10
  140. data/ext/pg_query/include/common/{unicode_combining_table.h → unicode_nonspacing_table.h} +31 -13
  141. data/ext/pg_query/include/copyfuncs.funcs.c +5013 -0
  142. data/ext/pg_query/include/copyfuncs.switch.c +938 -0
  143. data/ext/pg_query/include/datatype/timestamp.h +11 -4
  144. data/ext/pg_query/include/equalfuncs.funcs.c +3097 -0
  145. data/ext/pg_query/include/equalfuncs.switch.c +785 -0
  146. data/ext/pg_query/include/executor/execdesc.h +1 -1
  147. data/ext/pg_query/include/executor/executor.h +34 -17
  148. data/ext/pg_query/include/executor/functions.h +1 -1
  149. data/ext/pg_query/include/executor/instrument.h +1 -1
  150. data/ext/pg_query/include/executor/spi.h +2 -2
  151. data/ext/pg_query/include/executor/tablefunc.h +1 -1
  152. data/ext/pg_query/include/executor/tuptable.h +18 -11
  153. data/ext/pg_query/include/fmgr.h +21 -2
  154. data/ext/pg_query/include/foreign/fdwapi.h +294 -0
  155. data/ext/pg_query/include/funcapi.h +12 -12
  156. data/ext/pg_query/include/gram.h +1127 -0
  157. data/ext/pg_query/include/{parser/gramparse.h → gramparse.h} +4 -4
  158. data/ext/pg_query/include/jit/jit.h +2 -2
  159. data/ext/pg_query/include/kwlist_d.h +534 -510
  160. data/ext/pg_query/include/lib/dshash.h +4 -1
  161. data/ext/pg_query/include/lib/ilist.h +435 -22
  162. data/ext/pg_query/include/lib/pairingheap.h +1 -1
  163. data/ext/pg_query/include/lib/simplehash.h +9 -9
  164. data/ext/pg_query/include/lib/sort_template.h +1 -1
  165. data/ext/pg_query/include/lib/stringinfo.h +3 -3
  166. data/ext/pg_query/include/libpq/auth.h +8 -2
  167. data/ext/pg_query/include/libpq/crypt.h +1 -1
  168. data/ext/pg_query/include/libpq/hba.h +24 -17
  169. data/ext/pg_query/include/libpq/libpq-be.h +36 -25
  170. data/ext/pg_query/include/libpq/libpq.h +1 -1
  171. data/ext/pg_query/include/libpq/pqcomm.h +10 -41
  172. data/ext/pg_query/include/libpq/pqformat.h +2 -2
  173. data/ext/pg_query/include/libpq/pqsignal.h +22 -10
  174. data/ext/pg_query/include/libpq/sasl.h +136 -0
  175. data/ext/pg_query/include/libpq/scram.h +37 -0
  176. data/ext/pg_query/include/mb/pg_wchar.h +35 -18
  177. data/ext/pg_query/include/mb/stringinfo_mb.h +1 -1
  178. data/ext/pg_query/include/miscadmin.h +26 -14
  179. data/ext/pg_query/include/nodes/bitmapset.h +11 -7
  180. data/ext/pg_query/include/nodes/execnodes.h +83 -30
  181. data/ext/pg_query/include/nodes/extensible.h +5 -3
  182. data/ext/pg_query/include/nodes/lockoptions.h +1 -1
  183. data/ext/pg_query/include/nodes/makefuncs.h +14 -2
  184. data/ext/pg_query/include/nodes/memnodes.h +7 -4
  185. data/ext/pg_query/include/nodes/miscnodes.h +56 -0
  186. data/ext/pg_query/include/nodes/nodeFuncs.h +89 -29
  187. data/ext/pg_query/include/nodes/nodes.h +95 -510
  188. data/ext/pg_query/include/nodes/nodetags.h +471 -0
  189. data/ext/pg_query/include/nodes/params.h +3 -3
  190. data/ext/pg_query/include/nodes/parsenodes.h +377 -139
  191. data/ext/pg_query/include/nodes/pathnodes.h +1090 -440
  192. data/ext/pg_query/include/nodes/pg_list.h +30 -7
  193. data/ext/pg_query/include/nodes/plannodes.h +367 -124
  194. data/ext/pg_query/include/nodes/primnodes.h +670 -222
  195. data/ext/pg_query/include/nodes/print.h +1 -1
  196. data/ext/pg_query/include/{utils → nodes}/queryjumble.h +5 -7
  197. data/ext/pg_query/include/nodes/replnodes.h +111 -0
  198. data/ext/pg_query/include/nodes/supportnodes.h +346 -0
  199. data/ext/pg_query/include/nodes/tidbitmap.h +1 -1
  200. data/ext/pg_query/include/nodes/value.h +12 -2
  201. data/ext/pg_query/include/optimizer/cost.h +6 -4
  202. data/ext/pg_query/include/optimizer/geqo.h +1 -1
  203. data/ext/pg_query/include/optimizer/geqo_gene.h +1 -1
  204. data/ext/pg_query/include/optimizer/optimizer.h +8 -8
  205. data/ext/pg_query/include/optimizer/paths.h +16 -7
  206. data/ext/pg_query/include/optimizer/planmain.h +3 -6
  207. data/ext/pg_query/include/parser/analyze.h +4 -3
  208. data/ext/pg_query/include/parser/kwlist.h +12 -1
  209. data/ext/pg_query/include/parser/parse_agg.h +4 -2
  210. data/ext/pg_query/include/parser/parse_coerce.h +3 -1
  211. data/ext/pg_query/include/parser/parse_expr.h +1 -1
  212. data/ext/pg_query/include/parser/parse_func.h +1 -1
  213. data/ext/pg_query/include/parser/parse_node.h +22 -4
  214. data/ext/pg_query/include/parser/parse_oper.h +3 -3
  215. data/ext/pg_query/include/parser/parse_relation.h +8 -3
  216. data/ext/pg_query/include/parser/parse_type.h +4 -3
  217. data/ext/pg_query/include/parser/parser.h +1 -1
  218. data/ext/pg_query/include/parser/parsetree.h +1 -1
  219. data/ext/pg_query/include/parser/scanner.h +2 -2
  220. data/ext/pg_query/include/parser/scansup.h +1 -1
  221. data/ext/pg_query/include/partitioning/partdefs.h +1 -1
  222. data/ext/pg_query/include/pg_config.h +23 -217
  223. data/ext/pg_query/include/pg_config_manual.h +8 -46
  224. data/ext/pg_query/include/pg_getopt.h +1 -1
  225. data/ext/pg_query/include/pg_query.h +27 -3
  226. data/ext/pg_query/include/pg_query_enum_defs.c +311 -149
  227. data/ext/pg_query/include/pg_query_fingerprint_conds.c +545 -489
  228. data/ext/pg_query/include/pg_query_fingerprint_defs.c +5092 -4432
  229. data/ext/pg_query/include/pg_query_outfuncs_conds.c +385 -343
  230. data/ext/pg_query/include/pg_query_outfuncs_defs.c +1294 -1161
  231. data/ext/pg_query/include/pg_query_readfuncs_conds.c +137 -123
  232. data/ext/pg_query/include/pg_query_readfuncs_defs.c +1657 -1496
  233. data/ext/pg_query/include/pg_trace.h +1 -1
  234. data/ext/pg_query/include/pgstat.h +172 -93
  235. data/ext/pg_query/include/pgtime.h +3 -3
  236. data/ext/pg_query/include/pl_gram.h +64 -62
  237. data/ext/pg_query/include/pl_reserved_kwlist.h +1 -1
  238. data/ext/pg_query/include/pl_reserved_kwlist_d.h +1 -1
  239. data/ext/pg_query/include/pl_unreserved_kwlist.h +2 -1
  240. data/ext/pg_query/include/pl_unreserved_kwlist_d.h +48 -46
  241. data/ext/pg_query/include/plpgsql.h +17 -22
  242. data/ext/pg_query/include/port/atomics/arch-arm.h +3 -3
  243. data/ext/pg_query/include/port/atomics/arch-ppc.h +21 -21
  244. data/ext/pg_query/include/port/atomics/arch-x86.h +2 -2
  245. data/ext/pg_query/include/port/atomics/fallback.h +3 -3
  246. data/ext/pg_query/include/port/atomics/generic-gcc.h +1 -1
  247. data/ext/pg_query/include/port/atomics/generic.h +1 -1
  248. data/ext/pg_query/include/port/atomics.h +2 -7
  249. data/ext/pg_query/include/port/pg_bitutils.h +62 -25
  250. data/ext/pg_query/include/port/pg_bswap.h +1 -1
  251. data/ext/pg_query/include/port/pg_crc32c.h +1 -1
  252. data/ext/pg_query/include/port/simd.h +375 -0
  253. data/ext/pg_query/include/port.h +42 -75
  254. data/ext/pg_query/include/portability/instr_time.h +81 -140
  255. data/ext/pg_query/include/postgres.h +205 -434
  256. data/ext/pg_query/include/postgres_ext.h +0 -1
  257. data/ext/pg_query/include/postmaster/autovacuum.h +1 -4
  258. data/ext/pg_query/include/postmaster/auxprocess.h +1 -1
  259. data/ext/pg_query/include/postmaster/bgworker.h +2 -2
  260. data/ext/pg_query/include/postmaster/bgworker_internals.h +1 -1
  261. data/ext/pg_query/include/postmaster/bgwriter.h +2 -2
  262. data/ext/pg_query/include/postmaster/fork_process.h +1 -1
  263. data/ext/pg_query/include/postmaster/interrupt.h +1 -1
  264. data/ext/pg_query/include/postmaster/pgarch.h +1 -38
  265. data/ext/pg_query/include/postmaster/postmaster.h +5 -2
  266. data/ext/pg_query/include/postmaster/startup.h +3 -1
  267. data/ext/pg_query/include/postmaster/syslogger.h +2 -2
  268. data/ext/pg_query/include/postmaster/walwriter.h +3 -1
  269. data/ext/pg_query/include/protobuf/pg_query.pb-c.h +6186 -5585
  270. data/ext/pg_query/include/protobuf/pg_query.pb.h +112443 -91222
  271. data/ext/pg_query/include/regex/regex.h +9 -6
  272. data/ext/pg_query/include/replication/logicallauncher.h +6 -1
  273. data/ext/pg_query/include/replication/logicalproto.h +30 -10
  274. data/ext/pg_query/include/replication/logicalworker.h +14 -1
  275. data/ext/pg_query/include/replication/origin.h +4 -4
  276. data/ext/pg_query/include/replication/reorderbuffer.h +113 -45
  277. data/ext/pg_query/include/replication/slot.h +25 -6
  278. data/ext/pg_query/include/replication/syncrep.h +2 -8
  279. data/ext/pg_query/include/replication/walreceiver.h +15 -9
  280. data/ext/pg_query/include/replication/walsender.h +13 -13
  281. data/ext/pg_query/include/rewrite/prs2lock.h +1 -1
  282. data/ext/pg_query/include/rewrite/rewriteHandler.h +1 -4
  283. data/ext/pg_query/include/rewrite/rewriteManip.h +11 -2
  284. data/ext/pg_query/include/rewrite/rewriteSupport.h +1 -1
  285. data/ext/pg_query/include/src_backend_nodes_copyfuncs.funcs.c +5321 -0
  286. data/ext/pg_query/include/src_backend_nodes_equalfuncs.funcs.c +3354 -0
  287. data/ext/pg_query/include/storage/backendid.h +1 -1
  288. data/ext/pg_query/include/storage/block.h +24 -31
  289. data/ext/pg_query/include/storage/buf.h +1 -1
  290. data/ext/pg_query/include/storage/bufmgr.h +183 -87
  291. data/ext/pg_query/include/storage/bufpage.h +146 -93
  292. data/ext/pg_query/include/storage/condition_variable.h +2 -2
  293. data/ext/pg_query/include/storage/dsm.h +3 -6
  294. data/ext/pg_query/include/storage/dsm_impl.h +4 -1
  295. data/ext/pg_query/include/storage/fd.h +24 -20
  296. data/ext/pg_query/include/storage/fileset.h +1 -1
  297. data/ext/pg_query/include/storage/ipc.h +1 -1
  298. data/ext/pg_query/include/storage/item.h +1 -1
  299. data/ext/pg_query/include/storage/itemid.h +1 -1
  300. data/ext/pg_query/include/storage/itemptr.h +94 -57
  301. data/ext/pg_query/include/storage/large_object.h +1 -1
  302. data/ext/pg_query/include/storage/latch.h +9 -1
  303. data/ext/pg_query/include/storage/lmgr.h +6 -1
  304. data/ext/pg_query/include/storage/lock.h +21 -13
  305. data/ext/pg_query/include/storage/lockdefs.h +3 -3
  306. data/ext/pg_query/include/storage/lwlock.h +16 -2
  307. data/ext/pg_query/include/storage/off.h +1 -1
  308. data/ext/pg_query/include/storage/pg_sema.h +1 -1
  309. data/ext/pg_query/include/storage/pg_shmem.h +1 -1
  310. data/ext/pg_query/include/storage/pmsignal.h +1 -1
  311. data/ext/pg_query/include/storage/predicate.h +2 -2
  312. data/ext/pg_query/include/storage/proc.h +22 -17
  313. data/ext/pg_query/include/storage/procarray.h +3 -2
  314. data/ext/pg_query/include/storage/proclist_types.h +1 -1
  315. data/ext/pg_query/include/storage/procsignal.h +3 -1
  316. data/ext/pg_query/include/storage/relfilelocator.h +99 -0
  317. data/ext/pg_query/include/storage/s_lock.h +66 -309
  318. data/ext/pg_query/include/storage/sharedfileset.h +1 -1
  319. data/ext/pg_query/include/storage/shm_mq.h +1 -1
  320. data/ext/pg_query/include/storage/shm_toc.h +1 -1
  321. data/ext/pg_query/include/storage/shmem.h +1 -23
  322. data/ext/pg_query/include/storage/sinval.h +3 -3
  323. data/ext/pg_query/include/storage/sinvaladt.h +4 -2
  324. data/ext/pg_query/include/storage/smgr.h +12 -10
  325. data/ext/pg_query/include/storage/spin.h +1 -1
  326. data/ext/pg_query/include/storage/standby.h +9 -8
  327. data/ext/pg_query/include/storage/standbydefs.h +1 -1
  328. data/ext/pg_query/include/storage/sync.h +3 -3
  329. data/ext/pg_query/include/tcop/cmdtag.h +7 -2
  330. data/ext/pg_query/include/tcop/cmdtaglist.h +1 -1
  331. data/ext/pg_query/include/tcop/deparse_utility.h +1 -1
  332. data/ext/pg_query/include/tcop/dest.h +1 -3
  333. data/ext/pg_query/include/tcop/fastpath.h +1 -1
  334. data/ext/pg_query/include/tcop/pquery.h +1 -1
  335. data/ext/pg_query/include/tcop/tcopprot.h +1 -4
  336. data/ext/pg_query/include/tcop/utility.h +1 -1
  337. data/ext/pg_query/include/tsearch/ts_cache.h +2 -4
  338. data/ext/pg_query/include/utils/acl.h +26 -81
  339. data/ext/pg_query/include/utils/aclchk_internal.h +1 -1
  340. data/ext/pg_query/include/utils/array.h +19 -1
  341. data/ext/pg_query/include/utils/backend_progress.h +2 -1
  342. data/ext/pg_query/include/utils/backend_status.h +24 -3
  343. data/ext/pg_query/include/utils/builtins.h +14 -5
  344. data/ext/pg_query/include/utils/bytea.h +1 -1
  345. data/ext/pg_query/include/utils/catcache.h +1 -1
  346. data/ext/pg_query/include/utils/date.h +37 -9
  347. data/ext/pg_query/include/utils/datetime.h +41 -21
  348. data/ext/pg_query/include/utils/datum.h +1 -1
  349. data/ext/pg_query/include/utils/dsa.h +5 -1
  350. data/ext/pg_query/include/utils/elog.h +101 -26
  351. data/ext/pg_query/include/utils/expandeddatum.h +14 -3
  352. data/ext/pg_query/include/utils/expandedrecord.h +14 -4
  353. data/ext/pg_query/include/utils/float.h +7 -6
  354. data/ext/pg_query/include/utils/fmgroids.h +54 -1
  355. data/ext/pg_query/include/utils/fmgrprotos.h +45 -3
  356. data/ext/pg_query/include/utils/fmgrtab.h +1 -1
  357. data/ext/pg_query/include/utils/guc.h +55 -82
  358. data/ext/pg_query/include/utils/guc_hooks.h +163 -0
  359. data/ext/pg_query/include/utils/guc_tables.h +49 -3
  360. data/ext/pg_query/include/utils/hsearch.h +1 -1
  361. data/ext/pg_query/include/utils/inval.h +3 -3
  362. data/ext/pg_query/include/utils/logtape.h +77 -0
  363. data/ext/pg_query/include/utils/lsyscache.h +5 -1
  364. data/ext/pg_query/include/utils/memdebug.h +1 -1
  365. data/ext/pg_query/include/utils/memutils.h +5 -49
  366. data/ext/pg_query/include/utils/memutils_internal.h +136 -0
  367. data/ext/pg_query/include/utils/memutils_memorychunk.h +237 -0
  368. data/ext/pg_query/include/utils/numeric.h +20 -5
  369. data/ext/pg_query/include/utils/palloc.h +8 -1
  370. data/ext/pg_query/include/utils/partcache.h +3 -2
  371. data/ext/pg_query/include/utils/pg_locale.h +22 -14
  372. data/ext/pg_query/include/utils/pgstat_internal.h +37 -7
  373. data/ext/pg_query/include/utils/pidfile.h +1 -1
  374. data/ext/pg_query/include/utils/plancache.h +1 -1
  375. data/ext/pg_query/include/utils/portal.h +1 -1
  376. data/ext/pg_query/include/utils/probes.h +6 -6
  377. data/ext/pg_query/include/utils/ps_status.h +23 -1
  378. data/ext/pg_query/include/utils/queryenvironment.h +1 -1
  379. data/ext/pg_query/include/utils/regproc.h +3 -3
  380. data/ext/pg_query/include/utils/rel.h +60 -43
  381. data/ext/pg_query/include/utils/relcache.h +13 -8
  382. data/ext/pg_query/include/utils/reltrigger.h +1 -1
  383. data/ext/pg_query/include/utils/resowner.h +1 -1
  384. data/ext/pg_query/include/utils/ruleutils.h +6 -1
  385. data/ext/pg_query/include/utils/sharedtuplestore.h +1 -1
  386. data/ext/pg_query/include/utils/snapmgr.h +4 -2
  387. data/ext/pg_query/include/utils/snapshot.h +1 -1
  388. data/ext/pg_query/include/utils/sortsupport.h +2 -2
  389. data/ext/pg_query/include/utils/syscache.h +4 -1
  390. data/ext/pg_query/include/utils/timeout.h +1 -1
  391. data/ext/pg_query/include/utils/timestamp.h +41 -11
  392. data/ext/pg_query/include/utils/tuplesort.h +189 -35
  393. data/ext/pg_query/include/utils/tuplestore.h +1 -1
  394. data/ext/pg_query/include/utils/typcache.h +1 -1
  395. data/ext/pg_query/include/utils/varlena.h +13 -1
  396. data/ext/pg_query/include/utils/wait_event.h +9 -4
  397. data/ext/pg_query/include/utils/xml.h +15 -5
  398. data/ext/pg_query/include/varatt.h +358 -0
  399. data/ext/pg_query/pg_query.c +1 -1
  400. data/ext/pg_query/pg_query.pb-c.c +19755 -17757
  401. data/ext/pg_query/pg_query_fingerprint.c +8 -3
  402. data/ext/pg_query/pg_query_fingerprint.h +1 -1
  403. data/ext/pg_query/pg_query_internal.h +1 -1
  404. data/ext/pg_query/pg_query_json_plpgsql.c +1 -0
  405. data/ext/pg_query/pg_query_normalize.c +1 -1
  406. data/ext/pg_query/pg_query_outfuncs_protobuf.c +2 -2
  407. data/ext/pg_query/pg_query_parse.c +46 -4
  408. data/ext/pg_query/pg_query_parse_plpgsql.c +1 -1
  409. data/ext/pg_query/pg_query_scan.c +1 -1
  410. data/ext/pg_query/pg_query_split.c +2 -2
  411. data/ext/pg_query/postgres_deparse.c +511 -109
  412. data/ext/pg_query/src_backend_catalog_namespace.c +7 -2
  413. data/ext/pg_query/src_backend_catalog_pg_proc.c +1 -1
  414. data/ext/pg_query/src_backend_commands_define.c +1 -1
  415. data/ext/pg_query/src_backend_nodes_bitmapset.c +11 -70
  416. data/ext/pg_query/src_backend_nodes_copyfuncs.c +96 -6202
  417. data/ext/pg_query/src_backend_nodes_equalfuncs.c +95 -4068
  418. data/ext/pg_query/src_backend_nodes_extensible.c +6 -29
  419. data/ext/pg_query/src_backend_nodes_list.c +14 -2
  420. data/ext/pg_query/src_backend_nodes_makefuncs.c +95 -1
  421. data/ext/pg_query/src_backend_nodes_nodeFuncs.c +283 -132
  422. data/ext/pg_query/src_backend_nodes_value.c +1 -1
  423. data/ext/pg_query/src_backend_parser_gram.c +33208 -31806
  424. data/ext/pg_query/src_backend_parser_parser.c +28 -2
  425. data/ext/pg_query/src_backend_parser_scan.c +4318 -3329
  426. data/ext/pg_query/src_backend_parser_scansup.c +1 -1
  427. data/ext/pg_query/src_backend_postmaster_postmaster.c +129 -110
  428. data/ext/pg_query/src_backend_storage_ipc_ipc.c +1 -1
  429. data/ext/pg_query/src_backend_tcop_postgres.c +66 -87
  430. data/ext/pg_query/src_backend_utils_activity_pgstat_database.c +1 -1
  431. data/ext/pg_query/src_backend_utils_adt_datum.c +5 -7
  432. data/ext/pg_query/src_backend_utils_adt_expandeddatum.c +1 -1
  433. data/ext/pg_query/src_backend_utils_adt_format_type.c +1 -1
  434. data/ext/pg_query/src_backend_utils_adt_numutils.c +489 -0
  435. data/ext/pg_query/src_backend_utils_adt_ruleutils.c +79 -5
  436. data/ext/pg_query/src_backend_utils_error_assert.c +4 -7
  437. data/ext/pg_query/src_backend_utils_error_elog.c +354 -97
  438. data/ext/pg_query/src_backend_utils_fmgr_fmgr.c +33 -1
  439. data/ext/pg_query/src_backend_utils_init_globals.c +5 -2
  440. data/ext/pg_query/src_backend_utils_mb_mbutils.c +13 -4
  441. data/ext/pg_query/src_backend_utils_misc_guc_tables.c +494 -0
  442. data/ext/pg_query/src_backend_utils_mmgr_alignedalloc.c +163 -0
  443. data/ext/pg_query/src_backend_utils_mmgr_aset.c +449 -312
  444. data/ext/pg_query/src_backend_utils_mmgr_generation.c +1039 -0
  445. data/ext/pg_query/src_backend_utils_mmgr_mcxt.c +398 -49
  446. data/ext/pg_query/src_backend_utils_mmgr_slab.c +1021 -0
  447. data/ext/pg_query/src_common_encnames.c +4 -1
  448. data/ext/pg_query/src_common_hashfn.c +1 -1
  449. data/ext/pg_query/src_common_keywords.c +1 -1
  450. data/ext/pg_query/src_common_kwlist_d.h +534 -510
  451. data/ext/pg_query/src_common_kwlookup.c +1 -1
  452. data/ext/pg_query/src_common_psprintf.c +1 -1
  453. data/ext/pg_query/src_common_stringinfo.c +4 -4
  454. data/ext/pg_query/src_common_wchar.c +9 -8
  455. data/ext/pg_query/src_pl_plpgsql_src_pl_comp.c +1 -1
  456. data/ext/pg_query/src_pl_plpgsql_src_pl_funcs.c +3 -1
  457. data/ext/pg_query/src_pl_plpgsql_src_pl_gram.c +661 -694
  458. data/ext/pg_query/src_pl_plpgsql_src_pl_handler.c +1 -1
  459. data/ext/pg_query/src_pl_plpgsql_src_pl_reserved_kwlist_d.h +1 -1
  460. data/ext/pg_query/src_pl_plpgsql_src_pl_scanner.c +1 -1
  461. data/ext/pg_query/src_pl_plpgsql_src_pl_unreserved_kwlist_d.h +48 -46
  462. data/ext/pg_query/src_port_pg_bitutils.c +1 -1
  463. data/ext/pg_query/src_port_pgstrcasecmp.c +29 -1
  464. data/ext/pg_query/src_port_snprintf.c +3 -7
  465. data/ext/pg_query/src_port_strerror.c +1 -1
  466. data/ext/pg_query/src_port_strnlen.c +1 -1
  467. data/lib/pg_query/pg_query_pb.rb +166 -3191
  468. data/lib/pg_query/treewalker.rb +7 -2
  469. data/lib/pg_query/version.rb +1 -1
  470. metadata +43 -24
  471. data/ext/pg_query/include/catalog/pg_parameter_acl.h +0 -60
  472. data/ext/pg_query/include/catalog/pg_parameter_acl_d.h +0 -34
  473. data/ext/pg_query/include/commands/variable.h +0 -38
  474. data/ext/pg_query/include/getaddrinfo.h +0 -162
  475. data/ext/pg_query/include/parser/gram.h +0 -1101
  476. data/ext/pg_query/include/storage/relfilenode.h +0 -99
  477. data/ext/pg_query/include/utils/dynahash.h +0 -20
  478. data/ext/pg_query/include/utils/pg_lsn.h +0 -29
  479. data/ext/pg_query/include/utils/rls.h +0 -50
  480. data/ext/pg_query/include/utils/tzparser.h +0 -39
  481. data/ext/pg_query/src_backend_storage_lmgr_s_lock.c +0 -371
  482. data/ext/pg_query/src_backend_utils_hash_dynahash.c +0 -1116
  483. data/ext/pg_query/src_backend_utils_misc_guc.c +0 -1993
  484. data/ext/pg_query/src_common_pg_prng.c +0 -152
  485. data/ext/pg_query/src_common_string.c +0 -92
  486. data/ext/pg_query/src_port_pgsleep.c +0 -69
@@ -0,0 +1,1039 @@
1
+ /*--------------------------------------------------------------------
2
+ * Symbols referenced in this file:
3
+ * - GenerationAlloc
4
+ * - GenerationBlockFreeBytes
5
+ * - GenerationBlockIsEmpty
6
+ * - GenerationBlockInit
7
+ * - GenerationFree
8
+ * - GenerationBlockMarkEmpty
9
+ * - GenerationRealloc
10
+ * - GenerationReset
11
+ * - GenerationBlockFree
12
+ * - GenerationDelete
13
+ * - GenerationGetChunkContext
14
+ * - GenerationGetChunkSpace
15
+ * - GenerationIsEmpty
16
+ * - GenerationStats
17
+ * - GenerationCheck
18
+ *--------------------------------------------------------------------
19
+ */
20
+
21
+ /*-------------------------------------------------------------------------
22
+ *
23
+ * generation.c
24
+ * Generational allocator definitions.
25
+ *
26
+ * Generation is a custom MemoryContext implementation designed for cases of
27
+ * chunks with similar lifespan.
28
+ *
29
+ * Portions Copyright (c) 2017-2023, PostgreSQL Global Development Group
30
+ *
31
+ * IDENTIFICATION
32
+ * src/backend/utils/mmgr/generation.c
33
+ *
34
+ *
35
+ * This memory context is based on the assumption that the chunks are freed
36
+ * roughly in the same order as they were allocated (FIFO), or in groups with
37
+ * similar lifespan (generations - hence the name of the context). This is
38
+ * typical for various queue-like use cases, i.e. when tuples are constructed,
39
+ * processed and then thrown away.
40
+ *
41
+ * The memory context uses a very simple approach to free space management.
42
+ * Instead of a complex global freelist, each block tracks a number
43
+ * of allocated and freed chunks. The block is classed as empty when the
44
+ * number of free chunks is equal to the number of allocated chunks. When
45
+ * this occurs, instead of freeing the block, we try to "recycle" it, i.e.
46
+ * reuse it for new allocations. This is done by setting the block in the
47
+ * context's 'freeblock' field. If the freeblock field is already occupied
48
+ * by another free block we simply return the newly empty block to malloc.
49
+ *
50
+ * This approach to free blocks requires fewer malloc/free calls for truly
51
+ * first allocated, first free'd allocation patterns.
52
+ *
53
+ *-------------------------------------------------------------------------
54
+ */
55
+
56
+ #include "postgres.h"
57
+
58
+ #include "lib/ilist.h"
59
+ #include "port/pg_bitutils.h"
60
+ #include "utils/memdebug.h"
61
+ #include "utils/memutils.h"
62
+ #include "utils/memutils_memorychunk.h"
63
+ #include "utils/memutils_internal.h"
64
+
65
+
66
+ #define Generation_BLOCKHDRSZ MAXALIGN(sizeof(GenerationBlock))
67
+ #define Generation_CHUNKHDRSZ sizeof(MemoryChunk)
68
+
69
+ #define Generation_CHUNK_FRACTION 8
70
+
71
+ typedef struct GenerationBlock GenerationBlock; /* forward reference */
72
+
73
+ typedef void *GenerationPointer;
74
+
75
+ /*
76
+ * GenerationContext is a simple memory context not reusing allocated chunks,
77
+ * and freeing blocks once all chunks are freed.
78
+ */
79
+ typedef struct GenerationContext
80
+ {
81
+ MemoryContextData header; /* Standard memory-context fields */
82
+
83
+ /* Generational context parameters */
84
+ Size initBlockSize; /* initial block size */
85
+ Size maxBlockSize; /* maximum block size */
86
+ Size nextBlockSize; /* next block size to allocate */
87
+ Size allocChunkLimit; /* effective chunk size limit */
88
+
89
+ GenerationBlock *block; /* current (most recently allocated) block, or
90
+ * NULL if we've just freed the most recent
91
+ * block */
92
+ GenerationBlock *freeblock; /* pointer to a block that's being recycled,
93
+ * or NULL if there's no such block. */
94
+ GenerationBlock *keeper; /* keep this block over resets */
95
+ dlist_head blocks; /* list of blocks */
96
+ } GenerationContext;
97
+
98
+ /*
99
+ * GenerationBlock
100
+ * GenerationBlock is the unit of memory that is obtained by generation.c
101
+ * from malloc(). It contains zero or more MemoryChunks, which are the
102
+ * units requested by palloc() and freed by pfree(). MemoryChunks cannot
103
+ * be returned to malloc() individually, instead pfree() updates the free
104
+ * counter of the block and when all chunks in a block are free the whole
105
+ * block can be returned to malloc().
106
+ *
107
+ * GenerationBlock is the header data for a block --- the usable space
108
+ * within the block begins at the next alignment boundary.
109
+ */
110
+ struct GenerationBlock
111
+ {
112
+ dlist_node node; /* doubly-linked list of blocks */
113
+ GenerationContext *context; /* pointer back to the owning context */
114
+ Size blksize; /* allocated size of this block */
115
+ int nchunks; /* number of chunks in the block */
116
+ int nfree; /* number of free chunks */
117
+ char *freeptr; /* start of free space in this block */
118
+ char *endptr; /* end of space in this block */
119
+ };
120
+
121
+ /*
122
+ * GenerationIsValid
123
+ * True iff set is valid generation set.
124
+ */
125
+ #define GenerationIsValid(set) \
126
+ (PointerIsValid(set) && IsA(set, GenerationContext))
127
+
128
+ /*
129
+ * GenerationBlockIsValid
130
+ * True iff block is valid block of generation set.
131
+ */
132
+ #define GenerationBlockIsValid(block) \
133
+ (PointerIsValid(block) && GenerationIsValid((block)->context))
134
+
135
+ /*
136
+ * We always store external chunks on a dedicated block. This makes fetching
137
+ * the block from an external chunk easy since it's always the first and only
138
+ * chunk on the block.
139
+ */
140
+ #define ExternalChunkGetBlock(chunk) \
141
+ (GenerationBlock *) ((char *) chunk - Generation_BLOCKHDRSZ)
142
+
143
+ /* Inlined helper functions */
144
+ static inline void GenerationBlockInit(GenerationContext *context,
145
+ GenerationBlock *block,
146
+ Size blksize);
147
+ static inline bool GenerationBlockIsEmpty(GenerationBlock *block);
148
+ static inline void GenerationBlockMarkEmpty(GenerationBlock *block);
149
+ static inline Size GenerationBlockFreeBytes(GenerationBlock *block);
150
+ static inline void GenerationBlockFree(GenerationContext *set,
151
+ GenerationBlock *block);
152
+
153
+
154
+ /*
155
+ * Public routines
156
+ */
157
+
158
+
159
+ /*
160
+ * GenerationContextCreate
161
+ * Create a new Generation context.
162
+ *
163
+ * parent: parent context, or NULL if top-level context
164
+ * name: name of context (must be statically allocated)
165
+ * minContextSize: minimum context size
166
+ * initBlockSize: initial allocation block size
167
+ * maxBlockSize: maximum allocation block size
168
+ */
169
+
170
+
171
+ /*
172
+ * GenerationReset
173
+ * Frees all memory which is allocated in the given set.
174
+ *
175
+ * The code simply frees all the blocks in the context - we don't keep any
176
+ * keeper blocks or anything like that.
177
+ */
178
+ void
179
+ GenerationReset(MemoryContext context)
180
+ {
181
+ GenerationContext *set = (GenerationContext *) context;
182
+ dlist_mutable_iter miter;
183
+
184
+ Assert(GenerationIsValid(set));
185
+
186
+ #ifdef MEMORY_CONTEXT_CHECKING
187
+ /* Check for corruption and leaks before freeing */
188
+ GenerationCheck(context);
189
+ #endif
190
+
191
+ /*
192
+ * NULLify the free block pointer. We must do this before calling
193
+ * GenerationBlockFree as that function never expects to free the
194
+ * freeblock.
195
+ */
196
+ set->freeblock = NULL;
197
+
198
+ dlist_foreach_modify(miter, &set->blocks)
199
+ {
200
+ GenerationBlock *block = dlist_container(GenerationBlock, node, miter.cur);
201
+
202
+ if (block == set->keeper)
203
+ GenerationBlockMarkEmpty(block);
204
+ else
205
+ GenerationBlockFree(set, block);
206
+ }
207
+
208
+ /* set it so new allocations to make use of the keeper block */
209
+ set->block = set->keeper;
210
+
211
+ /* Reset block size allocation sequence, too */
212
+ set->nextBlockSize = set->initBlockSize;
213
+
214
+ /* Ensure there is only 1 item in the dlist */
215
+ Assert(!dlist_is_empty(&set->blocks));
216
+ Assert(!dlist_has_next(&set->blocks, dlist_head_node(&set->blocks)));
217
+ }
218
+
219
+ /*
220
+ * GenerationDelete
221
+ * Free all memory which is allocated in the given context.
222
+ */
223
+ void
224
+ GenerationDelete(MemoryContext context)
225
+ {
226
+ /* Reset to release all releasable GenerationBlocks */
227
+ GenerationReset(context);
228
+ /* And free the context header and keeper block */
229
+ free(context);
230
+ }
231
+
232
+ /*
233
+ * GenerationAlloc
234
+ * Returns pointer to allocated memory of given size or NULL if
235
+ * request could not be completed; memory is added to the set.
236
+ *
237
+ * No request may exceed:
238
+ * MAXALIGN_DOWN(SIZE_MAX) - Generation_BLOCKHDRSZ - Generation_CHUNKHDRSZ
239
+ * All callers use a much-lower limit.
240
+ *
241
+ * Note: when using valgrind, it doesn't matter how the returned allocation
242
+ * is marked, as mcxt.c will set it to UNDEFINED. In some paths we will
243
+ * return space that is marked NOACCESS - GenerationRealloc has to beware!
244
+ */
245
+ void *
246
+ GenerationAlloc(MemoryContext context, Size size)
247
+ {
248
+ GenerationContext *set = (GenerationContext *) context;
249
+ GenerationBlock *block;
250
+ MemoryChunk *chunk;
251
+ Size chunk_size;
252
+ Size required_size;
253
+
254
+ Assert(GenerationIsValid(set));
255
+
256
+ #ifdef MEMORY_CONTEXT_CHECKING
257
+ /* ensure there's always space for the sentinel byte */
258
+ chunk_size = MAXALIGN(size + 1);
259
+ #else
260
+ chunk_size = MAXALIGN(size);
261
+ #endif
262
+ required_size = chunk_size + Generation_CHUNKHDRSZ;
263
+
264
+ /* is it an over-sized chunk? if yes, allocate special block */
265
+ if (chunk_size > set->allocChunkLimit)
266
+ {
267
+ Size blksize = required_size + Generation_BLOCKHDRSZ;
268
+
269
+ block = (GenerationBlock *) malloc(blksize);
270
+ if (block == NULL)
271
+ return NULL;
272
+
273
+ context->mem_allocated += blksize;
274
+
275
+ /* block with a single (used) chunk */
276
+ block->context = set;
277
+ block->blksize = blksize;
278
+ block->nchunks = 1;
279
+ block->nfree = 0;
280
+
281
+ /* the block is completely full */
282
+ block->freeptr = block->endptr = ((char *) block) + blksize;
283
+
284
+ chunk = (MemoryChunk *) (((char *) block) + Generation_BLOCKHDRSZ);
285
+
286
+ /* mark the MemoryChunk as externally managed */
287
+ MemoryChunkSetHdrMaskExternal(chunk, MCTX_GENERATION_ID);
288
+
289
+ #ifdef MEMORY_CONTEXT_CHECKING
290
+ chunk->requested_size = size;
291
+ /* set mark to catch clobber of "unused" space */
292
+ Assert(size < chunk_size);
293
+ set_sentinel(MemoryChunkGetPointer(chunk), size);
294
+ #endif
295
+ #ifdef RANDOMIZE_ALLOCATED_MEMORY
296
+ /* fill the allocated space with junk */
297
+ randomize_mem((char *) MemoryChunkGetPointer(chunk), size);
298
+ #endif
299
+
300
+ /* add the block to the list of allocated blocks */
301
+ dlist_push_head(&set->blocks, &block->node);
302
+
303
+ /* Ensure any padding bytes are marked NOACCESS. */
304
+ VALGRIND_MAKE_MEM_NOACCESS((char *) MemoryChunkGetPointer(chunk) + size,
305
+ chunk_size - size);
306
+
307
+ /* Disallow access to the chunk header. */
308
+ VALGRIND_MAKE_MEM_NOACCESS(chunk, Generation_CHUNKHDRSZ);
309
+
310
+ return MemoryChunkGetPointer(chunk);
311
+ }
312
+
313
+ /*
314
+ * Not an oversized chunk. We try to first make use of the current block,
315
+ * but if there's not enough space in it, instead of allocating a new
316
+ * block, we look to see if the freeblock is empty and has enough space.
317
+ * If not, we'll also try the same using the keeper block. The keeper
318
+ * block may have become empty and we have no other way to reuse it again
319
+ * if we don't try to use it explicitly here.
320
+ *
321
+ * We don't want to start filling the freeblock before the current block
322
+ * is full, otherwise we may cause fragmentation in FIFO type workloads.
323
+ * We only switch to using the freeblock or keeper block if those blocks
324
+ * are completely empty. If we didn't do that we could end up fragmenting
325
+ * consecutive allocations over multiple blocks which would be a problem
326
+ * that would compound over time.
327
+ */
328
+ block = set->block;
329
+
330
+ if (block == NULL ||
331
+ GenerationBlockFreeBytes(block) < required_size)
332
+ {
333
+ Size blksize;
334
+ GenerationBlock *freeblock = set->freeblock;
335
+
336
+ if (freeblock != NULL &&
337
+ GenerationBlockIsEmpty(freeblock) &&
338
+ GenerationBlockFreeBytes(freeblock) >= required_size)
339
+ {
340
+ block = freeblock;
341
+
342
+ /*
343
+ * Zero out the freeblock as we'll set this to the current block
344
+ * below
345
+ */
346
+ set->freeblock = NULL;
347
+ }
348
+ else if (GenerationBlockIsEmpty(set->keeper) &&
349
+ GenerationBlockFreeBytes(set->keeper) >= required_size)
350
+ {
351
+ block = set->keeper;
352
+ }
353
+ else
354
+ {
355
+ /*
356
+ * The first such block has size initBlockSize, and we double the
357
+ * space in each succeeding block, but not more than maxBlockSize.
358
+ */
359
+ blksize = set->nextBlockSize;
360
+ set->nextBlockSize <<= 1;
361
+ if (set->nextBlockSize > set->maxBlockSize)
362
+ set->nextBlockSize = set->maxBlockSize;
363
+
364
+ /* we'll need a block hdr too, so add that to the required size */
365
+ required_size += Generation_BLOCKHDRSZ;
366
+
367
+ /* round the size up to the next power of 2 */
368
+ if (blksize < required_size)
369
+ blksize = pg_nextpower2_size_t(required_size);
370
+
371
+ block = (GenerationBlock *) malloc(blksize);
372
+
373
+ if (block == NULL)
374
+ return NULL;
375
+
376
+ context->mem_allocated += blksize;
377
+
378
+ /* initialize the new block */
379
+ GenerationBlockInit(set, block, blksize);
380
+
381
+ /* add it to the doubly-linked list of blocks */
382
+ dlist_push_head(&set->blocks, &block->node);
383
+
384
+ /* Zero out the freeblock in case it's become full */
385
+ set->freeblock = NULL;
386
+ }
387
+
388
+ /* and also use it as the current allocation block */
389
+ set->block = block;
390
+ }
391
+
392
+ /* we're supposed to have a block with enough free space now */
393
+ Assert(block != NULL);
394
+ Assert((block->endptr - block->freeptr) >= Generation_CHUNKHDRSZ + chunk_size);
395
+
396
+ chunk = (MemoryChunk *) block->freeptr;
397
+
398
+ /* Prepare to initialize the chunk header. */
399
+ VALGRIND_MAKE_MEM_UNDEFINED(chunk, Generation_CHUNKHDRSZ);
400
+
401
+ block->nchunks += 1;
402
+ block->freeptr += (Generation_CHUNKHDRSZ + chunk_size);
403
+
404
+ Assert(block->freeptr <= block->endptr);
405
+
406
+ MemoryChunkSetHdrMask(chunk, block, chunk_size, MCTX_GENERATION_ID);
407
+ #ifdef MEMORY_CONTEXT_CHECKING
408
+ chunk->requested_size = size;
409
+ /* set mark to catch clobber of "unused" space */
410
+ Assert(size < chunk_size);
411
+ set_sentinel(MemoryChunkGetPointer(chunk), size);
412
+ #endif
413
+ #ifdef RANDOMIZE_ALLOCATED_MEMORY
414
+ /* fill the allocated space with junk */
415
+ randomize_mem((char *) MemoryChunkGetPointer(chunk), size);
416
+ #endif
417
+
418
+ /* Ensure any padding bytes are marked NOACCESS. */
419
+ VALGRIND_MAKE_MEM_NOACCESS((char *) MemoryChunkGetPointer(chunk) + size,
420
+ chunk_size - size);
421
+
422
+ /* Disallow access to the chunk header. */
423
+ VALGRIND_MAKE_MEM_NOACCESS(chunk, Generation_CHUNKHDRSZ);
424
+
425
+ return MemoryChunkGetPointer(chunk);
426
+ }
427
+
428
+ /*
429
+ * GenerationBlockInit
430
+ * Initializes 'block' assuming 'blksize'. Does not update the context's
431
+ * mem_allocated field.
432
+ */
433
+ static inline void
434
+ GenerationBlockInit(GenerationContext *context, GenerationBlock *block,
435
+ Size blksize)
436
+ {
437
+ block->context = context;
438
+ block->blksize = blksize;
439
+ block->nchunks = 0;
440
+ block->nfree = 0;
441
+
442
+ block->freeptr = ((char *) block) + Generation_BLOCKHDRSZ;
443
+ block->endptr = ((char *) block) + blksize;
444
+
445
+ /* Mark unallocated space NOACCESS. */
446
+ VALGRIND_MAKE_MEM_NOACCESS(block->freeptr,
447
+ blksize - Generation_BLOCKHDRSZ);
448
+ }
449
+
450
+ /*
451
+ * GenerationBlockIsEmpty
452
+ * Returns true iff 'block' contains no chunks
453
+ */
454
+ static inline bool
455
+ GenerationBlockIsEmpty(GenerationBlock *block)
456
+ {
457
+ return (block->nchunks == 0);
458
+ }
459
+
460
+ /*
461
+ * GenerationBlockMarkEmpty
462
+ * Set a block as empty. Does not free the block.
463
+ */
464
+ static inline void
465
+ GenerationBlockMarkEmpty(GenerationBlock *block)
466
+ {
467
+ #if defined(USE_VALGRIND) || defined(CLOBBER_FREED_MEMORY)
468
+ char *datastart = ((char *) block) + Generation_BLOCKHDRSZ;
469
+ #endif
470
+
471
+ #ifdef CLOBBER_FREED_MEMORY
472
+ wipe_mem(datastart, block->freeptr - datastart);
473
+ #else
474
+ /* wipe_mem() would have done this */
475
+ VALGRIND_MAKE_MEM_NOACCESS(datastart, block->freeptr - datastart);
476
+ #endif
477
+
478
+ /* Reset the block, but don't return it to malloc */
479
+ block->nchunks = 0;
480
+ block->nfree = 0;
481
+ block->freeptr = ((char *) block) + Generation_BLOCKHDRSZ;
482
+ }
483
+
484
+ /*
485
+ * GenerationBlockFreeBytes
486
+ * Returns the number of bytes free in 'block'
487
+ */
488
+ static inline Size
489
+ GenerationBlockFreeBytes(GenerationBlock *block)
490
+ {
491
+ return (block->endptr - block->freeptr);
492
+ }
493
+
494
+ /*
495
+ * GenerationBlockFree
496
+ * Remove 'block' from 'set' and release the memory consumed by it.
497
+ */
498
+ static inline void
499
+ GenerationBlockFree(GenerationContext *set, GenerationBlock *block)
500
+ {
501
+ /* Make sure nobody tries to free the keeper block */
502
+ Assert(block != set->keeper);
503
+ /* We shouldn't be freeing the freeblock either */
504
+ Assert(block != set->freeblock);
505
+
506
+ /* release the block from the list of blocks */
507
+ dlist_delete(&block->node);
508
+
509
+ ((MemoryContext) set)->mem_allocated -= block->blksize;
510
+
511
+ #ifdef CLOBBER_FREED_MEMORY
512
+ wipe_mem(block, block->blksize);
513
+ #endif
514
+
515
+ free(block);
516
+ }
517
+
518
+ /*
519
+ * GenerationFree
520
+ * Update number of chunks in the block, and if all chunks in the block
521
+ * are now free then discard the block.
522
+ */
523
+ void
524
+ GenerationFree(void *pointer)
525
+ {
526
+ MemoryChunk *chunk = PointerGetMemoryChunk(pointer);
527
+ GenerationBlock *block;
528
+ GenerationContext *set;
529
+ #if (defined(MEMORY_CONTEXT_CHECKING) && defined(USE_ASSERT_CHECKING)) \
530
+ || defined(CLOBBER_FREED_MEMORY)
531
+ Size chunksize;
532
+ #endif
533
+
534
+ /* Allow access to the chunk header. */
535
+ VALGRIND_MAKE_MEM_DEFINED(chunk, Generation_CHUNKHDRSZ);
536
+
537
+ if (MemoryChunkIsExternal(chunk))
538
+ {
539
+ block = ExternalChunkGetBlock(chunk);
540
+
541
+ /*
542
+ * Try to verify that we have a sane block pointer: the block header
543
+ * should reference a generation context.
544
+ */
545
+ if (!GenerationBlockIsValid(block))
546
+ elog(ERROR, "could not find block containing chunk %p", chunk);
547
+
548
+ #if (defined(MEMORY_CONTEXT_CHECKING) && defined(USE_ASSERT_CHECKING)) \
549
+ || defined(CLOBBER_FREED_MEMORY)
550
+ chunksize = block->endptr - (char *) pointer;
551
+ #endif
552
+ }
553
+ else
554
+ {
555
+ block = MemoryChunkGetBlock(chunk);
556
+
557
+ /*
558
+ * In this path, for speed reasons we just Assert that the referenced
559
+ * block is good. Future field experience may show that this Assert
560
+ * had better become a regular runtime test-and-elog check.
561
+ */
562
+ Assert(GenerationBlockIsValid(block));
563
+
564
+ #if (defined(MEMORY_CONTEXT_CHECKING) && defined(USE_ASSERT_CHECKING)) \
565
+ || defined(CLOBBER_FREED_MEMORY)
566
+ chunksize = MemoryChunkGetValue(chunk);
567
+ #endif
568
+ }
569
+
570
+ #ifdef MEMORY_CONTEXT_CHECKING
571
+ /* Test for someone scribbling on unused space in chunk */
572
+ Assert(chunk->requested_size < chunksize);
573
+ if (!sentinel_ok(pointer, chunk->requested_size))
574
+ elog(WARNING, "detected write past chunk end in %s %p",
575
+ ((MemoryContext) block->context)->name, chunk);
576
+ #endif
577
+
578
+ #ifdef CLOBBER_FREED_MEMORY
579
+ wipe_mem(pointer, chunksize);
580
+ #endif
581
+
582
+ #ifdef MEMORY_CONTEXT_CHECKING
583
+ /* Reset requested_size to InvalidAllocSize in freed chunks */
584
+ chunk->requested_size = InvalidAllocSize;
585
+ #endif
586
+
587
+ block->nfree += 1;
588
+
589
+ Assert(block->nchunks > 0);
590
+ Assert(block->nfree <= block->nchunks);
591
+
592
+ /* If there are still allocated chunks in the block, we're done. */
593
+ if (block->nfree < block->nchunks)
594
+ return;
595
+
596
+ set = block->context;
597
+
598
+ /* Don't try to free the keeper block, just mark it empty */
599
+ if (block == set->keeper)
600
+ {
601
+ GenerationBlockMarkEmpty(block);
602
+ return;
603
+ }
604
+
605
+ /*
606
+ * If there is no freeblock set or if this is the freeblock then instead
607
+ * of freeing this memory, we keep it around so that new allocations have
608
+ * the option of recycling it.
609
+ */
610
+ if (set->freeblock == NULL || set->freeblock == block)
611
+ {
612
+ /* XXX should we only recycle maxBlockSize sized blocks? */
613
+ set->freeblock = block;
614
+ GenerationBlockMarkEmpty(block);
615
+ return;
616
+ }
617
+
618
+ /* Also make sure the block is not marked as the current block. */
619
+ if (set->block == block)
620
+ set->block = NULL;
621
+
622
+ /*
623
+ * The block is empty, so let's get rid of it. First remove it from the
624
+ * list of blocks, then return it to malloc().
625
+ */
626
+ dlist_delete(&block->node);
627
+
628
+ set->header.mem_allocated -= block->blksize;
629
+ free(block);
630
+ }
631
+
632
+ /*
633
+ * GenerationRealloc
634
+ * When handling repalloc, we simply allocate a new chunk, copy the data
635
+ * and discard the old one. The only exception is when the new size fits
636
+ * into the old chunk - in that case we just update chunk header.
637
+ */
638
+ void *
639
+ GenerationRealloc(void *pointer, Size size)
640
+ {
641
+ MemoryChunk *chunk = PointerGetMemoryChunk(pointer);
642
+ GenerationContext *set;
643
+ GenerationBlock *block;
644
+ GenerationPointer newPointer;
645
+ Size oldsize;
646
+
647
+ /* Allow access to the chunk header. */
648
+ VALGRIND_MAKE_MEM_DEFINED(chunk, Generation_CHUNKHDRSZ);
649
+
650
+ if (MemoryChunkIsExternal(chunk))
651
+ {
652
+ block = ExternalChunkGetBlock(chunk);
653
+
654
+ /*
655
+ * Try to verify that we have a sane block pointer: the block header
656
+ * should reference a generation context.
657
+ */
658
+ if (!GenerationBlockIsValid(block))
659
+ elog(ERROR, "could not find block containing chunk %p", chunk);
660
+
661
+ oldsize = block->endptr - (char *) pointer;
662
+ }
663
+ else
664
+ {
665
+ block = MemoryChunkGetBlock(chunk);
666
+
667
+ /*
668
+ * In this path, for speed reasons we just Assert that the referenced
669
+ * block is good. Future field experience may show that this Assert
670
+ * had better become a regular runtime test-and-elog check.
671
+ */
672
+ Assert(GenerationBlockIsValid(block));
673
+
674
+ oldsize = MemoryChunkGetValue(chunk);
675
+ }
676
+
677
+ set = block->context;
678
+
679
+ #ifdef MEMORY_CONTEXT_CHECKING
680
+ /* Test for someone scribbling on unused space in chunk */
681
+ Assert(chunk->requested_size < oldsize);
682
+ if (!sentinel_ok(pointer, chunk->requested_size))
683
+ elog(WARNING, "detected write past chunk end in %s %p",
684
+ ((MemoryContext) set)->name, chunk);
685
+ #endif
686
+
687
+ /*
688
+ * Maybe the allocated area already is >= the new size. (In particular,
689
+ * we always fall out here if the requested size is a decrease.)
690
+ *
691
+ * This memory context does not use power-of-2 chunk sizing and instead
692
+ * carves the chunks to be as small as possible, so most repalloc() calls
693
+ * will end up in the palloc/memcpy/pfree branch.
694
+ *
695
+ * XXX Perhaps we should annotate this condition with unlikely()?
696
+ */
697
+ if (oldsize >= size)
698
+ {
699
+ #ifdef MEMORY_CONTEXT_CHECKING
700
+ Size oldrequest = chunk->requested_size;
701
+
702
+ #ifdef RANDOMIZE_ALLOCATED_MEMORY
703
+ /* We can only fill the extra space if we know the prior request */
704
+ if (size > oldrequest)
705
+ randomize_mem((char *) pointer + oldrequest,
706
+ size - oldrequest);
707
+ #endif
708
+
709
+ chunk->requested_size = size;
710
+
711
+ /*
712
+ * If this is an increase, mark any newly-available part UNDEFINED.
713
+ * Otherwise, mark the obsolete part NOACCESS.
714
+ */
715
+ if (size > oldrequest)
716
+ VALGRIND_MAKE_MEM_UNDEFINED((char *) pointer + oldrequest,
717
+ size - oldrequest);
718
+ else
719
+ VALGRIND_MAKE_MEM_NOACCESS((char *) pointer + size,
720
+ oldsize - size);
721
+
722
+ /* set mark to catch clobber of "unused" space */
723
+ set_sentinel(pointer, size);
724
+ #else /* !MEMORY_CONTEXT_CHECKING */
725
+
726
+ /*
727
+ * We don't have the information to determine whether we're growing
728
+ * the old request or shrinking it, so we conservatively mark the
729
+ * entire new allocation DEFINED.
730
+ */
731
+ VALGRIND_MAKE_MEM_NOACCESS(pointer, oldsize);
732
+ VALGRIND_MAKE_MEM_DEFINED(pointer, size);
733
+ #endif
734
+
735
+ /* Disallow access to the chunk header. */
736
+ VALGRIND_MAKE_MEM_NOACCESS(chunk, Generation_CHUNKHDRSZ);
737
+
738
+ return pointer;
739
+ }
740
+
741
+ /* allocate new chunk */
742
+ newPointer = GenerationAlloc((MemoryContext) set, size);
743
+
744
+ /* leave immediately if request was not completed */
745
+ if (newPointer == NULL)
746
+ {
747
+ /* Disallow access to the chunk header. */
748
+ VALGRIND_MAKE_MEM_NOACCESS(chunk, Generation_CHUNKHDRSZ);
749
+ return NULL;
750
+ }
751
+
752
+ /*
753
+ * GenerationAlloc() may have returned a region that is still NOACCESS.
754
+ * Change it to UNDEFINED for the moment; memcpy() will then transfer
755
+ * definedness from the old allocation to the new. If we know the old
756
+ * allocation, copy just that much. Otherwise, make the entire old chunk
757
+ * defined to avoid errors as we copy the currently-NOACCESS trailing
758
+ * bytes.
759
+ */
760
+ VALGRIND_MAKE_MEM_UNDEFINED(newPointer, size);
761
+ #ifdef MEMORY_CONTEXT_CHECKING
762
+ oldsize = chunk->requested_size;
763
+ #else
764
+ VALGRIND_MAKE_MEM_DEFINED(pointer, oldsize);
765
+ #endif
766
+
767
+ /* transfer existing data (certain to fit) */
768
+ memcpy(newPointer, pointer, oldsize);
769
+
770
+ /* free old chunk */
771
+ GenerationFree(pointer);
772
+
773
+ return newPointer;
774
+ }
775
+
776
+ /*
777
+ * GenerationGetChunkContext
778
+ * Return the MemoryContext that 'pointer' belongs to.
779
+ */
780
+ MemoryContext
781
+ GenerationGetChunkContext(void *pointer)
782
+ {
783
+ MemoryChunk *chunk = PointerGetMemoryChunk(pointer);
784
+ GenerationBlock *block;
785
+
786
+ /* Allow access to the chunk header. */
787
+ VALGRIND_MAKE_MEM_DEFINED(chunk, Generation_CHUNKHDRSZ);
788
+
789
+ if (MemoryChunkIsExternal(chunk))
790
+ block = ExternalChunkGetBlock(chunk);
791
+ else
792
+ block = (GenerationBlock *) MemoryChunkGetBlock(chunk);
793
+
794
+ /* Disallow access to the chunk header. */
795
+ VALGRIND_MAKE_MEM_NOACCESS(chunk, Generation_CHUNKHDRSZ);
796
+
797
+ Assert(GenerationBlockIsValid(block));
798
+ return &block->context->header;
799
+ }
800
+
801
+ /*
802
+ * GenerationGetChunkSpace
803
+ * Given a currently-allocated chunk, determine the total space
804
+ * it occupies (including all memory-allocation overhead).
805
+ */
806
+ Size
807
+ GenerationGetChunkSpace(void *pointer)
808
+ {
809
+ MemoryChunk *chunk = PointerGetMemoryChunk(pointer);
810
+ Size chunksize;
811
+
812
+ /* Allow access to the chunk header. */
813
+ VALGRIND_MAKE_MEM_DEFINED(chunk, Generation_CHUNKHDRSZ);
814
+
815
+ if (MemoryChunkIsExternal(chunk))
816
+ {
817
+ GenerationBlock *block = ExternalChunkGetBlock(chunk);
818
+
819
+ Assert(GenerationBlockIsValid(block));
820
+ chunksize = block->endptr - (char *) pointer;
821
+ }
822
+ else
823
+ chunksize = MemoryChunkGetValue(chunk);
824
+
825
+ /* Disallow access to the chunk header. */
826
+ VALGRIND_MAKE_MEM_NOACCESS(chunk, Generation_CHUNKHDRSZ);
827
+
828
+ return Generation_CHUNKHDRSZ + chunksize;
829
+ }
830
+
831
+ /*
832
+ * GenerationIsEmpty
833
+ * Is a GenerationContext empty of any allocated space?
834
+ */
835
+ bool
836
+ GenerationIsEmpty(MemoryContext context)
837
+ {
838
+ GenerationContext *set = (GenerationContext *) context;
839
+ dlist_iter iter;
840
+
841
+ Assert(GenerationIsValid(set));
842
+
843
+ dlist_foreach(iter, &set->blocks)
844
+ {
845
+ GenerationBlock *block = dlist_container(GenerationBlock, node, iter.cur);
846
+
847
+ if (block->nchunks > 0)
848
+ return false;
849
+ }
850
+
851
+ return true;
852
+ }
853
+
854
+ /*
855
+ * GenerationStats
856
+ * Compute stats about memory consumption of a Generation context.
857
+ *
858
+ * printfunc: if not NULL, pass a human-readable stats string to this.
859
+ * passthru: pass this pointer through to printfunc.
860
+ * totals: if not NULL, add stats about this context into *totals.
861
+ * print_to_stderr: print stats to stderr if true, elog otherwise.
862
+ *
863
+ * XXX freespace only accounts for empty space at the end of the block, not
864
+ * space of freed chunks (which is unknown).
865
+ */
866
+ void
867
+ GenerationStats(MemoryContext context,
868
+ MemoryStatsPrintFunc printfunc, void *passthru,
869
+ MemoryContextCounters *totals, bool print_to_stderr)
870
+ {
871
+ GenerationContext *set = (GenerationContext *) context;
872
+ Size nblocks = 0;
873
+ Size nchunks = 0;
874
+ Size nfreechunks = 0;
875
+ Size totalspace;
876
+ Size freespace = 0;
877
+ dlist_iter iter;
878
+
879
+ Assert(GenerationIsValid(set));
880
+
881
+ /* Include context header in totalspace */
882
+ totalspace = MAXALIGN(sizeof(GenerationContext));
883
+
884
+ dlist_foreach(iter, &set->blocks)
885
+ {
886
+ GenerationBlock *block = dlist_container(GenerationBlock, node, iter.cur);
887
+
888
+ nblocks++;
889
+ nchunks += block->nchunks;
890
+ nfreechunks += block->nfree;
891
+ totalspace += block->blksize;
892
+ freespace += (block->endptr - block->freeptr);
893
+ }
894
+
895
+ if (printfunc)
896
+ {
897
+ char stats_string[200];
898
+
899
+ snprintf(stats_string, sizeof(stats_string),
900
+ "%zu total in %zu blocks (%zu chunks); %zu free (%zu chunks); %zu used",
901
+ totalspace, nblocks, nchunks, freespace,
902
+ nfreechunks, totalspace - freespace);
903
+ printfunc(context, passthru, stats_string, print_to_stderr);
904
+ }
905
+
906
+ if (totals)
907
+ {
908
+ totals->nblocks += nblocks;
909
+ totals->freechunks += nfreechunks;
910
+ totals->totalspace += totalspace;
911
+ totals->freespace += freespace;
912
+ }
913
+ }
914
+
915
+
916
+ #ifdef MEMORY_CONTEXT_CHECKING
917
+
918
+ /*
919
+ * GenerationCheck
920
+ * Walk through chunks and check consistency of memory.
921
+ *
922
+ * NOTE: report errors as WARNING, *not* ERROR or FATAL. Otherwise you'll
923
+ * find yourself in an infinite loop when trouble occurs, because this
924
+ * routine will be entered again when elog cleanup tries to release memory!
925
+ */
926
+ void
927
+ GenerationCheck(MemoryContext context)
928
+ {
929
+ GenerationContext *gen = (GenerationContext *) context;
930
+ const char *name = context->name;
931
+ dlist_iter iter;
932
+ Size total_allocated = 0;
933
+
934
+ /* walk all blocks in this context */
935
+ dlist_foreach(iter, &gen->blocks)
936
+ {
937
+ GenerationBlock *block = dlist_container(GenerationBlock, node, iter.cur);
938
+ int nfree,
939
+ nchunks;
940
+ char *ptr;
941
+ bool has_external_chunk = false;
942
+
943
+ total_allocated += block->blksize;
944
+
945
+ /*
946
+ * nfree > nchunks is surely wrong. Equality is allowed as the block
947
+ * might completely empty if it's the freeblock.
948
+ */
949
+ if (block->nfree > block->nchunks)
950
+ elog(WARNING, "problem in Generation %s: number of free chunks %d in block %p exceeds %d allocated",
951
+ name, block->nfree, block, block->nchunks);
952
+
953
+ /* check block belongs to the correct context */
954
+ if (block->context != gen)
955
+ elog(WARNING, "problem in Generation %s: bogus context link in block %p",
956
+ name, block);
957
+
958
+ /* Now walk through the chunks and count them. */
959
+ nfree = 0;
960
+ nchunks = 0;
961
+ ptr = ((char *) block) + Generation_BLOCKHDRSZ;
962
+
963
+ while (ptr < block->freeptr)
964
+ {
965
+ MemoryChunk *chunk = (MemoryChunk *) ptr;
966
+ GenerationBlock *chunkblock;
967
+ Size chunksize;
968
+
969
+ /* Allow access to the chunk header. */
970
+ VALGRIND_MAKE_MEM_DEFINED(chunk, Generation_CHUNKHDRSZ);
971
+
972
+ if (MemoryChunkIsExternal(chunk))
973
+ {
974
+ chunkblock = ExternalChunkGetBlock(chunk);
975
+ chunksize = block->endptr - (char *) MemoryChunkGetPointer(chunk);
976
+ has_external_chunk = true;
977
+ }
978
+ else
979
+ {
980
+ chunkblock = MemoryChunkGetBlock(chunk);
981
+ chunksize = MemoryChunkGetValue(chunk);
982
+ }
983
+
984
+ /* move to the next chunk */
985
+ ptr += (chunksize + Generation_CHUNKHDRSZ);
986
+
987
+ nchunks += 1;
988
+
989
+ /* chunks have both block and context pointers, so check both */
990
+ if (chunkblock != block)
991
+ elog(WARNING, "problem in Generation %s: bogus block link in block %p, chunk %p",
992
+ name, block, chunk);
993
+
994
+
995
+ /* is chunk allocated? */
996
+ if (chunk->requested_size != InvalidAllocSize)
997
+ {
998
+ /* now make sure the chunk size is correct */
999
+ if (chunksize < chunk->requested_size ||
1000
+ chunksize != MAXALIGN(chunksize))
1001
+ elog(WARNING, "problem in Generation %s: bogus chunk size in block %p, chunk %p",
1002
+ name, block, chunk);
1003
+
1004
+ /* check sentinel */
1005
+ Assert(chunk->requested_size < chunksize);
1006
+ if (!sentinel_ok(chunk, Generation_CHUNKHDRSZ + chunk->requested_size))
1007
+ elog(WARNING, "problem in Generation %s: detected write past chunk end in block %p, chunk %p",
1008
+ name, block, chunk);
1009
+ }
1010
+ else
1011
+ nfree += 1;
1012
+
1013
+ /* if chunk is allocated, disallow access to the chunk header */
1014
+ if (chunk->requested_size != InvalidAllocSize)
1015
+ VALGRIND_MAKE_MEM_NOACCESS(chunk, Generation_CHUNKHDRSZ);
1016
+ }
1017
+
1018
+ /*
1019
+ * Make sure we got the expected number of allocated and free chunks
1020
+ * (as tracked in the block header).
1021
+ */
1022
+ if (nchunks != block->nchunks)
1023
+ elog(WARNING, "problem in Generation %s: number of allocated chunks %d in block %p does not match header %d",
1024
+ name, nchunks, block, block->nchunks);
1025
+
1026
+ if (nfree != block->nfree)
1027
+ elog(WARNING, "problem in Generation %s: number of free chunks %d in block %p does not match header %d",
1028
+ name, nfree, block, block->nfree);
1029
+
1030
+ if (has_external_chunk && nchunks > 1)
1031
+ elog(WARNING, "problem in Generation %s: external chunk on non-dedicated block %p",
1032
+ name, block);
1033
+
1034
+ }
1035
+
1036
+ Assert(total_allocated == context->mem_allocated);
1037
+ }
1038
+
1039
+ #endif /* MEMORY_CONTEXT_CHECKING */