Mirai | Blog

MIT 6.824 lab2 kv server

分布式kv存储系统与分布式锁

Linearizable Linearizable(线性一致性)指的是，在一个分布式系统中，server对client而言，看起来像是个单副本，单线程执行的系统，满足原子性和时间顺序。线性一致性是最强的一致性模型。在lab2中，任务是实现一个采用Linearizable的kv server，同时拥有网络容错机制。 KV server简介客户端通过clerk对象与服务端交互，调用两...

Posted by 渚汐 on October 13, 2025

MIT 6.824 lab1 MapReduce

分布式系统初识

MapReduce 简介 MapReduce是谷歌公司于2004年发布的一个用于处理大量数据集的系统。彼时的谷歌面临着一个巨大的挑战：数据增长速度极快，面对数以TB的数据，由于分布式系统十分复杂，且经常有机器宕机，靠程序员去维护这个庞杂的系统太过困难也太过低效。因此，他们开发了MapReduce系统。 MapReduce系统将数据的处理过程高度抽象，分为Map和Reduce两个阶段。其核...

Posted by 渚汐 on October 9, 2025

rcore学习日志

从入门到入土

3-30 今天训练营开幕,在参加训练营之前自己做到了ch2就没进行下去了,希望可以通过训练营督促自己继续进步. 3-31 今天因为有cpu的实验课,时间比较仓促,只简单看了下ch3的描述,还有很多没有搞明白,比如RR的实现,还有switch的实现等,明天时间比较多要仔细看一下.今天复习了一下操作系统课的进程调度相关内容,应该对接下来的学习有所帮助. 4-1 今天试图搞清楚ch3的操...

Posted by 渚汐 on March 30, 2025

IEEE-754标准

数值表示与计算

IEEE 754定义了浮点数的表示方法和运算方法表示方法单精度浮点数 32位，分为： IEEE-754 一位符号位sign ==S== 八位指数位exponent ==E==,称为阶码 23位小数位fraction ==M== 其中定义了偏置量bias=$2^{e-1}-1$,其中e是指数位的位数,在单精度浮点数中,为$2^7-1=127$ 为什么要用偏置量小数值...

Posted by 渚汐 on October 28, 2024

cs61c-project1-snek

简单的c语言贪吃蛇游戏

免责声明请不要抄袭代码,否则你的代码能力得不到任何锻炼! projec课程主页 Setup 请参考cs61c课程官方网站lab0自行设置,伯克利校外的不需要搭建虚拟环境即可完成项目,课程提供的本地测评足够使用了按照如下步骤进行: 1 2 3 4 5 mkdir pro1 cd pro1 git init git remote add starter https:/github...

Posted by 渚汐 on October 21, 2024

致许许多多的梦想与幸福

——献给《clannad》

一直以来，我总觉得自己应该写点什么，应该写一封给京阿尼的告白书。在衡中就曾幻想给语文活页投稿让全年级知道衡中也有粳米，却迟迟没有行动也难谈实现。近三周陆陆续续补完了《Clannad》（下文简称Cl）这部被誉为“催泪神作”的经典作品，心中似是感慨颇多，于是趁此机会写下此文，一来记录自己18岁时看完Cl后的体验，以供日后回味；一来表白京阿尼这家拯救少年三次的动画公司。不知自己在模板化的高中议论文...

Posted by 渚汐 on December 20, 2022

悼手表

公元二零二一年八月三十一日十六时三十三分，这块儿陪伴了我一年的手表，凭借她表带可自由拆卸的独特性质，在我未来得及意识到她已经悄悄地脱掉了自己身上的束带，将手从河面上收回时，以一种只有国家级跳水运动员水平才可以做出的华丽空中转体，在空中划出一道优美的抛物线，伴着一声清脆的噗通声和零水花，沉入了水面，永远地离开了我。和运动员不同的是，她永远不会再浮起来了。二零二零年七月份，我通过淘宝与她相识...

Posted by 渚汐 on August 31, 2021

世界以痛吻我，我却报之以歌

记观《紫罗兰永恒花园外传》

昨晚没忍住还是开了B站大会员，熬夜到12点40把紫罗兰永恒花园外传给看完了。京阿尼的作画还是那么细腻，那么细致入微。京阿尼给世界传递爱，但收到的却是恨，是一把大火，但这场大火后，京阿尼传递给我们的，仍然是永恒的爱。说回这部电影，讲述的是一个跨越时间和空间的姐妹情。妹妹是个孤儿，被自己都不能养活自己的姐姐收留。她们每天都过着食不果腹衣不蔽体的生活。电影中有这样两个片段：在姐姐的梦中，她...

Posted by 渚汐 on March 30, 2020

渚汐の小窝