Racket代写 | CS450 Homework Assignment 6

本次北美CS代写主要内容是racket内存管理

Homework Assignment 6

Memory management

For instance, (mlist eff-bind eff-pure (list op1 op2 op3)) is equivalent to the code below

For instance, (mapply eff-bind eff-pure * op1 op2 op3) is equivalent to the code below

Manually graded questions

6. Manually graded. Consider memory management via reference counting and the increment count op- eration. Suppose that the reference count algorithm is faulty and the reference count overflows resetting back to zero. Discuss if overflowing the reference count affects soundness or completeness of memory management.