From jan@swi.swi.psy.uva.nl Sat Dec  1 08:52:51 2001
Received: from gollem.swi.psy.uva.nl (gollem.swi.psy.uva.nl [145.18.152.30])
	by swi.psy.uva.nl (8.10.2+Sun/8.11.2) with ESMTP id fB17qpI14004;
	Sat, 1 Dec 2001 08:52:51 +0100 (MET)
Received: (from jan@localhost)
	by gollem.swi.psy.uva.nl (8.11.3/8.11.3/SuSE Linux 8.11.1-0.5) id fB17qo606456;
	Sat, 1 Dec 2001 08:52:50 +0100
Date: Sat, 1 Dec 2001 08:52:50 +0100
Message-Id: <200112010752.fB17qo606456@gollem.swi.psy.uva.nl>
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Subject: Re: [SWIPL] pl-4.0.10 crash
To: "Leonid V. Khramov" <leo@solvo.ru>,
   Prolog mailing list <prolog@swi.swi.psy.uva.nl>
In-Reply-To: Leonid V. Khramov's message of Fri, 30 Nov 2001 11:52:33 +0300 (MSK)
Phone: +31 - 20 - 525 6121

> I'm using prolog 4.0.10 with --enable-mt option and my prolog programm use
> threads. Everything works fine but sometimes prolog crashes with this message:
> 
> MAIN THRîEÅA DÍ ÏgÇoÕt :Ò Áwork:mt_check_found_job(rdt(10,
> $stream(1253764)), 171, 33443, PICK, 33443),Â ÏfÔrÁoÔmØ  workman× 
> ÇÒÕÐÐÅ 10917
> [Thread 1] pl-proc.c:985: gcClausesDefinition: Assertion failed:
> def->erased_clauses == 0
> 
> As far as you see there is always something strange with output before
> crash. The output of two threads are mixed together :(
> I'm using writef for output to the stdout.
> 
> Can you help me, please?

No way without code to reproduce it, or at least some good ideas to
what kind of actions the problem relates.

	--- Jan

