delphij's Chaos
选择chaos这个词是因为~~实在很难找到一个更合适的词来形容这儿了……
Posts
FreeBSD Vendor Summit 201211
FreeBSD Vendor Summit 是定期举行的使用 FreeBSD 的公司的交流会，这次是在 Yahoo 总部举办。不过，早上因为没有注意收听广播，结果在 237 上堵了半个小时，到会场的时候已经在演示 VTune 了。
Intel 的 VTune 是 Intel 非常好用的一套性能剖析工具。经过将近两年的不断努力，目前 Intel 已经可以提供用于 FreeBSD 的探测模块了，把生成的文件复制到安装了 VTune 的机器上，即可完成各种分析工作。Intel 的 Jim Harris 做了详细的演示，如果对购买和授权感兴趣，可联系 Intel 的销售 Greg Anderson （greg.anderson%intel.com）。预计2013年发布的 VTune 版本更新将内建相关驱动的源代码（BSD许可；如果现在就需要的话请和 Jim 联系），今天我们还讨论了关于把这些驱动直接放进 FreeBSD 的可能性，但估计需要另外走 Intel 内部的审批流程批准。这一进展相当令人振奋。
Warner 今年没有来参加 Vendor Summit，所以 Adrian 向大家介绍了近期 FreeBSD 在嵌入式方面的进展。内容和前几天 MeetBSD 的 Dev Summit 区别不太大。Robert Watson 强调了 Raspberry Pi 和 FreeBSD 之间有良好的关系，而且 Raspberry Pi 非常适合做教学用途。目前，FreeBSD 已经有了可以适用于不同 ARM 平台的、类似i386的通用内核，未来希望进一步发布不同的image来帮助新手完成安装。MIPS方面，现在有 zRouter 项目，目标是做一套完整的、类似 OpenWRT 的平台，其成果也正在逐渐合并到开发主线。
下午，后藤大地 (Daichi GOTO) 介绍了他的公司在日本推广 BSD 的情况，虽不明但觉厉。他提到了一些遇到的问题，例如 InfiniBand 性能等等，我想等段时间和他联系看看是不是有什么可以共享的资讯。
Read more...MeetBSD CA 2012流水账
昨天是会前的开发人员峰会，参加的人基本都是 src/ committer。我参加的讨论是 安装、虚拟化和存储。关于安装程序，目前基本的共识是 bsdinstall 需要重做（基本上 bsdinstall 是个 drive-by commit，作者现在态度是管杀不管埋，bug很多），而先前 Devin Teske 所做的 bsdconfig （目前未接入 world 联编，试了一下太 XX 复杂和强大了）和 DruidBSD 有很多东西可以添到安装程序中，而一票 committer 也已经为他撑腰，所以应该问题不会太大。
虚拟化方面，主要讨论了目前的现状。 Yahoo 在这方面做了一些工作，并将继续跟进。Sean Bruno 大致介绍了目前可用的驱动，NetApp 的开发人员着重介绍了他们的 BHyVe 的成果（普遍的意见是这些成果应尽快合并进 -CURRENT 主线）。此外， NetApp 和我们还讨论了关于微软 HyperV 支持的合并问题，目前微软的 HyperV 代码已经较为成熟，但合并还有一些非技术问题需要解决。
存储方面，讨论了目前遇到的一些问题。我同时处理了一个 mfi(4) 在操作超过 2TB 容量硬盘时的数据损坏问题，不过，这个修正已经来不及合并到 9.1-RELEASE 了，目前的想法是通过 Errata 方式先列出，等过一段时间以二进制更新的形式同代码一起发布。
今天是 MeetBSD CA 2012 的第一天。早上第一段是 NetBSD 的 David Maxwell 主持的讨论，实际的技术讨论不多。之后 Adrian Chadd 介绍了近期 FreeBSD 嵌入式方面的发展，目前 ARM 已经有了类似 x86 的通用内核（主要是 Warner Losh 的成果），并推荐大家尝试 Raspberry Pi。MIPS 方面，新加入的一批 committer 也有了相当多的成果，其中， zRouter 是 D-Link 的 Aleksandr Rybalko 主持的项目，目前已经支持多种无线路由器，等等。目前的问题是基本系统中仍有很多可以优化的空间，而高通 Atheros 也会继续支持相关的开发活动，包括 FreeBSD 的 wifi 支持。
Read more...节省你的时间，对不起，我不感兴趣
多年之前，老贾说过，对什么人都不能太好了，认识的，不认识的，都是这样。我觉得这方面我就是一直不觉悟。
最近有个人没事就在MSN上问我一堆问题，而这些问题完全是文档写得清清楚楚，或者稍微试一下就能知道答案的。我觉得我之前纯粹就是犯贱，照说，对这种问题应该直接假装看不见，本来咱也不认识，何必呢？
今天这哥们总算把我惹毛了，我这边改着patch，那边一条一条拼了命的发，当然，我的口气也不怎么客气，原文照登如下：
我擦，你丫不能自己查下文档么？要不付我点咨询费？有问题发到论坛去，别没事老跟im上问，我没义务支持私人的请求
嗯，是不太客气，于是，这哥们教训了我：
厚道点儿，你没亏吃
说到厚道嘛……只好先拉黑两天了，什么时候出来，看心情。另外：
- 我只在工作时间支持本公司客户提出的技术问题；我的私人时间优先解决我自己遇到的问题，然后是给社区无偿地做些事情，包括写代码和去论坛回答问题；
- 你提出问题的目的在于节省自己的时间，却在消耗我的时间；另一方面，你既然不愿意把问题发表在公开的论坛上，不愿意和公众分享这些知识，也就不会给社区带来什么贡献；
- 我对那种能节省你的时间，却不能给我自己社区带来好处的事情，不感兴趣。多说一句，对不起，就算您想给钱，我也没兴趣。
FreeBSD 9.1-RC3
总算是 命名了……现在 re@ 已经开始拒绝所有的变动请求，包括前几天的 High Point Technologies 驱动更新。不出意外的话，两周之内应该会正式 release 了。
Read more...gmpy/离散对数
前几天做一个解离散对数的题用到了 gmpy，它是 GMP 的 Python 封装，用来算大数。
这里记两笔。首先是大整数需要用 mpz 对象，例如：
p = mpz(13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084171)
判断大数是否是质数：is_prime(p) （求离散对数其实用不着）
求逆元 (x^-1)：invert(x, p)。例如， y = invert(x, p) 则 x*y % p = 1
幂取模：pow(x, n, p)，即 (x ^ n) % p。结果仍为 mpz。
mpz对象可以直接用在dict中做键值。
题目中提供的方法是分治，将解 x 拆成两部分 x0*B+x1，其中B是2的整数次方幂（约为x上限的开方，例如如果x的范围是2^40，则B=2^20）。这样 x0, x1 分别小于 B，将方程整理成 x0, x1 分别在等式左右（其它部分都是常数了），然后穷举 x0 对应的值（计算2^20次，保存所有结果），然后穷举所有的 x1对应的值，如果发现之前保存的结果中有匹配，则输出对应的 x0, x1，从而算出x。由于将搜索范围变成了sqrt(N)，所需的时间也就大大减少了。
Read more...加州地产补充税账单的计算
注意：这是我个人对于相关资料的理解和整理。具体问题请咨询专业人士。
1983年7月1日生效的加州法律规定，核税官需要在所有权发生变动，或有新增建筑时重新评估房地产价值。发生这种情况时，纳税人可能会收到一份或两份补充税账单。
补充税账单是由于少缴了一部分税。以账单附带的例子来说，如果交易发生之前房子的税基是 $360K（加州 1978 年公投通过的 Proposition 13 规定，除变更所有权或新建建筑之外，每年的税基增加不得超过2%，而由于人口的迅速增加，多数房屋的税基会比实际的估值要低很多），而交易价格是 $460K，则纳税人需要为增加的这 $100K 额外补充缴税。应缴金额应该是这 $100K * 税率。
不过，由于地产税是每半年缴一次，而交易不一定在什么时候发生，因此补缴税款要按交易的月份去折算。地产税的财年是每年7月1日到第二年的6月30日，为了方便描述，我们姑且把1-6月所在的那个财年称作"上一财年"，也就是去年7月到今年6月的那个财年，而把7月到12月所在的那个财年称作"下一财年"，也就是今年7月到明年6月的那个财年。
如果交易发生在7月之前，则对上一财年的补缴额系数是 (6-月份)/12。由于纳税人在7月份之前获得了产权，因此也就有责任补缴下一财年的全部税差（郡政府发出的第一份下一财年的地产税账单仍然是按照不超过2%递增的）。
如果交易发生在7月或7月以后，由于不涉及上一财年的税，因此无需为上一财年补税。而相应的，对下一财年的补税，则是按 (18-月份)/12 来计算。
实际操作中，这些系数只取两位有效数字。
Read more...为什么美国很多抽奖活动都会说 No purchase necessary
Disclaimer: I am not a lawyer and this is purely my notes about my personal understanding. 本人并非律师，以下内容纯属个人笔记性质，如有遇到问题请自行咨询专业人士。
我有时候很喜欢研究广告中的小字（“Fine print”）部分，因为很多时候这些细节正是最需要注意的地方。许多抽奖活动的广告中都会在小字部分写上 No purchase necessary，并承诺无论是否购买均不影响中奖机会。
这个写法很让人奇怪。因为一般来说抽奖应该算是一种促销手段，为什么要允许没有购买自己产品的人参加抽奖，而且要明确地写出来呢？
查阅有关资料之后知道，美国联邦法律是禁止公共广播公司宣传lottery的。一般来说法律对于lottery的定义是：
- 有奖
- 赢者为随机选出而非人人皆得
- 需要购买某种东西来获得这种机会
因此，如果要在广播以外的媒体同时做广告，这些广告就都必须让这个活动变成不是 lottery。显然，在这三项里面最后一项是最容易不做的。
Read more...立此存照：阿里云总裁王坚公开信：谷歌背离安卓初衷
纯转发，不评论。(存档防止将来有人删贴反悔。)
来自 新浪科技
新浪科技讯 9月18日下午消息，阿里云公司总裁王坚今日发表公开信，就谷歌与阿里之间的手机操作系统纷争发表看法。王坚认为，谷歌利用自己形成的优势，强迫合作伙伴限制对手，这一做法背离了谷歌坚持的开放原则。
以下为王坚公开信全文：
认真看了Andy Rubin的文章，作为曾经的Google技术和精神的粉丝，我和我身边的同事们深表遗憾和难过。在这里我们看到了一个不同的Google。那个当年坚持不作恶，坚持开放和自由竞争的Google变了！
在Andy Rubin的文章里，曾经开放的Android Open Source Project (AOSP)安卓已被Google重新定义成了需要Google许可的Google OS。
从Linux社区的贡献开始，安卓是全球无数技术自愿者共同努力开发的开放平台和心血。今天AOSP的安卓， 被Google变成了完全为自身利益服务的Google OS。
我们感谢Google当年创建了Android Open Source Project (AOSP)，让开放的Android得到了快速的发展，可是谷歌却越来越把AOSP往封闭的方向带。OHA(开放手机联盟)变成了Google制约厂家创新的工具。
阿里云作为安卓开放技术的支持者和热爱者，我们不愿意也决不会破坏开放安卓的生态系统，我们更是要捍卫开放安卓生态系统的开放性和自由竞争的初衷。我们为此做出了大量努力，希望能为安卓的开发者们提供更多的展示平台。
我们有责任和义务和开发者一起努力去完善开放的安卓，但我们没有责任和义务去保障Google OS现有的和未来的利益。
我们也希望这世界多一个与google os 不同的操作系统，让用户多些选择。
很遗憾，在未来的发展方向上，阿里云操作系统与Google OS会有竞争和冲突，但这正是我们所有坚持开放思想的奋斗者努力的方向和结果。我们一定还会坚持。
王坚
Read more...
