原创 TLA+學習資料整理
Github官方庫 Raft TLA+形式化驗證 lamport老爺子的官方視頻入門教程 TLA+Proof:TLAPS: A TLA+ Proof System 馮遵寶知乎TLA+教程 TLA+官網 siddontang簡書T
2019-07-07 01:21:05
原创 CMU-Peloton-併發索引Skip-List模塊筆記
回顧 在這個項目中需要實現一個調錶(skip_list)。這個項目的目的就是讓幫助我們理解現代保序索引的細微差別。首先需要回顧Peloton中的編碼規範。 這裏給出幾篇無鎖數據結構的參考文獻： Techniques for Impl
2018-12-23 20:29:49
3
原创 Peleton簡介
peloton 學習記錄 peloton簡要介紹 Peloton是一個自適應的SQL數據庫管理系統。 集成人工智能組件，支持自主優化。 支持本地字節尋址的非易失性存儲器(NVM)存儲技術。 支持實時分析的無鎖多版本併發控制。 遵循P
2018-12-07 20:34:37
原创 CMU-Peleton——SQL功能模塊筆記
Overview The first assignment is to implement SQL String functions UPPER,LOWER,CONCAT C++ tutorial C++ style guide
2018-11-14 05:35:58
原创 數據庫學習日誌
數據庫基礎部分 2018.10.25 數據庫系統概念部分很多理解不透。感覺主要是爲了趕進度。。。也可能是當時真的看不懂，心態就不好了。所以打算在接下來的學習中： 看不懂時心態要穩，及時去谷歌，必要時跳過去。 最好可以結合mysql實
2018-11-14 05:35:58
原创 數據庫-事務處理的概念和理論簡介
在看這一部分內容之前，我對數據庫一些基礎概念和基礎操作的認識十分淺薄，也沒有一些數據庫管理的經驗，因此當學這一部分的時候遇到了賊多理解上的誤區和困難。難受呀，基礎差真的不行。。。但是我已經沒有時間先從頭仔細學習數據庫基礎再學這一部分了
2018-11-04 05:58:00
原创 數據庫事務、並行控制及恢復概念目錄
有關這部分的內容我個人感覺最重要的就是一些基礎概念的理解和記憶，因此下面給出這部分內容有關概念的目錄。這些內容不作解釋。十幾年的應試教育告訴我要是想學好一項知識和技能，就要勤加考查加運用，這也是不給出解釋的原因。這樣平時可以拿來考察自
2018-11-04 05:58:00
7
原创 知識點總結
我一直都在探討最有效的學習方式，有效的定義： 學的內容不會太過繁雜，比如說計算機專業的沒有必要對一些化學類的知識點深究，除非感興趣 內存對齊
2018-10-15 04:58:06
2
原创 CSDN-markdown編輯器
這裏寫自定義目錄標題歡迎使用Markdown編輯器新的改變功能快捷鍵合理的創建標題，有助於目錄的生成如何改變文本的樣式插入鏈接與圖片如何插入一段漂亮的代碼片生成一個適合你的列表創建一個表格設定內容居中、居左、居右SmartyPants
2018-10-06 05:53:32
1