Displaying 4 results from an estimated 4 matches for "theory_".
Did you mean:
theory
2018 Aug 31
1
Detecting whether a process exists or not by its PID?
...e R use these features and the interaction is
> still safe given the specific use in system/system2 and
> mcparallel/mccollect, yet would have to be re-visited if either of the
> two uses change. These features cannot be safely used outside of base R
> in contributed packages.
Yes, _in theory_ this is right, and of course this only works for
child processes.
_In practice_, you do not need signal handling. The startup time stamp
method is
completely fine, because it is practically impossible to have two
processes with the
same pid and the same (high precision) startup time. This method a...
2018 Aug 31
2
Detecting whether a process exists or not by its PID?
On Fri, Aug 31, 2018 at 2:51 PM Tomas Kalibera <tomas.kalibera at gmail.com> wrote:
[...]
> kill(sig=0) is specified by POSIX but indeed as you say there is a race
> condition due to PID-reuse. In principle, detecting that a worker
> process is still alive cannot be done correctly outside base R.
I am not sure why you think so.
> At user-level I would probably consider some
2012 Mar 25
2
build postfix rpm with mysql
...//g'); do
queue_hash_depth_remove $dir $depth
done
# now remove the other directories
for dir in corrupt hold maildrop pid private public saved; do
queue_hash_depth_remove $dir 0
done
}
# No more postfix packages left so prepare to finish package removal.
# _In theory_ there is no chroot environment now, so there is no need to
# clean it out.
# However it may be prudent later to add back a call to
# /etc/postfix/postfix-chroot.sh disable
# just to make sure, but won't do this yet. (If you think I should let
# me know).
if [ "$1" = 0 ]; then
serv...
2011 Nov 19
4
build postfix spec w/ mysql
...//g'); do
queue_hash_depth_remove $dir $depth
done
# now remove the other directories
for dir in corrupt hold maildrop pid private public saved; do
queue_hash_depth_remove $dir 0
done
}
# No more postfix packages left so prepare to finish package removal.
# _In theory_ there is no chroot environment now, so there is no need to
# clean it out.
# However it may be prudent later to add back a call to
# /etc/postfix/postfix-chroot.sh disable
# just to make sure, but won't do this yet. (If you think I should let
# me know).
if [ "$1" = 0 ]; then
serv...