> `update_seq` - is same as earlier. Not entirely sure on the intent there.
I just recall another reason why I did this. It helps with etag generation. 
I am not going to add it to the spec for now.

On 2020/04/23 21:15:05, Paul Davis <paul.joseph.da...@gmail.com> wrote: 
> I'd agree that my initial reaction to cursor was that its not a great
> fit, but there does seem to be the existing name used in the greater
> REST world for this sort of pagination so I'm not concerned about
> using that terminology.
> 
> I'm generally on board with allowing and setting some default sane
> limits on pages. We probably should have done that quite awhile ago
> after moving to native clustering and now that we have FDB limits I
> think it makes even more sense to have an API that does not lend
> itself to crazy errors when people are just trying to poke at an API.
> 
> I think we're all on board that one of the goals is to make sure that
> clients don't accidentally misinterpret a response. That is, we're
> trying to be quite diligent that a user doesn't get 1000 rows and not
> realize there's another 10 that were beyond the limit. The bookmark
> approach with hard caps seems like a generally fine approach to me.
> The current approach users extra URL path segments to try and avoid
> this confusion. I wonder if we should consider starting to properly
> version our API using one of the many schemes that are used. Having
> read through a few articles I don't have a very clear favorite though.
> 
> As to this particular proposal I do see a couple issues:
> 
> `total` - We can do this in most cases fairly easily. Though it's a
> bit odd for continuous changes.
> 
> `complete` - I'm not sure whether this is entirely possible given the
> API that FDB presents us. Specifically, when we set a range and we get
> back exactly $num_rows in the response, if the data set ended at
> exactly that page I don't think the `more` flag from fdb would tell us
> that. So we'd have a clunky UX there where we say not complete but the
> next page is empty. That's also not to mention that depending on
> whether we're looking at snapshots and so on that there's no way for
> us to know between stateless requests whether there were more rows
> added to the end.
> 
> `page` - This one is just hard/impossible to calculate. FDB doesn't
> provide us with offsets or even an efficient "about how many rows in
> this range?" type queries so providing that would be both inaccurate
> and fairly difficult/expensive to calculate. In some cases I think we
> could have something maybe close that didn't suck too badly, but it'd
> also fall down for changes as well due to the way that updates reorder
> them.
> 
> `update_seq` - I'm just not sure on when this would be useful or what
> it would refer to. Maybe a version stamp of the last change for that
> request? If we had a future API that asked for a snapshot access then
> maybe? But if we did do something there with versionstamps or read
> versions I'd expect that to come with the rest of the API.
> 
> For the bookmark fields:
> 
> `direction` vs `descending` seems like a field duplication to me.
> 
> `page` - This would seem to suggest we could skip to a certain
> location in the results numerically which we are not able to do with
> the FDB API.
> 
> `last_key` vs `start_key` seems like a field duplication. We don't
> need to know where things started I don't think. Just where to start
> from and where to end.
> 
> `update_seq` - is same as earlier. Not entirely sure on the intent there.
> 
> `timestamp` - Expiring bookmarks based on time does not seem like a
> good idea. Both for clock skew and why bother when this would
> functionally just be a convenience API that users could already
> implement for themselves.
> 
> Another thing might also be to provide our bookmark as a full link
> that seems to be fairly standard REST practice these days. Something
> that clients don't have to do any logic with so that we're free to
> change the implementation.
> 
> And lastly, I don't think we should be neglecting the _changes API as
> part of this discussion. I realize that we'll need to support the
> older streaming semantics if we want to maintain replication
> compatibility (which I think we'll all agree is a Good Thing) but it
> also feels a bit wrong to ignore it as part of this work if we're
> going to be modernizing our APIs. Though if we do pick up a good
> versioning scheme then we could theoretically make those changes
> easily enough. Plus, who doesn't want to rewrite chttpd to be a whole
> lot less... chttpd-y?
> 
> 
> On Thu, Apr 23, 2020 at 1:43 PM Robert Samuel Newson <rnew...@apache.org> 
> wrote:
> >
> >
> > I think it's a key difference from "cursor" as I've seen them elsewhere, 
> > that ours will point at an ever changing database, you couldn't seamlessly 
> > cursor through a large data set, one "page" at a time.
> >
> > Bookmarks began in search (raises guilty hand) in order to address a 
> > Lucene-specific issue (that high values of "skip" are incredibly 
> > inefficient, using lots of RAM). That is not true for CouchDB's own 
> > indexes, which can be navigated perfectly with 
> > startkey/endkey/startkey_docid/endkey_docid, etc.
> >
> > I guess I'm not helping much with these observations but I wouldn't like to 
> > see CouchDB gain an additional and ugly method of doing something already 
> > possible.
> >
> > B.
> >
> > > On 23 Apr 2020, at 19:02, Joan Touzet <woh...@apache.org> wrote:
> > >
> > > I realise this is bikeshedding, but I guess that's kind of the point... 
> > > Everything below is my opinion, not "fact."
> > >
> > > It's unfortunate we need a new endpoint for all of this. In a vacuum I 
> > > might have just suggested we use the semantics we already have, perhaps 
> > > with ?from= instead of ?since= .
> > >
> > > "page" only works if the size of a page is well known, either by server 
> > > preference or directly in the URL. If I ask for:
> > >
> > >  GET /{db}/_all_docs?limit=20&page=3
> > >
> > > I know that I'm always going to get document 41 through 60 in the default 
> > > collation order.
> > >
> > > There's a *fantastic* summary of examples from popular REST APIs here:
> > >
> > > https://medium.com/@ignaciochiazzo/paginating-requests-in-apis-d4883d4c1c4c
> > >
> > > We are *pretty close* to what a cursor means in those other examples, 
> > > except for the fact that our cursor can go stale/invalid after a short 
> > > time.
> > >
> > > Bob, could you be a bit more detailed in your explanation how our 
> > > definition isn't close to these? Or did you mean SQL CURSOR (which is 
> > > something entirely different?) If so, I'm fine with this being a REST API 
> > > cursor - something clearly distinct.
> > >
> > > I come back to wanting to preserve the existing endpoint syntax and 
> > > naming, without new endpoints, but specifying this new FDB token via 
> > > ?cursor= and this being the trigger for the new behaviour. At some point, 
> > > we simply stop accepting ?since= tokens. This seems inline with other 
> > > popular REST APIs.
> > >
> > > -Joan "still sick and not sleeping right" Touzet
> > >
> > >
> > > On 2020-04-23 12:30, Robert Newson wrote:
> > >> cursor has established meaning in other databases and ours would not be 
> > >> very close to them. I don’t think it’s a good idea.
> > >> B.
> > >>> On 23 Apr 2020, at 11:50, Ilya Khlopotov <iil...@apache.org> wrote:
> > >>>
> > >>> 
> > >>>>
> > >>>> The best I could come up with is replacing page with
> > >>>> cursor - {db}/_all_docs/cursor or possibly {db}/_cursor/_all_docs
> > >>> Good idea, I like {db}/_all_docs/cursor (or {db}/_all_docs/_cursor).
> > >>>
> > >>>> On 2020/04/23 08:54:36, Garren Smith <gar...@apache.org> wrote:
> > >>>> I agree with Bob that page doesn't make sense as an endpoint. I'm also
> > >>>> rubbish with naming. The best I could come up with is replacing page 
> > >>>> with
> > >>>> cursor - {db}/_all_docs/cursor or possibly {db}/_cursor/_all_docs
> > >>>> All the fields in the bookmark make sense except timestamp. Why would 
> > >>>> it
> > >>>> matter if the timestamp is old? What happens if a node's time is an 
> > >>>> hour
> > >>>> behind another node?
> > >>>>
> > >>>>
> > >>>>> On Thu, Apr 23, 2020 at 4:55 AM Ilya Khlopotov <iil...@apache.org> 
> > >>>>> wrote:
> > >>>>>
> > >>>>> - page is to provide some notion of progress for user
> > >>>>> - timestamp - I was thinking that we should drop requests if user 
> > >>>>> would
> > >>>>> try to pass bookmark created an hour ago.
> > >>>>>
> > >>>>> On 2020/04/22 21:58:40, Robert Samuel Newson <rnew...@apache.org> 
> > >>>>> wrote:
> > >>>>>> "page" and "page number" are odd to me as these don't exist as 
> > >>>>>> concepts,
> > >>>>> I'd rather not invent them. I note there's no mention of page size, 
> > >>>>> which
> > >>>>> makes "page number" very vague.
> > >>>>>>
> > >>>>>> What is "timestamp" in the bookmark and what effect does it have when
> > >>>>> the bookmark is passed back in?
> > >>>>>>
> > >>>>>> I guess, why does the bookmark include so much extraneous data? Items
> > >>>>> that are not needed to find the fdb key to begin the next response 
> > >>>>> from.
> > >>>>>>
> > >>>>>>
> > >>>>>>> On 22 Apr 2020, at 21:18, Ilya Khlopotov <iil...@apache.org> wrote:
> > >>>>>>>
> > >>>>>>> Hello everyone,
> > >>>>>>>
> > >>>>>>> Based on the discussions on the thread I would like to propose a
> > >>>>> number of first steps:
> > >>>>>>> 1) introduce new endpoints
> > >>>>>>> - {db}/_all_docs/page
> > >>>>>>> - {db}/_all_docs/queries/page
> > >>>>>>> - _all_dbs/page
> > >>>>>>> - _dbs_info/page
> > >>>>>>> - {db}/_design/{ddoc}/_view/{view}/page
> > >>>>>>> - {db}/_design/{ddoc}/_view/{view}/queries/page
> > >>>>>>> - {db}/_find/page
> > >>>>>>>
> > >>>>>>> These new endpoints would act as follows:
> > >>>>>>> - don't use delayed responses
> > >>>>>>> - return object with following structure
> > >>>>>>> ```
> > >>>>>>> {
> > >>>>>>>    "total": Total,
> > >>>>>>>    "bookmark": base64 encoded opaque value,
> > >>>>>>>    "completed": true | false,
> > >>>>>>>    "update_seq": when available,
> > >>>>>>>    "page": current page number,
> > >>>>>>>    "items": [
> > >>>>>>>    ]
> > >>>>>>> }
> > >>>>>>> ```
> > >>>>>>> - the bookmark would include following data (base64 or 
> > >>>>>>> protobuff???):
> > >>>>>>> - direction
> > >>>>>>> - page
> > >>>>>>> - descending
> > >>>>>>> - endkey
> > >>>>>>> - endkey_docid
> > >>>>>>> - inclusive_end
> > >>>>>>> - startkey
> > >>>>>>> - startkey_docid
> > >>>>>>> - last_key
> > >>>>>>> - update_seq
> > >>>>>>> - timestamp
> > >>>>>>> ```
> > >>>>>>>
> > >>>>>>> 2) Implement per-endpoint configurable max limits
> > >>>>>>> ```
> > >>>>>>> _all_docs = 5000
> > >>>>>>> _all_docs/queries = 5000
> > >>>>>>> _all_dbs = 5000
> > >>>>>>> _dbs_info = 5000
> > >>>>>>> _view = 2500
> > >>>>>>> _view/queries = 2500
> > >>>>>>> _find = 2500
> > >>>>>>> ```
> > >>>>>>>
> > >>>>>>> Latter (after few years) CouchDB would deprecate and remove old
> > >>>>> endpoints.
> > >>>>>>>
> > >>>>>>> Best regards,
> > >>>>>>> iilyak
> > >>>>>>>
> > >>>>>>> On 2020/02/19 22:39:45, Nick Vatamaniuc <vatam...@apache.org> wrote:
> > >>>>>>>> Hello everyone,
> > >>>>>>>>
> > >>>>>>>> I'd like to discuss the shape and behavior of streaming APIs for
> > >>>>> CouchDB 4.x
> > >>>>>>>>
> > >>>>>>>> By "streaming APIs" I mean APIs which stream data in row as it gets
> > >>>>>>>> read from the database. These are the endpoints I was thinking of:
> > >>>>>>>>
> > >>>>>>>> _all_docs, _all_dbs, _dbs_info  and query results
> > >>>>>>>>
> > >>>>>>>> I want to focus on what happens when FoundationDB transactions
> > >>>>>>>> time-out after 5 seconds. Currently, all those APIs except 
> > >>>>>>>> _changes[1]
> > >>>>>>>> feeds, will crash or freeze. The reason is because the
> > >>>>>>>> transaction_too_old error at the end of 5 seconds is retry-able by
> > >>>>>>>> default, so the request handlers run again and end up shoving the
> > >>>>>>>> whole request down the socket again, headers and all, which is
> > >>>>>>>> obviously broken and not what we want.
> > >>>>>>>>
> > >>>>>>>> There are few alternatives discussed in couchdb-dev channel. I'll
> > >>>>>>>> present some behaviors but feel free to add more. Some ideas might
> > >>>>>>>> have been discounted on the IRC discussion already but I'll present
> > >>>>>>>> them anyway in case is sparks further conversation:
> > >>>>>>>>
> > >>>>>>>> A) Do what _changes[1] feeds do. Start a new transaction and 
> > >>>>>>>> continue
> > >>>>>>>> streaming the data from the next key after last emitted in the
> > >>>>>>>> previous transaction. Document the API behavior change that it may
> > >>>>>>>> present a view of the data is never a point-in-time[4] snapshot of 
> > >>>>>>>> the
> > >>>>>>>> DB.
> > >>>>>>>>
> > >>>>>>>> - Keeps the API shape the same as CouchDB <4.0. Client libraries
> > >>>>>>>> don't have to change to continue using these CouchDB 4.0 endpoints
> > >>>>>>>> - This is the easiest to implement since it would re-use the
> > >>>>>>>> implementation for _changes feed (an extra option passed to the 
> > >>>>>>>> fold
> > >>>>>>>> function).
> > >>>>>>>> - Breaks API behavior if users relied on having a point-in-time[4]
> > >>>>>>>> snapshot view of the data.
> > >>>>>>>>
> > >>>>>>>> B) Simply end the stream. Let the users pass a `?transaction=true`
> > >>>>>>>> param which indicates they are aware the stream may end early and 
> > >>>>>>>> so
> > >>>>>>>> would have to paginate from the last emitted key with a skip=1. 
> > >>>>>>>> This
> > >>>>>>>> will keep the request bodies the same as current CouchDB. However, 
> > >>>>>>>> if
> > >>>>>>>> the users got all the data one request, they will end up wasting
> > >>>>>>>> another request to see if there is more data available. If they 
> > >>>>>>>> didn't
> > >>>>>>>> get any data they might have a too large of a skip value (see [2]) 
> > >>>>>>>> so
> > >>>>>>>> would have to guess different values for start/end keys. Or impose 
> > >>>>>>>> max
> > >>>>>>>> limit for the `skip` parameter.
> > >>>>>>>>
> > >>>>>>>> C) End the stream and add a final metadata row like a 
> > >>>>>>>> "transaction":
> > >>>>>>>> "timeout" at the end. That will let the user know to keep 
> > >>>>>>>> paginating
> > >>>>>>>> from the last key onward. This won't work for `_all_dbs` and
> > >>>>>>>> `_dbs_info`[3] Maybe let those two endpoints behave like _changes
> > >>>>>>>> feeds and only use this for views and and _all_docs? If we like 
> > >>>>>>>> this
> > >>>>>>>> choice, let's think what happens for those as I couldn't come up 
> > >>>>>>>> with
> > >>>>>>>> anything decent there.
> > >>>>>>>>
> > >>>>>>>> D) Same as C but to solve the issue with skips[2], emit a bookmark
> > >>>>>>>> "key" of where the iteration stopped and the current "skip" and
> > >>>>>>>> "limit" params, which would keep decreasing. Then user would pass
> > >>>>>>>> those in "start_key=..." in the next request along with the limit 
> > >>>>>>>> and
> > >>>>>>>> skip params. So something like "continuation":{"skip":599, 
> > >>>>>>>> "limit":5,
> > >>>>>>>> "key":"..."}. This has the same issue with array results for
> > >>>>>>>> `_all_dbs` and `_dbs_info`[3].
> > >>>>>>>>
> > >>>>>>>> E) Enforce low `limit` and `skip` parameters. Enforce maximum 
> > >>>>>>>> values
> > >>>>>>>> there such that response time is likely to fit in one transaction.
> > >>>>>>>> This could be tricky as different runtime environments will have
> > >>>>>>>> different characteristics. Also, if the timeout happens there 
> > >>>>>>>> isn't a
> > >>>>>>>> a nice way to send an HTTP error since we already sent the 200
> > >>>>>>>> response. The downside is that this might break how some users use 
> > >>>>>>>> the
> > >>>>>>>> API, if say the are using large skips and limits already. Perhaps 
> > >>>>>>>> here
> > >>>>>>>> we do both B and D, such that if users want transactional behavior,
> > >>>>>>>> they specify that `transaction=true` param and only then we enforce
> > >>>>>>>> low limit and skip maximums.
> > >>>>>>>>
> > >>>>>>>> F) At least for `_all_docs` it seems providing a point-in-time
> > >>>>>>>> snapshot view doesn't necessarily need to be tied to transaction
> > >>>>>>>> boundaries. We could check the update sequence of the database at 
> > >>>>>>>> the
> > >>>>>>>> start of the next transaction and if it hasn't changed we can 
> > >>>>>>>> continue
> > >>>>>>>> emitting a consistent view. This can apply to C and D and would 
> > >>>>>>>> just
> > >>>>>>>> determine when the stream ends. If there are no writes happening to
> > >>>>>>>> the db, this could potential streams all the data just like option 
> > >>>>>>>> A
> > >>>>>>>> would do. Not entirely sure if this would work for views.
> > >>>>>>>>
> > >>>>>>>> So what do we think? I can see different combinations of options 
> > >>>>>>>> here,
> > >>>>>>>> maybe even different for each API point. For example `_all_dbs`,
> > >>>>>>>> `_dbs_info` are always A, and `_all_docs` and views default to A 
> > >>>>>>>> but
> > >>>>>>>> have parameters to do F, etc.
> > >>>>>>>>
> > >>>>>>>> Cheers,
> > >>>>>>>> -Nick
> > >>>>>>>>
> > >>>>>>>> Some footnotes:
> > >>>>>>>>
> > >>>>>>>> [1] _changes feeds is the only one that works currently. It 
> > >>>>>>>> behaves as
> > >>>>>>>> per RFC
> > >>>>> https://github.com/apache/couchdb-documentation/blob/master/rfcs/003-fdb-seq-index.md#access-patterns
> > >>>>> .
> > >>>>>>>> That is, we continue streaming the data by resetting the 
> > >>>>>>>> transaction
> > >>>>>>>> object and restarting from the last emitted key (db sequence in 
> > >>>>>>>> this
> > >>>>>>>> case). However, because the transaction restarts if a document is
> > >>>>>>>> updated while the streaming take place, it may appear in the 
> > >>>>>>>> _changes
> > >>>>>>>> feed twice. That's a behavior difference from CouchDB < 4.0 and 
> > >>>>>>>> we'd
> > >>>>>>>> have to document it, since previously we presented this 
> > >>>>>>>> point-in-time
> > >>>>>>>> snapshot of the database from when we started streaming.
> > >>>>>>>>
> > >>>>>>>> [2] Our streaming APIs have both skips and limits. Since FDB 
> > >>>>>>>> doesn't
> > >>>>>>>> currently support efficient offsets for key selectors
> > >>>>>>>> (
> > >>>>> https://apple.github.io/foundationdb/known-limitations.html#dont-use-key-selectors-for-paging
> > >>>>> )
> > >>>>>>>> we implemented skip by iterating over the data. This means that a 
> > >>>>>>>> skip
> > >>>>>>>> of say 100000 could keep timing out the transaction without 
> > >>>>>>>> yielding
> > >>>>>>>> any data.
> > >>>>>>>>
> > >>>>>>>> [3] _all_dbs and _dbs_info return a JSON array so they don't have 
> > >>>>>>>> an
> > >>>>>>>> obvious place to insert a last metadata row.
> > >>>>>>>>
> > >>>>>>>> [4] For example they have a constraint that documents "a" and "z"
> > >>>>>>>> cannot both be in the database at the same time. But when iterating
> > >>>>>>>> it's possible that "a" was there at the start. Then by the end, "a"
> > >>>>>>>> was removed and "z" added, so both "a" and "z" would appear in the
> > >>>>>>>> emitted stream. Note that FoundationDB has APIs which exhibit the 
> > >>>>>>>> same
> > >>>>>>>> "relaxed" constrains:
> > >>>>>>>>
> > >>>>> https://apple.github.io/foundationdb/api-python.html#module-fdb.locality
> > >>>>>>>>
> > >>>>>>
> > >>>>>>
> > >>>>>
> > >>>>
> >
> 

Reply via email to