From ad6403fe186889fd934c7dcb495b1ffb60fae09f Mon Sep 17 00:00:00 2001 From: Bjoern Brandenburg Date: Wed, 19 Mar 2014 16:35:23 +0100 Subject: Add support for the DFLP Just add the ID and symbol. --- include/litmus.h | 3 ++- src/litmus.c | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/include/litmus.h b/include/litmus.h index 5a5461f..0e3b69e 100644 --- a/include/litmus.h +++ b/include/litmus.h @@ -157,7 +157,8 @@ typedef enum { MPCP_VS_SEM = 3, /**< Multiprocessor Priority Ceiling Protocol with Virtual Spinning */ DPCP_SEM = 4, /**< Distributed Priority Ceiling Protocol */ - PCP_SEM = 5, /**< Priority Ceiling Protocol */ + PCP_SEM = 5, /**< Priority Ceiling Protocol */ + DFLP_SEM = 6, /**< Distributed FIFO Locking Protocol */ } obj_type_t; /** diff --git a/src/litmus.c b/src/litmus.c index 4631eea..d7b7b3c 100644 --- a/src/litmus.c +++ b/src/litmus.c @@ -26,6 +26,7 @@ static struct { {MPCP_VS_SEM, "MPCP-VS"}, LP(DPCP), LP(PCP), + LP(DFLP), }; #define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0])) -- cgit v1.2.2