From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Writing an Operating System in Ada Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <8e9bc311-7540-40a1-b19e-49e93648c25c@s31g2000yqs.googlegroups.com> <9oyblld05omh$.1dzhmyoseeb7x$.dlg@40tude.net> <414945fd-8ed5-4f42-a237-0685602332b3@f5g2000yqh.googlegroups.com> Date: Wed, 13 Jan 2010 10:17:24 +0100 Message-ID: NNTP-Posting-Date: 13 Jan 2010 10:17:24 CET NNTP-Posting-Host: 1c6cf330.newsspool4.arcor-online.net X-Trace: DXC=_f4AX;LC>H9=FQB?mjjV504IUK7enW;^6ZC`4IXm65S@:3>?Q]h44D82PA4 X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:8722 Date: 2010-01-13T10:17:24+01:00 List-Id: On Tue, 12 Jan 2010 13:52:40 -0800 (PST), Maciej Sobczak wrote: > On 12 Sty, 20:56, "Dmitry A. Kazakov" > wrote: > >> There should be no file system at all. If you have objects, I mean if you >> do have them consistently all the way, then you do not need files. Make >> objects persistent in the corresponding device, that gives you all >> functionality of any file. No I/O is ever needed. Map the object into the >> memory, call its operations, what else any program would have to do? > > Interact with other systems? You know, you might want to sometimes > move your "persistent objects" to another machine. Marshaling? In terms of ADT it is assignment. Create a local object of the type. Assign the remote object to it. Done. Provided you have the assignment defined. > Did I mention that you might want to move you whole hard drive to > another machine as well? :-) Did you try? What happens with a NTFS drive in a Linux system? Can you mount it as an ext4? This is not a question of objects or raw blocks. If the OS recognizes the pluggable component, there is no problem, if it does not there is a problem. Nothing prevents a portable design of persistent storage. Note that the file system itself is built on a layer of blocks and sectors. So if your argument worked, there would be no need for a file system. We would still read sectors and count drive heads... > There is a reason why none of the pure-OO-OS-let's-do-it-correctly > ever really took off. Yes. There are many reasons. For all there is no consistently designed OOPL, Ada included. Without MI, MD, tagged tasks, there is no chance to get it right. But the major problem is lack of any interest, since the market of operating system was burnt down to the ground. >> The problem is that we followed the wrong path for too long. > > There is nothing wrong with that path, as it happens to be very > pragmatic. Maybe. If we compared the computing power we had in i386 days with the power of a modern machine (that includes not only the CPUs but also all processors and micro controllers on board). Is this increase of power matched by what the software provides? I don't think it is. The "pragmatism" was, if you have a software problem, buy a new computer. That might be economically OK, but it still is bad for the software. In long term perspective we sooner or later will be forced to use computing resources more efficiently. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de