From: Marius Vollmer <marius.vollmer@uni-dortmund.de>
Cc: guile-user@gnu.org
Subject: Re: Some introductory docs about C level threading
Date: Wed, 09 Feb 2005 13:13:09 +0100 [thread overview]
Message-ID: <lj3bw6szhm.fsf@troy.dt.e-technik.uni-dortmund.de> (raw)
In-Reply-To: <e6cbebd6b33651dd66be6e1487fdc8a4@raeburn.org> (Ken Raeburn's message of "Tue, 1 Feb 2005 19:38:03 -0500")
Ken Raeburn <raeburn@raeburn.org> writes:
>> SCM type will mean it's atomic.
>
> If use of the SCM type is assumed to be atomic in terms of CPU memory
> access and inter-CPU memory consistency, that's fine, but it should be
> documented as such -- and we should acknowledge that ports to
> architectures where that assumption does not hold may not be possible.
Yes, this is exactly my intention.
> [...]
> Depending on just how it works out, that could mean essentially
> declaring some of the scheme object types (like cons cells) as
> volatile, which would be poor for performance.
That would be no show-stopper: if Guile can only be correct with poor
performance on some platform, than we have to swallow that.
> And volatile declarations may fix the possibility of storing
> incomplete values, but I don't think it would deal with the
> cross-thread memory access ordering issue.
As long as accesses to SCM values are atomic, the ordering of
loads/stores across threads can be arbitrary.
_______________________________________________
Guile-user mailing list
Guile-user@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-user
next prev parent reply other threads:[~2005-02-09 12:13 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-01-21 18:29 Some introductory docs about C level threading Marius Vollmer
2005-01-21 21:20 ` Neil Jerram
2005-01-24 19:23 ` Marius Vollmer
2005-02-15 4:11 ` Robert Uhl
2005-01-22 12:37 ` tomas
2005-01-24 19:28 ` Marius Vollmer
2005-01-25 9:06 ` tomas
2005-01-25 15:58 ` Rob Browning
2005-01-25 16:01 ` Rob Browning
2005-01-26 9:05 ` tomas
2005-02-01 16:01 ` Marius Vollmer
2005-02-02 9:31 ` tomas
2005-02-02 13:18 ` Marius Vollmer
2005-02-02 13:47 ` tomas
2005-01-23 23:34 ` Kevin Ryde
2005-01-24 19:31 ` Some new reference docs about initialization Marius Vollmer
2005-01-24 20:27 ` Andreas Rottmann
2005-01-24 22:00 ` Marius Vollmer
2005-02-01 17:37 ` Some introductory docs about C level threading Ken Raeburn
2005-02-01 23:40 ` Kevin Ryde
2005-02-02 0:38 ` Ken Raeburn
2005-02-07 0:48 ` Kevin Ryde
2005-02-08 21:45 ` Ken Raeburn
2005-02-09 12:17 ` Marius Vollmer
2005-02-09 20:26 ` Kevin Ryde
2005-02-10 11:36 ` Marius Vollmer
2005-02-09 12:13 ` Marius Vollmer [this message]
2005-02-09 18:10 ` Ken Raeburn
2005-02-10 12:05 ` Marius Vollmer
2005-02-10 19:59 ` Ken Raeburn
2005-02-09 12:08 ` Marius Vollmer
2005-02-09 16:33 ` Doug Evans
2005-02-10 11:15 ` Marius Vollmer
2005-02-09 20:19 ` Kevin Ryde
2005-02-09 12:04 ` Marius Vollmer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=lj3bw6szhm.fsf@troy.dt.e-technik.uni-dortmund.de \
--to=marius.vollmer@uni-dortmund.de \
--cc=guile-user@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).