- 博客(75)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 Dynamic Libraries 3（seL4）
本教程展示了如何将单独的 ELF 文件加载并扩展为 VSpace，然后执行，同时促进两个模块之间的 IPC。它还展示了具有不同 CSpace 的线程如何进行操作，以便将功能传递给彼此。
2024-10-23 16:27:20
996
原创 Dynamic Libraries 2
到这一步的时候，可以进行一个小总结。retype一个物理帧frame对象，vka_alloc_frame，一般是4KiB，因此是12retype一个page table对象，vka_alloc_page_table映射page table到vaddr，seL4_ARCH_PageTable_Map映射frame到addr，seL4_ARCH_Page_Map。
2024-10-16 21:45:36
886
原创 Dynamic Libraries 1
本教程提供了代码示例和练习，用于使用SEL4_LIBS中的动态库来引导系统并启动线程。不要删除main() 之前声明的全局变量 - 它们是为了你的便利而声明的，以便你可以掌握一些基本的数据结构。
2024-10-15 20:46:21
756
原创 seL4 Faults（八）
在我们这里的示例中，我们的示例代码生成了一个 Cap 错误，因此根据 seL4 手册，我们可以使用 IPC 消息中的偏移量 seL4_CapFault_Addr 找到 Cap 错误地址，如上面的代码片段所示。敏锐的读者可能已经意识到，这意味着内核的故障端点能力上的标记可用于区分来自不同故障线程的故障消息，以便单个处理程序可以处理来自多个线程的故障。为了让处理程序能够处理故障，处理程序必须设置一个故障处理端点，并告诉内核将故障线程生成的所有故障 IPC 消息发送给自己。因此，这是我们采取的第一步。
2024-10-10 21:20:10
1105
原创 seL4 Interrupts（七）
这意味着中断在被处理后，需要显式地通过 seL4_IRQHandler_Ack 来告知内核，中断已处理完毕，并且可以再次接收该中断。根任务被赋予了一个单一的能力，从该能力可以派生出系统中所有 irq的能力，seL4_CapIRQControl。练习：调用包含seL4_IRQControl 功能的irq_control，将TTC0_TIMER1_IRQ 的IRQHandler 功能放入irq_handler CSlot 中。我们使用的定时器驱动程序在 TTC0_TIMER1_IRQ 编号中发出中断。
2024-10-09 20:34:04
908
原创 seL4 Notifications（六）
完整通知对象的功能已标记： Producer_1 副本的标记为 0b1， Producer_2 的标记为 0b10。通过复制能力，每个映射都可以有独立的能力实例，这样可以追踪、管理和撤销每个映射，而不会影响其他映射。通过这种方式，通知对象可以被视为信号量的二进制数组——如果信号发送者都在徽章中使用不同的位来发送信号，则他们可以设置不同的徽章位，并且等待者可以观察已设置哪些位。这里在OS的书里面可以学习到，就是生产者和消费者需要两个信号量，一个full一个empty，然后对二者进行pv操作，来协调生产消费。
2024-10-09 15:17:58
1091
原创 seL4 IPC（五）
如果消息中的第 n 个能力引用了用于发送消息的端点（endpoint），那么该能力会被解包：它的徽章（badge）会被放置在接收者的 IPC 缓冲区的第 n 个位置（在 caps_or_badges 字段中），同时内核会将 seL4_MessageInfo_t 中 capsUnwrapped 字段的第 n 位（从最低有效位开始计数）设置为 1。具体来说，如果消息中第 n 个能力引用了用于发送消息的端点（指的是在 IPC 消息中，第 n 个能力是与消息发送的那个端点相关联的能力。
2024-09-27 23:01:58
1203
1
原创 seL4 Threads（四）
官网链接: Threads这篇教程主要是使用seL4中的threads。seL4提供了线程代表执行的上下文以及管理处理器时间。seL4中的线程是通过线程控制块对象（TCB）实现的，每个内核线程都有一个线程控制块。线程控制块包括以下的这些信息：seL4的调度器选择下一个线程在特定的处理核心上运行，并且该调度器是一个基于优先级的轮转调度器。调度器选择运行的线程状态时runnable，也就是说，可恢复且不会阻止任何的IPC操作。调度器每次选择最高优先级的可运行的线程。seL4提供了0-255的优先级，255是最
2024-09-25 23:06:50
1060
1
原创 seL4 Mapping（三）
官网链接: Mapping这节课程主要是介绍seL4的虚存管理。除了用于操作硬件分页结构的内核原语之外，seL4不提供虚拟内存管理。用户必须为创建中间级分页结构，映射页面以及取消映射页面提供服务。用户可以随意的定义他们自己的地址空间布局，但是有一个限制：seL4会占用虚地址空间的高地址部分。在大多数的32位的平台中，内核占用0xe0 00 00 00以上的空间。每个平台的这个变量是不太一样的，可以通过在seL4的源码中通过寻找kernelBase找到这个变量。上面来个更直观的例子：分页结构 Pagin
2024-09-24 19:37:21
1075
原创 seL4 Untyped（二）
链接: Untyped这篇主要是针对seL4物理内存管理的介绍。在seL4系统中，除了内核占用的一小部分静态内存之外，其他的所有的物理内存都是用户一级管理的。seL4在启动时创建的对象能力，以及seL4管理的其余物理资源，都会在启动时传递给根任务。除了用于创建根任务的对象，对于其他的所有可用物理内存的能力都被传递给了根任务作为untyped内存 。未类型化内存是一块连续的指定大小的物理内存。Untyped capabilities是针对未类型化内存的能力。未类型化能力可以被retyped成为内核对象以及针对
2024-09-21 20:35:47
934
原创 一些考研经验
考研结束已有半个月，之前一直想写经验贴，奈何感觉自己本身就比较菜，考了两年才堪堪上岸，所以有些犹豫，拖拖沓沓到现在，思虑再三最终决定把自己对于考研的一些拙见记录一下，供各位参考。在决定考研的时候，我已经毕业两年。各位不要觉得自己基础差，我想我在选择考研的时候不能说是基础差，而是毫无基础。工作环境中对于数学以及计算机基础知识应用的并不多（大部分时间在curd），所以我可以说是从0开始。而对于英语，我大学四级没过，六级更不用提，情况是可想而知的糟糕。
2024-04-08 20:17:44
2125
原创 2021年小结
2021年小结创业已经第二个年头了，今天想写小结的原因多是因为积攒已久的失望。回想去年3月上旬，彼时还未毕业，怀着满腔热血，无限热忱，与大学时期的三个小伙伴开启了自己的创业之路。和现在的状态对比起来，只觉恍惚，物是人非，确实如此。本来四人的团队，已经变成了三个人，其中一个小伙伴在去年选择读第二学历，离开了。三个人撑了一年了，去年一起定的目标，也随着时间化为了泡影。去年年底的豪情壮志，如今大家都默契的选择了闭口不提，有些可笑了。从事的教育行业，具体一点来说是青少年科教，双减政策在上，也感叹确实没有投入
2021-12-16 21:19:41
768
5
原创 frp使用腾讯云做内网穿透
1、准备条件准备：一台腾讯云服务器一个已经备案且解析到1上面的域名需要穿透的服务器2、下载frp两台机器都要下载装好wget https://github.com/fatedier/frp/releases/download/v0.37.1/frp_0.37.1_linux_amd64.tar.gz下载完成之后解压tar -zxvf frp_0.37.1_linux_amd64.tar.gz目录为3、编辑腾讯云服务器，frp服务端 frpsvi frps.ini如下
2021-12-09 14:19:21
3740
原创 certificate_unknown 未知证书，后端配置了本地生成的证书，vue访问时ERR_CERT_AUTHORITY_INVALID
解决办法将ip接口地址复制到浏览器地址栏访问一下就出现以下界面点继续访问，之后vue访问就访问的通了每次浏览器历史数据被清除，都需要重新进行此操作，否则就会被拦截。这个是被浏览器拦截的，主要是证书的问题，不是前端或者后端的问题。...
2021-11-05 17:51:48
2879
原创 elementUI一次上传多张图片
<template> <div> <el-card style="margin: 10px"> <el-upload class="upload-demo" ref="upload" action="http://localhost:9002/cosservice/cos/imgs" multiple :limit="4" :on-preview=
2021-08-25 21:31:10
2154
原创 element-ui 表单的resetFields方法
记录一个坑想要使用resetFields这个方法，需要三步：表单的:model绑定值:rules绑定规则，并实现(必须有一定的校验规则)给表单ref指定值之后调用：this.$ref.xxRef.resetFields()
2021-05-18 15:29:52
574
原创 element-ui级联选择器回显问题（选中但不显示）
问题如图：选中了但是不显示。cascader绑定的是一个数组，不显示的原因是往数组添加数据的方式问题。数组中的push方法按道理来讲应该是可以的，但是使用push就出现了上面的那种情况。如下，subjects是cascader的绑定数组解决办法：不使用push，给这个数组引用重新赋一个新的数组。...
2021-05-18 01:32:34
5133
原创 vue下载本地工程中文件，路径写法
1、vue3没有static目录，将文件放在public目录下。2、使用elementui中的el-link标签，直接在href中写路径，如下直接 ./xxx.xx就可以了
2021-05-16 17:11:41
1303
原创 vue-admin-template，当高度超出，只滚动app-main部分
效果可以看到滚动条是从nav-bar下面开始的，滚动时头部不会动。解决方案1、找到AppMain.vue2、修改AppMain.vue如下（可直接复制粘贴）<template> <section :style="autoHeight" class="app-main"> <transition name="fade-transform" mode="out-in"> <router-view :key="key" />
2021-05-14 21:01:15
1323
2
原创 我的mysql笔记
MYSQL笔记一、基础查询语法：select 查询列表 from 表名;查询列表可以是：字段、表达式、常量、函数等。特点： 1、查询的结果集是一个虚拟表 2、select 查询列表 类似于System.out.println(打印内容);执行顺序： ① from子句 ② select子句1、查询常量SELECT 100 ;2、查询表达式SELECT 100%3;在使用java操作的时候，可以直接查询计算过后的数值。3、查询单个字段SELECT `last_nam
2021-04-19 17:14:38
445
原创 ArrayList源码阅读、扩容
ArrayList一、基础构成二、add(E)方法2.1 new ArrayList()之后add2.2 new ArrayList<>(0)之后add2.3 new ArrayList<>(Collection<? extends E> c)之后add三、add(int index,E element)一、基础构成public class ArrayList<E> extends AbstractList<E> impleme
2021-04-19 17:08:55
514
原创 java序列化
java序列化1、 序列化一、什么叫序列化？二、序列化实现的方式2.1 Serializable序列化2.1.1 普通序列化2.1.2 成员是引用的序列化2.1.3 同一个对象序列化多次的机制三、序列化算法四、潜在问题五、可选的自定义序列化5.1 使用transient5.2 重写writeObjec和readObject序列化5.3 更彻底的序列化方案六、Externalizable，强制自定义序列化5.1 对比Serializable和Externalizabel六、序列化版本号serialVersio
2021-04-16 19:32:26
559
原创 多线程
多线程P2 线程、进程、多线程P3 继承Thread类P4 网图下载P5 实现Runnable接口P6 初识并发问题P7 龟兔赛跑P8 实现Callable接口P09 静态代理，结婚案例P10 LambdaP11 线程停止P12 线程休眠P13 线程礼让 yieldP14 线程插队 joinP15 线程状态P16 线程优先级 priorityP17 守护线程P18 线程同步P19 三大不安全机制，买票，取钱，不安全集合P20 同步方法和方法块P21 CopyOnWriteArrayListP22 死锁P23
2021-04-15 15:36:11
595
原创 ATtiny13完成的智能垃圾桶
功能利用超声波传感器做检测装置，当靠近一定距离的时候使用9g舵机将垃圾桶盖子顶开。组成9g舵机超声波模块自己设计的电路板电池盒杜邦线若干ATtiny13就1kb的程序存储空间，写起来很费劲。代码int trigPin = 3;int echoPin =4;int servoPin = 1;int t = 0;int period = 200;int pulseWidthScaled = 25;//5-25void setup() { pinMode(trigPin
2020-12-29 17:35:52
654
1
原创 SpringMVC笔记
SpringMVC第一天1.1 创建及运行过程1.2 RequestMapping注解1.3 常用注解1.4 参数绑定1.5 自定义类型转换器1.6 配置解决中文乱码的问题第二天2.1 不同类型的返回值以及转发重定向第三天3.1 文件上传3.2 拦截器第一天1.1 创建及运行过程/** * 1. 启动服务器，加载一些配置文件 * * 从web.xml开始，DispatcherServlet 对象创建 * * springMvc.xml被加载 * * HelloC
2020-11-24 16:28:42
361
原创 JDBC、数据库事务、DBUtils（许多东西在代码的注释中，耐心读）
JDBC、数据库事务、DBUtils1.数据库事务1.1 基础概念1.1.1 什么叫做数据库事务1.1.2 事务处理的原则1.1.3 哪些操作会导致数据的提交1.2 事务的ACID属性1.3 数据库并发的三种问题1.4 四种隔离级别1.5 事务传播行为1.5.1 前言1.5.2 什么是事务传播行为1.5.3 Spring中七种事务传播行为1.5.4 使用代码对上述的传播行为验证2.JDBC基础操作2.1 获取连接的几种方法2.2 PrepareStatement的update和query操作2.2.1 up
2020-10-14 16:12:56
437
原创 spring学习笔记（跟随B站黑马教程，分注解与xml版本）
spring学习笔记第一天1.1 ApplicationContext的三个实现类的区别1.2 核心容器的两个接口1.3 从容器中获取Bean对象1.4 xml中创建bean的三种方式1.5 bean的作用范围的调整1.6 bean对象的生命周期1.7 DI依赖注入第二天2.1 常用的11个注解2.2 maven引入单元测试类2.3 spring在单元测试自动注入2.4 配置类，Configuration注解第三天3.1 AOP前置，动态代理3.2 spring基于xml的aop配置3.3 使用注解的AOP
2020-09-27 21:19:22
554
原创 Java基础、多线程（Synchronized、volatile、CAS）
多线程第十章10.1 创建线程10.1.1 创建线程的方式10.1.2 启动线程的方式第十章10.1 创建线程10.1.1 创建线程的方式继承Thread类//Thread1 extend ThreadThread thread=new Thread1();thread.start();实现Runnable接口//Thread1 implement RunnableThread thread=new Thread(new Thread1());thread.start();
2020-08-06 20:14:14
228
原创 阅读Java核心技术Ⅰ的笔记（Java基础、第九章、集合）
第九章集合9.1 Java 集合框架9.1.1 将集合的接口与实现分离9.1.2 Collection 接口9.1.3 迭代器9.1.4 泛型实用方法9.1.5 集合框架中的接口9.2 具体的集合9.2.1 链 表9.2.2 数组列表9.2.3 散列集<SET>9.2.4 树集9.2.5 队列与双端队列9.2.6 优先级队列9.3 映射9.3.1 基本映射操作9.3.2 更新映射项9.3.3 映射视图9.3.4 弱散列映射9.3.5 链接散列集与映射(非常有用)9.3.6 枚举集与映射9.3.7
2020-07-31 19:48:11
397
原创 阅读Java核心技术Ⅰ的笔记（Java基础、第八章、泛型程序设计）
我躲在夜里取笑着黑，因为没有人能杀死鬼——草动没有派对《鬼》这一章真的是看了蛮久的，一方面是最近事情比较多，另外一方面泛型这一部分自己不太熟悉，阅读理解起来比较困难。Java核心技术Ⅰ第八章8.1 为什么要使用泛型程序设计8.1.1 类型参数的好处8.1.2 谁想称为泛型程序员8.2 定义简单泛型类8.3 泛型方法8.4 类型变量的限定8.5 泛型代码和虚拟机8.5.1 类型擦除8.5.2 翻译泛型表达式8.5.3 翻译泛型方法8.5.4 调用遗留代码8.6 约束与局限性8.6.1 不能用基本类型实例化
2020-07-27 23:56:51
1228
原创 阅读Java核心技术Ⅰ的笔记（Java基础、第七章、异常、断言、日志（详细））
短时间的投入学习很难得到反馈，切记莫要放弃，先坚持下去，再总结教训与经验，什么时候开始都不算晚Java核心技术Ⅰ第七章7.1 处理错误7.1.1 异常分类7.1.2 声明受查异常7.1.3 如何抛出异常7.1.4 创建类异常7.2 捕获异常7.2.1 捕获异常7.2.2 捕获多个异常7.2.3 再次抛出异常与异常链7.2.4 finally子句7.2.5 try-with-Resource语句7.2.6 分析堆栈轨迹元素7.3 使用异常机制的技巧7.4 使用断言7.4.1 断言的概念7.4.2 启用和禁用
2020-07-23 21:24:14
274
原创 阅读Java核心技术Ⅰ的笔记（Java基础、第六章、接口、lambda表达式、内部类与动态代理浅析）
命运的无常不会使我疯狂，如山顶松柏屹立在狂风暴雨中央——岛屿心情《游》Java核心技术Ⅰ第六章6.1 接口6.1.1 接口概念6.1.2 接口的特性6.1.3 接口与抽象类6.1.4 静态方法6.1.5 默认方法6.1.6 解决默认方法冲突6.1.7 接口与回调6.1.8 Comparator接口6.1.9 对象克隆6.2 lambda表达式6.2.3 函数式接口6.2.4 方法引用6.2.5 构造器引用6.2.6 变量作用域6.2.7 处理lambda表达式6.2.8 再谈Comparator6.3 内
2020-07-23 02:31:17
701
原创 阅读Java核心技术Ⅰ的笔记（Java基础、第五章、继承）
Java核心技术Ⅰ第五章5.1 类、超类和子类5.1.1 定义子类5.1.2 覆盖方法5.1.3 子类构造器5.1.4 继承层次5.1.5 多态5.1.6 理解方法调用5.1.7 阻止继承：final类和方法5.1.8 强制类型转换5.1.9 抽象类5.1.10 受保护访问5.2 Object:所有类的超类5.2.1 equals方法5.2.2 相等测试与继承5.2.3 hashCode方法5.2.4 toString方法5.3 泛型数组列表5.3.1 访问数组列表元素5.3.2 类型化与原始数组列表的兼容
2020-07-21 14:59:24
280
原创 阅读Java核心技术Ⅰ的笔记（Java基础、第四章、对象与类）
思想才是一切的起点——岛屿心情《寻找》Java核心技术Ⅰ第四章 对象与类4.1面向对象程序设计概述4.1.1类4.1.2对象4.1.3识别类4.1.4类之间的关系4.2使用预定义类4.2.1对象与对象变量4.2.2Java类库中的LocalDate类4.2.3 更改器方法与访问器方法4.3 用户自定义类4.3.1 User类4.3.5 隐式参数与显式参数4.3.6 封装的优点4.3.7 基于类的访问权限4.3.9 final实例域第四章 对象与类4.1面向对象程序设计概述传统的结构化程序设计通过设计
2020-07-19 23:13:23
383
原创 阅读Java核心技术Ⅰ的笔记（Java基础，第一章、第二章、第三章）
仅供参考。阅读Java核心技术Ⅰ第一章 Java程序设计概述关键术语简单性面向对象分布式健壮性安全性体系结构中立可移植性解释性高性能多线程动态性Java applet与Internet关于Java的常见误解第二章 JAVA程序设计环境第三章 Java的基本程序设计结构数据类型整形浮点类型char类型Unicode和Char类型boolean类型变量变量初始化常量运算符数学函数与常量数值类型之间的转换强制类型转换结合赋值运算符字符串构建字符串输出与输出读取输入格式化输出文件输入与输出控制流程大数值第一章
2020-07-18 16:51:48
571
原创 Java反射（java 基础、构造方法、变量、方法、mian方法、去泛型）
Java反射参考别人的一句话，反射是框架设计的灵魂。什么是反射？在运行的状态中，对于任意一个类，都可以知道他的属性和方法，对于任意一个对象都能够调用他的方法和属性，这种动态获取信息以及动态调用对象的方法的功能成为java的反射机制。首先获取该类的字节码文件对象。而解剖使用的是Class类中的方法，所以要先获取到每一个字节码文件对应的Class对象。通过类的字节码文件得到Class对象，再利用Class中的方法将类中的各个组成部分：属性、方法、构造方法映射为一个个对象。Class没有公共的构造方法
2020-07-16 20:06:28
194
毕业设计智能小车的制作（蓝牙控制，避障，循迹）.rar
2020-06-19
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人