主にSOSP'21で発表されたRudraというRustプログラムにおけるメモリバグを発見するツールについての論文を紹介しました。 論文はこちら
話し手 ガラスボー: https://twitter.com/garasubo どらやき: https://twitter.com/dorayaki_kun
主にSOSP'21で発表されたRudraというRustプログラムにおけるメモリバグを発見するツールについての論文を紹介しました。 論文はこちら
話し手 ガラスボー: https://twitter.com/garasubo どらやき: https://twitter.com/dorayaki_kun
00:00 Rust Edtion 2021について
IntoIterator for arrays Rust言語 2021年版の計画(抄訳)
10:48 YukiさんのRust製ウェブフレームワークのブログ
19:54 Rust製ウェブフレームワークの需要について
| use std::sync::{Arc, Mutex, Weak}; | |
| use std::clone::Clone; | |
| #[derive(Debug, Clone)] | |
| struct GraphInner<T> { | |
| nodes: Vec<(Option<Arc<Mutex<NodeInner<T>>>>, usize)>, | |
| next: usize, | |
| } | |
| #[derive(Debug, Clone, PartialEq)] |
| #include <X11/Xlib.h> | |
| #include <X11/Xutil.h> | |
| #include <X11/Xos.h> | |
| #include <stdlib.h> | |
| #include <stdio.h> | |
| #include <locale.h> | |
| #include <assert.h> | |
| Display *dpy; | |
| Window win; |
| "dein Scripts----------------------------- | |
| if &compatible | |
| set nocompatible " Be iMproved | |
| endif | |
| " Required: | |
| set runtimepath^=/home/garasubo/.cache/repos/github.com/Shougo/dein.vim | |
| " Required: |
| # | |
| # Automatically generated file; DO NOT EDIT. | |
| # Linux/arm 3.15.0 Kernel Configuration | |
| # | |
| CONFIG_ARM=y | |
| CONFIG_ARM_HAS_SG_CHAIN=y | |
| CONFIG_MIGHT_HAVE_PCI=y | |
| CONFIG_SYS_SUPPORTS_APM_EMULATION=y | |
| CONFIG_HAVE_PROC_CPU=y | |
| CONFIG_NO_IOPORT_MAP=y |
| /dts-v1/; | |
| // magic: 0xd00dfeed | |
| // totalsize: 0x5641 (22081) | |
| // off_dt_struct: 0x48 | |
| // off_dt_strings: 0x5050 | |
| // off_mem_rsvmap: 0x28 | |
| // version: 17 | |
| // last_comp_version: 16 | |
| // boot_cpuid_phys: 0xf00 | |
| // size_dt_strings: 0x5f1 |
| # | |
| # Automatically generated file; DO NOT EDIT. | |
| # Linux/arm 3.12.0 Kernel Configuration | |
| # | |
| CONFIG_ARM=y | |
| CONFIG_MIGHT_HAVE_PCI=y | |
| CONFIG_SYS_SUPPORTS_APM_EMULATION=y | |
| CONFIG_HAVE_PROC_CPU=y | |
| CONFIG_STACKTRACE_SUPPORT=y | |
| CONFIG_LOCKDEP_SUPPORT=y |
| /dts-v1/; | |
| // magic: 0xd00dfeed | |
| // totalsize: 0x5641 (22081) | |
| // off_dt_struct: 0x48 | |
| // off_dt_strings: 0x5050 | |
| // off_mem_rsvmap: 0x28 | |
| // version: 17 | |
| // last_comp_version: 16 | |
| // boot_cpuid_phys: 0xf00 | |
| // size_dt_strings: 0x5f1 |