void
v_deadLineInstanceListRemoveInstance(
v_deadLineInstanceList list,
v_instance instance)
{
assert(C_TYPECHECK(list,v_deadLineInstanceList));
assert((instance->prev != NULL) && (instance->next != NULL));
assert(c_refCount(list) > 0);
assert(c_refCount(instance) > 0);
/* As the instance is removed, there is no need to update the lease.
* Updating the lease might trigger the leasemanager thread to determine
* the next expiry time. The next expiry time can also be determined on
* the next deadline check, which is more efficient as the administration
* might already have changed many times.
*/
v_instanceRemove(instance);
if (v_instanceAlone(v_instance(list))) { /* list has become empty */
if (list->deadlineLease != NULL) {
v_leaseManagerDeregister(list->leaseManager, list->deadlineLease);
c_free(list->deadlineLease);
list->deadlineLease = NULL;
}
}
}
c_bool
v_deadLineInstanceListEmpty(
v_deadLineInstanceList list)
{
if (v_instanceAlone(v_instance(list))) {
return TRUE;
} else {
return FALSE;
}
}
void
v_instanceAppend(
v_instance instance,
v_instance next)
{
assert(C_TYPECHECK(instance, v_instance));
assert(C_TYPECHECK(next, v_instance));
assert(v_instanceAlone(next));
v_instance(instance->next)->prev = next;
next->next = instance->next;
instance->next = next;
next->prev = instance;
}
void
v_instanceInsert(
v_instance instance,
v_instance prev)
{
assert(C_TYPECHECK(instance, v_instance));
assert(C_TYPECHECK(prev, v_instance));
assert(v_instanceAlone(prev));
v_instance(instance->prev)->next = prev;
prev->prev = instance->prev;
instance->prev = prev;
prev->next = instance;
}
c_iter
v_deadLineInstanceListCheckDeadlineMissed(
v_deadLineInstanceList list,
v_duration deadlineTime,
c_time now)
{
c_time expiryTime;
v_instance listItem;
c_iter missed;
assert(C_TYPECHECK(list,v_deadLineInstanceList));
missed = NULL;
if (v_instanceAlone(v_instance(list))) { /* list is empty */
assert (list->deadlineLease != NULL);
v_leaseManagerDeregister(list->leaseManager, list->deadlineLease);
c_free(list->deadlineLease);
list->deadlineLease = NULL;
} else {
listItem = v_instance(list)->prev;
expiryTime = c_timeSub(now, deadlineTime);
while ((listItem != NULL) &&
(v_objectKind(listItem) != K_DEADLINEINSTANCE) &&
(c_timeCompare(expiryTime, listItem->lastCheckTime) != C_LT)) {
missed = c_iterInsert(missed, listItem);
listItem->lastCheckTime = now;
listItem = listItem->prev;
}
/* determine next wake-up time */
if (v_objectKind(listItem) == K_DEADLINEINSTANCE) {
/* listItem is the deadline list itself, so if there
* were instances all instances have been missed. Just
* set the new check to be in 'deadlineTime'.
*/
expiryTime = deadlineTime;
} else {
/*
* The new lease duration can be calculated:
* lastCheckTime + deadlineTime = next expiry time
* next expiry time - now = lease duration
*/
expiryTime = c_timeAdd(listItem->lastCheckTime, deadlineTime);
expiryTime = c_timeSub(expiryTime, now);
v_leaseRenew(list->deadlineLease, expiryTime);
}
}
return missed;
}
/* put at end of list */
void
v_deadLineInstanceListInsertInstance(
v_deadLineInstanceList list,
v_instance instance)
{
v_instance head = v_instance(list);
v_kernel k;
v_result result;
assert(C_TYPECHECK(instance,v_instance));
assert(C_TYPECHECK(list,v_deadLineInstanceList));
assert(v_instanceAlone(instance));
assert(c_refCount(list) > 0);
assert(c_refCount(instance) > 0);
/* As the instance is put at the end of the list no need to update the
lease!
*/
v_instanceUpdate(instance); /* Updates instance checkTime */
v_instanceAppend(head,instance);
if (list->deadlineLease == NULL) {
if (c_timeCompare(list->leaseDuration, C_TIME_INFINITE) != C_EQ) {
k = v_objectKernel(list->leaseManager);
list->deadlineLease = v_leaseNew(k, list->leaseDuration);
if(list->deadlineLease)
{
result = v_leaseManagerRegister(
list->leaseManager,
list->deadlineLease,
list->actionId,
v_public(list->actionObject),
TRUE /* repeat lease if expired */);
if(result != V_RESULT_OK)
{
c_free(list->deadlineLease);
list->deadlineLease = NULL;
OS_REPORT_1(OS_ERROR, "v_deadLineInstanceList", 0,
"A fatal error was detected when trying to register the deadline lease."
"The result code was %d.", result);
}
}
}
}
}
void
v_deadLineInstanceListUpdate(
v_deadLineInstanceList list,
v_instance instance)
{
assert(C_TYPECHECK(instance,v_instance));
assert(C_TYPECHECK(list,v_deadLineInstanceList));
assert(c_refCount(list) > 0);
assert(c_refCount(instance) > 0);
/* This will also place the current instance at the end of the list.
Again no need to update the lease, we can determine the next wake-up
as soon as the next deadlinecheck is performed.
*/
if (v_instanceAlone(instance)) {
v_deadLineInstanceListInsertInstance(list,instance);
} else {
v_instanceRemove(instance);
v_instanceUpdate(instance); /* Updates instance checkTime */
v_instanceAppend(v_instance(list), instance);
}
}
