git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [External] Re: [PATCH 1/1] freshen_file(): use NULL `times' for implicit current-time

From
luciano.rocha@booking.com <luciano.rocha@booking.com>
Date
Apr 15, 2020, 09:09 UTC
Message-ID
<20200415090906.wudutxpiyw7ooas6@C02Z11TTLVDN.corpad.adbkng.com>
In-Reply-To
<20200414195535.GA1879302@coredump.intra.peff.net>
On Tue, Apr 14, 2020 at 03:55:35PM -0400, Jeff King wrote:
Show 40 quoted lines
> On Tue, Apr 14, 2020 at 04:27:26PM +0200, luciano.rocha@booking.com wrote:
> 
> > Update freshen_file() to use a NULL `times', semantically equivalent to
> > the currently setup, with an explicit `actime' and `modtime' set to the
> > "current time", but with the advantage that it works with other files
> > not owned by the current user.
> > 
> > Fixes an issue on shared repos with a split index, where eventually a
> > user's operation creates a shared index, and another user will later do
> > an operation that will try to update its freshness, but will instead
> > raise a warning:
> >   $ git status
> >   warning: could not freshen shared index '.git/sharedindex.bd736fa10e0519593fefdb2aec253534470865b2'
> 
> Thanks, this makes sense. And as a bonus, it's less code. ;)
> 
> I don't recall having any particular reason not to use NULL in the
> original (I may simply not have been aware it was an option), and I
> can't find any discussion either way.
> 
> One observation:
> 
> >  static int freshen_file(const char *fn)
> >  {
> > -	struct utimbuf t;
> > -	t.actime = t.modtime = time(NULL);
> > -	return !utime(fn, &t);
> > +	return !utime(fn, NULL);
> >  }
> 
> The old code was setting the time based on the system time from time().
> We've occasionally hit cases where the filesystem time and the system
> time do not match exactly (this might be true on an NFS mount, for
> example).
> 
> It's not clear to me whether utime(NULL) would be using the system or
> filesystem time in such a case. If the former, then there's no change in
> behavior. If the latter, I'd argue that it's probably an _improvement_,
> since we're simulating the case that we wrote a new file with a new
> mtime.

I'm not that familiar with kernel code, so can't say for sure. From a cursory look, it doesn't seem like it uses the remote server's time.

But it does seem to have a higher precision, for filesystems that support it.

In Linux, it ends up calling current_time(inode), which says:
  * Return the current time truncated to the time granularity supported by
  * the fs.

And uses ktime_get_coarse_real_ts64(). That could explain any previous case where utime() of time(NULL) was different that just utime() or an effect from writing to a file.

Arguably, even more of an improvement if it gives higher resolution.
Regards,
-- 
Luciano Rocha
Previous: Jeff KingNext: Jeff King
Message 3 of 8 in “freshen_file(): use NULL `times' for implicit current-time”
  1. 1/1 freshen_file(): use NULL `times' for implicit current-timeluciano.rocha@booking.com, Apr 14, 2020
  2. Jeff KingApr 14, 2020
  3. luciano.rocha@booking.comApr 15, 2020
  4. Jeff KingApr 15, 2020
  5. Junio C HamanoApr 15, 2020
  6. Junio C HamanoApr 15, 2020
  7. brian m. carlsonApr 15, 2020
  8. Junio C HamanoApr 16, 2020

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.