Re: [racket-users] emission filesystem-change-evt when directory is changing fast

[David Storrs]

I see.  Thanks, Matthew, that helps.

On Thu, Oct 12, 2017 at 3:06 PM, Matthew Flatt  wrote:
> A filesystem-change event becomes ready if there's a change between the
> time that you create the event and the time that you poll it. After the
> change event becomes ready, it stays ready, so you'd need create a new
> filesystem-change event to watch for further changes.
>
> With that interface, these questions of granularity don't apply,
> because your program is in charge of how often it creates and checks
> filesystem-change evts. Then again, it also means that the
> filesystem-change API doesn't tell you what has changed.
>
> At Thu, 12 Oct 2017 14:58:09 -0400, David Storrs wrote:
>> Suppose I'm watching a directory such that I will receive
>> filesystem-change-evts when things are added/deleted/renamed.  Someone
>> drag-n-drops 4,000 files into the directory.  How will the system
>> handle this?
>>
>> 1) Will I receive an event every time the OS starts copying the next
>> file, will it batch them up, or what?
>>
>> 2) If it batches them, what is the granularity?
>>
>> 3) How does this vary across OSes?
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to racket-users+unsubscr...@googlegroups.com.
>> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] emission filesystem-change-evt when directory is changing fast

[Matthew Flatt]

A filesystem-change event becomes ready if there's a change between the
time that you create the event and the time that you poll it. After the
change event becomes ready, it stays ready, so you'd need create a new
filesystem-change event to watch for further changes.

With that interface, these questions of granularity don't apply,
because your program is in charge of how often it creates and checks
filesystem-change evts. Then again, it also means that the
filesystem-change API doesn't tell you what has changed.

At Thu, 12 Oct 2017 14:58:09 -0400, David Storrs wrote:
> Suppose I'm watching a directory such that I will receive
> filesystem-change-evts when things are added/deleted/renamed.  Someone
> drag-n-drops 4,000 files into the directory.  How will the system
> handle this?
> 
> 1) Will I receive an event every time the OS starts copying the next
> file, will it batch them up, or what?
> 
> 2) If it batches them, what is the granularity?
> 
> 3) How does this vary across OSes?
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] emission filesystem-change-evt when directory is changing fast

[David Storrs]

Suppose I'm watching a directory such that I will receive
filesystem-change-evts when things are added/deleted/renamed.  Someone
drag-n-drops 4,000 files into the directory.  How will the system
handle this?

1) Will I receive an event every time the OS starts copying the next
file, will it batch them up, or what?

2) If it batches them, what is the granularity?

3) How does this vary across OSes?

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.