message_queue.h

Go to the documentation of this file.

/*
START OF LICENSE STUB
    DeDOS: Declarative Dispersion-Oriented Software
    Copyright (C) 2017 University of Pennsylvania, Georgetown University

    This program 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.

    This program 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 this program.  If not, see <http://www.gnu.org/licenses/>.
END OF LICENSE STUB
*/
#ifndef DEDOS_THREADS_H_
#define DEDOS_THREADS_H_
#include <stdbool.h>
#include <inttypes.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>

enum dedos_msg_type {
    RUNTIME_MSG,
    THREAD_MSG,
    MSU_MSG
};

struct dedos_msg {
    struct dedos_msg *next;
    enum dedos_msg_type type;
    void *data;
    ssize_t data_size;
    struct timespec delivery_time;
};

struct msg_queue {
    uint32_t num_msgs;      
    struct dedos_msg *head; 
    struct dedos_msg *tail; 
    pthread_mutex_t mutex;  
    bool shared;  
    sem_t *sem;   
};

struct dedos_msg *dequeue_msg(struct msg_queue *q);

int enqueue_msg(struct msg_queue *q, struct dedos_msg *msg);

int schedule_msg(struct msg_queue *q, struct dedos_msg *msg, struct timespec *interval);

int init_msg_queue(struct msg_queue *q, sem_t *sem);
#endif //DEDOS_THREADS_H_