缓存机制和几何分形学
缓存机制在我们的实际研发工作中,被极其广泛地应用,通过这些缓存机制来提升系统交互的效率。简单的总结来说,就是在两个环节或者系统之间,会引入一个cache/buffer做为提升整体效率的角色。
而有趣的是,这种缓存机制令人惊奇并且优美的遵循着“几何分形”的规律,也就是几何分形学中的“自相似性”:从整体上看遵循某种组成规律或者特性,同时从每一个局部看,仍然遵循某种组成的规律或者特性。我们的这些系统,从整体上看遵循了缓存机制,每一个组成的局部也遵循缓存机制。
等同类比的一个概念,我们常常说的“空间换时间”,牺牲一部分空间代价,来换取整体效率的提升。
例如A和B两者之间的数据交换,为了提升整体的效率,引入角色C,而C被用于当做热点数据的存储,或者是某种中间处理的机制。
我们先从web前端层面开始,看看有哪些比较关键的缓存机制?它们又是怎样协调工作的呢?
一、前端Cache机制
1. 域名转为IP地址(域名服务器DNS缓存)
我们知道域名其实只是一个别名,真实的服务器请求地址,实际上是一个IP地址。获得IP地址的方式,就是查询DNS映射表。虽然这是一个非常简单的查询, 但如果每次用户访问一个url都去查询DNS一次,未免显得太频繁,会产生一个可怕的访问量级。DNS服务器会告诉你,你别老是经常过来,万一我挂了,我们就无法愉快地玩耍了。
各个浏览器的缓存时间,会有一定的差别。例如,在chrome浏览器中查看dns的缓存时间的方式是:chrome://net-internals/#dns。
浏览器一般会在本地会建立一个DNS缓存,在一段比较长的时间里,都是使用本地的缓存映射。例如,在Win7系统的cmd里,可以通过“ipconfig /flushdns ”的方式来立刻刷新本地DNS。
优点:域名映射为IP非常快。
成本:消耗一定的浏览器空间来存储映射关系
2. 访问服务器,获取静态内容(地理位置分布式服务CDN)
可能有人会觉得,这个CDN不是缓存。其实,CDN的原理就是将离你很远的东西,放在离你很近的地方,通过这种方式提高用户的访问速度。从这个角度,它也可以理解为牺牲空间成本换取了时间,本质上也是一种特殊的中间cache。腾讯、阿里等这些大的一线互联网公司一般倾向于自己建立CDN系统,中小型企业也经常使用第三方的CDN服务。
优点:解决用户离服务器太远的时候,网络路由中跳来跳去的严重耗时。
成本:全国各地部署多套静态存储服务,管理成本比较高,发布新文件的时候,需要等待全国节点的更新等。
3. 浏览器本地缓存(无网络交互类型)
在前端优化原则中,其中一条就是尽量消灭请求,以达到降低服务器压力和提升用户体验的效果。静态文件,例如Js、html、css、图片等内容,很多内容可以1次请求,然后未来就直接访问本地,不再请求web服务器。
常用的实现方法是通过Http协议头中的expire和max-age来控制,这两者的使用方法和区别,我这里就不赘叙了。还有一种HTML5中很热的方式,则是localStorage,尤其在移动端也被做为一个强大的缓存,甚至当做一种本地存储来广泛使用。
优点:减少网络传输,加快页面内容展示速度,提升用户体验。
成本:占用客户端的部分内存和磁盘,影响实时性。
4. 浏览器和web服务协议缓存(有网络交互类型)
浏览器的本地缓存是存在过期时间的,一旦过期,就必须重新向服务器请求。这个时候,会有两种情形:
- 服务器的文件或者内容没有更新,可以继续使用浏览器本地缓存。
- 服务器的文件或者内容已经更新,需要重新请求,通过网络传输新的文件或者内容。
这里的协商方式也可以通过Http协议来控制,Last-Modified和Etag,这个时候请求服务器,如果是内容没有发生变更的情况,服务器会返回 304 Not Modified。这样的话,就不需要每次访问服务器都通过网络传输一个比较大的文件或者数据包,只要简单的http应答就可以达到相同的请求文件效果。
下图中的例子,是腾讯的自建CDN(imgcache.gtime.cn):
优点:减少频繁的网络大数据包传输,节约带宽,提升用户体验。
成本:增加了服务器处理的步骤,消耗更多的CPU资源。
5. 浏览器中间代理
上面的几种cache机制,实际上都是非常常见。但是,在移动互联网时代,流量昂贵是很多用户心中深深的痛。于是,又出现了一种新型的中间cache, 也就是在浏览器和web服务器再架设一个中间代理。这个代理服务器会帮助手机浏览器去请求web页面,然后将web页面进行处理和压缩(例如压缩文件和图片),使页面变小,然后再传输给手机端的浏览器。
部分手机浏览器(例如Chrome)号称可以节省流量,提升访问速度,实际上就是上述做法。但是,也分为两种情况:
- 用户的网络和手机配置都比较差,因为页面被压缩变小,加载和传输速度变快,并且节约了流量。
- 用户的网络和手机配置都比较好,本身直连速度已经很快了,反而因为设置了中间代理,加载速度变慢,也可节约流量。
下图是chrome手机浏览器中,开启和不开启中间代理的对比图:
优点:节约用户流量,大部分情况下提升了加载速度。
成本:需要架设中间代理服务器,对各种文件进行压缩,有比较高的服务器维护成本。
6. 预加载缓存机制
这种加载方式主要流行在移动端,为了解决手机网速慢和浏览器加载性能问题,浏览器会判断页面的关联内容,进行“预加载”。也就是说,在用户浏览A页面的时候,就提前下载并且加载B页面的内容。给用户的体验就是,B页面一瞬间就出现了,中间没有任何延迟的感觉,从而带来更好的极佳的用户体验。
这种实现机制,往往由浏览器来实现,当然,手机页面本身,也可以通过JS来自身实现。而这种机制也存在一些问题,浏览器需要预判用户的浏览行为,在一些场景下,这个预判算法本身不一定准确,如果不准确则带来一定的流量、内存和系统资源的浪费。
优点:给用户带来极佳的页面展示体验。
缺点:预判实现比较复杂,占据一定的内存和手机系统资源,可能产生流量和资源浪费。
前端的cache当然不仅仅如此简单,如果细致到每一个小环节和组成部分,我们会发现实际上是无处不在的,例如浏览器的渲染行为、网络网卡的传输环节,小环节和小环节之间也有无数这种类型的cache角色。
这个就如同几何分形学中的自相似性:从整体上看符合某种组成规律或者特性,同时,从局部看,仍然符合某种组成的规律或者特性。
几何分形的现象在我们生活中,也是非常常见的,例如:
人体中的几何分形例子,例如:人体有1个头部+4肢,局部上看人的手指也是1个手指头+4个手指;人体无论整体或者局部,都大致遵循黄金分割点0.618的比例来生长(五官按照这个比例越多,越好看)。
例如下图中的叶子,每个局部都和主干组成结构相似。
二、Web系统和几何分形学
1. Web系统中的缓存机制
看完上面的前端cache,我们会感觉到缓存机制在前端中的确无处不在,那么它在其他地方和环节,是否也无处不在?
可以看看这张图:
实际上,每一个环节本身是可以又再次被放大的,放大以后,我们又看见了更多缓存机制的“特性”存在。从一个整体来看,符合该规律,从组成部分来看,仍然符合该规律。
每一个组成缓存机制的“成员”的内部,又存在着更多的缓存机制。
Apache内部的一些“缓存机制”:
- url映射缓存mod_cache(有mode_disk_cache和mod_mem_cache,后者官方已不推荐)
- 缓存热点文件打开描述符mod_file_cache(对于静态文件的情况,减少打开文件中open行为的耗时)
- 启动的时候,通过prefork模式设置的StartServers服务进程池,牺牲内存空间。
MySQL内的一些“缓存机制”:
- 数据库的索引,牺牲磁盘空间(组合索引等会占据很大的磁盘空间)
- innodb_buffer_pool_size,热点数据的缓存,牺牲内存空间
- innodb_flush_method写入磁盘的机制,可以配置成缓冲写入的方式
- query_cache_size查询缓存,牺牲内存空间
- thread_cache_size数据库连接池的缓存个数,牺牲内存空间
2. 接近硬件层面的“空间换时间”
那我们再来看更细小的一个环节,计算机写的操作。我们会发现,在内存和物理磁盘之间,还有一个磁盘缓冲区(页高速缓存)的存在,这个是内存和磁盘之间的“缓存”。当然,读取的操作也是同理。
下图是“放大”MySQL中的写入磁盘:
实际上,更进一步看,CPU和内存之间也存在缓存机制(常用指令会存在放在寄存器中,因为CPU访问寄存器会远快于访问内存,中间为了缓冲它们之间差距,设置了多级高速缓存)。
例如下图是Intel i7 920的各级缓存大小:
这个时候,我们可以看出来,计算机系统从大的系统层面看,是遵循“缓存机制”的规律的,同时,在每个局部成员的层面,同样遵循该规律。
3. 现实世界中的“缓存机制”
我们现在喝水通常使用的是杯子,杯子实际上也扮演着一个特殊的Cache角色。举个例子:一个人离饮水机比较远,他渴了,他有如下两种“喝水”的方式:
- 不用杯子,每次渴了直接去饮水机喝(这个比较霸气侧漏,不要在意细节)。结果:频繁跑动,耗费体力。
- 使用杯子,渴了先喝杯子(Cache)上的水,如果杯子没有,带上杯子去装水,再喝。结果:比较少跑动,节省体力。
这样看不直观,简化为一个流程图如下:
这虽然是个人尽皆知的道理,但是,这个方法本身是“进化”出来的。百万年前的原始人类和其他大自然的动物一样的,喝水遵循了第一种方式,只是随着人类的发展,“进化”出第二种喝水的方式。
这里也存在一个缓存机制,就是用杯子的空间获取喝水效率的时间。
还有一个更为典型的例子,就是坐车/运输,假设我们从深圳去广州,我们会去坐客运车。而客运车(假设上面有40个座位)实际上相当于一个40个座位的“队列”。遵循着网络传输的相同的规律“队列满或者超时则发送”。客车本身的40个位置,就像一个“发送缓冲区”。使用和不使用这个大的缓冲区,客车也可以有两者运作方式:
- 车站发现来一个人,用只能容纳一个人的小车,不等待直接送一个人去广州。
- 车站发现来一个人,先放进客车buffer中,等待人满或者达到班车约定时间(队列超时)再出发。
显而易见,第一种是太浪费资源了。
除此之外,还有很多各种各样的例子,如江河上的大坝、我们桌面上的一些东西(它们占据宝贵的桌面空间)、我们公司附近小店里的商品、离我们近的东西等等。
看到这里,很多人会渐渐发觉,计算机的一些原理,竟然在现实世界里有无处不在的“映射和影子”。
几何分形学是个非常有趣的东西,某些规律,实际上还贯穿在整个宏观和微观世界中。
例如“绕转”的现象:
4. 现实世界和计算机“缓存机制”原理的关系,为什么遵循“几何分形”?
实际上,计算机的原理来源于数学,而数学是日常生活现象和规律的高度抽象,源于生活,高于生活。
同时,不仅仅“缓存机制”,还有多线程等原理,也能找到这种遵循“几何分形学”的样子。
“缓存机制”简单总结可以说是“空间换时间”,我在大学第一天看见这句话的时候,我觉得自己一看见就懂了。随着对技术理解的加深和工作经验的积累,我渐渐明白当时我理解得太浅了。
相关推荐
而有趣的是,这种缓存机制令人惊奇并且优美的遵循着“几何分形”的规律,也就是几何分形学中的“自相似性”。徐汉彬曾在阿里巴巴和腾讯从事4年多的技术研发工作,负责过日请求量过亿的Web系统升级与重构,目前在小满...
分形几何学是一门以不规则几何形态为研究对象的几何学。相对于传统几何学的研究对象为整数维数,如,零维的点、一维的线、二维的面...因为它的研究对象普遍存在于自然界中,因此分形几何学又被称为“大自然的几何学”。
分形几何学是一种数学理论,它专注于研究那些不规则、具有自相似性的几何形状和模式。这个领域由法国数学家曼德勃罗特提出并发展,他的工作在20世纪70年代引领了这一新兴学科的诞生。曼德勃罗特集是分形几何学中的一...
一本介绍分形几何的基础书籍,适合初学者,内容详细,
他专注于马尔可夫过程和分形几何的研究,发表过多篇学术论文,并参与编写了多部关于分形几何的书籍,如《分形理论与分形的计算机模拟》、《分形、小波与图像压缩》等。 #### 四、书籍内容概述 本书共分为多个章节...
这个压缩包中的"3分形例子代码"很可能展示了上述的一种或多种分形的实现,通过阅读和运行代码,学习者可以深入了解分形几何的概念,并掌握如何在MATLAB中实现它们。这不仅可以加深对分形理论的理解,也有助于提升...
分形几何是一种在自然界中广泛存在的数学概念,它具有自相似性和无穷细节的特性。分形树是分形几何中的一个经典例子,模拟了自然界中树木的形态。在这个项目中,我们将探讨如何通过编程实现分形树的生成,以及相关的...
分形曲线分形几何学之二-newtongallery[1].zip 分形曲线 分形几何学之一: https://www.ilovematlab.cn/thread-88859-1-1.html 程序: lyapunovfractal2.m 结果: 1....
分形理论是一门新兴的横断学科,它给自然科学、社会科学、工程技术、文学艺术等极广泛的学科领域,提供了一般的科学方法和思考方式。就目前所知,它有很高程度的应用普遍性。这是因为,具有标度不变性的分形结构是...
分形几何不仅在数学领域内有着广泛的应用,还在物理学、生物学等多个学科领域中发挥着重要作用。通过对分形的研究,科学家们能够更好地理解自然界中复杂现象的本质,并为实际问题提供有效的解决方案。随着技术的进步...
分形几何,这是一个独特而引人入胜的数学领域,它揭示了自然界中普遍存在的复杂性和自相似性。"分形"一词由法国数学家本华·曼德勃罗在1975年提出,它源于希腊词“fractal”,意为“碎片”或“不规则”。这个概念...
分形曲线分形几何学之二-windfern.m 分形曲线 分形几何学之一: https://www.ilovematlab.cn/thread-88859-1-1.html 程序: lyapunovfractal2.m 结果: 1.gif ...
分形理论(Fractal Theory)是当今十分风靡和活跃的新理论、新学科。分形的概念是美籍数学家本华·曼德博(法语:Benoit B....分形理论的数学基础是分形几何学,即由分形几何衍生出分形信息、分形设计、分形艺术等应用
分形几何的理论和应用涵盖了多个科学领域,包括数学、物理学、计算机科学、生物学、地理学等。 这本书《分形几何_数学基础及其应用》可能深入探讨了以下几个方面的内容: 1. **分形定义与特性**:书中可能会详细...
**分形几何生成器**是一种基于计算机程序的艺术与科学工具,它主要用于创建具有复杂细节和无限自相似性的图像。在本项目中,我们看到几个关键的文件,它们共同构成了一个分形几何的生成系统。 首先,`Mandbl.bpr`是...
2. **分形建模**:利用分形理论构建数据的分形模型,这通常涉及计算分形维和其他相关统计量,以捕获数据的几何和统计特性。 3. **学习与推理**:基于分形模型,进行学习和推理。通过比较不同尺度下的数据特征,寻找...
有效的解决读者对于分形理论的模糊印象,通过大量的实例通透的讲解了分形几何的特征及性质。
分形几何是一种研究具有自相似性质的几何形状和结构的数学领域,它在计算机图形学、艺术、自然科学乃至金融等领域都有广泛应用。通过这些源代码,我们可以深入理解分形的生成原理,并在实际编程中实现各种复杂的分形...