微信扫一扫212
社区成员
边缘的容器化 — WasmEdge 与 seL4
...全文
请发表友善的回复…
发表回复
Docker 容器与容器云（第2版）（浙大SEL实验室） Docker作为时下流行的容器技术，已经在云计算领域掀起了一股狂潮。本书的第一部分从Docker容器技术的出现背景谈起，阐述这门技术的方方面面。第1章说明了Dcoker的发展脉络，让读者明白到底什么事赋予了Docker如此大...
seL4微内核学习之四：系统调用 seL4系统调用主要有以下八个： seL4 Send()： 通过已被命名的cap传递消息，然后允许程序继续，如果调用这个cap的是endpoint，且没有receiver接收消息，sender将会被阻塞到有receiver接收。Reciver和内核对象不会...
seL4的编译和运行(OdroidXU3) seL4支持平台seL4所在的git如下： https://github.com/seL4/seL4.git不过我们编译和运行seL4一般不只是用这个git，而是借助seL4test（seL4的测试框架）： https://github.com/seL4/sel4test.gitseL4提供了各种平台...
seL4微内核学习之二：seL4中的一些基础概念 作为微内核操作系统，seL4只提供很少的基础内核服务，复杂的服务将在用户态基于这些基础内核服务实现。 基础内核对象有以下五个： Threads：是运行CPU的抽象。 Address spaces：是分配给应用程序的虚拟地址空间，...
sel4源码解析（一） - sel4内核对象 Sel4提供了七个内核对象，分别是： 1.CNodes：CNodes本质是一个结构体数组，该数组的元素是cte（capability table entry），该cte中包含一个cap_t结构体和mdb_node_t结构体（todo）。一个进程的CNodes称为Cspace，C...
微内核发展史与Mach、L4、seL4微内核OS的比较 1.什么是微内核?...其中进程通信是作为连接应用与用户态系统服务的桥梁。 2.微内核的发展历史 2.1第一代微内核：从无到有 第一代微内核的主要代表是Mach，该系统由卡内基-梅隆大学的Avie Tevanian和Richa...
Docker容器与容器云（第2版） Docker容器与容器云（第2版） 浙江大学SEL实验室 著 本书根据Docker1.10版和Kubernetes1.2版对第1版进行了全面更新，从实践者的角度出发，以Docker和Kubernetes为重点。
NSString 与 Class/Protocol/SEL 相互转化 简述在开发中, 我们有时候视图用字符串来替代Calss 或者protoclo 或者SEL 的情况, 因为这样会更加灵活和方便。今天就来看一看,这是它们之间是怎么样相互转化的。
seL4 FAQ seL4是L4微内核家族中最先进的成员，值得注意的是其全面的形式验证，这使它有别于其他任何操作系统。seL4达成这个目标同时不会影响性能。 什么是微内核？ 微内核是操作系统（OS）的最小核心。它呈现的是今天通常被...
seL4 下载 本文译至：http://sel4.systems/Download/ 代码 所有的seL4代码和证明都可以在GitHub上找到： https://github.com.au/seL4, 在标准的开放源代码许可证下。...l4v seL4 证明seL4 seL4 内核 seL4 项目 seL4内
使用Python的netCDF4和matplotlib.basemap包进行气象数据的可视化 首先，安装netCDF4和Basemap，Windows下和Linux下会稍微有些不一样，请自行百度。 netCDF4：https://github.com/Unidata/netcdf4-python Basemap：http://matplotlib.org/basemap/users/installing.html下面是一个...
seL4 调试指南 When developing an operating system on top of seL4 you do not have the luxury of using a debugger such as gdb. Your best bet is a combination of dprintf and objdump . If you are doing the ...