Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 10 Oct 2003 00:57:14 -0700
From:      Tim Kientzle <kientzle@acm.org>
To:        Terry Lambert <tlambert2@mindspring.com>
Cc:        freebsd-hackers@freebsd.org
Subject:   Re: Dynamic reads without locking.
Message-ID:  <3F86665A.8050209@acm.org>
In-Reply-To: <3F8527E1.26ED0CF6@mindspring.com>
References:  <20031008083059.GA520@garage.freebsd.pl> <20031008114506.I63940@beagle.fokus.fraunhofer.de> <3F8527E1.26ED0CF6@mindspring.com>

index | next in thread | previous in thread | raw e-mail

Terry Lambert wrote:
> For certain uses, however, it's safe to not lock before the
> read *on Intel architectures*.  This can go out the window on
> SPARC or PPC, or any architecture where there is no guarantee
> that there won't be speculative execution or out-of-order
> execution without explicit synchronization.

Even on Intel architectures, the compiler can and will reorder
operations.  Hardware-level issues are only a part of the story.

I followed the Java Memory Model mailing lists for a while.
A lot of very bright, very experienced people thought they
had found ways to avoid locking and were wrong.

This stuff is hard.  Do NOT underestimate it.

Tim


home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3F86665A.8050209>