mysql执行时间为负数的原因分析
发布时间：2024-01-19 12:21:20
标签：执行时间,负数
<?php
list($usec, $sec) = explode(' ', microtime());
$timer = (float)$usec + (float)$sec;
mysql_query($query, $active_db);
list($usec, $sec) = explode(' ', microtime());
$stop = (float)$usec + (float)$sec;
$diff = $stop - $timer;
?>
$stop 和 $timer都是转化后得到的浮点数，大多数情况下，echo $stop 和 echo $timer得到的结果用肉眼观察是相同的，但是它们在计算机中的存储并不相同，所以结果不为0，也有可能为负。
php手册中提示：
浮点数精度:
显然简单的十进制分数如同 0.1 或 0.7 不能在不丢失一点点精度的情况下转换为内部二进制的格式。这就会造成混乱的结果：例如，floor((0.1+0.7)*10) 通常会返回 7 而不是预期中的 8，因为该结果内部的表示其实是类似 7.9999999999...。
这和一个事实有关，那就是不可能精确的用有限位数表达某些十进制分数。例如，十进制的 1/3 变成了 0.3333333. . .。
所以永远不要相信浮点数结果精确到了最后一位，也永远不要比较两个浮点数是否相等。如果确实需要更高的精度，应该使用任意精度数学函数或者 gmp 函数。
0
投稿猜你喜欢
先有个一名为student的关系，其字段以及元组如图所示：为了保持数据的一致性，现在需要将sname的多余空格去除，以及将所有的snativ- html结构如下<div class="row"> <div class="co
- 前言shape函数是Numpy中的函数，它的功能是读取矩阵的长度，比如shape[0]就是读取矩阵第一维度的长度。直接用.shape可以快速
- 在使用Pycharm编写Django模板时，要用到一些特殊的格式，比如{{ … }}，{％ if ％}等等，如果不设置Pycharm，只能一
- linecache, 可以用它方便地获取某一文件某一行的内容。而且它也被 traceback 模块用来获取相关源码信息来展示。用法很简单:&
- mysql中的自增auto_increment功能相信每位phper都用过，也都知道如何设置字段为自增字段，但并不是所有phper都知道au
- 这篇文章主要介绍了python自动化unittest yaml使用过程解析,文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参
- 最近在工作中遇到了一个小问题，如果要将字符串型的数据转换成dict类型，我第一时间就想到了使用json函数。但是里面出现了一些问题1、通过j
- 有用的符号：| 竖杠后的字符会被原样输出 · 点表示下一级的所有字符都会被原样输出，不再被识别。（就是|的升级版，实现批量） include
- 创建一个表T_Employee并插入若干数据 代码如下:create table T_Employee(FNumber VARC
- <div> <a
- 至于对好广告的评判，不同的人有不同的标准，一些人认为那些打动人、有新意、有共鸣的广告是好广告，另一些人的观点则是：观众喜欢与否，不是广告好与
- Google Maps JavaScript. API可以让您在自己的网页上使用Google地图.在使用API之前，您应该先申请一 个API
- PHP7.0正式版也出来了，今天编译安装了一下，写下安装步骤，我是在centos6.6 环境中编译的，下面是详细的安装步骤环境依赖yum i
- MySQL有多种存储引擎：MyISAM、InnoDB、MERGE、MEMORY(HEAP)、BDB(BerkeleyDB)、EXAMPLE、
- row_number()over(partition by col1 order by col2)表示根据col1分组，在分组内部根据col
- 本文实例讲述了Python批量重命名同一文件夹下文件的方法。分享给大家供大家参考。具体分析如下：朋友发了一个文件夹过来，里面的图片都以 .t
- 常见的SQL问题：◆选择重复，消除重复和选择出序列有例表：empemp_no name age001 Tom 17002 Sun 14003
- 一、引言在编写调试Python代码过程中，我们经常需要记录日志，通常我们会采用python自带的内置标准库logging，但是使用该库，配置
- 讲这个方法之前，我们应该先了解下插入节点时浏览器会做什么。在浏览器中，我们一旦把节点添加到document.body（或者其他节点）中，页面
