package abstrasy.pcfx;
import abstrasy.Interpreter;
import abstrasy.Node;
import abstrasy.PCoder;
import abstrasy.interpreter.InterpreterException;
import abstrasy.interpreter.SilentException;
import abstrasy.interpreter.StdErrors;
/**
* Abstrasy Interpreter
*
* Copyright : Copyright (c) 2006-2012, Luc Bruninx.
*
* Concédée sous licence EUPL, version 1.1 uniquement (la «Licence»).
*
* Vous ne pouvez utiliser la présente oeuvre que conformément à la Licence.
* Vous pouvez obtenir une copie de la Licence à l’adresse suivante:
*
* http://www.osor.eu/eupl
*
* Sauf obligation légale ou contractuelle écrite, le logiciel distribué sous
* la Licence est distribué "en l’état", SANS GARANTIES OU CONDITIONS QUELLES
* QU’ELLES SOIENT, expresses ou implicites.
*
* Consultez la Licence pour les autorisations et les restrictions
* linguistiques spécifiques relevant de la Licence.
*
*
* @author Luc Bruninx
* @version 1.0
*/
public class PCFx_receive extends PCFx {
public PCFx_receive() {
}
/**
* eval
*
* @param startAt Node
* @return Node
* @throws Exception
* @todo Implémenter cette méthode abstrasy.PCFx
*/
public Node eval(Node startAt) throws Exception {
startAt.isGoodArgsCnt(1,3);
/**
* Attendre et récupérer un message...
*
* (receive) : Il s'agit d'un opérateur bloquant. Il ne peut donc pas être utilisé dans une section mutex ou atomic.
* Retourne simplement la données du message.
*
* (receive timed ms) : Comme la forme précédente. Toutefois, l'attente ne peut dépasser le délai autorisé. Si ce délai est dépassé
* sans qu'un message ne soit récupéré, alors une exception "Time expired exception" est déclenchée.
*
* En outre, cette opération est transactionnelle et atomique dans le sens elle se termine toujours avec un
* résultat ou une exception. De plus, si un message arrive juste au moment de l'expiration du délai d'attente,
* ce message ne risque pas d'être perdu. Celui-ci reste dans la file d'attente et pourra être récupéré par un
* autre receive.
*
* Si ms est inférieur à zéro, un exception "Out of range" est produite.
* Si ms est égal à zéro, cela revient au même que (receive).
*
*/
Interpreter actor = Interpreter.mySelf();
/**
* Le programmeur devrait pouvoir utiliser tous les systèmes en même temps:
* =======================================================================
* - mutex permet de gérer l'exclusion mutuelle des processus.
* - lock, sync et share permettent de gérer l'exclusion mutuelle d'accès (éventuellement réentrant R/W)
* aux variables partages.
* - sleep, suspend, resume et kill l'activité d'un processus.
* - send, receive et postpone les échanges de messages entre processus.
*
* Chaque système dispose des ses propres caractéristiques. C'est au programmeur des les utiliser correctement
* (c-à-d, d'une façon raisonnable).
*
// dans une section critique ?...
if (actor.actor_ISMUTEX()) {
throw new InterpreterException(StdErrors.Illegal_operation_in_mutex_section);
}
*
*
// dans une section atomic ?
if(actor.actor_ISLOCKEDSECTION()){
throw new InterpreterException(StdErrors.Illegal_operation_in_critical_section);
}
*
*/
// récupération du délai d'attente maximum...
long timed=0;
if(startAt.size()==3){
startAt.requirePCode(1, PCoder.PC_TIMED);
timed=(long)Math.ceil(startAt.getSubNode(2, Node.TYPE_NUMBER).getNumber());
if(timed<0){
throw new InterpreterException(StdErrors.Out_of_range);
}
}
Node msg = null;
try {
if(timed>0){
msg = Interpreter.getSemaphore().receive_MSG(timed);
}
else{
msg = Interpreter.getSemaphore().receive_MSG();
}
}
catch (InterruptedException iex) {
Interpreter.Log("Interrupted... SEMAPHORE MSG");
throw new SilentException();
}
/*
* En cas de problème, le message est null...
*
* Dans ce cas, il s'agit normalement d'une "Time expired exception"...
*
* Cet état doit normalement avoir été affecté par receive_MSG(timed).
* Si ce n'est pas le ca, il s'agit d'une erreur interne.
*
*/
if (msg == null) {
Interpreter.mySelf().throwInterThreadException();
/*
* S'il n'y a pas une "time expired exception", il y a une erreur interne...
*/
throw new InterpreterException(StdErrors.Internal_error);
}
return msg;
}
}