Am 14.11.2013 um 11:16 schrieb jtuc...@objektfabrik.de: > Hi Norbert, > > I couldn't have said it any better. For me, this also was interesting, > because I first thought: "Heck, how would I make anything atomic anyways?". > And that question still stands: is there a way to make something atomic that > includes message sends? I guess #critical is not the solution, is it? > No, because then it isn’t lock free anymore ;)
Norbert > > Am 14.11.13 11:12, schrieb Norbert Hartl: >> Am 14.11.2013 um 10:25 schrieb Marcus Denker <marcus.den...@inria.fr>: >> >>> On 14 Nov 2013, at 10:15, Stephan Eggermont <step...@stack.nl> wrote: >>> >>>> Reading this code, made me wonder what operations are actually atomic. >>>> Anyone having a good explanation? >>>> >>>> Stephan >>>> >>>> AtomicQueueItem>makeCircular >>>> "Make a receiver circular, i.e. point to itself, >>>> answer the old value of next variable. >>>> Note, this operation should be atomic" >>>> >>>> | temp | >>>> >>>> " atomic swap here" >>>> temp := next. >>>> next := self. >>>> >>>> ^ temp >>>> >>> -> no message send >>> -> no back jump bytecode >>> >>> therefore it can not be interrupted and process switches can not happen >>> between the statements. >> Thanks, I learn something new every day. I’ve never thought about the >> condition when a process switch can happen. Can you say in short when a >> switch of processes is checked? Because I think I won’t finding it in a >> reasonable time looking myself. >> >> Norbert >> >> >> > > > -- > ----------------------------------------------------------------------- > Objektfabrik Joachim Tuchel mailto:jtuc...@objektfabrik.de > Fliederweg 1 http://www.objektfabrik.de > D-71640 Ludwigsburg http://joachimtuchel.wordpress.com > Telefon: +49 7141 56 10 86 0 Fax: +49 7141 56 10 86 1 > >
