CDA寫訪問也稱為資源更新服務，資源更新服務提供操作來更新那些可以通過GDA讀訪問獲取的數據。
基本介紹
- 中文名：寫訪問
- 相關領域：計算機工程
- 所屬類型：專業術語
差異模型,相關拓展,EEPROM讀/寫訪問,讀/寫訪問描述,檔案讀/寫訪問常量,
差異模型
差異模型（Difference Model）描述了資源更新服務中方法 apply_ updates()調用之前（B1）和成功執行之後（B2）模型的差異。一個差異模型由四組聲明構成，每一組聲明編碼成一個資源描述序列。這些聲明中的任何一個或全部都可以為空。差異模型的結構定義如下：
struct DifferenceModel
{
DAFDescriptions:: ResourceDescriptionSequence headers;
DAFDescriptions:: ResourceDescriptionSequence preconditions;
DAFDescriptions:: ResourceDescriptionSequence forwardDifferences;
DAFDescriptions::ResourceDescriptionSequence reverseDifferences;
};
其中 headers成員包括頭部聲明，由關於差異模型自身的聲明組成，可以表示作者、時間及目的。頭部聲明是可選的，被用來幫助跟蹤和審核模型更新。 preconditions成員包括預處理聲明。當有不止一個客戶在做更新時，預處理是並發控制的基礎。每個預處理都是客戶在更新之前關於資源狀態的假設。一個預處理失敗意味著另一個客戶已經完成了一個相衝突的更新。forwardDifferences成員包括前向差異聲明。指在B2中存在，在B1中則不存在的部分。reverseDifferences成員包括反向差異聲明，指在B1中存在，而在B2中找不到的部分。
相關拓展
EEPROM讀/寫訪問
在程式中，對 EEPROM的訪問是通過位於I/O空間的暫存器的訪問來實現的。
ATMega8採用晶片內部可校準的RC振盪器的1MHz作為訪問 EEPROM的定時器時鐘。EEPROM編程時間典型為8.5ms。自定時功能讓用戶軟體監測何時可以開始寫下一位元組。用戶操作 EEPROM需要注意如下問題：在電源濾波時間常數比較大的電路中，上電/掉電時Vcc上升/下降速度會比較低。此時，CPU可能工作於低於晶振所要求的電源電壓。
為了防止無意間對 EEPROM的寫操作，需要執行一個特定的寫時序。具體參看EEPROM控制暫存器的內容。執行 EEPRON讀操作時，CPU會停止工作4個周期，然後再執行後續指令；執行 EEPROM寫操作時，CPU會停止工作2個周期，然後再執行後續指令。
讀/寫訪問描述
子句：
write u_1,u_2,…,u_m
read v_1,v_2,…,v_n
被稱為訪問描述。它們是潛在的副作用一部分，規定了全函式和部分函式基調。
value
tf: typ_ex_a→acc_des_1,..., acc_des_n typ_ex-r
pf: typ_ex_a→~acc_des_1,..., acc_des_n typ_ex-r
檔案讀/寫訪問常量
這些常量指定檔案需要的訪問類型（“a”、“r”或“w”），轉換模式（“b”或“t”）和提交到磁碟模式（“c”或“n”）可以用訪問類型指定。
這些訪問類型描述如下：
“a” 打開檔案用於在檔案末尾寫（添加）；如果該檔案不存在，首先建立它。所有的寫操作出現在檔案末尾。雖然檔案指針可以使用fseek或rewind重新定位，在執行任何寫操作之前總是將指針移回到檔案末尾。
“a+” 同上，但還允許讀。
”r” 打開用於讀，如果該檔案不存在或不能找到，打開檔案調用失敗。
“r+” 打開一個空檔案用於讀和寫，如果該檔案不存在或不能找到，打開檔案調用失敗。
“w” 打開一個空檔案用於寫，如果給定的檔案存在，其內容被消毀。
“w+” 打開一個空檔案用於讀和寫，如果給定的檔案存在，其內容被消毀。
當指定“r+"、“w+”或“a+"類型，允許讀和寫（該檔案說成打開用於“修改"）。但在讀寫之間切換時，必須有一個介人fflush、 fsetpos、fseek或 rewind操作。可以為 fsetpos或 fseek操作指定當前位置。
