Date: Thu, 20 Aug 1998 17:21:45 -0400 From: Garance A Drosihn <drosih@rpi.edu> To: ac199@hwcn.org Cc: hackers@FreeBSD.ORG Subject: Re: proposal to not change time_t Message-ID: <v0401170ab2023ec538ef@[128.113.24.147]> In-Reply-To: <Pine.BSF.3.96.980820161347.1327B-100000@localhost> References: <v04011707b202199e7df5@[128.113.24.147]>
next in thread | previous in thread | raw e-mail | index | archive | help
At 4:14 PM -0400 8/20/98, Tim Vanderhoek wrote:
>On Thu, 20 Aug 1998, Garance A Drosihn wrote:
>
>> So, even infinite resolution won't really solve all the
>> pathological cases. Completely solving them would get
>> rather tricky, and probably involves changes to the 'make'
>> command.
>
> Like locking sources?
Assuming you can reliably read-lock sources that you do not
have write access to, that could work, and seems like an
interesting idea. Not sure how much that would be complicated
by things like NFS-mounted drives, but it seems like a pretty
reasonable thing for 'make' to do. In fact, when making any
target, it could write-lock all targets and read-lock all
sources before executing any of the commands to make that
target, and then unlock them all when it's done.
Actually I was thinking of something more cumbersome, like
having 'make' note the lastdatachg time of all sources before
making a target, and then doing some sort of check after
the target is made to see if the sources had changed. If
the sources had not changed, then it ('make') would make
sure the lastdatachg time of the target is later than that
of all the sources. If some source had changed while the
target was being made, well, I guess it should remake it
(although I get uneasy about things which automatically
decide to "redo" themselves).
Basically, I was just waving my hands vaguely in the air,
saying that we'd have to do "something" more than have
better time resolution, without being really sure what
that "something" should be...
---
Garance Alistair Drosehn = gad@eclipse.its.rpi.edu
Senior Systems Programmer or drosih@rpi.edu
Rensselaer Polytechnic Institute
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-hackers" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?v0401170ab2023ec538ef>