- 博客(87)
- 收藏
- 关注
RSS订阅转载 哈工大18年秋密码学作业及解析（英文）
这是2018年秋季学期哈工大本科密码学课程的作业及解析（英文）。大部分为本人所写，少部分参考了张宇老师的 课件 和 Introduction to Modern Cryptography (2nd edition) ，均已在解析中指出。另外还有一篇PDF包含了课件中常出现的缩写/符号，供参考。作业分为5次，大致覆盖了总结PPT上列出的知识点。老师并未发布标准答案，我也没有对答案进行...
2018-12-12 11:05:00
850
转载 关于TOCTTOU攻击的简介
前言最近看到了一些以 at 结尾的Linux系统调用，在维基百科上面说这可以防御一些特定的TOCTTOU攻击，而在TOCTTOU对应页面中并没有中文版的介绍，而且百度的结果也比较少，于是决定抽空写一个关于 TOCTTOU攻击的简介，其中部分参考了英文版的维基百科。什么是竞争条件与TOCTTOU？在电路设计、软件开发、系统构建中，如果一个模块的输出与多个不可控事件发生的先后时...
2018-08-09 16:59:00
646
转载 奇怪的骰子游戏
近日复习概率论（mathematics for computer science）的时候读到了一个有趣的例子，在这里分享一下。都是一些非常简单好玩的概率知识，学数学的同学请绕道...勿喷。 ;)这是一个平淡的星期天，你像往常一样在酒吧喝酒，顺便思考一下MMU分页机制的原理。过了一会儿，一个彪形大汉坐到了你的旁边，点了几杯伏特加开始狂饮。正当你想到内核如何通过虚拟地址更改页目录...
2018-08-01 20:59:00
475
转载 负的CPU保护环
什么是CPU保护环？在计算机科学中,分级保护域（英语：hierarchical protection domains），经常被叫作保护环（Protection Rings），又称环型保护（Rings Protection）、CPU环（CPU Rings），简称Rings。这是一种用来在发生故障时保护数据和功能，提升容错度，避免恶意操作 ，提升计算机安全的设计方式。工作在不同Ring...
2018-07-17 23:43:00
462
转载 哈工大18年春软件构造课程讨论题
这是哈工大18年春软件构造课程（徐汉川老师）的讨论题目，少部分答案摘录自课件PPT和网上的资源（链接在文中给出）。如有错误还望指出，谢谢。一、在软件测试过程中，“测试用例的数目”、“测试的覆盖度”、“测试的效率”三者之间存在一定的关系。简要分析它们之间的折中性。测试：--> 在规定的条件下对程序进行操作，以发现程序错误，衡量软件品质，并对其是否能满足设计要求进行评估的过...
2018-06-20 20:18:00
704
转载 解密TTY
本文内容来自The TTY demystified ，讲述了*NIX系统中TTY的历史与工作原理，看完后解决了我很多疑惑，于是做此翻译，与大家分享。译者：李秋豪 江家伟审校：V1.0 Sun May 13 12:42:01 CST 2018一直以来，TTY子系统都是Linux/Unix设计中的一个关键点。不幸的是，这种重要性通常都被忽略了，并且也很难找到相关的介绍性文章...
2018-05-13 12:52:00
178
转载 代码诗_春之恋
近日看到好友在空间写诗，突然想到之前在知乎看到的代码情诗，于是也跟着作诗一首。仅图一乐，有别的创意还请提出;);--------------------------------; Spring love ; Syntax: NASM; 李秋豪;--------------------------------SECTION Spring align=16 vstart=...
2018-05-02 23:35:00
144
转载 麻省理工18年春软件构造课程阅读13“调试”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有的练习题没有标准答案，所给出的“正确答案”为译者所写，有错误的...
2018-04-22 17:20:00
327
转载 麻省理工18年春软件构造课程阅读15“相等”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有的练习题没有标准答案，所给出的“正确答案”为译者所写，有错误的...
2018-04-12 21:11:00
193
转载 麻省理工18年春软件构造课程阅读12“接口与枚举”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有的练习题没有标准答案，所给出的“正确答案”为译者所写，有错误的...
2018-04-08 13:45:00
116
转载 麻省理工18年春软件构造课程阅读11“抽象函数与表示不变量”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有的练习题没有标准答案，所给出的“正确答案”为译者所写，有错误的...
2018-04-01 22:34:00
310
转载 麻省理工18年春软件构造课程阅读10“抽象数据类型”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的“正确答案”均为译者所写...
2018-03-29 00:48:00
193
转载 麻省理工18年春软件构造课程阅读09“避免调试”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误...
2018-03-25 13:40:00
137
转载 麻省理工18年春软件构造课程阅读08“可变性与不变性”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误...
2018-03-23 17:44:00
320
转载 麻省理工18年春软件构造课程阅读07“设计规格说明”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误...
2018-03-20 01:07:00
148
转载 麻省理工18年春软件构造课程阅读06“规格说明”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误...
2018-03-14 11:44:00
209
转载 麻省理工18年春软件构造课程阅读05“版本控制”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误...
2018-03-13 22:16:00
166
转载 麻省理工18年春软件构造课程阅读04“代码评审”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误...
2018-03-08 23:03:00
170
转载 麻省理工18年春软件构造课程阅读03“测试”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误...
2018-03-06 02:01:00
376
转载 麻省理工18年春软件构造课程阅读02“Java基础”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误...
2018-03-02 17:02:00
122
转载 麻省理工18年春软件构造课程阅读01“静态检查”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误...
2018-03-01 01:05:00
217
转载 深入理解计算机系统_3e 第十一章家庭作业 CS:APP3e chapter 11 homework
注：tiny.c csapp.c csapp.h等示例代码均可在Code Examples获取11.6A.书上写的示例代码已经完成了大部分工作：doit函数中的printf("%s", buf);语句打印出了请求行；read_requesthdrs函数打印出了剩下的请求报头，但是要注意书上写的是：void read_requesthdrs(rio_t *rp){ char...
2018-02-08 18:04:00
361
转载 深入理解计算机系统_3e 第十章家庭作业 CS:APP3e chapter 10 homework
10.61.若成功打开“foo.txt”：-->1.1若成功打开“baz.txt”： 输出“4\n”-->1.2若未能成功打开“baz.txt”： 输出“-1\n”2.若未能成功打开“foo.txt”：-->2.1若成功打开“baz.txt”： 输出“3\n”-->2.2若未能成功打开“baz.txt”： 输出“-1\n”10.7#includ...
2018-01-17 19:06:00
494
转载 CS:APP3e 深入理解计算机系统_3e MallocLab实验
详细的题目要求和资源可以到 http://csapp.cs.cmu.edu/3e/labs.html 或者 http://www.cs.cmu.edu/~./213/schedule.html 获取。在这个实验中我们需要实现自己的动态内存申请器（malloc、free、realloc）前期准备：完全阅读书本第9章man 3 realloc注意事项：1.先从小的测试...
2018-01-09 16:59:00
1171
转载 深入理解计算机系统_3e 第九章家庭作业 CS:APP3e chapter 9 homework
9.11A.00001001 111100B.+----------------------------+| Parameter Value |+----------------------------+| VPN 0x09 || TLB index 0x01 || TLB tag ...
2018-01-04 21:07:00
1546
转载 ls proc $$ self fd 3 255 引发的一些琐事
我在使用bash的时候通常会利用它的自动补全功能来看看文件夹下的内容（连按两下Tab键），例如：说明Music文件夹下有这三个文件，我也就不需要提前用ls命令来确定了。但是最近我在查看当前shell（bash）的文件描述符时时却碰见一个“怪事”，当我用bash的自动补全功能查看时，显示为有0, 1, 2, 255, 3这五个文件：但是当我用ls命令来显示fd文件夹的时候，却...
2017-12-31 20:01:00
217
转载 CS:APP3e 深入理解计算机系统_3e ShellLab(tsh)实验
详细的题目要求和资源可以到 http://csapp.cs.cmu.edu/3e/labs.html 或者 http://www.cs.cmu.edu/~./213/schedule.html 获取。前期准备Signal (IPC)signal(2) - Linux manual page - man7.orgfork(2) - Linux manual page - ma...
2017-12-26 23:44:00
1305
转载 深入理解计算机系统_3e 第八章家庭作业 CS:APP3e chapter 8 homework
8.9关于并行的定义我之前写过一篇文章，参考：并发与并行的区别 The differences between Concurrency and Parallel+----------------------------+| Process pair Concurrent?|+----------------------------+| AB ...
2017-12-25 08:40:00
857
转载 进程组与会话 Linux Process Groups and Sessions
在类Unix系统中，用户通常会跟各种相关的进程打交道。虽然在登录的时候只有一个终端进程（用户对应的登录shell ，通过这个shell启动各种程序和服务），但通常不久以后就会产生许多相关的进程，例如进行如下动作：在后台运行无交互的程序（例如bash命令中末位的"&"）通过shell的 job control在各种交互进程之间切换通过管道启动一组程序在图形环境下（例如X...
2017-12-22 20:35:00
146
转载 并发与并行的区别 The differences between Concurrency and Parallel
逻辑控制流在程序加载到内存并执行的时候（进程），操作系统会通过让它和其他进程分时段占用CPU（CPU slices）让它产生自己独占CPU的假象（同时通过虚拟内存让它产生独占内存的假象）。在CPU在执行一个进程的指令时，被执行的许多指令连接起来（也可以理解为程序计数器PC的变化）就构成了“逻辑控制流”。逻辑控制流的概念也不局限于进程，它在异常处理程序、线程、Java进程中均有体现。...
2017-12-21 20:02:00
163
转载 深入理解计算机系统_3e 第七章家庭作业 CS:APP3e chapter 7 homework
7.6+-----------------------------------------------------------------------+|Symbol entry? Symbol type Module where defined Section || ...
2017-12-18 00:22:00
572
转载 CS:APP3e 深入理解计算机系统_3e CacheLab实验
详细的题目要求和实验资源可以到教材官网 或者 课程官网 获取。 本次实验难点在Part B的64 * 64部分，主要介绍这一部分。Part A: 编写缓存模拟器前期准备：getopt和fscanf系列库函数对于这次实验很重要，不太明白的可以man一下，或者参考这两篇文章：Linux下getopt()函数的简单使用C 库函数 - fscanf()注意事项：1.由于我...
2017-12-12 07:28:00
450
转载 记一次做梦
这几天经常熬夜赶进度，精神也有些恍惚。下午竟然在实验室遇见了我的高中英语老师，奇怪的是，她硬是要教我几道数理逻辑的题目（前几天刚考完……），题目还都是英文的。我看了一下，思路都比较清楚，但是有一个单词 "lithon" 不知道是什么意思。“这个词是什么？”“哪个？ 这个读‘令哦’ ”“啥？”“令哦”“令哦？”“令哦”猛然惊醒。一旁的手机正“令哦令哦”的振动着。梦境...
2017-12-10 21:16:00
164
转载 深入理解计算机系统_3e 第六章家庭作业 CS:APP3e chapter 6 homework
6.22假设磁道沿半径均匀分布，即总磁道数和(1-x)r成正比，设磁道数为(1-x)rk；由题单个磁道的位数和周长成正比，即和半径xr成正比，设单个磁道的位数为xrz；其中r、k、z均为常数。所以C = (1-x)rk * xrz = (-x^2 + x) * r^2 * kz，即需要-x^2 + x最大，得到x = 0.5。6.23seek time : 4 msav...
2017-12-09 02:04:00
719
转载 深入理解计算机系统_3e 第五章家庭作业 CS:APP3e chapter 5 homework
5.13A.B. 由浮点数加法的延迟，CPE的下界应该是3。C. 由整数加法的延迟，CPE的下界应该是1.D. 由A中的数据流图，虽然浮点数乘法需要5个周期，但是它没有“数据依赖”，也就是说，每次循环时的乘法不需要依赖上一次乘法的结果，可以各自独立进行。但是加法是依赖于上一次的结果的（sum = sum + 乘法结果），所以该循环的“关键路径”是加法这条链。而浮点数加法的延迟...
2017-12-05 21:57:00
469
转载 CS:APP3e 深入理解计算机系统_3e Y86-64模拟器指南
详细的题目要求和资源可以到 http://csapp.cs.cmu.edu/3e/labs.html 或者 http://www.cs.cmu.edu/~./213/schedule.html 获取。虽然我们学校第四章没有要求做实验（Architecture Lab ），但课后作业用到了Y86-64的模拟器，也是实验材料的一部分。我在编译模拟器的时候遇到了两个困难，解决后在这分享一...
2017-12-04 05:34:00
356
转载 深入理解计算机系统_3e 第四章家庭作业（部分） CS:APP3e chapter 4 homework
4.52以后的题目中的代码大多是书上的，如需使用请联系 randy.bryant@cs.cmu.edu更新：关于编译Y86-64中遇到的问题，可以参考一下CS:APP3e 深入理解计算机系统_3e Y86-64模拟器指南流水线部分只写了偶数题号的，这几天太浮躁，落下了好多课。。。4.45A. 不正确，当REG为%rsp时，这样会压入%rsp - 8而非%rspB. 对于 p...
2017-12-02 21:31:00
946
转载 主次设备号 Device Major and Minor Numbers
对于一个设备文件而言真正重要的标志是它的主次设备号（major and minor device numbers）。如果我们用ls命令列出/dev下的一个设备：frank@under:~$ ls -l /dev/console crw------- 1 root root 5, 1 Nov 28 11:56 /dev/console可以看到，这是一个字符设备，但是在普通文件显示...
2017-11-28 14:31:00
332
转载 字符设备 Vs. 块设备 Character Device Vs. Block Device
字符设备是指驱动发送/接受单个字符（例如字节）的设备。块设备是指驱动发送/接受整块数据（例如512个字节为一个块）的设备。常见的字符设备：串口，并口，声卡。常见的块设备：硬盘（最小读取单位为扇区，而这些个扇区就是块），USB摄像头，U盘。对于用户而言，设备是字符设备还是块设备不重要，但是对于驱动编写者而言，这却是必要信息。转载于:https://www.cnblogs.c...
2017-11-28 13:57:00
310
转载 状态机：如何构建稳定的婚姻
相关：第一数学归纳法 vs 第二数学归纳法 vs 良序定理第二数学归纳法：硬币问题和堆垛游戏第一数学归纳法：施塔特中心的地板砖良序原理：算术基本定理的证明在这篇博文中我会依次复习一下状态机的定义、不变性原理、部分正确性和可终结性这四个和状态机相关的知识，并举出一些有意思的例子辅以说明，最后解决一个关于稳定婚姻的有趣问题。0. 什么是状态机状态机是对“step-by...
2017-11-09 17:20:00
378
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人