SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 13:40 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? John Cowan (15 Sep 2020 15:57 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Lassi Kortela (15 Sep 2020 16:36 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Lassi Kortela (15 Sep 2020 16:41 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 17:07 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Lassi Kortela (15 Sep 2020 17:16 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? John Cowan (15 Sep 2020 17:17 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 19:02 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Lassi Kortela (15 Sep 2020 19:31 UTC)
A Lisp programmer walks into a room Lassi Kortela (15 Sep 2020 19:42 UTC)
Re: A Lisp programmer walks into a room Arthur A. Gleckler (15 Sep 2020 20:53 UTC)
Re: A Lisp programmer walks into a room Marc Nieper-Wißkirchen (15 Sep 2020 20:58 UTC)
Re: A Lisp programmer walks into a room John Cowan (15 Sep 2020 21:12 UTC)
Re: A Lisp programmer walks into a room Lassi Kortela (15 Sep 2020 21:40 UTC)
Re: A Lisp programmer walks into a room Lassi Kortela (15 Sep 2020 21:53 UTC)
Re: A Lisp programmer walks into a room Arthur A. Gleckler (15 Sep 2020 22:15 UTC)
Re: A Lisp programmer walks into a room Lassi Kortela (15 Sep 2020 22:44 UTC)
Re: A Lisp programmer walks into a room hga@xxxxxx (15 Sep 2020 21:54 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 21:27 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Arthur A. Gleckler (15 Sep 2020 22:13 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 22:29 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Arthur A. Gleckler (15 Sep 2020 22:33 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 22:40 UTC)
Testing root-only features Lassi Kortela (16 Sep 2020 07:28 UTC)
Re: Testing root-only features Lassi Kortela (16 Sep 2020 07:31 UTC)
Re: Testing root-only features hga@xxxxxx (16 Sep 2020 11:04 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? John Cowan (15 Sep 2020 20:01 UTC)

Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx 15 Sep 2020 21:27 UTC

> From: Lassi Kortela <xxxxxx@lassi.io>
> Date: Tuesday, September 15, 2020 2:31 PM
>
>>>> I was writing some flaky tests to see if it's returning true results,
>>>> but the more I think of my assumptions, the harder this gets.  For
>>>> example, is there any filesystem almost guaranteed to be quiescent
>>>> between two calls of it?  /tmp is both iffy and not guaranteed to be a
>>>> separate file system, neither is /.  But maybe adding 32 MiB to
>>>> whatever is /tmp and checking to see if there's less free space is safe
>>>> enough.
>>>>
>>>> Advice is solicited; I have checked the results by hand with df, Linux
>>>> is fine, but either I'm too out of it, or OpenBSD is lying.
>>>
>>> Good questions.
>>
>> Let me ask another: is 32 GiB too much, too little, or about right?
>
> Sorry, I don't think I understood the line of reasoning.
>
> Are you writing a unit test to check whether the results are in the same
> ballpark if you get the free space multiple times for the same pathname?
> And wondering about what size ballpark to use :)

Not even "ballpark", although I suppose I should try for that.  Right
now, just a minimal sanity check, write 32 MiB, flush the port, make
sure the free-space is smaller than it was before I started writing to
/tmp.  And John's EC2 example of 10GiB for all of / including /tmp
hopefully wouldn't fail with this "small" a write.  But if so, it
could probably be moderately safely if smaller.

> I don't think any file system other than some kind of null mount or a
> read-only mount is guaranteed to stay the same size....

Indeed, I'm just spitballing how to try to find one that's most likely
to stay the same with two back to back calls to free-space.

> [...]

- Harold