Make InnoDB configurable

pull/137/head
Stefano Ortolani 2024-08-30 07:51:40 +01:00
parent 9929290c89
commit 14ce181611
2 changed files with 19 additions and 0 deletions

View File

@ -30,6 +30,15 @@ services:
- "MYSQL_PASSWORD=${MYSQL_PASSWORD:-example}"
- "MYSQL_ROOT_PASSWORD=${MYSQL_ROOT_PASSWORD:-password}"
- "MYSQL_DATABASE=${MYSQL_DATABASE:-misp}"
command: "\
--innodb-buffer-pool-size=${INNODB_BUFFER_POOL_SIZE:-2048M} \
--innodb-change-buffering=${INNODB_CHANGE_BUFFERING:-none} \
--innodb-io-capacity=${INNODB_IO_CAPACITY:-1000} \
--innodb-io-capacity-max=${INNODB_IO_CAPACITY_MAX:-2000} \
--innodb-log-file-size=${INNODB_LOG_FILE_SIZE:-600M} \
--innodb-read-io-threads=${INNODB_READ_IO_THREADS:-16} \
--innodb-stats-persistent=${INNODB_STATS_PERSISTENT:-ON} \
--innodb-write-io-threads=${INNODB_WRITE_IO_THREADS:-4}"
volumes:
- mysql_data:/var/lib/mysql
cap_add:

View File

@ -181,3 +181,13 @@ SYNCSERVERS_1_PULL_RULES=
# PHP_UPLOAD_MAX_FILESIZE=50M
# PHP_POST_MAX_SIZE=50M
# PHP_MAX_INPUT_TIME=300
# MariaSQL/MySQL (InnoDB) configuration
# INNODB_BUFFER_POOL_SIZE=2048M
# INNODB_CHANGE_BUFFERING=none
# INNODB_IO_CAPACITY=1000
# INNODB_IO_CAPACITY_MAX=2000
# INNODB_LOG_FILE_SIZE=600M
# INNODB_READ_IO_THREADS=16
# INNODB_STATS_PERSISTENT=ON
# INNODB_WRITE_IO_THREADS=4