ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 06:07:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw: destruct abstract interfaces of signal backend

Browse Source 
ref #589
This commit is contained in:
Martin Stein 2013-09-17 10:44:14 +02:00 committed by Norman Feske
parent 611cd95eb3
commit 52ec56c060
2 changed files with 100 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
base-hw/src/core/kernel/signal_receiver.cc
View File

@ -14,12 +14,33 @@
/* core includes */
#include <kernel/signal_receiver.h>
using namespace Kernel;
void Kernel::Signal_context::_deliverable()
Signal_handler::~Signal_handler()
{
if (_receiver) { _receiver->remove_handler(this); }
}
Signal_context_killer::~Signal_context_killer()
{
if (_context) { _context->_killer_destructed(); }
}
Signal_receiver_killer::~Signal_receiver_killer()
{
if (_receiver) { _receiver->_killer_destructed(); }
}
void Signal_context::_deliverable()
{
if (!_submits) return;
_receiver->_add_deliverable(this);
}
Kernel::Signal_context::~Signal_context() { _receiver->_context_killed(this); }
Signal_context::~Signal_context() { _receiver->_context_killed(this); }

85
base-hw/src/core/kernel/signal_receiver.h
View File

@ -59,6 +59,7 @@ class Kernel::Signal_handler
typedef Genode::Fifo_element<Signal_handler> Fifo_element;
Fifo_element _handlers_fe;
Signal_receiver * _receiver;
/**
* Let the handler block for signal receipt
@ -81,6 +82,11 @@ class Kernel::Signal_handler
* Constructor
*/
Signal_handler() : _handlers_fe(this) { }
/**
* Destructor
*/
virtual ~Signal_handler();
};
class Kernel::Signal_context_killer
@ -89,6 +95,8 @@ class Kernel::Signal_context_killer
private:
Signal_context * _context;
/**
* Notice that the destruction is pending
*/
@ -98,6 +106,18 @@ class Kernel::Signal_context_killer
* Notice that pending destruction is done
*/
virtual void _signal_context_kill_done() = 0;
public:
/**
* Constructor
*/
Signal_context_killer() : _context(0) { }
/**
* Destructor
*/
virtual ~Signal_context_killer();
};
class Kernel::Signal_receiver_killer
@ -106,6 +126,8 @@ class Kernel::Signal_receiver_killer
private:
Signal_receiver * _receiver;
/**
* Notice that the destruction is pending
*/
@ -115,6 +137,18 @@ class Kernel::Signal_receiver_killer
* Notice that pending destruction is done
*/
virtual void _signal_receiver_kill_done() = 0;
public:
/**
* Constructor
*/
Signal_receiver_killer() : _receiver(0) { }
/**
* Destructor
*/
virtual ~Signal_receiver_killer();
};
class Kernel::Signal_context
@ -122,6 +156,7 @@ class Kernel::Signal_context
public Object<Signal_context, MAX_SIGNAL_CONTEXTS>
{
friend class Signal_receiver;
friend class Signal_context_killer;
private:
@ -133,6 +168,7 @@ class Kernel::Signal_context
unsigned const _imprint;
unsigned _submits;
bool _ack;
bool _kill;
Signal_context_killer * _killer;
/**
@ -149,6 +185,11 @@ class Kernel::Signal_context
_ack = 0;
}
/**
* Notice that the killer of the context has been destructed
*/
void _killer_destructed() { _killer = 0; }
/**
* Destructor
*/
@ -163,7 +204,7 @@ class Kernel::Signal_context
Signal_context(Signal_receiver * const r, unsigned const imprint)
:
_deliver_fe(this), _contexts_fe(this), _receiver(r),
_imprint(imprint), _submits(0), _ack(1), _killer(0)
_imprint(imprint), _submits(0), _ack(1), _kill(0), _killer(0)
{ }
public:
@ -178,7 +219,7 @@ class Kernel::Signal_context
*/
int submit(unsigned const n)
{
if (_killer || _submits >= (unsigned)~0 - n) { return -1; }
if (_kill || _submits >= (unsigned)~0 - n) { return -1; }
_submits += n;
if (_ack) { _deliverable(); }
return 0;
@ -190,14 +231,17 @@ class Kernel::Signal_context
void ack()
{
if (_ack) { return; }
if (!_killer) {
if (!_kill) {
_ack = 1;
_deliverable();
return;
}
this->~Signal_context();
if (_killer) {
_killer->_context = 0;
_killer->_signal_context_kill_done();
}
}
/**
* Destruct context or prepare to do it as soon as delivery is done
@ -209,7 +253,7 @@ class Kernel::Signal_context
*/
int kill(Signal_context_killer * const k)
{
if (_killer) { return -1; }
if (_kill) { return -1; }
/* destruct directly if there is no unacknowledged delivery */
if (_ack) {
@ -218,6 +262,8 @@ class Kernel::Signal_context
}
/* wait for delivery acknowledgement */
_killer = k;
_kill = 1;
_killer->_context = this;
_killer->_signal_context_kill_pending();
return 0;
}
@ -229,7 +275,7 @@ class Kernel::Signal_receiver
public Signal_context_killer
{
friend class Signal_context;
friend class Context_killer;
friend class Signal_receiver_killer;
private:
@ -240,8 +286,9 @@ class Kernel::Signal_receiver
Fifo<Signal_handler::Fifo_element> _handlers;
Fifo<Signal_context::Fifo_element> _deliver;
Fifo<Signal_context::Fifo_element> _contexts;
unsigned _context_kills;
bool _kill;
Signal_receiver_killer * _killer;
unsigned _context_kills;
/**
* Recognize that context 'c' has submits to deliver
@ -274,6 +321,7 @@ class Kernel::Signal_receiver
Signal_handler * const h = _handlers.dequeue()->object();
Signal::Data data((Genode::Signal_context *)c->_imprint,
c->_submits);
h->_receiver = 0;
h->_receive_signal(&data, sizeof(data));
c->_delivered();
}
@ -286,11 +334,15 @@ class Kernel::Signal_receiver
*/
void _context_killed(Signal_context * const c)
{
if (c->_deliver_fe.is_enqueued()) {
_contexts.remove(&c->_contexts_fe);
if (!c->_deliver_fe.is_enqueued()) { return; }
_deliver.remove(&c->_deliver_fe);
}
_contexts.remove(&c->_contexts_fe);
}
/**
* Notice that the killer of the receiver has been destructed
*/
void _killer_destructed() { _killer = 0; }
/***************************
@ -302,17 +354,21 @@ class Kernel::Signal_receiver
void _signal_context_kill_done()
{
_context_kills--;
if (!_context_kills && _killer) {
if (!_context_kills && _kill) {
this->~Signal_receiver();
if (_killer) {
_killer->_receiver = 0;
_killer->_signal_receiver_kill_done();
}
}
}
public:
/**
* Constructor
*/
Signal_receiver() : _kill(0), _killer(0), _context_kills(0) { }
/**
* Let a handler 'h' wait for signals of the receiver
@ -322,8 +378,9 @@ class Kernel::Signal_receiver
*/
int add_handler(Signal_handler * const h)
{
if (_killer) { return -1; }
if (_kill) { return -1; }
_handlers.enqueue(&h->_handlers_fe);
h->_receiver = this;
h->_await_signal(this);
_listen();
return 0;
@ -345,7 +402,7 @@ class Kernel::Signal_receiver
*/
int new_context(void * p, unsigned imprint)
{
if (_killer) { return -1; }
if (_kill) { return -1; }
new (p) Signal_context(this, imprint);
Signal_context * const c = (Signal_context *)p;
_contexts.enqueue(&c->_contexts_fe);
@ -367,7 +424,7 @@ class Kernel::Signal_receiver
*/
int kill(Signal_receiver_killer * const k)
{
if (_killer) { return -1; }
if (_kill) { return -1; }
/* start killing at all contexts of the receiver */
Signal_context * c = _contexts.dequeue()->object();
@ -381,7 +438,9 @@ class Kernel::Signal_receiver
return 0;
}
/* wait for pending context kills */
_kill = 1;
_killer = k;
_killer->_receiver = this;
_killer->_signal_receiver_kill_pending();
return 0;
}