00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028 #ifdef __GNUC__
00029 #pragma interface
00030 #endif
00031
00032 #ifndef _util_group_rnglock_h
00033 #define _util_group_rnglock_h
00034
00035 #include <iostream>
00036
00037 #include <util/misc/exenv.h>
00038
00039 class Pool;
00040
00041 class RangeLockItem {
00042 public:
00043 RangeLockItem *prev;
00044 RangeLockItem *next;
00045 int start;
00046 int fence;
00047 int value;
00048 RangeLockItem(RangeLockItem *p, RangeLockItem *n, int s, int f, int v):
00049 prev(p), next(n), start(s), fence(f), value(v) {}
00050 ~RangeLockItem() {};
00051
00052 static void *operator new(size_t, Pool *);
00053 static void operator delete(void *, Pool *);
00054 };
00055
00056 class RangeLockValOp;
00057 class RangeLock {
00058 private:
00059 RangeLockItem *root_;
00060 Pool *pool_;
00061
00062 void split_ranges(int start, int fence);
00063 void do_valop(RangeLockValOp&, int start, int fence);
00064 public:
00065 RangeLock(Pool *pool = 0);
00066 ~RangeLock();
00067
00068 void increment(int start, int fence);
00069 void decrement(int start, int fence);
00070 void set(int start, int fence, int value);
00071 void sum(int start, int fence, int delta);
00072
00073
00074 int checkeq(int start, int fence, int value);
00075
00076 int checkgr(int start, int fence, int value);
00077
00078 void check();
00079 void print(std::ostream &o = ExEnv::out()) const;
00080
00081 int lockvalue(int i);
00082 };
00083
00084 #endif
00085
00086
00087
00088
00089