我的 FLOPS 2022 主题演讲:“使用 Liquid Haskell 构建可靠分布式系统的探险记”

新牛哥 发表了文章 • 0 个评论 • 2057 次浏览 • 2022-10-02 16:04 • 来自相关话题


【编者的话】本文是作者在FLOPS 2022会议上的演讲,正如标题所言,重点分享了使用Liquid Haskell语言集成验证系统来构建可靠的分布式系统的有趣的探索经历,目标是希望程序员能够机械地指定和验证分布式系统的真实、可执行实现的正确性属性,而且是使用集...
查看更多

深入理解 Redis

w9527 发表了文章 • 0 个评论 • 5514 次浏览 • 2022-09-25 18:11 • 来自相关话题


什么是 Redis?

Redis(“REmote DIctionary Service”)是一个开源的键值对数据库服务器。

Redis 更准确的描述是一个数据结构服务器。Redis 的这种特殊性质让它在开...
查看更多

CNCF宣布SPIFFE与SPIRE项目正式毕业

Andy_Lee 发表了文章 • 0 个评论 • 7691 次浏览 • 2022-09-21 10:41 • 来自相关话题


专门为云原生软件构建可持续生态系统的云原生计算基金会(CNCF)今天宣布,SPIFFE与SPIRE项目已经正式毕业。这一消息,也让CNCF的毕业项目总数由16个增加至18个。

面向所有人的安全生产身份框架(SPIFFE)能够为现代生产环境中的各种工作负载提供...
查看更多

Kubernetes线上实战训练营(10月班)

李颖杰 发表了文章 • 0 个评论 • 8753 次浏览 • 2022-09-19 09:35 • 来自相关话题


现在以Kubernetes为代表的容器技术已经非常普及了,很多云计算及容器厂商也提供了基于Kubernetes的服务。

但是在Kubernetes自学的过程中还是会遇到各种各样的问题,主要原因还是Kubernetes入门容易,深入却很难,而自学又不系统,且缺...
查看更多

深入OpenTelemetry指标

megrez 发表了文章 • 0 个评论 • 9009 次浏览 • 2022-09-18 20:35 • 来自相关话题


译注:在本文中,为理解的一致性,我们保留了OpenTelemetry的术语,不作翻译:包括但不限于Instrument、Measurement、Exemplar、Baggage、Context等。需要注意区分Measurement和Instrumen...
查看更多

引入 Kubernetes 是过早优化的危险信号

colstuwjx 发表了文章 • 0 个评论 • 9083 次浏览 • 2022-09-18 13:11 • 来自相关话题


【编者的话】引入 Kubernetes 是过早优化的危险信号?且听听本文作者怎么说吧。

如果你所在的企业引入了 Kubernetes,那么你们很有可能会把精力花在一些偏离主线的事情上。

乍一听这句话可能会感觉到很奇怪,毕竟我们花了这么长的时间来布道和兜售 ...
查看更多

在线活动-9月17日 腾讯、网易、知乎、信也科技架构师共话ServiceMesh

leoliu 发表了文章 • 0 个评论 • 11272 次浏览 • 2022-09-13 20:55 • 来自相关话题


由于微服务架构松耦合、快速迭代等特点,互联网公司与传统软件企业都在积极落地微服务架构,然而在享受传统微服务架构优势的同时,也在面临多语言生态(Java、Golang、Node、Python等 )带来的兼容成本,以及带有侵入性的SDK接入方式带来的高昂的服务治理...
查看更多

Netflix 历史性地引入软件工程师级别

cainzhong 发表了文章 • 0 个评论 • 11809 次浏览 • 2022-09-12 17:53 • 来自相关话题


Netflix 正在考虑使用以下工程师级别:
  • 工程师 1 / Engineer 1
  • 工程师 2 / Engineer 2
  • 高级工程师 / Senior
  • 资深工程师 / Staff
  • 首席工程师 / Principal


具体...
查看更多

Cilium母公司宣布完成4000万美元B轮融资

阿娇 发表了文章 • 0 个评论 • 13581 次浏览 • 2022-09-08 09:34 • 来自相关话题


作为Cilium与eBPF两大发展迅猛的开源技术方案背后的领先厂商,Isovalent日前宣布已完成由Thomvest Ventures领投的4000万美元B轮融资。此次新参与融资的还有M12(微软的风险基金)和Grafana Labs,连同此前曾经注资的谷歌...
查看更多

详解Prometheus的四种指标

megrez 发表了文章 • 0 个评论 • 15505 次浏览 • 2022-09-04 13:45 • 来自相关话题


指标是用来衡量性能、消耗、效率和许多其他软件属性随时间的变化趋势。它们允许工程师通过警报和仪表盘来监控一系列测量值的演变(如CPU或内存使用量、请求持续时间、延迟等)。指标在IT监控领域有着悠久的历史,并被工程师广泛使用,与日志和链路追踪一起被用来检测系统是否...
查看更多