自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

GAUSS2021

数据库

  • 博客(8)
  • 收藏
  • 关注

原创 一文读懂三种并发控制机制(封锁、时间戳、有效性确认,大量例子+证明)

文章目录并发控制概述事务特性**定义**并发控制机制串行调度和可串行调度调度串行调度可串行化调度事务和调度的记法冲突可串行化冲突优先图证明使用锁的可串行化实现锁封锁调度器两阶段封锁(2PL)证明多种锁模式的封锁系统共享锁与排他锁相容性矩阵锁的升级更新锁增量锁总结锁的种类事务一致性、冲突和合法调度共享锁、排他锁、更新锁的例子封锁调度器的一种体系结构插入锁锁表锁表的结构封锁信息的数据结构封锁与解锁的处理封锁请求的处理解锁请求的处理数据库元素的层次可封锁元素多粒度的锁警示锁幻象与插入的正确处理树协议基于树封锁的动

2022-03-26 22:24:57 4234

原创 关系数据库设计理论中的定义

文章目录关系数据库设计理论定义函数依赖键属性的闭包异常分解Boyce-Codd范式 (BCNF)无损连接第三范式关系数据库设计理论定义函数依赖如果 RRR 的两个元组在属性 {A1,A2,..An}\{A_1,A_2,..A_n\}{A1​,A2​,..An​} 上一致,那么它们必定在其他属性 {B1,B2,..Bm}\{B_1,B_2,..B_m\}{B1​,B2​,..Bm​} 上也一致。记为{A1,A2,..An}→{B1,B2,..Bm}.\{A_1,A_2,..A_n\} \right

2022-01-05 22:46:21 576

原创 数据库系列 数据模型

数据模型数据模型一般用于描述数据库中数据的结构,也包含施加于数据上的各种约束。通常,数据模型提供了一套规则描述数据上的各种操作,比如数据查询和修改。层次/网状模型层次模型:类似于半结构化数据模型,是一个基于树的模型。它的缺点是不像现代数据模型那样,它是真正在物理层次上进行操作,这样程序开发者不能在一个较高层次上写出代码。关系模型关系代数关系代数是一门代数。一般地,代数由一些操作符(或称算子)和原子操作数组成。代数允许把操作符作用于原子操作数或代数表达式上来构造表达式。关系代数的原子操作数是代表关

2021-11-28 21:56:35 625

原创 CSAPP Lab3 - attacklab

文章目录Lab3 - attacklabPart I: Code Injection AttacksLevel 1Level 2Level 3Part II: Return-Oriented ProgrammingLevel 2Level 3Lab3 - attacklab仔细阅读官网上的说明指南,以下任务均是由指南发布的。Part I: Code Injection Attacksobjdump -d ctarget > ctarget.asmLevel 1第一部分无需注入代码,只需令

2021-07-30 22:44:48 741

原创 CSAPP Lab2 - bomblab

文章目录Lab2 - bomb进入实验phase_1phase_2Lab2 - bomb进入实验objdump -d ./bomb >> bomb.svim bomb.sgdb bombphase_10000000000400ee0 <phase_1>: 400ee0: 48 83 ec 08 sub $0x8,%rsp 400ee4: be 00 24 40 00 mov $0x402400,%esi 40

2021-07-15 00:57:55 1160

原创 计算机学习笔记

文章目录学习笔记基本单位位与字节x位结构寄存器与内存指针异质的数据结构结构学习笔记本文记录学习过程中的知识点,仅供参考。基本单位位与字节1字节 = 8位,1字 = 2字节 = 16位字节用byte、B表示,位用bit、b表示,字用word表示bwlq1 byte2 byte4 byte8 byte用 b、w、l、q 分别表示1字、2字、4字、8字每个指针都是8字节x位结构x位结构描述了一个CPU具有以下几方面的特征结构:寄存器最

2021-07-11 16:29:26 1800

原创 CSAPP Lab1 - datalab

文章目录Lab1 - datalabbitXortminisTmaxallOddBitsnegateisAsciiDigitconditionalisLessOrEquallogicalNeghowManyBitsfloatScale2floatFloat2IntfloatPower2Lab1 - datalabbitXor/* * bitXor - x^y using only ~ and & * Example: bitXor(4, 5) = 1 * Legal ops:

2021-07-06 22:10:29 428

原创 王爽 《汇编语言(第四版)》检测点节选

王爽 《汇编语言(第四版)》检测点节选第三章 寄存器(内存访问)寄存器含义用途dsdata segment指向数据段,使用偏移量(例如[0])来访问指向该地址的值cscode segment指向代码段,程序从此处开始执行ssstack segment永远指向堆栈段的段顶esextra segment指向拓展段检测点 3.1各寄存器的初始值:CS=2000H,IP=0,DS=1000H,AX=0,BX=0。程序从CS:IP指向的内存地址处开

2021-07-03 17:39:48 1394

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除