- 博客(397)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 CMU 15-445 Lab1 - Buffer Pool Manager
Lab1 - Buffer Pool Manager实验指导书构建一个新的面向磁盘的存储管理器，这样的存储管理器假定数据库的主要存储位置在磁盘上。在存储管理器中实现缓冲池。缓冲池负责将 pag 从主存到磁盘来回移动。允许 DBMS 支持大于系统可用内存量的数据库。缓冲池的操作对系统中的其他部分是透明的。例如，系统使用其唯一标识符 ( page_id_t)向缓冲池请求页面，但它不知道该页面是否已经在内存中，或者系统是否必须从磁盘中检索它。实现需要是线程安全的。多个线程将同时访问内
2021-11-10 14:41:07
1378
原创 CMU15-445 Lab0 - C++ Primer
Lab0- C++ Primer???? unique_ptr、矩阵相乘、gdb等。代码下载按照项目下的文档步骤：// 1. 新建一个仓库 bustub-private// 2. clone cmu db 远程代码到本地git clone --bare https://github.com/cmu-db/bustub.git bustub-publiccd bustub-public// 3. mirror到自己刚创建的远程仓库git push --mirror git@githu
2021-11-05 20:45:23
1693
2
翻译 实验指导书（翻译）Project 4: Transactions
Project 4: Transactions在之前的项目中，你已经建立了一个 key/value 数据库，通过使用 Raft，该数据库在多个节点上是一致的。要做到真正的可扩展，数据库必须能够处理多个客户端。有了多个客户端，就有了一个问题：如果两个客户端试图 "同时 "写同一个 key，会发生什么？如果一个客户写完后又立即读取该 key，他们是否应该期望读取的值与写入的值相同？在 Project 4 中，你将通过在我们的数据库中建立一个事务系统来解决这些问题。该事务系统将是客户端（TinySQL）和服务
2021-10-22 19:48:04
777
翻译 实验指导书（翻译）Project3 MultiRaftKV
Project 3 MultiRaftKV在 Project2 中，你建立了一个基于Raft的高可用的kv服务器，做得很好！但还不够，这样的kv服务器是由单一的 raft 组支持的，不能无限扩展，并且每一个写请求都要等到提交后再逐一写入 badger，这是保证一致性的一个关键要求，但也扼杀了任何并发性。[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-h9tK67iR-1634903019137)(https://github.com/tidb-incubator/tinyk
2021-10-22 19:45:58
839
翻译 实验指导书（翻译）Project2 RaftKV
Project2 RaftKVRaft 是一种共识算法，其设计理念是易于理解。我们可以在Raft网站上阅读关于 Raft 的材料，Raft 的交互式可视化，以及其他资源，包括Raft的扩展论文。在这个项目中，将实现一个基于raft的高可用kv服务器，这不仅需要实现 Raft 算法，还需要实际使用它，这会带来更多的挑战，比如用 badger 管理 Raft 的持久化状态，为快照信息添加流控制等。该项目有3个部分需要去实现，包括：实现基本的 Raft 算法在 Raft 之上建立一个容错的KV服务增
2021-10-22 16:26:36
1125
翻译 实验指导书（翻译）Project1 StandaloneKV
Project1 StandaloneKV在这个项目中，我们将会在列族的支持下建立一个独立的 key/value 存储 gRPC 服务。Standalone 意味着只有一个节点，而不是一个分布式系统。列族（CF, Column family）是一个类似 key 命名空间的术语，即同一个 key 在不同列族中的值是不同的。你可以简单地将多个 CF 视为独立的小型数据库。CF 在 Project4 中被用来支持事务模型。该服务支持四个基本操作：Put/Delete/Get/Scan，它维护了一个简单的 ke
2021-10-21 23:13:44
1754
原创 事务隔离级别的历史
隔离级别一、概述隔离级别是设计数据库系统的重要要求。对于事务来说，按照既定顺序一个接一个地执行，那么数据库最终一定会得到一个确定的正确的结果。然而，这样的实现对于现如今的系统来说代价太大。严格地顺序执行意味着事务之间的并发度为0，导致系统的性能不佳。我们知道，并不是所有的系统都要求事务达到一个强的正确性的顺序，只要能够提供一个一致性的状态，可以适当降低对事务正确性的要求。因此，我们需要一个能够提供不同要求的分级标准，根据应用的需求，来设计数据库系统不同隔离级别的实现，从而在满足应用要求的同时，也能够尽
2021-09-06 19:54:11
386
原创 Strong and Efficient Consistency with Consistency-Aware Durability(组会讲解)
有道云笔记：内容与此文章一致思维导图：本篇论文思维导图一、介绍一致性划分（1）按照一致性的强弱程度一致性（2）一般划分另一种划分2. 持久化模型跨客户端单调读一致性：从客户端读取的状态至少与之前从任何客户端读取时返回的状态是一样新的，不管是否有故障，也不管是否跨会话。内容：实现跨客户端单调读取一致性的方案，高性能+强一致性，支持在副本读取。对于可容忍写完后数据同步到大多数成员组之前机器故障导致数据丢失的应用来说，可以解决问题。二、CAD(consistency
2020-11-20 19:40:42
383
原创 Strong and Efficient Consistency with Consistency-Aware Durability（FAST 2020）翻译
摘要我们介绍了一致性感知持久性性或CAD，这是分布式存储中一种新的持久性方法，它可以在提供高性能的同时实现强一致性。我们通过设计跨客户端的单调读取来展示这种方法的有效性，它是一种新颖的强一致性属性，它在基于领导者的系统中提供跨故障和会话的单调读取。我们构建了ORCA，这是ZooKeeper的一个修改版本，实现了CAD和跨客户端单调读取。我们的实验表明，ORCA在提供强一致性的同时，与弱一致性的ZooKeeper的性能紧密匹配。同强一致性的ZooKeeper相比，ORCA显著性地提供了更高的吞吐量(1.8
2020-09-03 20:13:59
628
原创 Mit 6.824笔记（持续更新，欢迎指正）
Introduction1.什么是分布式系统?核心：通过网络使一群计算机通过相互通信来完成一些连贯的任务。例子：存储为大网站或者大数据计算（MapReduce）以及点对点文件共享等等原因：许多关键的基础设施是分布式的2.为什么人们要构建分布式系统?（以此获得更高的性能）通过并行增加容量（Parallelism）通过复制来容忍错误（fault tolerance）使计算物理上接近外部实体（Physical）通过隔离实现安全（security / isolated）困难:并发编程和复
2020-05-22 09:21:34
1528
原创 Go语言圣经练习题(私人答案，持续更新，欢迎讨论)
Go语言圣经网址：练习 1.1： 修改echo程序，使其能够打印os.Args[0]，即被执行命令本身的名字。package mainimport ( "fmt" "os")func main() { //定义两个string类型的变量 var s, sep string //循环,每次加一个，空格隔开 //修改：将1改为0,名字是0对应的 for i:=0; i<len(os.Args); i++{ s += sep + os.Args[i] sep = " "
2020-05-18 17:14:11
1310
原创 Go语言安装（Windows 64bit）
一、简介及安装简介2012年有了Go1的稳定版本。Go语言适用于高性能的分布式系统，支持海量并行。Go是一个精小强大的现代语言。安装Go语言安装：Windows 64bit首先，打开网址：https://golang.google.cn/dl/ go1.4.windows-amd64.msi选择win64的安装包下载完成后，安装这里注意，可以放在自己选择的位置，不必默认，但是会多几步配置环境变量的操作！结束安装。先看一下我们的文件位置（我的是F:\Go），记住！！！
2020-05-11 09:39:26
585
原创 R语言 安装过程
安装网址：R网址https://www.r-project.org/3.4.5.如果是第一次安装，选择base6.7.下载完成之后，双击运行。8.选择需要的语言9.10.11.12.13.14.15.16.打开之后的界面。恭喜，安装结束，开始学习，go ahead！...
2019-11-02 16:54:37
925
原创 识别浮点常量问题
识别浮点常量问题Time Limit: 1000 ms Memory Limit: 65536 KiBProblem Description编译器在对程序进行编译之前，首先要进行语法分析。通常，程序被分解成若干个小单元，然后和语言的语法模式进行匹配。在分析表达式的时候，变量的类型在变量声明的时候就决定了；而常量的类型需要从常量的形式来判断。假设你是自动编译器（ACM）开发小组的一员，负责P...
2018-09-23 16:29:45
342
原创 小C语言--词法分析程序
Time Limit: 1000 ms Memory Limit: 5000 KiBSubmit StatisticProblem Description小C语言文法<程序>→(){<声明序列><语句序列>}<声明序列>→<声明序列><声明语句>|<声明语句>|<空>&am
2018-09-21 17:06:41
269
原创 MSP430单片机原理及应用 实验
单片机原理及应用 课程实验（二）实验项目：MSP430简单程序设计 实验目的：学会用C语言进行简单程序设计 实验要求：掌握编写排序程序 实验内容： （1）设计一个对8个数据（0-255，任意设置）的由小到大排序程序。 （2）将结果显示在LCD显示器上。 程序代码如下：#include &amp;amp;amp;amp;lt;msp430x14x.h&amp;amp;amp;amp;gt;#include &amp;amp;amp;qu
2018-09-02 10:13:09
3014
1
原创 lingo 练习
3、某医院护士值班班次、每班工作时间及各班所需护士数如表所示.每班护士 值班开始时向病房报到，并连续工作8小时.试决定该医院最少需要多少名护士， 以满足轮班需要. model:min = x1+x2+x3+x4+x5+x6;x6+x1 >= 60;x1+x2 >= 70;x2+x3 >= 60;x3+x4 >= 50;x4+x5 >= 20;x...
2018-08-20 16:11:28
1650
转载 MSP430定时器综合试验
MSP430定时器综合试验1.实验目的： 学会定时器使用。2.实验要求：掌握定时器的定时控制编程。3.实验内容（1）编写键盘扫描程序。（2）编写LED显示程序。（3）用定时器控制8个LED循环显示程序（间隔时间1秒）。（4）编写用键控制LED灯循环方向，按键可以随时切换。。代码如下：#include <msp430x14x.h>#include "...
2018-06-29 08:43:46
706
转载 MSP430输入输出接口实验
MSP430输入输出接口实验1.实验目的: 学会对P口的使用。2.实验要求: 利用板上的按键，控制LED显示。3.实验内容（1）编写键盘扫描程序。（2）编写LED闪烁（时间间隔1秒，软件延时）显示程序。（3）编写用每一个键控制两个LED灯发光的程序，按键可以随时切换。代码如下：/********************************************...
2018-06-29 08:13:35
1713
2
原创 全字母句（Python）
全字母句（Python） Problem Description 全字母句 (pangram) 指包含字母表中全部 26 种英文字母（不区分大小写）的句子，其常被用于展示英文字体的显示效果。 现在，bLue 得到了很多句子，他想知道哪些句子是全字母句。 Input 输入数据有多组（数据组数不超过 100），到 EOF 结束。 每组数据包含一行长度不超过 100 的字符串。 Outpu...
2018-06-27 10:06:55
1000
原创 【网络流】 Island Transport HDU - 4280 （双向边）
In the vast waters far far away, there are many islands. People are living on the islands, and all the transport among the islands relies on the ships. You have a transportation company there. So...
2018-05-17 19:20:01
347
原创 Dining POJ - 3281(网络流)
Cows are such finicky eaters. Each cow has a preference for certain foods and drinks, and she will consume no others.Farmer John has cooked fabulous meals for his cows, but he forgot to check his me...
2018-05-16 08:59:49
234
原创 【洛谷】P2765 魔术球问题（网络流）
题目描述«问题描述：假设有n根柱子，现要按下述规则在这n根柱子中依次放入编号为1，2，3，…的球。（1）每次只能在某根柱子的最上面放球。（2）在同一根柱子中，任何2个相邻球的编号之和为完全平方数。试设计一个算法，计算出在n根柱子上最多能放多少个球。例如，在4 根柱子上最多可放11 个球。«编程任务：对于给定的n，计算在n根柱子上最多能放多少个球。输入输出格式输入...
2018-05-15 15:20:23
254
原创 【洛谷】P2764 最小路径覆盖问题（网络流dinic,建图）
题目描述«问题描述：给定有向图G=(V,E)。设P 是G 的一个简单路（顶点不相交）的集合。如果V 中每个顶点恰好在P 的一条路上，则称P是G 的一个路径覆盖。P 中路径可以从V 的任何一个顶点开始，长度也是任意的，特别地，可以为0。G 的最小路径覆盖是G 的所含路径条数最少的路径覆盖。设计一个有效算法求一个有向无环图G 的最小路径覆盖。提示：设V={1，2，…. ，n}，构造网络G1=(...
2018-05-15 13:21:06
297
原创 (洛谷) P2763 试题库问题（网络流dinic+建图）
题目描述«问题描述：假设一个试题库中有n道试题。每道试题都标明了所属类别。同一道题可能有多个类别属性。现要从题库中抽取m 道题组成试卷。并要求试卷包含指定类型的试题。试设计一个满足要求的组卷算法。«编程任务：对于给定的组卷要求，计算满足要求的组卷方案。输入输出格式输入格式： 第1行有2个正整数k和n (2 &lt;=k&lt;= 20, k&lt;=n&lt;= 1000...
2018-05-14 11:40:33
485
原创 Drainage Ditches(网络流入门)
Drainage Ditches Time Limit: 1000MS Memory Limit: 10000K Total Submissions: 83006 Accepted: 32249 DescriptionEvery time it rains on Farmer John’s fields, a pond forms over Bessie’s fa...
2018-05-11 17:07:09
1147
原创 D. Divide by three, multiply by two
D. Divide by three, multiply by two//map，long long int#include<bits/stdc++.h>using namespace std;vector<long long int>a;map<long long int , int>pre;map<long long int, long ...
2018-05-09 09:25:01
309
原创 Galactic Collegiate Programming Contest（结构体运算符重载，set）
Galactic Collegiate Programming Contest Problem ID: gcpc Time limit: 6 seconds Picture by GuillaumePreat on Pixabay, cc0 One hundred years from now, in 2117, the International Collegiate Programm...
2018-04-17 16:46:44
296
原创 饭卡【01背包】
饭卡Time Limit: 5000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 38824 Accepted Submission(s): 13290Problem Description 电子科大本部食堂的饭卡有一种很诡异的设计，即在购买之前判断...
2018-04-16 21:39:46
187
原创 Course Selection System 【01背包】
There are n courses in the course selection system of Marjar University. The i-th course is described by two values: happiness Hi and credit Ci. If a student selects m courses x1, x2, …, xm, then his ...
2018-04-16 15:12:34
670
原创 A Short problem【矩阵快速幂+循环节】
A Short problemTime Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 2920 Accepted Submission(s): 1023Problem Description According to a r...
2018-04-16 14:33:24
291
原创 Number Sequence(矩阵快速幂)
Number SequenceTime Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/32768 K (Java/Others) Total Submission(s): 193186 Accepted Submission(s): 48330Problem Description A number sequen...
2018-04-14 17:03:28
195
原创 Covering (矩阵快速幂)
CoveringTime Limit: 5000/2500 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 1353 Accepted Submission(s): 556Problem Description Bob’s school has a big pla...
2018-04-14 16:39:09
275
原创 Pick-up sticks(线段相交)
Pick-up sticks Time Limit: 3000MS Memory Limit: 65536K Total Submissions: 14393 Accepted: 5450Description Stan has n sticks of various length. He throws them one at a time on the floo...
2018-04-13 21:53:26
412
原创 Book Pile （双端队列）
There is a pile of N books on the table. Two types of operations are performed over this pile: - a book is added to the top of the pile, - top K books are rotated. If there are less than K books on ...
2018-04-13 16:52:14
264
原创 Cycling Roads
几何When Vova was in Shenzhen, he rented a bike and spent most of the time cycling around the city. Vova was approaching one of the city parks when he noticed the park plan hanging opposite the centra...
2018-04-13 16:39:48
371
原创 F - 水之矢 URAL - 1353
Vasya is the beginning mathematician. He decided to make an important contribution to the science and to become famous all over the world. But how can he do that if the most interesting facts such as ...
2018-04-03 17:41:56
217
原创 D - 石之锤 URAL - 1146 （最大子矩阵和）
Given a 2-dimensional array of positive and negative integers, find the sub-rectangle with the largest sum. The sum of a rectangle is the sum of all the elements in that rectangle. In this problem the...
2018-04-03 16:21:40
249
原创 风之羽翼 URAL - 1119
Many of SKB Kontur programmers like to get to work by Metro because the main office is situated quite close the station Uralmash. So, since a sedentary life requires active exercises off-duty, many of...
2018-04-03 15:12:20
305
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人