1ec3d1a
## <summary>rgmanager - Resource Group Manager</summary>
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute a domain transition to run rgmanager.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`rgmanager_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type rgmanager_t, rgmanager_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	corecmd_search_bin($1)
1ec3d1a
	domtrans_pattern($1, rgmanager_exec_t, rgmanager_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Connect to rgmanager over a unix stream socket.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`rgmanager_stream_connect',`
1ec3d1a
	gen_require(`
1ec3d1a
		type rgmanager_t, rgmanager_var_run_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_pids($1)
1ec3d1a
	stream_connect_pattern($1, rgmanager_var_run_t, rgmanager_var_run_t, rgmanager_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
######################################
1ec3d1a
## <summary>
1ec3d1a
##	Allow manage rgmanager tmp files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`rgmanager_manage_tmp_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type rgmanager_tmp_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_tmp($1)
1ec3d1a
	manage_files_pattern($1, rgmanager_tmp_t, rgmanager_tmp_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
######################################
1ec3d1a
## <summary>
1ec3d1a
##	Allow manage rgmanager tmpfs files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`rgmanager_manage_tmpfs_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type rgmanager_tmpfs_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	fs_search_tmpfs($1)
1ec3d1a
	manage_files_pattern($1, rgmanager_tmpfs_t, rgmanager_tmpfs_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Allow read and write access to rgmanager semaphores.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`rgmanager_rw_semaphores',`
1ec3d1a
	gen_require(`
1ec3d1a
		type rgmanager_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 rgmanager_t:sem rw_sem_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
######################################
1ec3d1a
## <summary>
1ec3d1a
##	All of the rules required to administrate
1ec3d1a
##	an rgmanager environment
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="role">
1ec3d1a
##	<summary>
1ec3d1a
##	The role to be allowed to manage the rgmanager domain.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`rgmanager_admin',`
1ec3d1a
	gen_require(`
1ec3d1a
		type rgmanager_t, rgmanager_initrc_exec_t, rgmanager_tmp_t; 
1ec3d1a
		type rgmanager_tmpfs_t, rgmanager_var_log_t, rgmanager_var_run_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 rgmanager_t:process signal_perms;
1ec3d1a
	ps_process_pattern($1, rgmanager_t)
1ec3d1a
	tunable_policy(`deny_ptrace',`',`
1ec3d1a
		allow $1 rgmanager_t:process ptrace;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	init_labeled_script_domtrans($1, rgmanager_initrc_exec_t)
1ec3d1a
	domain_system_change_exemption($1)
1ec3d1a
	role_transition $2 rgmanager_initrc_exec_t system_r;
1ec3d1a
	allow $2 system_r;
1ec3d1a
1ec3d1a
	files_list_tmp($1)
1ec3d1a
	admin_pattern($1, rgmanager_tmp_t)
1ec3d1a
1ec3d1a
	admin_pattern($1, rgmanager_tmpfs_t)
1ec3d1a
1ec3d1a
	logging_list_logs($1)
1ec3d1a
	admin_pattern($1, rgmanager_var_log_t)
1ec3d1a
1ec3d1a
	files_list_pids($1)
1ec3d1a
	admin_pattern($1, rgmanager_var_run_t)
1ec3d1a
')
8652f9a
8652f9a
8652f9a
######################################
8652f9a
## <summary>
8652f9a
##  Allow the specified domain to manage rgmanager's lib/run files.
8652f9a
## </summary>
8652f9a
## <param name="domain">
8652f9a
##  <summary>
8652f9a
##  Domain allowed access.
8652f9a
##  </summary>
8652f9a
## </param>
8652f9a
#
8652f9a
interface(`rgmanager_manage_files',`
8652f9a
    gen_require(`
8652f9a
        type rgmanager_var_lib_t;
8652f9a
        type rgmanager_var_run_t;
8652f9a
    ')
8652f9a
8652f9a
    files_list_var_lib($1)
8652f9a
    admin_pattern($1, rgmanager_var_lib_t)
8652f9a
8652f9a
    files_list_pids($1)
8652f9a
    admin_pattern($1, rgmanager_var_run_t)
8652f9a
')