Public feed #892808

Unnamed

public php v1 · immutable
Raw Edit
·published 2008-02-05 18:42 UTC
rendered paste body
      if($innodb_thread_concurrency < 16) {        write("Increase the innodb_thread_concurrency to 16, Current size is $innodb_thread_concurrency.<br>",$client,$hostname,$today);        write_cr("# Increase the innodb_thread_concurrency to 16, Current size is $innodb_thread_concurrency.\n",$client,$hostname,$today);      }            if($innodb_commit_concurrency < 8) {        write("Increase the innodb_commit_concurrency to 8, Current size is $innodb_commit_concurrency.<br>",$client,$hostname,$today);        write_cr("# Increase the innodb_commit_concurrency to 8, Current size is $innodb_commit_concurrency.\n",$client,$hostname,$today);      }            if($innodb_file_per_table == 'OFF') {        write("Set innodb_file_per_table. Currently not enabled.<br>",$client,$hostname,$today);        write_cr("# Set innodb_file_per_table. Currently not enabled.\n",$client,$hostname,$today);      }            $innodb_buffer_pool_sizeHR=sizeFormat($innodb_buffer_pool_size);      write("Current innodb_buffer_pool_size = $innodb_buffer_pool_sizeHR.<br>",$client,$hostname,$today);      write("Depending on how much space your innodb indexes take up it may be safe<br>",$client,$hostname,$today);      write("to increase this value to up to 2/3 of total system memory.<br><br>",$client,$hostname,$today);                  if(($Innodb_buffer_pool_pages_free == 0) || ($Innodb_buffer_pool_pages_total == 0)) {        $Innodb_buffer_pool_pages_total = 1;        $Innodb_buffer_pool_pages_free = 1;      }      $Innodb_buffer_pool_pages_ratio=round(($Innodb_buffer_pool_pages_free/$Innodb_buffer_pool_pages_total),2);      if($Innodb_buffer_pool_pages_ratio > .75) {        write("Current Innodb_buffer_pool_pages_ratio = $Innodb_buffer_pool_pages_ratio : 1<br>",$client,$hostname,$today);        write("You may want to consider increasing the innodb_buffer_pool_size<br>",$client,$hostname,$today);        $innodb_map = '1';        write_cr("# Increase the innodb_buffer_pool_size if possible, Current size is $innodb_buffer_pool_sizeHR.\n",$client,$hostname,$today);      }      else  {        write("Current Innodb_buffer_pool_pages_ratio = $Innodb_buffer_pool_pages_ratio : 1<br>",$client,$hostname,$today);        write("Your Innodb_buffer_pool_pages_ratio looks ok.<br>",$client,$hostname,$today);      }