引言 类型系统被采用并被作为类型检查的一种手段，从二十世纪五十年代的FORTRAN语言编译器就已开始。采用类型论（type theory）观点的编程语言类型系统的研究，在软件工程、编程语言设计、高性能编译器和网络安全等方面都有重要应用.通过学习计算机科学导论这门课程以及课下查阅资料，作者加深了对编程 ...
分类：
编程语言 时间：
2020-02-05 20:15:10
阅读次数：
102
NumPy 和 Python NumPy 的核心是 ndarray 对象。 ndarray 是封装了同构数据类型的 n 维数组，为了提高性能，在编译代码时执行了许多操作。 NumPy 数组和标准 Python 序列之间有几个重要的区别： 1. 创建时 NumPy 数组的大小是固定的，不像 Pytho ...
分类：
编程语言 时间：
2020-02-05 18:36:14
阅读次数：
68
zap是uber开源的Go高性能日志库，gitlab地址 安装 go get -u go.uber.org/zap 请注意，zap仅支持两个最新的Go版本。 示例 简单示例 格式化输出 package main import ( "go.uber.org/zap" "time" ) func mai ...
分类：
其他好文 时间：
2020-02-05 18:05:23
阅读次数：
71
pgspider 是在pg 源码中直接打的patch，增强了FDW 的功能 执行的特性 多租户 并行处理 数据下推 说明 pgspider 是一个很不错的扩展，目前官方已经支持了sqlite，mysql，influxdb 等数据库 参考资料 https://github.com/pgspider/p ...
分类：
数据库 时间：
2020-02-04 20:33:23
阅读次数：
109
一、一切从头开始 简述:知道事情的真相就应该从头 开始,下面我们代码先行 public class Program { public static void Main(string[] args) { CreateHostBuilder(args).Build().Run(); } public s ...
分类：
Web程序 时间：
2020-02-04 20:28:25
阅读次数：
87
0.介绍Nginx (engine x) 是一个高性能的HTTP和反向代理web服务器，同时也提供了IMAP/POP3/SMTP服务。Nginx是由伊戈尔·赛索耶夫为俄罗斯访问量第二的Rambler.ru站点（俄文：Рамблер）开发的，第一个公开版本0.1.0发布于2004年10月4日。其将源代... ...
分类：
系统相关 时间：
2020-02-04 10:53:31
阅读次数：
96
Netty 是一个高性能的网络框架，应用非常普遍，目前在Java 领域，Netty 基本上成为网络程序的标配了，Netty 框架功能丰富，也非常复杂。今天主要分析Netty 框架中的线程模型，而线程模型直接影响着网络程序的性能。
在介绍Netty 的线程模型之前，我们首先搞清楚网络编程性能的瓶颈在哪里，然后再看Netty 的线程模型是如何解决这个问题的。
分类：
Web程序 时间：
2020-02-04 00:19:51
阅读次数：
110
今天我们就先来了解一下池化技术的必要性、原理；然后使用 Apache-common-Pool2实现一个简单的数据库连接池；接着通过实验，对比简单连接池、HikariCP、Druid 等数据库连接池的性能数据，分析实现高性能数据库连接池的关键；最后分析 Pool2 的具体源代码实现。 ...
分类：
编程语言 时间：
2020-02-03 22:13:06
阅读次数：
106
高性能Java序列化框架Fse发布 [TOC] 使用场景 将Java对象序列化为二进制数据进行保存，以及二进制数据反向序列化为Java对象，在很多场景中都有应用。比如将对象序列化后离线存储至其他介质，或者存储于Redis这样的缓存之中。 目前常见的有几种框架可以支撑，比如 Hession ，Kryo ...
分类：
编程语言 时间：
2020-02-03 16:16:54
阅读次数：
87
# Redis 一、 概念： redis是一款高性能的NOSQL系列的非关系型数据库 1.1.什么是NOSQL NoSQL(NoSQL = Not Only SQL)，意即“不仅仅是SQL”，是一项全新的数据库理念，泛指非关系型的数据库。 随着互联网web2.0网站的兴起，传统的关系数据库在应付we ...
分类：
其他好文 时间：
2020-02-03 14:08:07
阅读次数：
74
