Posts

All the articles I've posted.

• 如何写一个正确的代码

  Posted on:March 5, 2021 |  at 09:56 AM

  我们如何写一个正确的代码? 答案是形式化验证,其中一个是霍尔逻辑 举个例子 ``` 快速幂 x> 0 x/2/2 ... 必定会归到1 或者0, 所以递归会有限次 快速幂 a^x = floo

• mvcc translate

  Posted on:February 18, 2021 |  at 02:52 PM

  5.1 INTRODUCTION 对于多版本并发控制算法来说,对于每个数据实例`x`的`写操作`都会生成一个`X`的新的副本(或者叫做版本). 数据管理器因此会保存一个包含数据管理器赋值过给X的所有

• mysql的select

  Posted on:January 28, 2021 |  at 01:42 PM

  ### 为什么想看select的代码 有一个场景,遇到一个表只有十多万,但是表大小有几十g,为什么呢?因为有个字段是longtext. 放了很多很长的文本.发现`select * from tab

• RSA

  Posted on:January 13, 2021 |  at 01:32 PM

  ### 前提相关定义 `质数的集合`为$Pri$ ### rsa 的证明 M是需要任意整数 , $e,d$需要满足 $$ e·d\equiv 1 \pmod{\phi(n)} \qquad(

• pdf format

  Posted on:January 6, 2021 |  at 01:44 PM

  - 相关阅读 https://www.adobe.com/content/dam/acom/en/devnet/acrobat/pdfs/PDF32000_2008.pdf https://pd

• three value prediate and sql

  Posted on:January 6, 2021 |  at 10:11 AM

  ### 三值逻辑 三值的谓词: 谓词求值后有三个元素`{T,F,U}` ,也就是`true` , `false` , 和`unknow` ### 求值和谓词 ``` SELECT 1=NUL

• 形式化语义和类型系统

  Posted on:December 25, 2020 |  at 08:59 AM

  ## rule ## judugment ## 语法 语法是一堆token组成的结构 ## 语义 语义是某个语法结构映射的内容 比如操作语义: 某个语法映射相关操作 指称语义: 语法映

• pushdown

  Posted on:December 21, 2020 |  at 09:29 AM

  ## 谓词下推: 为什么可以谓词下推? 因为交换律结合律 ## 怎么下推,也就是触发条件? rule instance ## 语义

• tcp与消息队列与paxos与顺序

  Posted on:December 17, 2020 |  at 10:11 AM

  我们如何保证消息的可靠性? 前提: 每块消息都是分割成一小块 如何保证不丢消息? 每块消息映射一个id , 我们只要保证每个id都有就能保证我们的消息必然是全的(没有丢失的 , 因为id是全

• 泛型

  Posted on:December 7, 2020 |  at 11:05 AM

  对于没有泛型的情况 比如 ``` max(a : int , b:int){ xxx } ``` 入参是a , b ,这两个参数的类型的约束是 `int` , 也就是这个函数的约束是 `ma