[m-rev.] Trivial diff: fix hlc.par segfaults

Fergus Henderson fjh at cs.mu.OZ.AU
Sun Mar 13 12:35:39 AEDT 2005


On 22-Nov-2004, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Simon Taylor, Monday, 22 November 2004:
> > On 22-Nov-2004, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > > 
> > > Well, I still read this newsgroup on occaision, and I still have a
> > > reasonable understanding of the .par code.  If there are bugs in the
> > > .par grades, I'm at least willing to have a look at them when I get
> > > a chance.  But I'm not aware of any such bugs.
> > 
> > If there are no known bugs, that message shouldn't be in the BUGS
> > file either, because it just creates FUD in the minds of the users.
> 
> We would like to say something to the effect that, because of changes in
> the set of developers, addressing problems that arise with .par grades
> may take some time and that some such solutions may be beyond our reach.

Why do you want to say that?
How is that any different from bugs in any other part of the system?
I agree with Simon that saying that creates FUD in the minds of the
users, and I don't think we should do that unless there is a very strong
justification for it.  So far I haven't seen any such justification.

Anyway, it doesn't belong in the NEWS file.  Hence the following patch.

Estimated hours taken: 0.5
Branches: main, release

NEWS:
	Back out Ralph's change, as per discussion on mercury-reviews
	mailing list: this text does not belong in the NEWS file,
	and I don't think it should go in the BUGS file either.

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.375
diff -u -d -r1.375 NEWS
--- NEWS	25 Feb 2005 08:02:09 -0000	1.375
+++ NEWS	13 Mar 2005 01:19:53 -0000
@@ -339,11 +339,6 @@
 
 Changes to the Mercury compiler:
 
-* Due to personnel changes and semantic problems in the design of
-  POSIX threads and problems in the implementations thereof that we have tried,
-  we cannot guarantee that we will be able to fix low-level concurrency bugs in
-  .par grades.
-
 * We have added optional support for a new type-accurate garbage collector
   as an alternative to using the Boehm et al conservative collector.
 
-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list