Mps br/timing: do not set postedclock for finalization msgs.

Copied from Perforce
 Change: 166690
 ServerID: perforce.ravenbrook.com

1 files changed, 5 insertions, 3 deletions

diff --git a/mps/code/message.c b/mps/code/message.c
index 0c6c3beaae4..2e63c80f025 100644
--- a/mps/code/message.c
+++ b/mps/code/message.c
@@ -122,9 +122,11 @@ void MessagePost(Arena arena, Message message)
   /* <design/message/#fun.post.singleton> */
   AVER(!MessageOnQueue(message));
   if(MessageTypeEnabled(arena, message->type)) {
-    /* @@@@ for finalization messages, this may be critical path; */
-    /* so is it still ok to call mps_clock() here? */
-    message->postedClock = mps_clock();
+    /* Setting clock involves mpslib call, so only do it for rare */
+    /* messages.  Currently: all messages except finalization. */
+    if(message->type != MessageTypeFINALIZATION) {
+      message->postedClock = mps_clock();
+    }
     RingAppend(&arena->messageRing, &message->queueRing);
   } else {
     /* discard message immediately if client hasn't enabled that type */