用户9199536的专栏-腾讯云开发者社区

开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

用户9199536的专栏

专栏成员

75

文章

46763

阅读量

15

订阅数

万字长文 | 漫谈libco协程设计及实现

ajax linux c 语言编程算法

libco是微信后台大规模使用的c/c++协程库，2013年至今稳定运行在微信后台的数万台机器上，使得微信后端服务能同时hold大量请求，被誉为微信服务器稳定性的基石。libco在2013年的时候作为腾讯六大开源项目首次开源。libco源码地址。

2021-11-22

1.4K0

System|隔离|Enclave&TEE&Attack

kernel 虚拟化编程算法

尽管虚拟化技术确保了VM之间的相互隔离，然而VMM的重要性变得更高了。如果能够破解VMM，那么通过VM就能影响到VMM上运行的所有VM。而随着虚拟化技术的发展，VMM的代码量大小越来越大，其中的bug也越来越多。（用VMM代替hypervisor，因为字数少）

2021-11-22

4490

System|隔离|虚拟化

虚拟化 kernel 编程算法

因此，我们在传统的OS的位置放置一个支持虚拟化的系统，称为VMM（VM Monitor) or Host. 每一个其上运行的虚拟机成为一个Guest。（当然也可以在传统OS和VM之间加入一层VMM，但是这样性能会比较差）

2021-11-22

4690

TOCS|Concurrency|Eraser

Race Condition（竞争）指多线程同时访问一个资源时，由于访问顺序不同，导致的结果不同。这种并发性bug经常难以复现，又被称为海森bug（测不准）。Eraser，用于检测这种情况。翻译过程中附带重构。

2021-11-22

4910

System|分布式|BT&区块链

数字货币 node.js tcp/ip

分布式系统中，如果中心机器不受绝对信任，或者中心节点一旦崩溃代价很大，存在这样的中心风险很大；此外，中心机器本身的能力局限了网络的scalability。

2021-11-22

5710

TAOCP|基本算法|垃圾回收

编程算法 python 数据结构 node.js

本文介绍了标记-清扫式算法，标记的重点在于指针反转。补充习题中的反碎片化清扫。复制、并发等习题待补充。但是算法有点老了，感觉第二卷半数值算法这种bit tricky可能更好一些。

2021-11-22

3300

System|Concurrency|分布式事务

在分布式系统中，为了保证事务仍然具备原子性和一致性，我们引入了多种机制。本文配套MIT yfs lab进行最佳。

2021-11-22

3380

System|Concurrency|条件变量

有界缓冲区问题，sender向buffer中添加数据，receiver从buffer中取出数据。以两个索引in，out作为未读取数据的上下边界，buf作为存储未读取数据的缓冲区。

2021-11-22

5560

System|Concurrency|单机事务

在计算机中有几个重要的概念，atomicity、isolation。原子性意为：要么全做，要么不做，隔离性意为：并发的事务运行结果看起来像是串行执行。

2021-11-22

2290

System|Network|传输协议

data layer size time window

CSE中的E2E层表示经典层次中的Transport Layer和Application Layer。这里主要讲的是TCP。

2021-11-22

4250

C++|Compiler|活动记录（栈帧）

单片机编程算法 c++

活动记录（Activation Record），常称栈帧（stack frame）。需要注意的是，在支持闭包的语言中，活动记录未必在栈上，因为函数返回仍需访问其中的变量，因此活动记录应作为环境保存下来。

2021-11-22

1.2K0

C|计算机网络|Network Layer-路由层

tcp/ip 对象存储

负责next hop。每个路由有route table，根据路由协议（防止呈环），逐渐找到正确的地址。

2021-11-22

3350

C|计算机网络|DNS

tcp/ip cdn http 缓存 dns

尽管上篇文章讲的FS都已经做到了一定的scalability，但单个数据中心依然无法存放大量数据，因此必须进行content distribution。

2021-11-22

7700

EE|计算机网络|Link Layer-链路层

整体呈漏斗型，Network只使用IP，因为对于网络而言，使用的用户数，会造成平方级别的链接，因此单个网络的人数越多越好。

2021-11-22

4170

C++|编译器|语义分析-符号表

编程算法 tcp/ip

通过词法分析和语法分析，我们可以将程序转换为一棵抽象语法树，根节点为statement，并递归子节点为statement或者expression，叶节点为terminal（如'A'）。然而，我们并不仅仅需要语法本身，同时要考虑语法的实际含义。编译器进入语义分析阶段。

2021-11-22

1.1K0

C|分布式|RPC&NFS

rpc http 缓存

随着单机性能进入瓶颈，storage与serve的压力与日俱增，因此，这两个职责被分布在不同服务器上。由于原本单机的文件访问变为跨服务器，因此NFS（Network File System）诞生了。

2021-11-22

2980

C|文件系统|FFS:Fast File System

vr 视频解决方案 unix android 网站

2021-11-22

5630

C|内存管理|Memory Allocation

c++编程算法 android 存储

本文续上文，其中提到new在malloc之外做了额外的工作。在这里我们继续深入malloc/free。

2021-11-22

2900

Assemble|并行计算|SuperScalar

超标量（superscalar）架构是指在一颗处理器内核中实行了指令级并行的一类并行运算。这种技术能够在相同的CPU主频下实现更高的CPU吞吐率（throughput）。

2021-11-22

6490

C|内存管理|COW in Linux

copy handle map mmap shared

众所周知，在fork时，属于进程private的内存页将会进行COW机制。所谓COW，就是一个资源如果需要值拷贝，在读时不创建出副本，仅当写时再创建。这样的话，就可以方便地判断出什么资源需要真的进行拷贝，而能够共享则无需拷贝，从而减少了复制的开销。

2021-11-22

2.5K0

点击加载更多

社区活动

Python精品学习库

代码在线跑，知识轻松学

博客搬家 | 分享价值百万资源包

自行/邀约他人一键搬运博客，速成社区影响力并领取好礼

技术创作特训营·精选知识专栏

往期视频·干货材料·成员作品最新动态