Re: [Gems-users] Changing Value in RequestMsg in RequestQueue


Date: Thu, 23 Nov 2006 09:35:13 +0800
From: "hongxia sun" <sunhx.seraph@xxxxxxxxx>
Subject: Re: [Gems-users] Changing Value in RequestMsg in RequestQueue
Hi, Hemayet,
 
Do you mean that you want to modify RequestMsg you send out?
For RequestMsg you receive from other StateMachine, you cannot change them because you are a receiver. If you want to change those "RequestMsg", you need to modify the StateMachine of the "RequestMsg" sender.
For RequestMsg you are going to sending out in this state machine, just "enqueue" it into a corresponding network and modify the out_msg's fields because your RequestMsg has been copy to out_msg temporarily.
If you want to add new fields in the RequestMsg, you can add them in your Protocol-msg.sm.
 
Best Regards,
Hongxia SUN

 
2006/11/22, Hemayet Hossain <hossain@xxxxxxxxxxxxxxxx>:
Hi Everybody,
I want to change the values of some of the fields in RequestMsg in some
action definitions in state machine (*.sm) file. But I am not sure which
method I can use for getting the RequestMsg so that I can update some of
the fields. For example in the following action peek is used, but here
in_msg can't be updated (but I want to update like peek_update(...)).

action(xx_recordPutXL1ID, "\x", desc="Record L1 PutX for store response") {
   peek(requestFromL1ToL2Network_in, RequestMsg) {
     L2TBEs[address].L1_PutX_ID := in_msg.RequestorMachId;
   }
}


Can anyone plz tell me whether there is any such method and if so what
is that?
Thanks.
------------------
Hemayet
_______________________________________________
Gems-users mailing list
Gems-users@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/gems-users
Use Google to search the GEMS Users mailing list by adding "site: https://lists.cs.wisc.edu/archive/gems-users/" to your search.


[← Prev in Thread] Current Thread [Next in Thread→]