diff options
Diffstat (limited to 'src/rt/util')
| -rw-r--r-- | src/rt/util/synchronized_indexed_list.h | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/src/rt/util/synchronized_indexed_list.h b/src/rt/util/synchronized_indexed_list.h index a373db66..6b561171 100644 --- a/src/rt/util/synchronized_indexed_list.h +++ b/src/rt/util/synchronized_indexed_list.h @@ -5,7 +5,7 @@ template<typename T> class synchronized_indexed_list : public indexed_list<T> { - spin_lock _lock; + lock_and_signal _lock; public: synchronized_indexed_list(memory_region *region) : @@ -61,4 +61,15 @@ public: } }; +// +// Local Variables: +// mode: C++ +// fill-column: 78; +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; +// End: +// + #endif /* SYNCHRONIZED_INDEXED_LIST_H */ |