A Programming Model of Object Validity for Secure and Efficient Concurrency

用于安全高效并发的对象有效性编程模型

• 批准号: DP0987236
• 负责人: Prof Jingling Xue
• 金额: $ 27.06万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2009
• 资助国家: 澳大利亚
• 起止时间: 2009-06-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0987236
• 关键词: Programming; Model; Object; Validity; Secure

To provide improved performance and security for software applications, Australia's ICT industry must adapt to the complex programming demands of modern multicore processors. The programming model developed in the project represents a breakthrough solution. A seamless integration of concurrency and object orientation leads to a simple yet powerful programming style that is compatible with today's premier approach to building large-scale software systems with significantly improved performance and security. The product will reduce development time for compute-intensive applications in many industry sectors, including health care (e.g. patient monitoring), finance, defence, environment, mining, manufacturing and computer games.

为了提高软件应用程序的性能和安全性，澳大利亚的ICT行业必须适应现代多核处理器的复杂编程需求。该项目中开发的编程模型代表了一种突破性的解决方案。并发性和面向对象的无缝集成带来了一种简单而强大的编程风格，这种风格与当今构建大规模软件系统的主要方法相兼容，并显着提高了性能和安全性。该产品将减少许多行业中计算密集型应用程序的开发时间，包括医疗保健（例如病人监测）、金融、国防、环境、采矿、制造和电脑游戏。