package abstrasy.pcfx;
import abstrasy.Node;
/**
* 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_atomic_setn_static extends PCFx {
public PCFx_atomic_setn_static() {
}
/**
* eval
*
* @param startAt Node
* @return Node
* @throws Exception
* @todo Implémenter cette méthode abstrasy.PCFx
*/
public Node eval(Node startAt) throws Exception {
/*
* forme: (setn! x valeur)
*
* Affectation statique et atomique d'un nombre à x.
*
* Cet opérateur est lock-free et wait-free. Il utilise une mise à jour transactionnelle de x
* au travers de la méthode compare-and-swap.
*
*/
startAt.isGoodArgsCnt(3);
startAt.requireNodeType(1, Node.VTYPE_INDIRECTION);
Node arg0 = startAt.getSubNode(1, Node.TYPE_NUMBER);
arg0.requireAccessType(Node.ACCESSVTYPE_MUTABLE_WRITELOCK);
double nvalue = startAt.getSubNode(2, Node.TYPE_NUMBER).getNumber();
boolean loops = true;
double ovalue2;
double ovalue = arg0.getNumber();
while (loops) {
ovalue2 = arg0.compareAndSwap_number(ovalue, nvalue);
loops = ovalue2 != ovalue;
ovalue = ovalue2;
}
return null;
}
}