Problembeschreibung
MySQL hat mit 5.7.5 im September 2014 den dynamisch konfigurierbaren InnoDB Buffer Pool eingeführt (hier und hier):
The innodb_buffer_pool_size configuration option can be set dynamically using a SET statement, allowing you to resize the buffer pool without restarting the server. For example:
mysql> SET GLOBAL innodb_buffer_pool_size=402653184;
MariaDB 10.2.2 hat dieses Feature im September 2016 übernommen (Quelle):
InnoDB was merged from MySQL-5.7.14 (XtraDB is disabled in …
