<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><br class=""><div class=""><div style="margin: 0cm 0cm 0.0001pt 65.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">This a really nice change. It opens the door to resource destructors being safe for closing external resources like database handles that might take a while.<o:p class=""></o:p></div></div><div class=""><div style="margin: 0cm 0cm 0.0001pt 65.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0cm 0cm 0.0001pt 65.2pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Super cool!<o:p class=""></o:p></div></div><div class=""><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><span lang="EN-US" class="">Sorry to disappoint, but no.<o:p class=""></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><span lang="EN-US" class="">By ”scheduled” I just meant “put in run queue to be executed at a later time”. Destructors are still executed by a normal scheduler threads and not dirty schedulers.</span></div></div></div></blockquote><div><br class=""></div><div>Ah well! I still think it would be pretty handy. It would make that kind of code much easier to get right, safer, and potentially more efficient.</div><div><br class=""></div><div>Sean</div></div><br class=""></body></html>