password636-CSDN博客

原创关于逻辑的一点体会

书摘离散数学的基础有三个主要内容：逻辑，集合和函数（《离散数学及其应用第四版》）。逻辑为什么有这样的地位？书中先讲了三点。1. Logic has rules. 这些规则给出了数学语句的准确含义。2. 逻辑是所有数学推理的基础。3. 逻辑在许多方面的实际应用：计算机的设计，计算机程序的设计等领域。集合为什么有这样的地位？所有的离散结构都是从集合构造而来，也即没有集合就没

2007-06-12 00:07:00 967

SRAM versus DRAMDRAM:Memory technologyPC memory is dominated by DRAMCharacterized by the fact that it must be constantly accessed or it will lose its stored data.NEED: create highly specialized and co

2007-08-01 00:02:00 871

原创 Abstraction Levels

what are abstraction levels?what are drivers?what are APIs?what are four basic parts of computer hardware?what are three busses of a typical computer?what are PCI, ISA, AGP, PC-105, VXI and so forth?w

2007-07-30 23:50:00 643

原创 Redirect

command filename2 　　把command命令以filename文件作为标准输入，以filename2文件作为标准输出command command command >&m 　　　把标准输出重定向到文件描述符m中command 0 standard input1 standard output2 standard errorWe assume that cout and ce

2006-05-23 16:10:00 937

原创 4.5. File Access Permissions

4.5. File Access Permissions"All the file types (directories, character special files, and so on) have permissions. Many people think only of regular files as having access permissions." Access

2006-05-17 23:30:00 1317

原创 IDs associated with each process and file’s mode word

IDs associated with each process and file’s mode word IDs associated with each processEvery process has seven or more IDs associated with it. The basic seven IDs are: process ID, real IDs (real

2006-05-17 21:54:00 908

原创 Process ID and special processes

Process ID and special processes (From 8.2. Process Identifiers) Process ID1. Keywords: unique, reuse 2. "unique”: "Because the process ID is the only well-known identifier of a process th

2006-05-17 14:51:00 1288

原创 File Types

/usr/include/bits/stat.h/* Encoding of the file mode.*//*取位宏，000 001111 000 000 000 000*/#define __S_IFMT 0170000 /* These bits determine file type.*//*7种文件类型宏*//* File types.*/#def

2006-05-16 00:02:00 1665 1

转载 ANSI history

ANSI history:1918年10月19日美国工程标准委员会(AESC)1928年AESC改组为美国标准协会(ASA)1966年8月又改组为美利坚合众国标准学会(USASI)1969年10月6日始改为美国国家标准学会(ANSI)总部设在纽约American Engineering Standards Committee->American Sta

2006-05-15 11:31:00 822

翻译 2.1. Introduction

Reason for UNIX standardization: 1.The proliferation of versions and differences during the 1980s. (Crazy 1980s.)2.Many large users.(Large ones always work.)In this chapter:1. Look at the various st

2006-05-15 11:07:00 862

翻译练习(Exercises)

练习(Exercises)1.1在你的系统上查证除根目录外，目录. 和.. 是不同的。1.2在程序figure1.6的输出中，进程ID为852和853的进程发生了什么?1.3在section 1.7中，perror的参数是用ISO C的属性const定义的，而rerror的整型参数(integer argument)则没有用此属性定义，为什么?1.4在附录B中的出错处理函数err_sy

2006-05-13 00:33:00 1270

翻译 1.12. 总结(summary)

1.12. 总结(summary)本章快速浏览了UNIX。我们描述了一些以后会多次见到的基本术语。我们已经见到了许多小的UNIX程序例子，从中可感知到本书的其余部分将会进一步介绍的内容。下一章是关于UNIX的标准化，以及该领域的工作对当代系统的影响。标准，特别是ISO C和POSIX.1标准将影响本书的余下部分。

2006-05-13 00:26:00 832

翻译 1.11.系统调用和库函数(System Calls and Library Functions)

1.11.系统调用和库函数(System Calls and Library Functions)所有的操作系统都提供服务点(service points)，程序通过服务点向内核请求服务。UNIX系统的所有实现都提供经良好定义的有限数目的入口点(a well-defined, limited number of entry points)，这些入口点是directly into the ker

2006-05-13 00:20:00 3953

翻译 1.10. 时间值(Time Values)

1.10. 时间值(Time Values)长期以来，UNIX系统一直使用两种不同的时间值：(1)日历时间(calendar time)。该值是自1970年1月1日00:00:00以来国际标准时间(Coordinated Universal Time (UTC))所经过的秒数累计值（早期的手册称UTC为格林尼治标准时间）。这些时间值可用于记录文件最近一次的修改时间等。(2)进程时间(Process

2006-05-11 23:34:00 2685

翻译 1.9.信号(Signals)

1.9.信号(Signals)信号是通知一个进程已发生某种条件的一种技术(a technique used to notify a process that some condition has occurred)。例如，若某一进程执行除法操作，其除数为0，则名为SIGFPE(浮点数异常floating-point exception)的信号将被发送给该进程。进程如何处理信号有三种选择：(1) 忽

2006-05-11 23:00:00 1494

翻译 1.7.出错处理(Error Handling)

1.7.出错处理(Error Handling)当UNIX函数出错时，通常返回一个负值，并且整数errno通常设置为具有附加信息意义的一个值。(unbuffered I/O functions:open,read,write,lseek和close发生错误的时候都是返回-1并设置errno)例如，open函数如成功执行则返回一个非负文件描述符，如出错则返回－1。在open出错时，有大约1 5种不同

2006-05-11 12:55:00 2411

翻译 1.6.程序和进程(Programs and Processes)

1.6.程序和进程(Programs and Processes)程序(Program)一个程序是一个存储在磁盘上某个文件夹中的可执行文件。A program is read into memory and is executed by the kernel as a result of one of the six exec functions. Section 8.10将说明这些exec函

2006-05-10 22:56:00 1400 1

翻译 1.5.输入和输出(Input and Output)

1.5.输入和输出(Input and Output)文件描述符(File Descriptors)正常地，文件描述符是非负的小整数(small non-negative integers:0,1,2...)。文件描述符出现的原因是为了kernel能够识别一个进程正在存取的所有文件。无论何时kernel打开一个存在的文件或者创建一个新的文件，它都返回一个文件描述符，以便我们随后能够使用文件描述

2006-05-10 17:54:00 3277

翻译 7.9.环境变量(Environment Variables)

7.9.环境变量(Environment Variables)正如我们前面提到的那样，环境字符串(environment strings)通常是这样的格式：name=valueUNIX kernel从来都不理会(look at)这些字符串；它们的解释(interpretation)是由各种各样的应用程序来做的。比如shell就使用了许多环境变量。一些环境变量是在登录的时候就自动地被设置了，比如

2006-05-09 23:43:00 1611

翻译 7.5.环境列表(Environment List)

7.5.环境列表(Environment List)每一个程序也被传入一个环境列表。象参数列表(argument list)一样，环境列表也是一个字符指针的数组，其中每个指针指向一个以null结束的C字符串(null-terminated C string)。这个指针数组的地址被包含在全局变量environ中:extern char **environ;例如，如果环境由五个字符串组成，环境列表

2006-05-09 17:40:00 2644

翻译 7.4.命令行参数(Command-Line Arguments)

7.4.命令行参数(Command-Line Arguments)当一个程序被执行的时候，does the exec的进程能够传递一些命令行参数给该程序。这是UNIX系统shell的正常操作的一部分(指传递命令行参数)。我们已经在前面的章节中看到了许多这样的例子。Example程序7.4向标准输出输出了它所有的命令行参数。注意：正常的echo程序是不输出第0个参数的。如果我们编译这个程

2006-05-09 13:52:00 1887

翻译 7.7.共享库(Shared Libraries)

7.7.共享库(Shared Libraries)今天，大部分的UNIX系统都支持共享库。Arnold在System V下描述了一个早期的实现，后来Gingell et al在SunOS下描述了一个不同的实现。共享库从可执行文件中移走了common library routines，取而代之的是在内存中保留了一份所有进程都会涉及到的库的拷贝(a single copy of the libra

2006-05-08 22:58:00 1890

翻译 7.6. 一个C程序的内存布局(memory layout)

7.6.一个C程序的内存布局(memory layout)一个C程序一直以来都是由以下5个段(pieces)组成：代码段(text segment)：存放CPU执行的机器指令(machine instructions)。通常情况下，代码段是可共享的，使其可共享的目的是对于频繁被执行的程序，只需要在内存中有一份拷贝即可，比如文本编辑器(text editors)，C编译器，shell等等。另外，

2006-05-08 13:45:00 4886

翻译 1.4

文件系统(file system)一个目录是一个包含目录条目(directory entry)的文件。逻辑上，我们可以把一个目录条目看作一个文件名和一个结构当前工作文件夹(working directory)每一个进程都有一个当前工作文件夹，叫working directory或current working directory。与working directory关系密切的有：1)相对路径(

2006-04-29 17:53:00 795

翻译 1.3 登录

注册名(login name)一.摘出的未完成的登录过程1.Enter our login name, followed by our password2.The system then looks up our login name in its password file(/etc/passwd).3.The system knows which shell to execute for us

2006-04-29 16:53:00 797

翻译 1.2 UNIX体系结构

1.2 UNIX体系结构从严格精确意义上来说，一个操作系统能被定义为一个这样的软件：控制计算机的硬件资源并且提供一个程序可以运行的环境。一般地，我们把这样的一个软件叫做kernel，因为它相对小并且处于整个环境的核心位置。图1.1表示出了UNIX系统的体系结构。（关于图1.1的说明）kernel与外界的接口是一个叫做系统调用(system calls)的软件层。普通函数库(Libr

2006-04-29 15:03:00 1228

翻译 1.1 介绍(Introduction)

1.1 介绍(Introduction)所有的操作系统都为他们所运行(run)的程序提供服务。典型的服务包括执行(execute)一个新的程序，打开一个文件，读一个文件，分配一块内存，获得当前时间等等。整个的焦点就是描述操作系统提供的这些服务，只不过这里的操作系统只讨论不同版本的UNIX操作系统。以一种直接的线性的，并且对一些还没有被描述过的东西不作事先的讲解，这样一种方式来描述UNIX系

2006-04-29 12:36:00 697

password636的专栏