Sangria's Blog

原创 2019北航_夏令营

Day 1北航600人的大营，不报销路费，不提供食宿，真实的抠。早上报道后，在交流中心提交材料，然后各个实验室依次介绍，一直持续到11：30以后。有北航去年刚成立的杭州的研究院和苏州的研究院的宣传，特点是住宿条件非常好，全新的两人寝，博士生单人寝。下午分两批机试，如果分在第一批可能连饭都来不及吃。还好分在第二批，中午吃完饭，在某学长的指导下开始给老师发邮件（发了做数据挖掘的张日崇老师，做CV的...

原创 CRC校验原理

上图为一个模2除法的逆向乘法竖式， 多余的 “001” 也包含在结果中，加法运算用没有进位的按位异或来代替。根据乘法的计算过程，可以思考除法过程，依据 “1101” 和 “101001000” 来获得商和余数。通过观察可以看到，“101001000” 的最高位只受一个数的影响，也就是最后一行的 “1101” 的最高位，此时，我们将 “101001000” 减去 “1101” 来消除...

原创 LearnOpenGL_Hello Triangle

Vertex Buffer Object(VBO)一个openGL系统中可以有多个VBO，我们利用VBO来管理显存，VBO不是存储空间，一个VBO在显存中映射一块用于存储顶点数据的空间，并使用VBO中存储的数据来描述和管理这块空间，因此VBO是对象/结构体。系统中每次只能绑定一个VBO，绑定后就能访问到这个VBO对应的空间。绑定VBO就相当于在操作系统中更换页表，保证对存储空间...

原创 lab8

用户栈参数 uint32_t argv_size=0; uint32_t i; //计算所有参数的长度总和 for (i = 0; i < argc; i ++) { argv_size += strnlen(kargv[i],EXEC_MAX_ARG_LEN + 1)+1; } //在栈顶为字符串预留空间 ...

原创 lab7（管程）

管程moniter结构mutex：初始值为1，用于对管程的互斥访问next：初始值为0，作为一个等待队列，用于阻塞已获得mutex的进程，next_count用于记录阻塞于next的进程数，类似于条件变量中的等待队列，唤醒等待进程的信号不可存储，即只可以唤醒事先进入等待队列的进程，而不能记录信号用来使后来的进程避免等待。cv：条件变量，使需要等待某一条件出现的进程进入响应的等待...

原创 lab6（stride scheduling）

Stride调度分析论文链接：Stride Scheduling在实验中使用的Stride算法是结合时间片的一种优先级调度策略。每一个时间片结束时，选择就绪状态的进程中Pass值最小的进程分配一个时间片，在一个时间段中进程所获得的时间片数量和进程的优先级大致成正比。Resource rights are represented by tickets – abstract, fi...

原创 lab5（do_exit/do_kill/do_wait）

do_exit调用exit的进程将成为僵尸进程，同时将为所有子进程寻找新的父进程，在ucore中将内核线程init作为新的父进程。在linux中会实现寻找同进程组的进程来作为新的父进程，当找不到时在使用init。// do_exit - called by sys_exit// 1. call exit_mmap & put_pgdir & mm_destr...

原创 lab4（get_pid）

MAX_PROCESS: 系统内最多进程数MAX_PID: 是2倍的MAX_PROCESS, pid的范围是 [0, MAX_PID)next_safe: 在 [last_pid, next_safe) 区间内可以取得有效的（未被占用的）pid，初始化为MAX_PID，实际是大于last_pid且值最小的已占用的pid，在一定程度上能减少探测次数优化程序last_pid: 探测pid的...

原创 lab4（内核线程）

原创 lab3_练习1/2

当缺页中断发生时，调用alloc_page申请物理页时需要检查是否还存在空闲物理页（在default_alloc_pages中），当不存在时，调用swap_out，将fifo队首的页换出内存，将页写入磁盘，在pte中记录磁盘索引。intdo_pgfault(struct mm_struct *mm, uint32_t error_code, uintptr_t addr) { in...

原创 lab2_练习2/3

物理地址分布 ... ... ^ 0x00000 ^ start of ucore (0x100000) ^ end of ucore 首地址为pages的npage个s...

原创 lab2_练习1（已优化）

static voiddefault_free_pages(struct Page *base, size_t n) { assert(n > 0); struct Page *p = base; for (; p != base + n; p ++) { assert(!PageReserved(p) && !PageProper...

原创 lab1_练习6

kern/trap/trapentry.S0x7b80 - esp 在tf入栈完毕后入栈trapframe tf0x7b84 - 0x00000000 - edi0x7b88 - 0x000100b4 - esi0x7b8c - 0x00007bc8 - ebp0x7b90 - 0x00007ba4 - oesp note: pusha 能入...

原创 lab1_练习5（kdebug.c）

#include <defs.h>#include <x86.h>#include <stab.h>#include <stdio.h>#include <string.h>#include <kdebug.h>#define STACKFRAME_DEPTH 20extern const struct s...

原创 lab1_练习4（bootmain.c载入os）

### boot/bootmain.c bootmain=&gt; 0x7d10 &lt;bootmain&gt;: push %ebp 0x7d11 &lt;bootmain+1&gt;: mov 0x7df0,%eax # eax = SECTSIZE 0x7d16 &lt;bootmain+6&gt;: xor %ecx,%ecx # ecx = 0 = ...

原创 lab1_练习3_bootasm.S（设置gdt 进入保护模式）

#include <asm.h># with %cs=0 %ip=7c00..set PROT_MODE_CSEG, 0x8 # 内核代码段选择子 cpl=0 index = 1.set PROT_MODE_DSEG, 0x10 # 内核数据段选择子 rpl=0 ind...

原创 lab1_练习1

ucore的镜像文件ucore.img的生成初始状态如上图，执行“make V=”产生若干条gcc命令，参数-I用于添加头文件的搜索路径；-c 表示只产生目标文件。于是从若干.c文件产生对应的.o文件存放于obj目录下。ld命令用于将刚刚产生的目标文件链接为。参数：-o bin/kernel，产生ucore操作系统的可执行文件（第一个软件）。...

原创 安装硬件模拟器qemu

1.sudo apt-get install qemu-system2.此时 /usr/bin 中的而可执行文件为 qemu-system-x86_64 和 qemu-system-i386，没有qemu3.执行一条软链接命令 sudo ln -s /usr/bin/qemu-system-x86_64 /usr/bin/qemu4.执行指令 qemu...

原创 zoj3232_It's not Floyd Algorithm(tarjan缩点/floyd)

题目大意给一张有向图，求最少能用多少有向边建图使新图的连通性和原图相同。思路在图中不存在环的情况下，当两点间能间接到达时，可将两点间的直接边删去，可用floyd求最长路，当两点间的距离为1时，则两点间不能间接到达，只能建边。可用tarjan缩点将有环图转为DAG，在缩点后的图上跑floyd即可。#include &lt;iostream&gt;#include &lt;cs...

原创 计蒜客_Lpl and Energy-saving Lamps_线段树

题目大意n个房间各有一些需要更换的台灯。每个月买m盏，包括上月累积，从左到右对各房间换灯泡，如果房间里需要更换的数量大于手中的灯泡数则跳过。询问某月累计对多少房间更换灯泡，以及剩下的灯泡数。思路线段树维护区间最小值，每次查询左边第一个小于手中灯泡数的房间。#include &lt;iostream&gt;#include &lt;cstdio&gt;#include &lt;...

原创 poj2311_Cutting Game_博弈_sg

题目大意两人轮流剪一张 w*h 的纸，每次只能选一张水平或竖直剪，先剪出 1*1 的获胜。思路1.某种局面的 sg 值是子局面的 sg 值的异或和2.当前局面的 sg 值是所有后继局面的 sg 值的集合的mex（不在集合内的最小非负整数）i * j 的后继局面为   i * k 和 i * (j - k) ,  k &gt;= 2 &amp;&amp; k &lt; j ;  ...

原创 hdu6267_Master of Random_概率

题目大意n个节点，i号节点以等概率以 1 ~ i - 1 节点中的一个为父节点，以等概率选择一个节点求以此节点为根的子树的所有节点的权值和。求权值和的期望。思路考虑每个节点被子树包含的概率，每个节点被包含的概率 * 该节点权值，并求和。n个节点形成一棵树并选择一个节点为根的所有情况共 n! 种。f(n, i) 为 i 号节点在n个节点的树中被包含的频数。f(n, i) = ...

原创 *UVA10900_So you want to be a 2n-aire? _概率dp_连续概率

题意初始有1元，依次回答 n 道题，看到第 i 题时已知答对的概率，可选择1.答题：答错收入0，答对乘22.不答：拿钱离开每道题的概率为 t 到1的均匀分布。每次答题前知道概率做出最优决策，求得到的钱的期望。思路求期望为倒推的dp设 e[i] 为已答对 i 题时的最终能得到的钱的期望，e[i] 是分为两部分关于x的积分，x 为 t 到 1 间的均匀分布e[i] ...

原创 uva1639_Candy_概率_取对数技巧

 题意两盒中各有n的糖果，每次以概率 p 取其中一只盒子的糖果，概率 1 - p 取另一只当打开一只盒子发现为空时另一只盒子中的糖果数的期望。思路考虑先发现0号盒子为空时的期望，取得过程为一个序列  x1 x2 x3 ... xt x(t + 1)x(t + 1) = 0,  x1...xt 为 01 得排列其中有 n 个0，i 个1（注意要考虑最后一次以p得概率打开0号盒子实际为...

原创 hdu2204_Eddy's爱好_容斥原理

题意求1到N范围内能表示为 M^k 的数的数量，k &gt; 1。思路设 pi 为质数；Ai 为具有某性质的数的集合，性质：x∈Ai，x = M^pi   [   x = M^ (p1^ t1 * p2 ^ t2 * ... pn ^ tn) = M'^p1 ， 当t1 &gt; 1时   ]ans =  |A1 ∪ A2 ... An - 1 ∪ An||Ai| = (i...

原创 hdu3466_Proud Merchants_排序_01背包

题意n个物品，分别价值vi，价格pi，要求在买i物品时至少有qi的钱。思路考虑普通的01背包：dp[ i ][ j ] = max(dp[ i - 1 ][ j ], dp[ i - 1 ][ j - p[i] ] + v[i])可理解为当手中有 j 的钱时考虑是否买物品i：dp[ i - 1 ][ j ]：不买 i，仍用 j 的钱去买前 i - 1 件物品；dp[ i -...

原创 hdu5282_Senior's String_dp_变形lcs

题意设L为字符串x和y的lcs长度，求x的不连续子串中能与y匹配的子串数。思路lcs[i][j]: x[1 ~ i] 和 y[1 ~ j] 的最长公共子序列长度 dp[i][j]: x[1 ~ i] 和 y[1 ~ j] 范围内，x[1 ~ i] 的长度为 lcs[i][j] 的不连续子串中能与 y[1 ~ j] 匹配的子串数。 当 x[i] != y[j] 时，对长度为 lcs[...

原创 洛谷P2774_方格取数问题_最大流_最小割

题目大意m * n 的矩阵中取数，不能取相邻的数，求能取得的数的和最大为多少。思路(i, j) 为 i 行 j 列的单元格，根据 i + j 的奇偶性将节点分为两个集合，在矩阵中相邻得节点分别在图的两侧，得一个二分图。s 点向左侧节点建边，容量为节点在矩阵中的值。右侧节点向t 建边，容量为节点在矩阵中的值。左侧节点向在矩阵中相邻的右侧节点建立容量为INF的边。进入S集的...

原创 uva1515_Pool construction_最大流_最小割

题目大意给一个 h * w 的矩阵，'#' 表示草地，'.' 表示洞，草地变成洞花费d，洞变成草地花费f，在洞和草地的边缘间围栏花费b，求最小花费。要求矩阵边缘必须是草地。思路矩阵中的每个单元为一个节点，节点分为两个集合S集和T集，最终与s相连的S集节点为草地，T集节点为洞。s向原为草地的节点建容量为d的边，当此边进入最小割时，此节点进入T集，即草地变为洞，边缘草地与s建立容量...

原创 hdu_4920_Matrix multiplication

题目大意计算 n * n 的矩阵 A 和 B 模3下的积。思路强算的复杂度为n^3，想办法用bitset优化到n^2。把 A 的每一行存为一个bitset，同理存B的每一列，但每个元素最大为2：a1 = x1 + y1  a2 = x2 + y2a1 = 2时，a1 = 1 + 1a1 = 1时，a1 = 1 + 0   ...a1 * a2 = (x1 + y1) * (x2 + y2) = x...

原创 uvalive_6528_Disjoint water supply(DAG)

题目大意有编号为1 ~ c 的 c 个点，在点上建有向边，如果有边 a -&gt; b ，则a一定小于b。因此图为DAG。问有多少点对 （a， b），存在两条路分别从1到达a和b，并且在两条路上只有1同时出现。假设1和其他点都满足条件。思路计算所有不满足条件的点对数。编号从小到大对点进行标记，如果前驱节点的标号相同，此节点也标记相同的号，如果不同就标记为自己的序号。边界条件：如果前驱节点中有1则标...

原创 bzoj_世界树_虚树_树形DP_lca_倍增

#include &lt;iostream&gt;#include &lt;cstdio&gt;#include &lt;cstring&gt;#include &lt;algorithm&gt;#include &lt;cmath&gt;#define INF 0x3f3f3f3f#define rep0(i, n) for (int i = 0; i &lt; n; i++)#d...

原创 CodeForces - 960C_Subsequence Counting_二进制

题意数列的所有子数列（不一定连续）中，删去最大元素和最小元素只差大于等于d的子数列后，剩下x个，求一个这样的数列。且数列长度不超过1e4，数列元素属于 1 ~ 1e18思路贪心构造数列，分为几组数，组内元素相同，相邻组相差d。此时只有组内元素会产生符合要求的子数列，当第i组元素的个数位 ki 时，产生 2^ki - 1 个子数列。  要将 x 分解为 一系列   2^ki - 1 的和，不如先考虑...

原创 hdu6053_TrickGCD_莫比乌斯反演_快速幂优化_前缀和

#include &lt;iostream&gt;#include &lt;cstdio&gt;#include &lt;cstring&gt;#include &lt;algorithm&gt;#include &lt;cmath&gt;#include &lt;map&gt;#define INF 0x3f3f3f3f#define rep0(i, n) for (int i =...

原创 蓝桥杯_横向打印二叉树

题目大意读入一棵二叉搜索树并横向打印样例10 8 5 7 12 4 样例输出...|-1210-|...|-8-|.......|...|-7.......|-5-|...........|-4思路打印的 "|" 其实是子节点和祖先节点的连接，如果在搜索种能记录节点自身一行最末尾的 "|", 使其子节点能够打印与祖先节点的连接，就可以打印成树，但子节点不是和所有祖先节点都有连接的，子节点和直接父亲...

原创 hdu4652_Dice_概率DP

题目大意给以m个面的色子，求：0.多次抛掷中最后n次点数相同的抛掷次数的期望1.多次抛掷中最后n次点数各不相同的抛掷次数的期望思路0.概率DP的倒推求法，设dp[i]为最后i次点数相同直到最后n次点数相同还需要抛掷的次数的期望dp[i] = 1 / m * dp[i + 1] + (1 - 1 / m) * dp[1] + 1边界：dp[n] = 0可用等比数列求和公式求通项1.设dp[i]为最后...

原创 zoj3329_One Person Game_概率DP

题目大意三个色子分别有k1 k2 k3 个面，标号都为1~ki，落到各面的概率相等。从0开始每抛一次色子前进三个色子的点数和个单位，直到前进至大于n。当抛出a，b，c时，回到0。求抛色子的次数的期望。思路求期望时适宜用时间上晚于此状态的状态来更新此状态。设此状态为p，并以一定的概率转移到a，b，c状态，则 dp[p] 可用 pr(p, a) * dp[a] + pr(p, b) * dp[b] +...

原创 SGU495_Kids and Prizes_概率DP

题目大意n个装有物品的盒子，m个人，依次以等概率选择盒子从中取出物品并放回盒子，求取出物品个数的期望。思路一类期望题，前面的操作的结果会对此次的操作产生影响，对于连续和离散的随机变量可分别用积分和求和来求期望。用到期望的性质公式: E(A + B) = E(A) + E(B)A: 前 i - 1 次取出物品的期望B: 第i次期望dp[i] = dp[i - 1] + Σp(x) * (n - x)...

原创 ZOJ3380_Patchouli's Spell Cards_概率DP

题目大意用n个数填m个位置，每个位置上出现每个数的概率相同，求存在一个数再序列中出现的次数 &gt;=l 的概率。思路求概率转化为求   -&gt;  符合要求的序列的数量 / 总序列数量 -&gt;   (总序列数量 - 不符合要求的序列的数量) / 总序列数量不符合要求的序列的数量即序列中每个数出现不超过ldp[i][j] 表示用前i个数添m个位置上的任意j个位置的情况数量dp[i][j] =...

原创 poj2411_Mondriaan's Dream_状压DP(插头)

题目大意用 1 * 2 的骨牌密铺 h * w 的方格思路用k记录考虑第(i, j)时的复杂状态，k &amp; (1 &lt;&lt; (j - 1)) 为1时表示此时已被之前的操作所覆盖（来自 (i - 1, j) 或 (i, j - 1)），为0时未被覆盖三维dp数组，一直超时，降维后AC#include &lt;iostream&gt;#include &lt;cstdio&gt;#i...