From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.2uCIJahv+a4XEBqttj5Vkw.user.gioia.aioe.org!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: is there a version of unix written in Ada Date: Mon, 28 Sep 2020 22:30:25 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <00cd3aaa-d518-43a2-b321-58d6fae70aebo@googlegroups.com> <57eb7a65-51ea-4624-b9dc-9c4dda0fee59n@googlegroups.com> <5f70fd3b$0$13541$426a74cc@news.free.fr> <76af9bfd-e0f3-4620-83b5-779374fe5859n@googlegroups.com> NNTP-Posting-Host: 2uCIJahv+a4XEBqttj5Vkw.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.3.0 X-Mozilla-News-Host: news://news.aioe.org Content-Language: en-US X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader02.eternal-september.org comp.lang.ada:60325 List-Id: On 28/09/2020 18:28, Olivier Henley wrote: > On Monday, September 28, 2020 at 10:48:46 AM UTC-4, Dmitry A. Kazakov wrote: >> On 28/09/2020 15:48, Olivier Henley wrote: >>> On Monday, September 28, 2020 at 3:41:27 AM UTC-4, Dmitry A. Kazakov wrote: >>>> Le 27/09/2020 à 17:01, Dmitry A. Kazakov a écrit : >>>> To me a new OS must have new interface, which is a huge challenge, >>>> because interfaces of "modern" OSes are state of the art of late 70's. >>> >>> Any good references about that? >> I never saw anything novel published on OS interfacing since eternity. >> This is incredible on itself considering how much happened in the last >> half of century: distributed computing, multiple cores, virtualization, >> GPUs and vectorized computing, hundreds of generations of GUI, total >> overhaul of all hardware I/O interfaces, security and consistency >> challenges yet nothing could disturb the serenity of OS API. > > If I could read your mind and therefore consult your knowledge I would but Elon Musk's chips are not available yet... ;) I can't read it myself! (:-)) > It would be great if you could, at one point, gather those thoughts and document them in some way. > I am sure your encompassing knowledge would make a great design foundation. > Do you think you could make a 'lite' UML diagram of such ideas so as to have the first step toward a concrete context and publish it somewhere? Before concrete designs I see a lot of problems with the language itself (not necessarily Ada). An efficient memory-mapped architecture of OS objects requires a whole new language paradigm, preventing circumvention of visibility rules. OS objects are inherently MI and MD, including active object (tasks in Ada) and synchronization object (protected in Ada). Consistency checks require packages versioning and so on and so forth. There are reasons why low-level C rules the API. Higher-level interfaces are incredibly fragile. I believe SPARK is the way, but I have no idea where to start. > Personally, I think a Github readme.md page would be ideal at first as people could contribute ideas, complements but still be managed. (pull request, approve, revise etc) The problem is that all such projects tend to die due to lack of interest. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de