Bug #99945 Missing details in the description of innodb_dedicated_server
Submitted: 21 Jun 2020 11:16 Modified: 22 Jun 2020 12:43
Reporter: Valeriy Kravchuk Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Server: Documentation Severity:S3 (Non-critical)
Version:8.0 OS:Any
Assigned to: CPU Architecture:Any
Tags: innodb_deciated_server, innodb_log_files_in_group, missing manual

[21 Jun 2020 11:16] Valeriy Kravchuk 
Description:
Description of the innodb_dedicated_server in the manual (https://dev.mysql.com/doc/refman/8.0/en/innodb-parameters.html#sysvar_innodb_dedicated_ser...) says:

" When innodb_dedicated_server is enabled, InnoDB automatically configures the following options according to the amount of memory detected on the server:

    innodb_buffer_pool_size

    innodb_log_file_size

    innodb_flush_method 

Only consider enabling this option if..."

But the page it later refers to, https://dev.mysql.com/doc/refman/8.0/en/innodb-dedicated-server.html, explains that 4 variables are actually set:

" When innodb_dedicated_server is enabled, InnoDB automatically configures the following variables:

    innodb_buffer_pool_size

    innodb_log_file_size

    innodb_log_files_in_group (as of MySQL 8.0.14)

    innodb_flush_method 

Only consider enabling innodb_dedicated_server if the MySQL instance resides on a dedicated server..."

Please, correct this inconsistency, or rephrase the description so that it remains logically valid even if more variables are going to be changed later.

How to repeat:
Read the manual pages mentioned above and compare the texts.

Suggested fix:
make both pages consistent.
[22 Jun 2020 4:58] MySQL Verification Team 
Hello Valeriy,

Thank you for the report and feedback.

regards,
Umesh
[22 Jun 2020 12:43] Daniel Price 
Posted by developer:
 
The referenced documentation has been updated as suggested. Changes should appear online soon.

Thank you for the bug report.