Re: Some introductory docs about C level threading

[Doug Evans]

Marius Vollmer writes:
 > Kevin Ryde <address@hidden> writes:
 > 
 > > You can force load/stores to be exactly as given using `volatile', [...]
 > 
 > How would that work exactly?  Can we flag each assignment operation as
 > volatile, or would the SCM type need to be made volatile?  Would this
 > be a reason to remove SCM_SMOB_OBJECT_LOC, for example, and to
 > disallow pointers to SCM in general (since we must control all
 > assignments)?

I don't think GCC uses `volatile' to emit the memory barriers
Ken is refering to.  Using `volatile' to solve this problem
seems to me to be a non-starter.