Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

After Goliath's defeat, giants ceased to command respect. -- Freeman Dyson


devel / comp.lang.ada / Re: Help: Ada in NetBSD

SubjectAuthor
* Help: Ada in NetBSDFernando Oleo Blanco
+* Re: Help: Ada in NetBSDStephane Carrez
|`* Re: Help: Ada in NetBSDFernando Oleo Blanco
| `* Re: Help: Ada in NetBSDSimon Wright
|  `* Re: Help: Ada in NetBSDFernando Oleo Blanco
|   `* Re: Help: Ada in NetBSDStephane Carrez
|    +- Re: Help: Ada in NetBSDSimon Wright
|    `* Re: Help: Ada in NetBSDFernando Oleo Blanco
|     `* Re: Help: Ada in NetBSDFernando Oleo Blanco
|      `* Re: Help: Ada in NetBSDFernando Oleo Blanco
|       `* Re: Help: Ada in NetBSDFernando Oleo Blanco
|        `* Re: Help: Ada in NetBSDSimon Wright
|         `* Re: Help: Ada in NetBSDFernando Oleo Blanco
|          +- Re: Help: Ada in NetBSDSimon Wright
|          `* Re: Help: Ada in NetBSDRandy Brukardt
|           `- Re: Help: Ada in NetBSDSimon Wright
+* Re: Help: Ada in NetBSDSimon Wright
|`- Re: Help: Ada in NetBSDFernando Oleo Blanco
`* Re: Help: Ada in NetBSDJohn R. Marino
 +* Re: Help: Ada in NetBSDFernando Oleo Blanco
 |`* Re: Help: Ada in NetBSDFernando Oleo Blanco
 | `* Re: Help: Ada in NetBSDFernando Oleo Blanco
 |  `* Re: Help: Ada in NetBSDFernando Oleo Blanco
 |   +- Re: Help: Ada in NetBSDSimon Wright
 |   +* Re: Help: Ada in NetBSDLuke A. Guest
 |   |+* Re: Help: Ada in NetBSDKevin Chadwick
 |   ||`- Re: Help: Ada in NetBSDFernando Oleo Blanco
 |   |`- Re: Help: Ada in NetBSDFernando Oleo Blanco
 |   `* Re: Help: Ada in NetBSDFernando Oleo Blanco
 |    `* Re: Help: Ada in NetBSDSimon Wright
 |     `- Re: Help: Ada in NetBSDFernando Oleo Blanco
 `* Re: Help: Ada in NetBSDFernando Oleo Blanco
  `* Re: Help: Ada in NetBSDDennis Lee Bieber
   `- Re: Help: Ada in NetBSDFernando Oleo Blanco

Pages:12
Re: Help: Ada in NetBSD

<sig2b7$i95$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5992&group=comp.lang.ada#5992

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!1h/B/1ghrB+3MK0iWL8Wpg.user.46.165.242.75.POSTED!not-for-mail
From: irvise...@irvise.xyz (Fernando Oleo Blanco)
Newsgroups: comp.lang.ada
Subject: Re: Help: Ada in NetBSD
Date: Wed, 22 Sep 2021 22:05:59 +0200
Organization: Aioe.org NNTP Server
Message-ID: <sig2b7$i95$1@gioia.aioe.org>
References: <sgfpod$19sl$1@gioia.aioe.org>
<646f270d-0e65-46a5-b40a-02afab608f1en@googlegroups.com>
<sgo4f7$lri$1@gioia.aioe.org> <si2jm1$1i9p$1@gioia.aioe.org>
<si54o5$h7b$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="18725"; posting-host="1h/B/1ghrB+3MK0iWL8Wpg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.1.1
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: Fernando Oleo Blanco - Wed, 22 Sep 2021 20:05 UTC

Another followup. This may require a new thread, but we will see.

So, very long story short. The assertion failure that I was getting,
s-taprop.adb:659 was because "pthread_setschedparam" was returning a
failure.

After digging up a bit, I noticed that the SCHED_{OTHER,RR,FIFO}
constants in s-osint__netbsd (taken from J. Marino) were wrong.

I corrected the values and expected GNAT to finally work. It did not.

The error being returned now by "pthread_setschedparam" was, however,
different. The error was that the input values were invalid. I checked
the input values, all seemed correct. I decided to take a look at the
validity of the "Priority" variable, as I did not know anything about
it. Which values could it take?

Unsurprisingly, the priority for the task may take different values
depending on the scheduler (SCHED_{OTHER,RR,FIFO}) and the OS. The link
I found that showed/explained this is
https://stackoverflow.com/questions/10657970/pthread-sched-get-priority-min-max-implementation-for-sched-other-sched-fifo

So I ran the code in the link to see if the Priority value was valid in
NetBSD and... Oh... Min: -1 and Max: -1... Reading the POSIX manual it
says that -1 is an error... Was I getting an error code?

I went into #netbsd, asked aaaaandd... No, it is no error, those are the
actual values that NetBSD uses as valid ones... So NetBSD is _not_ POSIX
compilant in this case... More quirks to take into account... However,
this thing is going to get discussed with NetBSD people.

But this is not where it ends...

The priority number I was getting is the default in libgnat/system.ads:
gcc/ada/libgnat/system.ads: Default_Priority : constant Priority := 15;

Some OSs/architectures have different defaults, but 15 seems to be the
most common one. However, this causes another question. If the valid
range is 0..0 (as in Ubuntu), how does GNAT know which priority value to
use? I have more or less followed the flow from where the value of
Priority gets set and I have not found anything that caught my eye. So I
would expect that in Ubuntu (for example) a Priority of 15 would create
an error... But it does not (GNAT works fine there). Strange... This
will require further research...

BUT that is not all. In GDB I manually changed the value of Priority to
-1 to see if it would work... And it did! But then when I told it to
continue, it error out in another place, s-tpopmo.adb:213. That is no
new error, in previous ACATS runs I was getting it in some places. And
it seems related to the "adafinal" procedure, which is run when a
program is done. Some tests were failing in adafinal while being
debugged in gdb, and if I remember correctly, they were also failing in
s-tpopmo.adb...

This little project of mine is going deeper and deeper each week... Arg...

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

Re: Help: Ada in NetBSD

<lyfstwwcp8.fsf@pushface.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5994&group=comp.lang.ada#5994

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!RKN7TKnHC01q0gdg6EhkbQ.user.46.165.242.75.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: Help: Ada in NetBSD
Date: Wed, 22 Sep 2021 21:57:23 +0100
Organization: Aioe.org NNTP Server
Message-ID: <lyfstwwcp8.fsf@pushface.org>
References: <sgfpod$19sl$1@gioia.aioe.org>
<646f270d-0e65-46a5-b40a-02afab608f1en@googlegroups.com>
<sgo4f7$lri$1@gioia.aioe.org> <si2jm1$1i9p$1@gioia.aioe.org>
<si54o5$h7b$1@gioia.aioe.org> <sig2b7$i95$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="64415"; posting-host="RKN7TKnHC01q0gdg6EhkbQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
Cancel-Lock: sha1:zcbL268yp47yanmC1r3MGObD6xY=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Simon Wright - Wed, 22 Sep 2021 20:57 UTC

*Deeply* impressed by the effort you're putting into this!

Re: Help: Ada in NetBSD

<sihcgn$dt9$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5995&group=comp.lang.ada#5995

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail
From: lagu...@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: Help: Ada in NetBSD
Date: Thu, 23 Sep 2021 09:04:31 +0100
Organization: Aioe.org NNTP Server
Message-ID: <sihcgn$dt9$1@gioia.aioe.org>
References: <sgfpod$19sl$1@gioia.aioe.org>
<646f270d-0e65-46a5-b40a-02afab608f1en@googlegroups.com>
<sgo4f7$lri$1@gioia.aioe.org> <si2jm1$1i9p$1@gioia.aioe.org>
<si54o5$h7b$1@gioia.aioe.org> <sig2b7$i95$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="14249"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
 by: Luke A. Guest - Thu, 23 Sep 2021 08:04 UTC

On 22/09/2021 21:05, Fernando Oleo Blanco wrote:

> So I ran the code in the link to see if the Priority value was valid in
> NetBSD and... Oh... Min: -1 and Max: -1... Reading the POSIX manual it
> says that -1 is an error... Was I getting an error code?
>
> I went into #netbsd, asked aaaaandd... No, it is no error, those are the
> actual values that NetBSD uses as valid ones... So NetBSD is _not_ POSIX
> compilant in this case... More quirks to take into account... However,
> this thing is going to get discussed with NetBSD people.
>
> But this is not where it ends...
>
> The priority number I was getting is the default in libgnat/system.ads:
> gcc/ada/libgnat/system.ads:   Default_Priority : constant Priority := 15;

system.ads should be specific to each platform and you can change it to
reflect that.

Re: Help: Ada in NetBSD

<38c55c4e-dde0-4b3d-a27f-98dfefbb61bcn@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5997&group=comp.lang.ada#5997

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:a60f:: with SMTP id p15mr4067663qke.114.1632394117598;
Thu, 23 Sep 2021 03:48:37 -0700 (PDT)
X-Received: by 2002:a25:94e:: with SMTP id u14mr4901665ybm.425.1632394117401;
Thu, 23 Sep 2021 03:48:37 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 23 Sep 2021 03:48:37 -0700 (PDT)
In-Reply-To: <sihcgn$dt9$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=84.92.86.82; posting-account=OCGnxwkAAADCyu751mus9xKbEvUSs9BP
NNTP-Posting-Host: 84.92.86.82
References: <sgfpod$19sl$1@gioia.aioe.org> <646f270d-0e65-46a5-b40a-02afab608f1en@googlegroups.com>
<sgo4f7$lri$1@gioia.aioe.org> <si2jm1$1i9p$1@gioia.aioe.org>
<si54o5$h7b$1@gioia.aioe.org> <sig2b7$i95$1@gioia.aioe.org> <sihcgn$dt9$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <38c55c4e-dde0-4b3d-a27f-98dfefbb61bcn@googlegroups.com>
Subject: Re: Help: Ada in NetBSD
From: m8il1i...@gmail.com (Kevin Chadwick)
Injection-Date: Thu, 23 Sep 2021 10:48:37 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Kevin Chadwick - Thu, 23 Sep 2021 10:48 UTC

Just wondering if any of these patches are useful?
OpenBSD was forked from NetBSD, but that was a long time ago.

"https://cvsweb.openbsd.org/ports/lang/gcc/11/patches/"

Re: Help: Ada in NetBSD

<siibtm$1vbr$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=6003&group=comp.lang.ada#6003

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!VcP7hXO8HFaKf0JrsXChOA.user.46.165.242.75.POSTED!not-for-mail
From: irvise...@irvise.xyz (Fernando Oleo Blanco)
Newsgroups: comp.lang.ada
Subject: Re: Help: Ada in NetBSD
Date: Thu, 23 Sep 2021 19:01:42 +0200
Organization: Aioe.org NNTP Server
Message-ID: <siibtm$1vbr$1@gioia.aioe.org>
References: <sgfpod$19sl$1@gioia.aioe.org>
<646f270d-0e65-46a5-b40a-02afab608f1en@googlegroups.com>
<sgo4f7$lri$1@gioia.aioe.org> <si2jm1$1i9p$1@gioia.aioe.org>
<si54o5$h7b$1@gioia.aioe.org> <sig2b7$i95$1@gioia.aioe.org>
<sihcgn$dt9$1@gioia.aioe.org>
<38c55c4e-dde0-4b3d-a27f-98dfefbb61bcn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="64891"; posting-host="VcP7hXO8HFaKf0JrsXChOA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.1.1
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: Fernando Oleo Blanco - Thu, 23 Sep 2021 17:01 UTC

On 23.09.21 12:48, Kevin Chadwick wrote:
> Just wondering if any of these patches are useful?
> OpenBSD was forked from NetBSD, but that was a long time ago.
>
> "https://cvsweb.openbsd.org/ports/lang/gcc/11/patches/"
>

I took a look. That is some nice patch work. However, sadly, not much
can be derived from it. It is pretty similar to what is already there or
that I patched. For example, the basic system.adb implementation is
pretty similar to the customized ones. The rest is just like what J.
Marino and I have done...

But thanks nonetheless!
--
Fernando Oleo Blanco
https://irvise.xyz

Re: Help: Ada in NetBSD

<siic2r$1vbr$2@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=6004&group=comp.lang.ada#6004

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!VcP7hXO8HFaKf0JrsXChOA.user.46.165.242.75.POSTED!not-for-mail
From: irvise...@irvise.xyz (Fernando Oleo Blanco)
Newsgroups: comp.lang.ada
Subject: Re: Help: Ada in NetBSD
Date: Thu, 23 Sep 2021 19:04:27 +0200
Organization: Aioe.org NNTP Server
Message-ID: <siic2r$1vbr$2@gioia.aioe.org>
References: <sgfpod$19sl$1@gioia.aioe.org>
<646f270d-0e65-46a5-b40a-02afab608f1en@googlegroups.com>
<sgo4f7$lri$1@gioia.aioe.org> <si2jm1$1i9p$1@gioia.aioe.org>
<si54o5$h7b$1@gioia.aioe.org> <sig2b7$i95$1@gioia.aioe.org>
<sihcgn$dt9$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="64891"; posting-host="VcP7hXO8HFaKf0JrsXChOA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.1.1
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Fernando Oleo Blanco - Thu, 23 Sep 2021 17:04 UTC

On 23.09.21 10:04, Luke A. Guest wrote:

>
> system.ads should be specific to each platform and you can change it to
> reflect that.
>

Yup. But other systems also have defaults that are different from what
they support. For example, the patches of OpenBSD also use a default
priority of 15, same in Linux (x86). But these priorities are out of
range. I am now debugging the ACATS suit in my computer to try to see
what is going on in Linux and why does it not fail (or if the value is
changed from the default one).

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

Re: Help: Ada in NetBSD

<siim0b$q2e$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=6006&group=comp.lang.ada#6006

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!VcP7hXO8HFaKf0JrsXChOA.user.46.165.242.75.POSTED!not-for-mail
From: irvise...@irvise.xyz (Fernando Oleo Blanco)
Newsgroups: comp.lang.ada
Subject: Re: Help: Ada in NetBSD
Date: Thu, 23 Sep 2021 21:53:47 +0200
Organization: Aioe.org NNTP Server
Message-ID: <siim0b$q2e$1@gioia.aioe.org>
References: <sgfpod$19sl$1@gioia.aioe.org>
<646f270d-0e65-46a5-b40a-02afab608f1en@googlegroups.com>
<sgo4f7$lri$1@gioia.aioe.org> <si2jm1$1i9p$1@gioia.aioe.org>
<si54o5$h7b$1@gioia.aioe.org> <sig2b7$i95$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="26702"; posting-host="VcP7hXO8HFaKf0JrsXChOA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.1.1
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Fernando Oleo Blanco - Thu, 23 Sep 2021 19:53 UTC

Okay, so another short blog post. This is going to be a bit of a fucking
rant.

So... remember when I said that NetBSD expected a priority value of -1
when using SCHED_ODER? And that that was not POSIX compilant? Well,
after a nice conversation in #netbsd, it has been decided to escalate
this matter into a PR/ML discussion. All that good :)

But the question on how does Linux work then? Remained... So I ran the
ACATS suite with debugging symbols, recompilation and assertions to
check. And guess what?

Let the code speak:

else

Param.sched_priority := 0;

Result :=

pthread_setschedparam

(T.Common.LL.Thread,

SCHED_OTHER, Param'Access);

end if;

pragma Assert (Result in 0 | EPERM | EINVAL);

end Set_Priority;

So the Set_Priority function receives the Default_Priority value, which
I think was 48. But when it goes into the actual branch, it knows that
that default value is stupid and discards it (sets it to 0). That would
be all nice and dandy, but here is the problem, 0 is a valid value
because most OS/arches use it, there is no reason 0 is valid (as per POSIX).

And what really gets me is that Pragma... Whomever wrote it probably was
getting errors and decided that that was fine. EPERM? EINVAL? Not my
problem! No wonder there is a specific s-taprop__linux.adb...

So here we are. NetBSD is not POSIX compliant (min and max SCHED_OTHER
priority is -1, which is an error code for the function that should
return it), and Linux hardcodes it. Amazing, just amazing...

My solution? Email the NetBSD people. But that won't be enough. So I am
thinking in patching the s-taprop__posix.adb file to try it with the
default priority, if it fails, with 0, if it fails, with -1 for NetBSD...

Oh well... I thought that the state of GNAT was better... Anyhow, regards,
--
Fernando Oleo Blanco
https://irvise.xyz

Re: Help: Ada in NetBSD

<lybl4iwh0t.fsf@pushface.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=6007&group=comp.lang.ada#6007

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!RKN7TKnHC01q0gdg6EhkbQ.user.46.165.242.75.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: Help: Ada in NetBSD
Date: Fri, 24 Sep 2021 08:48:34 +0100
Organization: Aioe.org NNTP Server
Message-ID: <lybl4iwh0t.fsf@pushface.org>
References: <sgfpod$19sl$1@gioia.aioe.org>
<646f270d-0e65-46a5-b40a-02afab608f1en@googlegroups.com>
<sgo4f7$lri$1@gioia.aioe.org> <si2jm1$1i9p$1@gioia.aioe.org>
<si54o5$h7b$1@gioia.aioe.org> <sig2b7$i95$1@gioia.aioe.org>
<siim0b$q2e$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="14422"; posting-host="RKN7TKnHC01q0gdg6EhkbQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:cIs9w3XCjkamATyg+sB3liXogbc=
 by: Simon Wright - Fri, 24 Sep 2021 07:48 UTC

Fernando Oleo Blanco <irvise_ml@irvise.xyz> writes:

> pragma Assert (Result in 0 | EPERM | EINVAL);

EINVAL was added 5 years ago. The others have been there for 20 years
(when Ada was added to FSF GCC, according to git blame in
https://github.com/gcc-mirror/gcc).

Re: Help: Ada in NetBSD

<sik6mo$1l4t$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=6010&group=comp.lang.ada#6010

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!vEeMgk/69DkKBLrjYdAIjg.user.46.165.242.75.POSTED!not-for-mail
From: irvise...@irvise.xyz (Fernando Oleo Blanco)
Newsgroups: comp.lang.ada
Subject: Re: Help: Ada in NetBSD
Date: Fri, 24 Sep 2021 11:44:56 +0200
Organization: Aioe.org NNTP Server
Message-ID: <sik6mo$1l4t$1@gioia.aioe.org>
References: <sgfpod$19sl$1@gioia.aioe.org>
<646f270d-0e65-46a5-b40a-02afab608f1en@googlegroups.com>
<sgo4f7$lri$1@gioia.aioe.org> <si2jm1$1i9p$1@gioia.aioe.org>
<si54o5$h7b$1@gioia.aioe.org> <sig2b7$i95$1@gioia.aioe.org>
<siim0b$q2e$1@gioia.aioe.org> <lybl4iwh0t.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="54429"; posting-host="vEeMgk/69DkKBLrjYdAIjg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.1.1
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: Fernando Oleo Blanco - Fri, 24 Sep 2021 09:44 UTC

On 24.09.21 09:48, Simon Wright wrote:
> Fernando Oleo Blanco <irvise_ml@irvise.xyz> writes:
>
>> pragma Assert (Result in 0 | EPERM | EINVAL);
>
> EINVAL was added 5 years ago. The others have been there for 20 years
> (when Ada was added to FSF GCC, according to git blame in
> https://github.com/gcc-mirror/gcc).
>

Thank you for your reply Simon. But I think I have understood it now.

It really does not matter what that function "pthread_set..." returns,
even if it is an error.

SCHED_OTHER is the default scheduler FIFO and RR are more RTOS-like and
are generally reserved for root. I would expect that most programs that
spawn threads generally do not care about the priority, since that is
managed by the OS.

That would mean that even if that function fails, once the program is
spawns the actual process, the OS just does it, independently of what
the program tried to do. That would explain why it works in OpenBSD,
FreeBSD etc, and why I was not getting this error before I added
assertions. Because it really does not matter.

I am still very salty about code that knows it fails, but does
nothing/is not cleaned up...

I patched however that function and reran ACATS.

Now, I am no longer getting that assertion failure (s-taprop.adb:659).
And at the very least the test I worked with (a83a02b) is now fully
fixed. However, now, other assertion failures in a couple other places
are taking place, primarily s-tassta.adb:1643, which is related to

pragma Assert (Self_ID.Common.Wait_Count = 0);

Which, from the comments, the master should not have any slaves but it
does somehow (mine is returning a 1). The s-tassta.adb file is shared
among all systems (there are no OS specific files). Another common error
is s-taprop.adb:463 and STORAGE_ERROR : s-intman.adb:136

I will keep on debugging.........
--
Fernando Oleo Blanco
https://irvise.xyz

Pages:12
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor