- 博客(5)
- 资源 (3)
- 收藏
- 关注
原创 L4RE学习笔记——服务介绍
1.服务概述: Sigma0,theRootPagerSigma0是L4Re的第一个非常有用的task,用于处理root task(moe)的缺页异常。它可以认为是内核的一部分,尽管它运行在非特权模式。 Moe,theRootTaskMoe是L4的根任务,负责bootstrap the system,并且为上层应用提供基本的资源管理,包括:Memory:以动态分配((L4Re::Mem_alloc...
2018-06-29 15:54:57 1381
原创 L4RE 学习笔记——编程相关概念
1.Capabilities and NamingL4Re是一个基于细粒度访问控制及Capabilities (能力权限)的系统。通常来讲,拥有一个Capabilities(能力权限)意味着被允许同其代表的对象通信。所有用户可见的内核对象,如task,thread,IRQs等都只能通过能力权限来访问。能力权限存储在每个任务的能力权限表中,并且由选择器引用。简单的讲,选择器就是一个指向当前任务能力权...
2018-06-27 00:06:01 1107
原创 L4RE学习笔记——简单教程
1.最简单的组件构成可能包含以下几部分(以hello应用为例):• Fiasco.OC— Microkernel• Sigma0— Root Pager• Moe— Root Task• Ned— Init Process• hello— Hello World Application2.、x86主机上利用qemu运行L4RE的iso镜像2.1首先,需要一个modules.list文件来定义包含所...
2018-06-23 01:33:24 1303
原创 任务核间迁移测试
1) 假设SMP=N且为公平调度,创建N个线程,分别绑定到0...N-1核,各自进行加锁、解锁操作一定时间,获取操作数C0...C(n-1);2)创建一个线程P,绑定到0核,并和步骤1中的N个线程一起同时并行独立的加锁、解锁操作相同时间,获取操作数M0和C0...C(n-1);3)线程P迁移到1核,重复步骤2中的操作,获取操作数 M1;然后依次迁移到2...N-1核#include "testfr...
2018-06-01 07:51:14 433
原创 核间中断测试
1)假设系统有N个核,创建N个线程,分别绑定到核0...(N-1);2)所有线程通过同一个互斥锁[FIFO方式唤醒]进行阻塞和唤醒操作,并对自己被唤醒计数;3)核间随机唤醒;执行一段时间,至少N分钟#include "testfrmw.h"#include "smp_test.h"volatile int ipi_count[CPU_NUM] = {0};volatile int ipi_coun...
2018-06-01 07:45:42 1226
设备树规范及GICv3v4
2018-08-03
显控终端程序
2018-04-22
GPS速度和航向计算
2018-04-22
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人