diff options
author | Sven Dziadek <s9svdzia@stud.uni-saarland.de> | 2012-04-16 15:00:33 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-07-23 05:57:59 -0400 |
commit | 16c1fb2d4ac691e941456a084284020c63fce93a (patch) | |
tree | 0f7cf24be334788c9f9bb8242966df83f6266dc6 /include/litmus/fdso.h | |
parent | 4bc55d3b64fdf0af17f4777013a74fbef7f40ced (diff) |
P-FP: port P-FP plugin used in B. Brandenburg's
dissertation (branch bbb-diss) to current
version of litmus
This is needed for ongoing projects
I took the unchanged code but removed some leftovers
of OMLP which is not implemented
Diffstat (limited to 'include/litmus/fdso.h')
-rw-r--r-- | include/litmus/fdso.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/include/litmus/fdso.h b/include/litmus/fdso.h index caf2a1e6918c..2b0537ce7260 100644 --- a/include/litmus/fdso.h +++ b/include/litmus/fdso.h | |||
@@ -12,7 +12,7 @@ | |||
12 | #include <linux/fs.h> | 12 | #include <linux/fs.h> |
13 | #include <linux/slab.h> | 13 | #include <linux/slab.h> |
14 | 14 | ||
15 | #define MAX_OBJECT_DESCRIPTORS 32 | 15 | #define MAX_OBJECT_DESCRIPTORS 85 |
16 | 16 | ||
17 | typedef enum { | 17 | typedef enum { |
18 | MIN_OBJ_TYPE = 0, | 18 | MIN_OBJ_TYPE = 0, |
@@ -20,7 +20,11 @@ typedef enum { | |||
20 | FMLP_SEM = 0, | 20 | FMLP_SEM = 0, |
21 | SRP_SEM = 1, | 21 | SRP_SEM = 1, |
22 | 22 | ||
23 | MAX_OBJ_TYPE = 1 | 23 | MPCP_SEM = 2, |
24 | MPCP_VS_SEM = 3, | ||
25 | DPCP_SEM = 4, | ||
26 | |||
27 | MAX_OBJ_TYPE = 4 | ||
24 | } obj_type_t; | 28 | } obj_type_t; |
25 | 29 | ||
26 | struct inode_obj_id { | 30 | struct inode_obj_id { |