FSM rewrite: doc changes
To keep everyone who's interested up-to-date, attached is the latest
patch. The big addition is documentation. I added a section in the
"Physical Database Layout" chapter about the new FSM, and removed
references to the max_fsm_relations/pages options, plus some other small
changes.
I also moved some the one debugging function to peek into an FSM page at
low level to contrib/pageinspect, and updated the documentation of
pg_freespacemap and pageinspect to match the code.
I find it a bit disturbing that a documentation patch actually removes
more lines from the manual than adds, but it's quite understandable
because it's no longer necessary to explain the two GUC options that
used to be quite important :-). Comments welcome.
--
Heikki Linnakangas
EnterpriseDB http://www.enterprisedb.com
Attachments:
fsm-nowal-3.patch.gzapplication/x-gzip; name=fsm-nowal-3.patch.gzDownload
�;��H fsm-nowal-3.patch �<kw�F���W�u�\�y?�=�p��x��m����'�#�k-$������U��RK�L&����d�������n,{:e�����0=7��Ica���n��k��Om�������Z���������^?<>�����mk����J��i�o�e�����?�~[d�����"+�����Uw<�g�wLC�X����� �����u��sc1�\3��'����P��~,�s5�]tF��$��0�x=�����@o�B_h8�xi\������������@�c��y����us���:27�8�jn�F����&���-�<vG,��o�
�{$�&�m��0��p, ���\;t;�.���{{�9������Q������l7<(+�?IM� �����M^BnYg�����vF��t���U��C�.��������.;g���w>�=} e��F��y��������4�l�����OaH�#1��*F���A�-�K�"�N����rr����kP������<(�n����s&������z�� ���Kkz����)����+�2�E
�Q���[������ �q7D�<<��lkdOp������+�)�W��j�&�G���2���W���j�M��$4�J���(F��i���0Vw� E�,�R� VnG �;#?tG0f<��8��v���Z!���+�����z7���R�U�aS�p����+��j��(�c��� �S�l�3���%���)�����b���� �`�����}��,^������w3�������7��A�S����[������Yik!�pD�G�Y�1��.���At��2�![R�����f���������k��B�;�q��l�v
��g0~���2��m(5���p�{�����d�F�� �����%o �0|I������X"�U�1M�{��W��@�#q�wQ��(�H\X���F�&3�#�'�������yS�s��;
Z+L�) 4 ��>�N��.Ua�HP��?���%PG��dM&�b.A��*{L��W�����w�AW
�����KI�dl��i���� @���?����8��S2��a����~N�Mc���� 7N�h��V�db�0�e�����fu��J�zpBA_c�+F}l����kl�e�xa��Hj%58���X~��ZB� JP/V�C1t0C�s��zA8�98�7��U������Ndq����-�I�A������S�r_-2=&�-Xdf����^4G�������1������g>viHF��
���=�cA���B���r��o������! �.�4�^u�~��GE�����;z���5�k�BFvHy�e;t�r���I�_c��F>,��#��{��lwF�6| vr�A��H���qv�XC~��%�b��`����P��#p:��q���������������<��?
G��C��/F~�x�S(�Yh��p ���h���o�r��������G���#�YR@8�A�@(g$�m ��[�F|%6m �
>4B�����^X��}�e �����Wn�@72�`�F���<0���D$�����*�������������S1�x�z�}2�"~ ���t"0F����`���uY��+z���?��,��aD]{��$@$��NrlM��@�!����k>��5T�����K ��0����s��f������'��B]��V^G %��xE�-��m7�>t(VF�c������h[{�2%���A�;\�{��eo0�w��Je [�&�>M~sF{'\��g'��n0���'F�������r���XpKFi7�q+��Ap�� ��F ]�XB1���*��[JB�����
�VZ"��2}H��: ��Q�2|�C�>V��{���� m
B�Z�y��6i`��\�\�p"f��.���+I|j�9�=���9�Cs���������<�b����P���f��S���
�/�p�� ��7�V���c� �X�
��D� ���0�C���8B�/t���S�$+V%�(v<���7V����2� ��1�s��1�K)�]e�N����Yr�����"JD��.��*��l��a� ���~E�����_����E;)�����o�~�)f�=HU2[kK7�$�/��,��������{�g��]8��
2i�� ��`"0j>�x�keU����U��zu�!e �������.���g�6~�!
}�
lH����|c���%Za��������{����+c�:�%��y/���*�,�`����t^���v��#�� u����~w<���>u�6zW�,]ZuO�& ��R�)�>��#�/�6�w8��p��n$�����)��n�w�s��a�Kgs�.lGF����'���ae� �������Nm?��#���ww7����;,�+=\��vO���,!�r�
eo�"��LI�����)��Q������y#��S���L�&�){���l���+��[�� ���U@�*I1� ��-a0q�RQ����_�����g��F�9��Y����}��$���'%2E��g ����p8�)m��)c+��������.G�"�5�}r��zO`�����$�N `X�����3�B���<P�1�;��`��;�P|����X��� ����P��VV1�R zgAq�&�$(�KheS#j<�4��d�0��3l� 2}4��_����.�F����8V�� �O����g�h��@Q�O�D@�iJ�b`�M��*������6�R����������u�)����4x��� ��(U����PU�L�,�[7wWW"qu��v�Z����V����b���!U1Ln�����hn�J�����@����l������#V12N�T0��c��|L-�Tt]e�*����2A{���F�)�P�uX�o�?���Ue�W�z�A�����87V�)&�����Y�|�7�����
W�4���Ua*Lh�1�� Dk�Y_<.a3�Bv4�Uf��Y��=�F`2�Z_����H�M��W��T�����s�����P�����������qO� �2n�cm-Y]��L�������%yea ;��XkK��Uo�z����mCY��km���� �U�����k�>�����U)L��r�0u���J@X7t���-���6[��|8����s%D�4�r��1�����5������|�LI���Ar��S��
ma�K��� �,�6W��NSZ�����1��d�.����*����#)m��]#����%u�t���V�4�".����V��+x�l[)����Wc��0��*��6����*��P���]h-m����.B3Mv�n��10��FN�������W[��[�R����K�t�,kEub���p50���ps��V�Q&V�Jqi-t��*�*��DA��4��^�����]�o;��uw��������L]�VW��T��.'R�G��*�v�X\��Vl��w���-{�j �2/��-�T� J� �l�RE�_�����[�WM���O�����~�n����O����t����M������=V�����EjX�c���~��P����`,�s�2�lb�����-�zq�3��x)4�3���:~�P_�+�����;�A��?�(�V�������eO������A?S������zt��GD���tRr�I�~�{O���
���x4l�!�:���v��f��_��, �X�� L_�n$������r���g�'��v��SM<ZC���5B��[�C
]|������!��/�k�^�� �c�l��]��L&J�5��>�|c��m�%��.�};��1d5��UhU�5�t�T\F���������?P�G�R^)��':����!_ `-�������������R:/� �V�']Z[�Rim����9��s!t�3q���o!f����i�W��_ ��y)��;��Mo�32m�H4zoO�KYG�.��,"��Y�:�O��]i3��
R�����G���2����u��� �S�*�X6ks������<���w6w��{��<��'p��;�+�;iM,c�^?�3[GV������m��.z����m�:i�s�9o����������>kP���u�����la�F�Ru�����n���������=��
x�o��4�o���zg
��FC�H>�Y7Q�k|��4�g�G�w�� �_�kx&����%���-n���oX��~��s��w�+�����.����Uz���\������s�F}���$?��M�hp� ]�������7�H
":|������"raQ������N�|�K�]Mm�sUcJ�Fd��i�a\��Tv����[���Z�dq�ph�RZ���*�6�5�o�"�eZ�6 ?r� Ll���ru���8��~����,�bM���seHD�E��(8�xY�m�<��m|��������Z�����z��Wb�-�j��S����
Y�Y���v�D���=�Fm����y�X����!:G|�sQ����V�`����A�S��J����
�z@����W�@��D��x�'\��������?u��������}�������Y A,���M�l!?20S�J�@��a�~!�J��&
�N��?���BlQyly
R��k"+���,.I��b���C�|���"�"WIz���Y}����P��f&cR,>\Dc���������
�~B
���L�g�,�����PlS������?Q�0xJ�G�C���g�O5��<�s�M���b-B���^`1��z)�T��.��L�J��i�;2������g4�5q�_����n�������<
����Qd����@k�8�.~*+��`-[����Z��&{B�%�1��-�����<2����<��h.�N�-K�* ���0�3 �Ud��=�����v������`9HHb
5K\����R�8^XG��U,� @���a��b;l��q��p�.L�w n�<��_���X@�Ns��vhM�I_���+E7s�) ����������a��}@����}�_����X h��:/��<��CN�>'
?L&�
�>f�"v�^�D1 s)���L9��=J[�U�$9*�<���V������ �h�g(� ��M���|Y�}+���M���x.���@��S�?Nl3v��"����!)�N�g��h�Q4�b��r�7�(�ND<ar\^\\M����OG��!��?�� �"6'�w��g"�H�l G1:��S��W�K�r��l����]������ybA�:�Z����-���i�7���=��@��w��r�,.��q
��&8��g[cBu���3�����G�x}����B��Y�11~2{>Se���7I�o���;}��Y#/�ICX��*�l�T}�jd��L�0����a�mH������=�=��p�90�!�aB�S�v���xM�BL��Flb���h�p�l���b����>��=Q�~��Gm2��]F�F7�����
�T�>�}c��B�'w�dce�$�+g��b@C�@�*Sa�J���k5����t;����=�0_3*1?��� �&��I�J� ����Zc'f���<S�<DZ����C���ucw�iN'��E�<��3�����<�����ZTd+�l�..aQ��Iy$$g���h�4tN/�d�l�|����q?���dz�����l�-�J�veyU�^p:�g��"�AD^%���)����-�H�'�-�����E�K���#��)q�F��|�W�����>;�!����_X&���VRL�U���` �t������0ttd������mI��g�W��c�)J��$��mm��l����S
d��
�����7��������{������������
���sV�v�;��r������W��!�Tm�&�0�������n��ZiM�l��%'|����%�%oD�����b����2���[�R�'�,[�����"|^�/{�}�
������;C��<wng�P+��=�����!c����{�b�N�/��O�8Y N���V���pxj�u9�����t��X�x�4��$E�����/:����V��J��W������/�tg������tV�ce�njp�~�~����N��!z�������u+�&D>�2Z%L*�����p1�����V)F����-��Y��Nu�xh=����r������d1�X�'�;F�{<��U�f��[�w�����N�[���[g��8������M[�Q�Z<�t������x~9��:r�pu�h�a �9��V���dC���k��::�}C��3��&�������o�%s���o�����
����0~���CMP�����[[�����3?R�7�X�q�o
��UM�/�&I�@���<�,��,jc�����������9�D eW�������"D":0�������q�k>5&5�$�[���w����������C�w�����8}��\� ��������1���L��7�����������?g����_���:gsTz�����y���<�o�=�R�'�l��2���5�$�"@kq�O$��M��qO.�47 ���,�P��zi���=-�H��L�f�Ixzp.�����I�X�&�=$-}����K���p�I��<���FRre2+��[E}�����S?�h�$�
�����Z�f��#���s�Et5����������4�9����a6i� +�MgT�����!d�J�AC��v���v1������m������k�
�����btV����w/�3b�H�Q�v��FIb����{��1�g������|,�9���3��9�*��z6���}u6�v��@�fD��-e���4Vj-��`W
�������<��I{e1m�'�>#�d���ki����-�}��rT���"�� �nbv����,������65�����b���a~��i|j9��:Kh����U-5q����
�<����X�����D�)����f�i��#K��@t��z������N�3u4�~q�h:���X|���E��l(&�.�KU�#�efkqp���!����B�������N�W�=�D�ZaRc_�5���SK^6�o��s����2e|�����z�e�QI��9�z�1�B�:'�5�a���;��N �8���V��__�4�z}l?��|�g�,�I�=w�U|�u�F�j��i������l.��,m�������&��L<*����zvA��mcr"i�&'�@�a���D�����SGI�&��Qf��BQ-"D2�3���'!�8P��l���*��A��%hL��-d��#\d��.�6����Ao��>���A@�*�l�#�ycMg��8�`��z�S �! }2��������ss��������\�#������NC���D�1�/�_sW4�a2�)0b�\����8��r?P����;�Q}��mRj��p�5�bm�Or@�Y�"9x�.�A��.!����W^r�5� 52��oy\4�N��99�������$�^���o�!*J/�}��E�l� ~��GVdM?��K;6���E��~����T���LJ��������^�W>��p��'���W��O/� m��k�8���S��QL��G,����W�(�D���a�����A���!����K��g��s�{/�������������K������]��v
�����_��u��i]$�.����A�����V�����mS��/��(����w�m��������=���a��N�_G��%7��|u]�v���`};��vuwt��T�"���������G�W>8����V��(X����F��t�����:�aN���V���S�����sz�9�Wd�v�r\�����'v��� �X�w�:��p�I@��4t�����b����ay���6v}|u���e�I;�z���V��li;�d�����l������-jwy����c7_N>��V��p��� ut��v�;�n��G����v��e^�����~�8� Y���d�=S4�1���_��;��������o�K�[���)�o��������o���-���� w�0��|����~o�~o�~�������_g?�;7��o{�N�zm����V����r��D�Df�j�����h�����}���NgG��~1K��l}��_Ofy���i�����O���
T�������]Lg��V}DR����������|k��&A:��%
���d�SM���dXVI�����$��!�^^��q��TRu���|���������MF�K�
}�:���M�:)
��������~'�;���������:�:�AI0u� RKY�CA+�4����K8"~�g''������_�����������R�{ ��i����2�+�:f\U6u���V�@x7�x�����P�'9�Y��/���y<6H��/�NT6Y���Oi����"`����c ���Y�O+4���&���5o6a�����&�`W�|������)�m1f�,YA������~r��NZ�����`k
G�t)]{�A�{��N� ���L����D�
�G�V����t��}�����i����S�'&��3l�`��R��������� 7�z���S��aD@����e���2�8��!�V5��P;�I�����E@K(@2��)��g�E.���e����}�;�/� ��2
������9ht�U�?8���,e��#��8]�w�
��xc����������Ww�����������q{�W2(�f���D�/�Ot6�t�Ge@�����g�N[5ehjT)e���2;{[IL���o���.������3els�y����lC�Q���b�K�e��l!����@�lD�Z�(�<~�Ad�C�gZ�
�x�KR�zrB
�c�\��Uv�C�K�"n��>Go�\:��VQ������ ��^�r ���%�A>�G��9�j$������3�?��$�\�G#�0<��r�}P��
}���w;$+�'-���������IKh����:�������0���v��` ��6i��u;�>���q/^Hr�;��������9�Sk2��i�5�(��PZ1��/^�� �v������E�������oc9��7�9��� ���@�YGd2'��z�:����mV�f����r}0`��8��a4^�e8���q�����p�����v��|��� \�qv���4��d*��"�*�Yk�p����|��$��t��i�
��6�^�����:��]�����.��������m~�^`A�������+��F�����e2VAV2!x�$����(*B(��*3
T��s��K�N7�x��d>���!�����aI����H�%���j��oh�"$����lJ=���7?�������:)� ��w���m��pB�\���O�����7�}��y{��
E�����LF��#P���������d�OC��������������x2n�^����+u��j�:��:�>{PWI�������4M%;�g��]������O �Q6���{'e ���!���E�H�3�����}���f�}�!�"�&8����s'k�&��4Rla���s�/����|��4V��3s��D%���9�o�_�3N�
v�Q���A9n�?�����J�� �i�H������mk������l��N(K����+4_5CY*���qo��m����N���j]���Fi�������#�qt5��z�&wHGw�Y+���(�|��
�1��5�'\����p�'W���*;������e�$���D�����Z�%�c\�D�~M%C��������L8]n�e\���~�.y�T��4���97j���9��u��������xO��c��0Cz�������������v�V����}��^������N��Dt��$*���W�M�X�G����� �8I�2���`�[b���|��<c�H��Es)^��P5v���������I���#<�u����Fa����V~c+�}�/j>���Z����>�y���@W�z���vI[��������4g�����~{�����/���U��vs����K��J��[����$�'�������vT�����o���0^������j,I�G�Z��B� �K��P����|���N�q��q�)B�6$��V���.�B�:�������}{�}��Oo�� ��e
�������N�������-�3WL���C�=�[���������&jD'�h���_W��z����V� n>�J�R�s�{��-����C��.�>�.���-�.�wy�0����$�*tfeyK0�Q=�E�R�~��F-rp7^�����[;���aU�s1���E2LH�����XRR�����q�]B�v���Z��(�b�����)��^�j��*[E(Fi������� �w`�]����d6�/D����|*}u9N���|�x*�b*����F��%�q�=���{���ck ["�{��oQ
p;=JM9z�meW �5z�����+[���S���Ts���[�~_��Xv��~�Y�<��GRj*(�j�N�|�~/bj�@�5���wg�h�
bO�5k���7�f+����:=j� �e�����o9���Q���=�3���[�����j��60����`{�$���`o�rg��u�D�p���(Dv��_^M�h���g��t���,���;����H>������6�V6���m���IdB�a�&2�=�"7�b��Y�.�����t�\�
)}�v����=��;��Cy�n��Q_�����z�t���#�"�,m1���
���+�(}���p�%��>�����/�y��6�g�h�/��f_���d��sN�00��e��Ku�5S>�Mw�>*����wW'�U��|�}n97��w;���v��-��Z�"��R]��^�[[]�;�XM���(�<�����w��3��������gu�fQ����W���XA��)�K��i��! ��6��UW��CQ����������?A',S�������F������������ �X���Y��?��nW��K��������V�?u��8U1��[�R��}3�����\��g-�&r�����P��
c/���'�����+����q�����^�jn�����NA&��R� �������;+0�+���(��Ts?��W�W�����t��:���^[;��D�a�W��?���a�P�"��4�|��y$��4���,�(1X��>)��OA,�:�sO��y�(8�'g{0U�?
��y�w4����?��c���?u;|�����p�9��������JG���<y���}��8�!��C�������|����8�L����F8uK�9�GM�]�p�x%�����L��mO�BNz��,�&���&:��>�^�����"��G��N����C~C�\:O�����$��&�����xu�7��~���W�89}�m�Y!��Hg�[�5nY)
A�����u1���W�_#2��C} �����1��OCZ��S���ja�Lq���Xs&�0�s��\g�_����45�{�����������n����)��<u�:P����ks]&@W�:���P1�7v�2Y�+��>�i;�6����o�/������������=����y
��C��n� 3� }��q���V�/�������'���'�7�c�����4M�2M;����iZ3=�����%�)+�M��Mu�<�go0%�^���Wx$�Jz ��7��G��Pf��4J'�OF�7!�^����������E���3���aj����]�l�2�0TrIy�5��>&c�$�����^ ���`?��
��&D�\���-c+�v!������+V7�2�������6���t�����R)�1�y}�K��D��S�.��?_;q�8u�K�I����M�!�)d(�C�� �����=�����'��x���i\�E�|�}�oa������u�k��/��8j�b��[��� �{;������w��T��BK&$������aS�uXz'�SO.�ms��n[�v���.�
:���`�e���0����`U8��=%J�uc{��f�5,��q_%���:��?wS)72)/����`���u:{�A|"�nV�Qi�$���������D�i�k�L�{�����2��1�<[?���y<b�8�� M���\������!����X�O�yS�3���Rt)�}�g�"�l2
���������F�������"s��z�V��94�������P`��0���>�o��\d�9J�}�O����D=��)���dI^[|��"�_���|z��l
-� s=�R��>�N���v����\��>���2T����f����P��$i��k<���7��B�nD9�=c(��!�{0e��\4��sxW��k�����FG�z���2P�&Mi�������6.���F�\�7�[>���gg''��'���8�Ybd=I�R����nMqL�TN�X�y���i���!���~�*:H��C��;��������(�q����7�\�����i$����d����0�He���sh�gp�^$50.��fqlO�/s����9���=��}�:����8�pm���,q�H���)��aT��a-[�%��j���&���%�
,X�����eh������O���"���;"������oE��Eq9�X����w��Q�~��0��,!�O�?4�P�QWU�d��e ��Of����
Ua�t���]n�2&��#�f�)
+'7��I@!h'������;��6OI.>@o�{����c7���l
uq]}q��{��s7r���93Q��Q�M+���an��<��1���Fo?����76�8rl��x
9���n\m��$*��(L�q����`_���/�W|P}MM��M������3����C���,c+����?������"����$J��6�Xzn������+yS�q��Q{�5�Er2�K?�(���CR"����!c� �����X��n��������-~zsEO[�V��Z���i���q��k.�|����VA uv �dla���P�������/@��g�G"s2�>���x���,����t���5!o��:f�����R���:�.*
��@B%/��x��;#�����]�U�?C�hL)g�[�>�o!��r��vF\��+`G�,����6�b#���z�Kfi��A
��W� 0�I{�����Qy�:���,�����Z����M�O�����#>�����1*my�'R�5V������P�g�6�������i}�.�� .8�B��s�m�#���
o�6��uD��� ��\,���;���� �v�J4���$���l�[�6k��5 4XGO�C���*�3���{N���JS�lN>����M`�w���� Lv��`�����m��w�?�Y��-�Z�����A�~0�(K� $����������_��/���%�f�%B��b�-�"��~3vx�+���L���pQr9j����CIigd��T�����z��sj�6��ex�;�J�~>��'��G���l��[��A�Z0����z�0�\�����'S@�D?�p�=�4���*�B'<����A�������F���2? 1�:mg?F1���������������?�8g��CZ2�Q����~����Y��1��KG�X �lF~���F����*�p?��J�zYmt���9�e\d��j x������$3��k��� 29`�����`.�j�������|��x�9�E�bw�m,����~��j���W�F��R��r���pH��l�i���um����B�����7��h��e�J4
{���#.�g����H�������_��/���������A7X'I�������I�k������?�*�����a6����c���I�O!VC��7*����weM��,��T���b�\�:��$zB���}�k�`���~�#Ff������/������S�C������$��;6��Pw���Vo�}�j
���v���������~c&i
$3�AU��z��7���6�G�KAq�}����>�cOa ����'�k��{�R�E���DqKP���f]S��o�Q���#"9�r1/'�yF35u����u����Z{�{�����^��W���C8���/��="�>�m^^1�|�/������M������g�����[��d����������Q�1����O�0�g���"��q��pZ��m��u<�����+K����C�^L��GbB5�����q<�j*�j�_^���&&��W$��m�����q�IV����]��S:��7���I�P?Y�Y"&�,Fp���7�Pl%��Vk�t���%�#�x��r
�a
��&����&�C_;-������Q�Y����yZ����x�$�[��BMw����nck�����#���
3���G���R�)"$F}y<