位置： E:\CNKI E-Study\localestudy\Literature\SAT求解器学习_6B1FE1DF69904FE2AEC3542DCF408574\VSIDS paper\VISDS-solvers\vsids-master-1\vsids-master-1\minisat-p ...
分类：
其他好文 时间：
2020-04-14 01:02:13
阅读次数：
76
Definite dimensionality明确的维度 Concept概念 problem solution(methodology)问题方法论 From哪来-> To哪去-> What理解-> Why主目-> How纲要-> What实施-> Monitor监控+feedback反馈 描述表达是 ...
分类：
其他好文 时间：
2020-04-13 19:58:15
阅读次数：
72
看到越南小哥 的github 上的Evaluating Performance of REST vs. gRPC ， 使用的是.NET Core 3.0 , 今天我把它升级到.NET Core 3.1 同样做了一个测试，文章的结果和他的博客文章是一样的：https://dev.to/thangchu ...
分类：
Web程序 时间：
2020-04-12 10:37:26
阅读次数：
210
使用File Explorer之前，让我们来看看File Explorer究竟是个什么东东。日常使用的手机中的所有数据都是存储在内存中的，或者SD卡。我们在查看时，这些数据是以文件夹和文件的形式展现的。那么模拟器自然要模拟手机的目录了，不错，File Explorer正如同手机中数据存放的目录。进入 ...
分类：
其他好文 时间：
2020-04-09 14:17:41
阅读次数：
86
1. ct_monitor 表记录200多万条记录 2. device 表 45 条记录 3. 两个表进行join并排序 需要 16.750 秒 我们一看，就知道这个结果 明显的 不符合常识！！！ 如果我们 先查 ct_monitor 表的 主键 排序之后的 6条记录，然后用那6条记录来关联 dev ...
分类：
数据库 时间：
2020-04-09 00:56:24
阅读次数：
100
* `synchronized`关键字提供了一种锁的机制，能够确保共享变量的互斥访问，从而防止数据不一致问题的出现。* `synchronized`关键字包括monitor enter和monitor exit两个JVM指令，它能够保证在任何时候任何线程执行到monitor enter成功之后都必须... ...
分类：
其他好文 时间：
2020-04-08 22:18:29
阅读次数：
78
我无法形容出这道题的题解，实在是太麻烦了，但是自己开的题，跪着也要做完，放个std仅供对拍 #include <cstdio> #include <algorithm> #include <vector> #include <cstring> using namespace std; const i ...
分类：
其他好文 时间：
2020-04-08 19:23:16
阅读次数：
170
performance_schema提供监控策略及大量监控项，包括：元数据锁、进度跟踪、事务、内存使用及存储程序等。但是，performance_schema又过于复杂，操作不便，所以5.7新增了 sys schema，基础数据来自于 performance 跟 information_shcema ...
分类：
数据库 时间：
2020-04-06 11:20:14
阅读次数：
99
1. 调整虚拟内存：Control Panel\\System and Security\\System Advanced system settings Advanced Performance 1. 清理磁盘：Disk Cleanup Clean up system files Windows ...
最近（以及预感接下来的一年）会读很多很多的paper......不如开个帖子记录一下读paper心得 Cache && Memory System Last level cache (llc) performance of data mining workloads on a cmp-a case ...
分类：
其他好文 时间：
2020-04-02 01:10:28
阅读次数：
73
