-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
> > Hmm... I keep reading over and over and I don't see how my idea doesn't
> > work... maybe an example and you can show me where it is flawed.
> >
> > say a file begins with the permissions following:
> >
> > rwxr-xr-xr-x
> >
> > ie, the last 3 b
Well, this is a little off subject but oh well :)
There are people that have been preaching about formal methods for 20 years
already and it just hasn't happened. Isn't it a bit presumptious to say that it
will only take another 20 years for people to see the 'light'.
Also comparing software en
Neal H Walfield wrote:
>
> > > > IMHO, the best solution would be to drop the last set of permissions and
> > > > port the ACL patch for Linux from http://acl.bestbits.at/ :) How hard
> > > > would that be?
>
> The issue here is that you have admitted to knowing nothing about either of
> them: w
> > > IMHO, the best solution would be to drop the last set of permissions and
> > > port the ACL patch for Linux from http://acl.bestbits.at/ :) How hard
> > > would that be?
The issue here is that you have admitted to knowing nothing about either of
them: who are you then to say what is better
Marcus Brinkmann wrote:
>
> On Fri, Dec 01, 2000 at 01:14:47PM -0300, Ivan Jager wrote:
> > IMHO, the best solution would be to drop the last set of permissions and
> > port the ACL patch for Linux from http://acl.bestbits.at/ :) How hard
> > would that be?
>
> Show us.
If you mean you want me
David Welch wrote:
> >
> I don't know about VDM or B, but Z isn't designed to specify concurrent
> programs. How will you handle this?
I am not sure yet, I haven't even tried a 'test' case.
Currenty, I am going through and consolidating what I know so far about how to specify
systems in general,
To be honest, I just heard about that patch a few days ago. I havn't
even tried it yet. I hope is isn't to specific to Linux.
Robert Marlow wrote:
> Actually I discussed this whole permissions thing with Jim Meyering and
> that's what he suggested. I haven't looked further into it yet though. Do
From: Marcus Brinkmann <[EMAIL PROTECTED]>
Subject: Re: Shared-Memory for the Hurd?
Date: Fri, 1 Dec 2000 13:06:11 +0100
> I don't know why Neal says libtrivfs doesn't fit the job, but I never tried
> to provide a treefs with libtrivfs. There is also libnetfs, which is also
> used by non-networke
From: Neal H Walfield <[EMAIL PROTECTED]>
Subject: Re: Shared-Memory for the Hurd?
Date: Thu, 30 Nov 2000 23:56:49 -0500
> * Getting a task's task port would likely have to be done by
> requesting it from the task itself (Correct me if I am wrong,
> however, I do not think that it c
On Fri, Dec 01, 2000 at 01:14:47PM -0300, Ivan Jager wrote:
> IMHO, the best solution would be to drop the last set of permissions and
> port the ACL patch for Linux from http://acl.bestbits.at/ :) How hard
> would that be?
Show us.
Marcus
--
`Rhubarb is no Egyptian god.' Debian http://www.deb
On Fri, 1 Dec 2000, Atle wrote:
>
> In February I will take a course about large projects, with an OS as a
> case study. There is one guy, teacher of formal methods, Georges
> Mariano <[EMAIL PROTECTED]> who will specify Linux in Z or B,
> and with some help I might have a go at a Hurd subsystem
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Actually I discussed this whole permissions thing with Jim Meyering and
that's what he suggested. I haven't looked further into it yet though. Do
you know much about ACL? It's a completely new concept to me (actually,
this whole thing's new but I gott
IMHO, the best solution would be to drop the last set of permissions and
port the ACL patch for Linux from http://acl.bestbits.at/ :) How hard
would that be?
Marcus Brinkmann wrote:
>
> On Fri, Dec 01, 2000 at 08:05:38PM +0800, Robert Marlow wrote:
> > -BEGIN PGP SIGNED MESSAGE-
> > Hash
Hello!
Keeping quiet for a while, I feel it is time to ask (again?):
What is the general attitude toward using formal methods (VDM-SL, Z, ...) in the
development of parts of the system?
I guess you are all aware that in 20 years, no software will be built without formal
methods, just like nobody
On Fri, Dec 01, 2000 at 08:05:38PM +0800, Robert Marlow wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> Hmm... I keep reading over and over and I don't see how my idea doesn't
> work... maybe an example and you can show me where it is flawed.
>
> say a file begins with the permissio
On Fri, Dec 01, 2000 at 06:42:15AM +0100, Farid Hajji wrote:
> > To conclude, the shm server would live in, e.g. /servers/shm.
> > Inheriting from libtreefs or libdiskfs seems like a good idea
> > (enabling you to expose the maps in that directory). Using trivfs
> > is a bad i
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hmm... I keep reading over and over and I don't see how my idea doesn't
work... maybe an example and you can show me where it is flawed.
say a file begins with the permissions following:
rwxr-xr-xr-x
ie, the last 3 bits for the non logged-in user i
17 matches
Mail list logo
