墨衍会员
·
AI 创作全网分发
墨衍智能分发
本文由作者通过墨衍一键同步至各平台
1分发平台
600+累计阅读
617平均单平台
已同步平台
优快云
微信公众号
微博
知乎
掘金
百家号
博客园
抖音
小红书
你的文章也可以这样分发
墨衍会员 ¥399起/年，写一次发全网
我也要
作为erlang的入门教材，《面对软件错误构建可靠的分布式系统》这篇博士论文很值得好好研究。
学习笔记，就是有话则多，无话则少
2.6语言需求
并行和可容错的编程语言要求
(1)并发性: 轻量级的并行机制，在进程间发送消息。
(2)错误封装：一个进程中的错误，不能破坏其它进程
(3)故障检测：可以检测本地和远端进程中的异常
(4)故障识别：可以识别报告异常原因
(5)代码升级：可以动态替换运行的系统代码
(6)持久存储：
2.10 相关工作
(1)以进程昨晚错误封装的单位：一个进程中发生的错误不会影响到系统中其它进程，被称为强隔离
(2)进程要么就规规矩矩运行，要么就死掉
(3)故障和故障的原因可以被其它进程检测
(4)进程间没有共享状态，唯以消息传递的方式通信，且为异步通信
3.1 Erlang的世界观
(1)一切皆进程，进程要么好好跑，要么死翘翘；
(2)进程的生成和销毁都是轻量级的操作；
(3)进程强隔离，进程间不共享资源，消息传递是进程交互的唯一方式，每个进程有其独有的名字，知道进程的名字，就可以发送消息，不知道名字就不能发送消息
(4)错误处理非本地化
35、多云环境下的站点可靠性工程实践
本文探讨了在多云环境下站点可靠性工程（SRE）的实践方法，涵盖了SRE中的风险分析、监控原则、自动化、消除繁琐工作、保持简单、发布工程以及事后分析等关键原则。通过业务风险分析制定服务水平目标（SLO）和错误预算，并基于四个黄金信号（延迟、流量、错误、饱和度）建立有效的监控规则，从而提高系统的稳定性和可靠性。文章还强调了SRE中持续学习和适应技术变化的重要性，为企业在多云时代的系统运维提供了全面的指导。
面对软件错误构建可靠的分布式系统-1摘要
面对软件错误构建可靠的 分布式系统 （瑞典）Joe Armstrong 撰 段先德 译 邓 辉 审 声明：本文版权属原文作者所有，译文仅用于个人学习和交流，不得用于任何商业目的。> 原文链接：http://www.erlang.org/download/armstrong_thesis_2003.pdf 译 感 近年来，“多核”、“分布式计算”、
面对软件错误构建可靠的分布式系统
系统存在不完善的环节，但是我们希望我们的系统可靠，矛盾的要求，满足的条件两种解决方案，语言本身或者是方法库 在ERLANG中，对于上述的问题的解决方式采用语言+库一起作用的方式来解决，满足在程序有错误的情况下，我们的代码依旧会按照合理的方式运行 本文不关注算法细节、硬件假设、软件工程方面的要求 而是关注与软件的容错性在语言、库、操作系统方面的要求，纯消息传递式的语言，其它语言可能会存在共享内存的方式来解决这样的问题 速错进程的概念，现成的错误存在互相传递的隐患，会破坏掉系统内部的坚固性
面对软件错误构建可靠的分布式系统_笔记02
3.3 Erlang顺序化编程3.3.1 数据结构：8种原始的数据类型＋2扩展类型(1)整数integer：(2)浮点数float：(3)原子atom: 字母打头的小写字符串，类似枚举类型。如果单引号包括，则可以有空格:a atom(4)二进制数binary: 二进制存储空间, >(5)字符串：双引号包括的字符串 "cat"，实质是ASCII码。比如"cat"实质为[97,99,116](6)
面向软件错误构建可靠的分布式系统
面向软件错误构建可靠的分布式系统 Making reliable distributed systems in the presence of software errors Joe Armstrong 译者: 段先德 Joe Armstrong的博士论文
WPS和Excel通用！省市区四级联动下拉菜单保姆级教程（附最新行政区划数据包）
本文详细介绍了在WPS和Excel中实现省市区四级联动下拉菜单的完整教程，包含2024年最新行政区划数据的获取与整理方法。通过名称管理器和INDIRECT函数的组合，以及WPS的特色功能，帮助用户高效准确地录入四级行政区划信息，提升数据录入效率并减少错误。
如何构建高可用分布式系统
如何构建高可用分布式系统
Weblogic安装与部署
27．免密登录，在目录Oracle\Middleware\Oracle_Home\user_projects\domains\base_domain\servers\AdminServer和Oracle\Middleware\Oracle_Home\user_projects\domains\base_domain\servers\Server-TA目录下，新建security\boot.properties文件，13．点击新建按钮，填写服务器名称，服务器监听地址，再点击下一步，最后点击完成。
从哲学到工程，聊聊构建高可用分布式系统
高可用是系统提供无故障服务的能力。有太多资料探讨如何构建高可用系统，但多是一些工程实践知识点的堆叠。这篇文章我们从更朴素的视角去透视分布式系统的高可用建设
告别手动输入！用Burp插件+ddddocr，5分钟搞定图片验证码自动识别
本文详细介绍了如何利用Burp插件和ddddocr开源库快速构建图片验证码自动识别系统，实现高效、零成本的验证码自动化解决方案。通过环境搭建、性能调优和Burp Suite深度集成，显著提升安全测试效率，特别适用于金融和电商系统的批量测试场景。
AWSIM模拟器 新增多相机
本文介绍了基于Unity6引擎对AWSIM自动驾驶模拟器的优化方案，主要针对多相机系统的扩展实现。作者通过修改EgoVehicle.cs和AutowareSimulationDemo.cs核心代码，将原单相机系统升级为5相机配置。关键技术点包括：1)使用List容器管理多个CameraSensor组件；2)完善相机初始化流程；3)配置5个相机UI显示窗口；4)修改ROS话题设置。优化后的系统可支持BEVFusion等多传感器融合算法的测试验证，为Autoware.universe 0.45.0及以上版本提供
golang学习笔记——基础01
golang学习笔记——基础01
SAP RAP 校验全流程：从 EML 读取到消息上屏与阻止落库
本文系统梳理了 SAP ABAP RAP 中的校验流程（The Validation Process），结合 Airline/Connection 案例，详细讲解了三类核心校验：语义键唯一性、外键有效性和字段间一致性。文章覆盖了 EML 的 READ ENTITIES 操作、reported-* 与 failed-* 结构的使用方法、消息创建与字段绑定技巧，以及处理草稿数据时的 UNION 查询策略。通过代码示例演示了如何实现校验逻辑、生成错误消息并阻止无效数据持久化，同时提供了常见问题的排查建议。全文注重
分布式系统原理Day01-分布式系统基本概念
分布式系统基本概念模型节点异常副本副本一致性强一致性单调一致性会话一致性最终一致性弱一致性指标性能可用性可扩展性一致性 模型 节点 节点是一个完整的,不可分割的整体 如果某个程序进程实际上由若干相对独立部分构成,在模型中可以将一个进程划分为多个节点 在具体的工程项目中,一个节点往往是一个操作系统上的进程 异常 机器宕机: 系统最常见的异常之一 网络异常: 消息丢失,两片节点节点之间彼此完全无法通信,出现网络分化 消息乱序,有一定几率不是按照发送时的顺序依次到达目的节点 可以使用序列号等机制处理网络
基于Simulink进行光伏逆变器效率分析的仿真建模
特点能量转换：将光伏电池板产生的直流电转换为交流电。效率评估：分析逆变器在不同负载条件和环境条件下的效率。动态特性：考虑温度、光照强度等外部因素对逆变器效率的影响。挑战精确建模：准确地模拟光伏电池板、逆变器及其交互的动力学过程。多因素考量：需要同时考虑输入电压、电流、温度、光照强度等多种因素对逆变器效率的影响。集成度：需要与其他系统（如最大功率点跟踪MPPT算法、电网连接等）无缝集成，以实现全面的系统分析。首先明确要模拟的任务内容。输入条件（如光照强度、温度等）。
企业AI Agent的多模态学习在用户体验优化中的应用
本文旨在为企业技术团队提供关于多模态AI Agent在用户体验优化领域的全面技术指南。多模态学习如何突破传统单模态AI的局限性企业级AI Agent的系统架构设计原则多模态特征融合的工程实现细节用户体验度量的量化方法实际部署中的性能优化策略研究范围涵盖计算机视觉、自然语言处理、语音识别等多个AI子领域的技术融合，以及它们在电商、金融、医疗等行业的应用实践。首先介绍多模态学习的核心概念和技术原理然后深入分析关键算法和数学模型接着通过完整项目案例展示实际应用。
第十章: 可观测性_《凤凰架构：构建可靠的大型分布式系统》
可观测性
11.1华为OD机试真题 新系统 - 整理学生编号 (Java/Py/C/C++/Js/Go)
11.1华为OD机试真题 新系统 - 整理学生编号 (Java/Py/C/C++/Js/Go)
系统设计笔记实战：从限流器到分布式系统的决策日志
系统设计是应对复杂性的工程实践，核心在于将抽象原理（如CAP、一致性模型）转化为具体约束下的技术选型与权衡。限流器（rate limiter）并非孤立组件，而是分布式系统中业务健康度的实时仪表盘；其算法选择（令牌桶/滑动窗口）、部署细节（Redis连接池、时钟漂移）和监控指标直接决定系统韧性。真实场景中的系统设计笔记，需锚定用户规模、一致性要求、运维能力等确定性约束，记录‘为什么选A而非B’的决策过程与踩坑实证。本文聚焦中级工程师在高并发演进中亟需的可执行知识资产——以rate limiter为切口，穿透协
文档：亲测可用解决vnc灰屏，黑屏，鼠标大黑叉情况
主要解决vnc-viewer灰屏，黑屏，鼠标大黑叉等现象，详细见文档。
温度PID控制PLC程序
温度PID稳定控制程序，适用于欧姆龙PLC，对其他PLC也具有很大参考价值
mit分布式系统学习笔记01
Leture01 为什么分布式： 连接不同物理实体通过隔离实现安全通过复制实现容错并行的cpu、mem、disk、net实现扩展 4个实验： Lab 1: MapReduce Lab 2: replication for fault-tolerance using Raft Lab 3: fault-tolerant key/value store Lab 4:
数学建模模型总结
这是本人在两年内准备参加数学建模竞赛搜集到的模型资料，已经经过了本人的筛选和整理，希望能够对准备参加数学建模竞赛的学弟学妹们提供一些帮助！
开源分布式系统追踪-01-Zipkin-01-入门介绍
Zipkin最初是为了在Cassandra上存储数据而构建的，因为Cassandra是可扩展的，具有灵活的模式，并且在Twitter中大量使用。如果要解决延迟问题或错误，可以根据应用程序，跟踪长度，注释或时间戳对所有跟踪进行筛选或排序。跟踪器存在于您的应用程序中，并记录有关发生的操作的时间和元数据。请注意，此页面已过期。一旦跟踪数据到达Zipkin收集器守护程序，它就会被Zipkin收集器验证，存储和索引以供查找。为了说明Zipkin显示的跟踪数据，让我们将它与Zipkin数据模型中的等效信息联系起来。
霍尼韦尔SoftMaster使用说明
霍尼韦尔SoftMaster使用说明
开源分布式系统追踪 02-pinpoint-01-入门介绍
如今，服务通常由多个不同的组件组成，这些组件相互通信并向外部服务发起 API 调用。每个事务如何执行往往被视为黑箱。Pinpoint 追踪这些组件之间的事务流，并提供清晰的视图，帮助识别问题区域和潜在的瓶颈。若想更深入了解，请查看我们的Pinpoint 简介视频。ServerMap- 通过可视化各个组件的连接方式，了解任何分布式系统的拓扑结构。点击一个节点可以查看该组件的详细信息，例如其当前状态和事务数量。实时活动线程图- 实时监控应用程序内的活动线程。请求/响应散点图。
智能调试与错误预测的未来_01
软件开发中的调试工作一直是开发者面临的重大挑战。据统计，软件开发者平均花费30%-50%的时间用于调试和修复bug，这不仅影响了开发效率，还可能导致项目延期和质量问题。随着人工智能技术的快速发展，智能调试与错误预测正在成为解决这一问题的新途径。从自动错误检测到智能修复建议，AI技术正在重塑调试的方式和效率。本文将深入探讨智能调试与错误预测的技术原理、应用场景、实际效果以及未来发展趋势，为开发者提供全面的参考和指导。
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
86
扫一扫
