条件称述：当、仅当、当且仅当 A当B：称述的是“在B为真时A一定为真”，意味着B是A的充分条件。 A仅当B：称述的是“B为真的前提下A可能为真或者假，B为假的前提下A一定为假”，意味着B是A的必要条件。 事实上：B为真的前提下“A仅当B”并没有提供任何有效的称述；B为假的前提下“A仅当B称述了A为假。 A当且仅当B：称述的是“B是A的充分条件，且B是A的必要条件”，意味着B是A的充分必要条件。 Q：有网友提出这样的疑问：“数学书中的「当且仅当」可以替换成「仅当」吗？" A：答案是“不可以”。因为“仅当”与…
Secure Serial Flash Bus Transactions (SSFBT) 是由JEDEC定义的一套适用于串行Flash的标准，即JESD254标准。JESD254文档篇幅不长，描述了SPI总线事务，旨在支持串行存储器设备上的安全闪存操作。 JEDEC会不断发布新版本的JESD254规范，最新版本可在JEDEC官网下载（需注册账户）。本博客文档是基于JESD254编写的。JESD254各版本信息如下： 版本 地址（官方下载需登录） 备注 JESD254 官方下载，三方下载 发布于2022年，是JESD…
POSIX 表示可移植操作系统接口（Portable Operating System Interface ，缩写为 POSIX ），POSIX标准定义了操作系统应该为应用程序提供的接口标准，是IEEE为要在各种UNIX操作系统上运行的软件而定义的一系列API标准的总称，其正式称呼为IEEE 1003，而国际标准名称为ISO/IEC 9945。 IEEE 会不断发布新版本的 IEEE 1003.1 规范，IEEE 1003.1各版本信息如下： 版本 地址 备注 IEEE 1003.1-1988 官方购买，在线阅读 …
littlefs的块分配器用于为littlefs分配空闲的Flash块。这个块分配器具有如下特征： 格式化文件系统时：块0和块1被分配。 挂载文件系统时及其以后：所分配到的块的顺序是随机的。 1 原理概述 块分配器未在Flash中存储任何相关的数据，而仅在运行时读取文件系统对Flash块的使用情况并以位图的形式记录于内存中。内存中的位图并不记录整个Flash所有的块的使用情况，而仅仅记录整个Flash中连续若干个块的使用情况，举例来说：整个Flash拥有1024个块，而块分配器仅在内存中记录索引为32~63的块的分…
监听模式（Monitor Mode），是指无线网卡可以接收所有经过它的数据流的工作方式，对应于IEEE 802.11网卡的其他模式，诸如Master（路由器）、Managed（普通模式的网卡）、Ad-hoc等。监听模式不区分所接收数据包的目标MAC地址，这点和混杂模式类似。然而，和混杂模式不同的是，监听模式的不需要和无线接入点（AP）或Ad-hoc网络建立连接。监听模式是无线网卡特有的特殊模式，而混杂模式应用于有线网卡和无线网卡。 本文将以deepin系统为例介绍将Wi-Fi网卡配置为监听模式的方法。 1 材料 该…
C 语言定义了一些基本数据类型，但是没有给出数据类型实际的位宽。随着 64bit 处理器的大量使用，操作系统等软件就需要选择匹配上这些数据类型，由此产生出了下表列出的各种数据模型(单位：bit)。 类型 LP32 ILP32 LP64 ILP64 LLP64 char 8 8 8 8 8 short 16 16 16 16 16 int 16 32 32 64 32 long 32 32 64 64 32 long long 64 64 64 64 64 pointer 32 32 64 64 64 另外， flo…
本文对linux内核中自旋锁的实现进行分析，描述了其背后原理和相关数据结构的含义。本文所有代码来源于linux-5.13.10。 自旋锁被定义为 spinlock_t ,其具体的实现方式与CPU体系结构相关。自旋锁相关的文件列表如下（仅通用部分可供使用者在源文件中使用#include指令包含）。 类别 路径 通用 include/linux/spinlock.h 通用 include/linux/spinlock_types.h UP include/linux/spinlock_up.h UP include/l…
Serial Flash Reset Signaling Protocol (SFRSP) 是由JEDEC定义的一套适用于串行Flash的标准，即JESD252.01标准。JESD252.01文档篇幅不长，描述了一种信号协议，以允许主机在没有专用硬件复位引脚的情况下复位目标串行Flash设备。 JEDEC会不断发布新版本的JESD252.01规范，最新版本可在JEDEC官网下载（需注册账户）。本博客文档是基于JESD252.01编写的。JESD252.01各版本信息如下： 版本 地址（官方下载需登录） 备注 JES…
