Capabilities for Coders

编码员的能力

• 批准号: EP/X015831/1
• 负责人: Jeremy Singer
• 金额: $ 13.1万
• 依托单位: University of Glasgow
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2022
• 资助国家: 英国
• 起止时间: 2022 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FX015831%2F1
• 关键词: Capabilities; Coders

The 'Capabilities for Coders' project involves the creation and curation of a set of freely available Morello coding resources for system developers. Standard developer behaviour involves interactive searching through online forums like StackOverflow and web tutorials like W3Schools. Currently there are no relevant targeted resources available for the Arm Morello system, and very few sites covering CHERI concepts in a developer-friendly style. This project will set up a one-stop shop for Morello programming, in the form of an open-access, online, interactive textbook called 'Capabilities for Coders'. This will be in the best tradition of programming language books - written by coders for coders. The unique appeal of this learning resource will be the inclusion of a large set of open-source code templates and fragments, effectively a library of reusable software samples for Morello applications written in C and C++ with assembler code where necessary.The textbook and accompanying code samples will serve to enrich understanding of the current and evolving Morello stacks, providing support for existing developers and new arrivals in this domain. Because the learning resources are hosted online, it will be straightforward to keep them up-to-date (unlike hardcopy textbooks). Because the learning resources will be developed using the github platform, any user will be able to submit corrections and change requests. This will ensure the ongoing relevance of the project as the Morello technology evolves over time.The project outputs will be open-access and freely available online. There will be no registration requirement or paywall. The site will be indexed by all major search engines. The resources will be clear, globally visible and highly accessible. These resources will provide direct, immediate benefit to the Morello ecosystem of developers.At this stage, it is not possible to give a full table of contents for the online textbook. However, topics broadly covered will include: motivating the need for memory safety in systems code, hardware capabilities for memory safety, motivating compartmentalization in modern systems software, hardware capabilities for compartments, porting legacy applications to Morello, debugging capability-based code, performance engineering for capability-based code, and future directions. Each topic will be accompanied by an extensive range of open-source code examples to illustrate the various concepts. These software samples will be easily reusable by developers in their own code projects.Additionally, the 'Capabilities for Coders' project will serve the community by posting relevant answers on StackOverflow and producing a podcast series.

“Capabilities for Coders”项目涉及为系统开发人员创建和管理一组免费可用的Morello编码资源。标准的开发者行为包括通过StackOverflow等在线论坛和W3Schools等网络教程进行交互式搜索。目前，Arm Morello系统没有相关的目标资源，也很少有网站以开发人员友好的方式介绍CHERI概念。该项目将为Morello编程建立一个一站式商店，其形式是开放访问，在线，交互式教科书，名为“程序员能力”。这将是编程语言书籍的最佳传统-由程序员为程序员编写。这本学习资源的独特吸引力将是包含大量的开源代码模板和片段，有效地为Morello应用程序编写C和C++的汇编代码在必要时可重用的软件样本库。教科书和附带的代码样本将有助于丰富对当前和不断发展的Morello堆栈的理解，为该领域的现有开发人员和新来者提供支持。因为学习资源是在线托管的，所以保持它们的最新状态很简单（不像硬拷贝教科书）。由于学习资源将使用github平台开发，因此任何用户都可以提交更正和更改请求。随着Morello技术的不断发展，这将确保项目的持续相关性，项目成果将开放获取，并可在网上免费获取。没有注册要求或付费墙。该网站将被所有主要搜索引擎索引。这些资源将是明确的、全球可见的和容易获得的。这些资源将为Morello的开发者生态系统提供直接的、即时的好处。在现阶段，还不可能给出在线教科书的完整目录。然而，广泛涵盖的主题将包括：激发系统代码中内存安全的需求，内存安全的硬件功能，激发现代系统软件中的划分，隔间的硬件功能，将遗留应用程序移植到Morello，调试基于功能的代码，基于功能的代码的性能工程，以及未来的方向。每个主题都将附有广泛的开源代码示例，以说明各种概念。这些软件样本将很容易被开发人员在他们自己的代码项目中重用。此外，“编码员的能力”项目将通过在StackOverflow上发布相关答案并制作播客系列来为社区服务。

项目成果

Morello MicroPython: A Python Interpreter for CHERI

Morello MicroPython：CHERI 的 Python 解释器

• DOI: 10.1145/3617651.3622991
• 发表时间: 2023
• 作者: Lowther D

CHERI Performance Enhancement for a Bytecode Interpreter

字节码解释器的 CHERI 性能增强

• DOI: 10.1145/3623507.3623552
• 发表时间: 2023
• 作者: Lowther D

Boehm-Demers-Weiser Garbage Collection on Morello

莫雷洛的 Boehm-Demers-Weiser 垃圾收集

• DOI: 10.1145/3546918.3560808
• 发表时间: 2022
• 作者: Jacob D

Picking a CHERI Allocator: Security and Performance Considerations

选择 CHERI 分配器：安全性和性能考虑因素

• DOI: 10.1145/3591195.3595278
• 发表时间: 2023
• 作者: Bramley J