Re: (LibAnet)(Patch) This Patch made possible the use in High Integrity Systems.
Hi,
On 05/25/2018 07:31 PM, Dani wrote:
> Hi!
>
> What is the timeframe for including the patch?
>
> Note1: Distributed Anex programmers are also benefited.
> Note2: Does the patch make LibAnet and programs that use LibAnet more
> efficient? Yes!
> Why? Because the Ada compiler can make better decisions when
> compiling programs! :-)
I'm sorry but I'm not going to include a patch set of that size just for
the sake of some detect blocking, pure and preelaboration pragmas. In my
opinion the changes are just to invasive for a small benefit.
I hope you understand my point.
Regards,
- reto
> 2018-05-14 15:28 GMT-03:00 Dani <danielcheagle@gmail.com>:
>
>> Hi! :-)
>>
>>
>> 2018-05-14 6:16 GMT-03:00 Reto Buerki <reet@codelabs.ch>:
>>
>>> Hi,
>>>
>>> Thanks for your contribution to the anet project.
>>>
>>> On 05/12/2018 09:45 PM, Dani wrote:
>>>> Because I Known the source code of both,
>>>> I believe Libanet is faster and safer than gnat-sockets,
>>>> But gnat-sockets et.all claim categorically to be secure in the domains
>>> of
>>>> High Integrity, High Security and Real Time Systems. Whats "The Magic"
>>> for
>>>> this ? the Magic for this
>>>> is have categorization pragmas ( or attributes) and some initial
>>> re-work;
>>>
>>> I doubt that adding some pragmas makes a binding to the OS provided
>>> socket implementation high secure all of a sudden, but on the other hand
>>> the term 'high secure' is used for SSL websites nowadays, so what do I
>>> know.
>>>
>>
>> I agree with you; adding some pragmas does not make it any safer than
>> it already is. these pragmas only allow categorization. these
>> categorizations in
>> Ada help the compiler to separate what can and can not be used in a
>> program.
>>
>> Libanet already is secure in my vision.
>>
>>
>>>> With this categorization added tools from this fields can be used
>>>> flawlesse. :-D
>>>
>>> Can you please elaborate which tools you are referring to?
>>>
>>
>>
>> I Don't known theses tools beyond gnat itself, mas the _ use and
>> existence_ these tools
>> are touted by Software Manufacturers and required by Government Agencies
>> and Buyers of such systems.
>>
>> My prime motivation is a really huge system that I'm creating in Ada
>> with a friend. this system
>> involves banks and money and at some point we will be required by some
>> regulatory agency to
>> pass through the sieve of those tools required by these.
>>
>> I can't create we system already with categorization pragmas and or
>> proibited
>> by compiler the use o Libanet because Libanet don't have these
>> categorization pragmas. :-D
>>
>> Really does not stop being more bureaucracy. : -D But the existence of
>> these
>> categorizations in the Ada Language is well publicized and much required
>> in some niches.
>>
>> Unfortunately a large part of our system will have to pass the sieve of
>> one of these
>> niches at some point in the future.
>>
>> and Thanks for understanding my point.
>>
>>
>>> Kind regards,
>>> - reto
>>>
>>
>> Best Wishes, Dani.
>>
>> --
>> "There are many plans in the Human heart, But
>> is the Lord's Purpose that prevails"
>>
>> "Existem Muitos planos e desejos no coração Humano, MAS
>> são os Propósitos do Senhor que prevalecem"
>>
>> []'s Dani:-)
>>
>
>
>
Reply to: