From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/3564 Path: news.gmane.org!not-for-mail From: =?ISO-8859-2?Q?Daniel_Cegie=B3ka?= Newsgroups: gmane.linux.lib.musl.general Subject: Re: New articles on ewontfix Date: Sun, 7 Jul 2013 17:52:26 +0200 Message-ID: References: <20130704164845.GA14035@brightrain.aerifal.cx> <4F9B79E1CAB949A2B6315F4A2AB900FE@lightcubesolutions.com> <20130704175806.GQ29800@brightrain.aerifal.cx> <20130705155411.GR29800@brightrain.aerifal.cx> <20130707122012.GC15323@port70.net> <20130707152740.GY29800@brightrain.aerifal.cx> Reply-To: musl@lists.openwall.com NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1373212379 16500 80.91.229.3 (7 Jul 2013 15:52:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 7 Jul 2013 15:52:59 +0000 (UTC) To: musl@lists.openwall.com Original-X-From: musl-return-3568-gllmg-musl=m.gmane.org@lists.openwall.com Sun Jul 07 17:53:01 2013 Return-path: Envelope-to: gllmg-musl@plane.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by plane.gmane.org with smtp (Exim 4.69) (envelope-from ) id 1UvrGk-0002uo-Bd for gllmg-musl@plane.gmane.org; Sun, 07 Jul 2013 17:52:58 +0200 Original-Received: (qmail 16258 invoked by uid 550); 7 Jul 2013 15:52:57 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: Original-Received: (qmail 16250 invoked from network); 7 Jul 2013 15:52:57 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=ordwfHjkt1A6Zu5J7AfZRLyrA3ZzMdDVeaptv+mr6eo=; b=Ej9QpNMUFMSf9FUf68UQR6PlSyOR08tAVTGACGN2Inh/9B07IkHZ9mrnxt0LBcFRzq 62EaPzU61bwVCNp2dsQd2xyvFqV/DQmWEe+WlIa6dsNosE95xO8nqUASbRv0d1Ws6gnb OGNgujaQLcywFtkBcnwsjNi52+DVUYDzEVFugnA6S9AOEBpnVqqJbki618FT2C27uHp1 4EssVwNtg/qsKbQlzqhnKeWz9b+ISrtrngth4kjUW6RKr7cRMfYwIZ4PI3xpNglwA2ES 1RfAKGdKD+lKzpyS/RTxyfEg3KbPDgifD6jFmC6GI9T6jrKNrFxhcR+Vgi47Z3QombQF 9CLg== X-Received: by 10.152.20.136 with SMTP id n8mr8708503lae.58.1373212366321; Sun, 07 Jul 2013 08:52:46 -0700 (PDT) In-Reply-To: <20130707152740.GY29800@brightrain.aerifal.cx> Xref: news.gmane.org gmane.linux.lib.musl.general:3564 Archived-At: 2013/7/7 Rich Felker : > On Sun, Jul 07, 2013 at 02:20:15PM +0200, Szabolcs Nagy wrote: >> * Rich Felker [2013-07-05 11:54:11 -0400]: >> > I'm still trying to determine how to work out a formal definition of >> > library-safe. My thought is that it would be based on the property of >> > being able to combine two programs with well-defined behavior, both >> > using the library code, into a single program where each original >> > program runs starting with its own initial thread, such that the >> > combined program does not invoke UB and the two sub-programs match >> > their behavior before being combined. However there are lots of ugly >> > issues that have to be considered. >> > >> > With that done, the interesting part would be covering common failures >> > of libraries to be library-safe. >> >> i'm not sure if you can derive all the interesting failures from a >> single definition >> >> this definition covers multi-thread issues Lukasz Sowa (blowfish diff for musl) has prepared a very good tool for debugging multi-threaded applications. https://github.com/luksow/Coconut I hope that it will be useful in testing... Daniel