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

看板C_and_CPP (C/C++)作者 (123)時間2年前 (2022/06/09 23:55), 編輯推噓5(5014)
留言19則, 8人參與, 最新討論串1/1
是這樣的。我提供一個 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

06/09 23:59, 2年前 , 1F
不知道你用哪個作業系統,但既然有 critical section
06/09 23:59, 1F

06/10 00:00, 2年前 , 2F
把整個 library func 設成 critical section 不就好了
06/10 00:00, 2F

06/10 00:02, 2年前 , 3F
我的話可能會用mutex,semaphore,file lock這一類的東西
06/10 00:02, 3F

06/10 00:05, 2年前 , 4F
連上述東西都沒有的話還有大絕招 open(O_CREAT|O_EXCL)
06/10 00:05, 4F

06/10 00:11, 2年前 , 5F
std::call_once
06/10 00:11, 5F

06/10 00:21, 2年前 , 6F
或是function內寫一個static lambda 保證執行一次
06/10 00:21, 6F

06/10 01:08, 2年前 , 7F
你如果預設caller必然用fork/thread去處理block issue
06/10 01:08, 7F

06/10 01:08, 2年前 , 8F
不如考慮提供把fork/thread也包進去處理的wrapper?
06/10 01:08, 8F

06/10 01:19, 2年前 , 9F
只能被執行一次(會被用掉/佔有)的意思是他是資源而不是
06/10 01:19, 9F

06/10 01:19, 2年前 , 10F
資料,可以參考看看 Rust 的 FnOnce,Idris2 的 Linear t
06/10 01:19, 10F

06/10 01:19, 2年前 , 11F
ype system 的實作,或其他類似 quantitative type theor
06/10 01:19, 11F

06/10 01:19, 2年前 , 12F
y 的系統
06/10 01:19, 12F

06/10 01:20, 2年前 , 13F
都是怎麼做的
06/10 01:20, 13F

06/10 01:23, 2年前 , 14F
(就算在不同 threads 之間也能保證資源的 ownership)
06/10 01:23, 14F

06/10 01:44, 2年前 , 15F
atomic test_* or blocking queue try_* 可以研究一下
06/10 01:44, 15F

06/10 06:52, 2年前 , 16F
抱歉,是Linux系統
06/10 06:52, 16F

06/10 16:27, 2年前 , 17F
Fork 成不同 process?還有為什麼想避免 reentrant?
06/10 16:27, 17F

06/21 01:55, , 18F
看不太懂問題的"表示法" 看起來像是這個function永遠只能
06/21 01:55, 18F

06/21 01:56, , 19F
有個一process執行他, 在任一時間點, A或B但不能A,B都執
06/21 01:56, 19F
文章代碼(AID): #1YeXVKiX (C_and_CPP)
文章代碼(AID): #1YeXVKiX (C_and_CPP)