[
https://issues.apache.org/jira/browse/HBASE-11165?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14126072#comment-14126072
]
Alex Newman commented on HBASE-11165:
-------------------------------------
We have a ton of people in house who understand TLA+. The problem is TLA+
doesn't verify anything about the code (or a prototype). I am glad that Steve
was happy that we wrote a TLA+ specification but in my humble opinion, no one
could give us any feedback of what we proposed. Frankly from the lack of push
back on the TLA+ we wrote up, it is apparent to me that no one understood what
we wrote. That being said, if it's what the community needs TLA+ to feel
confident about the approach we are taking, we can do it. Just remember TLA+
doesn't
- Verify anything about the code or implementation
- Doesn't understand anything about your architecture
- Won't tell you if your code isn't modeled by TLA+
It only verifies the theoretical behavior of concurrent systems, not the
systems themselves.
> Scaling so cluster can host 1M regions and beyond (50M regions?)
> ----------------------------------------------------------------
>
> Key: HBASE-11165
> URL: https://issues.apache.org/jira/browse/HBASE-11165
> Project: HBase
> Issue Type: Brainstorming
> Reporter: stack
> Attachments: HBASE-11165.zip, Region Scalability test.pdf,
> zk_less_assignment_comparison_2.pdf
>
>
> This discussion issue comes out of "Co-locate Meta And Master HBASE-10569"
> and comments on the doc posted there.
> A user -- our Francis Liu -- needs to be able to scale a cluster to do 1M
> regions maybe even 50M later. This issue is about discussing how we will do
> that (or if not 50M on a cluster, how otherwise we can attain same end).
> More detail to follow.
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)
