Bug #69406 "innodb_buffer_pool_size", "innodb_buffer_pool_instances" are duplicated
Submitted: 5 Jun 2013 16:32 Modified: 6 Nov 2013 1:36
Reporter: Roman Syroeshko Email Updates:
Status: Closed Impact on me:
Category:MySQL Workbench: Administration Severity:S2 (Serious)
Version:5.2.47 CE rev. 10398 OS:Windows (7 Home Basic 64-bit)
Assigned to: CPU Architecture:Any
Tags: innodb_buffer_pool_instances, innodb_buffer_pool_size, options file, server administration

[5 Jun 2013 16:32] Roman Syroeshko
The "innodb_buffer_pool_size", "innodb_buffer_pool_instances" options file configuration parameters are duplicated in Server Administration window. They could be found in "Buffer Pool" and in "Memory" groups.

How to repeat:
1. Open MySQL Workbench.
2. Open Server Administration window for one of the existing connections.
3. Choose "Options File" in "Task and Object Browser".
4. Open "InnoDB" tab.
5. Make sure that "innodb_buffer_pool_size" and "innodb_buffer_pool_instances" configuration parameters exist in "Buffer Pool" group, as well as in "Memory" group.

Moreover: it's very tricky to get value of these parameters changed because of the unexpected behavior.

If you change the parameters values in "Buffer Pool" group and then click "Apply ...", you will got the followed script:

@@ -230,1 +230,1 @@
-innodb_buffer_pool_size = 128M
+innodb_buffer_pool_size = 128M
@@ -250,1 +250,1 @@
+innodb_buffer_pool_instances = 8

As you can see, the application removes and then adds the same values. Okay...

If you change the parameters values in "Memory" group and then click "Apply ...", you will got the followed script:

@@ -230,1 +230,1 @@
-innodb_buffer_pool_size = 128M
+innodb_buffer_pool_size = 129M
@@ -250,1 +250,1 @@
+innodb_buffer_pool_instances = 9

It seems that these options work as expected...

Suggested fix:
1. Remove duplicated configuration parameters (from "Buffer Pool" group ot from "Memory" group).
2. Make sure that "Apply ..." button generates correct script.
[5 Jun 2013 16:33] Roman Syroeshko
"InnoDB" tab screenshot with duplicated parameters highlighted.

Attachment: innodb_buffer_pool_size_dup.png (image/png, text), 98.57 KiB.

[5 Jun 2013 19:53] MySQL Verification Team
Thank you for the bug report.
[31 Oct 2013 14:51] Armando Lopez Valencia
Posted by developer:
Verified in:
Windows 7x64
Ubuntu 12.04x64
MySQL Server 5.6
Duplicated has been removed and changes are applied correctly:


@@ -227,1 +227,1 @@

-innodb_buffer_pool_size = 43M

+innodb_buffer_pool_size = 42M

@@ -247,1 +247,1 @@

-innodb_buffer_pool_instances = 9

+innodb_buffer_pool_instances = 8
[6 Nov 2013 1:36] Philip Olson
Fixed as of MySQL Workbench 6.0.8, and here's the changelog entry:

The "innodb_buffer_pool_size" and "innodb_buffer_pool_instances"
configuration parameters were duplicated in the "Options File" (formerly
the "Server Administration") tab. They were listed in both the "Buffer Pool"
and "Memory" groups". 

Also, using MySQL Workbench to change these settings
would generate a change that also altered whitespace in the MySQL
configuration file.

Thank you for the bug report.