作者gn00618777 (123)
看板C_and_CPP
標題[問題] 請問能保證lib function 只能被執行一次?
時間Thu Jun 9 23:54:57 2022
是這樣的。我提供一個 library function，此 function 是 block 的
所以caller 要 fork 出來執行此 function。我想要做防呆，就是fork執行此
function後又再 fork 執行此 function 時會 return fail 的功能
目前我的作法是此function 內會有share memory，裡面有個 count
當近來此 function:
if(cout > 0)
return fail;
count++;
這樣後來fork 出來執行此 function 就會 return
但後來覺得怪怪的
有可能在初始時兩個 process會處在
if(count > 0)
return fail;
-->processA process B
最後兩個都在這邊++了，即使我有在share memory 加 critical section
請問有甚麼好辦法嗎? 我可以去查一下，謝謝。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.161.188.142 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1654790100.A.B21.html
1F：推 Schottky: 不知道你用哪個作業系統，但既然有 critical section 06/09 23:59
2F：→ Schottky: 把整個 library func 設成 critical section 不就好了 06/10 00:00
3F：→ Schottky: 我的話可能會用mutex,semaphore,file lock這一類的東西 06/10 00:02
4F：→ Schottky: 連上述東西都沒有的話還有大絕招 open(O_CREAT|O_EXCL) 06/10 00:05
5F：推 SFGEX: std::call_once 06/10 00:11
6F：推 SFGEX: 或是function內寫一個static lambda 保證執行一次 06/10 00:21
7F：→ sarafciel: 你如果預設caller必然用fork/thread去處理block issue 06/10 01:08
8F：→ sarafciel: 不如考慮提供把fork/thread也包進去處理的wrapper? 06/10 01:08
9F：推 CoNsTaR: 只能被執行一次（會被用掉/佔有）的意思是他是資源而不是 06/10 01:19
10F：→ CoNsTaR: 資料，可以參考看看 Rust 的 FnOnce，Idris2 的 Linear t 06/10 01:19
11F：→ CoNsTaR: ype system 的實作，或其他類似 quantitative type theor 06/10 01:19
12F：→ CoNsTaR: y 的系統 06/10 01:19
13F：→ CoNsTaR: 都是怎麼做的 06/10 01:20
14F：→ CoNsTaR: （就算在不同 threads 之間也能保證資源的 ownership） 06/10 01:23
15F：推 OnlyRD: atomic test_* or blocking queue try_* 可以研究一下 06/10 01:44
16F：→ gn00618777: 抱歉，是Linux系統 06/10 06:52
17F：→ Lipraxde: Fork 成不同 process？還有為什麼想避免 reentrant？ 06/10 16:27
18F：→ saladim: 看不太懂問題的"表示法" 看起來像是這個function永遠只能 06/21 01:55
19F：→ saladim: 有個一process執行他, 在任一時間點, A或B但不能A,B都執 06/21 01:56