diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-11-01 18:40:26 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-11-01 18:40:26 -0400 |
commit | 3fcedce6999b2a00dc1266b2d98ba9f8442ab4b1 (patch) | |
tree | 166f3318c827975a5e619dac1e3210d54b2a7ca7 /litmus/dgl.c | |
parent | ad1ae84b5b37b1ebe1ddef7149f58072046311c6 (diff) |
More race condition fixes.
Diffstat (limited to 'litmus/dgl.c')
-rw-r--r-- | litmus/dgl.c | 4 |
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 | /** |