Dynamic Libraries 3（seL4） 本教程展示了如何将单独的 ELF 文件加载并扩展为 VSpace，然后执行，同时促进两个模块之间的 IPC。它还展示了具有不同 CSpace 的线程如何进行操作，以便将功能传递给彼此。
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。
Dynamic Libraries 1 本教程提供了代码示例和练习，用于使用SEL4_LIBS中的动态库来引导系统并启动线程。不要删除main() 之前声明的全局变量 - 它们是为了你的便利而声明的，以便你可以掌握一些基本的数据结构。
seL4 Faults（八） 在我们这里的示例中，我们的示例代码生成了一个 Cap 错误，因此根据 seL4 手册，我们可以使用 IPC 消息中的偏移量 seL4_CapFault_Addr 找到 Cap 错误地址，如上面的代码片段所示。敏锐的读者可能已经意识到，这意味着内核的故障端点能力上的标记可用于区分来自不同故障线程的故障消息，以便单个处理程序可以处理来自多个线程的故障。为了让处理程序能够处理故障，处理程序必须设置一个故障处理端点，并告诉内核将故障线程生成的所有故障 IPC 消息发送给自己。因此，这是我们采取的第一步。
seL4 Interrupts（七） 这意味着中断在被处理后，需要显式地通过 seL4_IRQHandler_Ack 来告知内核，中断已处理完毕，并且可以再次接收该中断。根任务被赋予了一个单一的能力，从该能力可以派生出系统中所有 irq的能力，seL4_CapIRQControl。练习：调用包含seL4_IRQControl 功能的irq_control，将TTC0_TIMER1_IRQ 的IRQHandler 功能放入irq_handler CSlot 中。我们使用的定时器驱动程序在 TTC0_TIMER1_IRQ 编号中发出中断。
seL4 Notifications（六） 完整通知对象的功能已标记： Producer_1 副本的标记为 0b1， Producer_2 的标记为 0b10。通过复制能力，每个映射都可以有独立的能力实例，这样可以追踪、管理和撤销每个映射，而不会影响其他映射。通过这种方式，通知对象可以被视为信号量的二进制数组——如果信号发送者都在徽章中使用不同的位来发送信号，则他们可以设置不同的徽章位，并且等待者可以观察已设置哪些位。这里在OS的书里面可以学习到，就是生产者和消费者需要两个信号量，一个full一个empty，然后对二者进行pv操作，来协调生产消费。
seL4 IPC（五） 如果消息中的第 n 个能力引用了用于发送消息的端点（endpoint），那么该能力会被解包：它的徽章（badge）会被放置在接收者的 IPC 缓冲区的第 n 个位置（在 caps_or_badges 字段中），同时内核会将 seL4_MessageInfo_t 中 capsUnwrapped 字段的第 n 位（从最低有效位开始计数）设置为 1。具体来说，如果消息中第 n 个能力引用了用于发送消息的端点（指的是在 IPC 消息中，第 n 个能力是与消息发送的那个端点相关联的能力。
seL4 Threads（四） 官网链接: Threads这篇教程主要是使用seL4中的threads。seL4提供了线程代表执行的上下文以及管理处理器时间。seL4中的线程是通过线程控制块对象（TCB）实现的，每个内核线程都有一个线程控制块。线程控制块包括以下的这些信息：seL4的调度器选择下一个线程在特定的处理核心上运行，并且该调度器是一个基于优先级的轮转调度器。调度器选择运行的线程状态时runnable，也就是说，可恢复且不会阻止任何的IPC操作。调度器每次选择最高优先级的可运行的线程。seL4提供了0-255的优先级，255是最
seL4 Mapping（三） 官网链接: Mapping这节课程主要是介绍seL4的虚存管理。除了用于操作硬件分页结构的内核原语之外，seL4不提供虚拟内存管理。用户必须为创建中间级分页结构，映射页面以及取消映射页面提供服务。用户可以随意的定义他们自己的地址空间布局，但是有一个限制：seL4会占用虚地址空间的高地址部分。在大多数的32位的平台中，内核占用0xe0 00 00 00以上的空间。每个平台的这个变量是不太一样的，可以通过在seL4的源码中通过寻找kernelBase找到这个变量。上面来个更直观的例子：分页结构 Pagin
seL4 Untyped（二） 链接: Untyped这篇主要是针对seL4物理内存管理的介绍。在seL4系统中，除了内核占用的一小部分静态内存之外，其他的所有的物理内存都是用户一级管理的。seL4在启动时创建的对象能力，以及seL4管理的其余物理资源，都会在启动时传递给根任务。除了用于创建根任务的对象，对于其他的所有可用物理内存的能力都被传递给了根任务作为untyped内存 。未类型化内存是一块连续的指定大小的物理内存。Untyped capabilities是针对未类型化内存的能力。未类型化能力可以被retyped成为内核对象以及针对
一些考研经验 考研结束已有半个月，之前一直想写经验贴，奈何感觉自己本身就比较菜，考了两年才堪堪上岸，所以有些犹豫，拖拖沓沓到现在，思虑再三最终决定把自己对于考研的一些拙见记录一下，供各位参考。在决定考研的时候，我已经毕业两年。各位不要觉得自己基础差，我想我在选择考研的时候不能说是基础差，而是毫无基础。工作环境中对于数学以及计算机基础知识应用的并不多（大部分时间在curd），所以我可以说是从0开始。而对于英语，我大学四级没过，六级更不用提，情况是可想而知的糟糕。
2021年小结 2021年小结创业已经第二个年头了，今天想写小结的原因多是因为积攒已久的失望。回想去年3月上旬，彼时还未毕业，怀着满腔热血，无限热忱，与大学时期的三个小伙伴开启了自己的创业之路。和现在的状态对比起来，只觉恍惚，物是人非，确实如此。本来四人的团队，已经变成了三个人，其中一个小伙伴在去年选择读第二学历，离开了。三个人撑了一年了，去年一起定的目标，也随着时间化为了泡影。去年年底的豪情壮志，如今大家都默契的选择了闭口不提，有些可笑了。从事的教育行业，具体一点来说是青少年科教，双减政策在上，也感叹确实没有投入
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如下
certificate_unknown 未知证书，后端配置了本地生成的证书，vue访问时ERR_CERT_AUTHORITY_INVALID 解决办法将ip接口地址复制到浏览器地址栏访问一下就出现以下界面点继续访问，之后vue访问就访问的通了每次浏览器历史数据被清除，都需要重新进行此操作，否则就会被拦截。这个是被浏览器拦截的，主要是证书的问题，不是前端或者后端的问题。...
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=
element-ui 表单的resetFields方法 记录一个坑想要使用resetFields这个方法，需要三步：表单的:model绑定值:rules绑定规则，并实现(必须有一定的校验规则)给表单ref指定值之后调用：this.$ref.xxRef.resetFields()
element-ui级联选择器回显问题（选中但不显示） 问题如图：选中了但是不显示。cascader绑定的是一个数组，不显示的原因是往数组添加数据的方式问题。数组中的push方法按道理来讲应该是可以的，但是使用push就出现了上面的那种情况。如下，subjects是cascader的绑定数组解决办法：不使用push，给这个数组引用重新赋一个新的数组。...
关注
