作者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/cn.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