2011-05-31 19:44:54 -05:00
|
|
|
// -*- c++ -*-
|
2012-06-03 01:14:25 -05:00
|
|
|
|
|
|
|
/**
|
|
|
|
A single runtime instance.
|
|
|
|
|
|
|
|
The kernel is primarily responsible for managing the lifetime of
|
|
|
|
schedulers, which in turn run rust tasks. It provides a memory
|
|
|
|
allocator and logging service for use by other runtime components,
|
|
|
|
it creates unique task and port ids and provides global access
|
|
|
|
to ports by id.
|
|
|
|
|
|
|
|
The kernel runs until there are no live schedulers.
|
|
|
|
|
|
|
|
The kernel internally runs an additional, special scheduler called
|
|
|
|
the 'osmain' (or platform) scheduler, which schedules tasks on the
|
|
|
|
thread that is running the kernel (normally the thread on which the
|
|
|
|
C main function was called). This scheduler may be used by Rust
|
|
|
|
code for interacting with platform APIs that insist on being called
|
|
|
|
from the main thread.
|
|
|
|
|
|
|
|
The requirements of the osmain scheduler has resulted in a complex
|
|
|
|
process for creating and running scheduler loops that involves
|
|
|
|
a thing called a 'rust_sched_launcher_factory' whose function I've
|
|
|
|
already forgotten. rust_scheduler is the main scheduler class,
|
|
|
|
and tasks are scheduled on individual threads by rust_sched_loop.
|
|
|
|
|
|
|
|
Ideally all the in-memory Rust state is encapsulated by a kernel
|
|
|
|
instance, but there is still some truly global data in the runtime
|
|
|
|
(like the check claims flag).
|
|
|
|
*/
|
|
|
|
|
2010-08-27 20:26:36 -05:00
|
|
|
#ifndef RUST_KERNEL_H
|
|
|
|
#define RUST_KERNEL_H
|
|
|
|
|
2012-04-03 18:02:03 -05:00
|
|
|
#include "rust_globals.h"
|
|
|
|
|
2012-02-07 18:11:57 -06:00
|
|
|
#include <map>
|
2012-02-27 15:36:54 -06:00
|
|
|
#include <vector>
|
2012-04-03 17:33:25 -05:00
|
|
|
|
2011-09-23 13:42:20 -05:00
|
|
|
#include "memory_region.h"
|
|
|
|
#include "rust_log.h"
|
2012-03-30 15:54:37 -05:00
|
|
|
#include "rust_sched_reaper.h"
|
2012-04-02 22:18:01 -05:00
|
|
|
#include "util/hash_map.h"
|
2011-09-23 13:42:20 -05:00
|
|
|
|
2012-02-09 00:08:24 -06:00
|
|
|
class rust_scheduler;
|
2012-06-03 01:14:25 -05:00
|
|
|
class rust_sched_driver;
|
|
|
|
class rust_sched_launcher_factory;
|
|
|
|
struct rust_task_thread;
|
2012-04-02 22:18:01 -05:00
|
|
|
class rust_port;
|
|
|
|
|
2012-06-03 01:14:25 -05:00
|
|
|
// Scheduler, task, and port handles. These uniquely identify within a
|
|
|
|
// single kernel instance the objects they represent.
|
2012-04-02 22:18:01 -05:00
|
|
|
typedef intptr_t rust_sched_id;
|
|
|
|
typedef intptr_t rust_task_id;
|
|
|
|
typedef intptr_t rust_port_id;
|
2011-09-23 13:42:20 -05:00
|
|
|
|
2012-02-07 18:11:57 -06:00
|
|
|
typedef std::map<rust_sched_id, rust_scheduler*> sched_map;
|
|
|
|
|
2011-07-29 13:00:44 -05:00
|
|
|
class rust_kernel {
|
2011-07-18 14:02:26 -05:00
|
|
|
memory_region _region;
|
2010-08-27 20:26:36 -05:00
|
|
|
rust_log _log;
|
2011-07-23 21:03:02 -05:00
|
|
|
|
2012-02-04 02:03:45 -06:00
|
|
|
// The next task id
|
2012-02-03 19:26:54 -06:00
|
|
|
rust_task_id max_task_id;
|
|
|
|
|
2012-03-14 19:24:19 -05:00
|
|
|
// Protects max_port_id and port_table
|
|
|
|
lock_and_signal port_lock;
|
|
|
|
// The next port id
|
|
|
|
rust_task_id max_port_id;
|
|
|
|
hash_map<rust_port_id, rust_port *> port_table;
|
|
|
|
|
2012-02-03 19:26:54 -06:00
|
|
|
lock_and_signal rval_lock;
|
2012-01-13 00:17:21 -06:00
|
|
|
int rval;
|
|
|
|
|
2012-02-27 15:36:54 -06:00
|
|
|
// Protects max_sched_id and sched_table, join_list
|
2012-02-04 16:54:10 -06:00
|
|
|
lock_and_signal sched_lock;
|
2012-02-27 15:36:54 -06:00
|
|
|
// The next scheduler id
|
2012-02-07 18:11:57 -06:00
|
|
|
rust_sched_id max_sched_id;
|
2012-02-27 15:36:54 -06:00
|
|
|
// A map from scheduler ids to schedulers. When this is empty
|
|
|
|
// the kernel terminates
|
2012-02-07 18:11:57 -06:00
|
|
|
sched_map sched_table;
|
2012-02-27 15:36:54 -06:00
|
|
|
// A list of scheduler ids that are ready to exit
|
|
|
|
std::vector<rust_sched_id> join_list;
|
2012-02-04 16:54:10 -06:00
|
|
|
|
2012-03-30 15:54:37 -05:00
|
|
|
rust_sched_reaper sched_reaper;
|
2012-04-01 20:42:28 -05:00
|
|
|
// The single-threaded scheduler that uses the main thread
|
|
|
|
rust_sched_id osmain_scheduler;
|
|
|
|
// Runs the single-threaded scheduler that executes tasks
|
|
|
|
// on the main thread
|
|
|
|
rust_sched_driver *osmain_driver;
|
2012-03-30 15:54:37 -05:00
|
|
|
|
2012-04-06 19:03:00 -05:00
|
|
|
// An atomically updated count of the live, 'non-weak' tasks
|
|
|
|
uintptr_t non_weak_tasks;
|
|
|
|
// Protects weak_task_chans
|
|
|
|
lock_and_signal weak_task_lock;
|
|
|
|
// A list of weak tasks that need to be told when to exit
|
|
|
|
std::vector<rust_port_id> weak_task_chans;
|
|
|
|
|
2012-04-03 20:54:57 -05:00
|
|
|
rust_scheduler* get_scheduler_by_id_nolock(rust_sched_id id);
|
2012-04-06 19:03:00 -05:00
|
|
|
void end_weak_tasks();
|
2012-03-30 15:54:37 -05:00
|
|
|
|
2012-04-16 15:06:41 -05:00
|
|
|
// Used to communicate with the process-side, global libuv loop
|
|
|
|
uintptr_t global_loop_chan;
|
2012-04-30 19:28:14 -05:00
|
|
|
// Used to serialize access to getenv/setenv
|
|
|
|
uintptr_t global_env_chan;
|
2012-04-12 00:14:16 -05:00
|
|
|
|
2011-08-08 15:38:20 -05:00
|
|
|
public:
|
2011-07-27 16:34:39 -05:00
|
|
|
struct rust_env *env;
|
|
|
|
|
2012-04-01 22:18:40 -05:00
|
|
|
rust_kernel(rust_env *env);
|
2010-09-15 13:56:45 -05:00
|
|
|
|
2011-04-19 05:21:57 -05:00
|
|
|
void log(uint32_t level, char const *fmt, ...);
|
2011-07-06 17:06:30 -05:00
|
|
|
void fatal(char const *fmt, ...);
|
2010-09-07 20:39:07 -05:00
|
|
|
|
2011-07-18 14:02:26 -05:00
|
|
|
void *malloc(size_t size, const char *tag);
|
2011-07-06 00:44:22 -05:00
|
|
|
void *realloc(void *mem, size_t size);
|
2010-09-07 20:39:07 -05:00
|
|
|
void free(void *mem);
|
2012-02-27 17:42:22 -06:00
|
|
|
memory_region *region() { return &_region; }
|
2011-06-24 17:56:12 -05:00
|
|
|
|
2011-08-10 14:57:53 -05:00
|
|
|
void fail();
|
|
|
|
|
2012-02-06 23:06:12 -06:00
|
|
|
rust_sched_id create_scheduler(size_t num_threads);
|
2012-04-01 20:42:28 -05:00
|
|
|
rust_sched_id create_scheduler(rust_sched_launcher_factory *launchfac,
|
|
|
|
size_t num_threads, bool allow_exit);
|
2012-02-06 23:06:12 -06:00
|
|
|
rust_scheduler* get_scheduler_by_id(rust_sched_id id);
|
2012-02-04 16:54:10 -06:00
|
|
|
// Called by a scheduler to indicate that it is terminating
|
2012-02-06 23:06:12 -06:00
|
|
|
void release_scheduler_id(rust_sched_id id);
|
2012-03-30 15:54:37 -05:00
|
|
|
void wait_for_schedulers();
|
2012-04-01 20:42:28 -05:00
|
|
|
int run();
|
2011-06-28 13:34:20 -05:00
|
|
|
|
|
|
|
#ifdef __WIN32__
|
|
|
|
void win32_require(LPCTSTR fn, BOOL ok);
|
|
|
|
#endif
|
2011-07-23 16:01:43 -05:00
|
|
|
|
2012-03-14 22:55:57 -05:00
|
|
|
rust_task_id generate_task_id();
|
2012-02-03 17:45:59 -06:00
|
|
|
|
2012-03-14 19:24:19 -05:00
|
|
|
rust_port_id register_port(rust_port *port);
|
|
|
|
rust_port *get_port_by_id(rust_port_id id);
|
|
|
|
void release_port_id(rust_port_id tid);
|
|
|
|
|
2012-01-13 00:17:21 -06:00
|
|
|
void set_exit_status(int code);
|
2012-04-03 16:03:27 -05:00
|
|
|
|
|
|
|
rust_sched_id osmain_sched_id() { return osmain_scheduler; }
|
2012-04-06 19:03:00 -05:00
|
|
|
|
|
|
|
void register_task();
|
|
|
|
void unregister_task();
|
|
|
|
void weaken_task(rust_port_id chan);
|
|
|
|
void unweaken_task(rust_port_id chan);
|
|
|
|
|
|
|
|
bool send_to_port(rust_port_id chan, void *sptr);
|
2012-04-12 00:14:16 -05:00
|
|
|
|
2012-04-16 15:06:41 -05:00
|
|
|
uintptr_t* get_global_loop() { return &global_loop_chan; }
|
2012-04-30 19:28:14 -05:00
|
|
|
uintptr_t* get_global_env_chan() { return &global_env_chan; }
|
2010-08-27 20:26:36 -05:00
|
|
|
};
|
|
|
|
|
2012-04-02 22:18:01 -05:00
|
|
|
template <typename T> struct kernel_owned {
|
|
|
|
inline void *operator new(size_t size, rust_kernel *kernel,
|
2012-04-03 04:37:00 -05:00
|
|
|
const char *tag) {
|
|
|
|
return kernel->malloc(size, tag);
|
|
|
|
}
|
2012-04-02 22:18:01 -05:00
|
|
|
|
|
|
|
void operator delete(void *ptr) {
|
|
|
|
((T *)ptr)->kernel->free(ptr);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2010-08-27 20:26:36 -05:00
|
|
|
#endif /* RUST_KERNEL_H */
|