A dynamic C-based object-oriented system for Unix

Calico, a C-based object-oriented language supported by an integrated software development environment, is described. Calico features strict encapsulation, dynamic binding, fast garbage collection, and interoperability with C. It provides a simple, uniformly applied object model, a syntax easily mastered by C programmers, a new multiple inheritance model, simple method-call semantics with some novel extension and effective support for the team development process. Although Calico introduces some unique language features, its primary contribution is the productivity advantage that this feature integration provides for the Unix/C environment     

Time for a standard Unix

It is important that there should be a standard for Unix, since this will make porting and maintenance easier. AT&T would like System V to become the standard, but has not considered the nonpaging systems. Xenix is likely to switch to System V, but will not disappear altogether. AT&T is now moving into Europe, but will find problems sellng Unix in nonEnglish-speaking countries.     

Extending Unix for scalable computing

Because it retrieves all instructions and data from a single memory, the von Neumann computer architecture has a fundamental speed limit. The scalable multicomputer architecture, which uses many microprocessors together to solve a single problem and can run at teraflop speeds, may be a solution. While teraflop processor technology is known, the scalable operating and I/O system technology necessary for those speeds are not known. The authors describe how Unix can be extended to scalable computing, permitting teraflop speeds and offering parallel computing to users unfamiliar with parallel programming. They designed this technology into the system software of the Ncube-2, the predecessor to Ncube's announced teraflop parallel computer. The authors describe the system in detail and provide some performance results     

A Similarity-Based Hypertext Browser for Reading the Unix Network News

HyperNews is a prototype user interface to reading the articles coming in over the Unix network news. HyperNews automatically constructs hypertext links between articles which are part of a stream of articles commenting on each other, and it also constructs links to articles outside these streams if they are considered related to the current article according to a similarity rating based on an information retrieval formula.     

Unix浅说

<正> C.Unix,这几个字母的组合在喜欢采用缩写词的计算机界很是引人注目。据传C语言能够代替所有的语言,从汇编语言直到Pascal语言。可是,只有那些心甘情愿与花了五年时间才搞出来的C语言文本和许多曲曲弯弯的字符打交道的人才能弄懂C语言。Unix是由Bell实验室搞出来的带有传奇色彩的操作系统。目前,有四十多个计算机厂家采用五、六个名称来推销这一产品。为什么人们总是把C     

Unix文件系统技术分析

本文主要文件系统的管理机制、物理结构、安全和共享等方面分析了Unix文件系统并加以评论。     

Unix文件系统技术分析

本文主要从文件系统的管理机制、物理结构、安全和共享等方面分析了Unix文件系统并加以评论。     

Unix进程检查点设置关键技术

Unix进程的检查点设置是实现分布/并行系统容错、重播调试、进程迁移、系统模拟和作业切换等功能的基础。该论文主要论述UNIX进程检查点基本信息的保存与恢复、文件检查点、检查点信息的优化等关键技术,最后介绍Libckpt、Condor以及自行设计的Libcsm等检查点设置工具。     

A repository of Unix history and evolution

The history and evolution of the Unix operating system is made available as a revision management repository, covering the period from its inception in 1972 as a five thousand line kernel, to 2016 as a widely-used 27 million line system. The 1.1gb repository contains 496 thousand commits and 2,523 branch merges. The repository employs the commonly used Git version control system for its storage, and is hosted on the popular GitHub archive. It has been created by synthesizing with custom software 24 snapshots of systems developed at Bell Labs, the University of California at Berkeley, and the 386bsd team, two legacy repositories, and the modern repository of the open source Freebsd system. In total, 973 individual contributors are identified, the early ones through primary research. The data set can be used for empirical research in software engineering, information systems, and software archaeology.     

A visual language for modeling multiple perspectives of business process compliance rules

A fundamental challenge for enterprises is to ensure compliance of their business processes with imposed compliance rules stemming from various sources, e.g., corporate guidelines, best practices, standards, and laws. In general, a compliance rule may refer to multiple process perspectives including control flow, time, data, resources, and interactions with business partners. On one hand, compliance rules should be comprehensible for domain experts who must define, verify, and apply them. On the other, these rules should have a precise semantics to avoid ambiguities and enable their automated processing. Providing a visual language is advantageous in this context as it allows hiding formal details and offering an intuitive way of modeling the compliance rules. However, existing visual languages for compliance rule modeling have focused on the control flow perspective so far, but lack proper support for the other process perspectives. To remedy this drawback, this paper introduces the extended Compliance Rule Graph language, which enables the visual modeling of compliance rules with the support of multiple perspectives. Overall, this language will foster the modeling and verification of compliance rules in practice.     

Linda meets Unix

The limitations of the shared-memory and distributed-memory models for explicit parallel programming are discussed and a new model, the Linda parallel communication paradigm which was designed specifically for parallel programming, is examined. Processes communicate in Linda by way of a shared data space called tuple space which acts something like an associative memory, since tuples are identified by matching on a key rather than using a specific address. This model is adapted for use as the basis of a new class of operating systems and a specific instance, QIX, is presented. Like Linda, this operating system model can support both the shared-memory and the distributed-memory styles of programming. Thus, it provides the benefits of both, while avoiding hardware dependencies. QIX also incorporates a novel scheme for name resolution that is easier to use than other methods and provides significant benefits in the operating system and it directly supports communication between programs written in different languages     

A visual environment for visual languages

The visual environment GENGED supports the visual definition of visual languages (VLs). Each VL is defined by an alphabet and a grammar. From a specific VL-definition, a VL-specification is generated which is the input of a graphical editor allowing for syntax-directed editing of diagrams over the specified VL. GENGED as well as each VL is based on the well-defined concepts of algebraic graph transformation and graphical constraint solving. The underlying formalism is hidden from the user, but it is essential for a formal presentation and manipulation of graphical structures. In this contribution, the GENGED concepts and environment are briefly proposed and illustrated by the definition of a simple kind of the well-known statechart language.