/**
@Begin
@Interface: Write_Unlock
- @Commit_point_set: Write_Unlock_Point
+ @Commit_point_set: Write_Unlock_Point | Write_Unlock_Clear
@Check:
reader_lock_cnt == 0 && writer_lock_acquired
@Action:
@Label: Write_Unlock_Point
@End
*/
+
+ /**
+ //@Begin
+ @Commit_point_clear: true
+ @Label: Write_Unlock_Clear
+ @End
+ */
}
rwlock_t mylock;
if ((i % 2) == 0) {
read_lock(&mylock);
//load_32(&shareddata);
- printf("%d\n", shareddata);
+ //printf("%d\n", shareddata);
read_unlock(&mylock);
} else {
write_lock(&mylock);
for(i = 0; i < 2; i++) {
if ((i % 2) == 0) {
if (read_trylock(&mylock) == 1) {
- printf("%d\n", shareddata);
+ //printf("%d\n", shareddata);
read_unlock(&mylock);
}
} else {
if (write_trylock(&mylock) == 1) {
- shareddata = 47;
+ //shareddata = 47;
write_unlock(&mylock);
}
}