I believe that modern Linux and FreeBSD implementations use 32 bit
ints for the pid_t. There will never be that many processes on a 32 bit
OS, but since they just go forward until they wrap, getting a pid bigger
than 16 bits is probably even to be expected.

> On Aug 6, 2014, at 11:43 AM, Alexander Burger <a...@software-lab.de> wrote:
> I've fixed it now for pil64. I do not want to fix it for pil32, because
> it is (1) more difficult and error-prone in C than in assembly, and (2)
> because I believe that on 32-bit machines a 16-bit PID will always be
> sufficient.

UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to