[论文解读] scriptJ(TM) extension of Java(R): discretionary, adaptive concurrency for privacy-friendly, client-cloud computing

Carl Hewitt|arXiv (Cornell University)|Aug 16, 2010

Distributed and Parallel Computing Systems被引用 1

一句话总结

本文提出 iScript(TM)，一种通用编程语言，通过消息传递抽象实现自主式、自适应并发，消除底层并发原语。它通过整合函数式与逻辑编程、利用 'sponsors' 管理系统资源，并支持隐私友好的客户端-云计算，实现高性能与高表达性，无需使用低层级线程或锁。

ABSTRACT

iScript(TM) is a general purpose programming language for implementing discretionary, adaptive concurrency that manages resources and demand. It is differentiated from other concurrent languages by the following: - Universality o Everything in the language is accomplished using message passing including the very definition of iScript itself. o Directly express discretionary push and pull concurrency o Functional and Logic Programming are integrated into general concurrent programming. o Programs do not expose low-level implementation mechanisms such as threads, tasks, channels, queues, locks, cores, etc. o Program resource control of energy, processing, storage, and communications using sponsors. o Binary XML and JSON are data types o Applications cannot directly harm each other. - Efficiency o Allow execution to be dynamically adjusted for system load and capacity (cores) o Minimize latency along critical paths - For ease of reading, programming can be displayed using a 2-dimensional textual typography (as is often done in mathematics). iScript attempts to achieve the highest level of performance, scalability, and expressibility with a minimum of primitives. Objective C is a registered trademark of Apple, Inc.

研究动机与目标

• 解决传统并发编程模型在客户端-云环境中复杂且不安全的问题。
• 消除线程、锁和队列等低层级并发原语，以减少攻击面并提高可移植性。
• 提供统一且高表达性的并发编程模型，整合函数式与逻辑编程范式。
• 通过赞助机制实现动态、自适应的资源管理（能源、CPU、存储、带宽）。
• 确保应用间强隔离，防止直接损害，提升在不受信任的云环境中的隐私保护。

提出的方法

• 所有语言构造，包括语言定义本身，均通过消息传递表达，确保一致性与组合性。
• 通过消息传递模式可直接表达自主式推送与拉取并发，实现灵活协调。
• 资源控制通过 'sponsors' 实现——一类可管理 CPU、内存和网络等系统资源的头等实体。
• 二进制 XML 和 JSON 作为头等数据类型原生支持，提升分布式系统中数据交换效率。
• 程序默认处于隔离状态，无法直接访问彼此的状态或资源，确保安全与隐私。
• 采用二维文本排版提升可读性与表达性，模仿数学符号以增强清晰度。

实验结果

研究问题

• RQ1 通用编程语言如何在不暴露低层级系统原语的前提下支持自适应并发？
• RQ2 在不牺牲性能的前提下，函数式与逻辑编程能否原生集成到并发编程模型中？
• RQ3 基于赞助的模型能否有效管理 CPU、内存和网络等系统资源，同时保持响应性与低延迟？
• RQ4 在共享云环境中，如何在不带来性能开销的前提下实现应用间的强隔离？
• RQ5 仅靠消息传递抽象是否足以提供真实世界客户端-云应用所需的足够表达性与效率？

主要发现

• iScript 通过 sponsors 实现完整的系统级资源控制，支持在无低层级线程的情况下动态适应系统负载与容量。
• 通过自适应并发最小化关键执行路径上的延迟，语言实现了高性能与高可扩展性。
• 函数式与逻辑编程范式已完全集成到并发模型中，支持表达性强且可组合的应用逻辑。
• 应用默认处于隔离状态，防止直接干扰，提升在不受信任的云部署中的隐私保护。
• 二维排版的使用提升了代码可读性与可维护性，尤其适用于复杂的并发与声明式结构。
• 二进制 XML 和 JSON 作为头等数据类型，支持分布式系统中高效的数据序列化与交换。