EagleBear2002 的博客

马克思主义由三个部分组成：马克思主义的哲学即辩证唯物主义和历史唯物主义、马克思主义的政治经济学和科学社会主义学说。

政治经济学是研究生产规律及其发展规律的科学

物质资料的生产是人类社会的基础

物质资料的生产是人类社会存在和发展的基础。

马克思指出，人类社会要进行生产，必须具备三要素：人的劳动、劳动对象和劳动资料。劳动就是劳动力的支出，就是人的脑、肌肉、神经、手等等的生产耗费。劳动对象就是人把自己的劳动加在它上面的东西。劳动资料是使人的劳动和劳动对象联系起来的媒介物。

目的

更高效地进行编码

设计理念

1. 效率
2. 实用性优于艺术性严谨性
3. 允许一个有用的特征比防止各种错误使用更重要（相信程序员）

重要人物

OOP

概念

• Program = Object1 + Object2 +…… + Objectn
• Object： Data + Operation
• Message： function call
• Class

分类

• 面向对象（Object-Oriented）
• 基于对象（Objected-Based）：Ada 语言，没有继承

继承

继承机制

基于目标代码的复用。对事物进行分类，派生类是基类的具体化，把事物（概念）以层次结构表示出来，有利于描述和解决问题。

有利于增量开发。

单继承

本文主要内容来自 SpriCoder的博客，更换了更清晰的图片并对原文的疏漏做了补充和修正。

计算机网络概述

计算机网络

1. 什么是网络？网络是由物体、设备或人组成的错综复杂（intricately）的连接系统
2. 计算机网络：是网络的一种
   • 目的：共享资源，资源类型比较广泛。
   • 传送的类型是二进制数据流。
3. 企业也可以构成网络：随着公司的扩张，连接不同站点的网络的需求变得非常重要
4. 计算机网络标准和规范组成当前计算机网络的形式。

数据网络分类

引言

用于实现容错分布式系统的 Paxos 算法一直被认为难以理解，这可能是因为对许多读者来说最初的介绍是希腊语。事实上，它是最简单、最明显的分布式算法之一。 它的核心是一种共识算法—— The part-time parliament 中的“synod”算法。下一节表明，这种共识算法几乎不可避免地遵循我们希望它满足的属性。最后一部分解释了完整的 Paxos 算法，该算法是通过将共识直接应用于构建分布式系统的状态机方法而获得的——这种方法应该是众所周知的，因为它可能是最常见的主题 - 引用的关于分布式系统理论的文章 Time, clocks, and the ordering of events in a distributed system。

共识算法

问题

假设一组可以提出值的进程。共识算法可确保选择提议（purposed）值中的一个值。如果没有提议值，则不应选择任何值。如果选择了一个值，那么进程应该能够学习选择的值。共识的安全要求是：

OLTP 和 OLAP

在线事务处理 (OLTP)：

• 短期读/写事务。
• 占地面积小。
• 重复操作。

在线分析处理 (OLAP)：

• 长时间运行的只读查询。
• 复杂连接。
• 探索性查询。

分布式 DBMS

可以使用单节点 DBMS 的构建块来支持分布式环境中的事务处理和查询执行。 设计分布式 DBMS 的一个重要目标是使其具有容错性（即，避免单个节点故障导致整个系统瘫痪）。

并发数据库：

• 节点在物理上彼此靠近。
• 节点通过高速 LAN（快速、可靠的通信结构）连接。
• 假设节点之间的通信成本很小。 因此，在设计内部协议时无需担心节点崩溃或数据包丢失。

分布式数据库：

\[ \def\ABORT{\mathsf{ABORT}} \def\ACCEPT{\mathsf{ACCEPT}} \def\ACCEPTACK{\mathsf{ACCEPT\_ACK}} \def\act{\mathsf{act}} \def\ballot{\mathsf{ballot}} \def\certify{\mathtt{certify}} \def\client{\mathsf{client}} \def\COMMIT{\mathsf{COMMIT}} \def\committed{\mathsf{committed}} \def\coord{\mathsf{coord}} \def\dec{\mathsf{dec}} \def\DECIDED{\mathsf{DECIDED}} \def\decide{\mathtt{decide}} \def\DECISION{\mathsf{DECISION}} \def\decision{\mathsf{decision}} \def\FOLLOWER{\mathsf{FOLLOWER}} \def\follower{\mathsf{follower}} \def\l{\mathcal{l}} \def\LEADER{\mathsf{LEADER}} \def\leader{\mathsf{leader}} \def\D{\mathcal{D}} \def\next{\mathsf{next}} \def\Obj{\mathsf{Obj}} \def\P{\mathcal{P}} \def\phase{\mathsf{phase}} \def\PREPARE{\mathsf{PREPARE}} \def\PREPARED{\mathsf{PREPARED}} \def\PREPAREACK{\mathsf{PREPARE\_ACK}} \def\proc{\mathsf{proc}} \def\RECOVERING{\mathsf{RECOVERING}} \def\S{\mathcal{S}} \def\shards{\mathsf{shards}} \def\START{\mathsf{START}} \def\status{\mathsf{status}} \def\T{\mathcal{T}} \def\txn{\mathsf{txn}} \def\Val{\mathsf{Val}} \def\Ver{\mathsf{Ver}} \def\vote{\mathsf{vote}} \]

摘要

原子事务提交（ACP）是一个和一致性相似的单次协议问题，旨在模拟易出错的分布式系统的事务提交协议属性。我们认为，ACP 限制太多以至于不能捕获现代事务数据存储的复杂性，其中提交协议和并发控制集成，并且他们对不同事务的执行是相互依赖的。作为替代方案，我们引入了传输认证服务（TCS），一个新的正式问题，它通过集成的并发控制来捕获多发事务提交协议的安全保证。TCS 由可实例化的认证函数参数化，以支持常见的隔离级别，如可串行化和快照隔离。然后，我们推导出一个可证明正确性的弹性崩溃协议，用于通过连续改进来实现 TCS。我们的协议比主流方法实现了更好的时间复杂度，主流方法在 Paxos 风格的复制之上分两阶段提交。

概论

现代数据存储通常被需要管理大量数据，同时为用户提供严格的事务保证。它们通过将数据划分为独立管理的分片和容错性来实现可伸缩性，方法是在一组服务器上复制每个分片。实现这样的系统需要复杂的协议来确保分布式事务满足通常称为 ACID 的所需属性的组合：原子性，一致性，隔离性和持久性。

This is my blog.