PHP/MySQL Miliseconds to Hours: Minutes: Seconds

Question

Мне поручено создавать статистику для одного из игровых режимов нашего сервера. Это было замечательно, но единственная проблема, с которой я столкнулся, - это время, затрачиваемое на часы: минуты: секунды.

Разработчик, который создал настоящий игровой режим, хранит время, проведенное в MySQL в миллисекундах. К сожалению, у многих игроков достаточно времени, чтобы легко вызвать целочисленное переполнение (при вычислении в PHP).

Теперь, мне интересно, какой самый простой и эффективный способ решить эту проблему. Есть ли способ сделать это в запросе MySQL, о котором я не знаю?

Answer 1

Давайте предположим, что у вас есть 36001316000 миллисекунды:

SET @miliseconds = 36001316000; 
SET @s = @miliseconds/1000; 
SET @hours = FLOOR(@s/3600); 
SET @minutes = FLOOR(@s/60 - @hours * 60); 
SET @seconds = ROUND(@s - @hours * 3600 - @minutes * 60); 

SELECT @hours, @minutes, @seconds; 

это будет возвращать 10000 часов, 21 минут & 56 секунд.

Как вы будете хранить эту информацию, зависит от того, как вы будете ее использовать. Если это просто для информационных целей или для вычислений на основе PHP, вы можете сохранить их в varchar, если вам нужно делать вычисления в MySQL на основе этого, вы можете сохранить его в трех разных целочисленных полях.

Answer 2

Что такое колонка Тип? Integer?

Изменение целого числа на Unsigned Integer удваивает максимальное число.

Простой выход:

Изменение структуры таблицы для этого столбца из INT в BIGINT.

Если уже BIGINT, разделите существующие записи на 1000 и используйте секунды.
Пример:
Или разделите существующие записи на 60000 и используйте минуты.

$ sql = "ОБНОВЛЕНИЕ users SET time = time/60000";