[問題] 請問能保證lib function 只能被執行一次?

[gn00618777 (123)]

是這樣的。我提供一個 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://www.ptt.cc/bbs/C_and_CPP/M.1654790100.A.B21.html
推 Schottky: 不知道你用哪個作業系統，但既然有 critical section
→ Schottky: 把整個 library func 設成 critical section 不就好了
→ Schottky: 我的話可能會用mutex,semaphore,file lock這一類的東西
→ Schottky: 連上述東西都沒有的話還有大絕招 open(O_CREAT|O_EXCL)
推 SFGEX: std::call_once
推 SFGEX: 或是function內寫一個static lambda 保證執行一次
→ sarafciel: 你如果預設caller必然用fork/thread去處理block issue
→ sarafciel: 不如考慮提供把fork/thread也包進去處理的wrapper?
推 CoNsTaR: 只能被執行一次（會被用掉/佔有）的意思是他是資源而不是
→ CoNsTaR: 資料，可以參考看看 Rust 的 FnOnce，Idris2 的 Linear t
→ CoNsTaR: ype system 的實作，或其他類似 quantitative type theor
→ CoNsTaR: y 的系統
→ CoNsTaR: 都是怎麼做的
→ CoNsTaR: （就算在不同 threads 之間也能保證資源的 ownership）
推 OnlyRD: atomic test_* or blocking queue try_* 可以研究一下
→ gn00618777: 抱歉，是Linux系統
→ Lipraxde: Fork 成不同 process？還有為什麼想避免 reentrant？
→ saladim: 看不太懂問題的"表示法" 看起來像是這個function永遠只能
→ saladim: 有個一process執行他, 在任一時間點, A或B但不能A,B都執