[ 
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)

Reply via email to