[m-rev.] for review: threadsafe version_arrays in Java

[Peter Wang]

On 16 April 2010 18:59, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> You should announce the fact that there are thread-safe and
> non thread-safe versions of version arrays in the NEWS file.

Done.

Branches: main, 10.04

NEWS:
        Announce thread safe version arrays and hash tables.

diff --git a/NEWS b/NEWS
index 995e22e..155c8f5 100644
--- a/NEWS
+++ b/NEWS
@@ -294,6 +294,10 @@ Changes to the Mercury standard library:
   with separate chaining schemes.  Consequently delete works, and double
   hashing predicates are not required.

+* We have added optional synchronisation to the version_array and
+  version_hash_table implementations.  They are now thread safe, but slower,
+  by default.
+
 * We have added a calendar module to the standard library. This module
   contains utilities for working with the Gregorian calendar.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------