比如像MHA,它自己也必须搭建成Master-Slave架构,有种跌入了递归深渊的感觉。为了更好地解决外部HA模块的高可用,一致性协议进入了视野,ZooKeeper方案应运而生,用一套ZooKeeper来管理HA,系统也变得越来越复杂。
缩小切片并不会缩小其依赖的数组,用 Go 的术语来说,减小了切片的长度但是并没有减少容量。由于底层依赖的数组没有变动,而该数组保留了一个理论上已经被丢弃了的元素的引用,以及该元素所引用的所有其他对象。即使是代码不可见的引用被保留,Go 垃圾收集器仍然会将该元素看做是还在使用中。
https://github.com/phan/phan https://www.fzb.me/2017-7-18-static-analysis-in-php.html Phan倾向于避免假阳性,试图证明不正确性,而不是正确性。
https://github.com/nikic/PHP-Parser Parsing PHP 5 and PHP 7 code into an abstract syntax tree (AST). Invalid code can be parsed into a partial AST. The AST contains accurate location information.