Avatar_small

理解指令的restrict属性

restrcit属性说明 restrict: EACM中的任意一个之母。它是用来限制指令的声明格式的。 E - 元素名称:<my-directive></my-directive> A - 属性: <div my-directive="exp"> </div> C - 类名:<div cl...

Avatar_small

$\sum{\frac{n}{{{e^{2\pi n}} - 1}}}$型的级数求解

两个结论:\[\left\{ \begin{array}{l}\sum\limits_{n = 1}^\infty {\frac{n}{{{e^{2\pi n}} - 1}}} = \frac{1}{{24}} - \frac{1}{{8\pi }}\\\sum\limits_{n = 0}^\infty {\frac{{2n + 1}}{{{e^{\pi \left( {2n + 1...

Avatar_small

HDU 4861 Couple doubi

前天刚到学校,很久没刷题,需要一段时间寻找状态。 这是22号的多校,我没赶上,现在重新写一下来帮助自己找回状态。 由于p一定是素数,打表可知循环节为p-1,并且只有p-1号球有价值。一开始题意理解错,以为必须从第一号球开始轮流拿,其实是任意顺序拿的。这样,求出总共可以拿到几次有价值的球k,如果k为奇数则代表doubiNan可以多拿一次,输出"YES"...

Avatar_small

3192: [JLOI2013]删除物品

第200题纪念

Avatar_small

调整系统时间

linux中的时间,我知道的有两种:系统时钟,硬件时钟 1.系统时钟 查看指令 date 修改指令1: date 月日时分年.秒 截图: 修改命令2: data -s 时:分:秒 2.硬件时钟 查看命令: hwclock --show 修改命令: hwclock...

Avatar_small

dmesg 总结

1.dmesg介绍 在dmesg里我们可以查看到开机信息,printk产生的信息等。若研究内核代码,在代码中插入printk函数,然后通过dmesg观察是一个很好地方法。 2.dmesg输出含义 dmesg 输出的数字含义是什么,纠结了一会儿,下面给出解释 终端输入dmesg,可以看到每行最开始显示的是一个综括号,里面的数字为timestamp...

Avatar_small

[笔记] 概率和数学期望初步

昨天做CF #146(Div.2) vp的时候被D题数学期望虐残了,于是今天自学了一下数学期望相关的基础知识。题目没做多少,主要是在思考概念。 ps:感谢叶队Blog里的笔记!

Avatar_small

搜索,快人一步

缘起 在一群文件里搜索特定的文本,第一个想到的工具是经典的 grep。自从知道 ag——The silver searcher 之后,我就只在命令行管道里用 grep 啦。 ag 的优势: 命令短 和 ack 以及 git grep 一样,默认会忽略掉你通常不想看的文本(二进制文件、被版本控制系统忽略掉的文件) C 编写的,比 ...

Avatar_small

gdb代码调试总结

1.gdb 编译、运行 编译:gcc -g -Wall hello.c -o hello 调试:./hello 2.设置断点 b 函数名 b 行号 上述b为break的简写 设置好断点后,可以通过info break查看设置的断点: 3.continue指令 运行到断点停止后,可以输入...

Avatar_small

文件系统--重命名的实质

在minix系统中输入如下指令 mv /tmp/test/a.txt /tmp/test/ttt/b.txt 文件系统具体的操作时什么? step1 :找到/tmp/test所在目录项对应的数据块,得到a.txt文件的inode number,假设是0x18,并把inode number设为0,这样就把a.txt删除了 step2 :通过路径名得到/tm...

Avatar_small

模块化系统盘正在使用的文件系统类型

背景: 在我的博客将文件系统模块化一文中提到了系统盘所在分区的文件系统,不能运用那篇文章介绍的方法。原因很简单:举例说明: 系统盘所在的分区为/dev/sda1。该分区的文件系统内类型为ext4。启动系统,为保证系统能运行,系统就自动将内核中的ext4.ko插入到模块中了。所以已经不给你机会再插入自己编译的该模块了。 那如果我偏偏就像研究ext4文件系统呢,难不...

Avatar_small

Codeforces Round #146 (Div. 2)

晚上没事干,就跟着SkyDec大神浪打一场Codeforces…… SkyDec选了一把,居然是丽洁姐出的题……真是有(sang)趣(xin)极(bing)了(kuang)……

Avatar_small

Linux内核 ext2 文件系统 makefile详解

先给出两个makefile相关链接: http://www.yayu.org/book/gnu_make/make-04.html http://www.yayu.org/book/gnu_make/make-06.html 例1:linux-2.6.34.14\fs\ext2\makefile详解​​ # # Makefile for the ...

Avatar_small

在 Arch 里使用 KVM 装 Arch

准备 首先检查 CPU 支持。需要 CPU 支持虚拟化的。 grep -E "(vmx|svm|0xc0f)" --color=always /proc/cpuinfo 没输出就没戏了。现在的 CPU 一般都支持的。 然后是内核支持。 zgrep CONFIG_KVM /proc/config.gz zgrep CONFIG_VIRTIO /pro...

Avatar_small

webpy在insert时psycopg2.OperationalError: ...currval 仍没被定义

在用webpy的db.insert()向postgres插入数据时出现 Traceback (most recent call last): File "upgrade2.0.py", line 170, in <module> copy_webservice() File "upgrade2.0.py&quo...