Home Verkennen Help
Inloggen
PUBLIC_REPOS
/
ti-processor-sdk-linux
2
0
Vork 0
Bestanden Issues 0 Pull-aanvragen 0 Wiki
Boom: 1c27b644c0
Aftakkingen Labels
ti-processor-sd...
/
tools
/
memory-model
/
litmus-tests
/
LB+poonceonces.litmus

LB+poonceonces.litmus 198 B
Geschiedenis Ruwe

123456789101112131415161718192021 
  1. C LB+poonceonces
    2. 

  2. 

  3. {}
    4. 

  4. 

  5. P0(int *x, int *y)
    6. 

  6. {
    7. 

  7. 	int r0;
    8. 

  8. 

  9. 	r0 = READ_ONCE(*x);
    10. 

  10. 	WRITE_ONCE(*y, 1);
    11. 

  11. }
    12. 

  12. 

  13. P1(int *x, int *y)
    14. 

  14. {
    15. 

  15. 	int r0;
    16. 

  16. 

  17. 	r0 = READ_ONCE(*y);
    18. 

  18. 	WRITE_ONCE(*x, 1);
    19. 

  19. }
    20. 

  20. 

  21. exists (0:r0=1 /\ 1:r0=1)
    22.