日誌生成時間 20:19 2007-7-11
實習單位：中國科學院計算技術研究所智慧型中心作業系統組
導師：馬老師
上午8:00到達ict大樓，開始了實習的第一天。
我被分配到馬老師旁邊的位子上，這下我就可以隨時和他交流了,hoho~
稍後，我們到會議室聊了會兒，主要是確認了我的實習時間，然後仔細介紹了他當前想做或正在做的幾個專案：
·龍芯原型機的初始化**重構
·smp機虛擬多作業系統，多種作業系統底層**重構
·多處理機通訊協議正確性的形式化證明
·google檔案系統研究
我一五一十地跟他說了我的實習計畫：看分數！能保研，就長些，不能，我就要早些回去準備考研了。很直接，不過這樣也好，先說明了，免得以後要走卻不好開口。
關於選題，現在看來我犯了乙個毛病，而且是乙個**病：我略加思考就決定選第乙個。
我有個不大好的習慣：遇到乙個問題時總趨向於立即找到乙個基本解決思路---實際上我們現在遇到的很多問題是不可能馬上能夠得出大體解決方案的。最終方案的得出需要很多基礎知識做支撐，這些知識是需要時間去學習的。
關於第乙個題目，裡面涉及到了大量的智財權相關的內容，很多內容都不能寫入實習報告，這給實習報告的撰寫可能會帶來很大的困難。束縛太多！馬老師讓我先熟悉下再做決定，要做也可以，最終報告讓他審閱下就行。這一周熟悉課題，下週選擇乙個深入學習。
然後，他給我分配了乙個帳號，讓我看了兩份介紹軟硬體環境的說明。
計算所裡現在都是用桌面終端方式來使用計算機資源，每個人桌上只要乙個終端和一台顯示器就可以了，通過網路連線到資源伺服器上。
這種方式有利於許可權和資訊的管理，並且降低了軟硬體成本。唯一缺點就是網路負載大，終端上的重新整理操作有些延遲。
上午，我開始為選題做準備，從形式化證明開始，蒐集了很多軟體測試，協議測試方面的資料了解，以期獲得乙個大致概念。其中比較有參考價值的是清華的 一篇畢業**《ppp協議測試》，他們利用清華的pits系統對ppp協議實現進行了一致性測試。不過現在我感覺，這個跟形式化證明還不是乙個概念。
中午，和葉子一起在中科院樓下的餐廳吃飯。真貴！
中間只有一小時的時間。1點回到實驗室，實在熬不住，趴了……13:50醒來一看，咦，原來大家都趴了*^_^*。原來，所謂一點要到實驗室指的是「來」，而不是來工作。我還以為北京的民工都不午休……
下午繼續看形式化內容，稍微有點小感覺了，心也沉下去了。把馬老師博士畢業**中提到的乙個叫spin的測試工具下了乙個，看了兩個例子，沒有文 檔，自己摸索著編了兩個測試程式，還挺有意思。這個軟體可以模擬多道程式並行執行，每次執行的結果可以都不一樣。**中還用到了一種叫做promela的 形式化描述語言，用來描述**中設計的通訊協議。沒文件，好複雜，儘管沉著心，最終還是暈塌了%&#￥……@
下午同時關注了下龍芯方面的東西，網上資料少，沒深入。
下午六點的時候整層實驗室人都基本走完了，馬老師還在，看了下我的工作進度，我也問了他一些問題。
當我問到他的**中promela和spin之間的關係的時候他笑著十分坦白地告訴我那是當初為了湊字數，硬湊上去的，後來答辯的時候導師問他是如何利用spin來證明協議正確性的，他也傻眼了。呵呵，這個老師真可愛！
他又把我介紹給了另外乙個老師，說了下給我的備選課題。那個老師否認了第一課題，說那個已經沒有什麼價值，對於第二個他予以了充分的肯定，覺得那個 的確需要重構。不過他擔心我時間不夠，可能剛剛進入角色就要走人了。的確，我更擔心……馬老師說沒關係，至少可以寫個分析報告出來，作為實習成果。呵呵， 真是好老師，處處還是為著學生想的。我要努力，能走多遠，盡量走多遠。
ps：有週末，hoho~可以溜達溜達咯
ps2: 有高溫假，7-23 ~ 8-2 ，我可以自由選擇。由於我可能要回來複習考研，那段日子我故要就得在所裡單幹了。fighting~
中科院實習（6）
顯然，我不笨！magic文件十分之不豐富，很多東西都考自己摸索。上午，靈感迸發，連續總結 領悟出兩個要點，糾正了前兩天的錯誤猜測，更新了ppt文件。興奮之餘，打了兩個響指 哇咔咔 既然不笨，下午就開始看magic的原理性acm文件了，裡面講得比較詳細，一面向下看，一面印證著我以前的一些猜測，行雲流水...
中科院實習（8）
轉移到人大的朋友這邊來了，又是乙個新環境，早上自然又醒的很早了。這裡沒有農大涼快，不過比起武漢的溫度，我已經很感恩了！昨天跟hey，tm，逛過一下午動物園之後雙腳是完全不行了，到了 都只有乙個念頭 坐一下吧 但她們兩位卻彷彿沒有什麼事兒一樣 昨天晚上吹了一晚上的電扇，這貌似也是在北京第一次吹電扇了，...
中科院實習（5）
先說早上的乙個馬路偶見 過北四環馬路，一男一女，互不相識，車流從左到右，男靠左，在女之後。此男意欲速過馬路，正向前，突然減速，曲線變道，轉向女士右邊.乙個微妙地動作，卻看到了人性真實的猥瑣面 嘆息 照例和老師打過招呼，開終端。同時在紙上寫下今日計畫 我很nb地想，這個上午應該可以輕鬆搞定吧。事實證明...