github.com/cockroachdb/cockroach/pull/37900

Preview meta tags from the github.com website.

Linked Hostnames

11

Thumbnail

Search Engine Appearance

Google

https://github.com/cockroachdb/cockroach/pull/37900

tla-plus: QueryTxn on ambiguous QueryIntent failure during ParallelCommit by nvb · Pull Request #37900 · cockroachdb/cockroach

This PR starts by adding write pipelining and concurrent intent resolution by conflicting transactions to the parallel commits TLA+ spec. This causes an assertion to be triggered by the hazard disc...



Bing

tla-plus: QueryTxn on ambiguous QueryIntent failure during ParallelCommit by nvb · Pull Request #37900 · cockroachdb/cockroach

https://github.com/cockroachdb/cockroach/pull/37900

This PR starts by adding write pipelining and concurrent intent resolution by conflicting transactions to the parallel commits TLA+ spec. This causes an assertion to be triggered by the hazard disc...



DuckDuckGo

https://github.com/cockroachdb/cockroach/pull/37900

tla-plus: QueryTxn on ambiguous QueryIntent failure during ParallelCommit by nvb · Pull Request #37900 · cockroachdb/cockroach

This PR starts by adding write pipelining and concurrent intent resolution by conflicting transactions to the parallel commits TLA+ spec. This causes an assertion to be triggered by the hazard disc...

  • General Meta Tags

    46
    • title
      tla-plus: QueryTxn on ambiguous QueryIntent failure during ParallelCommit by nvb · Pull Request #37900 · cockroachdb/cockroach · GitHub
    • charset
      utf-8
    • route-pattern
      /_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
    • route-controller
      voltron_pull_requests_fragments
    • route-action
      pull_request_layout

  • Open Graph Meta Tags

    10
    • og:image
      https://opengraph.githubassets.com/140a46b829b7d11f37ea38edc32fa52a4eb6eb5fb5a6d94d7a67a568cc67b92a/cockroachdb/cockroach/pull/37900
    • og:image:alt
      This PR starts by adding write pipelining and concurrent intent resolution by conflicting transactions to the parallel commits TLA+ spec. This causes an assertion to be triggered by the hazard disc...
    • og:image:width
      1200
    • og:image:height
      600
    • og:site_name
      GitHub

  • Twitter Meta Tags

    5
    • twitter:image
      https://opengraph.githubassets.com/140a46b829b7d11f37ea38edc32fa52a4eb6eb5fb5a6d94d7a67a568cc67b92a/cockroachdb/cockroach/pull/37900
    • twitter:site
      @github
    • twitter:card
      summary_large_image
    • twitter:title
      tla-plus: QueryTxn on ambiguous QueryIntent failure during ParallelCommit by nvb · Pull Request #37900 · cockroachdb/cockroach
    • twitter:description
      This PR starts by adding write pipelining and concurrent intent resolution by conflicting transactions to the parallel commits TLA+ spec. This causes an assertion to be triggered by the hazard disc...

  • Link Tags

    43
    • alternate icon
      https://github.githubassets.com/favicons/favicon.png
    • assets
      https://github.githubassets.com/
    • dns-prefetch
      https://github.githubassets.com
    • dns-prefetch
      https://avatars.githubusercontent.com
    • dns-prefetch
      https://github-cloud.s3.amazonaws.com

Links

110