研究学习Kotlin的一些方法

  • Post author:
  • Post category:IT
  • Post comments:0评论

Kotlin是一门让人感到很舒服的语言,相比Java来说,它更加简洁,省去了琐琐碎碎的语法工作,同时了提供了类似Lambda,String template,Null Safe Operator等特性。让开发者用起来得心应手。 普通的Java/Android程序员通常只需要很短的时间就能快速使用Kotlin。综合Kotlin的诸多优点,加上Flipboard美国团队自2015年已引入Kotlin,Flipboard中国团队也已经开始采用Kotlin来作为Android主要开发语言。 虽然Kotl…

继续阅读研究学习Kotlin的一些方法

用 gdb 分析 coredump 的一些技巧

  • Post author:
  • Post category:IT
  • Post comments:0评论

前几天我们正在运营的一款产品发生了崩溃,我花了两天尝试用 gdb 分析了 coredump ,虽然最后还是没能找到 bug ,但还是觉得应该做一些总结。 产品是基于 skynet 开发的,由于历史原因,它基于的是 skynet 1.0 之前 2015 年中的一个版本,由于这两年一直没出过什么问题,所以维护人员懈怠而没有更新。 崩溃的时候,关于 Lua 部分的代码缺少调试符号信息,这加大了分析难度。现在的 skynet 在编译 lua 时,加入了 -g 选项,这应该可以帮助未来出现类似问题时更好的…

继续阅读用 gdb 分析 coredump 的一些技巧

[转]通过 raft 的 leader lease 来解决集群脑裂时的 stale read 问题

  • Post author:
  • Post category:IT
  • Post comments:0评论

PingCap联合创始人、CTO 黄东旭写的一篇解决Raft网络分区的一种方案:通过 raft 的 leader lease 来解决集群脑裂时的 stale read 问题。本文转载之。 问题 : 当 raft group 发生脑裂的情况下,老的 raft leader 可能在一段时间内并不知道新的 leader 已经被选举出来,这时候客户端在老的 leader 上可能会读取出陈旧的数据(stale read)。 比如,我们假想一个拥有 5 个节点的 raft group: 其中Node 5 是…

继续阅读[转]通过 raft 的 leader lease 来解决集群脑裂时的 stale read 问题