Paper: overview of Section 5 and outline of its subsections

[hengxin]

TODO List:

1. complete the overview of Section 5 (i.e., subsection 5.1)
2. outline of other subsections

[hengxin]

Details of TODO List:

1. refactor the "r reads from D(r)" part of compute_ActiveWrites