[ https://issues.apache.org/jira/browse/HBASE-11165?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14126556#comment-14126556 ]
Konstantin Boudnik commented on HBASE-11165: -------------------------------------------- Honestly speaking the latest fashion (not to say obsession ;) with TLA+ doesn't help anything. It isn't a formal proof of the code correctness nor help to reconciles architecture contracts, as Alex has pointed out. So while someone can produce a fancy TLA+ diagram I am not sure I am not sure how many others will even pay the attention to it. It's like a UML - a good way to share the responsibility for a bad decision ;) We have posted the spec in that HDFS JIRA because it was easier to do that instead of keep the endless argument about nothingness. Will the same be required here, I wonder? > 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)