1
/******************************************************
2
The interface to the operating system
3
process control primitives
7
Created 9/30/1995 Heikki Tuuri
8
*******************************************************/
20
typedef void* os_process_t;
21
typedef unsigned long int os_process_id_t;
23
extern ibool os_use_large_pages;
24
/* Large page size. This may be a boot-time option on some platforms */
25
extern ulint os_large_page_size;
27
/********************************************************************
28
Converts the current process id to a number. It is not guaranteed that the
29
number is unique. In Linux returns the 'process number' of the current
30
thread. That number is the same as one sees in 'top', for example. In Linux
31
the thread id is not the same as one sees in 'top'. */
34
os_proc_get_number(void);
35
/*====================*/
36
/********************************************************************
37
Allocates non-cacheable memory. */
42
/* out: allocated memory */
43
ulint n); /* in: number of bytes */
44
/********************************************************************
45
Allocates large pages memory. */
50
/* out: allocated memory */
51
ulint* n); /* in/out: number of bytes */
52
/********************************************************************
53
Frees large pages memory. */
58
void *ptr, /* in: pointer returned by
59
os_mem_alloc_large() */
60
ulint size); /* in: size returned by
61
os_mem_alloc_large() */
62
/********************************************************************
63
Sets the priority boost for threads released from waiting within the current
67
os_process_set_priority_boost(
68
/*==========================*/
69
ibool do_boost); /* in: TRUE if priority boost should be done,