Reius

  • 规范
    • JEDEC
    • IEEE
    • ARM
    • ONFI
    • 逻辑学
  • 系统
    • 操作系统
    • 文件系统
  • 工具
    • 软件
    • 硬件
  • 日志
    • 关于
    • 2023
    • 2022
少年当有凌云志
逻辑学

命题逻辑笔记

条件称述:当、仅当、当且仅当 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:答案是“不可以”。因为“仅当”与…

2023年2月14日 0条评论 32点热度 0人点赞 阅读全文
JEDEC

JESD254(安全的串行Flash总线事务)

Secure Serial Flash Bus Transactions (SSFBT) 是由JEDEC定义的一套适用于串行Flash的标准,即JESD254标准。JESD254文档篇幅不长,描述了SPI总线事务,旨在支持串行存储器设备上的安全闪存操作。 JEDEC会不断发布新版本的JESD254规范,最新版本可在JEDEC官网下载(需注册账户)。本博客文档是基于JESD254编写的。JESD254各版本信息如下: 版本 地址(官方下载需登录) 备注 JESD254 官方下载,三方下载 发布于2022年,是JESD…

2022年12月8日 0条评论 169点热度 1人点赞 阅读全文
IEEE

IEEE Std 1003.1 (POSIX.1)

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 官方购买,在线阅读 …

2022年12月8日 0条评论 79点热度 0人点赞 阅读全文
文件系统

littlefs-块分配器

littlefs的块分配器用于为littlefs分配空闲的Flash块。这个块分配器具有如下特征: 格式化文件系统时:块0和块1被分配。 挂载文件系统时及其以后:所分配到的块的顺序是随机的。 1 原理概述 块分配器未在Flash中存储任何相关的数据,而仅在运行时读取文件系统对Flash块的使用情况并以位图的形式记录于内存中。内存中的位图并不记录整个Flash所有的块的使用情况,而仅仅记录整个Flash中连续若干个块的使用情况,举例来说:整个Flash拥有1024个块,而块分配器仅在内存中记录索引为32~63的块的分…

2022年11月26日 0条评论 114点热度 0人点赞 阅读全文
软件

Wi-Fi网卡配置监听模式[deepin系统]

监听模式(Monitor Mode),是指无线网卡可以接收所有经过它的数据流的工作方式,对应于IEEE 802.11网卡的其他模式,诸如Master(路由器)、Managed(普通模式的网卡)、Ad-hoc等。监听模式不区分所接收数据包的目标MAC地址,这点和混杂模式类似。然而,和混杂模式不同的是,监听模式的不需要和无线接入点(AP)或Ad-hoc网络建立连接。监听模式是无线网卡特有的特殊模式,而混杂模式应用于有线网卡和无线网卡。 本文将以deepin系统为例介绍将Wi-Fi网卡配置为监听模式的方法。 1 材料 该…

2022年8月27日 0条评论 452点热度 4人点赞 阅读全文
操作系统

操作系统数据模型(LP32 ILP32 LP64 等)

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…

2022年7月31日 0条评论 235点热度 0人点赞 阅读全文
软件

snipaste

snipaste工具能够对电脑屏幕进行截屏。特别的截屏后图像可置顶,这意味着我们可以方便的在写代码的同时阅读芯片参考手册中寄存器相关的描述。

2022年6月29日 0条评论 296点热度 2人点赞 阅读全文
操作系统

linux自旋琐源码分析

本文对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…

2022年6月26日 0条评论 451点热度 1人点赞 阅读全文
软件

carnac

carnac工具能够以可视化方式在屏幕上展示键盘按键,这样在共享屏幕或者录制视频时对方可以实时看到按键情况。

2022年5月23日 0条评论 387点热度 1人点赞 阅读全文
JEDEC

JESD252.01(串行Flash复位信号协议)

Serial Flash Reset Signaling Protocol (SFRSP) 是由JEDEC定义的一套适用于串行Flash的标准,即JESD252.01标准。JESD252.01文档篇幅不长,描述了一种信号协议,以允许主机在没有专用硬件复位引脚的情况下复位目标串行Flash设备。 JEDEC会不断发布新版本的JESD252.01规范,最新版本可在JEDEC官网下载(需注册账户)。本博客文档是基于JESD252.01编写的。JESD252.01各版本信息如下: 版本 地址(官方下载需登录) 备注 JES…

2022年4月30日 0条评论 629点热度 0人点赞 阅读全文
123

李嘉诚

大丈夫生居天地间,岂能郁郁久居人下

分类
  • ARM / 1篇
  • IEEE / 1篇
  • JEDEC / 4篇
  • ONFI / 1篇
  • 操作系统 / 2篇
  • 文件系统 / 1篇
  • 未分类 / 2篇
  • 软件 / 9篇
  • 逻辑学 / 1篇

COPYRIGHT © 2023 Reius. ALL RIGHTS RESERVED.

Theme Kratos Made By Seaton Jiang

晋ICP备17003055号-4

晋公网安备 14062402000036 号