comp.lang.ada
 help / color / mirror / Atom feed
From: "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>
Subject: Re: Ada Operating System
Date: Thu, 28 Mar 2002 09:37:46 -0500
Date: 2002-03-28T14:37:47+00:00	[thread overview]
Message-ID: <a7v9rr$kh7$1@nh.pace.co.uk> (raw)
In-Reply-To: 6c55au8m539tmegu6u7rpli47ik51ssvrm@4ax.com

"James Ross" <rem.jr@rem.webross.com> wrote in message
news:6c55au8m539tmegu6u7rpli47ik51ssvrm@4ax.com...
>
> I agree that such a "shoot yourself in the foot" mode should be a big
> inconvenience or you would have people using that mode to solve common
> problems.  I.e. logging in as root on UNIX to do the stuff you have to
> do. This mode should be for disaster recovery only and avoided
> completely under any other conditions.  A version of the OS could be
> compiled specifically for developing the OS itself that could switch
> easily between the modes **IF** that were necessary, I am not to sure
> that it would be.
>
Yeah, that's my point. Most of the time it isn't necessary or desirable to
run in a mode that is either realtime or has direct access to the hardware.
I could imagine that three tiers of operation for the OS might exist. One is
"Normal" mode in which it works pretty much like a standard workstation OS.
THe next is "Realtime" mode in which you can create processes that utilize
otherwise undesirable scheduling algorithms. And the third might be
"Glorified Program Loader" mode in which the OS might provide things like
device drivers and interrupt handlers, but otherwise, you've got complete
control of the machine. Getting into anything but "Normal" mode should not
be easy or accidental.


> One idea that came to mind is that during an install by the Admin a
> key would be given to him.  Something equivalent of an OEM key for a
> MS product. (aren't those a pain?).  Only on a cold reboot and with
> that key would he be able to enter the unsafe mode.  That key would be
> stored on the system encrypted using industrial strength encryption to
> make it very difficult for hackers to break it even if they did get
> passed the other security protecting where it is stored.
>
That's one way. The exact hows and whens are a matter of design, but just
simply making it something that doesn't happen just because you've got
privileges is what's important.


>
> You could come up with an Open Source License that stipulated that you
> can use it for free but you can't publicly distribute it.  Also, any
> changes made to the OS code base must be given back to the project.
> Then maintain a single distribution point of releases.  Anyone wanting
> to make sure they got the "secure" version would then make sure they
> got it from that single distributor. This would definitely avoid the
> distribution plethora like you have with Linux.
> JR
>
Well regardless of license and distribution, it comes down to a question of
what sort of promises are you willing to make about a large body of code.
Most folks would say "Without any warranty... but we believe it is A Good
Thing" which amounts to nothing more than marketing because it has no teeth.
I personally wouldn't want to put my business and other assets on the line
over a body of code that I can't control. I *might* be willing to stand
behind a specific executable that I built and rigorously tested, but if I
hand out the source code with it and allow you to recompile it, all bets are
off.

MDC


--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com





  reply	other threads:[~2002-03-28 14:37 UTC|newest]

Thread overview: 185+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-02-19 19:39 Ada Operating System Dann Corbit
2002-02-19 21:23 ` Adrian Knoth
2002-02-19 21:58 ` chris.danx
2002-02-19 22:40   ` Hugues Jerome
2002-02-20  0:38     ` Dann Corbit
2002-02-20 14:47       ` Joel Sherrill
2002-02-20 19:09         ` Hyman Rosen
2002-02-21 15:33           ` tony gair
2002-02-21 17:46             ` Chad R. Meiners
2002-02-21 17:57             ` Larry Kilgallen
2002-02-22  0:34               ` tony gair
2002-02-22  2:23                 ` Larry Kilgallen
2002-02-21 22:05             ` David Starner
2002-02-22  9:08             ` Adrian Hoe
2002-02-22 20:37               ` David Starner
2002-02-23  4:44                 ` Adrian Hoe
2002-02-23  6:10                   ` Mark Biggar
2002-02-23 18:04                   ` Richard Riehle
2002-02-23 18:07                   ` David Starner
2002-02-23 20:30                     ` Larry Kilgallen
2002-02-24  2:42                       ` David Starner
2002-02-24  4:27                       ` Larry Kilgallen
2002-02-24 17:15                         ` David Starner
2002-02-23 19:01                   ` Darren New
2002-02-25 13:51                   ` Marin David Condic
2002-02-26  0:47                     ` Larry Kilgallen
2002-03-05 14:16                       ` Marin David Condic
2002-02-25 17:56                   ` Pascal Obry
2002-02-25 20:01                   ` Randy Brukardt
2002-02-25 22:08                     ` Ted Dennison
2002-02-23 13:32                 ` Wannabe h4x0r
2002-02-23 13:53                   ` Jeffrey Creem
2002-02-25 18:00                     ` Pascal Obry
2002-02-23 14:05                   ` Samuel Tardieu
2002-02-23 14:31                   ` Florian Weimer
2002-02-23 20:09                     ` Wannabe h4x0r
2002-02-25 22:06                     ` Wes Groleau
2002-02-25  0:54                   ` Adrian Hoe
2002-02-25 12:52                   ` Ian S. Nelson
2002-02-23 16:41               ` Nick Roberts
2002-02-23 17:57               ` Richard Riehle
2002-02-23  3:11             ` Robert Dewar
2002-02-23  3:36               ` Dann Corbit
2002-02-23  4:42                 ` Larry Kilgallen
2002-02-25 14:05                   ` Marin David Condic
2002-02-26  0:48                     ` Larry Kilgallen
2002-02-23 18:12                 ` David Starner
2002-02-23 16:41           ` Nick Roberts
2002-02-20 13:48     ` Stephen Leake
2002-02-20  1:06 ` eunux
2002-02-23 16:41 ` Nick Roberts
2002-02-25 14:28   ` Marin David Condic
2002-02-27  5:23     ` James Ross
2002-03-05 14:28       ` Marin David Condic
2002-03-07  6:05         ` James Ross
2002-03-07 15:48           ` Marin David Condic
2002-03-08 16:03             ` Wes Groleau
2002-03-08 16:31               ` Marin David Condic
2002-03-09  9:46                 ` David Starner
2002-03-09 14:43                   ` Marin David Condic
2002-03-11 14:19                     ` Wes Groleau
2002-03-11 15:24                       ` Hyman Rosen
2002-03-09 15:40                 ` Wes Groleau
2002-03-09 15:52                   ` Marin David Condic
2002-03-09 17:54                 ` tmoran
2002-03-09 18:20                   ` Marin David Condic
2002-03-08 20:31               ` Dann Corbit
2002-03-09 15:42                 ` Wes Groleau
2002-03-09 16:34               ` Ian S. Nelson
2002-03-09 18:15                 ` Marin David Condic
2002-03-10  6:44                   ` Hyman Rosen
2002-03-10 14:37                     ` Larry Kilgallen
2002-03-11  5:03                       ` Hyman Rosen
2002-03-11 14:49                         ` Wes Groleau
2002-03-11 15:30                           ` Hyman Rosen
2002-03-11 17:30                             ` Wes Groleau
2002-03-11 17:45                               ` Hyman Rosen
2002-03-11 19:58                                 ` Wes Groleau
2002-03-12 17:42                         ` Warren W. Gay VE3WWG
2002-03-12 20:39                           ` Wes Groleau
2002-03-10 15:03                     ` Matthew Woodcraft
2002-03-10 19:40                     ` David Starner
2002-03-11  5:06                       ` Hyman Rosen
2002-03-11 15:11                         ` Marin David Condic
2002-03-18 16:18                           ` Tucker Taft
2002-03-18 17:24                             ` Marin David Condic
2002-03-25 17:25                             ` Darren New
2002-03-25 19:36                               ` Marin David Condic
2002-03-26  6:34                               ` James Ross
2002-03-26 13:56                                 ` Marin David Condic
2002-03-26 17:55                                 ` Darren New
2002-03-11 14:47                     ` Wes Groleau
2002-03-11 15:16                       ` Hyman Rosen
2002-03-11 16:04                         ` Marin David Condic
2002-03-12 17:45                           ` Warren W. Gay VE3WWG
2002-03-11 14:57                     ` Marin David Condic
2002-03-11 14:39                 ` Wes Groleau
2002-03-13  1:03               ` Pam Kelly
2002-03-13  1:45                 ` Gary Scott
2002-03-13  7:27                   ` David Starner
2002-03-13 14:02                     ` Marin David Condic
2002-03-13 22:42                     ` Pam Kelly
2002-03-13 23:28                       ` Larry Kilgallen
2002-03-27  0:51                         ` Brian Catlin
2002-03-13 23:51                       ` Marin David Condic
2002-03-14 15:54                     ` Alfred Hilscher
2002-03-13 13:54                   ` Marin David Condic
2002-03-14 13:17                     ` Larry Kilgallen
2002-03-14 17:32                       ` Marin David Condic
2002-03-13 13:49                 ` Marin David Condic
2002-03-14  2:09                   ` Pam Kelly
2002-03-14 16:01                   ` Alfred Hilscher
2002-03-14 17:43                     ` Marin David Condic
2002-03-16  9:06                       ` DPH
2002-03-16  8:00                   ` James Ross
2002-03-16 16:52                     ` Marin David Condic
2002-03-17  3:40                       ` Rod Haper
2002-03-16 20:07                     ` Robert A Duff
2002-03-17 11:23                       ` Preben Randhol
2002-03-17 21:36                       ` James Ross
2002-03-17 22:12                         ` Darren New
2002-03-18  1:25                           ` James Ross
2002-03-18  3:26                             ` Darren New
2002-03-18  5:06                               ` James Ross
2002-03-18  5:12                                 ` Darren New
2002-03-18  7:14                                   ` James Ross
2002-03-20 10:03                               ` Mats Karlssohn
2002-03-19  6:20                             ` David Starner
2002-03-23  6:06                               ` James Ross
2002-03-23 12:34                                 ` Preben Randhol
2002-03-23 21:44                                   ` David Starner
2002-03-24  3:47                                 ` Larry Kilgallen
2002-03-25 19:00                                   ` Preben Randhol
2002-03-25 19:27                                 ` Marin David Condic
2002-03-26 16:25                                   ` Wes Groleau
2002-03-26 18:01                                     ` Marin David Condic
2002-03-27 13:32                                       ` Wes Groleau
2002-03-27 14:22                                         ` sk
2002-03-27 16:39                                           ` Darren New
2002-03-27 17:07                                             ` Marin David Condic
2002-03-28  4:40                                               ` tmoran
2002-03-28 14:43                                                 ` Marin David Condic
2002-03-28  5:25                                               ` sk
2002-03-28  4:34                                       ` James Ross
2002-03-28 14:37                                         ` Marin David Condic [this message]
2002-03-29 17:52                                           ` Darren New
2002-03-26 20:23                                 ` Larry Kilgallen
2002-03-28 13:25                                 ` Larry Kilgallen
     [not found]                                 ` <a7ntns$7hh$Organization: LJK Software <vEY3SfNlq6Uc@eisner.encompasserve.org>
2002-03-28 14:58                                   ` Marin David Condic
2002-03-29 11:29                                 ` Larry Kilgallen
     [not found]                                 ` <a7ntns$7hh$Organization: LJK Software <Aj0bpsr17AIQ@eisner.encompasserve.org>
2002-03-29 14:02                                   ` Marin David Condic
2002-03-27 20:22                               ` John R. Strohm
2002-03-19  6:22                       ` David Starner
2002-03-13 14:08                 ` Wes Groleau
2002-03-13 22:02                   ` Pam Kelly
2002-03-13 22:19                     ` Larry Kilgallen
2002-03-13 23:26                       ` Pam Kelly
2002-03-14  0:49                         ` Adrian Knoth
2002-03-14 13:14                         ` Larry Kilgallen
2002-03-14 17:49                           ` Marin David Condic
2002-03-15 16:41                             ` Aidan Skinner
2002-03-15 19:26                             ` Mark Biggar
2002-03-15 20:14                               ` Marin David Condic
2002-03-15  8:03                   ` Tarjei T. Jensen
2002-03-12  2:23             ` James Ross
2002-03-12 15:28               ` Marin David Condic
2002-03-13  5:52                 ` James Ross
2002-02-27 11:30 ` Jorge Real
2002-02-28  5:34   ` tmoran
2002-02-28  8:56     ` chris.danx
2002-02-28 14:23       ` Wes Groleau
2002-02-28 13:19     ` Georg Bauhaus
2002-02-28 14:19     ` Wes Groleau
2002-02-28 15:24       ` chris.danx
2002-02-28 15:34         ` Ian Wild
2002-02-28 16:23           ` chris.danx
2002-02-28 17:52             ` Dave Poirier
2002-02-28 17:57               ` Dave Poirier
2002-03-02  4:01               ` Chad R. Meiners
2002-02-28 18:32         ` Tom Moran
2002-02-28 17:47     ` Dave Poirier
2002-02-27 21:50 ` Ken Pinard
2002-02-28  2:38   ` Dave Poirier
2002-02-28 13:49   ` Wes Groleau
2002-03-11 11:56 ` Simon Wright
replies disabled

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