Hi Andreas,
I agree with you.
We still don't have clear semantics for volatile as Vijay said in his
comment.
I added a comment about current implementation and left the issue open.
https://xtenlang.atlassian.net/browse/XTENLANG-1808?focusedCommentId=33901&page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#comment-33901
Mikio Takeuchi
IBM Research - Tokyo
2016-02-26 2:25 GMT+09:00 Andreas Zwinkau <zwin...@kit.edu>:
> Hi Mikio,
>
> I used 2.3, which is out of date. Thanks for checking!
>
> This means XTENLANG-1808 is actually resolved?
> https://xtenlang.atlassian.net/browse/XTENLANG-1808
>
> Still, the semantics of @Volatile are not clear. C++ and Javas volatile
> have different semantics. It does not make sense to compile @Volatile to
> volatile in both backends.
>
>
> Am 25.02.2016 um 18:18 schrieb Mikio Takeuchi:
> > Hi Andreas,
> >
> > I just checked with the attached code and git HEAD that X10 fields with
> > @Volatile annotation were translated to Java fields with volatile
> keyword.
> > Could you tell me which version of X10 you are using?
> >
> > Mikio Takeuchi
> > IBM Research - Tokyo
> >
> >
> > 2016-02-25 22:26 GMT+09:00 Andreas Zwinkau <zwin...@kit.edu>:
> >
> > Am 07.09.2015 um 16:18 schrieb Vijay Saraswat:
> >>>> I don't remember having seen the rules for the usage of @Volatile
> >>>> spelt out in the X10 manual. We should.
> >
> > Just encountered the same problem. Is @Volatile supposed to be the
> > Java or the C++ "volatile"?
> >
> > It seems that the cpp backend insert the volatile keyword for
> > @Volatile, so the C++ semantics?
> >
> > X10: public @Volatile var x:int;
> >
> > is compiled into
> >
> > C++: volatile x10_int FMGL(x);
> > Java: public int x;
> >
> >>
> >>
> >>
> ------------------------------------------------------------------------------
> >> Site24x7 APM Insight: Get Deep Visibility into Application Performance
> >> APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
> >> Monitor end-to-end web transactions and take corrective actions now
> >> Troubleshoot faster and improve end-user experience. Signup Now!
> >> http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
> >> _______________________________________________
> >> X10-users mailing list
> >> X10-users@lists.sourceforge.net
> >> https://lists.sourceforge.net/lists/listinfo/x10-users
> >>
> >
> >
> >
> >
> ------------------------------------------------------------------------------
> > Site24x7 APM Insight: Get Deep Visibility into Application Performance
> > APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
> > Monitor end-to-end web transactions and take corrective actions now
> > Troubleshoot faster and improve end-user experience. Signup Now!
> > http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
> >
> >
> >
> > _______________________________________________
> > X10-users mailing list
> > X10-users@lists.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/x10-users
> >
>
> --
> Andreas Zwinkau
>
> KIT IPD Snelting
> Web: http://pp.ipd.kit.edu/personhp/andreas_zwinkau.php
>
>
>
> ------------------------------------------------------------------------------
> Site24x7 APM Insight: Get Deep Visibility into Application Performance
> APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
> Monitor end-to-end web transactions and take corrective actions now
> Troubleshoot faster and improve end-user experience. Signup Now!
> http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
> _______________________________________________
> X10-users mailing list
> X10-users@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/x10-users
>
>
------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
_______________________________________________
X10-users mailing list
X10-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/x10-users
