public void Update(VCActor sender, VCActor receiver, VCMessage message, string user) { Sender = sender; Receiver = receiver; Message = message; User = user; }
public void Enqueue(IActorRef receiver, Envelope envelope) { VCMessage message = GetMessage(envelope); VCActor senderActor = new VCActor(envelope.Sender.Path.ToString(), GetActorType(envelope.Sender)); VCActor receiverActor = new VCActor(receiver.Path.ToString(), GetActorType(receiver)); OnSend(receiverActor, senderActor, message); OnReceive(receiverActor, senderActor, message); SendToAPI(); _messageQueue.Enqueue(receiver, envelope); }
private void OnSend(VCActor receiver, VCActor sender, VCMessage message) { _clock_sender = VectorClockHelper.GetVectorClock(sender.Path.ToString()); _clock_sender.Update( sender, receiver, message, GetUser() ); _clock_sender.Tick(sender.Path.ToString()); VectorClockHelper.Update(sender.Path.ToString(), _clock_sender); }