主に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 |