SELinux策略语法以及示例策略 本文来讲述 SELinux 策略常用的语法，然后解读一下 SELinux 这个项目中给出的示例策略 安全上下文 首先来看一下安全上下文的格式： user : role : type : level 每一个主体和客体都有一个安全上下文，通常也称安全标签、标签，由 4 部分组成(最后一部分 mls 是可选的) user，user 为 SELinux User，而非传统意义上的 Linux User。用户登录系统后，login 程序根据当前策略配置文件，将 Linux User 映射到相应 SELinux User。 role，不同 SELinux User ...

SELinux 安全模型——TE 通过前面的示例策略，大家对 SELinux 应该有那么点感觉认识了，从这篇开始的三篇文章讲述 SELinux 的三种安全模型，会涉及一些代码，旨在叙述 SELinux 内部的原理 SELinux 提供了 3 种安全模型： RBAC：Role Based Access Control<基于角色的权限访问控制，它根据用户的角色和职责来管理对系统资源的访问权限。RBAC 将用户分配到不同的角色中，每个角色被赋予一组特定的权限，用户通过被分配到相应的角色来获得相应的权限，从而实现对系统资源的安全访问和管理。 TE：Type Enforcement，SELinux...

SELinux 安全模型——MLS BLP 模型：于1973年被提出，是一种模拟军事安全策略的计算机访问控制模型，它是最早也是最常用的一种多级访问控制模型，主要用于保证系统信息的机密性，是第一个严格形式化的安全模型 多层安全的核心：“数据流向只能是由低到高(或者平级流动)”，所以只能向上写数据，从下层读数据，或者同级之间读写数据。 此图有四个安全级别，由低到高分别为：unclassified → restricted → confidential → secret 进程和4个文件的安全级别如上图所示： 进程只能写文件A，不能读。因为文件A的安全级别程度高于进程，所以进程不能读。但是数据流向...

BLP 模型 本篇文章是调研了许多资料后对 BLP 模型的一个总结 MLS，Multi-level Security，主要关心的是数据机密性 D. Elliott Bell 和 Leonard J. LaPadula 在 1996 年提出了基本的 BLP 模型，主要有两个性质： The Simple Security Property states that a subject at a given security level may not read an object at a higher security level. 即 no read up，主体不能够“读”比自己安全级别高的...

本文是有关魔方还原算法的第三篇，上帝算法——krof 算法。在篇一的时候说过，上帝算法那就是上帝还原魔方使用的算法嘛，上帝无所不知所以在还原的过程中每一步总是能够朝着距离还原状态更近的方向前进。因此使用上帝算法来还原魔方总是能够以最小步数来还原。 那么我们人类要怎么实现上帝算法呢？最直观的想法那就是要创建一张超大的表，里面存放魔方所有状态和能够使它距离还原状态更近一步的转动。这个想法的确是对的，看着上帝算法这么高大上的名字，实际上就是一种暴力美学。 暴力归暴力，实现的时候也还是要注意优化，首先我们并不需要存储实际的转动，只需要存储当前状态距离还原状态有多远就行了。比如说当前状态 X 应用转动 ...

科先巴的二阶段算法 本文来具体介绍一种具体的魔方还原算法——科先巴的二阶段算法，有一部分相关内容在前篇讲述，主要是方向定义那一块儿，没有看的建议先看一下： 二阶段，顾名思义，解决问题分为两步，先完成一个目标，再最终复原。对于二阶段算法有一个生动的比喻，复原魔方就像是一条小船要在汪洋大海上行驶到一个固定的目的地。二阶段算法就是先让小船行驶到一个固定的特殊水域，再驶向最终的目的地，这显然比直接寻找目的地要容易简单的多。 比喻归比喻，终归抽象，我们来具体看看。 一、总述 为方便叙述，也避免搞混淆，我们定义任意打乱的魔方称为随机状态或者初始状态，处于特殊水域的那些状态称为目标状态，目的地为还原状态。 ...

写在前面 我最初接触魔方的时候是在初二，那时不知是谁先起的头，然后全班都开始玩。我也不例外，花了一晚上学了学层先法，层先法挺简单的，只有几个公式，一晚上就会了。从那时起我也是能够复原魔方的人了，但是层先法复原魔方速度很慢，到了高中又学了学 CFOP 这个高级还原公式，速度提升很多。我玩魔方吧也没想过去拼什么段位追求 sub 几几几，就一业余爱好，魔方随时放在旁边，兴起时就转两把。 而最近开始写公众号，一直想写点不一样的，然后就瞄准了魔方，关于魔方的研究国内其实不少，但数学偏多，有关计算机方面讲述还原算法的文章几乎没有，有也只是概述，看了之后可能感觉还是云里雾里，只能从上层抽象的角度得到一个基本...

今天来聊聊 FC 游戏机，FC 的意思就是 Family Computer，虽然如今渐渐落寞被淘汰，但在当年的确是风靡全球，不负 Family Computer 这名字。一般来说 FC 有两种，一种是日本版，体积较小，机身红色和白色为主，俗称红白机，还有一种体积较大，机身以灰色为主，在欧美称为 Nintendo Entertainment System，简称 NES。国内一般较为出名的就是小霸王，现在淘宝都还有卖的，不过我看现在的价格卖的是真的贵啊，我记得我小时候就 20 左右，20 元，就能快乐一个童年。这个系列就来讲述 NES 的基本原理，主要会讲述 NES 的 CPU 6502/2A03...

Music 本文继续讲述 NES 的基本原理——音乐部分，主要从两个方面讲述，一是与音乐有关的硬件，也就是 CPU 内部的 APU，二是简要说明如何对其编程。 感觉本文说音乐，就尝试在背景放了几首我比较熟悉的游戏、有些上头的 BGM，有猜出来是什么游戏吗？评论区见答案，另外也是第一次尝试在公众号里面放这玩意，希望没有吵到大家。 APU APU，全名 Audio Processing Unit，它是 CPU 内部的一系列芯片，音乐(如循环播放的那音乐)和音效(跳跃挥刀发射子弹等音效)都是由 APU 产生的。CPU 通过一系列 I/O 端口(0x4000-0x4015, 0x4017)与 APU ...

Mapper mapper，这个概念来源于 memory mapping，又叫做 Memory Management Circuit，它是解决地址映射的一种电路，简单来说就是决定物理内存如何映射到 CPU 或者 PPU 的地址空间。 mapper 可以用来支持增加卡带的 RAM 甚至支持额外的音频通道，但更一般的目的就是控制物理内存到地址空间的映射，突破游戏 40KB 的限制。 为什么说是 40KB 的限制，因为早期一般的游戏最大就是 的 PRG，以及 的 CHR，加起来就是 40KB，而更复杂的 mapper 硬件可以使得游戏突破这个限制。 mapper 的种类太多太多，不同 NES 版...

Controller&Format Controller 本文讲述 NES 的输入设备，最为常见的就是手柄 joypad： 一般支持两个手柄，手柄 1 和手柄 2 分别映射到 CPU 的地址空间 0x4016 和 0x4017，我们可以从这两个寄存器读出手柄按键的状态，1 代表按下，0 表示弹起状态。 手柄的内部有个移位寄存器来存放这些键的状态，每次从 0x4016 读取的数据只表示一个键的状态，需要连续读取 8 次才能读取所有键的状态，8 个键的读取顺序如下所示： 读取 Right 后，如果继续读会一直返回 1。 手柄内部有个 strobe，可以通过写 0x4016 来设置这个 ...

滚屏渲染 本文继续来说滚屏渲染，讲述每条 Scanline 每个周期具体干些什么事情。 PPU 每一帧渲染 262 条 scanlines，每条 scanline 又持续 341 个时钟周期， 对此，wiki 上有一张很详细的图，看懂了，就大致明白了： 上面一排数字表示周期，左边一列数字表示第几条 Scanline，也可以当作坐标来看，(scanline，cycle)，下面来详细地解读一下上图 scanline 0-239 这是可见的 240 条 scanlines，每个周期干的事情如下： cycle 0 渲染的帧分奇偶，如果是奇数帧，这个周期直接跳过，如果是偶数帧，这个周期什么都不做 id...

滚屏渲染(基础部分) 本文继续 PPU 的话题来讲述滚屏，从我们小时候玩游戏的经验知道 NES 是支持像素级滚屏的，这在当时那个年代是个创举，这也是为什么 FC/NES 那么火热的原因之一 那 PPU 是如何支持像素级的滚屏？这就要先来看看 PPU 的一些硬件部分。 内存映射寄存器 首先来看看映射到 CPU 地址空间的一些寄存器，也是 CPU 与 PPU 通信的端口。从本文开始十六进制数我还是用 0x 表示，用 $ 有太多的格式问题，前文我每个 $ 前面加上了 \ 转义，然后使用 mdnice 导格式始终有问题，所以干脆直接就使用 0x 算了，大家也还熟悉些，只是如果要对 nes 汇编开发的话...

PPU 本文继续讲述 NES 的基本原理，承接上文的 CPU，本文来讲述 PPU，较为复杂，慢慢来看。例子基本都是使用的魂斗罗，看完本文相信对那问题“为什么魂斗罗只有128KB却可以实现那么长的剧情”有一定答案。废话不多说，直接来看，先是 PPU 的地址空间部分。 地址空间 PPU 有自己的总线，再来看看这张图： 可以看出通过 PPU 总线能够访问到的地址空间主要由三部分组成：PatternTable, NameTable, Pallete，其中 PatterTable 是映射到卡带里的 CHR 这里说明一下，关于上图前两篇文章有错，PatterTable 是在 NameTable 前面的，...