84 lines
3.2 KiB
C
84 lines
3.2 KiB
C
/*---
|
|
This software is copyrighted by the Regents of the University of
|
|
California, and other parties. The following terms apply to all files
|
|
associated with the software unless explicitly disclaimed in
|
|
individual files.
|
|
|
|
The authors hereby grant permission to use, copy, modify, distribute,
|
|
and license this software and its documentation for any purpose,
|
|
provided that existing copyright notices are retained in all copies
|
|
and that this notice is included verbatim in any distributions. No
|
|
written agreement, license, or royalty fee is required for any of the
|
|
authorized uses. Modifications to this software may be copyrighted by
|
|
their authors and need not follow the licensing terms described here,
|
|
provided that the new terms are clearly indicated on the first page of
|
|
each file where they apply.
|
|
|
|
IN NO EVENT SHALL THE AUTHORS OR DISTRIBUTORS BE LIABLE TO ANY PARTY
|
|
FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
|
|
ARISING OUT OF THE USE OF THIS SOFTWARE, ITS DOCUMENTATION, OR ANY
|
|
DERIVATIVES THEREOF, EVEN IF THE AUTHORS HAVE BEEN ADVISED OF THE
|
|
POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
THE AUTHORS AND DISTRIBUTORS SPECIFICALLY DISCLAIM ANY WARRANTIES,
|
|
INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
|
|
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, AND
|
|
NON-INFRINGEMENT. THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, AND
|
|
THE AUTHORS AND DISTRIBUTORS HAVE NO OBLIGATION TO PROVIDE
|
|
MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
|
|
|
|
GOVERNMENT USE: If you are acquiring this software on behalf of the
|
|
U.S. government, the Government shall have only "Restricted Rights" in
|
|
the software and related documentation as defined in the Federal
|
|
Acquisition Regulations (FARs) in Clause 52.227.19 (c) (2). If you are
|
|
acquiring the software on behalf of the Department of Defense, the
|
|
software shall be classified as "Commercial Computer Software" and the
|
|
Government shall have only "Restricted Rights" as defined in Clause
|
|
252.227-7013 (c) (1) of DFARs. Notwithstanding the foregoing, the
|
|
authors grant the U.S. Government and others acting in its behalf
|
|
permission to use and distribute the software in accordance with the
|
|
terms specified in this license.
|
|
---*/
|
|
|
|
#include <pbl/pbl.h>
|
|
#include <pbl/jbhash.h>
|
|
#include <libdfa/statemachine.h>
|
|
/** State machine hash library. */
|
|
|
|
typedef struct {
|
|
int size;
|
|
int contents;
|
|
state_machine_id next_sm_id;
|
|
recordid store;
|
|
/* Need to save the recordid of the hash if we want to recover... (???)*/
|
|
recordid hash_store;
|
|
jbHashTable_t * hash;
|
|
pthread_mutex_t * lock;
|
|
int xid;
|
|
pblHashTable_t * memHash;
|
|
} smash_t;
|
|
|
|
/**
|
|
Usage:
|
|
|
|
rb = malloc (sizeof(MonoTree));
|
|
rb->buffer = malloc(sizeof(StateMachine) * rb_size);
|
|
|
|
init_MonoTree(rb, rb_size);
|
|
|
|
*/
|
|
smash_t * init_Smash(int size);
|
|
/**
|
|
Returns a pointer to a new machine, or null if the
|
|
buffer is full.
|
|
|
|
*/
|
|
StateMachine* allocSmash (smash_t * smash);
|
|
StateMachine* insertSmash(smash_t * smash, state_machine_id id);
|
|
int freeSmash (smash_t * smash, state_machine_id id);
|
|
|
|
void * getSmash (smash_t * smash, state_machine_id id);
|
|
int setSmash (smash_t * smash, state_machine_id id);
|
|
|
|
int forceSmash (smash_t * smash);
|
|
/*StateMachine * enumerateSmash(smash_t * rb, int * count);*/
|