/*
* Copyright (c) 2000 Silicon Graphics, Inc. All Rights Reserved.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of version 2 of the GNU General Public License as
* published by the Free Software Foundation.
*
* This program is distributed in the hope that it would be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
*
* Further, this software is distributed without any warranty that it is
* free of the rightful claim of any third person regarding infringement
* or the like. Any license provided herein, whether implied or
* otherwise, applies only to this software file. Patent licenses, if
* any, provided herein do not apply to combinations of this program with
* other software, or any other product whatsoever.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write the Free Software Foundation,
* Inc., 59 Temple Place - Suite 330, Boston MA 02111-1307, USA.
*
* Contact information: Silicon Graphics, Inc., 1600 Amphitheatre Pkwy,
* Mountain View, CA 94043, or:
*
* http://www.sgi.com
*
* For further information regarding this notice, see:
*
* http://oss.sgi.com/projects/GenInfo/NoticeExplan
*/
/*
* suite_gcs.h
*
* What is in this file?
*/
#ifndef SUITE_GCS_H
#define SUITE_GCS_H
#ident "$Id: suite_gcs.h,v 1.1 2000/08/31 19:16:32 vasa Exp $"
#include <gcs.h>
#define MAX_GROUPS 32
#define NUM_OUTSTANDING 30
#define TEST_GROUP 1
#define MAX_GCS_ACTIONS 2
typedef enum gcs_st_t {
INITED,
PROPOSED,
COMMITTED,
MAX_GCS_STATES
} gcs_state_t;
typedef enum gcs_act_t {
G_INVALID = -1,
G_CRASH,
G_PKT_DROP
} gcs_action_t;
struct client_msg {
int sender;
int seq_no;
};
typedef struct g_state {
int group_id;
gcs_state_t state;
gcs_membership_t membership;
struct client_msg last_msg[NUM_OUTSTANDING];
} g_state_t ;
typedef struct g_stimulus {
int group;
gcs_state_t state;
gcs_action_t action;
int seq; /* client visible seq no for stimuli of this group */
} g_stimulus_t;
/* prototypes */
void gcs_init_state();
void gcs_update_expected_state(int);
int gcs_check_expected_state();
void gcs_init_local_state();
void gcs_update_local_state();
int gcs_perform_action(void *);
#endif /* SUITE_GCS_H */