{"action":"created","issue":{"url":"https://api.github.com/repos/aphyr/jepsen/issues/126","repository_url":"https://api.github.com/repos/aphyr/jepsen","labels_url":"https://api.github.com/repos/aphyr/jepsen/issues/126/labels{/name}","comments_url":"https://api.github.com/repos/aphyr/jepsen/issues/126/comments","events_url":"https://api.github.com/repos/aphyr/jepsen/issues/126/events","html_url":"https://github.com/aphyr/jepsen/issues/126","id":157472111,"number":126,"title":"What are pending operations in the checker/total-queue?","user":{"login":"bogdando","id":2795820,"avatar_url":"https://avatars.githubusercontent.com/u/2795820?v=3","gravatar_id":"","url":"https://api.github.com/users/bogdando","html_url":"https://github.com/bogdando","followers_url":"https://api.github.com/users/bogdando/followers","following_url":"https://api.github.com/users/bogdando/following{/other_user}","gists_url":"https://api.github.com/users/bogdando/gists{/gist_id}","starred_url":"https://api.github.com/users/bogdando/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bogdando/subscriptions","organizations_url":"https://api.github.com/users/bogdando/orgs","repos_url":"https://api.github.com/users/bogdando/repos","events_url":"https://api.github.com/users/bogdando/events{/privacy}","received_events_url":"https://api.github.com/users/bogdando/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2016-05-30T10:06:32Z","updated_at":"2016-05-31T15:38:18Z","closed_at":null,"body":"I'm very sorry to asking questions in the issues, but could you clarify (in the docs?) what are those Pending reported in the checker, for an example report:\r\n\r\n{:queue\r\n {:valid? true,\r\n  :final-queue\r\n  {:pending\r\n   #{10859 ... snip ...\r\n     8879 10860 13488 9063}}},\r\n :total-queue\r\n {:valid? false,\r\n  :lost\r\n  #{ ... snip ... 9063},\r\n  :recovered #{},\r\n  :recovered-frac 0,\r\n  :unexpected-frac 0,\r\n  :unexpected #{},\r\n  :lost-frac 142/16775,\r\n  :duplicated-frac 0,\r\n  :ok-frac 6986/16775,\r\n  :duplicated #{}},\r\n\r\nThe pending 10859 was only invoked to be enqueued with unknown result, in the history:\r\n4288    :invoke :enqueue        10859\r\nwhile the 9063 was enq'ed OK, then reported as lost:\r\n285     :invoke :enqueue        9063\r\n285     :ok     :enqueue        9063\r\n...but it is still remaining in the pending list!\r\n\r\nWhat magic stays behind this? And do you think it is doable to add a pending-frac number to report as well? And the most disturbing Q: if a test run A has pending X,  B has Y, and Y < X, does that mean the \"B has a better result than A\"?"},"comment":{"url":"https://api.github.com/repos/aphyr/jepsen/issues/comments/222728251","html_url":"https://github.com/aphyr/jepsen/issues/126#issuecomment-222728251","issue_url":"https://api.github.com/repos/aphyr/jepsen/issues/126","id":222728251,"user":{"login":"aphyr","id":3748,"avatar_url":"https://avatars.githubusercontent.com/u/3748?v=3","gravatar_id":"","url":"https://api.github.com/users/aphyr","html_url":"https://github.com/aphyr","followers_url":"https://api.github.com/users/aphyr/followers","following_url":"https://api.github.com/users/aphyr/following{/other_user}","gists_url":"https://api.github.com/users/aphyr/gists{/gist_id}","starred_url":"https://api.github.com/users/aphyr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aphyr/subscriptions","organizations_url":"https://api.github.com/users/aphyr/orgs","repos_url":"https://api.github.com/users/aphyr/repos","events_url":"https://api.github.com/users/aphyr/events{/privacy}","received_events_url":"https://api.github.com/users/aphyr/received_events","type":"User","site_admin":false},"created_at":"2016-05-31T15:38:18Z","updated_at":"2016-05-31T15:38:18Z","body":"Ah, now that I'm back at a computer and can look at the source, it looks like you're running two different checkers with different semantics. :queue's :final-queue is the final model state from a conservative evaluation of the known-successful ops. :pending is a field of that queue's model. https://github.com/aphyr/jepsen/blob/master/jepsen/src/jepsen/checker.clj#L84"}}
{"actor":{"display_login":"aphyr"}}