Thanks Andor & Enrico! We will keep verifying and ensuring the quality of the TLA+ specifications for ZooKeeper.
Best regards, Sirius > 2023年6月17日 03:59，Andor Molnar <an...@apache.org> 写道： > > Submitted. > > (was a great opportunity to verify the new Merge button restrictions) > > Thanks, > Andor > > > > On Fri, 2023-06-16 at 16:27 +0200, Andor Molnar wrote: >> Looks like Michael and Flavio have already reviewed and approved it, >> so >> let's merge it then. >> >> Andor >> >> >> >> On Fri, 2023-06-16 at 16:12 +0200, Enrico Olivelli wrote: >>> Sirius, >>> >>> Il giorno ven 16 giu 2023 alle ore 15:09 Yang Sirius >>> <alpha.canis.majo...@outlook.com> ha scritto: >>>> Hi Andor, >>>> >>>> I am writing to inquire about the possibility to include the TLA+ >>>> specifications for ZooKeeper in the upcoming release, version >>>> 3.9.0. The proposal to provide TLA+ specifications for ZooKeeper >>>> was raised in ZOOKEEPER-3615< >>>> https://issues.apache.org/jira/browse/ZOOKEEPER-3615>;;, and >>>> addressed via pull request #1690< >>>> https://github.com/apache/zookeeper/pull/1690> on github. >>>> >>>> Formal specifications can serve as precise documentation of the >>>> Zab >>>> design and implementation, and can help eliminate any ambiguities >>>> in the informal protocol description, which would be beneficial >>>> for >>>> ZooKeeper learners and developers. Popular consensus protocols >>>> like >>>> Paxos and Raft also provide their TLA+ specifications. It would >>>> be >>>> great to merge the pull request and include the TLA+ >>>> specifications >>>> for ZooKeeper in the new version. >>>> >>>> I have also raised a request for the review of pull request >>>> #1690< >>>> https://github.com/apache/zookeeper/pull/1690> to the ZooKeeper >>>> developer mailing list. More details can be found at >>>> https://lists.apache.org/thread/ww4v1r733whcds64jg5wt7ozclbjhdr0 >>>> . >>>> >>>> Looking forward to your feedback! >>> >>> I would like to commit that patch, but unfortunately there is an >>> open >>> discussion and we need some reviewers to formally approve it. >>> >>> That said, that patch is mostly about "documentation" and it can be >>> committed after the 3.9.0 release. >>> >>> Enrico >>> >>>> Best regards, >>>> >>>> Sirius >>>> >>>> >>>> 2023年6月15日 19:57，Andor Molnar <an...@apache.org<mailto: >>>> an...@apache.org>> 写道： >>>> >>>> Hi folks, >>>> >>>> There're 64 open tickets which has fixVersion = 3.9.0 >>>> I'll remove the fixVersion from all of them except the ones that >>>> we >>>> marked as release blockers. >>>> >>>> Currently: >>>> >>>> - ZOOKEEPER-4393 Problem to connect to zookeeper in FIPS mode >>>> - ZOOKEEPER-4622 Add Netty-TcNative OpenSSL Support >>>> - ZOOKEEPER-4655 Communicate the Zxid that triggered a WatchEvent >>>> to >>>> fire >>>> >>>> Please let me know if you would like to add anything to this >>>> list. >>>> >>>> Regards, >>>> Andor >>>> >>>> >>>> >>>> >
