[PeterDLax著泛函分析习题参考解答]第6章 Hilbert 空间
1. 证明满足 (6) 的范数可以由一个内积诱导出来. 这个结论属于 von Neumann.
证明: 以实线性空间为例, 取内积 $$\bex \sex{x,y}=\cfrac{1}{4}[\sen{x+y}^2-\sen{x-y}^2], \eex$$ 则 $\sex{x,y}$ 为内积, 且 $\sex{x,x}^\frac{1}{2}=\sen{x}$.
Gronwall型不等式
Problem. Suppose $x(t)\in C[0,T]$, and satisfies $$\bex t\in [0,T]\ra 1\leq x(t)\leq C_1+C_2\int_0^t x(\tau)[1+\log x(\tau)]\rd \tau.
对合矩阵的两个性质
设 $n$ 阶矩阵 $A$ 满足 $A^2=E$. 证明: (1) $A$ 相似于形如 $\dps{\sex{\ba{cc} E_s&\\ &-E_{n-s} \ea}}$ 的矩阵; (2) 对于任何正整数 $m,k$, 都有 $$\bex \rank(A+E)^m+\rank(A-E)^k=n.
Hacking the PS4, part 1
Hacking the PS4, part 1
Introduction to PS4’s security, and userland ROP
From: Cturt
Note: This articl...
每天学点GDB（七）
近两周在做一个trouble shooting,需要对函数调用栈进行分析以找出入参和局部变量。因为在编译生成可执行程序的时候，用gcc进行了O2的优化，许多假设的函数调用栈模型都不成立了。花了一番周折，终于正确的翻译出入参和局部变量，此一旅程中的一些经验还是值得记录下来。
关于信号量与线程互斥锁的区别与实现
http://dev.firnow.com/course/6_system/linux/Linuxjs/20090901/173322.html
之前一直没有怎么关注过这个问题，前些日子在面试一家公司的时候，面试官提到了pthread_cond_wait/pthread_cond_signal的实现，当时答的不是很好，回来就查了nptl的代码。
一个有趣的过程 movq %rcx, %gs:0x80000000不能通过编译
# movq %rcx, %gs:0x80000000不能通过编译
今天有同事提问, 为什么
```
movq %rcx, %gs:0x7fffffff //可以通过编译
movq %rcx, %gs:0x80000000 //不能通过编译
```
其实就是一个立即数的差别, 应该是无差的, 好吧, 让我们来研究一下
# 第一步
先看一下```movq %rcx, %g