[linuxkernelnewbies] WiSA: Wisconsin Safety Analyzer

2008-09-09 Thread Peter Teoh
http://www.cs.wisc.edu/wisa/about.html The phenomenal growth of shared resources such as the Internet reshapes our notion of privacy and organizational boundaries. Public domain and commercial-off-the-shelf (COTS) components are such shared resources. Use of COTS components is often

[linuxkernelnewbies] register_blkdev()

2008-09-09 Thread Peter Teoh
int register_blkdev(unsigned int major, const char *name) { struct blk_major_name **n, *p; int index, ret = 0; mutex_lock(block_class_lock); /* temporary */ if (major == 0) { for (index = ARRAY_SIZE(major_names)-1; index 0; index--) { if (major_names[index] == NULL) break; } if

[linuxkernelnewbies] Per-CPU Data

2008-09-09 Thread Peter Teoh
http://www.kernel.org/pub/linux/kernel/people/rusty/kernel-locking/x536.html 8.3. Per-CPU Data Another technique for avoiding locking which is used fairly widely is to duplicate information for each CPU. For example, if you wanted to keep a count of a common condition, you could use a spin

[linuxkernelnewbies] Linux-kerne l 九月 月 2008 年 按 线索 归档

2008-09-09 Thread Peter Teoh
http://zh-kernel.org/pipermail/linux-kernel/2008-September/thread.html 九月 月 2008 年 按 线索 归档 信息按下列方式排序: [ 主题 ] [ 作者 ] [ 日期 ] 关于 此列表的更多信息... 开始: 星期一 九月 1 09:07:14 CST 2008 结束: 星期二 九月 9 21:46:17 CST 2008 信息: 156 关 于单进程与多核CPU调度的疑问,谢谢   Miao Xie Re:

[linuxkernelnewbies] [PATCH 5 of 7] block: Block/request layer data integrity support | KernelTrap

2008-09-09 Thread Peter Teoh
http://kerneltrap.org/mailarchive/linux-kernel/2008/6/7/2056434 10 files changed, 849 insertions(+) Documentation/block/data-integrity.txt | 327 +++ block/Kconfig | 12 block/Makefile |1 block/blk-core.c