- 博客(3)
- 资源 (5)
- 收藏
- 关注
原创 qemu创建虚拟机powerpc
最近需要验证字节存储大端小端的问题,于是就要在windows下装个虚拟机验证一下,可是像virtualBox这种都是按着硬件的方式来虚拟的,所以硬件是intel的也没法模拟出大端的CPU。最后网上搜到qemu,它是用软件的方式来模拟,所以可以模拟出很多平台的很多机器架构的东西,当然因此,它也会有点慢。(可以下载kqemu来帮助模拟,这样会几乎达到真机的速度,但是我还没有尝试)。由于是命
2014-11-28 18:24:57 7664
原创 pc-lint使用
最近在做arm64的移植,在网上看到了lint系列静态代码分析工具,在windows下就是pc-lint了,便拿来用了一下,功能还是挺强大的。初次上手,过程中也遇到不少疑惑,写此文来记一下。首先,安装好pc-lint后,可去官网上下载最新的补丁(包括补丁更新器lpatch和补丁配置如l9-a-b.lp),这些都是最新的功能补充,网址:http://www.gimpel.com/html
2014-11-28 15:20:20 2593
chubby-paxosMadeLive.pdf
2020-01-31
MulticoordinatedPaxos.pdf
2020-01-31
ASimplerProofForPaxosAndFastPaxos.pdf
2020-01-31
Paxos made simple.pdf
2020-01-31
模拟系统计算器,简易计算器
2012-04-08
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人