... element of PREF but not of IPREF . ✷ Proposition 37 . ∀ p : APREF ã p freeids p known procs. Proof. This is a conjunct of the invariant. ✷ Proposition 38 . NewPId[p/p!] ⇒ p ∈ known procs . Proof. NewPId ∆(freeids) p!:APREF p! ... ã parentof (p 1 , p?)) RemoveProcessFromParent (parentof ) parent?, child?:APREF parentof = parentof \{(parent?, child?)} ParentOfProcess p?:APREF parent!...
Ngày tải lên: 23/07/2014, 23:20
... 13: 19 instructions -rw-r r 1 sian user 31 59 Feb 9 13: 14 invoice -rw-r r 1 sian user 631 8 Feb 9 13: 14 letter -rw 1 sian user 15897 Feb 9 13: 20 more-stuff -rw-r 1 sian biochem 432 0 Feb 9 13: 20 ... 505 Feb 9 13: 19 instructions -rw-r r 1 user 31 59 Feb 9 13: 14 invoice -rw-r r 1 user 631 8 Feb 9 13: 14 letter -rw 1 user 15897 Feb 9 13: 20 more-stuff -rw-r 1 biochem 432 0 Feb 9...
Ngày tải lên: 12/08/2014, 22:21
Linux System Administration phần 1 pptx
... Basics 11 Chapter List 11 Featuring 11 Chapter 1: The Basics of System Administration 12 Overview 12 Your Role as a System Administrator 12 Tasks of a System Administrator 13 Configuring Hardware 13 Installing ... Filesystems 13 7 Network Filesystems 14 0 Filesystem Design 14 1 The Physical Structure 14 1 Inodes and Directories 14 1 Accessing Filesystems 14 2 Mo...
Ngày tải lên: 13/08/2014, 04:21
Linux System Administration phần 3 docx
... compiled for your system. To do so, you must check the filesystems available in the Linux kernel File Systems and Network Filesystems configuration menus (Figure 6.1 shows the kernel File Systems menu). ... 104.ATM3−0.XR1.ATL1.ALTER.NET (146.188. 232 .58) 169. 836 ms 159. 737 ms 159.888 ms 9 195.at−2−0−0.TR1.ATL5.ALTER.NET (152. 63. 81.26) 169.878 ms 159.800 ms 159.851 ms 10 129.at−6−0−...
Ngày tải lên: 13/08/2014, 04:21
Linux System Administration phần 4 ppt
... Put the Linux kernel under the disk's 10 24 cylinder mark. Old BIOSes and versions of the Linux Loader (LILO) couldn't boot the Linux kernel if it resided in an area past the 1024th cylinder. ... be able to mount filesystems with the characteristics you desire. In most cases, Linux native filesystems don't require any special filesystem options. Foreign filesystems, how...
Ngày tải lên: 13/08/2014, 04:21
UNIX System administration PHẦN 1 ppsx
... vi 10 Cursor movement 10 Altering the file: basics 11 Rearranging and duplicating text 11 Miscellaneous 12 Commands preceded by a colon (ed commands) 12 BOOTING A UNIX MACHINE 13 STOPPING A UNIX ... UNIX System Administration Rudolf Cardinal, August 19 95 9 For more complex pattern-matching, use egrep (1) or fgrep (1) . UNIX System Administration Rudolf Cardina...
Ngày tải lên: 13/08/2014, 04:21
UNIX System administration PHẦN 2 pdf
... filename chgrp [ -R ] group file UNIX System Administration Rudolf Cardinal, August 1995 14 How UNIX starts 1. /vmunix loads. The operating system itself. This runs… 2. /bin/init. If the reboot ‘fails’ ... Size Date/time Name drwxr-x x 3 rudolf 5 12 Jun 30 15 :26 . drwxr-xr-x 20 root 5 12 Jun 30 15 :26 -rwxr-x x 1 rudolf 26 1 Jun 30 10:03 .cshrc -rwxr-x x 1 rudolf 23 4 Jun...
Ngày tải lên: 13/08/2014, 04:21
UNIX System administration PHẦN 3 potx
... UNIX System Administration Rudolf Cardinal, August 1995 29 Monitor thyself for evil Not part of UNIX, the monitor command gives you an interactive view of your system. If it’s on your system, ... what oracle co Thu 1pm 20 :31 14: 03 7 :31 orapopskc 272 2 73 10 root p0 1.5.0.99 8 :34 am 46 1 w The first line is also what you get from the uptime command. It’s 10:49; the system has...
Ngày tải lên: 13/08/2014, 04:21
UNIX System administration PHẦN 4 pot
... to log files, but nothing much should happen on them. UNIX System Administration Rudolf Cardinal, August 1995 40 Printing The printing system depends on the lpd daemon. Ensure that it is started ... special (55 /44 ) SCSI #0 TK50 tape #4 write-locked 6666_bpi nrmt0l: character special (55/36) SCSI #0 TK50 tape #4 write-locked 6666_bpi nrmt0m: character special (55/52) SCSI #0 TK5...
Ngày tải lên: 13/08/2014, 04:21
UNIX System administration PHẦN 5 pptx
... be 255 .0.0.0 (class A), 255 . 255 .0.0 (class B) or 255 . 255 . 255 .0 (class C). If the netmask is anything else, subnet routing is in use; however, a netmask of 255 . 255 . 255 .0 might be a class C network ... A network (NIC address 15) has a broadcast address of 15. 255 . 255 . 255 ; a class C network (NIC address 158 .8.62) has a broadcast address of 158 .8.62. 255 . It is wise not to...
Ngày tải lên: 13/08/2014, 04:21
UNIX System administration PHẦN 6 pptx
... gateway-gateway protocol tcp 6 TCP # transmission control protocol pup 12 PUP # PARC universal packet protocol UNIX System Administration Rudolf Cardinal, August 1995 56 pathname [ -r=# ] [ -o ... /usr/etc/nfssetlock on & echo ’nfs locking enabled’ >/dev/console UNIX System Administration Rudolf Cardinal, August 1995 51 Configuring UNIX The simple way: using netset...
Ngày tải lên: 13/08/2014, 04:21
UNIX System administration PHẦN 9 pptx
... Do not change the date while the system is in UNIX System Administration Rudolf Cardinal, August 199 5 89 UNIX System Administration Rudolf Cardinal, August 199 5 88 DiskMaint Guide to Disk Maintenance DMS Guide ... system, see printcap(5) and pac(8) for full details. UNIX System Administration Rudolf Cardinal, August 199 5 84 Mail I will merely summarize the commands...
Ngày tải lên: 13/08/2014, 04:21
UNIX System Administration phần 3 ppt
... OpenWindows 3. 0: OpenWindows V3.0 Server Patch 30 00-124 100448- 03 OpenWindows 3. 0: loadmodule Patch 100452-72 OpenWindows 3. 0: XView 3. 0 Jumbo Patch 100478-01 OpenWindows 3. 0: xlock crashes leaving system ... System Installation 74 â 1998 University Technology Services, The Ohio State University UNIX System Administration Operating System InstallationOperating Syste...
Ngày tải lên: 14/08/2014, 02:22