随着计算机领域硬件技术及软件技术的快速发展，多核处理器已被广泛应用。传统的串行编程所开发的程序无法充分发挥多核处理器的性能。并发编程是一种高效利用多核性能的重要途径，通过并发编程可以设计得到及时响应、分布式、容错的系统。函数式编程具有高阶函数传递、惰性求值、引用透明等特性，是并发研究领域的一个重要方面。Erlang作为一门面向并发的函数式编程语言，在64核处理器上已完成了测试并成功运行，且适合云计算的应用需求。　　本文主要研究了函数式编程的主要特性和Erlang高阶通信机制。在Erlang目前的高阶通信过程中，节点间发送的函数消息只是函数在模块中定义的引用，本质上是一种reference-passing的实现。本文基于Erlang程序的编译执行过程，Erlang高阶通信的底层实现原理及ERTS运行时系统的调度管理中的trap机制，对Erlang VM目前的高阶通信方式进行改进设计，研究内容包括:(1)将Erlang高阶通信中的reference-passing方式转换成program-passing方式，即真正的高阶通信。(2)支持高阶函数中依赖模块的自动确定及模块更新。(3)匿名函数的高阶通信过程中，将匿名函数的代码部分提取添加至临时模型进行同步。通过改进设计简化高阶通信的操作，直接将高阶函数作为消息进行通信，不需要开发者执行确定依赖模块、同步模块等操作。最后，通过实验对改进设计的实现结果进行测试检验，并通过一定规模的并发环境测试改进设计后Erlang进程实现高阶通信的平均消耗时间。