Welcome
Essays
Abbreviations
xieby1's notes
ABI
AI
❱
1. overview.md
Algo
❱
1. Graph
  ❱
Arch
❱
BT
❱
1. Box86
  ❱
2. 1. logs.md
3. HQEMU
  ❱
4. 1. codeReading-deprecated.md
  2. codeReading.md
5. HW
  ❱
7. Mem
  ❱
9. QEMU
  ❱
11. Rosetta
  ❱
12. 1. overview.md
13. Tarmac
14. X86toMips
  ❱
16. algo
  ❱
17. 1. 2006.lib.杨浩.计研发.0.md
  2. bt_rules
    ❱
  3. 1. 2006.peephole_superopt.bansal.asplos.134.md
    2. 2018.learn.wwwang.asplos.11.md
  4. code_cache
  5. excp
  6. flags
  7. indirect_jump
    ❱
  8. 1. 2016.static_identify_jump_target.federico.cases.9.md
  9. offload
    ❱
  10. 1. 2010.distribit.guan.hpdc.5.md
    2. 2011.jit_task_farm.bohm.pldi.56.md
  11. reg
  12. smc
    ❱
  13. 1. 2015.detect.hawkins.cgo.24.md
  14. trace
    ❱
18. analysis
  ❱
20. application
21. dynamic
  ❱
22. 1. 2017.mambox64.dantras.pldi.18.md
23. ExaGear
24. kernel
  ❱
25. 1. 2013.fast.kedia.sosp.18.md
26. libDBT
27. libWrap
28. lift
  ❱
29. 1. IR
    ❱
  2. 1. LLBT
      ❱
    2. 1. LLBT调研
      2. 二进制翻译调研报告（LLBT相关）.md
    3. REVNG
      ❱
    4. 1. overview.md
    5. mcsema
      ❱
    7. mctoll
      ❱
    9. overview.md
30. oldProj
  ❱
32. others
33. overview
  ❱
34. 1. 2001.bt_opt_challenges.altman.pieee.38.md
  2. 2004.bibliography_of_simulators.md
35. perf
  ❱
36. 1. 10.1145@2482767.2482786.md
  2. 2009.overhead.borin.iiswc.26.md
37. rewrite
  ❱
39. security
40. static
41. sys
42. test
43. x86-qemu-mips
  ❱
Benchmarks
❱
1. coremark.md
2. dhrystone
3. herdtools7
  ❱
4. 1. 内存模型测试——DIY（Herdtools）
5. NanoBench for Binary Translations
6. spec
7. spec2000.md
Build
❱
1. Autotools
  ❱
2. 1. 2012.autotools_criticism.kamp..md
  2. autotools.md
3. CMake
  ❱
4. 1. CMkake Notes
5. Compiler
  ❱
6. 1. 1992.hyperblock.mahlke.micro.md
  2. ORC
    ❱
  3. 1. 2004.ORC-LCPC04-Tutorial.md
    2. 2004.overview_orc.wuchengyong.iwlcpc.md
  4. QnA.md
  5. fill_byte_for_align.md
  6. llvm
    ❱
  7. 1. disassembler.md
  8. mingw
    ❱
  9. 1. overview.md
  10. trans
7. Disassemble
  ❱
8. 1. 2002.disassembly.bschwarz.pieee.md
9. ELF
  ❱
10. 1. 前沿
  2. QnA.md
11. Linker_Loader
  ❱
12. 1. QnA.md
13. distributed.md
14. Windows Development Environment on Linux
CLI
❱
1. term_pty_sh.md
CPU
Characterizing
❱
1. 2007.uarch_independent.hoste.micro.186.md
Checkpoint
❱
1. 2021.elfies.patil.cgo.7.md
2. criu.md
3. elfies.log.md
4. log.md
5. pinball
  ❱
6. 1. overview.md
7. rr.md
CompatLayer
❱
Connect
❱
1. Bluetooth
  ❱
2. 1. bluez
    ❱
  2. 1. 总体架构
  3. btkbdd
  4. dbus
    ❱
  5. 1. Overview.md
  6. hidclient
    ❱
  7. 1. logs.md
3. NFC
4. Network
  ❱
5. 1. bittorrent
  2. nginx
    ❱
  3. 1. logs.md
  4. p2p.md
  5. streaming_server.md
Debug
❱
1. 0126.debug
Distro
❱
1. JingOS.md
2. Nix
Docs
❱
1. 文档和代码
EPaper
❱
1. eink.md
2. laptop.md
Electronics
❱
Emulator
❱
FS
❱
1. watch.md
GPU
❱
1. tinygpu.md
ISA
❱
1. 2000.inst_path_coproc.chou.isca.49.md
2. 2002.ildp.kim.isca.99.md
3. 2009.density.weaver.iccd.20.md
4. 2013.power_of_risc_cisc.blem.hpca.144.md
5. Encoding
6. Fusion
  ❱
8. Generated
  ❱
10. Semantics
  ❱
12. Uop
  ❱
14. arm
  ❱
15. 1. aarch64.md
  2. software_opt
16. enhance
17. java
  ❱
18. 1. Java Processor
19. mips
20. mips_lx
21. riscv
  ❱
22. 1. 2022.riscv-unpriv.md
23. ultrasparc
24. umips
25. x86
26. xtensa
27. 兆芯
28. 申威
  ❱
29. 1. 2022.申威发展简史.md
  2. 2024.论坛
    ❱
  3. 1. Screenshot
from
2024-04-26
14-46-38.png
from
2024-04-26
17-22-29.png
❱
1. 飞腾
2. 鲲鹏
Input
❱
1. logs.md
JIT
❱
1. 2008.llvm_sim.brandner..29.md
2. 2011.llvm_sim.helmstetter.imecs.6.md
3. dynarmic
4. opt
Journals
Kernel
❱
1. 2020_9_9.prepare_new_feat.edge.lwn-lpc.md
2. Driver
  ❱
3. 1. 2019.linux_win_printer.金融通.软件所硕士.md
4. Linux
  ❱
6. WinCmptbl
7. Windows
  ❱
9. XNU
  ❱
10. 1. Darling
    ❱
  2. 1. overview.md
11. exo
  ❱
12. 1. 1995.intro.engler.sosp.1259.md
13. memory.md
14. micro
  ❱
15. 1. 1995.u_kernel.lietdke.sosp.308.md
  2. 2013.l3_sel4.elphinstone.sosp.126.md
16. multi
  ❱
17. 1. 2009.intro.baumann.sosp.856.md
18. syscall
  ❱
19. 1. 2020_9_8.extensible_syscall.corbet.lwn-lpc.md
20. transkernel.md
21. unikernel
Lang
❱
1. Asm
  ❱
2. 1. asm.md
  2. riscv
    ❱
  3. 1. QnA.md
3. Bash
  ❱
4. 1. debug.md
5. C.f
  ❱
6. 1. macro.md
7. Dot
  ❱
8. 1. QnA.md
  2. overview.md
9. IR
  ❱
11. JS
  ❱
12. 1. overview.md
13. Latex
  ❱
14. 1. \cite末尾空格
15. Lisp
16. Py
17. SMT-LIB
  ❱
18. 1. 2012.smt_lib_v2.cok..47.md
19. TclTk
  ❱
20. 1. 1995.tcl_tk.welch.md
21. Verilog
  ❱
23. WebAsm
  ❱
25. AWK
26. BC
27. functional
  ❱
28. 1. data_struct.md
  2. overview.md
29. spinalhdl.md
Lib
❱
1. Glibc
  ❱
3. Libc
  ❱
4. 1. Musl
5. igraph
  ❱
6. 1. QnA.md
7. uClibc.md
Mem
❱
Network
❱
1. caddy_traefik.md
OS
❱
1. page_size
  ❱
2. 1. overview.md
  2. transparent_huge_page.md
Opinions
❱
1. Notes
  ❱
2. 1. my_note_hierarchy
    ❱
  2. 1. images
  3. overview.md
3. openEcoSys.md
Perf
❱
1. flamegraph.md
2. tools.md
PoSh
❱
1. QnA.md
Pwr
❱
1. 2009.mcpat.li.micro.2319.md
QnA-Daliy.md
Repos
❱
1. llvm-tutor.md
SQL
❱
1. overview.md
SW
❱
Sandbox
❱
1. Docker
  ❱
2. 1. Overview.md
  2. QnA.md
3. chroot.md
4. proot.md
Sim
SoC
❱
SymExec
Test
❱
1. idea.md
Virt
❱
Visualization
❱
1. tree.md
Vulnerability
❱
1. 2008.reversi.wagner.iccd.54.md
2. 2023.reptar.md
Web
❱
1. rss
2. vue.md
Write
X11
❱
1. windowManage.md
analysis
binary_tools
❱
1. overview.md
cheatsheet.md
dataViz
❱
1. overview.md
fonts
❱
1. files
hackthon
❱
1. Untitled.md
other_read_list
❱
revealjs
❱
1. TOC
scripts
❱
1. bash
security

xieby1's notes

2021.11.21

http://diy.inria.fr/doc/herd.html

Model definitions

Instructions

adding new bindings
checking a condition
specifying relations that are shown in pictures