TimelyDataflow / differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.
MIT License
2.54k stars 183 forks source link

Pointstamps and dynamic scopes #378

Closed frankmcsherry closed 1 year ago

frankmcsherry commented 1 year ago

This PR adds an implementation of a new timestamp type, Pointstamp, that roughly speaking emulates the timestamp component of Naiad's pointstamp type. The timestamp is a Vec<T>, corresponding to timestamps of nested scopes of dynamic (rather than static) depth, and the path summaries on this type represent entering, iterating within, and exiting these scopes.

An example, examples/dynamic.rs, shows off how you would write the bfs.rs example using these constructs. It .. probably implies that this could all be a bit clearer or more idiomatic.