巧谈GCD

谈到iOS多线程,一般都会谈到四种方式:pthread、NSThread、GCD和NSOperation。其中,苹果推荐也是我们最经常使用的无疑是GCD。对于身为开发者的我们来说,并发一直都很棘手,如果对GCD的理解不够透彻,那么iOS开发的历程绝对不会顺利。这里,我会从几个角度浅谈我对GCD的理解。

一、多线程背景

Although threads have been around for many years and continue to have their uses, they do not solve the general problem of executing multiple tasks in a scalable way. With threads, the burden of creating a scalable solution rests squarely on the shoulders of you, the developer. You have to decide how many threads to create and adjust that number dynamically as system conditions change. Another problem is that your application assumes most of the costs associated with creating and maintaining any threads it uses.

上述大致说出了直接操纵线程实现多线程的弊端:

  • 开发人员必须根据系统的变化动态调整线程的数量和状态,即对开发者的负担重。
  • 应用程序会在创建和维护线程上消耗很多成本,即效率低。

相对的,GCD是一套低层级的C API,通过 GCD,开发者只需要向队列中添加一段代码块(block或C函数指针),而不需要直接和线程打交道。GCD在后端管理着一个线程池,它不仅决定着你的代码块将在哪个线程被执行,还根据可用的系统资源对这些线程进行管理。GCD的工作方式,使其拥有很多优点(快、稳、准):

  • 快,更快的内存效率,因为线程栈不暂存于应用内存。
  • 稳,提供了自动的和全面的线程池管理机制,稳定而便捷。
  • 准,提供了直接并且简单的调用接口,使用方便,准确。

二、队列和任务

初学GCD的时候,肯定会纠结一些看似很关键但却毫无意义的问题。比如:GCD和线程到底什么关系;异步任务到底在哪个线程工作;队列到底是个什么东西;mian queue和main thread到底搞什么名堂等等。现在,这些我们直接略过(最后拾遗中会谈一下),苹果既然推荐使用GCD,那么为什么还要纠结于线程呢?需要关注的只有两个概念:队列、任务。

1. 队列

调度队列是一个对象,它会以first-in、first-out的方式管理您提交的任务。GCD有三种队列类型:

  • 串行队列,串行队列将任务以先进先出(FIFO)的顺序来执行,所以串行队列经常用来做访问某些特定资源的同步处理。你可以也根据需要创建多个队列,而这些队列相对其他队列都是并发执行的。换句话说,如果你创建了4个串行队列,每一个队列在同一时间都只执行一个任务,对这四个任务来说,他们是相互独立且并发执行的。如果需要创建串行队列,一般用dispatch_queue_create这个方法来实现,并指定队列类型DISPATCH_QUEUE_SERIAL。
  • 并行队列,并发队列虽然是能同时执行多个任务,但这些任务仍然是按照先到先执行(FIFO)的顺序来执行的。并发队列会基于系统负载来合适地选择并发执行这些任务。并发队列一般指的就是全局队列(Global queue),进程中存在四个全局队列:高、中(默认)、低、后台四个优先级队列,可以调用dispatch_get_global_queue函数传入优先级来访问队列。当然我们也可以用dispatch_queue_create,并指定队列类型DISPATCH_QUEUE_CONCURRENT,来自己创建一个并发队列。
  • 主队列,与主线程功能相同。实际上,提交至main queue的任务会在主线程中执行。main queue可以调用dispatch_get_main_queue()来获得。因为main queue是与主线程相关的,所以这是一个串行队列。和其它串行队列一样,这个队列中的任务一次只能执行一个。它能保证所有的任务都在主线程执行,而主线程是唯一可用于更新 UI 的线程。

额外说一句,上面也说过,队列间的执行是并行的,但是也存在一些限制。比如,并行执行的队列数量受到内核数的限制,无法真正做到大量队列并行执行;比如,对于并行队列中的全局队列而言,其存在优先级关系,执行的时候也会遵循其优先顺序,而不是并行。

2. 任务

linux内核中的任务的定义是描述进程的一种结构体,而GCD中的任务只是一个代码块,它可以指一个block或者函数指针。根据这个代码块添加进入队列的方式,将任务分为同步任务和异步任务:

  • 同步任务,使用dispatch_sync将任务加入队列。将同步任务加入串行队列,会顺序执行,一般不这样做并且在一个任务未结束时调起其它同步任务会死锁。将同步任务加入并行队列,会顺序执行,但是也没什么意义。
  • 异步任务,使用dispatch_async将任务加入队列。将异步任务加入串行队列,会顺序执行,并且不会出现死锁问题。将异步任务加入并行队列,会并行执行多个任务,这也是我们最常用的一种方式。

3. 简单应用

// 队列的创建,queue1:中(默认)优先级的全局并行队列、queue2:主队列、queue3:未指定type则为串行队列、queue4:指定串行队列、queue5:指定并行队列

dispatch_queue_t queue1 = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);

dispatch_queue_t queue2 = dispatch_get_main_queue();

dispatch_queue_t queue3 = dispatch_queue_create("queue3", NULL);

dispatch_queue_t queue4 = dispatch_queue_create("queue4", DISPATCH_QUEUE_SERIAL);

dispatch_queue_t queue5 = dispatch_queue_create("queue5", DISPATCH_QUEUE_CONCURRENT);

// 队列中添加异步任务

dispatch_async(queue1, ^{

    // 任务...

});

// 队列中添加同步任务

dispatch_sync(queue1, ^{

    // 任务...

});

 

三、GCD常见用法和应用场景

非常喜欢一句话:Talk is cheap, show me the code.接下来对GCD的使用,我会通过代码展示。

1. dispatch_async

一般用法

dispatch_queue_t globalQueue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);dispatch_async(globalQueue, ^{

    // 一个异步的任务,例如网络请求,耗时的文件操作等等

    ...

    dispatch_async(dispatch_get_main_queue(), ^{

        // UI刷新

        ...

    });

});

应用场景
这种用法非常常见,比如开启一个异步的网络请求,待数据返回后返回主队列刷新UI;又比如请求图片,待图片返回刷新UI等等。

2. dispatch_after

一般用法

dispatch_queue_t queue= dispatch_get_main_queue();

dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(5.0 * NSEC_PER_SEC)), queue, ^{    

    // 在queue里面延迟执行的一段代码

    ...

});

应用场景
这为我们提供了一个简单的延迟执行的方式,比如在view加载结束延迟执行一个动画等等。

3. dispatch_once

一般用法


1

2

3

4

static dispatch_once_t onceToken;dispatch_once(&onceToken, ^{    

    // 只执行一次的任务

    ...

});

应用场景
可以使用其创建一个单例,也可以做一些其他只执行一次的代码,比如做一个只能点一次的button(好像没啥用)。

4. dispatch_group

一般用法


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);

dispatch_group_t group = dispatch_group_create();

dispatch_group_async(group, queue, ^{    

    // 异步任务1

});

dispatch_group_async(group, queue, ^{    

    // 异步任务2

});

// 等待group中多个异步任务执行完毕,做一些事情,介绍两种方式

// 方式1(不好,会卡住当前线程)

dispatch_group_wait(group, DISPATCH_TIME_FOREVER);

...

// 方式2(比较好)

dispatch_group_notify(group, mainQueue, ^{    

    // 任务完成后,在主队列中做一些操作

    ...

});

应用场景
上述的一种方式,可以适用于自己维护的一些异步任务的同步问题;但是对于已经封装好的一些库,比如AFNetworking等,我们不获取其异步任务的队列,这里可以通过一种计数的方式控制任务间同步,下面为解决单界面多接口的一种方式。


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

// 两个请求和参数为我项目里面的不用在意。

// 计数+1

dispatch_group_enter(group);

[JDApiService getActivityDetailWithActivityId:self.activityId Location:stockAddressId SuccessBlock:^(NSDictionary *userInfo) {    

    // 数据返回后一些处理

    ...    

    // 计数-1

    dispatch_group_leave(group);

} FailureBlock:^(NSError *error) {    

    // 数据返回后一些处理

    ...    

    // 计数-1

    dispatch_group_leave(group);

}];

// 计数+1

dispatch_group_enter(group);

[JDApiService getAllCommentWithActivityId:self.activityId PageSize:3 PageNum:self.commentCurrentPage SuccessBlock:^(NSDictionary *userInfo) {    

    // 数据返回后一些处理

    ...    

    // 计数-1

    dispatch_group_leave(group);

} FailureBlock:^(NSError *error) {    

    // 数据返回后一些处理

    ...    

    // 计数-1

    dispatch_group_leave(group);

}];

// 其实用计数的说法可能不太对,但是就这么理解吧。会在计数为0的时候执行dispatch_group_notify的任务。

dispatch_group_notify(group, mainQueue, ^{    

    // 一般为回主队列刷新UI

    ...

});

 

5. dispatch_barrier_async

一般用法


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

// dispatch_barrier_async的作用可以用一个词概括--承上启下,它保证此前的任务都先于自己执行,此后的任务也迟于自己执行。本例中,任务4会在任务1、2、3都执行完之后执行,而任务5、6会等待任务4执行完后执行。

dispatch_queue_t queue = dispatch_queue_create("queue", DISPATCH_QUEUE_CONCURRENT);

dispatch_async(queue, ^{    

    // 任务1

    ...

});

dispatch_async(queue, ^{    

    // 任务2

    ...

});

dispatch_async(queue, ^{    

    // 任务3

    ...

});

dispatch_barrier_async(queue, ^{    

    // 任务4

    ...

});

dispatch_async(queue, ^{    

    // 任务5

    ...

});

dispatch_async(queue, ^{    

    // 任务6

    ...

});

应用场景
和dispatch_group类似,dispatch_barrier也是异步任务间的一种同步方式,可以在比如文件的读写操作时使用,保证读操作的准确性。另外,有一点需要注意,dispatch_barrier_sync和dispatch_barrier_async只在自己创建的并发队列上有效,在全局(Global)并发队列、串行队列上,效果跟dispatch_(a)sync效果一样。

6. dispatch_apply

一般用法


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

// for循环做一些事情,输出0123456789

for (int i = 0; i < 10; i ++) {

    NSLog(@"%d", i);

}

// dispatch_apply替换(当且仅当处理顺序对处理结果无影响环境),输出顺序不定,比如1098673452

dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);

/*! dispatch_apply函数说明

*

*  @brief  dispatch_apply函数是dispatch_sync函数和Dispatch Group的关联API

*         该函数按指定的次数将指定的Block追加到指定的Dispatch Queue中,并等到全部的处理执行结束

*

*  @param 10    指定重复次数  指定10次

*  @param queue 追加对象的Dispatch Queue

*  @param index 带有参数的Block, index的作用是为了按执行的顺序区分各个Block

*

*/

dispatch_apply(10, queue, ^(size_t index) {

    NSLog(@"%zu", index);

});

应用场景
那么,dispatch_apply有什么用呢,因为dispatch_apply并行的运行机制,效率一般快于for循环的类串行机制(在for一次循环中的处理任务很多时差距比较大)。比如这可以用来拉取网络数据后提前算出各个控件的大小,防止绘制时计算,提高表单滑动流畅性,如果用for循环,耗时较多,并且每个表单的数据没有依赖关系,所以用dispatch_apply比较好。

7. dispatch_suspend和dispatch_resume

一般用法


1

2

3

dispatch_queue_t queue = dispatch_get_main_queue();

dispatch_suspend(queue); //暂停队列

queuedispatch_resume(queue);  //恢复队列queue

应用场景
这种用法我还没有尝试过,不过其中有个需要注意的点。这两个函数不会影响到队列中已经执行的任务,队列暂停后,已经添加到队列中但还没有执行的任务不会执行,直到队列被恢复。

8. dispatch_semaphore_signal

一般用法


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

// dispatch_semaphore_signal有两类用法:a、解决同步问题;b、解决有限资源访问(资源为1,即互斥)问题。

// dispatch_semaphore_wait,若semaphore计数为0则等待,大于0则使其减1。

// dispatch_semaphore_signal使semaphore计数加1。

// a、同步问题:输出肯定为1、2、3。

dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);

dispatch_semaphore_t semaphore1 = dispatch_semaphore_create(1);

dispatch_semaphore_t semaphore2 = dispatch_semaphore_create(0);

dispatch_semaphore_t semaphore3 = dispatch_semaphore_create(0);

dispatch_async(queue, ^{    

    // 任务1

    dispatch_semaphore_wait(semaphore1, DISPATCH_TIME_FOREVER);

    NSLog(@"1\n");

    dispatch_semaphore_signal(semaphore2);

    dispatch_semaphore_signal(semaphore1);

});

dispatch_async(queue, ^{    

    // 任务2

    dispatch_semaphore_wait(semaphore2, DISPATCH_TIME_FOREVER);

    NSLog(@"2\n");

    dispatch_semaphore_signal(semaphore3);

    dispatch_semaphore_signal(semaphore2);

});

dispatch_async(queue, ^{    

    // 任务3

    dispatch_semaphore_wait(semaphore3, DISPATCH_TIME_FOREVER);

    NSLog(@"3\n");

    dispatch_semaphore_signal(semaphore3);

});

// b、有限资源访问问题:for循环看似能创建100个异步任务,实质由于信号限制,最多创建10个异步任务。

dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);

dispatch_semaphore_t semaphore = dispatch_semaphore_create(10);

for (int i = 0; i < 100; i ++) {

    dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);

    dispatch_async(queue, ^{    

        // 任务

        ...

        dispatch_semaphore_signal(semaphore);

    });

}

应用场景
其实关于dispatch_semaphore_t,并没有看到太多应用和资料解释,我只能参照自己对linux信号量的理解写了两个用法,经测试确实相似。这里,就不对一些死锁问题进行讨论了。

9.  dispatch_set_context、dispatch_get_context和dispatch_set_finalizer_f

一般用法


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

// dispatch_set_context、dispatch_get_context是为了向队列中传递上下文context服务的。

// dispatch_set_finalizer_f相当于dispatch_object_t的析构函数。

// 因为context的数据不是foundation对象,所以arc不会自动回收,一般在dispatch_set_finalizer_f中手动回收,所以一般讲上述三个方法绑定使用。

- (void)test

{    

    // 几种创建context的方式

    // a、用C语言的malloc创建context数据。

    // b、用C++的new创建类对象。

    // c、用Objective-C的对象,但是要用__bridge等关键字转为Core Foundation对象。

    dispatch_queue_t queue = dispatch_queue_create("queue", DISPATCH_QUEUE_CONCURRENT);    

    if (queue) {        

        // "123"即为传入的context

        dispatch_set_context(queue, "123");

        dispatch_set_finalizer_f(queue, &xigou);

    }

    dispatch_async(queue, ^{        

        char *string = dispatch_get_context(queue);

        NSLog(@"%s", string);

    });

}

// 该函数会在dispatch_object_t销毁时调用。

void xigou(void *context){    

    // 释放context的内存(对应上述abc)

    // a、CFRelease(context);

    // b、free(context);

    // c、delete context;

}

应用场景
dispatch_set_context可以为队列添加上下文数据,但是因为GCD是C语言接口形式的,所以其context参数类型是“void *”。需使用上述abc三种方式创建context,并且一般结合dispatch_set_finalizer_f使用,回收context内存。

四、内存和安全

稍微提一下吧,因为部分人纠结于dispatch的内存问题。
内存

  • MRC:用dispatch_retain和dispatch_release管理dispatch_object_t内存。
  • ARC:ARC在编译时刻自动管理dispatch_object_t内存,使用retain和release会报错。

安全
dispatch_queue是线程安全的,你可以随意往里面添加任务。

五、拾遗

这里主要提一下GCD的一些坑和线程的一些问题。

1. 死锁

dispatch_sync


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

// 假设这段代码执行于主队列

dispatch_queue_t serialQueue = dispatch_queue_create("serialQueue", DISPATCH_QUEUE_SERIAL);

dispatch_queue_t mainQueue = dispatch_get_main_queue();

// 在主队列添加同步任务

dispatch_sync(mainQueue, ^{    

    // 任务

    ...

});

// 在串行队列添加同步任务 

dispatch_sync(serialQueue, ^{    

    // 任务

    ...    

    dispatch_sync(serialQueue, ^{        

        // 任务

        ...

    });

};

dispatch_apply


1

2

3

4

5

6

7

8

9

10

// 因为dispatch_apply会卡住当前线程,内部的dispatch_apply会等待外部,外部的等待内部,所以死锁。

dispatch_queue_t queue = dispatch_queue_create("queue", DISPATCH_QUEUE_CONCURRENT);

dispatch_apply(10, queue, ^(size_t) {    

    // 任务

    ...

    dispatch_apply(10, queue, ^(size_t) {       

        // 任务

        ...

    });

});

dispatch_barrier
dispatch_barrier_sync在串行队列和全局并行队列里面和dispatch_sync同样的效果,所以需考虑同dispatch_sync一样的死锁问题。

2. dispatch_time_t


1

2

3

4

5

6

7

8

9

// dispatch_time_t一般在dispatch_after和dispatch_group_wait等方法里作为参数使用。这里最需要注意的是一些宏的含义。

// NSEC_PER_SEC,每秒有多少纳秒。

// USEC_PER_SEC,每秒有多少毫秒。

// NSEC_PER_USEC,每毫秒有多少纳秒。

// DISPATCH_TIME_NOW 从现在开始

// DISPATCH_TIME_FOREVE 永久

// time为1s的写法

dispatch_time_t time = dispatch_time(DISPATCH_TIME_NOW, 1 * NSEC_PER_SEC);

3. GCD和线程的关系

如果你是新手,GCD和线程暂时木有关系。
如果你是高手,我们做朋友吧。

六、参考文献

1、https://developer.apple.com/library/mac/documentation/General/Conceptual/ConcurrencyProgrammingGuide/OperationQueues/OperationQueues.html#//apple_ref/doc/uid/TP40008091-CH102-SW2
2、https://developer.apple.com/library/ios/documentation/Performance/Reference/GCD_libdispatch_Ref/
3、http://tutuge.me/2015/04/03/something-about-gcd/
4、http://www.jianshu.com/p/85b75c7a6286
5、http://www.jianshu.com/p/d56064507fb8

时间: 2024-10-10 03:21:45

巧谈GCD的相关文章

巧谈 GCD

转载自:http://www.jianshu.com/p/665261814e24 谈到iOS多线程,一般都会谈到四种方式:pthread.NSThread.GCD和NSOperation.其中,苹果推荐也是我们最经常使用的无疑是GCD.对于身为开发者的我们来说,并发一直都很棘手,如果对GCD的理解不够透彻,那么iOS开发的历程绝对不会顺利.这里,我会从几个角度浅谈我对GCD的理解. 一.多线程背景 Although threads have been around for many years

iOS多线程编程——浅谈GCD

GCD对于iOS开发者来说肯定不陌生,他和NSThread,NSOperation一起作为iOS开发中主要的三种多线程实现方法,而GCD是最最底层的,所以对于作为一个iOSer,GCD是必须掌握的. 我通过对于以下两篇文章的阅读,基本上掌握了GCD的基本使用方法.所以首先感谢两位作者. GCD 深入理解:第一部分 iOS多线程开发--GCD的使用与多线程开发浅析(二) 一.基本概念 对于新手来说,最常见同时最容易搞混的的莫过于GCD中的一些基本概念了. 并行与并发(Parallelism &&am

iOS 信号量

信号量就是一个资源计数器,对信号量有两个操作来达到互斥,分别是P和V操作. 一般情况是这样进行临界访问或互斥访问的: 设信号量值为1, 当一个进程1运行是,使用资源,进行P操作,即对信号量值减1,也就是资源数少了1个.这是信号量值为0.系统中规定当信号量值为0是,必须等待,知道信号量值不为零才能继续操作. 这时如果进程2想要运行,那么也必须进行P操作,但是此时信号量为0,所以无法减1,即不能P操作,也就阻塞.这样就到到了进程1排他访问. 当进程1运行结束后,释放资源,进行V操作.资源数重新加1,

手机游戏备案

巧谈申办国产网络游戏产品备案所需材料 客户需提供材料如下: (一)文化部网络游戏备案申报表 (二)游戏主题以及内容说明书: (三)游戏操作说明: (四)游戏样品: 1. 客户端游戏:提供游戏客户端(包括网络游戏软件客户端程序,以CD-ROM或DVD光盘为载体)三份,并提供登录账号及其相应密码,该账号应当可以遍历游戏全部场景和功能: 2. 网页游戏:提供游戏服务器登录地址,并提供三份登录账号及其相应密码,该账号应当可以遍历游戏全部场景和功能: 3. 手机游戏:提供装有报备游戏的手机三台(备案后退还

文治见众那应花教五少象产交员被音族otnpoblt08

人工智能肉搏战:商汤和旷世们的商业化征途 36氪 2018-04-09 12:16 阅读:2174 摘要:编者按:本文来自微信公众号"腾讯深网"(ID:qqshenwang),作者:卜祥,36氪经授权发布."我要把商汤挤出去."吴文昊说出了心里话.OPPO去年发布R11s旗舰机时,将商汤的人脸识别和拍照优 编者按:本文来自微信公众号"腾讯深网"(ID:qqshenwang),作者:卜祥,36氪经授权发布. "我要把商汤挤出去."

GCD使用经验与技巧浅谈--备

GCD(Grand Central Dispatch)可以说是Mac.iOS开发中的一大“利器”,本文就总结一些有关使用GCD的经验与技巧. dispatch_once_t必须是全局或static变量 这一条算是“老生常谈”了,但我认为还是有必要强调一次,毕竟非全局或非static的dispatch_once_t变量在使用时会导致非常不好排查的bug,正确的如下: 1 2 3 4 5 //静态变量,保证只有一份实例,才能确保只执行一次 static dispatch_once_t onceTok

从NSTimer的失效性谈起(二):关于GCD Timer和libdispatch

一.GCD Timer的创建和安放 尽管GCD Timer并不依赖于NSRunLoop,可是有没有可能在某种情况下,GCD Timer也失效了?就好比一開始我们也不知道NSTimer相应着一个runloop的某种mode. 先来看看GCD Timer的用法: dispatch_source_t timer = dispatch_source_create(DISPATCH_SOURCE_TYPE_TIMER, 0, 0, aQueue); dispatch_source_set_timer(ti

GCD使用经验与技巧浅谈

前言 GCD(Grand Central Dispatch)可以说是Mac.iOS开发中的一大“利器”,本文就总结一些有关使用GCD的经验与技巧. dispatch_once_t必须是全局或static变量 这一条算是“老生常谈”了,但我认为还是有必要强调一次,毕竟非全局或非static的dispatch_once_t变量在使用时会导致非常不好排查的bug,正确的如下: 1 2 3 4 5 //静态变量,保证只有一份实例,才能确保只执行一次 static dispatch_once_t once

浅谈Stein算法求最大公约数(GCD)的原理及简单应用

一.Stein算法过程及其简单证明 1.一般步骤: s1:当两数均为偶数时将其同时除以2至至少一数为奇数为止,记录除掉的所有公因数2的乘积k: s2:如果仍有一数为偶数,连续除以2直至该数为奇数为止: s3:用更相减损法(辗转相减法),即GCD(a,b)=GCD(a-b,b)求出两奇数的最大公约数d: s4:原来两数的最大公约数即为d*k: 2.简单证明: s1:即为求出两数为2的幂次方的最大公因数k: s2:当化简后两数一奇一偶时,显然奇数是不含偶数因子的,那么另一化简后偶数的所有偶数因子都不