作者changyy (可苦可樂)
站內Programming
標題[問題] 關於 Lock a file 的現象之請教
時間Sun Apr 20 12:20:41 2008
開發環境 : FreeBSD 6.2-RELEASE-p1
程式語言 : C with gcc version 3.4.6
問題敘述 :
前陣子用 C 寫了支小程式
主要動作之一: lock 指定檔案
邏輯想法: ( Process 行為, 跟等會介紹的 P1 和 P2 內容 )
FILE *fd ;
fd = fopen( "target" , "r+" );
LockFileByPtr( fd );
// 接著對 "target" file 做更新
...
// 更新完 unlock
UnlockFileByPtr( fd );
補充資訊:
void LockFileByPtr( FILE * fd )
{
if( flock( fileno( fd ) , LOCK_EX ) != 0 )
{
perror(" Error @ LockFilePtr ");
exit(1);
}
}
void UnlockFileByPtr( FILE * fd ) // 印象中直接 fclose 也行?!要查查
{
if( flock( fileno( fd ) , LOCK_UN ) != 0 )
{
perror(" Error @ UnlockFileByPtr ");
exit(1);
}
fclose( fd );
}
看起來似乎沒啥問題
但多支程式在跑時就開始會出錯 :P 資料並不正確
也有可能是我自己寫的 LockFileByPtr 有問題
猜測的可能性:
P1, P2 是相同的程式, 目的就只是把檔案內的數字讀出來加一再存進去
假設 P1, P2 兩支程式同時進行, 而 P1 首先搶到執行權
P2 則是完成了 fopen 的動作後執行 LockFileByPtr
並且卡住等待 P1 的資源釋放, 而接著 P1 執行完後, 換 P2 搶到執行資源
這時, 會不會是因為系統對檔案有一些 buffer 機制?!
導致 P2 先前完成的 fopen 動作, 因此讀取到的資料不會是 P1 更新後的資料?
因此最後沒有達到同步的效果?!
想請問有沒有對這塊有經驗呢??
目前我的處理, 就是額外再加一個不重要的檔案進行 lock 而已 @_@
這樣的結果是正確的
但是設計上個人是覺得不太恰當
因為 lock 本身就是對指定的檔案做上標記 這樣在同個 OS 下
其他程式在開始時 就不一定需要綁著我開發的架構
不需知道要對某個不重要的檔案進行 lock
另外 如果上述我猜測的情況是對的
那有什麼方式可以跟 OS 說開檔時不要 buffer 嗎??
感謝觀看 謝謝 :)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.123.217.56
※ 編輯: changyy 來自: 140.123.217.56 (04/20 17:37)
1F：推 legnaleurc:歪歪助教耶....140.123.224.125 04/20 18:21
2F：推 legnaleurc:會不會是atomic operation的問題啊?140.123.224.125 04/20 18:24
3F：→ legnaleurc:在真正lock住之前有模糊點140.123.224.125 04/20 18:25
4F：→ legnaleurc:有試過sync嗎?140.123.224.125 04/20 18:27
5F：→ changyy:剛友人提醒我 等等po心得 :D 140.123.217.56 04/20 18:34
6F：→ changyy:不過你是哪位啊 @_@ 我記性不佳 XD 140.123.217.56 04/20 18:35
7F：推 legnaleurc:正常的,因為我不是吳大帶的那屆140.123.224.125 04/20 18:54
8F：推 legnaleurc:就是寫個DS還要用SVN的人= =140.123.224.125 04/20 18:57