[No00003A]操作系统Operating Systems 内核级线程Kernel Threads内核级线程实现Create KernelThreads
开始核心级线程


内核级线程对多核的支持怎么样?
和用户级相比,核心级线程有什么不同?
ThreadCreate 是系统调用,内核管理TCB ,内核负责切换线程

如何让切换成型? − − 内核栈,TCB
- 用户栈是否还要用? 执行的代码仍然在用户态,还要进行函数调用
- 一个栈到一套栈;两个栈到两套栈
- TCB 关联内核栈,那用户栈怎么办?

用户栈和内核栈之间的关联
所有中断( 时钟、外设、INT指令) 都引起上述切换
中断( 硬件) 又一次帮助了操作系统…

仍然是那个A() ,B() ,C() ,D()…
认真体会从内核返回( 中断返回) 时的样子…

开始内核中的切换:switch_to
switch_to: 仍然是通过TCB 找到内核栈指针;然后通过ret 切到 某个内核程序; 最后再用CS:PC 切到

sys_read(){ 启动磁盘读; 将自己变成阻塞;找到next;switch_to(cur, next);}
回答上面的问号??, ???, ????…

???: sys_read 函数的某个地方
??: interrupt 之前的某个地方
???: sys_xxx 函数中的某个地方

最关键的地方来了: T 创建时如何填写?? , ????
?? 500 ,函数C()的开始地址
???? 一段能完成第二级返回的代码,一段包含iret 的代码…
内核线程switch_to 的五段论



ThreadCreate! 做成那个样子…

用户级线程、核心级线程的对比

操作系统Operating Systems内核级线程实现Create Kernel Threads
核心级线程的两套栈,核心是内核栈…

整个故事要从进入内核开始—— 某个中断开始…

切换五段论中的中断入口和中断出口
void sched_init(void)
{set_system_gate(0x80,&system_call);}
初始化时将各种中断处理设置好
_system_call:
push %ds..%fs
pushl %edx...
call sys_fork
pushl %eax
内核栈:

movl _current,%eax
cmpl $0,state(%eax)
jne reschedule
cmpl $0,counter(%eax)
je reschedule
ret_from_sys_call:
reschedule:
pushl $ret_from_sys_call
jmp _schedule
切换五段论中的schedule


切换五段论中的switch_to
Linux 0.11 用tss切换,但也可以用栈切换,因为tss 中的信息可以写到内核栈中

另一个故事ThreadCreate 就顺了…
从sys_fork 开始CreateThread
_sys_fork:
push %gs; pushl %esi
...
pushl %eax
call _copy_process
addl $20,%esp
ret

int copy_process(int nr,long ebp,long edi,long esi,long gs,longnone,long ebx,long ecx,long edx, longfs,long es,long ds,long eip,longcs,long eflags,long esp,long ss)
copy_process的细节:创建栈
p=(struct task_struct *)get_free_page();// 申请内存空间
p->tss.esp0 = PAGE_SIZE + (long) p;
p->tss.ss0 = 0x10;// 创建内核栈
p->tss.ss = ss & 0xffff;
p->tss.esp = esp;// 创建用户栈(和父进程共用栈)

申请内存空间;
创建TCB;
创建内核栈和用户栈;
填写两个 stack;
关联栈和TCB;
copy_process 的细节:执行前准备
p->tss.eip = eip;
p->tss.cs = cs & 0xffff;// 将执行地址cs:eip 放在tss 中
p->tss.eax = 0;
p->tss.ecx = ecx;// 执行时的寄存器也放进去了
p->tss.ldt = _LDT(nr);
set_tss_desc(gdt+(nr<<1) + 仔细体会tss 将要承担的作用…
FIRST_TSS_ENTRY, &(p->tss));
set_ldt_desc(gdt+(nr<<1) +
FIRST_LDT_ENTRY, &(p->ldt));// 内存跟着切换
p->state = TASK_RUNNING;
copy_process( ...,long eip,long cs,longe flags,long esp,long ss)

...
填写两个stack;
第三个故事: 如何执行我们想要的代码?
int main(int argc, char * argv[])
{ while(1) { scanf("%s", cmd);
if(!fork()) {exec(cmd);} wait(0); }
ThreadCreate(*A) 中的A 必须体现? 用户输入hello 命令,exec(hello)

fork() 何时返回0 ,何时不会? 首先要找到fork() 怎么返回?
mov %eax, __NR_fork
INT 0x80
mov res,%eax 如何到这条指令?
父进程用iret ,因为要从核心态到用户态;那么子进程呢? 仔细想一想…

结构: 子进程进入A ,父进程等待…
故事要从exec 这个系统调用开始
if(!fork()) {exec(cmd);}
_system_call:
push %ds .. %fs
pushl %edx..
call sys_execve
_sys_execve:
lea EIP(%esp),%eax
pushl %eax
call _do_execve
EIP = 0x1C

终于可以让AA 执行了…
int do_execve( * eip,...
{ p += change_ldt(...;
eip[0] = ex.a_entry;
eip[3] = p; ...
struct exec {
unsigned long a_magic;
unsigned a_entry; //口 入口 };
eip[0] = esp + 0x1C; eip[3] = esp +0x1C+0x0C = esp + 0x28 ( 正好是SP)

ex.a_entry 是可执行程序入口地址,产生可执行文件时写入…

- 理解switch_to 对应的栈切换,将自己变成计算机
- ThreadCreate的目的就是初始化这样一套栈
[No00003A]操作系统Operating Systems 内核级线程Kernel Threads内核级线程实现Create KernelThreads的更多相关文章
- [No00003D]操作系统Operating Systems信号量的代码实现Coding Semaphore &死锁处理Deadlock
操作系统Operating Systems信号量的代码实现Coding Semaphore &死锁处理Deadlock 可以操刀了—从纸上到实际 从Linux 0.11 那里学点东西… 读磁盘 ...
- [No00003C]操作系统Operating Systems进程同步与信号量Processes Synchronization and Semaphore
操作系统Operating Systems进程同步与信号量Processes Synchronization and Semaphore 进程合作:多进程共同完成一个任务 从纸上到实际:生产者− − ...
- [No000039]操作系统Operating Systems用户级线程User Threads
多进程是操作系统的基本图像 是否可以资源不动而切换指令序列? 进程 = 资源 + 指令执行序列 线程: 保留了并发的优点,避免了进程切换代价 实质就是映射表不变而PC 指针变 多个执行序列+ 一个地址 ...
- [No000036]操作系统Operating Systems系统调用的实现System_Call
实现一个whoami 系统调用 系统调用的直观实现 问题+直观想法… 用户程序调用whoami, 一个字符串"systemcall "放在操作系统中(系统引导时载入) ,取出来打印 ...
- [No000038]操作系统Operating Systems -CPU
管理CPU ,先要使用CPU… CPU 的工作原理 CPU上电以后发生了什么? 自动的取指 — 执行 CPU 怎么工作? CPU怎么管理? 管理CPU 的最直观方法 设好PC 初值就完事! 看看这样做 ...
- [No000037]操作系统Operating Systems操作系统历史与硬件概况History of OS & Summaries!
培根:读史使人明智 操作系统的简史 (1955-1965) 计算机非常昂贵,上古神机IBM7094 ,造价在250万美元以上 计算机使用原则:只专注于计算 批处理操作系统(Batch system) ...
- [No000031]操作系统 Operating Systems 之Open the OS!
从打开电源开始… 这神秘的黑色背后发生着什么?… 打开电源,计算机执行的第一句指令什么? 计算模型(图灵机) ⇒ 我们要 关注 指针IP 及其 指向的内容 看看x86 PC (1) 刚开机时CPU 处 ...
- 【内核】linux2.6版本内核编译配置选项(二)
目录 Linux2.6版本内核编译配置选项(一):http://infohacker.blog.51cto.com/6751239/1203633 Linux2.6版本内核编译配置选项(二):http ...
- 【操作系统】二、JVM线程与Linux内核线程的映射
Linux从内核2.6开始使用NPTL (Native POSIX Thread Library)支持,但这时线程本质上还轻量级进程. Java里的线程是由JVM来管理的,它如何对应到操作系统的线程是 ...
随机推荐
- Maltego实体分类与Transform
分类 实体类型 描述 Devices (设备类) Device 表示一个设备,如一个手机或相机. Infrastructure (基础结构类) AS 一个互联网自治系统 DNS Name 域名系统 ...
- ubuntu环境变量
在Ubuntu中有如下几个文件可以设置环境变量1./etc/profile:在登录时,操作系统定制用户环境时使用的第一个文件,此文件为系统的每个用户设置环境信息,当用户第一次登录时,该文件被执行.2. ...
- spring理解
Struts与Hibernate可以做什么事? Struts,Mvc中控制层解决方案,可以进行请求数据自动封装.类型转换.文件上传.效验… Hibernate,持久层的解决方案:可以做到,把对象保存到 ...
- Xcode编译相关
Xcode多工程联编及工程依赖 iOS release,debug版设置不同的AppIcon Xcode创建子工程以及工程依赖 Xcode 依赖管理带来的静态库动态库思考
- 巩固一下:SpringMVC详细示例实战教程
一.SpringMVC基础入门,创建一个HelloWorld程序 1.首先,导入SpringMVC需要的jar包. 2.添加Web.xml配置文件中关于SpringMVC的配置 1 2 3 4 5 6 ...
- AndroidAnnotations配置--Android studio
1.引入对android-apt的依赖.在全局build.gradle中文件中添加以下代码.(Project目录下的build.gradle) repositories { mavenCentral( ...
- OC中的私有变量和description
.OC中的私有变量 在类的实现即.m @implementation中也可以声明成员变量,但是因为在其他文件中通常都只 是包含头文件而不会包含实现文件,所以在.m文件中声明的成员变量是@private ...
- AOP的实现机制
1 AOP各种的实现 AOP就是面向切面编程,我们可以从几个层面来实现AOP. 在编译器修改源代码,在运行期字节码加载前修改字节码或字节码加载后动态创建代理类的字节码,以下是各种实现机制的比较. 类别 ...
- 1.5 基础知识——GP2.3 提供资源(Resources) 与 GP2.4 分配职责(Responisbility)
摘要: 没有资源和落实权责,将无法做好事情,这是很多公司很多人都懂的道理.但很多做CMMI改进的公司,号称很多核心人员负责过程改进,其实是兼职挂牌而已,有些甚至招聘应届生作为过程改进的主力…… 如此这 ...
- php 页面传递数组元素
前台页面的表单中添加多个input元素,如下: <form action="a.php"> <input type="text" name= ...