そこそこわかりやすい解説
https://people.allbsd.org/~hrs/sato-FBSDS20161129.pdf