From 83b321d862472f31c0c9f7feca8360ad5bfe8a75 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 31 Jul 2012 15:16:04 +0000 Subject: An initial import of the teyjus source code in the C runtime for GF. The two runtime are still not connected but the source code compiles. --- src/runtime/c/teyjus/simulator/trail.h | 80 ++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100644 src/runtime/c/teyjus/simulator/trail.h (limited to 'src/runtime/c/teyjus/simulator/trail.h') diff --git a/src/runtime/c/teyjus/simulator/trail.h b/src/runtime/c/teyjus/simulator/trail.h new file mode 100644 index 000000000..675392b4b --- /dev/null +++ b/src/runtime/c/teyjus/simulator/trail.h @@ -0,0 +1,80 @@ +////////////////////////////////////////////////////////////////////////////// +//Copyright 2008 +// Andrew Gacek, Steven Holte, Gopalan Nadathur, Xiaochu Qi, Zach Snow +////////////////////////////////////////////////////////////////////////////// +// This file is part of Teyjus. // +// // +// Teyjus is free software: you can redistribute it and/or modify // +// it under the terms of the GNU General Public License as published by // +// the Free Software Foundation, either version 3 of the License, or // +// (at your option) any later version. // +// // +// Teyjus is distributed in the hope that it will be useful, // +// but WITHOUT ANY WARRANTY; without even the implied warranty of // +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // +// GNU General Public License for more details. // +// // +// You should have received a copy of the GNU General Public License // +// along with Teyjus. If not, see . // +////////////////////////////////////////////////////////////////////////////// +/****************************************************************************/ +/* */ +/* File trail.h. This header file includes the interface functions */ +/* for trail operations. */ +/* */ +/****************************************************************************/ +#ifndef TRAIL_H +#define TRAIL_H + +#include +#include "mctypes.h" +#include "abstmachine.h" +#include "dataformats.h" + +/****************************************************************************/ +/* DATA STRUCTURE OF TRAIL ITEMS */ +/****************************************************************************/ +/* The tags of trail items */ +enum TR_TrailDataCategory +{ + TR_TAG_TERM, + TR_TAG_MULTERM1, + TR_TAG_MULTERM2, + TR_TAG_TYPE, + TR_TAG_MOD +}; + +/* The leading slot of trail items */ +typedef struct +{ + Byte tag; //trial data category tag + MemPtr addr; //the starting address of the trailed item +} TR_TrailItem; + +/* The size of the trail item head */ +#define TR_TRAIL_ITEM_HEAD_SIZE (int)ceil((double)sizeof(TR_TrailItem)/WORD_SIZE) +/* The sizes of different trail items */ +#define TR_TRAIL_TERM_SIZE TR_TRAIL_ITEM_HEAD_SIZE + DF_TM_ATOMIC_SIZE +#define TR_TRAIL_MULTERM1_SIZE TR_TRAIL_ITEM_HEAD_SIZE + DF_TM_APP_SIZE +#define TR_TRAIL_MULTERM2_SIZE TR_TRAIL_ITEM_HEAD_SIZE + DF_TM_SUSP_SIZE +#define TR_TRAIL_TYPE_SIZE TR_TRAIL_ITEM_HEAD_SIZE +//temp +#define TR_TRAIL_MOD_SIZE TR_TRAIL_ITEM_HEAD_SIZE + 2 + +/***************************************************************************/ +/* TRAILING FUNCTIONS */ +/***************************************************************************/ +void TR_trailTerm(DF_TermPtr addr); //trailing a term of atomic size +void TR_trailHTerm(DF_TermPtr addr); //trailing a heap term of atomic size +void TR_trailETerm(DF_TermPtr addr); //trailing a stack term +void TR_trailType(DF_TypePtr addr); //trailing a type (free type variable) +void TR_trailImport(MemPtr addr); //trailing a backchained field + + +/****************************************************************************/ +/* UNWIND TRAIL FUNCTION */ +/****************************************************************************/ +void TR_unwindTrail(MemPtr trOld); + +#endif //TRAIL_H + -- cgit v1.2.3