comp.lang.ada
 help / color / mirror / Atom feed
From: Fernando Oleo Blanco <irvise_ml@irvise.xyz>
Subject: Re: Help: Ada in NetBSD
Date: Sat, 18 Sep 2021 18:39:33 +0200	[thread overview]
Message-ID: <si54o5$h7b$1@gioia.aioe.org> (raw)
In-Reply-To: si2jm1$1i9p$1@gioia.aioe.org

Welp, I have another "major" update...

I talked to #netbsd and asked if there was anything I should be aware 
when dealing with pthreads in NetBSD. I did not get any much advice, but 
I was told that there were some issues with lwps that were fixed. Lwp 
stands for Lightweight processes.

I went ahead and started debugging a failing test. After running the 
program a few times in gdb, I got a message related to a potential issue 
with the lwp (this test was using tasking).

Interesting I told myself, but I did not dig any further. Here was the 
issue. I was using an installation of NetBSD that is modified, it is the 
OS108 "distro". It is created by a fellow Ada lover Jay Patelani. The 
thing is that OS108 as it stood when I installed, was based on a 
development version of NetBSD 9.1. I decided that if there were 
potential issues because of the development version, I did not want to 
find out; specially after being warned about lwps.

So I updated to NetBSD 9.2, the latest stable release. And I ran the 
tests once again............ And guess what. I am getting the exact same 
failing tests, but, for the time being (the tests are still running), 
all have failed with the same raised exception. And this exception is 
"new", it was not part of the ones I named in the previous email.

It is "raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : s-taprop.adb:659"
s-taprop was already raising an exception before, but in line 463 and 
just in some cases. Let me repeat it once again, all tests that I have 
seen so far, that fail with an exception that is not related to Storage, 
are failing only with this "new" one. That is a great thing in terms of 
narrowing down where the potential issue may lie. It also means that 
much of my work is not really that helpful... And maybe even that it has 
always been working, and I just need to recompile GCC... Oh no... That 
idea just came up in my head while typing...

I will be back in about 6 hours.

Regards,
-- 
Fernando Oleo Blanco
https://irvise.xyz

  reply	other threads:[~2021-09-18 16:39 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-08-29 11:06 Help: Ada in NetBSD Fernando Oleo Blanco
2021-08-29 13:19 ` Stephane Carrez
2021-08-29 18:08   ` Fernando Oleo Blanco
2021-08-29 18:25     ` Simon Wright
2021-08-29 20:36       ` Fernando Oleo Blanco
2021-08-29 22:08         ` Stephane Carrez
2021-08-30  7:37           ` Simon Wright
2021-08-30  8:14           ` Fernando Oleo Blanco
2021-08-30 10:24             ` Fernando Oleo Blanco
2021-08-30 12:15               ` Fernando Oleo Blanco
2021-08-30 18:49                 ` Fernando Oleo Blanco
2021-08-30 19:23                   ` Simon Wright
2021-09-01  9:44                     ` Fernando Oleo Blanco
2021-09-01 21:41                       ` Simon Wright
2021-09-02 22:16                       ` Randy Brukardt
2021-09-03 20:18                         ` Simon Wright
2021-08-29 17:34 ` Simon Wright
2021-08-29 17:45   ` Fernando Oleo Blanco
2021-09-01 13:28 ` John R. Marino
2021-09-01 14:58   ` Fernando Oleo Blanco
2021-09-17 17:36     ` Fernando Oleo Blanco
2021-09-18 16:39       ` Fernando Oleo Blanco [this message]
2021-09-22 20:05         ` Fernando Oleo Blanco
2021-09-22 20:57           ` Simon Wright
2021-09-23  8:04           ` Luke A. Guest
2021-09-23 10:48             ` Kevin Chadwick
2021-09-23 17:01               ` Fernando Oleo Blanco
2021-09-23 17:04             ` Fernando Oleo Blanco
2021-09-23 19:53           ` Fernando Oleo Blanco
2021-09-24  7:48             ` Simon Wright
2021-09-24  9:44               ` Fernando Oleo Blanco
2021-09-13 18:49   ` Fernando Oleo Blanco
2021-09-13 22:24     ` Dennis Lee Bieber
2021-09-17 17:19       ` Fernando Oleo Blanco
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox