aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/dgl.c
diff options
context:
space:
mode:
authorJonathan Herman <hermanjl@cs.unc.edu>2012-11-01 18:40:26 -0400
committerJonathan Herman <hermanjl@cs.unc.edu>2012-11-01 18:40:26 -0400
commit3fcedce6999b2a00dc1266b2d98ba9f8442ab4b1 (patch)
tree166f3318c827975a5e619dac1e3210d54b2a7ca7 /litmus/dgl.c
parentad1ae84b5b37b1ebe1ddef7149f58072046311c6 (diff)
More race condition fixes.
Diffstat (limited to 'litmus/dgl.c')
-rw-r--r--litmus/dgl.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/litmus/dgl.c b/litmus/dgl.c
index d8d686b6f334..09314606866e 100644
--- a/litmus/dgl.c
+++ b/litmus/dgl.c
@@ -701,6 +701,8 @@ void add_group_req(struct dgl *dgl, struct dgl_group_req *greq, int cpu)
701 } 701 }
702 } 702 }
703 } 703 }
704
705 print_state(dgl);
704} 706}
705 707
706/** 708/**
@@ -714,6 +716,7 @@ void update_group_req(struct dgl *dgl, struct dgl_group_req *greq)
714 TRACE_GREQ(greq, "Blocker has called update\n"); 716 TRACE_GREQ(greq, "Blocker has called update\n");
715 release_cpu(dgl, greq); 717 release_cpu(dgl, greq);
716 will_wait_to_waiting(dgl, greq); 718 will_wait_to_waiting(dgl, greq);
719 print_state(dgl);
717 } else { 720 } else {
718 TRACE_GREQ(greq, "Unused update\n"); 721 TRACE_GREQ(greq, "Unused update\n");
719 } 722 }
@@ -779,6 +782,7 @@ void remove_group_req(struct dgl *dgl, struct dgl_group_req *greq)
779 } 782 }
780 783
781 --dgl->requests; 784 --dgl->requests;
785 print_state(dgl);
782} 786}
783 787
784/** 788/**