南京大学操作系统笔记（一）

最新推荐文章于 2024-03-01 10:04:49 发布

原创最新推荐文章于 2024-03-01 10:04:49 发布 · 1k 阅读

0 ·

CC 4.0 BY-SA版权

操作系统专栏收录该内容

8 篇文章

订阅专栏

本文档涵盖了南京大学操作系统课程的多处理器编程关键知识点，包括NP难问题、线程共享与独享部分、C语言特性、__attribute__使用、pthread库内存分配、原子性和Dekker's algorithm详解。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

南京大学操作系统学习笔记
第三课多处理器编程
1.Non-deterministic Polynomial Complete NP难的问题
2.线程共享那些部分
a)全局变量
b)Foo函数的代码共享
3.线程独享的部分
a)堆栈、寄存器独享
4.写了malloc以后需要判断是否分配成功
a)Assert()是偷懒的方法
b)判断是否为NULL
5.实验得到pthread库给每个线程分配8M内存
6.C语言问题（之前一直有，但是一直没深究）
a)_tmain( int argc ,_TCHAR *ARGV[])
argc: 表示程序运行时命令行的个数
*argv: 指令字符串数组的指针，每个字符串对应一个参数
Argc[0]: 表示程序的路径及名称
Argv[1],argv[2]: 表示自己输入的参数
7.__attribute__介绍
attribute是GNU C特色之一,在iOS用的比较广泛.系统中有许多地方使用到. attribute可以设置函数属性（Function Attribute ）、变量属性（Variable Attribute ）和类型属性（Type Attribute)等.
·函数属性
·noreturn
· noinline
·always_inline
·pure
·const
·nothrow
·sentinel
·format
· format_arg
·no_instrument_function
·section
·constructor
·destructor
· unused
·deprecated
·weak
·malloc
·alias
·warn_unused_result
·nonnull
详细见https://www.jianshu.com/p/29eb7b5c8b2d
在这里用到的是__attribute((constructor)) 表示在main之前执行，attribute((destructor)) 表示在main()执行结束后执行，也可以用attexit()
8.原子性
Dekker’s algorithm——一个实现锁的算法
是实现锁的一种算法。这种算法只解决两个线程竞争资源的情况。为了不让两个线程同时执行一段代码，比较直观的方案是设一个共享bool变量，线程进入前先检测它的值，有线程进入后改变它的值。但是在并发的情况下，可能在A检查完认为B没进入，准备改备值前，B也检测完了，这时候就两个线程都进入了。为了解决这个问题AB应该能够知道对方的情况，所以把一个BOOL变量变成两个BOOL变量，分别表示AB是否已经到这个区域。这时候怎么决定谁先继续走下去呢？要增加一个BIT，等于0表示A,等于1表示B，A,B进入后都把这个值改成它们对应的值，在决定往下走前，再回头检查一下这个值，看有没有被别人改了，如果被对方改了，则让对方先走。如果没被对方改，则认为自己仍然应该走，但是在对方放弃之前，不继续往下走。这时候会不会两个人都不往下走呢？不会的，因为那个BIT不是0就是1，所以总有一个人放弃的。也有一种可能是对方已经进入临界区，这时候对方就会一直执行到结束才修改自身状态，另一个线程才能往下走。
伪代码
flag[0] = 0
flag[1] = 0

P0: flag[0] = 1 P1: flag[1] = 1
turn = 1 turn = 0
while (flag[1] && turn==1); while (flag[0] && turn == 0); //Busy test loop
// critical section // critical section
… …
// end of critical section // end of critical section
flag[0] = 0 flag[1] = 0
这个算法的好处是，不用硬件配合。当然局限也是很明显的，只支持两个线程。另外这是一个很古老的算法，在现在某些CPU架构下是不能工作的。