If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged whe ...
分类：
其他好文 时间：
2018-06-15 12:59:32
阅读次数：
136
The theory (for the language lawyers and the mathematically inclined): equals() (javadoc) must define an equivalence relation (it must be reflexive, s ...
分类：
其他好文 时间：
2018-06-15 12:58:38
阅读次数：
190
本文实验的测试环境：Windows 10+cmd+MySQL5.6.36+InnoDB 一、事务的基本要素（ACID） 1、原子性（Atomicity）：事务开始后所有操作，要么全部做完，要么全部不做，不可能停滞在中间环节。事务执行过程中出错，会回滚到事务开始前的状态，所有的操作就像没有发生一样。也 ...
分类：
数据库 时间：
2018-06-15 12:57:24
阅读次数：
194
文件夹路径 程序目录 /usr/pgsql 数据目录/usr/local/pgdata 文件夹路径 程序目录 /usr/pgsql 数据目录/usr/local/pgdata 准备工作 获得源码 mkdir /opt/soft_bak cd /opt/soft_bak wget https://ft ...
分类：
其他好文 时间：
2018-06-14 20:41:20
阅读次数：
191
桌面管理 桌面壁纸采用steam上的动态壁纸开机自动运行steam以及相关程序 桌面图标共四个 1. Work(工作) 主要存放各种编程,编辑,制作软件(快捷方式) 2. Material(资料)资料磁盘的快捷方式 3. Game(游戏)存放各种游戏以及娱乐的软件(快捷方式) 4. Rollback ...
分类：
其他好文 时间：
2018-06-14 18:06:00
阅读次数：
166
There are multiple modules with names that only differ in casing. 此图为 博主（初雪日）的截图， 这个问题虽然不报错，但是会对项目有影响，具体啥影响，目前还没发现一切正常，但是避免代码出bug所以一定要代码规范，要不然会出现各种奇葩的 ...
分类：
其他好文 时间：
2018-06-14 14:29:13
阅读次数：
395
// Spin lock implementation. // BasicLockable. // Async-signal safe. // unlock() "synchronizes with" lock(). class spinlock { std::atomic _busy = { fa... ...
分类：
编程语言 时间：
2018-06-13 18:12:19
阅读次数：
214
原文:Redis 主从配置(Windows版)安装从库 1、复制一份 Redis 文件，当做从库。 2、修改从库文件中 redis.windows.conf 的端口号。 3、安装服务，需要重新设置名称。然后去服务中，开启“redis6380”（此时就可以连接6380的库了） redis-server... ...
错误信息： [root@localhost network-scripts]# service network restart Shutting down interface eth0: ./network-functions: line 78: .: ifcfg-eth0: file not fo ...
分类：
Web程序 时间：
2018-06-13 11:43:43
阅读次数：
812
原文:Android Camera2 拍照入门学习 学习资料： 肾虚将军android camera2 详解说明极客学院android.hardware.camera2 使用指南Android 5.0(21)之后，android.hardware.Camera被废弃(下面称为Camera1)，还有.... ...
分类：
移动开发 时间：
2018-06-13 00:59:39
阅读次数：
223
