原创 FreeBSD 信號管理
參考書籍 The Design and Implementation of the FreeBSD Operating System by Marshall Kirk McKusick, George V. Neville-Ne
2019-07-30 08:00:29
原创 緩存中使用虛擬尋址的設計問題
摘要自：Unix Systems for Modern Architectures – Symmetric Multiprocessing and Caching for Kernel Programmers by Curt S
2019-07-30 08:00:29
原创 人腦智能的進化過程研究--仍然是一團迷霧
Book: The Evolution of Intelligent Systems – How Molecules Became Minds, by Ken Richardson, 2010, Palgrave Macmilla
2019-07-30 08:00:29
原创 計算機緩存架構的分類
現代計算機中緩存的實現有很多不同點，比較重要的點有： 緩存大小 (cache size) 緩存行大小 (cache line size) 緩存集大小 (set size) 是否寫分配 (write-allocate) 替換策略
2019-07-30 08:00:29
原创 CheriABI簡介
在CHERI 架構中指針可以被定義爲權能，而不是傳統的整數類型的虛擬地質。CHERI中的權能定義不僅可以兼容C語言中的指針，而且加強了指針的語義。傳統的胖指針僅僅是指針區間的保護, 而CHERI權能(或指針)在此基礎上還提供了完整
2019-07-30 08:00:29
9
原创 AOP--面向方面語言--結點與切點--
結點：定義符合指定特徵的代碼語句。可以是一個方法定義或者調用，也可以是變量的定義或者運算。 切點：是結點的集合。用不同的結點描述符合特定條件的代碼段。面向方面語言（AOP）用這些特徵作爲限定條件，從而定位到符合限定的代碼，以便於在
2019-07-30 08:00:28
原创 人腦智慧研究進展01--序言
Book: The Evolution of Intelligent Systems – How Molecules Became Minds, by Ken Richardson, 2010, Palgrave Macmilla
2019-06-25 09:57:17
原创 譯文 -- CHERIABI
譯文 -- CHERIABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environme
2019-03-03 17:56:38
原创 ldv內核模型源碼--alloc
該文件用於描述內核中內存分配（以頁爲單位）操作的各種不同函數。根據函數的參數中是否含有gfp_t標記以及標記在參數列表中的位置進行分類，作爲不同的程序切點。 如，下面的語句定義了一個切點：將內核內存分配函數中含有gfp_t標記並作爲第一個
2018-09-01 04:44:30
原创 gcc-4.6.0/gcc/opts-common.c#decode_cmdline_options_to_array
/* Decode command-line options (ARGC and ARGV being the arguments of main) into an array, setting *
2018-09-01 04:44:30
原创 結點與切點定義
結點：定義符合指定特徵的代碼語句。可以是一個方法定義或者調用，也可以是變量的定義或者運算。 切點：是結點的集合。用不同的結點描述符合特定條件的代碼段。面向方面語言（AOP）用這些特徵作爲限定條件，從而定位到符合限定的代碼，以便於在這些代碼
2018-09-01 04:44:30
原创 gcc預處理器--文件處理
文件libcpp/files.c 負責文件搜索，打開，讀取，緩存。處理主要源代碼以及遞歸包含的頭文件。 基本策略是使系統調用的個數最少。在一些系統中，open() , fstat()一類的函數花銷很大。每一個#include-d 文件，
2018-09-01 04:44:30
原创 ldv-kernelRule: ERR.aspect定義對內核指針錯誤處理函數的重構
該文件重新定義了linux內核中（linux/include/linux/err.h ）定義的錯誤檢測相關函數：IS_ERR, PTR_ERR, ERR_PTR and IS_ERR_OR_NULL 函數分別替換爲了 ldv_is_e
2018-09-01 04:44:30
3
原创 aop- advice語法結構
原網站: http://www.eclipse.org/aspectj/doc/released/progguide/starting-aspectj.html 在用切點描述了符合特定特徵的程序塊之後, 就可以用編譯器定位到這些符合條件的
2018-09-01 04:44:30
原创 ldv-kernelRules : export-3.5.aspect 定義對驅動程序導出函數的重構
源碼：kernel-model/export-3.5.aspect 此文件定義了一個源碼重構（插樁）的方面文件，將所有驅動程序的導出函數的每一次調用之後都執行一次ldv_func_check($res)或者ldv_check_pointe
2018-09-01 04:44:30