转自:http://blog.csdn.net/cyberlabs/article/details/6920138

使用makecontext实现用户线程

       现代Unix系统都在ucontext.h中提供用于上下文切换的函数,这些函数有getcontext, setcontext,swapcontext 和makecontext。其中,getcontext用于保存当前上下文,setcontext用于切换上下文,swapcontext会保存当前上下文并切换到另一个上下文,makecontext创建一个新的上下文。实现用户线程的过程是:我们首先调用getcontext获得当前上下文,然后修改ucontext_t指定新的上下文。同样的,我们需要开辟栈空间,但是这次实现的线程库要涉及栈生长的方向。然后我们调用makecontext切换上下文,并指定用户线程中要执行的函数。
在这种实现中还有一个挑战,即一个线程必须可以主动让出CPU给其它线程。swapcontext函数可以完成这个任务,图4展示了一个这种实现的样例程序,child线程和parent线程不断切换以达到多线程的效果。在libfiber-uc.c文件中可以看到完整的实现。 #include
#include
#include // 64kB stack
#define FIBER_STACK 1024*64 ucontext_t child, parent; // The child thread will execute this function
void threadFunction()
{
printf( "Child fiber yielding to parent" );
swapcontext( &child, &parent );
printf( "Child thread exiting\n" );
swapcontext( &child, &parent );
} int main()
{
// Get the current execution context
getcontext( &child ); // Modify the context to a new stack
child.uc_link = ;
child.uc_stack.ss_sp = malloc( FIBER_STACK );
child.uc_stack.ss_size = FIBER_STACK;
child.uc_stack.ss_flags = ;
if ( child.uc_stack.ss_sp == )
{
perror( "malloc: Could not allocate stack" );
exit( );
} // Create the new context
printf( "Creating child fiber\n" );
makecontext( &child, &threadFunction, ); // Execute the child context
printf( "Switching to child fiber\n" );
swapcontext( &parent, &child );
printf( "Switching to child fiber again\n" );
swapcontext( &parent, &child ); // Free the stack
free( child.uc_stack.ss_sp ); printf( "Child fiber returned and stack freed\n" ); return ;
}
图4用makecontext实现线程 用户级线程的抢占 抢占实现的一个最重要的因素就是定时触发的计时器中断,它的存在使得我们能够中断当前程序的执行,异步对进程的时间片消耗情况进行统计,并在必要的时候(可能是时间片耗尽,也可能是一个高优先级的程序就绪)从当前进程调度到其它进程去执行。 对于用户空间程序来说,与内核空间的中断相对应的就是信号,它和中断一样都是异步触发,并能引起执行流的跳转。所以要想实现用户级线程的抢占,我们可以借助定时器信号(SIGALRM),必要时在信号处理程序内部进行上下文的切换。 为了验证自己的想法,我在上篇文章提到的协同多线程的基础上加上了相关抢占代码,具体实现如下: #include <stdlib.h>
#include <stdio.h>
#include <ucontext.h>
#include <sys/time.h> #define STACK_SIZE 4096
#define UTHREAD_MAX_NUM 256
#define INIT_TICKS 10 typedef int uthread_t;
typedef void uthread_attr_t;
uthread_t current = ; #define uthread_self() current struct uthread_struct
{
int used;
ucontext_t context;
char stack[STACK_SIZE];
void* (*func)(void *arg);
void *arg;
void *exit_status;
int ticks;
}; static struct uthread_struct uthread_slots[UTHREAD_MAX_NUM]; void panic(void)
{
fprintf(stderr, "Panic, bala bala...\n");
exit(EXIT_FAILURE);
} void idle_thread(void)
{
int i; for (i = ; i < UTHREAD_MAX_NUM; i ++)
if (uthread_slots[i].used)
break; if (i == UTHREAD_MAX_NUM)
panic();
if (current != )
uthread_slots[current].used = ;
current = i;
swapcontext(&uthread_slots[].context,&uthread_slots[current].context);
} void uthread_context_init(int tid)
{
getcontext(&uthread_slots[tid].context);
uthread_slots[tid].context.uc_stack.ss_sp = uthread_slots[tid].stack;
uthread_slots[tid].context.uc_stack.ss_size =sizeof(uthread_slots[tid].stack);
uthread_slots[tid].context.uc_link = &uthread_slots[].context;
} void uthread_init(void)
{
uthread_context_init();
uthread_slots[].used = ;
makecontext(&uthread_slots[].context, idle_thread, );
} void uthread_schedule(void); void uthread_exit(void *exit_status)
{
uthread_slots[current].exit_status = exit_status;
uthread_slots[current].used = ;
uthread_schedule();
} void uthread_helper(void)
{
uthread_exit(uthread_slots[current].func(uthread_slots[current].arg));
} int uthread_create(uthread_t *thread, const uthread_attr_t *attr,
void* (*start_routine)(void*), void *arg)
{
static int last_used = ;
int i; for (i = (last_used + ) % UTHREAD_MAX_NUM; i != last_used;
i = (i + ) % UTHREAD_MAX_NUM)
if (!uthread_slots[i].used)
break;
if (i == last_used)
return -;
last_used = i; if (thread != NULL)
*thread = i;
uthread_context_init(i);
uthread_slots[i].used = ;
uthread_slots[i].func = start_routine;
uthread_slots[i].arg = arg;
uthread_slots[i].exit_status = ;
uthread_slots[i].ticks = uthread_slots[current].ticks / ;
uthread_slots[current].ticks -= uthread_slots[i].ticks;
makecontext(&uthread_slots[i].context, uthread_helper, ); return ;
} void uthread_schedule(void)
{
int i, prev; for (i = (current + ) % UTHREAD_MAX_NUM; i != current;
i = (i + ) % UTHREAD_MAX_NUM)
if (uthread_slots[i].used)
break;
if (i == current)
panic(); prev = current;
current = i;
swapcontext(&uthread_slots[prev].context,&uthread_slots[current].context);
} void* thread(void *arg)
{
int i; for (i = ; ; i ++) {
if (i % == )
printf("thread/%d(%s): i = %d\n", current, (char*)arg,i);
uthread_create(NULL, NULL, thread, arg);
if (i % == )
uthread_schedule();
}
} void sig_ticks_timer(int signo)
{
if (--uthread_slots[current].ticks <= ) {
uthread_slots[current].ticks = INIT_TICKS;
uthread_schedule();
}
} int main(int argc, char *argv[])
{
uthread_t tid;
struct itimerval ticks_timer; uthread_init(); uthread_create(&tid, NULL, thread, "hw1");
printf("tid is %d\n", tid);
uthread_create(&tid, NULL, thread, "hw2");
printf("tid is %d\n", tid); signal(SIGALRM, sig_ticks_timer);
ticks_timer.it_interval.tv_sec = ;
ticks_timer.it_interval.tv_usec = ;
ticks_timer.it_value.tv_sec = ;
ticks_timer.it_value.tv_usec = ;
setitimer(ITIMER_REAL, &ticks_timer, NULL); while ()
idle_thread(); return ;
} 似乎该有的都有了,也许真的可以在用户空间实现一个虚拟的操作系统环境玩呢...

使用makecontext实现用户线程【转】的更多相关文章

  1. Java用户线程和守护线程

    今天看Java一个关于多线程返回值方式的示例,发现一个自己不太能理解的问题,就是在主线程中启动了几个工作线程,主线程中也没有join,工作线程居然也是正常输出了回调的结果.这个跟linux C++下的 ...

  2. java中线程分两种,守护线程和用户线程。

    java中线程分为两种类型:用户线程和守护线程. 通过Thread.setDaemon(false)设置为用户线程: 通过Thread.setDaemon(true)设置为守护线程. 如果不设置次属性 ...

  3. MySQL 用户连接与用户线程

    本文转载自公众号数据库随笔,作者happypig 微信看起来麻烦 pig已经好长一段时间没有分享文章了,有点对不起订阅的朋友.最近在做比较复杂跟困难的事情,也并不一定最终会有成果,因此必须对此沉默. ...

  4. JVM内的守护线程Deamon与用户线程User Thread

    转载请注明原文地址:http://www.cnblogs.com/ygj0930/p/6561771.html  一:守护线程Daemon 守护线程:Daemon在希腊神话中解作“守护神”,顾名思义就 ...

  5. 【java多线程】用户线程和守护线程的区别

    java中线程分为两种类型:用户线程和守护线程.通过Thread.setDaemon(false)设置为用户线程:通过Thread.setDaemon(true)设置为守护线程.如果不设置次属性,默认 ...

  6. 用户线程 (User Thread)、守护线程 (Daemon Thread)

    在Java中有两类线程:用户线程 (User Thread).守护线程 (Daemon Thread). 所谓守护 线程,是指在程序运行的时候在后台提供一种通用服务的线程,比如垃圾回收线程就是一个很称 ...

  7. (转)Linux内核本身和进程的区别 内核线程、用户进程、用户线程

    转自:http://blog.csdn.net/adudurant/article/details/23135661 这个概念是很多人都混淆的了,我也是,刚开始无法理解OS时,把Linux内核也当做一 ...

  8. java高并发系列 - 第9天:用户线程和守护线程

    守护线程是一种特殊的线程,在后台默默地完成一些系统性的服务,比如垃圾回收线程.JIT线程都是守护线程.与之对应的是用户线程,用户线程可以理解为是系统的工作线程,它会完成这个程序需要完成的业务操作.如果 ...

  9. java 用户线程和守护线程

    在Java中通常有两种线程:用户线程和守护线程(也被称为服务线程)通过Thread.setDaemon(false)设置为用户线程通过Thread.setDaemon(true)设置为守护线程线程属性 ...

随机推荐

  1. Java线程模型

    并发不一定要依赖多线程(如PHP中很常见的多进程并发),但是在Java里面谈论并发,大多数都与线程脱不开关系. 线程是比进程更轻量级的调度执行单位,线程的引入,可以把一个进程的资源分配和执行调度分开, ...

  2. MATLAB strcmp

    比较两个输入字符串是否相等 c = strcmp(str1,str2)比较字符串 str1 与 str2 ,若完全相等则返回 1 ,不相等返回 0 str1 = 'hello'; str2 = 'he ...

  3. mac终端命令-----常规操作

    OSX 的文件系统 OSX 采用的Unix文件系统,所有文件都挂在跟目录 / 下面,所以不在要有Windows 下的盘符概念. 你在桌面上看到的硬盘都挂在 /Volumes 下. 比如接上个叫做 US ...

  4. Java中的缓冲流详解

    缓冲流增强了读写文件的能力,比如Student.txt是一个学生的名单,每个姓名占一行.如果我们想要读取名字,那么每次必须读取一行,使用FileReader流很难完成这样的任务,因为我们不清楚一行有多 ...

  5. BZOJ4299 Codechef FRBSUM(主席树)

    感觉非常不可做,于是考虑有什么奇怪的性质. 先考虑怎么求子集和mex.将数从小到大排序,假设已经凑出了0~n的所有数,如果下一个数>n+1显然mex就是n+1了,否则若其为x则可以凑出1~n+x ...

  6. 关于Python的 a, b = b, a+b

    Python中有一种写法:多个值同时赋给多个变量,如:a, b = b, a+b 1. A写法 a = 0, b = 1 a, b = b, a+b print a, b #结果为:1 1 这种写法, ...

  7. Oracle 物化视图创建以及常见问题

    create materialized view MV_XXXXrefresh fast on commitwith rowidenable query rewriteasselect * from ...

  8. POJ1061:青蛙的约会——题解

    http://poj.org/problem?id=1061 Description 两只青蛙在网上相识了,它们聊得很开心,于是觉得很有必要见一面.它们很高兴地发现它们住在同一条纬度线上,于是它们约定 ...

  9. BZOJ3236:[AHOI2013]作业——题解

    https://www.lydsy.com/JudgeOnline/problem.php?id=3236 第一种做法: 建两棵主席树分别处理两个问题. 第一个问题水,第二个问题参考SPOJ3267/ ...

  10. BZOJ4144 [AMPPZ2014]Petrol 【最短路 + 最小生成树】

    题目链接 BZOJ4144 题解 这题好妙啊,,orz 假设我们在一个非加油站点,那么我们一定是从加油站过来的,我们剩余的油至少要减去这段距离 如果我们在一个非加油站点,如果我们到达不了任意加油站点, ...