Steel Bank Common Lisp

On Fri, May 27, 2005 at 12:35:58PM +0100, Gustavo Felisberto wrote:
> http://www.sbcl.org/manual/Threading.html#Threading
> 
> that in itself is a bit contradictory as it says it needs a NPTL system
> and then says:
> "On Linux x86, threading is implemented using |clone()| and does not
> involve pthreads. This is not because there is anything wrong with

This is not contradictory at all.  It requires NPTL because pre-NPTL
systems don't (usually) have futex support - and it's more likely
that people know whether they have NPTL than whether they have a
kernel that supports some syscall they've probably never heard of.

> pthreads /per se/, but there is plenty wrong (from our perspective) with
> LinuxThreads. SBCL threads are mapped 1:1 onto Linux tasks which share a
> VM but nothing else - each has its own process id and can be seen in
> e.g. |ps| output."
> in
> http://www.sbcl.org/manual/Implementation--Linux-x86-.html#Implementation%20(Linux%20x86)
> 
> which is not true.

What's not true?

* (sb-thread:make-thread (lambda () (sleep 300)))

12554
* (sb-thread:make-thread (lambda () (sleep 300)))

12555
* (sb-thread:make-thread (lambda () (sleep 300)))

12556
* (asdf:run-shell-command "ps axf | grep sbcl >/dev/tty")
12553 pts/1    S+     0:01              |       \_ sbcl
12554 pts/1    S+     0:00              |           \_ sbcl
12555 pts/1    S+     0:00              |           \_ sbcl
12556 pts/1    S+     0:00              |           \_ sbcl
12560 pts/1    R      0:00              |           \_ /bin/sh -c ps axf | grep sbcl >/dev/tty

(OK, technically I think they may be sharing the file descriptor table
as well as the VM, but they're not calling pthreads functions and they
definitely have distinct pids)


-dan

When i has reading the docs i saw "On Linux x86, threading is
implemented using clone()" this is refering to "On Linux x86, sbcl is
using threads using clone()" When i read that i understood that the docs
said that linux used clone for threads (as in the old pre nptl).

It was my mistake, i should have read with more attention. I'm sory if i
caused so much commotion.

-- 
Gustavo Felisberto
(HumpBack)
Web: http://dev.gentoo.org/~humpback
Blog: http://blog.felisberto.net/
------------
It's most certainly GNU/Linux, not Linux. Read more at
http://www.gnu.org/gnu/why-gnu-linux.html .
-------------

On Fri, May 27, 2005 at 01:19:06PM +0100, Gustavo Felisberto wrote:
> When i has reading the docs i saw "On Linux x86, threading is
> implemented using clone()" this is refering to "On Linux x86, sbcl is
> using threads using clone()" When i read that i understood that the docs
> said that linux used clone for threads (as in the old pre nptl).

You seem still to be confused.  For the record:

- there are two threading libraries for Linux: LinuxThreads (the old one)
  and NPTL (the new one)

- They both provide a POSIX Threads ("pthreads") interface, and are both
  implemented with use of clone()

- however, they typically use different options to clone(); a LinuxThreads
  system will create a separate pid for each thread, whereas a system
  with NPTL libraries will share the pid between threads.  

- SBCL does not currently[*] use the pthreads interface at all, because when
  the threading support was added NPTL was either in early development or 
  did not yet exist, and LinuxThreads is badly broken.  Instead it calls
  clone() directly.  The options to clone() that it uses cause it to
  create a separate pid for each thread

- However, it does require kernel support for futexes (for its mutex 
  implementation).  As not many people knwo whether they've got this,
  and as it's available on pretty much exactly the same systems as 
  NPTL (it is part of the kernel support required for NPTL), we describe
  SBCL as needing NPTL



[*] There's a currently-stalled branch of SBCL in CVS which uses the pthread
interfaces, but it's stuck on an interaction between POSIX 1003.1b semaphores
and copying GC, which I cannot see how to resolve in a non-icky way.  See
http://ww.telent.net/diary/2005/3/#6.793