<rt id="bn8ez"></rt>
<label id="bn8ez"></label>

  • <span id="bn8ez"></span>

    <label id="bn8ez"><meter id="bn8ez"></meter></label>

    posts - 403, comments - 310, trackbacks - 0, articles - 7
      BlogJava :: 首頁 :: 新隨筆 :: 聯(lián)系 :: 聚合  :: 管理

    2008年4月20日

    http://blog.yxwang.me/

    posted @ 2009-12-30 09:48 ZelluX 閱讀(470) | 評論 (0)編輯 收藏

    寫了好幾天的代碼因為還有bug沒de掉,沒commit到svn上

    然后不知怎么的在make的時候生成的kernel沒變化,于是直接make world,然后發(fā)現(xiàn)linux kernel目錄被清空了。。。

    只能明天靠記憶慢慢補(bǔ)了,皚皚。

    posted @ 2009-04-02 01:38 ZelluX 閱讀(893) | 評論 (3)編輯 收藏

    yifanw大牛半個月前發(fā)在c++版上的,怕以后忘了看先放在這備個忘吧

    白話入門
    http://www.newsmth.net/bbscon.php?bid=335&id=250203

    白話解決方案
    http://www.newsmth.net/bbscon.php?bid=335&id=250237

    白話參考文獻(xiàn)
    http://www.newsmth.net/bbscon.php?bid=335&id=250260

    posted @ 2009-03-25 22:14 ZelluX 閱讀(845) | 評論 (2)編輯 收藏

    最近有點(diǎn)忙,今天總算在某個課題deadline前把論文憋出來交上去了。跑這兒來推薦兩篇上個月看到的比較有意思的paper,都比較偏理論,也很老。

    今天寫介紹下第一篇,劍橋大學(xué)的A Logic of Authentication,中了SOSP '89,整理后發(fā)在1990年的ACM Transactions on Computer Systems上。
    http://www.csie.fju.edu.tw/~yeh/research/papers/os-reading-list/burrows-tocs90-logic.pdf

    (另一篇是Safe Kernel Extensions Without Run-Time Checking,改天再寫點(diǎn)介紹)

    這篇paper的主要工作是通過構(gòu)造一種多種類的模態(tài)邏輯(many-sorted model logic),來檢查網(wǎng)絡(luò)中驗證協(xié)議的安全性。

    基礎(chǔ)的邏輯分三部分:
    原語,如驗證雙方A和B,以及服務(wù)器S,下文用P Q R泛指
    密鑰,如K_ab代表a和b之間的通訊密鑰,K_a代表a的公鑰,{K_a}^{-1}代表對應(yīng)的私鑰,下文用K泛指
    公式(或者陳述),用N_a, N_b等表示,下文用X Y泛指

    接下來定義以下約定(constructs)
    P 信任 X: 原語P完全信任X
    P 看到 X: 有人發(fā)送了一條包含X的信息給P,P可以閱讀它或者重復(fù)它(當(dāng)然通常是在做了解密操作后)
    P 說了 X: 原語P發(fā)送過一條包含X的信息,同時也可以確定P是相信X的正確性的
    P 控制 X: P可以判定X的正確與否。例如生成密鑰的服務(wù)器通常被默認(rèn)為擁有對密鑰質(zhì)量的審核權(quán)。
    X 是新鮮的: 在此之前X沒有被發(fā)送過。這個事實(shí)可以通過綁定一個時間戳或者其他只會使用一次的標(biāo)記來證明。
    P <-K-> Q: P和Q可以通過共享密鑰K進(jìn)行通訊,且這個K是好的,即不會被P Q不信任的原語知道。
    K-> P: P擁有K這么一個公鑰,且它對應(yīng)的解密密鑰K^{-1}不會被其他不被P信任的原語知道。
    P <=X=> Q: X是一個只被P和Q或者P和Q共同信任的原語知道的陳述,只有P和Q可以通過X來相互證明它們各自的身份,X的一個例子就是密碼。
    {X}_K: X是一個被K加密了的陳述
    <X>_Y: 陳述X被Y所綁定,Y可以用來證明發(fā)送X的人的身份

    好了,總算把這些約定列完了,然后來看看通過這些約定能推出一些什么東東:
    如果 P 相信 (P <-K-> Q), 且 P 看到 {X}_K,那么 P 相信 Q 說了 X。
    這個例子很簡單,既然P Q有安全的密鑰K,那么P看到通過K加密后的X肯定認(rèn)為就是Q發(fā)出的。

    又比如,
    如果 P 相信 Q 控制 X,P 相信 (Q 相信 X),那么 P 相信 X
    也很容易理解,既然 P 相信 Q 的判斷,那么 Q 相信什么 P 自然也就相信了。

    再舉一個例子
    如果 P 相信 Y 是新鮮的,那么 P 相信 (X, Y) 也是新鮮的。
    這里(X, Y)表示 X 和 Y 的簡單拼接,也很容易理解,既然 Y 之前沒出現(xiàn)過,那么 X 和 Y 的組合自然也沒出現(xiàn)過。

    一個協(xié)議要被定義為安全,最起碼要滿足
    A 相信 A <-K->B,B 相信 A <-K->B
    即雙方要互相信任密鑰是安全的

    再健壯一點(diǎn)的協(xié)議,還要滿足
    A 相信 (B 相信 (A 相信 A <-K->B)),反之一樣
    即A B不僅相信密鑰,也相信對方相信自己對密鑰的信任。

    有了這些簡單卻強(qiáng)大的工具后,接下來這篇paper開始著手分析一些協(xié)議,包括Kerberos協(xié)議,Andrew Secure RPC 握手協(xié)議等,還指出了其中的一些問題和改進(jìn)措施,例如CCITT X.509 協(xié)議中可以通過重復(fù)發(fā)送一條老的信息來模仿成加密雙方中的一員。

    具體的分析不貼上來了,一方面對于我這個不熟悉TeX的人來說碼公式實(shí)在麻煩,另一方面我實(shí)在困死了 =_=

    建議有興趣的朋友好好看看這篇經(jīng)典paper

    posted @ 2009-03-18 03:10 ZelluX 閱讀(2513) | 評論 (0)編輯 收藏

    Some notes on lock-free and wait-free algorithms

    http://www.audiomulch.com/~rossb/code/lockfree/

    ?

    NOBLE - a library of non-blocking synchronization protocols

    http://www.cs.chalmers.se/~noble/

    ?

    An optimistic approach to lock-free FIFO queues (Distributed Computing 2008)

    http://people.csail.mit.edu/edya/publications/OptimisticFIFOQueue-journal.pdf

    ?

    High performance dynamic lock-free hash tables and list-based sets

    http://portal.acm.org/citation.cfm?id=564870.564881

    ?

    Concurrent Programming Without Locks

    http://www.cl.cam.ac.uk/research/srg/netos/papers/2007-cpwl.pdf

    ?

    Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms

    http://www.research.ibm.com/people/m/michael/podc-1996.pdf

    posted @ 2009-03-17 20:48 ZelluX 閱讀(2728) | 評論 (0)編輯 收藏

    抓抓大牛的博客(http://www.cnblogs.com/JeffreyZhao)上看到的鏈接,原文地址是
    http://blog.objectmentor.com/articles/2009/02/26/10-papers-every-programmer-should-read-at-least-twice

    貌似我只讀過那篇Reflections on Trusting Trust,水木的Programming版搜索作者為modico的帖子的前四篇就是介紹這篇paper的。

    先貼個列表,改天好好讀一讀
    1. On the criteria to be used in decomposing systems into modules – David Parnas
    2. A Note On Distributed Computing – Jim Waldo, Geoff Wyant, Ann Wollrath, Sam Kendall
    3. The Next 700 Programming Languages – P. J. Landin
    4. Can Programming Be Liberated from the von Neumann Style? – John Backus
    5. Reflections on Trusting Trust – Ken Thompson
    6. Lisp: Good News, Bad News, How to Win Big – Richard Gabriel
    7. An experimental evaluation of the assumption of independence in multiversion programming – John Knight and Nancy Leveson
    8. Arguments and Results – James Noble
    9. A Laboratory For Teaching Object-Oriented Thinking – Kent Beck, Ward Cunningham
    10. Programming as an Experience: the inspiration for Self – David Ungar, Randall B. Smith

    作者博客后面還新增了對它們的簡要評論

    posted @ 2009-03-02 18:24 ZelluX 閱讀(782) | 評論 (0)編輯 收藏

    2009-01-08

    以前碰到這個問題都得先重啟PieTTY然后用screen -x恢復(fù)到原來的工作界面,今天不知怎么的emacs里C-x C-s按了就掛起,只能google。

    傳說中,早期的終端會遇到顯示字符的速度慢于接收字符的速度,為了解決這個問題,C-s用于先掛起當(dāng)前終端,在數(shù)據(jù)傳輸之后用C-q恢復(fù)顯示。所以最簡單的解決方法就是在掛起后按C-q。

    不過我的WinXP中C-q已經(jīng)和快速啟動工具(寢室里是Turbo Launcher,實(shí)驗室的是Launchy)綁定了,也懶得為了這么個問題改操作習(xí)慣,于是再次google,終于找到一個一勞永逸的方法,以bash為例,在~/.bashrc中加入一行

    stty -ixoff -ixon

    即可。另外這樣設(shè)置后似乎恢復(fù)了C-s在bash中正向增量查找的功能。恩。


    posted @ 2009-02-17 12:12 ZelluX 閱讀(2145) | 評論 (0)編輯 收藏

    今年的ASPLOS '09上zhou yuanyuan也有一篇關(guān)于如何concurrent program中發(fā)現(xiàn)隱藏的atomicity violation bugs的paper,里面提到了這篇paper

    2008-11-30

    OSDI '08上MSR發(fā)的paper,針對并發(fā)編程中難以發(fā)現(xiàn)的bug問題。

    paper的內(nèi)容主要分兩大塊。

    一是如何在發(fā)現(xiàn)bug的時候記錄下線程的運(yùn)行先后(thread interleaving),途徑是在線程API和用戶程序多寫一層wrapper functions,這里還有一些其他的問題,比如只記錄下了thread interleaving的話出現(xiàn)data race怎么解決等。

    另外一塊內(nèi)容是如何遍歷出給定程序運(yùn)行后所能產(chǎn)生的結(jié)果的集合,加入這個能實(shí)現(xiàn)的話那就能把所有隱藏的bug都找出來了。但是這個搜索空間很大,是 指數(shù)級的,的一個結(jié)論就是:給定一個程序有n個的線程,所有線程共完成k條指令,那么c次占先調(diào)度后線程的排列情況數(shù)的復(fù)雜度是k^{c}的,所以在實(shí)現(xiàn)遍歷代碼的時候必須有效的降低k和c的值。

    posted @ 2009-02-17 11:30 ZelluX 閱讀(631) | 評論 (0)編輯 收藏

    問題現(xiàn)象:上校內(nèi)、一些國內(nèi)論壇時經(jīng)常出現(xiàn)連接重置(Connect reset)錯誤,而上google baidu等網(wǎng)站卻沒什么問題。ping那些有問題的網(wǎng)站的結(jié)果很正常。

    google了一堆關(guān)鍵詞后終于發(fā)現(xiàn)問題出在MTU上,至少在偶的本本上運(yùn)行
    sudo ifconfig eth1 mtu 1412
    就沒問題了(eth1是無線網(wǎng)卡)

    p.s 多謝萬熊? XD

    posted @ 2009-01-29 00:30 ZelluX 閱讀(883) | 評論 (2)編輯 收藏

         摘要: 發(fā)信人: linelf (水水), 信區(qū): Real_Estate
    標(biāo) 題: 蘇南經(jīng)濟(jì)模式興衰親歷記zz
    發(fā)信站: 日月光華 (2009年01月15日20:39:22 星期四)

      閱讀全文

    posted @ 2009-01-21 14:47 ZelluX 閱讀(900) | 評論 (0)編輯 收藏

    Bruce Eckel的一篇日志建議把self從方法的參數(shù)列表中移除,并把它作為一個關(guān)鍵字使用。
    http://www.artima.com/weblogs/viewpost.jsp?thread=239003

    Guido的這篇日志說明了self作為參數(shù)是必不可少的。
    http://neopythonic.blogspot.com/2008/10/why-explicit-self-has-to-stay.html

    第一個原因是保證foo.meth(arg)和C.meth(foo, arg)這兩種方法調(diào)用的等價(foo是C的一個實(shí)例),關(guān)于后者可以參見Python Reference Manual 3.4.2.3。這個原因理論上的意義比較大。

    第二個原因在于通過self參數(shù)我們可以動態(tài)修改一個類的行為:

    # ?Define?an?empty?class:
    class ?C:
    pass
    ?
    # ?Define?a?global?function:
    def ?meth(myself,?arg):
    myself.val?
    = ?arg
    return ?myself.val
    ?
    # ?Poke?the?method?into?the?class:
    C.meth? = ?meth

    這樣類C就新增了一個meth方法,并且所有C的實(shí)例都可以通過c.meth(newval)調(diào)用這個方法。

    前面兩個原因或許都可以通過一些workaround使得不使用self參數(shù)時實(shí)現(xiàn)同樣的效果,但是在存在decorator的代碼中Bruce的方法存在致命的缺陷。(關(guān)于decorator的介紹可以參見http://www.python.org/dev/peps/pep-0318/)

    根據(jù)修飾對象,decorator分兩種,類方法和靜態(tài)方法。兩者在語法上沒有什么區(qū)別,但前者需要self參數(shù),后者不需要。而Python在實(shí) 現(xiàn)上也沒有對這兩種方法加以區(qū)分。Bruce日志評論中有一些試圖解決decorator問題的方法,但這些方法都需要修改大量底層的實(shí)現(xiàn)。

    最后提到了另一種語法糖實(shí)現(xiàn),新增一個名為classmethod的decorator,為每個方法加上一個self參數(shù),當(dāng)然這種實(shí)現(xiàn)也沒必要把self作為關(guān)鍵字使用了。不過我覺得這么做還不如每次寫類方法時手工加個self =_=


    posted @ 2008-11-15 19:58 ZelluX 閱讀(2536) | 評論 (2)編輯 收藏

    2008年評出了1998年最具影響力的PLDI論文,獲獎?wù)撐牡淖髡邔⒎謹(jǐn)?000美元的獎金(還沒一等獎學(xué)金多 -_-b)

    2008 (for 1998): The Implementation of the Cilk-5 Multithreaded Language, Matteo Frigo, Charles E. Leiserson, and Keith H. Randall

    Citation

    “The 1998 PLDI paper “Implementation of the Cilk-5 Multithreaded Language” by Matteo Frigo, Charles E. Leiserson, and Keith H. Randall introduced an efficient form of thread-local deques to control scheduling of multithreaded programs. This innovation not only opened the way to faster and simpler runtimes for fine-grained parallelism, but also provided a basis for simpler parallel recursive programming techniques that elegantly extend those of sequential programming. The stack-like side of a deque acts just like a standard procedure stack, while the queue side enables breadth-first work-stealing by other threads. The work-stealing techniques introduced in this paper are beginning to influence common practice, such as the Intel Threading Building Blocks project, an upcoming standardized fork-join framework for Java, and a variety of projects at Microsoft.”

    另外前幾年的獲獎paper有:
    2007 (for 1997): Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling, Glenn Ammons, Thomas Ball, and James R. Larus

    2006 (for 1996): TIL: A Type-Directed Optimizing Compiler for ML, David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee

    2005 (for 1995): Selective Specialization for Object-Oriented Languages, Jeffrey Dean, Craig Chambers, and David Grove

    2004 (for 1994): ATOM: a system for building customized program analysis tools, Amitabh Srivastava and Alan Eustace

    2003 (for 1993): Space Efficient Conservative Garbage Collection, Hans Boehm

    2002 (for 1992): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen.

    2001 (for 1991): A data locality optimizing algorithm, Michael E. Wolf and Monica S. Lam.

    2000 (for 1990): Profile guided code positioning, Karl Pettis and Robert C. Hansen.

    posted @ 2008-10-17 20:08 ZelluX 閱讀(534) | 評論 (2)編輯 收藏

    兩者配合,更完美的知識管理方案

    http://hi.baidu.com/qq303520912/blog/item/de5cba082db83e36e924889e.html

    Endnote是目前國內(nèi)科研人員使用最多的文獻(xiàn)管理軟件,功能最完備,各數(shù)據(jù)庫或大學(xué)圖書館等和它的兼容也是最好。它的Filter和style 也最為豐富,而且可以自己創(chuàng)建修改。看看周圍的人,大部分都是Endnote的用戶。   Zotero作為一個新的文件管理系統(tǒng),與Endnote相比還是稚嫩了些,特別對于國內(nèi)數(shù)據(jù)庫的支持不佳,更是限制了它的應(yīng)用。

    不過,Zotero作為Firefox瀏覽器的插件,還是有一些特別之處。

    第一,便攜。Firefox是有Portable版本的,當(dāng)然Zotero也就是Portable了,也就是說可以把火狐和Zotero放到U盤里,在任何一臺電腦上都可以 使用。而Endnote就沒有這么方便了。

    第二,便利。使用電腦時,我們使用瀏覽器的時間要大大多于Endnote的時間,遇到有用的文獻(xiàn)、網(wǎng)頁或者需要做筆記,直接使用Zotero更加省時省力。而且它自動收集網(wǎng)頁中文獻(xiàn)信息的功能也大大方便了操作。

    第三, 分享。EndnoteX以后可以把一個library發(fā)送成一個檔案文件(.enlx),使得文獻(xiàn)交換更為方便。不過有時我們只需要幾條文獻(xiàn)時,這樣操作 就大動干戈了。當(dāng)然Endnote也支持所選部分文獻(xiàn)的導(dǎo)出,但這樣有不能夠?qū)С龈郊▓D片、PDF等(此處為個人經(jīng)驗,是否Endnote也能導(dǎo)出 附件來還望您不吝賜教)。而Zotero就可以實(shí)現(xiàn)某條文獻(xiàn)所有內(nèi)容(題錄、筆記、附件)的全部導(dǎo)出,而且可以為另一Zotero用戶所完整接受。

    第四,跟蹤文獻(xiàn)的收集。很多數(shù)據(jù)都支持檢索式或者引文的提醒,會隨時把新的內(nèi)容發(fā)送到郵箱或者以RSS的形式發(fā)布。一般來說,查看這些都需要瀏覽器。有了Zotero,我們可以在查看的同時收集下有用的文獻(xiàn)信息。

    Zotero更適合于在日常工作、學(xué)習(xí)甚至娛樂時使用,而Endnote更適合在有明確目的時使用。有人說Zotero更像“知識管理軟件”, 而 Endnote就是為文獻(xiàn)服務(wù)的。兩者可以實(shí)現(xiàn)互補(bǔ),在日常工作中使用Zotero收集零散的資料,積累一定量之后將文獻(xiàn)信息導(dǎo)入到Endnote中,使 用Endnote管理、引用文獻(xiàn)信息。至于PDF、圖片等附件的管理,我還是建議使用Zotero,方便且可以完整導(dǎo)出。

    下面談一下Zotero和Endnote中文獻(xiàn)的互相導(dǎo)入。

    Zotero導(dǎo)入Endnote:
    1 選定文獻(xiàn),右鍵點(diǎn)選”export selected items”;如果是導(dǎo)入整個Library或者cellection可在相應(yīng)圖標(biāo)上右鍵點(diǎn)選;
    2 在彈出的對話框中選擇導(dǎo)出的格式為”Refer/BibIX”, 選擇文件目錄,保存文件,格式為.txt;
    3 在Endnote中打開一個library,執(zhí)行“files-import”;
    4 在對話框中選擇剛才的.txt文件, Impott Option選Refer/BibIX,Text Translation選Unicode(UTF-8)。點(diǎn)確定后即可導(dǎo)入。

    Endnote導(dǎo)入Zotero:
    1 選擇文獻(xiàn)后,執(zhí)行“files-export”;
    2 選擇Output Style為Endnote Export,命名后導(dǎo)入,得到.txt文件。
    3 在Zotero中執(zhí)行“actions-import” ,選擇得到的文件,點(diǎn)確定即可導(dǎo)入。
    上述導(dǎo)入方式僅能實(shí)現(xiàn)文獻(xiàn)題錄的導(dǎo)入。

    posted @ 2008-10-17 20:07 ZelluX 閱讀(8778) | 評論 (0)編輯 收藏

    BBS上的一個帖子,問題是
    def?a():
    ????
    def?b():
    ????????x?
    +=?1
    ?
    ????x?
    =?1
    ????
    print?"a:?",?x
    ????b()
    ????
    print?"b:?",?x
    ?
    def?c():
    ????
    def?d():
    ????????x[0]?
    =?[4]
    ????x?
    =?[3]
    ????
    print?"c:?",?x[0]
    ????d()
    ????
    print?"d:?",?x[0]

    運(yùn)行a()會報UnboundLocalError: local variable ‘x’ referenced before assignment
    但是運(yùn)行c()會正確地顯示3和4。

    原因在于原因在于CPython實(shí)現(xiàn)closure的方式和常見的functional language不同,采用了flat closures實(shí)現(xiàn)。

    “If a name is bound anywhere within a code block, all uses of the name within the block are treated as references to the current block.”

    在第一個例子中,b函數(shù)x += 1對x進(jìn)行賦值,rebind了這個對象,于是Python查找x的時候只會在local environment中搜索,于是就有了UnboundLocalError。

    換句話說,如果沒有修改這個值,比如b中僅僅簡單的輸出了x,程序是可以正常運(yùn)行的,因為此時搜索的范圍是nearest enclosing function region。

    而d方法并沒有rebind x變量,只是修改了x指向的對象的值而已。如果把賦值語句改成x = [4],那么結(jié)果就和原來不一樣了,因為此時發(fā)生了x的rebind。

    所以Python中的closure可以理解為是只讀的。

    另外第二個例子也是這篇文章中提到的一種workaround:把要通過inner function修改的變量包裝到數(shù)組里,然后在inner function中訪問這個數(shù)組。

    至于為什么Python中enclosed function不能修改enclosing function的binding,文中提到了主要原因還是在于Guido反對這么做。因為這樣會導(dǎo)致本應(yīng)該作為類的實(shí)例保存的對象被聲明了本地變量。

    參考網(wǎng)站:http://www.python.org/dev/peps/pep-0227/


    posted @ 2008-10-17 20:06 ZelluX 閱讀(509) | 評論 (0)編輯 收藏

    acm queue 9月的雜志的主題是The Concurrency Problem,力推了Erlang這個語言,其中有篇文章簡單的介紹了下這個message-oriented語言。

    查了下這個名字的讀法,正確的讀法應(yīng)該是air-lang,這里元音a的發(fā)音和bang中的a一樣。

    文章中的第一個程序就有點(diǎn)令人費(fèi)解,主要原因在于Erlang的語法和一般的imperative language差別很大,和functional language比較類似,但是本質(zhì)上也有很大的不同。

    以Java的一個計數(shù)程序為例
    //?A?shared?counter.
    public?class?Sequence?{
    ????
    private?int?nextVal?=?0;
    ?
    ????
    //?Retrieve?counter?and?increment.
    ????public?synchronized?int?getNext()?{
    ????????
    return?nextVal++;
    ????}
    ?
    ????
    //?Re-initialize?counter?to?zero.
    ????public?synchronized?void?reset()?{
    ????????nextVal?
    =?0;
    ????}
    }

    這個程序的功能不用多說了,一個同步的計數(shù)程序。它的Erlang翻譯版的代碼為

    -module(sequence1).
    -export([make_sequence/0, get_next/1, reset/1]).
    ?
    % Create a new shared counter.
    make_sequence() ->
    spawn(fun() -> sequence_loop(0)end).
    ?
    sequence_loop(N) ->
    receive
    {From, get_next} ->
    From!{self(), N},
    sequence_loop(N + 1)<SEMI>
    reset ->
    sequence_loop(0)
    end.
    ?
    % Retrieve counter and increment.
    get_next(Sequence) ->
    Sequence!{self(), get_next},
    receive
    {Sequence, N} -> N
    end.
    ?
    % Re-initialize counter to zero.
    reset(Sequence) ->
    Sequence! reset.

    初看這個程序自然是一頭霧水,不過程序的函數(shù)式風(fēng)格味還是很濃的。

    前面提到,Erlang是基于message的,或者說message sending機(jī)制是包含在語言系統(tǒng)內(nèi)部的,語法就是 pid ! message

    接下來再來分析這個簡單的程序。開頭兩行是模塊和函數(shù)聲明,略去。make_sequence開始這個進(jìn)程,spawn/1內(nèi)置函數(shù)創(chuàng)建一個新的進(jìn)程,并返回pid到調(diào)用者。

    初始時運(yùn)行的函數(shù)是sequence_loop(0),這個函數(shù)接收兩種信息,用receive表達(dá)式聲明:如果收到形式是{From, get_next}的信息,就返回當(dāng)前的N并調(diào)用sequence_loop(N+1),這樣下一次收到同樣的信息時就能返回N+1了;reset則等價 于Java版本中的n=0語句。

    get_next/1則是發(fā)送給pid為Sequence的進(jìn)程 {self(), get_next} 這樣一個信息,上面解釋的sequence_loop/1函數(shù)收到這個信息后會返回一個 {self(), N} 的tuple給get_next/1,收到這個信息后get_next/1就能返回N這個值了。

    最后reset/1函數(shù)則是發(fā)送給Sequence一個reset信息。

    這個簡單的程序里能大致窺見一些Erlang的特點(diǎn),尤其是它基于信息發(fā)送的本質(zhì)。

    posted @ 2008-10-17 20:05 ZelluX 閱讀(1901) | 評論 (0)編輯 收藏

    09月 18, 2008
    第一個testkernel在Xen中的載入

    The Definitive Guide to Xen中第二章的例子,make成功后運(yùn)行xen create domain_config,報錯
    Error: (2, ‘Invalid kernel’, ‘xc_dom_compat_check: guest type xen-3.0-x86_32 not supported by xen kernel, sorry\n’)

    google之后發(fā)現(xiàn)是虛擬機(jī)類型設(shè)置的問題,運(yùn)行xm info可以看到
    xen_caps : xen-3.0-x86_32p
    末尾的p表示Xen內(nèi)核開啟了PAE模式,所以載入的kernel也必須開啟PAE,在bootstrap.x86_32.S中加入PAE=yes選項即可。

    09月 25, 2008
    DomainU中調(diào)用do_console_io

    The Definitive Guide to Xen第二章的Exercise,通過調(diào)用hypercall page中的console_io項輸出Hello World。

    void?start_kernel(start_info_t?*?start_info)
    {
    ????HYPERVISOR_console_io(CONSOLEIO_write,
    12,"Hello?World\n");
    ????
    while(1);
    }


    但是默認(rèn)選項編譯和啟動的Xen是不會保留DomainU中輸出的信息。參考drivers/char/console.c,可以看到主要有兩個選項控制了DomainU的do_console_io輸出:

    #ifndef?VERBOSE
    ????
    /*?Only?domain?0?may?access?the?emergency?console.?*/
    ????
    if?(?current-&gt;domain-&gt;domain_id?!=?0?)
    ????????
    return?-EPERM;
    #endif

    if?(?opt_console_to_ring?)
    {
    ????
    for?(?kptr?=?kbuf;?*kptr?!=?'\0';?kptr++?)
    ????????putchar_console_ring(
    *kptr);
    ????send_guest_global_virq(dom0,?VIRQ_CON_RING);
    }


    VERBOSE選項可以在編譯Xen的時候開啟debug選項,而opt_console_to_ring則是一個啟動選項,在grub的啟動選項中增加loglvl=all guest_loglvl=all console_to_ring即可。

    重啟Xen后就能通過xm dmesg看到Hello World了。

    09月 25, 2008
    Xen: Remove support for non-PAE 32-bit

    看來我還是用Xen 3.1吧 = =

    Subject: [Xen-devel] [PATCH] xen: remove support for non-PAE 32-bitLink to this message
    From: Jeremy Fitzhardinge (jer…@goop.org)
    Date: 05/09/2008 04:05:34 AM
    List: com.xensource.lists.xen-devel

    Non-PAE operation has been deprecated in Xen for a while, and is rarely tested or used. xen-unstable has now officially dropped non-PAE support. Since Xen/pvops’ non-PAE support has also been broken for a while, we may as well completely drop it altogether.

    10月 07, 2008
    IA-32 Memory Virtualization
    http://www.intel.com/technology/itj/2006/v10i3/3-xen/4-extending-with-intel-vt.htm
    o_figure_3.gif
    上圖為full virtulization的情況,即不修改Guest OS的行為時的解決方案。Xen為每個Guest OS維護(hù)了一張shadow page table,其中映射的地址為machine address。一種比較高效的方案是設(shè)置Guest OS的page table為只讀,當(dāng)Guest OS試圖修改這個虛擬頁表時,發(fā)生page fault被Xen截獲,Xen修改shadow page table中相應(yīng)的數(shù)據(jù)(把pseudo-physical address轉(zhuǎn)化成machine address)。另外一個優(yōu)化是guest page table被修改時不修改shadow page table,只是把它放到一個待更新列表中,等Guest OS執(zhí)行了刷新tlb的指令后再一次性更新。

    The Definitive Guide to Xen上還提到了另一種基于full paravirtulization和shadow page table之間的方案。Xen把Guest OS的page table置為只讀,當(dāng)Guest OS試圖修改page table時,Xen捕獲到page fault,把page directory中對應(yīng)的入口置為無效,再把page table改成可寫讓Guest OS修改。由于page directory中對應(yīng)的入口被設(shè)成無效了,下次訪問該地址時還是會發(fā)生page fault,這時候Xen再修改page directory和page table的對應(yīng)項就行了。

    這種方法意味著Guest OS中內(nèi)核管理模塊直接和machine address打交道,而其他部分則仍然使用pseudo-physical address。另外這種情況下page directory不能被Guest OS修改。

    另外Xen還用到了段機(jī)制,用來為Xen保留地址空間開始的64M內(nèi)存。

    posted @ 2008-10-17 20:01 ZelluX 閱讀(1437) | 評論 (6)編輯 收藏

    好不容易找到的一個php,直接貼這兒了,方便其他網(wǎng)友。
    wordpress的wp-syntax插件用的也是geshi,所以同樣也適用于wp-syntax

    <?php
    /*************************************************************************************
    ?*?erlang.php
    ?*?--------
    ?*?Author:?Uwe?Dauernheim?(uwe@dauernheim.net)
    ?*?Copyright:?(c)?2008?Uwe?Dauernheim?(http://www.kreisquadratur.de/)
    ?*?Release?Version:?1\.0\.0
    ?*?Date?Started:?2008-09-27
    ?*
    ?*?Erlang?language?file?for?GeSHi.
    ?*
    ?*?CHANGES
    ?*?-------
    ?*?2008-09-27?(1.0.0)
    ?*???[?]?First?Release
    ?*
    ?*?2008-09-28?(1.0.0.1)
    ?*???[!]?Bug?fixed?with?keyword?module.
    ?*???[+]?Added?more?function?names???
    ?*
    ?*?TODO?(updated?2008-09-27)
    ?*?-------------------------
    ?*???[!]?Stop?';'?from?being?transformed?to?'<SEMI>'
    ?*?
    ?***********************************************************************************
    */

    $language_data?=?array?(
    ????
    'LANG_NAME'?=>?'Erlang',
    ????
    'COMMENT_SINGLE'?=>?array(1?=>?'%'),
    ????
    'CASE_KEYWORDS'?=>?GESHI_CAPS_NO_CHANGE,
    ????
    'QUOTEMARKS'?=>?array('"'),
    ????
    'HARDQUOTE'?=>?array("'",?"'"),?
    ????
    'HARDESCAPE'?=>?array('\\\'',),?
    ????
    'ESCAPE_CHAR'?=>?'\\',
    ????
    'KEYWORDS'?=>?array(
    ????????1?=>?array(
    ????????????
    'module',?'export',?'import',?'author',?'behaviour'
    ????????????),
    ????????2?=>?array(
    ????????????
    'case',?'of',?'if',?'end',?'receive',?'after'
    ????????????),
    ????????3?=>?array(
    ????????????//?erlang
    ????????????
    'set_cookie',?'get_cookie',?
    ????????????//?io
    ????????????
    'format',?'fwrite',?'fread',?
    ????????????//?gen_tcp
    ????????????
    'listen',?'accept',?'close',?
    ????????????//?gen_server
    ????????????
    'call',?'start_link'
    ????????????)
    ????????),
    ????
    'SYMBOLS'?=>?array(
    ????????
    ':',?'=',?'!',?'|'
    ????????),
    ????
    'CASE_SENSITIVE'?=>?array(
    ????????GESHI_COMMENTS?=>?false,
    ????????1?=>?true,
    ????????2?=>?true,
    ????????3?=>?true
    ????????),
    ????
    'STYLES'?=>?array(
    ????????
    'KEYWORDS'?=>?array(
    ????????????1?=>?
    'color:?#b1b100;',
    ????????????2?=>?'color:?#b1b100;',
    ????????????
    3?=>?'color:?#000066;'
    ????????????)
    ,
    ????????
    'COMMENTS'?=>?array(
    ????????????
    1?=>?'color:?#666666;?font-style:?italic;',
    ????????????
    2?=>?'color:?#009966;?font-style:?italic;',
    ????????????
    3?=>?'color:?#0000ff;',
    ????????????
    4?=>?'color:?#cc0000;?font-style:?italic;',
    ????????????
    5?=>?'color:?#0000ff;',
    ????????????
    'MULTI'?=>?'color:?#666666;?font-style:?italic;'
    ????????????)
    ,
    ????????
    'ESCAPE_CHAR'?=>?array(
    ????????????
    0?=>?'color:?#000099;?font-weight:?bold;',
    ????????????
    'HARD'?=>?'color:?#000099;?font-weight:?bold;'
    ????????????)
    ,
    ????????
    'BRACKETS'?=>?array(
    ????????????
    0?=>?'color:?#009900;'
    ????????????)
    ,
    ????????
    'STRINGS'?=>?array(
    ????????????
    0?=>?'color:?#ff0000;',
    ????????????
    'HARD'?=>?'color:?#ff0000;'
    ????????????)
    ,
    ????????
    'NUMBERS'?=>?array(
    ????????????
    0?=>?'color:?#cc66cc;'
    ????????????)
    ,
    ????????
    'METHODS'?=>?array(
    ????????????
    1?=>?'color:?#006600;',
    ????????????
    2?=>?'color:?#006600;'
    ????????????)
    ,
    ????????
    'SYMBOLS'?=>?array(
    ????????????
    0?=>?'color:?#339933;'
    ????????????)
    ,
    ????????
    'REGEXPS'?=>?array(
    ????????????
    0?=>?'color:?#0000ff;',
    ????????????
    4?=>?'color:?#009999;',
    ????????????)
    ,
    ????????
    'SCRIPT'?=>?array(
    ????????????)
    ????????)
    ,
    ????
    'URLS'?=>?array(
    ????????
    1?=>?'',
    ????????
    2?=>?'',
    ????????
    3?=>?'http://www.erlang.org/doc/man/{FNAMEL}.html'
    ????????)
    ,
    ????
    'OOLANG'?=>?true,
    ????
    'OBJECT_SPLITTERS'?=>?array(
    ????????
    1?=>?'-&gt;',
    ????????
    2?=>?':'
    ????????)
    ,
    ????
    'REGEXPS'?=>?array(
    ????????
    //?Variable
    ????????0?=>?'[A-Z][_a-zA-Z0-9]*',
    ????????
    //?File?Descriptor
    ????????4?=>?'&lt;[a-zA-Z_][a-zA-Z0-9_]*&gt;'
    ????????)
    ,
    ????
    'STRICT_MODE_APPLIES'?=>?GESHI_NEVER,
    ????
    'TAB_WIDTH'?=>?4
    );

    ?>

    posted @ 2008-10-16 20:36 ZelluX 閱讀(437) | 評論 (0)編輯 收藏

    http://www.codeproject.com/KB/work/FontSurvey.aspx

    主要的衡量標(biāo)準(zhǔn)是可讀性、是否等寬、特殊字符的辨認(rèn)度(比如0和O)

    posted @ 2008-10-13 18:26 ZelluX 閱讀(1278) | 評論 (1)編輯 收藏

    依然是內(nèi)網(wǎng)日志的匯總

    1. sysenter的介紹
    http://www.codeguru.com/cpp/w-p/system/devicedriverdevelopment/article.php/c8223

    System Call Optimization with the SYSENTER Instruction
    by John Gulbrandsen
    Windows下的

    2. The SLUB allocator
    slab的改進(jìn)版本

    http://lwn.net/Articles/229984/

    http://lwn.net/Articles/229096/

    Christoph’s response is the SLUB allocator, a drop-in replacement for the slab code. SLUB promises better performance and scalability by dropping most of the queues and related overhead and simplifying the slab structure in general, while retaining the current slab allocator interface.

    Wider use may be in the cards: the SLUB allocator is in the -mm tree now and could hit the mainline as soon as 2.6.22. The simplified code is attractive, as is the claimed 5-10% performance increase. If merged, SLUB is likely to coexist with the current slab allocator (and the SLOB allocator intended for small systems) for some time. In the longer term, the current slab code may be approaching the end of its life.

    3. Compilers and More: Parallel Programming Made Easy?
    http://www.hpcwire.com/features/Compilers_and_More_Parallel_Programming_Made_Easy.html

    by Michael Wolfe, Compiler Engineer, The Portland Group, Inc.

    4. OpenCL slides, SIGGRAPH '08
    發(fā)信人: jjgod (while(!asleep()) sheep++;), 信區(qū): CSArch
    標(biāo)? 題: SIGGRAPH 08 上的 OpenCL slides
    發(fā)信站: 水木社區(qū) (Mon Sep 15 01:32:03 2008), 站內(nèi)

    ※ 來源:·水木社區(qū) newsmth.net·[FROM: 125.33.176.*]

    附件: munshi-opencl.pdf (1338 KB) 鏈接:
    http://att.newsmth.net/att.php?p.272.35430.226.pdf
    全文鏈接:http://www.newsmth.net/bbscon.php?bid=272&id=35430

    5. linux-gate.so
    http://www.trilithium.com/johan/2005/08/linux-gate/
    linux下使用sysenter的機(jī)制

    posted @ 2008-10-10 15:29 ZelluX 閱讀(488) | 評論 (0)編輯 收藏

    轉(zhuǎn)自偶的內(nèi)網(wǎng)博客

    Time : 2008-08-20 21:44
    匯編文件中導(dǎo)出函數(shù)符號

    Linux 2.4.18的linux/linkage.h文件定義了若干相關(guān)的宏

    #define?SYMBOL_NAME(X)?X
    #ifdef?__STDC__
    #define?SYMBOL_NAME_LABEL(X)?X##:
    #else
    #define?SYMBOL_NAME_LABEL(X)?X/**/:
    #endif
    ?
    #define?__ALIGN?.align?16,0x90
    #define?__ALIGN_STR?".align?16,0x90"
    ?
    #define?ALIGN?__ALIGN
    #define?ALIGN_STR?__ALIGN_STR
    ?
    #define?ENTRY(name)?\
    ??.globl?SYMBOL_NAME(name);?\
    ??ALIGN;?\
    ??SYMBOL_NAME_LABEL(name)

    用ENTRY(name)就能定義函數(shù)了。后來發(fā)現(xiàn)Flux OSKit中本來就提供了類似功能的宏,定義在inc/asm.h中。
    使用的時候需要再寫一個c語言的wrapper function(至少2.4.18里面是這么做的)
    asmlinkage void ret_from_fork(void) __asm__("ret_from_fork");

    Time : 2008-08-22 15:56
    OS Lab 4 debugging notes [1]
    系統(tǒng)調(diào)用 fork()

    用Simics跟蹤一條條匯編分析頁表映射、寄存器值還真是體力活啊。。

    1. 實(shí)現(xiàn)Copy On Write時,如果某一個用戶態(tài)頁面有多個進(jìn)程共享,其中一個進(jìn)程修改該頁面時需要創(chuàng)建一個新的頁面。一開始偶忘了把原來頁面的內(nèi)容復(fù)制到新的頁面了 =_= 另外由于新的頁面要代替老的頁面,或者說它們的物理地址不同,但虛擬地址相同,我的方法是在內(nèi)核態(tài)開辟一個大小為一個頁面的空間作為中轉(zhuǎn)。

    2. do_fork函數(shù)中,子進(jìn)程復(fù)制父進(jìn)程的頁表的同時會把父進(jìn)程頁表項置為不可寫,注意最后要flush tlb。因為一開始沒有flush tlb,導(dǎo)致最后用戶態(tài)fork返回以后讀取的信息來自于tlb,直接改寫了共享頁面中fork的返回地址,導(dǎo)致切換到子進(jìn)程時fork的返回地址丟失。這個bug讓我郁悶了兩三個小時。。

    3. 使用兩次fork時,第二次fork返回的pid會被改掉。查了下發(fā)現(xiàn)為用戶空間分配物理頁面的代碼里居然在分配好以后沒有把對應(yīng)的struct置為已使用,結(jié)果導(dǎo)致第二個子進(jìn)程COW創(chuàng)建新頁面時得到了原來的父進(jìn)程頁面,改寫了父進(jìn)程頁面內(nèi)容。

    Time : 2008-08-23 19:41
    OS Lab4 debugging notes [2]
    ?
    系統(tǒng)調(diào)用 exec()

    1. 清空頁表的用戶空間映射的函數(shù)一開始寫得yts,bug到處都是,比如free的時候沒使用指向內(nèi)存塊首地址的指針,記錄內(nèi)存地址的變量沒有累加。

    2. exec傳遞給內(nèi)核態(tài)的兩個參數(shù)必須先在內(nèi)核態(tài)保存一個副本,否則清空用戶態(tài)頁表后就無法得到這兩個參數(shù)信息了。

    3. 分配給用戶態(tài)的頁面必須先清零,一方面考慮到安全性,另一方面不清零會隱藏一些潛在的bug。一開始我沒有在內(nèi)核執(zhí)行exec的時候完整的復(fù)制所有的參數(shù),而是直接指向了原進(jìn)程的內(nèi)存空間,由于清空頁表后再次申請新頁表時得到了原來的頁面,結(jié)果正好原來那個保存參數(shù)的頁面和新進(jìn)程的該頁面重合了 =_= 于是浪費(fèi)了不少時間在這個bug上

    Time : 2008-08-31 1:18
    OS Lab5 debugging notes

    還算順利,不過這個lab蠻無聊的,等有空了把syscall改成類似linux的做法,單一中斷號+寄存器選擇syscall。

    1. 最花時間的一個bug是ls返回值沒有改成應(yīng)用程序數(shù),結(jié)果一開始一直以為是brk系統(tǒng)調(diào)用沒寫好,最后才發(fā)現(xiàn)問題出在這么小的地方。

    2. brk的邏輯還不是很清楚,盡管通過了簡單的測試,但是debug輸出的信息顯示brk增長的很快,經(jīng)常是一個頁一個頁漲的,看來還得查下brk的具體行為。

    3. 寫了個比MAGIC_BREAK好用一點(diǎn)的宏,因為用戶態(tài)的程序都是按二進(jìn)制讀入的,Simics無法得到函數(shù)信息(函數(shù)名、當(dāng)前行數(shù)等),利用C99的宏寫了個新的INFO_BREAK

    #define?INFO_BREAK?\
    ????
    do?{??\
    ????????lprintf_kern(
    "break?in?%s:%d",?__FUNCTION__,?__LINE__);?\
    ????????MAGIC_BREAK;?\
    ????}
    ?while?(0)?\

    posted @ 2008-10-10 15:21 ZelluX 閱讀(592) | 評論 (0)編輯 收藏

    發(fā)信人: Zellux (null), 信區(qū): Software_06
    標(biāo) 題: OSLab之中斷處理
    發(fā)信站: 日月光華 (2008年08月30日20:15:58 星期六), 站內(nèi)信件

    1. 準(zhǔn)備工作
    在開始分析Support Code之前,先配置下我們的Source Insight,使它能夠支持.s文件的搜索。

    在Options->Document Options->Document Types中選擇x86 Asm Source File,在File fileter中增加一個*.s,變成*.asm;*.inc;*.s 然后在Project->Add and Remove
    Project Files中重新將整個oslab的目錄加入,這樣以后進(jìn)行文本搜索時.s文件也不會漏掉了。

    2. Source Insight使用
    接下來簡單分析下內(nèi)核啟動的過程,在瀏覽代碼的過程中可以迅速的掌握Source Insight的使用技巧。

    lib/multiboot /multiboot.s完成了初始化工作,可以看到其中一句call
    EXT(multiboot_main)調(diào)用了C函數(shù)multiboot_main,使用ctrl+/搜索包含multiboot_main的所有文件,最終base_multiboot_main.c中找到了它的定義。依次進(jìn)行cpu、內(nèi)存的初
    始化,然后開啟中斷,跳轉(zhuǎn)到kernel_main函數(shù),也是Lab1中所要改寫的函數(shù)之一。另外
    在這里可以通過ctrl+單擊或者ctrl+=跳轉(zhuǎn)到相應(yīng)的函數(shù)定義處,很方便。

    3. irq處理初始化工作
    來看下Lab 1的重點(diǎn)之一,irq的處理。跟蹤multiboot_main->base_cpu_setup->base_cp
    u_init->base_irq_init,可以看到這行代碼
    gate_init(base_idt, base_irq_inittab, KERNEL_CS);
    繼續(xù)使用ctrl+/找到base_irq_inittab的藏身之處:base_irq_inittab.s

    4. base_irq_inittab.s
    這個匯編文件做了不少重復(fù)性工作,方便我們在c語言級別實(shí)現(xiàn)各種handler。
    GATE_INITTAB_BEGIN(base_irq_inittab) /* irq處理函數(shù)表的起始,還記得jump
    table 嗎? */
    MASTER(0, 0) /* irq0 對應(yīng)的函數(shù) */


    來看看這個MASTER(0, 0)宏展開后是什么樣子:
    #define MASTER(irq, num) \
    GATE_ENTRY(BASE_IRQ_MASTER_BASE + (num), 0f, ACC_PL_K|ACC_INTR_GATE) ;\
    P2ALIGN(TEXT_ALIGN) ;\
    0: ;\
    pushl $(irq) /* error code = irq vector */ ;\
    pushl $BASE_IRQ_MASTER_BASE + (num) /* trap number */ ;\
    pusha /* save general registers */ ;\
    movl $(irq),%ecx /* irq vector number */ ;\
    movb $1 << num,%dl /* pic mask for this irq */ ;\
    jmp master_ints

    依次push irq號,trap號(0x20+irq號),通用寄存器(eax ecx等)入棧,把irq號保
    存到ecx寄存器,然后跳轉(zhuǎn)到master_ints,master_ints是所有master interrupts公用
    的代碼。

    跳過master_ints的前幾行,從第七行開始
    /* Acknowledge the interrupt */
    movb $0x20,%al
    outb %al,$0x20

    /* Save the rest of the standard trap frame (oskit/x86/base_trap.h). */
    pushl %ds
    pushl %es
    pushl %fs
    pushl %gs

    /* Load the kernel's segment registers. */
    movw %ss,%dx
    movw %dx,%ds
    movw %dx,%es

    /* Increment the hardware interrupt nesting counter */
    incb EXT(base_irq_nest)

    /* Load the handler vector */
    movl EXT(base_irq_handlers)(,%ecx,4),%esi

    注釋寫得很詳細(xì),首先發(fā)送0x20到0x20端口,也就是Lab1文檔上所說的發(fā)送INT_CTL_DON
    E到INT_CTL_REG,看來這一步support code已經(jīng)替我們完成了。接下來保存四個段寄存
    器ds es fs gs,并讀入kernel態(tài)的段寄存器信息。

    最后一句很關(guān)鍵,把base_irq_handlers + %ecx * 4這個值保存到了esi寄存器中,%ecx
    中保存了irq號,而*4則是一個函數(shù)指針的大小,那么base_irq_handlers是什么呢?繼
    續(xù)用ctrl+/搜索,可以在base_irq.c中找到這個數(shù)組的定義
    unsigned int (*base_irq_handlers[BASE_IRQ_COUNT])(struct trap_state *ts)
    且初始時這個數(shù)組的每一項都是base_irq_default_handler

    看來這句匯編代碼的功能是把處理irq對應(yīng)的函數(shù)地址保存到了esi寄存器中。
    為了證實(shí)這一點(diǎn),繼續(xù)看base_irq_inittab.s的代碼:
    #else
    /* Call the interrupt handler with the trap frame as a parameter */
    pushl %esp
    call *%esi
    popl %edx
    #endif
    果然,在保存了esp值后,緊接著就調(diào)用了esi指向的那個函數(shù)。而從那個函數(shù)返回后,
    之前在棧上保存的相關(guān)信息都被恢復(fù)了:

    /* blah blah blah */
    /* Return from the interrupt */
    popl %gs
    popl %fs
    popl %es
    popl %ds
    popa
    addl $4*2,%esp /* Pop trap number and error code */
    iret
    這樣就恢復(fù)到了進(jìn)入這個irq處理單元前的狀態(tài),文檔中所要求的保存通用寄存器這一步
    其實(shí)在這里也已經(jīng)完成了,不需要我們自己寫代碼。

    好了,這樣一分析后,我們要做的事情就很簡單,就是把base_irq_handlers數(shù)組中的對
    應(yīng)項改成相應(yīng)的handler函數(shù)就行了。
    注意index是相應(yīng)的idt_entry號減去BASE_IRQ_SLAVE_BASE,或者直接使用IRQ號。

    另外這個數(shù)組的初始值都是base_irq_default_handler,用ctrl+左鍵跳到這個函數(shù)的定
    義,可以看到這個函數(shù)只有一句簡單的輸出語句:
    printf("Unexpected interrupt %d\n", ts->err);
    而這就是沒有注冊handler前我們所看到的那句Unexpected interrupt 0的來源了。

    5. struct trap_state *ts
    所有的handler函數(shù)的參數(shù)都是一個struct trap_state *ts,這個參數(shù)是哪來的呢?
    注意call *%esi的前一行
    /* Call the interrupt handler with the trap frame as a parameter */
    pushl %esp
    這里把當(dāng)前的esp當(dāng)作指向ts的指針傳給了handler,列一下從esp指向的地址開始的內(nèi)容
    ,也就是在此之前push入棧的內(nèi)容:

    pushl $(irq) /* error code = irq vector */ ;\
    pushl $BASE_IRQ_MASTER_BASE + (num) /* trap number */ ;\
    pusha /* save general registers */ ;\
    pushl %ds
    pushl %es
    pushl %fs
    pushl %gs

    再看一下trap_state的定義,你會發(fā)現(xiàn)正好和push的順序相反:
    /* Saved segment registers */
    unsigned int gs;
    unsigned int fs;
    unsigned int es;
    unsigned int ds;

    /* PUSHA register state frame */
    unsigned int edi;
    unsigned int esi;
    unsigned int ebp;
    unsigned int cr2; /* we save cr2 over esp for page faults */
    unsigned int ebx;
    unsigned int edx;
    unsigned int ecx;
    unsigned int eax;

    /* Processor trap number, 0-31. */
    unsigned int trapno;

    /* Error code pushed by the processor, 0 if none. */
    unsigned int err;

    而這個定義后面的
    /* Processor state frame */
    unsigned int eip;
    unsigned int cs;
    unsigned int eflags;
    unsigned int esp;
    unsigned int ss;
    則是發(fā)生interrupt時硬件自動push的五個數(shù)據(jù)(參見Understand the Linux Kernel)

    也就是說,ts指針指向的是調(diào)用當(dāng)前handler前的寄存器狀態(tài),也是當(dāng)前handler結(jié)束后
    用來恢復(fù)的寄存器狀態(tài),了解這一點(diǎn)對以后的幾個lab幫助很大。

    p.s. 另外提一句和這個lab無關(guān)的話,非vm86模式下棧上是不會有v86_es等四個寄存器
    信息的,所以以后根據(jù)task_struct指針計算*ts的地址時使用的偏移量不應(yīng)該是sizeof(
    struct trap_state)

    6. The End
    這樣差不多就把support code中處理interrupt的方法過了一遍(另外還有base_trap_in
    ittab.s,不過和irq的處理很相似)

    了解這些后Lab1就比較簡單了,不需要任何內(nèi)嵌匯編代碼即可完成。

    posted @ 2008-09-02 11:55 ZelluX 閱讀(641) | 評論 (5)編輯 收藏

         摘要: 美國為什么需要這么多大學(xué)生,而中國培育出這么多優(yōu)秀大學(xué)生為什么失業(yè)?難道是我們學(xué)生程度不夠?難道是我們同學(xué)不夠用功?難道是我們同學(xué)專業(yè)不對口?那我告訴所有讀者,為什么大學(xué)生就業(yè)難……   閱讀全文

    posted @ 2008-07-28 11:31 ZelluX 閱讀(680) | 評論 (5)編輯 收藏

    用ctags -R或者ctags * -R的時候只能生成當(dāng)前目錄下的tag,檢查了半天發(fā)現(xiàn)原來這個版本的ctags的參數(shù)順序只能老老實(shí)實(shí)的來:ctags -R *

    太囧了,總歸要bs下的,雖說也有那么一點(diǎn)點(diǎn)可能是bash解析參數(shù)時的問題,不過我猜問題來源還是這個低版本的ctags = =

    話說我也挺圡的,不習(xí)慣用source insight,還是喜歡用vim寫代碼

    posted @ 2008-07-15 10:41 ZelluX 閱讀(546) | 評論 (3)編輯 收藏

    沒心思看離散,也不準(zhǔn)備堅持看沒有荷蘭的歐洲杯決賽。閑著點(diǎn)好友的Q-Zone,原來Q-Zone首先會判斷你的瀏覽器,如果是Firefox它會重定向到RSS閱讀界面。

    安然在開學(xué)后2個月寫的一篇日志,“記憶里的名單”,驚喜的看到有我。也列出了一張屬于我的名單。好,等待時間的遴選。

    “于是想 如果有個妹妹 我要告訴她 好好放肆猖狂 做不可思議的事情 為友情和少年青澀的愛情花心思 做只是喜歡沒有功利目的的事情 這么好的年華 就是用來這樣浪費(fèi) 和珍惜的~”

    可惜我只保持了四五個月的這種瘋狂,現(xiàn)在依然糾結(jié)于功利的選擇。有時候曾想,或許那次失敗更適合我,或許我終將把這么一條平淡無奇的路走到盡頭。“表面強(qiáng)者”,或許還是很有道理的。

    看到fofo的博的文字,“我要去杭州,把所有的事情拋掉,不管后果。這個地方太讓人壓抑,盡管有很玩得來的室友,有很好的足球隊的隊友,可以看很多以前爸媽不讓看的喜歡的書還有過米的比賽,吃的東西也都很習(xí)慣,還是會在天氣很好的星期天下午突然想起曾經(jīng)在冬日的陽光照射下一家人在陽臺上圍著一張桌子吃飯的情景,還是會在一個人騎在去計算機(jī)協(xié)會的路上很難過地想著再也不會有那么四個或者五個人在一起吃完小炒放肆地在鋪滿夕陽的校園小路上勾肩搭背地行走了,還是會在一百多個人的課堂上懷念起那些艱苦卻簡單的日子里所有的笑聲,還是會在網(wǎng)吧包夜的時候想起初中時捏著飯錢偷偷摸摸地去電腦房玩星際……想找找朋友們,調(diào)整一下自己的心情。”

    真的找不回來了。在寫這篇博文時也找不到以前寫字的感覺了。

    明天離散考試,某個記錄或許將要因此打破。

    posted @ 2008-06-30 02:09 ZelluX 閱讀(376) | 評論 (1)編輯 收藏

    不枉我周末練了那么多ZvP

    不過總比分太慘了。。

    posted @ 2008-06-24 00:20 ZelluX 閱讀(402) | 評論 (0)編輯 收藏

         摘要: 一篇關(guān)于函數(shù)式編程的介紹,在水木Java版引起了熱烈討論。  閱讀全文

    posted @ 2008-06-05 21:10 ZelluX 閱讀(767) | 評論 (1)編輯 收藏

    1. framwork/policies/Singleton.h
    Singleton模式,可以指定相應(yīng)的線程模型、創(chuàng)建策略和生命期控制策略。
    對于全局范圍的Singleton實(shí)例,定義了若干個宏便于訪問,例如
    #define?sLog?MaNGOS::Singleton<Log>::Instance()
    #define?sMaster?MaNGOS::Singleton<Master>::Instance()

    Singleton的定義:


    不知道這里的注釋Prohibited actions...this does not prevent hijacking.是什么意思,copy constructor和hijacking有什么關(guān)系呢?

    另外注意這行typedef typename ThreadingModel::Lock Guard;,原來typedef還可以用在函數(shù)上。

    Singleton的Instance方法用的是標(biāo)準(zhǔn)的double-checked lock方法,關(guān)于DCL可以參考這篇博文http://m.tkk7.com/zellux/archive/2008/04/07/191365.html

    2. Explicit Constructors
    game/WorkPacket.h中看到的語法,防止構(gòu)造函數(shù)中參數(shù)的隱式轉(zhuǎn)型
    比如explicit String(int n); 用String('c')聲明時就會報錯

    posted @ 2008-06-03 19:03 ZelluX 閱讀(777) | 評論 (0)編輯 收藏

    一套基于文件系統(tǒng)的安全方案,主要通過隔離運(yùn)行不可信任的程序、taint記錄、事故恢復(fù)。

    我的presentation:
    http://docs.google.com/Presentation?id=dcjk4xx7_473cv5ddgc8

    出于時間考慮沒有提到paper中進(jìn)程間通信的解決方法

    posted @ 2008-05-28 15:23 ZelluX 閱讀(507) | 評論 (0)編輯 收藏

    水木上有人貼了個有趣的程序

    #include? < stdlib.h >
    #include?
    < stdio.h >

    void ?print_forever( int ?n)
    {
    ????printf(
    " %d\n " ,?n);
    ????print_forever(n?
    + ? 1 );
    }


    int ?main( int ?argc,? char ? * argv[])
    {
    ????print_forever(
    0 );
    ????
    return ? 0 ;
    }


    用gcc -O2編譯運(yùn)行后會不停地打印從0開始的自然數(shù),注意如果編譯器沒有做優(yōu)化的話,打印到某個數(shù)的時候肯定會發(fā)生棧溢出從而程序終止的情況,但這個程序卻能一直運(yùn)行下去,說明編譯器做了尾遞歸優(yōu)化。

    用gcc -O2 -S生成這個程序的匯編代碼后證實(shí)了這一點(diǎn)。
    .L6:
    ????????movl????
    %ebx,?4(%esp)
    ????????addl????$
    1,?%ebx
    ????????movl????$.LC0,?(
    %esp)
    ????????call????printf
    ????????jmp?????.L6
    print_forever的關(guān)鍵部分被優(yōu)化成了一個n不斷增加的死循環(huán)。

    接下來是分析哪個優(yōu)化選項處理了尾遞歸。

    用O3 O2 O1三個優(yōu)化強(qiáng)度編譯程序,查看匯編代碼后,發(fā)現(xiàn)尾遞歸優(yōu)化是O2中新增的功能。于是查看O2新開啟的優(yōu)化開關(guān):
    gcc -c -Q -O1 --help=optimizers > /tmp/O1-opts
    gcc -c -Q -O2 --help=optimizers > /tmp/O2-opts
    diff /tmp/O2-opts /tmp/O1-opts?| grep enabled
    輸出結(jié)果:

    經(jīng)證實(shí)是-foptimize-sibling-calls這個選項實(shí)現(xiàn)了尾遞歸的優(yōu)化,具體內(nèi)容可以參看
    http://gcc.gnu.org./ml/gcc-patches/2000-03/msg00867.html

    posted @ 2008-05-24 02:05 ZelluX 閱讀(2445) | 評論 (1)編輯 收藏

    睡覺去恩

    P.S 點(diǎn)球真不是人看的

    posted @ 2008-05-22 05:44 ZelluX 閱讀(449) | 評論 (0)編輯 收藏

         摘要: 一篇介紹一種全新的Web架構(gòu),另一篇介紹虛擬機(jī)的探測方法  閱讀全文

    posted @ 2008-05-20 20:18 ZelluX 閱讀(2251) | 評論 (1)編輯 收藏

         摘要: 發(fā)信人: NetMD (C++), 信區(qū): CPlusPlus
    標(biāo) 題: [FAQ] C/C++中的序列點(diǎn)
    發(fā)信站: 水木社區(qū) (Wed Feb 7 01:13:41 2007), 站內(nèi)  閱讀全文

    posted @ 2008-05-16 10:42 ZelluX 閱讀(2139) | 評論 (1)編輯 收藏

    VIM Calender是個很好用的寫日記的插件(http://www.vim.org/scripts/script.php?script_id=52)

    水木上的rmrf寫了一個同步VIM Calender和Google Calender的腳本(http://code.google.com/p/diaryvgc/downloads/list)

    想到blogger.com支持通過發(fā)送郵件發(fā)布日志,于是我也寫了個把VIM Calender中的日記發(fā)布到blogger.com的腳本。

    這個腳本把發(fā)布情況記錄在diary/poster.log中,以后每次執(zhí)行只會發(fā)布最新的日志,同時考慮到當(dāng)天的日記可能會被修改(blogger.com似乎不支持通過email修改日志),所以當(dāng)天的日記不會被發(fā)布。

    使用的時候修改開頭幾行的配置信息即可

    #!/usr/bin/python

    #?A?script?for?posting?diaries?created?by?VIM?Calender?to?blogger.com
    #
    ?Author:?Wang?Yuanxuan?<zellux@gmail.com>

    import?smtplib,?os,?re,?datetime
    from?email.mime.text?import?MIMEText

    fromaddr?
    =?xxxxx@fudan.edu.cn'
    toaddr?
    =?xxxx.xxxx@blogger.com'
    smtpserver?
    =?'mail.fudan.edu.cn'
    diarydir?
    =?'/home/user_name/diary'
    username?
    =?'xxxxxx'
    password?
    =?'xxxxxx'
    logpath?
    =?diarydir?+?'/poster.log'

    def?PostMail(title,?content):
    ????msg?
    =?MIMEText(content?+?'\r\n#end\r\n')
    ????msg[
    'Subject']?=?title
    ????msg[
    'From']?=?fromaddr
    ????msg[
    'To']?=?toaddr

    ????server?
    =?smtplib.SMTP(smtpserver)
    ????server.login(username,?password)
    ????
    #?server.set_debuglevel(1)
    ????server.sendmail(fromaddr,?[toaddr],?msg.as_string())
    ????server.quit()

    #?Load?log?file.?Create?a?new?one?if?not?exist.
    posted?=?[]
    if?os.path.isfile(logpath):
    ????temp?
    =?open(logpath,?'r')
    ????posted?
    =?[line[:-1]?for?line?in?temp.readlines()]
    ????log?
    =?open(logpath,?'a')
    else:
    ????
    print?"A?new?poster?log?has?been?created?at?"?+?logpath
    ????log?
    =?open(logpath,?'w')

    pattern?
    =?r'(\d{4})/(\d{1,2})/(\d{1,2}).cal$'
    scanner?
    =?re.compile(pattern)

    for?(top,?dirname,?filenames)?in?os.walk(diarydir):
    ????
    for?filename?in?filenames:
    ????????fullpath?
    =?os.path.join(top,?filename)
    ????????
    if?scanner.search(fullpath):
    ????????????(year,?month,?day)?
    =?scanner.search(fullpath).groups()
    ????????????filedate?
    =?datetime.date(int(year),?int(month),?int(day))
    ????????????title?
    =?filedate.isoformat()
    ????????????
    if?filedate?==?datetime.date.today():
    ????????????????
    continue
    ????????????
    if?fullpath?not?in?posted:
    ????????????????log.write(fullpath?
    +?'\n')
    ????????????????text?
    =?open(fullpath).read()
    ????????????????PostMail(title,?text)
    ????????????????
    print?'The?diary?'?+?title?+?'?has?been?posted'

    log.close()

    posted @ 2008-05-12 22:04 ZelluX 閱讀(1276) | 評論 (0)編輯 收藏

    這書的數(shù)學(xué)分析方面有點(diǎn)過于簡單了,連絕對值、二維坐標(biāo)系是個什么東東都會給你解釋一下,所以看起來很快。

    第一章 經(jīng)濟(jì)學(xué)十大原理

    第二章 像經(jīng)濟(jì)學(xué)家一樣思考
    生產(chǎn)可能性邊界(production possibilites frontier)通常是凹向原點(diǎn)的形狀。
    實(shí)證表述(positive statements):企圖描述世界是什么的觀點(diǎn)。經(jīng)濟(jì)學(xué)的許多內(nèi)容是實(shí)證的。
    規(guī)范表述(normative statements):企圖描述世界應(yīng)該是什么的觀點(diǎn)。

    第三章 相互依賴性與貿(mào)易的好處
    機(jī)會成本與比較優(yōu)勢

    第四章 供給與需求的市場力量

    第五章 彈性及其應(yīng)用
    需求價格彈性 = 需求量變動百分比 / 價格變動百分比
    供給價格彈性 = 供給變動百分比 / 價格變動百分比
    例:由于毒品的需求缺乏彈性,禁毒引起的毒品價格提高的比例大于毒品使用減少的比例,因此禁毒會增加與毒品相關(guān)的犯罪。(短期)

    第六章 供給、需求與政府政策
    限制性價格上限導(dǎo)致短缺,限制性價格下限導(dǎo)致過剩。
    例:最低工資法導(dǎo)致失業(yè)。
    一旦市場達(dá)到新均衡,無論向誰征稅,都是買者與賣者分?jǐn)偠愂肇?fù)擔(dān)。
    例:由于勞動的供給遠(yuǎn)比勞動的需求缺乏彈性,是工人而不是企業(yè)承擔(dān)了大部分工薪稅的負(fù)擔(dān)。

    posted @ 2008-05-10 15:29 ZelluX 閱讀(500) | 評論 (0)編輯 收藏

    發(fā)信人: bluegene (藍(lán)色基因||多看paper才是王道), 信區(qū): Quant
    標(biāo) 題: 美國次貸危機(jī)之通俗演義 zz (轉(zhuǎn)載)
    發(fā)信站: BBS 未名空間站 (Fri Mar 21 01:24:10 2008)

    【 以下文字轉(zhuǎn)載自 ChinaNews 討論區(qū) 】
    發(fā)信人: chaoz (飯局局長), 信區(qū): ChinaNews
    標(biāo) 題: 美國次貸危機(jī)之通俗演義 zz
    發(fā)信站: BBS 未名空間站 (Thu Mar 20 23:49:57 2008)

    在美國,貸款是非常普遍的現(xiàn)象,從房子到汽車,從信用卡到電話賬單,貸款無處不在。當(dāng)?shù)厝撕苌偃钯I房,通常都是長時間貸款。可是我們也知道,在這里失業(yè) 和再就業(yè)是很常見的現(xiàn)象。這些收入并不穩(wěn)定甚至根本沒有收入的人,他們怎么買房呢?因為信用等級達(dá)不到標(biāo)準(zhǔn),他們就被定義為次級貸款者。

    大約從10年前開始,那個時候貸款公司漫天的廣告就出現(xiàn)在電視上、報紙上、街頭,抑或在你的信箱里塞滿誘人的傳單:

    “你想過中產(chǎn)階級的生活嗎?買房吧!”

    “積蓄不夠嗎?貸款吧!”

    “沒有收入嗎?找阿牛貸款公司吧!”

    “首付也付不起?我們提供零首付!”

    “擔(dān)心利息太高?頭兩年我們提供3%的優(yōu)惠利率!”

    “每個月還是付不起?沒關(guān)系,頭24個月你只需要支付利息,貸款的本金可以兩年后再付!想想看,兩年后你肯定已經(jīng)找到工作或者被提升為經(jīng)理了,到時候還怕付不起!”

    “擔(dān)心兩年后還是還不起?哎呀,你也真是太小心了,看看現(xiàn)在的房子比兩年前漲了多少,到時候你轉(zhuǎn)手賣給別人啊,不僅白住兩年,還可能賺一筆呢!再說了,又不用你出錢,我都相信你一定行的,難道我敢貸,你還不敢借?”

    在這樣的誘惑下,無數(shù)美國市民毫不猶豫地選擇了貸款買房。(你替他們擔(dān)心兩年后的債務(wù)?向來自我感覺良好的美國市民會告訴你,演電影的都能當(dāng)上州長,兩年后說不定我還能競選總統(tǒng)呢。)

    阿牛貸款公司短短幾個月就取得了驚人的業(yè)績,可是錢都貸出去了,能不能收回來呢?公司的董事長——阿牛先生,那也是熟讀美國經(jīng)濟(jì)史的人物,不可能不知道房 地產(chǎn)市場也是有風(fēng)險的,所以這筆收益看來不能獨(dú)吞,要找個合伙人分擔(dān)風(fēng)險才行。于是阿牛找到美國經(jīng)濟(jì)界的帶頭大哥——投行。這些家伙可都是名字響當(dāng)當(dāng)?shù)闹? 兒(美林、高盛、摩根),他們每天做什么呢?就是吃飽了閑著也是閑著,于是找來諾貝爾經(jīng)濟(jì)學(xué)家,找來哈佛教授,用上最新的經(jīng)濟(jì)數(shù)據(jù)模型,一番鼓搗之后,弄 出幾份分析報告,從而評價一下某某股票是否值得買進(jìn),某某國家的股市已經(jīng)有泡沫了,一群在風(fēng)險評估市場里面騙吃騙喝的主兒,你說他們看到這里面有風(fēng)險沒? 用腳都看得到!可是有利潤啊,那還猶豫什么,接手搞吧!于是經(jīng)濟(jì)學(xué)家、大學(xué)教授以數(shù)據(jù)模型、老三樣評估之后,重新包裝一下,就弄出了新產(chǎn)品——CDO (注: Collateralized Debt Obligation,債務(wù)抵押債券),說穿了就是債券,通過發(fā)行和銷售這個CDO債券,讓債券的持有人來分擔(dān)房屋貸款的風(fēng)險。

    光這樣賣,風(fēng)險太高還是沒人買啊,假設(shè)原來的債券風(fēng)險等級是6,屬于中等偏高。于是投行把它分成高級和普通CDO兩個部分,發(fā)生債務(wù)危機(jī)時,高級CDO享 有優(yōu)先賠付的權(quán)利。這樣兩部分的風(fēng)險等級分別變成了4和8,總風(fēng)險不變,但是前者就屬于中低風(fēng)險債券了,憑投行三寸不爛“金”舌,當(dāng)然賣了個滿堂彩!可是 剩下的風(fēng)險等級8的高風(fēng)險債券怎么辦呢?

    于是投行找到了對沖基金,對沖基金又是什么人,那可是在全世界金融界買空賣多、呼風(fēng)喚雨的角色,過的就是刀口舔血的日子,這點(diǎn)風(fēng)險小意思!于是憑借著老關(guān) 系,在世界范圍內(nèi)找利率最低的銀行借來錢,然后大舉買入這部分普通CDO債券,2006年以前,日本央行貸款利率僅為1.5%;普通CDO利率可能達(dá)到 12%,所以光靠利息差對沖基金就賺得盆滿缽滿了。

    這樣一來,奇妙的事情發(fā)生了,2001年末,美國的房地產(chǎn)一路飆升,短短幾年就翻了一倍多,這樣一來就如同阿牛貸款公司開頭的廣告一樣,根本不會出現(xiàn)還不 起房款的事情,就算沒錢還,把房子一賣還可以賺一筆錢。結(jié)果是從貸款買房的人,到阿牛貸款公司,到各大投行,到各個銀行,到對沖基金人人都賺錢,但是投行 卻不太高興了!當(dāng)初是覺得普通CDO風(fēng)險太高,才扔給對沖基金的,沒想到這幫家伙比自己賺的還多,凈值一個勁地漲,早知道自己留著玩了,于是投行也開始買 入對沖基金,打算分一杯羹了。這就好像“老黑”家里有餿了的飯菜,正巧看見隔壁鄰居那只討厭的小花狗,本來打算毒它一把,沒想到小花狗吃了不但沒事,反而 還越長越壯了,“老黑”這下可蒙了,難道餿了的飯菜營養(yǎng)更好,于是自己也開始吃了!

    這下又把對沖基金樂壞了,他們是什么人,手里有1塊錢,就能想辦法借10塊錢來玩的土匪啊,現(xiàn)在拿著搶手的CDO還能老實(shí)?于是他們又把手里的CDO債券 抵押給銀行,換得10倍的貸款,然后繼續(xù)追著投行買普通CDO。嘿,當(dāng)初可是簽了協(xié)議,這些CDO都?xì)w我們的!!!投行心里那個不爽啊,除了繼續(xù)悶聲買對 沖基金之外,他們又想出了一個新產(chǎn)品,就叫CDS (注:Credit Default Swap,信用違約交換)好了,華爾街就是這些天才產(chǎn)品的溫床:不是都覺得原來的CDO風(fēng)險高嗎,那我投保好了,每年從CDO里面拿出一部分錢作為保金, 白送給保險公司,但是將來出了風(fēng)險,大家一起承擔(dān)。

    保險公司想,不錯啊,眼下CDO這么賺錢,1分錢都不用出就分利潤,這不是每年白送錢給我們嗎?干了!

    對沖基金想,不錯啊,已經(jīng)賺了幾年了,以后風(fēng)險越來越大,光是分一部分利潤出去,就有保險公司承擔(dān)一半風(fēng)險,干了!

    于是再次皆大歡喜,CDS也賣火了!但是事情到這里還沒有結(jié)束:因為“聰明”的華爾街人又想出了基于CDS的創(chuàng)新產(chǎn)品!我們假設(shè)CDS已經(jīng)為我們帶來了 50億元的收益,現(xiàn)在我新發(fā)行一個“三毛”基金,這個基金是專門投資買入CDS的,顯然這個建立在之前一系列產(chǎn)品之上的基金的風(fēng)險是很高的,但是我把之前 已經(jīng)賺的50億元投入作為保證金,如果這個基金發(fā)生虧損,那么先用這50億元墊付,只有這50億元虧完了,你投資的本金才會開始虧損,而在這之前你是可以 提前贖回的,首發(fā)規(guī)模500億元。天哪,還有比這個還爽的基金嗎?1元面值買入的基金,虧到0.90元都不會虧自己的錢,賺了卻每分錢都是自己的!評級機(jī) 構(gòu)看到這個天才設(shè)想,簡直是毫不猶豫:給予AAA評級!

    結(jié)果這個“三毛”可賣瘋了,各種養(yǎng)老基金、教育基金、理財產(chǎn)品,甚至其他國家的銀行也紛紛買入。雖然首發(fā)規(guī)模是原定的500億元,可是后續(xù)發(fā)行了多少億, 簡直已經(jīng)無法估算了,但是保證金50億元卻沒有變。如果現(xiàn)有規(guī)模5000億元,那保證金就只能保證在基金凈值不低于0.99元時,你不會虧錢了。

    當(dāng)時間走到了2006年年底,風(fēng)光了整整5年的美國房地產(chǎn)終于從頂峰重重摔了下來,這條食物鏈也終于開始斷裂。因為房價下跌,優(yōu)惠貸款利率的時限到了之 后,先是普通民眾無法償還貸款,然后阿牛貸款公司倒閉,對沖基金大幅虧損,繼而連累保險公司和貸款的銀行,花旗、摩根相繼發(fā)布巨額虧損報告,同時投資對沖 基金的各大投行也紛紛虧損,然后股市大跌,民眾普遍虧錢,無法償還房貸的民眾繼續(xù)增多……最終,美國次貸危機(jī)爆發(fā)。(屈直言)

    次貸危機(jī)是否會釀成全球危機(jī)?
    --
    只要功夫深, 一夜夫妻百日恩.


    ※ 來源:·WWW 未名空間站 海外: mitbbs.com 中國: mitbbs.cn·[FROM: 141.219.]

    posted @ 2008-05-08 00:26 ZelluX 閱讀(431) | 評論 (0)編輯 收藏

         摘要: 一種利用虛擬機(jī)進(jìn)行的攻擊手段(下篇)  閱讀全文

    posted @ 2008-05-06 14:35 ZelluX 閱讀(1480) | 評論 (1)編輯 收藏

         摘要: 一種利用虛擬機(jī)進(jìn)行的攻擊手段  閱讀全文

    posted @ 2008-05-05 21:53 ZelluX 閱讀(1752) | 評論 (0)編輯 收藏










    Fight Club

    1. 不能談?wù)摱逢嚲銟凡俊?br />2. 不能談?wù)摱逢嚲銟凡俊?br />3. 只要有人喊停,或者受傷,快累死了,打斗就得停。
    4. 一次只能兩人打
    5. 一次一場
    6. 脫掉襯衫和鞋子
    7. 打斗沒有時限
    8. 只要你是初次參加,就一定得打。


    太混亂了

    posted @ 2008-05-04 20:44 ZelluX 閱讀(494) | 評論 (1)編輯 收藏











    秒速5センチメートル

    “櫻花飄落的速度,是每秒5厘米。”

    凄美無奈的故事,有點(diǎn)像村上的《國境以南》,只是主人公最后仍然在尋找著對方。

    新海誠的動畫色彩很斑斕,很華麗。

    寫到這里,千千靜聽里正好隨機(jī)播放到了那首One More Time, One More Chance,幾百分之一的概率,呵呵。

    晚上看風(fēng)格截然不同的National Trasure: Book of Secrets

    posted @ 2008-05-03 18:10 ZelluX 閱讀(563) | 評論 (4)編輯 收藏

    在機(jī)房電腦的Arch Linux上搭了個MediaWiki,作為自己的知識庫。
    前幾天在水木上看到的想法,覺得這樣很有成就感,盡管現(xiàn)在還沒學(xué)多少東西。
    一步一個腳印,慢慢擴(kuò)充。

    Mika的歌還真是好聽。

    posted @ 2008-04-26 14:39 ZelluX 閱讀(381) | 評論 (2)編輯 收藏

    Problem

    Every bus in the Ekaterinburg city has a special man (or woman) called conductor. When you ride the bus, you have to give money to the conductor. We know that there are more then P% conductors and less then Q% conductors. Your task is to determine a minimal possible number of Ekaterinburg citizens.


    我只能說太挫了。。。精度問題搞了半天,看來浮點(diǎn)還是要盡量化成整型再算啊。


    還有個問題就是q*i是開區(qū)間還是閉區(qū)間,總之Wrong Answer了無數(shù)次后總算過了。。。

    posted @ 2008-04-23 22:44 ZelluX 閱讀(815) | 評論 (10)編輯 收藏

         摘要: 算法導(dǎo)論第27章,在并行處理的條件下高效的排序算法。  閱讀全文

    posted @ 2008-04-23 20:22 ZelluX 閱讀(1749) | 評論 (2)編輯 收藏

    因為MSN一開始會嘗試連接crl.microsoft.com,把這個網(wǎng)站屏蔽了就行。
    在hosts文件中加入
    127.0.0.1?? crl.microsoft.com

    posted @ 2008-04-20 17:10 ZelluX 閱讀(1187) | 評論 (3)編輯 收藏

    主站蜘蛛池模板: 四虎影院免费在线播放| 婷婷亚洲综合五月天小说| 久久中文字幕免费视频| 日韩a毛片免费观看| 亚洲三级在线播放| 亚洲AV无码乱码国产麻豆| gogo全球高清大胆亚洲| 免费观看的毛片大全| 99视频在线精品免费| 免费一看一级毛片全播放| 日日狠狠久久偷偷色综合免费 | 91在线视频免费91| 三年片在线观看免费大全电影| 一区二区三区精品高清视频免费在线播放| 亚洲一区二区三区高清视频| 在线电影你懂的亚洲| 亚洲av无码一区二区乱子伦as| 久久精品国产精品亚洲艾草网美妙| 免费看一级做a爰片久久| 卡1卡2卡3卡4卡5免费视频| 拍拍拍又黄又爽无挡视频免费| 黄色片在线免费观看| 三年片在线观看免费观看高清电影| 麻豆成人久久精品二区三区免费 | 67pao强力打造67194在线午夜亚洲| 国产V亚洲V天堂A无码| 亚洲色图在线观看| 亚洲色图古典武侠| 亚洲av午夜精品无码专区| 亚洲精品伊人久久久久| 亚洲第一综合天堂另类专| 亚洲精品天天影视综合网| 午夜亚洲AV日韩AV无码大全| 亚洲成AV人片在线观看ww| 久久久久久亚洲精品成人| 精品亚洲AV无码一区二区| 国产成人亚洲精品电影| fc2免费人成为视频| 午夜影院免费观看| 成人免费午间影院在线观看| 亚洲 国产 图片|