Descrizione del problema
MySQL ha introdotto il buffer pool InnoDB configurabile dinamicamente con la versione 5.7.5 nel settembre 2014 (qui e qui):
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 ha adottato questa funzione nel settembre 2016 (fonte):
InnoDB was merged from MySQL-5.7.14 (XtraDB is disabled …
