Access control for Rq_manager::Rq_buffer elements

argos-research / genode-AdmCtrl

Admission Control for the Genode OS Framework

0 stars 2 forks source link

Closed PaulOffTheWall closed 7 years ago

PaulOffTheWall commented 8 years ago

The Rq_buffer needs some access control if accessed by two components - namely Rq_manager itself and the Synchronization - simultaneously

PaulOffTheWall commented 7 years ago

Genode atomic access to Rq_manager