THE FIRST EXPLORATION OF PROJECT SPARROWsupport in seL4 userspace III. Sparrow development Develop with Renode IV. Wrap-up 1) Tech Stack 1.1 Microkernel Overview I. Background https://en.wikipedia.org/wiki/Microkernel 1 Intel NUC X15 LAPAC71H(32GB DDR5) with Fedora 38 I. Background HW http://www.intel.com/AC57-Support SW I. Background 3.2 Raspberry Pi RPi4 (8GB com/products/raspberry-pi-3-model-b-plus/ HW SW RPi3 B+ (1G LPDDR2) 1) CantripOS(KataOS) 1.1 Getting started II. Practicing Sparrow https://github.com/AmbiML/sparrow-cantrip-full/bl0 码力 | 68 页 | 13.14 MB | 1 年前3
应用 waPC (rust) 做软件测试工具HttpPath){ } req.HttpProxyUrl = String::from(“localhost:8000"); req.HttpScheme = String::from("http"); let request = serde_json::to_string(&req)?; Ok(request.as_bytes().to_vec()) } fn do_nothing(msg: reg.insert(“\/v2\/matches\/.*\/info_fiddler_ab”.into(),do_nothing); } waPC in rust in HTTP(MITM) curl -X POST “http://$MockServer: $Port/call/$Operation?targets=\/v2\/m atches\/.*\/info" \ --header String::from("200") let res= serde_json::to_string(&res)?; Ok(res.as_bytes().to_vec()) } waPC in rust in HTTP(MITM) • Modify_res function extern crate wapc_guest as guest; ... fn fiddler_ab(msg: &[u8]) ->0 码力 | 30 页 | 2.50 MB | 1 年前3
C++高性能并行编程与优化 - 课件 - 08 CUDA 开启的 GPU 编程add_executable 里直接加你 的 .cu 文件,和 .cpp 一样。 https://www.nvidia.cn/docs/IO/51635/NVIDIA_CUDA_Programming_Guide_1.1_chs.pdf CUDA 编译器兼容 C++17 • CUDA 的语法,基本完全兼容 C++ 。包括 C+ +17 新特性,都可以用。甚至可以把任何一个 C++ 项目的文件后缀名全部改成 帮助我们理解了底层原理。但是既然 CUDA 官方已经提供了 thrust 库,那就 用他们的好啦。 • universal_vector 会在统一内存上分配, 因此不论 GPU 还是 CPU 都可以直接访 问到。 http://cs.boisestate.edu/~alark/thrust_intro/presentation.html 换成分离的 device_vector 和 host_vector • 而0 码力 | 142 页 | 13.52 MB | 1 年前3
Secure your microservices with istio step by stepistio sidecar ( kubectl label namespace default istio-injection=disabled/enabled ) http http http http http http http Result: can access reviews-v1, reviews-v2 and reviews-v3 Access productpage peer-authentication to enable server side mTLS mTLS in Istio - PeerAuthenticati on mTLS http http http http mTLS http #IstioCon Auto-mTLS in Istio ● Decide what type of traffic the client sidecar to productpage 1) Apply destination rule enable client side mTLS mTLS in Istio - Destination rule http http http http mTLS mTLS #IstioCon mTLS in Istio - DestinationRule Defines what type of traffic the0 码力 | 34 页 | 67.93 MB | 1 年前3
whats new in visual studioSeries1 Open Member List 29% faster Unreal Engine 4.27.1 IntelliSense Ready 18x faster Learn more at http://aka.ms/18xfaster Performance of Visual Studio Developer inner-loop Build Debug Edit Find List Open Member List 29% faster Unreal Engine 4.27.1 IntelliSense Ready 18x faster Learn more at http://aka.ms/18xfaster Performance of Visual Studio At CppCon last year Developer inner-loop List Open Member List 29% faster Unreal Engine 4.27.1 IntelliSense Ready 18x faster Learn more at http://aka.ms/18xfaster Link time 28x faster 5x faster 18x faster 1 2 3 0.00 100.00 2000 码力 | 42 页 | 19.02 MB | 6 月前3
C++高性能并行编程与优化 - 课件 - 10 从稀疏数据结构到量化数据类型索性把坐标和值打包成 tuple ,存储在 vector 按行压缩( Compressed Row Storage ) http://www.netlib.org/linalg/html_templates/node91.html 按行压缩( Compressed Row Storage ) http://www.netlib.org/linalg/html_templates/node91.html 第 而单精度浮点数 float 的底数有 23 位,指数有 8 位(图 1 )。 • 双精度浮点数 float 的底数有 52 位,指数有 11 位(图 2 )。 double: float: http://c.biancheng.net/view/314.html 以求最大值为案例 用定点数来表示 • 刚刚说到浮点数的特性是有指数位,可表示不同数量级上的数。 • 比如 123.4 实际上是 缺点:尺寸受限,操作系统挂钩,依赖 x86 硬件机 制。 • 顺便一提, GPU 也可以搞 SPGrid ,不过 GPU 的 页大小是 2MB ,王鑫磊最近研究过这个,因为太繁 琐而放弃了。 http://pages.cs.wisc.edu/~sifakis/papers/SPGrid.pdf 今天的回家作业 • 用稀疏数据结构改良康威生命游戏 (conway’s game of life)0 码力 | 102 页 | 9.50 MB | 1 年前3
nativescript-new-looper-vantoll.pptxSlack channel stats ? Join us! http://tinyurl.com/nativeScriptSlack Slack channel standouts ? 1,900+ members! With Top Contributors: Join us! http://tinyurl.com/nativeScriptSlack - 8) ? Osei Fortune (22) - 7) ? Peter Staev (32) - 6) ? Nikolay Tsonev (42) Join us! http://stackoverflow.com/tags/nativescript/ - 5) ? Todd Anglin (52) - 4) ? Brad Martin (61) - 3)0 码力 | 36 页 | 10.78 MB | 1 年前3
Analyzing MySQL Logs with ClickHouse/etc/clicktail/clicktail-example.conf as /etc/clicktail/clicktail.conf and customize it • APIHost = http://localhost:8123/ • clicktail –c /etc/clicktail/clicktail.conf • To See how it works • service PMM for ClickHouse Monitoring • docker run -d -p 9116:9116 f1yegor/clickhouse-exporter -scrape_uri=http://myhost:8123/ • pmm-admin config –server pmm.your-domain.com • pmm-admin add linux:metrics • pmm-admin0 码力 | 43 页 | 2.70 MB | 1 年前3
C++高性能并行编程与优化 - 课件 - 02 现代 C++ 入门:RAII 内存管理pdf) - [ 并行体系结构与编程 (CMU 15-418)](https://www.bilibili.com/video/av48153629/) - [ 深入理解计算机原理 (CSAPP)](http://csapp.cs.cmu.edu/) - [CMake “ 菜谱” ](https://www.bookstack.cn/read/CMake-Cookbook/README.md) - [CMake 为什么很多面向对象语言,比如 Java ,都没有构造函数全家桶这些概念? • 因为他们的业务需求大多是:打开数据库,增删改查学生数据,打开一个窗口,写入一个 文件,正则匹配是不是电邮地址,应答 HTTP 请求等。 • 这些业务往往都是在和资源打交道,从而基本都是刚刚说的要删除拷贝函数的那一类,解 决这种需求,几乎总是在用 shared_ptr的模式,于是 Java 和 Python 0 码力 | 96 页 | 16.28 MB | 1 年前3
C++高性能并行编程与优化 - 课件 - 15 C++ 系列课:字符与字符串c == 127 )。 • toupper(c) 把小写字母转换为大写字母,如果不是则原封不动返回。 • tolower(c) 把大写字母转换为小写字母,如果不是则原封不动返回。 帮手函数大全 http://c.biancheng.net/ref/ctype_h/ 关于 char 类型的一个冷知识 • C 语言其实只规定了 unsigned char 是无符号 8 位整数, signed char 编码中就是“烫”,所以如果不小心打印了栈上 未初始化的字符串数组,就会看到“烫烫烫”。 • 而 0xCDCD 在 GBK 编码中就是“屯”,所以如果不小心打印了堆上 未初始化的字符串数组,就会看到“屯屯屯”。 http://mytju.com/classcode/tools/encode_gb2312.asp 总结 • 现在普遍采用了 UTF-8 格式,虽然 Windows 还在用 UTF-16 和 GBK0 码力 | 162 页 | 40.20 MB | 1 年前3
共 19 条
- 1
- 2













