System support for distributed, reliable and personal computing

这项研究计划的长期目标是改善人们日常使用的应用程序和服务的系统软件支持，使系统更加可靠和安全，使它们更容易构建和维护，并简化和授权用户在管理他们使用的系统和管理他们存储的数据方面的角色。第一个目标是在拥塞的802.11无线网络中提高性能并确保公平性。我们将开发一种系统，在无线流量通过网络有线部分的路由器时对其进行监控，并通过限制有线网络发送给共享重叠空域的节点的总带宽来缓解无线网络中的拥塞。第二个目标是继续开发一种新的方法来理解和调试程序，用户可以通过检查执行历史来执行这些任务。该系统收集和存储大量的、高保真的系统执行跟踪，并提供一组基于语言语义的查询工具，用于检查和操作该历史记录。第三个目标是为现代个人计算环境构建一种新型存储系统，在这种环境中，用户可以访问从电话、计算机到网络服务等大量异构设备上的重叠数据集。该系统将为用户提供他们存储在任何设备上的每个对象的单一联合视图，并将使用该视图确保在设备之间复制对象时保留其身份，并在修改时保留其一致性。

The long-term objective of this research program is to improve system-software support for applications and services that people use on a daily basis, to make systems more reliable and secure, to make them easier to build and maintain, and to simplify and empower the user's role in administering the systems they use and in managing the data they store.The first objective is to improve performance and ensure fairness in congested 802.11 wireless networks. We will develop a system that monitors wireless traffic as it traverses a router in the wired part of the network and that alleviates congestion in the wireless network by limiting the aggregate bandwidth the wired network sends to nodes that share overlapping airspace. The second objective is to continue to develop a novel approach to program understanding and debugging in which users perform these tasks by examining execution histories. The system collects and stores vast, high-fidelity traces of system execution and provides a set of language-semantic-based query tools for examining and manipulating this history.The third objective is to build a new type of storage system for modern, personal computing environments in which users access an overlapping set of data on a large number of heterogeneous devices ranging from phones, to computers, to network services. This system will provide users with a single, confederated view of every object they store on any device and will use this view to ensure that an object's identity is preserved when it is copied among devices and that its consistency is preserved when it is modified.