preemption.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef preemption_h
#define preemption_h

#include "sched_context.h"
#include "sender.h"

//
// INTERFACE definition follows 
//


class Receiver;
class Sched_context;
/*
 * Fiasco
 * Preemption IPC Handling
 */


class Preemption : public Sender
{
  private:
    Sched_context * _pending;

public:  
  Preemption(Global_id const id);
  
  inline void set_receiver(Receiver *receiver);
  
  inline Sched_context * pending() const;
  
  inline void set_pending(Sched_context *const sched);
  
  void queue(Sched_context::Preemption_type type, Cpu_time time, Sched_context *sched);

private:  
  /*
   * Enqueue in the preempter's sender list in order to send a Preemption IPC
   */
  void preempter_enqueue();
  
  void ipc_receiver_ready();
  
  inline void setup_msg(L4_pipc const pipc) const;
};

//
// IMPLEMENTATION includes follow (for use by inline functions)
//

#include "receiver.h"

//
// IMPLEMENTATION of inline functions (and needed classes)
//



inline void
Preemption::set_receiver(Receiver *receiver)
{
  // Dequeue from old preempter's sender list
  if (_receiver)
    sender_dequeue (_receiver->sender_list());

  // Set new preempter
  _receiver = receiver;

  // If there is already a pending event, enqueue in preempter's sender list
  if (pending())
    preempter_enqueue();
}


inline Sched_context *
Preemption::pending() const
{
  return _pending;
}


inline void
Preemption::set_pending(Sched_context *const sched)
{
  _pending = sched;
}

#endif // preemption_h

---