diff options
| author | Tom Lane | 2017-11-24 20:50:22 +0000 |
|---|---|---|
| committer | Tom Lane | 2017-11-24 20:50:22 +0000 |
| commit | f65d21b258085bdc8ef2cc282ab1ff12da9c595c (patch) | |
| tree | 1084f9d500d2c2f098108e69fe37738e9096c139 /src/include/executor/executor.h | |
| parent | cc3c4af4a948e5c5be22afe769bab41235c574e5 (diff) | |
Mostly-cosmetic improvements in memory chunk header alignment coding.
Add commentary about what we're doing and why. Apply the method used for
padding in GenerationChunk to AllocChunkData, replacing the rather ad-hoc
solution used in commit 7e3aa03b4. Reorder fields in GenerationChunk so
that the padding calculation will work even if sizeof(size_t) is different
from sizeof(void *) --- likely that will never happen, but we don't need
the assumption if we do it like this. Improve static assertions about
alignment.
In passing, fix a couple of oversights in the "large chunk" path in
GenerationAlloc().
Discussion: https://postgr.es/m/[email protected]
Diffstat (limited to 'src/include/executor/executor.h')
0 files changed, 0 insertions, 0 deletions
