[gambit-list] How use SMP features and forms?

Hi Marc, Can you give some introduction to how the new SMP features are used? So the gsi/gsc argument -:pN specifies how many GVM processors (i.e. OS threads) should be spawned. That one is not yet in the manual ( http://www.iro.umontreal.ca/~gambit/doc/gambit.html#Threads). And then the green threads run spread over the GVM processors? How do you enumerate the GVM processors? How do you glue particular green threads or green thread groups to a particular GVM processor, if desired? What more SMP-specific forms and features are there? Thanks!