- 博客(27)
- 收藏
- 关注
RSS订阅原创 Concurrency Algorithms and Theories 06 Promosing
编译器会对程序进行某种优化但两种优化合并同时产生是，会发生严重的错误所以但WMM仍然有很多问题。。。
2022-11-20 03:00:00
150
原创 形式语言与自动机 01 ClassIntro
有穷自动机 grammars are used to describe the syntax of essentially every programming language上下文无关文法。
2022-11-19 22:59:46
64
原创 Concurrency Algorithms and Theories 05 The C11 memory model
non−atomic⊏ relaxed ⊏ release/acquice ⊏scnon-atomic \sqsubset \; \; relaxed \; \; \sqsubset \; \; release/acquice \;\; \sqsubset scnon−atomic⊏relaxed⊏release/acquice⊏scDefinition给定一个C11的执行图G，我们称两个事件a,b,是C11冲突的当那么成G是C11-racy， 当G的事件a,b发生C11raceC1
2022-11-19 22:57:30
64
原创 Concurrency Algorithms and Theories 04 Declarative semantics for concurrency
Definition （Execution graph of a command) 一个命令的执行图。表示通过限制G为事件而获取的顺序执行图，修改他们的线程描述符为0，丢弃rf边。sc是G.E上的一个全序，G被称为顺序一致的，即sc，当。给定一个线程Tidh和一个执行图G，G。G是程序P的执行图（结果为O），如果G。也就是说,每一个读操作都读取自写操作。是P（i）的执行图，对于每个Tid。一个执行图被称为顺序一致的，当。上述两种定义是等价的！一个执行图被称为完整的当。
2022-11-19 22:56:26
61
原创 Static Analysis 02 Intermediate Representation
Intermediate Representation
2022-10-20 08:23:24
137
原创 数据管理基础-NoSQL
阻抗失谐 1阻抗失谐 2列族存储 1列族存储 2列族存储 3分片 1分片 2分片 3分片 4主从复制 1主从复制 2对等复制 1复制一致性 1“复制一致性”(replication consistency)。要求从不同副本中读取同一个数据项时，所得到的值相同复制一致性 2照原样读出所写内容的一致性 1分布模型中“持久性”的权衡 1分布模型中“持久性”的权衡 2构建版本戳的方法1构建版本戳的方法2构建版本戳的方法3对等式分布模型中的版本戳1对等式分布模型中的版本戳2数组式版本戳1数组式版本戳2键值数据库1键值
2022-06-13 17:23:35
703
原创 数据管理基础-ch48-53
commit：rollback：故障是不可避免的故障的影响数据库的恢复恢复子系统是数据库管理系统的一个重要组成部分恢复技术是衡量系统优劣的重要指标事务故障的恢复步骤系统故障的恢复步骤介质故障的恢复步骤检查点技术 1检查点技术 2利用检查点的恢复策略 1利用检查点的恢复策略 2利用检查点的恢复策略 3利用检查点的恢复步骤数据库镜像 1数据库镜像 2数据库镜像的用途 1数据库镜像的用途 2
2022-06-01 04:00:00
463
原创 数据管理基础-ch54-57
多事务执行方式 1事务串行执行多事务执行方式 2多事务执行方式 3不一致性的例子 1不一致性的例子 2不可重复读 1不可重复读 2读“脏”数据 1读“脏”数据 2锁的相容矩阵 1锁的相容矩阵 2一级封锁协议 1一级封锁协议 2二级封锁协议 1二级封锁协议 2三级封锁协议 1三级封锁协议 2活锁 1活锁 2死锁 1死锁 2产生死锁的原因是两个或多个事务都已封锁了一些数据对象，然后又都请求对已为其他事务封锁的数据对象加锁，从而出现死等待。预防死锁的发生就是要破坏产生死锁的条件一次封锁法，要求每个事务必须一次将所
2022-06-01 04:00:00
787
原创 数据管理基础-ch58-61
**查询检查 1 **查询检查 2选择操作的实现 1选择操作的实现 2选择操作的实现 3选择操作的实现 4选择操作的实现 5选择操作的实现 6排序-合并算法 1排序-合并算法 2查询优化概述 1查询优化概述 2查询优化概述 3方案A 1Q1=πSname(σStudent.Sno=SC.Sno∧SC.Cno=′2′(Student×SC))Q1=πSname(σStudent.Sno=SC.Sno∧SC.Cno='2' (Student×SC))Q1=πSname(σStudent.Sno=SC.Sno∧S
2022-06-01 04:00:00
513
原创 数据管理基础-ch45-47
加载数据库驱动建立连接创建 Statement 对象，用于向数据库发送 SQL 语句；获取 ResultSet 对象，取出数据，此对象代表结果集；释放资源，断开与数据库的连接。ch 46 过程化SQL过程化SQL过程化SQLSQL的扩展增加了过程化语句功能基本结构是块块之间可以互相嵌套每个块完成一个逻辑操作过程化SQL的块结构定义部分DECLARE 变量、常量、游标、异常等定义的变量、常量等只能在该基本块中使用当基本块执行结束时，定义
2022-05-31 23:52:29
156
原创 数据管理基础-ch32-36
关系模式由五部分组成，是一个五元组：关系名R是符号化的元组语义U为一组属性D为属性组U中的属性所来自的域DOM为属性到域的映射F为属性组U上的一组数据依赖由于D,DOM与模式设计关系不大，因此可以把关系模式看作一个三元组：R数据依赖数据以来的主要类型函数依赖普遍存在在现实生活中描述一个学生关系，可以有学号、姓名、系名等属性一个学号值对应一个学生，一个学生只在一个系中学习“学号”值确定后，学生的姓名及所在系的值就被唯一确定[例6.1] 建立一个描述学校教务的数据库。
2022-05-31 23:51:59
79
原创 数据管理基础-ch26-31
[例5.1] 将Student表中的SnoSnoSno属性定义为码实体完整性定义 3[例5.2] 将SC表中的SnoSnoSno，CnoCnoCno属性组定义为码实体完整性检查和违约处理插入或对主码列进行更新操作时，关系数据库管理系统按照实体完整性规则自动进行检查。包括：检查主码值是否唯一，如果不唯一则拒绝插入或修改检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改实体完整性检查实体完整性检查 1检查记录中主码值是否唯一的一种方法是进行全表扫描依次判断
2022-05-31 23:51:28
117
原创 数据管理基础-ch23-25
用户权限定义和合法权检查机制一起组成了数据库管理系统的存取控制子系统GRANT语句的一般格式语义：将对指定操作对象的指定操作权限授予指定的用户发出GRANT：按授权限的用户WITH GRANT OPTION子句：不允许循环授权[例4.1] 把查询Student表权限授予用户U1[例4.2] 把对Student表和Course表的全部权限授予用户U2和U3[例4.3]把对表SC的查询权限授予所有用户[例4.4]把查询Student表的和修改学生学号的权限授予用户U4[例4.5]把
2022-05-31 23:49:41
1217
原创 数据管理基础-ch11-22
CREATE TABLE ( [ ][, [ ] ]CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY Sname CHAR(20) UNIQUE, Ssex CHAR(2));删除基本表DROP TABLE ［RESTRICT| CASCADE］;RESTRICT：删除表是有限制的。欲删除的基本表不能被其他表的约束所引用如果存
2022-05-31 23:49:07
147
原创 数据管理基础-ch08-10
笛卡尔积 1笛卡尔积 2笛卡尔积 3笛卡尔积 4例如，给出3个域：D1，D2，D3的笛卡尔积（其基数为2×2×3＝12）为笛卡尔积 5关系 1关系 2关系 3关系 4关系的类别关系模式 1关系模式 2实体完整性 1实体完整性 2关系间的引用 1关系间的引用 2外码 1外码 2外码 3外码 4参照完整性规则 1参照完整性规则 2参照完整性规则 3参照完整性规则 4设关系模式为R(A1,A2,...,An)R(A_1,A_2,...,A_n)R(A1,A2,...,An)他的一个关系设为Rt∈Rt\in
2022-05-31 23:48:29
297
原创 数据管理基础-ch00-07
layout: poststitle: 数据管理基础 ch00-07date: 2022-04-03 17:04:27tags:课程概要 1课程概要 2数据管理-人工管理 1数据管理-人工管理 2数据管理-文件系统 1数据管理-文件系统 2数据管理-文件系统 3共享数据 1共享数据 2数据举例 1[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-fTtTejf4-1654011681269)(https://s2.loli.net/2022/05/03/yckJEnwYa5
2022-05-31 23:42:22
639
原创 数据校验码
数据校验码Errorhard failuresoft errorQuestion: soft error 中 纠错和检测哪个更难?Error Correction基本思想储存额外的信息进行检错和校正处理过程数据输入： 使用函数f在M位数据D上生成K位校验码C数据输出：使用函数f在M位数据D’上生成新的K位校验码C’’，并与取出的C’进行比较没有检测到差错：使用D’（不代表没有error）检测到差错并且可以校正:校正数据D’来生成数据D’’，并用数据D’检测到差错但无法
2021-09-25 10:27:48
238
原创 关于在Windows上安装Linux系统的一点看法
关于如何在Windows中安装Linux系统这件事说明VMware的安装和虚拟机的新建新建虚拟机之后的一些操作和心得说明有的同学可能会问，win10不是自带了一个Linux子系统，为什么不拿来直接用呢？原因有三。首先，这种方法我在实际操作中进行到打开Powershell，输入bash命令之后，会出现系统找不到Ubuntu的情况，这就需要我们自己去安装Ubuntu，而win10虽然贴心的在Microsoft Store中配有Ubuntu给我们下载，但又有可能出现三个问题，即无法安装，无法获取，和安装之后
2021-04-17 20:20:05
1059
5
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人