home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: Mailbox/MIME Entity
(archive/mbox).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| Mailbox/MIME Entity (archive/mbox)
| magic
| Supported |
| 100%
| dexvert
| Internet Message Format (text/imf)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| Mailbox text, 1st line "From std-unix-request@uunet.uu.net Thu Oct 11 09:55:44 1990", ASCII text
| default
| |
| 100%
| TrID
| E-Mail message (Var. 2)
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| x-fmt/111 Plain Text File
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
| |
| 100%
| xdgMime
| application/mbox
| default
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 46 72 6f 6d 20 73 74 64 | 2d 75 6e 69 78 2d 72 65 |From std|-unix-re|
|00000010| 71 75 65 73 74 40 75 75 | 6e 65 74 2e 75 75 2e 6e |quest@uu|net.uu.n|
|00000020| 65 74 20 20 54 68 75 20 | 4f 63 74 20 31 31 20 30 |et Thu |Oct 11 0|
|00000030| 39 3a 35 35 3a 34 34 20 | 31 39 39 30 0a 52 65 63 |9:55:44 |1990.Rec|
|00000040| 65 69 76 65 64 3a 20 66 | 72 6f 6d 20 63 73 2e 75 |eived: f|rom cs.u|
|00000050| 74 65 78 61 73 2e 65 64 | 75 20 62 79 20 75 75 6e |texas.ed|u by uun|
|00000060| 65 74 2e 75 75 2e 6e 65 | 74 20 28 35 2e 36 31 2f |et.uu.ne|t (5.61/|
|00000070| 31 2e 31 34 29 20 77 69 | 74 68 20 53 4d 54 50 20 |1.14) wi|th SMTP |
|00000080| 0a 09 69 64 20 41 41 30 | 32 39 36 31 3b 20 54 68 |..id AA0|2961; Th|
|00000090| 75 2c 20 31 31 20 4f 63 | 74 20 39 30 20 30 39 3a |u, 11 Oc|t 90 09:|
|000000a0| 35 35 3a 34 34 20 2d 30 | 34 30 30 0a 50 6f 73 74 |55:44 -0|400.Post|
|000000b0| 65 64 2d 44 61 74 65 3a | 20 31 31 20 4f 63 74 20 |ed-Date:| 11 Oct |
|000000c0| 39 30 20 30 31 3a 32 38 | 3a 30 39 20 47 4d 54 0a |90 01:28|:09 GMT.|
|000000d0| 52 65 63 65 69 76 65 64 | 3a 20 62 79 20 63 73 2e |Received|: by cs.|
|000000e0| 75 74 65 78 61 73 2e 65 | 64 75 20 28 35 2e 36 34 |utexas.e|du (5.64|
|000000f0| 2f 31 2e 37 37 29 20 0a | 46 72 6f 6d 3a 20 57 41 |/1.77) .|From: WA|
|00000100| 4c 4c 49 25 37 31 37 38 | 2e 67 6d 40 68 61 63 32 |LLI%7178|.gm@hac2|
|00000110| 61 72 70 61 2e 68 61 63 | 2e 63 6f 6d 0a 4e 65 77 |arpa.hac|.com.New|
|00000120| 73 67 72 6f 75 70 73 3a | 20 63 6f 6d 70 2e 73 74 |sgroups:| comp.st|
|00000130| 64 2e 75 6e 69 78 0a 53 | 75 62 6a 65 63 74 3a 20 |d.unix.S|ubject: |
|00000140| 54 68 65 20 43 6f 6e 74 | 65 78 74 20 66 6f 72 20 |The Cont|ext for |
|00000150| 4c 49 53 20 6f 66 20 50 | 4f 53 49 58 0a 4d 65 73 |LIS of P|OSIX.Mes|
|00000160| 73 61 67 65 2d 49 64 3a | 20 3c 31 33 34 36 30 40 |sage-Id:| <13460@|
|00000170| 63 73 2e 75 74 65 78 61 | 73 2e 65 64 75 3e 0a 53 |cs.utexa|s.edu>.S|
|00000180| 65 6e 64 65 72 3a 20 66 | 6c 65 74 63 68 65 72 40 |ender: f|letcher@|
|00000190| 63 73 2e 75 74 65 78 61 | 73 2e 65 64 75 0a 58 2d |cs.utexa|s.edu.X-|
|000001a0| 53 75 62 6d 69 73 73 69 | 6f 6e 73 3a 20 73 74 64 |Submissi|ons: std|
|000001b0| 2d 75 6e 69 78 40 75 75 | 6e 65 74 2e 75 75 2e 6e |-unix@uu|net.uu.n|
|000001c0| 65 74 0a 44 61 74 65 3a | 20 31 31 20 4f 63 74 20 |et.Date:| 11 Oct |
|000001d0| 39 30 20 30 31 3a 32 38 | 3a 30 39 20 47 4d 54 0a |90 01:28|:09 GMT.|
|000001e0| 52 65 70 6c 79 2d 54 6f | 3a 20 73 74 64 2d 75 6e |Reply-To|: std-un|
|000001f0| 69 78 40 75 75 6e 65 74 | 2e 75 75 2e 6e 65 74 0a |ix@uunet|.uu.net.|
|00000200| 54 6f 3a 20 73 74 64 2d | 75 6e 69 78 40 75 75 6e |To: std-|unix@uun|
|00000210| 65 74 2e 75 75 2e 6e 65 | 74 0a 0a 53 75 62 6d 69 |et.uu.ne|t..Submi|
|00000220| 74 74 65 64 2d 62 79 3a | 20 57 41 4c 4c 49 25 37 |tted-by:| WALLI%7|
|00000230| 31 37 38 2e 67 6d 40 68 | 61 63 32 61 72 70 61 2e |178.gm@h|ac2arpa.|
|00000240| 68 61 63 2e 63 6f 6d 0a | 0a 0a 20 20 20 20 20 54 |hac.com.|.. T|
|00000250| 68 65 20 43 6f 6e 74 65 | 78 74 20 66 6f 72 20 50 |he Conte|xt for P|
|00000260| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 4c 61 6e 67 75 |rogrammi|ng Langu|
|00000270| 61 67 65 20 49 6e 64 65 | 70 65 6e 64 65 6e 63 65 |age Inde|pendence|
|00000280| 20 66 6f 72 20 50 4f 53 | 49 58 0a 0a 20 20 20 20 | for POS|IX.. |
|00000290| 20 20 20 20 20 20 20 20 | 20 20 53 74 65 70 68 65 | | Stephe|
|000002a0| 6e 20 52 2e 20 57 61 6c | 6c 69 20 2d 20 77 61 6c |n R. Wal|li - wal|
|000002b0| 6c 69 40 6f 73 6d 63 6c | 31 2e 67 6d 2e 68 61 63 |li@osmcl|1.gm.hac|
|000002c0| 2e 63 6f 6d 0a 20 20 20 | 20 20 20 20 20 20 20 20 |.com. | |
|000002d0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 45 44 | | ED|
|000002e0| 53 20 6f 66 20 43 61 6e | 61 64 61 2c 20 4c 74 64 |S of Can|ada, Ltd|
|000002f0| 2e 0a 0a 0a 0a 0a 31 20 | 20 49 4e 54 52 4f 44 55 |......1 | INTRODU|
|00000300| 43 54 49 4f 4e 0a 0a 50 | 72 6f 67 72 61 6d 6d 69 |CTION..P|rogrammi|
|00000310| 6e 67 20 4c 61 6e 67 75 | 61 67 65 20 49 6e 64 65 |ng Langu|age Inde|
|00000320| 70 65 6e 64 65 6e 74 20 | 20 53 70 65 63 69 66 69 |pendent | Specifi|
|00000330| 63 61 74 69 6f 6e 20 20 | 28 4c 49 53 29 20 20 6f |cation |(LIS) o|
|00000340| 66 20 20 50 4f 53 49 58 | 20 20 68 61 73 0a 62 65 |f POSIX| has.be|
|00000350| 63 6f 6d 65 20 20 61 20 | 20 68 6f 74 20 74 6f 70 |come a | hot top|
|00000360| 69 63 20 77 69 74 68 69 | 6e 20 74 68 65 20 49 45 |ic withi|n the IE|
|00000370| 45 45 20 50 31 30 30 33 | 20 57 6f 72 6b 69 6e 67 |EE P1003| Working|
|00000380| 20 47 72 6f 75 70 73 20 | 61 6e 64 20 49 53 4f 20 | Groups |and ISO |
|00000390| 57 47 31 35 0a 28 50 4f | 53 49 58 29 2e 20 20 44 |WG15.(PO|SIX). D|
|000003a0| 65 70 65 6e 64 69 6e 67 | 20 6f 6e 20 6f 6e 65 27 |epending| on one'|
|000003b0| 73 20 70 6f 69 6e 74 20 | 6f 66 20 76 69 65 77 2c |s point |of view,|
|000003c0| 20 69 74 20 77 69 6c 6c | 20 20 65 69 74 68 65 72 | it will| either|
|000003d0| 20 20 6d 61 6b 65 20 20 | 74 68 65 0a 50 4f 53 49 | make |the.POSI|
|000003e0| 58 20 20 66 61 6d 69 6c | 79 20 20 6f 66 20 20 73 |X famil|y of s|
|000003f0| 74 61 6e 64 61 72 64 73 | 20 20 6d 6f 72 65 20 20 |tandards| more |
|00000400| 72 6f 62 75 73 74 20 20 | 61 6e 64 20 20 75 73 61 |robust |and usa|
|00000410| 62 6c 65 20 20 6f 72 20 | 20 6d 61 6b 65 20 74 68 |ble or | make th|
|00000420| 65 6d 0a 63 6f 6d 70 6c | 65 74 65 6c 79 20 75 6e |em.compl|etely un|
|00000430| 75 73 61 62 6c 65 20 77 | 68 69 6c 65 20 73 65 72 |usable w|hile ser|
|00000440| 69 6f 75 73 6c 79 20 64 | 65 6c 61 79 69 6e 67 20 |iously d|elaying |
|00000450| 74 68 65 20 70 72 6f 63 | 65 73 73 2e 20 20 57 68 |the proc|ess. Wh|
|00000460| 61 74 20 49 20 68 6f 70 | 65 0a 74 6f 20 20 61 63 |at I hop|e.to ac|
|00000470| 63 6f 6d 70 6c 69 73 68 | 20 20 68 65 72 65 20 20 |complish| here |
|00000480| 69 73 20 20 74 6f 20 20 | 70 72 65 73 65 6e 74 20 |is to |present |
|00000490| 61 6c 6c 20 6f 66 20 74 | 68 65 20 72 65 6c 65 76 |all of t|he relev|
|000004a0| 61 6e 74 20 63 6f 6e 63 | 65 72 6e 73 20 61 6e 64 |ant conc|erns and|
|000004b0| 0a 69 6e 66 6f 72 6d 61 | 74 69 6f 6e 20 69 6e 20 |.informa|tion in |
|000004c0| 6f 6e 65 20 70 6c 61 63 | 65 2c 20 73 6f 20 61 73 |one plac|e, so as|
|000004d0| 20 74 6f 20 70 72 6f 76 | 6f 6b 65 20 69 64 65 61 | to prov|oke idea|
|000004e0| 73 20 61 6e 64 20 64 69 | 73 63 75 73 73 69 6f 6e |s and di|scussion|
|000004f0| 20 20 77 68 69 63 68 0a | 77 69 6c 6c 20 20 70 72 | which.|will pr|
|00000500| 6f 76 65 20 20 66 72 75 | 69 74 66 75 6c 20 20 69 |ove fru|itful i|
|00000510| 6e 20 20 74 68 65 20 20 | 75 70 63 6f 6d 69 6e 67 |n the |upcoming|
|00000520| 20 50 31 30 30 33 20 53 | 65 61 74 74 6c 65 20 6d | P1003 S|eattle m|
|00000530| 65 65 74 69 6e 67 20 61 | 6e 64 20 74 68 65 0a 73 |eeting a|nd the.s|
|00000540| 75 62 73 65 71 75 65 6e | 74 20 57 47 31 35 20 6d |ubsequen|t WG15 m|
|00000550| 65 65 74 69 6e 67 20 6f | 6e 20 4f 72 63 61 73 20 |eeting o|n Orcas |
|00000560| 49 73 6c 61 6e 64 2e 0a | 0a 54 68 65 20 73 74 61 |Island..|.The sta|
|00000570| 6e 64 61 72 64 20 64 69 | 73 63 6c 61 69 6d 65 72 |ndard di|sclaimer|
|00000580| 73 20 61 70 70 6c 79 2e | 20 20 41 6c 6c 20 76 69 |s apply.| All vi|
|00000590| 65 77 73 20 65 78 70 72 | 65 73 73 65 64 20 61 72 |ews expr|essed ar|
|000005a0| 65 20 74 68 65 20 20 61 | 75 74 68 6f 72 27 73 0a |e the a|uthor's.|
|000005b0| 61 6e 64 20 20 64 6f 20 | 20 6e 6f 74 20 20 6e 65 |and do | not ne|
|000005c0| 63 65 73 73 61 72 69 6c | 79 20 20 72 65 70 72 65 |cessaril|y repre|
|000005d0| 73 65 6e 74 20 20 74 68 | 65 20 20 6f 70 69 6e 69 |sent th|e opini|
|000005e0| 6f 6e 73 20 20 6f 66 20 | 74 68 65 20 49 45 45 45 |ons of |the IEEE|
|000005f0| 20 50 31 30 30 33 0a 57 | 6f 72 6b 69 6e 67 20 47 | P1003.W|orking G|
|00000600| 72 6f 75 70 20 6d 65 6d | 62 65 72 73 2c 20 49 53 |roup mem|bers, IS|
|00000610| 4f 20 57 47 31 35 20 6f | 72 20 74 68 65 20 61 75 |O WG15 o|r the au|
|00000620| 74 68 6f 72 27 73 20 20 | 65 6d 70 6c 6f 79 65 72 |thor's |employer|
|00000630| 73 2e 20 20 20 49 20 20 | 77 6f 75 6c 64 0a 6c 69 |s. I |would.li|
|00000640| 6b 65 20 74 6f 20 74 68 | 61 6e 6b 20 50 61 75 6c |ke to th|ank Paul|
|00000650| 20 52 61 62 69 6e 20 66 | 6f 72 20 72 65 61 64 69 | Rabin f|or readi|
|00000660| 6e 67 20 74 68 69 73 20 | 74 68 72 6f 75 67 68 2c |ng this |through,|
|00000670| 20 63 61 74 63 68 69 6e | 67 20 73 6f 6d 65 20 6f | catchin|g some o|
|00000680| 66 20 6d 79 0a 6f 76 65 | 72 73 69 67 68 74 73 20 |f my.ove|rsights |
|00000690| 61 6e 64 20 68 65 6c 70 | 69 6e 67 20 6d 65 20 63 |and help|ing me c|
|000006a0| 6c 61 72 69 66 79 20 73 | 6f 6d 65 20 6f 66 20 6d |larify s|ome of m|
|000006b0| 79 20 73 74 61 74 65 6d | 65 6e 74 73 2e 20 20 50 |y statem|ents. P|
|000006c0| 4f 53 49 58 20 20 69 73 | 20 20 61 0a 72 65 67 69 |OSIX is| a.regi|
|000006d0| 73 74 65 72 65 64 20 20 | 74 72 61 64 65 6d 61 72 |stered |trademar|
|000006e0| 6b 20 20 6f 66 20 74 68 | 65 20 49 45 45 45 2e 20 |k of th|e IEEE. |
|000006f0| 20 55 4e 49 58 20 69 73 | 20 61 20 72 65 67 69 73 | UNIX is| a regis|
|00000700| 74 65 72 65 64 20 74 72 | 61 64 65 6d 61 72 6b 20 |tered tr|ademark |
|00000710| 6f 66 0a 41 54 26 54 2e | 0a 0a 0a 0a 32 20 20 57 |of.AT&T.|....2 W|
|00000720| 48 41 54 20 45 58 41 43 | 54 4c 59 20 49 53 20 54 |HAT EXAC|TLY IS T|
|00000730| 48 45 20 50 4f 49 4e 54 | 20 4f 46 20 4c 49 53 0a |HE POINT| OF LIS.|
|00000740| 0a 49 20 77 69 6c 6c 20 | 6e 6f 74 20 70 72 6f 76 |.I will |not prov|
|00000750| 69 64 65 20 61 6e 79 20 | 6f 66 20 74 68 65 20 68 |ide any |of the h|
|00000760| 69 73 74 6f 72 69 63 61 | 6c 20 72 65 61 73 6f 6e |istorica|l reason|
|00000770| 73 2f 61 72 67 75 6d 65 | 6e 74 73 2f 64 69 73 63 |s/argume|nts/disc|
|00000780| 75 73 73 69 6f 6e 73 0a | 62 65 74 77 65 65 6e 20 |ussions.|between |
|00000790| 20 49 53 4f 20 61 6e 64 | 20 74 68 65 20 49 45 45 | ISO and| the IEE|
|000007a0| 45 20 73 69 6e 63 65 20 | 61 6c 6c 20 49 20 6b 6e |E since |all I kn|
|000007b0| 6f 77 20 69 73 20 68 65 | 61 72 73 61 79 2c 20 61 |ow is he|arsay, a|
|000007c0| 6e 64 20 49 20 77 6f 75 | 6c 64 20 6e 6f 74 0a 77 |nd I wou|ld not.w|
|000007d0| 61 6e 74 20 74 6f 20 72 | 61 69 73 65 20 61 6e 79 |ant to r|aise any|
|000007e0| 6f 6e 65 27 73 20 69 72 | 65 20 69 66 20 49 27 76 |one's ir|e if I'v|
|000007f0| 65 20 6d 69 73 75 6e 64 | 65 72 73 74 6f 6f 64 20 |e misund|erstood |
|00000800| 61 6e 79 20 6f 66 20 74 | 68 65 20 66 61 63 74 73 |any of t|he facts|
|00000810| 2e 20 20 49 74 0a 61 6c | 73 6f 20 20 73 65 72 76 |. It.al|so serv|
|00000820| 65 73 20 20 6e 6f 20 20 | 72 65 61 6c 20 20 70 75 |es no |real pu|
|00000830| 72 70 6f 73 65 20 20 69 | 6e 20 20 61 63 63 6f 6d |rpose i|n accom|
|00000840| 70 6c 69 73 68 69 6e 67 | 20 74 68 65 20 74 61 73 |plishing| the tas|
|00000850| 6b 20 61 74 20 68 61 6e | 64 20 74 6f 0a 72 65 2d |k at han|d to.re-|
|00000860| 69 74 65 72 61 74 65 20 | 74 68 65 73 65 20 64 69 |iterate |these di|
|00000870| 73 63 75 73 73 69 6f 6e | 73 2e 20 20 20 49 74 20 |scussion|s. It |
|00000880| 20 69 73 20 20 73 75 66 | 66 69 63 69 65 6e 74 20 | is suf|ficient |
|00000890| 20 74 6f 20 20 73 61 79 | 20 20 74 68 61 74 20 20 | to say| that |
|000008a0| 74 68 65 0a 64 69 72 65 | 63 74 69 6f 6e 20 20 74 |the.dire|ction t|
|000008b0| 6f 20 20 61 63 63 6f 6d | 70 6c 69 73 68 20 20 74 |o accom|plish t|
|000008c0| 68 65 20 4c 49 53 20 77 | 6f 72 6b 20 69 73 20 63 |he LIS w|ork is c|
|000008d0| 6f 6d 69 6e 67 20 66 72 | 6f 6d 20 49 53 4f 20 61 |oming fr|om ISO a|
|000008e0| 6e 64 20 54 43 4f 53 2d | 53 53 0a 68 61 73 20 61 |nd TCOS-|SS.has a|
|000008f0| 67 72 65 65 64 20 74 6f | 20 74 68 65 20 77 6f 72 |greed to| the wor|
|00000900| 6b 2e 0a 0a 54 68 65 20 | 64 69 72 65 63 74 69 76 |k...The |directiv|
|00000910| 65 20 69 73 20 74 6f 20 | 20 77 72 69 74 65 20 20 |e is to | write |
|00000920| 74 68 65 20 20 50 4f 53 | 49 58 20 20 69 6e 74 65 |the POS|IX inte|
|00000930| 72 66 61 63 65 73 20 20 | 69 6e 20 20 61 20 20 70 |rfaces |in a p|
|00000940| 72 6f 67 72 61 6d 6d 69 | 6e 67 0a 6c 61 6e 67 75 |rogrammi|ng.langu|
|00000950| 61 67 65 20 20 69 6e 64 | 65 70 65 6e 64 65 6e 74 |age ind|ependent|
|00000960| 20 20 77 61 79 2c 20 20 | 73 75 63 68 20 74 68 61 | way, |such tha|
|00000970| 74 20 74 68 65 20 66 75 | 6e 63 74 69 6f 6e 61 6c |t the fu|nctional|
|00000980| 69 74 79 20 61 6e 64 20 | 62 65 68 61 76 69 6f 75 |ity and |behaviou|
|00000990| 72 0a 61 72 65 20 63 6f | 6d 70 6c 65 74 65 6c 79 |r.are co|mpletely|
|000009a0| 20 64 65 73 63 72 69 62 | 65 64 2c 20 62 75 74 20 | describ|ed, but |
|000009b0| 6e 6f 20 6c 61 6e 67 75 | 61 67 65 20 20 73 65 6d |no langu|age sem|
|000009c0| 61 6e 74 69 63 73 20 20 | 61 72 65 20 20 69 6e 74 |antics |are int|
|000009d0| 72 6f 64 75 63 65 64 2e | 0a 54 68 69 73 20 20 74 |roduced.|.This t|
|000009e0| 68 65 6e 20 20 66 72 65 | 65 73 20 20 75 70 20 6c |hen fre|es up l|
|000009f0| 61 6e 67 75 61 67 65 20 | 62 69 6e 64 69 6e 67 73 |anguage |bindings|
|00000a00| 20 67 72 6f 75 70 73 20 | 74 6f 20 6d 61 70 20 74 | groups |to map t|
|00000a10| 6f 20 74 68 65 20 69 6e | 74 65 72 66 61 63 65 0a |o the in|terface.|
|00000a20| 73 70 65 63 69 66 69 63 | 61 74 69 6f 6e 20 69 6e |specific|ation in|
|00000a30| 20 61 20 77 61 79 20 6d | 6f 73 74 20 6e 61 74 75 | a way m|ost natu|
|00000a40| 72 61 6c 20 20 66 6f 72 | 20 20 74 68 65 69 72 20 |ral for| their |
|00000a50| 20 70 61 72 74 69 63 75 | 6c 61 72 20 20 6c 61 6e | particu|lar lan|
|00000a60| 67 75 61 67 65 2e 0a 44 | 65 73 63 72 69 62 69 6e |guage..D|escribin|
|00000a70| 67 20 74 68 65 20 73 65 | 72 76 69 63 65 20 69 6e |g the se|rvice in|
|00000a80| 20 61 20 6c 61 6e 67 75 | 61 67 65 20 69 6e 64 65 | a langu|age inde|
|00000a90| 70 65 6e 64 65 6e 74 20 | 6d 61 6e 6e 65 72 20 61 |pendent |manner a|
|00000aa0| 6c 73 6f 20 73 65 72 76 | 65 73 20 74 6f 0a 70 72 |lso serv|es to.pr|
|00000ab0| 6f 76 69 64 65 20 61 20 | 6d 6f 72 65 20 72 69 67 |ovide a |more rig|
|00000ac0| 6f 72 6f 75 73 20 64 65 | 66 69 6e 69 74 69 6f 6e |orous de|finition|
|00000ad0| 20 6f 66 20 74 68 65 20 | 73 65 72 76 69 63 65 20 | of the |service |
|00000ae0| 5b 31 5d 2e 0a 0a 4d 61 | 6e 79 20 77 69 6c 6c 20 |[1]...Ma|ny will |
|00000af0| 61 72 67 75 65 20 74 68 | 61 74 20 50 4f 53 49 58 |argue th|at POSIX|
|00000b00| 20 69 73 20 61 20 43 20 | 6c 61 6e 67 75 61 67 65 | is a C |language|
|00000b10| 20 73 74 61 6e 64 61 72 | 64 20 69 6e 74 65 72 66 | standar|d interf|
|00000b20| 61 63 65 20 74 6f 20 20 | 55 4e 49 58 0a 73 79 73 |ace to |UNIX.sys|
|00000b30| 74 65 6d 20 20 73 65 72 | 76 69 63 65 73 2c 20 20 |tem ser|vices, |
|00000b40| 61 6e 64 20 20 61 6c 6c | 20 20 6f 66 20 20 74 68 |and all| of th|
|00000b50| 65 20 6e 6f 69 73 65 20 | 61 62 6f 75 74 20 61 6e |e noise |about an|
|00000b60| 79 20 6f 74 68 65 72 20 | 70 72 6f 67 72 61 6d 6d |y other |programm|
|00000b70| 69 6e 67 0a 6c 61 6e 67 | 75 61 67 65 20 62 69 6e |ing.lang|uage bin|
|00000b80| 64 69 6e 67 20 6f 72 20 | 61 6e 79 20 6f 74 68 65 |ding or |any othe|
|00000b90| 72 20 6f 70 65 72 61 74 | 69 6e 67 20 73 79 73 74 |r operat|ing syst|
|00000ba0| 65 6d 20 20 69 73 20 20 | 69 6d 6d 61 74 65 72 69 |em is |immateri|
|00000bb0| 61 6c 2e 20 20 20 49 27 | 76 65 0a 62 6f 74 68 20 |al. I'|ve.both |
|00000bc0| 20 73 65 65 6e 20 20 74 | 68 69 73 20 20 61 6e 64 | seen t|his and|
|00000bd0| 20 68 65 61 72 64 20 69 | 74 20 76 6f 69 63 65 64 | heard i|t voiced|
|00000be0| 20 69 6e 20 74 68 65 20 | 6f 63 63 61 73 69 6f 6e | in the |occasion|
|00000bf0| 61 6c 20 64 61 72 6b 20 | 63 6f 72 6e 65 72 20 61 |al dark |corner a|
|00000c00| 74 0a 50 31 30 30 33 20 | 57 6f 72 6b 69 6e 67 20 |t.P1003 |Working |
|00000c10| 47 72 6f 75 70 20 6d 65 | 65 74 69 6e 67 73 2e 0a |Group me|etings..|
|00000c20| 0a 57 68 69 6c 65 20 50 | 4f 53 49 58 27 20 72 6f |.While P|OSIX' ro|
|00000c30| 6f 74 73 20 61 72 65 20 | 6d 6f 73 74 20 63 65 72 |ots are |most cer|
|00000c40| 74 61 69 6e 6c 79 20 20 | 43 20 20 69 6e 74 65 72 |tainly |C inter|
|00000c50| 66 61 63 65 73 20 20 74 | 6f 20 20 55 4e 49 58 20 |faces t|o UNIX |
|00000c60| 20 73 79 73 74 65 6d 0a | 0c 0a 20 20 20 20 20 20 | system.|.. |
|00000c70| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000c80| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000c90| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000ca0| 20 20 20 20 20 20 20 20 | 20 20 50 61 67 65 20 32 | | Page 2|
|00000cb0| 0a 0a 0a 73 65 72 76 69 | 63 65 73 2c 20 20 74 68 |...servi|ces, th|
|00000cc0| 65 20 20 6d 61 72 6b 65 | 74 20 68 61 73 20 64 72 |e marke|t has dr|
|00000cd0| 69 76 65 6e 20 50 4f 53 | 49 58 20 62 65 79 6f 6e |iven POS|IX beyon|
|00000ce0| 64 20 74 68 6f 73 65 20 | 72 6f 6f 74 73 2e 20 20 |d those |roots. |
|00000cf0| 54 68 65 72 65 20 61 72 | 65 0a 6d 61 6e 79 20 6f |There ar|e.many o|
|00000d00| 74 68 65 72 20 6c 61 6e | 67 75 61 67 65 20 67 72 |ther lan|guage gr|
|00000d10| 6f 75 70 73 20 77 68 69 | 63 68 20 68 61 76 65 20 |oups whi|ch have |
|00000d20| 61 20 20 76 65 73 74 65 | 64 20 20 69 6e 74 65 72 |a veste|d inter|
|00000d30| 65 73 74 20 20 69 6e 20 | 20 77 72 69 74 69 6e 67 |est in | writing|
|00000d40| 0a 70 6f 72 74 61 62 6c | 65 20 20 61 70 70 6c 69 |.portabl|e appli|
|00000d50| 63 61 74 69 6f 6e 73 20 | 20 77 68 69 63 68 20 77 |cations | which w|
|00000d60| 61 6e 74 20 61 63 63 65 | 73 73 20 74 6f 20 6f 70 |ant acce|ss to op|
|00000d70| 65 72 61 74 69 6e 67 20 | 73 79 73 74 65 6d 20 73 |erating |system s|
|00000d80| 65 72 76 69 63 65 73 0a | 69 6e 20 61 20 70 6f 72 |ervices.|in a por|
|00000d90| 74 61 62 6c 65 20 77 61 | 79 20 5b 32 5d 2e 20 20 |table wa|y [2]. |
|00000da0| 54 68 65 20 55 53 20 67 | 6f 76 65 72 6e 6d 65 6e |The US g|overnmen|
|00000db0| 74 20 63 6f 6d 6d 69 74 | 6d 65 6e 74 20 74 6f 20 |t commit|ment to |
|00000dc0| 41 64 61 2c 20 20 61 6e | 64 20 20 74 68 65 0a 61 |Ada, an|d the.a|
|00000dd0| 6d 6f 75 6e 74 20 20 6f | 66 20 20 67 6f 76 65 72 |mount o|f gover|
|00000de0| 6e 6d 65 6e 74 20 66 75 | 6e 64 65 64 20 77 6f 72 |nment fu|nded wor|
|00000df0| 6b 20 69 6e 20 46 4f 52 | 54 52 41 4e 20 68 61 73 |k in FOR|TRAN has|
|00000e00| 20 63 72 65 61 74 65 64 | 20 74 68 65 20 6e 65 65 | created| the nee|
|00000e10| 64 20 66 6f 72 0a 74 77 | 6f 20 50 4f 53 49 58 20 |d for.tw|o POSIX |
|00000e20| 57 6f 72 6b 69 6e 67 20 | 47 72 6f 75 70 73 20 20 |Working |Groups |
|00000e30| 74 6f 20 20 70 72 6f 64 | 75 63 65 20 20 74 68 65 |to prod|uce the|
|00000e40| 69 72 20 20 72 65 73 70 | 65 63 74 69 76 65 20 20 |ir resp|ective |
|00000e50| 62 69 6e 64 69 6e 67 73 | 20 20 74 6f 0a 31 30 30 |bindings| to.100|
|00000e60| 33 2e 31 20 20 73 65 72 | 76 69 63 65 73 2e 20 20 |3.1 ser|vices. |
|00000e70| 20 41 73 20 20 74 68 65 | 20 63 6f 6d 6d 65 72 63 | As the| commerc|
|00000e80| 69 61 6c 20 6d 61 72 6b | 65 74 20 69 6e 74 65 72 |ial mark|et inter|
|00000e90| 65 73 74 20 69 6e 20 4f | 70 65 6e 20 53 79 73 74 |est in O|pen Syst|
|00000ea0| 65 6d 73 0a 67 72 6f 77 | 73 2c 20 49 20 68 61 76 |ems.grow|s, I hav|
|00000eb0| 65 20 6e 6f 20 64 6f 75 | 62 74 20 77 65 20 77 69 |e no dou|bt we wi|
|00000ec0| 6c 6c 20 65 76 65 6e 74 | 75 61 6c 6c 79 20 20 73 |ll event|ually s|
|00000ed0| 65 65 20 20 61 20 20 43 | 4f 42 4f 4c 20 20 62 69 |ee a C|OBOL bi|
|00000ee0| 6e 64 69 6e 67 2e 20 20 | 20 49 0a 77 6f 75 6c 64 |nding. | I.would|
|00000ef0| 20 20 62 65 20 76 65 72 | 79 20 73 75 72 70 72 69 | be ver|y surpri|
|00000f00| 73 65 64 20 69 66 20 74 | 68 65 72 65 20 69 73 6e |sed if t|here isn|
|00000f10| 27 74 20 73 6f 6d 65 6f | 6e 65 20 61 74 20 49 42 |'t someo|ne at IB|
|00000f20| 4d 20 61 6c 72 65 61 64 | 79 20 77 6f 72 6b 69 6e |M alread|y workin|
|00000f30| 67 0a 69 6e 20 74 68 69 | 73 20 64 69 72 65 63 74 |g.in thi|s direct|
|00000f40| 69 6f 6e 2e 0a 0a 54 68 | 65 20 66 61 63 74 20 72 |ion...Th|e fact r|
|00000f50| 65 6d 61 69 6e 73 20 74 | 68 61 74 20 74 68 65 20 |emains t|hat the |
|00000f60| 4c 49 53 20 20 6f 66 20 | 20 50 4f 53 49 58 20 20 |LIS of | POSIX |
|00000f70| 69 73 20 20 72 65 71 75 | 69 72 65 64 20 20 77 6f |is requ|ired wo|
|00000f80| 72 6b 20 20 66 6f 72 20 | 20 74 68 65 0a 69 6e 74 |rk for | the.int|
|00000f90| 65 72 6e 61 74 69 6f 6e | 61 6c 20 61 63 63 65 70 |ernation|al accep|
|00000fa0| 74 61 6e 63 65 20 6f 66 | 20 50 4f 53 49 58 2c 20 |tance of| POSIX, |
|00000fb0| 61 6e 64 20 69 73 20 68 | 65 72 65 20 74 6f 20 73 |and is h|ere to s|
|00000fc0| 74 61 79 2e 0a 0a 0a 0a | 33 20 20 57 48 41 54 20 |tay.....|3 WHAT |
|00000fd0| 41 52 45 20 50 41 55 4c | 20 41 4e 44 20 53 54 45 |ARE PAUL| AND STE|
|00000fe0| 50 48 45 20 44 4f 49 4e | 47 3f 0a 0a 50 61 75 6c |PHE DOIN|G?..Paul|
|00000ff0| 20 52 61 62 69 6e 20 61 | 6e 64 20 49 20 61 72 65 | Rabin a|nd I are|
|00001000| 20 77 6f 72 6b 69 6e 67 | 20 6f 6e 20 74 68 65 20 | working| on the |
|00001010| 6d 65 74 68 6f 64 73 20 | 64 6f 63 75 6d 65 6e 74 |methods |document|
|00001020| 20 5b 31 5d 20 66 6f 72 | 20 70 72 6f 64 75 63 69 | [1] for| produci|
|00001030| 6e 67 0a 61 20 20 6c 61 | 6e 67 75 61 67 65 20 69 |ng.a la|nguage i|
|00001040| 6e 64 65 70 65 6e 64 65 | 6e 74 20 73 70 65 63 69 |ndepende|nt speci|
|00001050| 66 69 63 61 74 69 6f 6e | 20 6f 66 20 50 4f 53 49 |fication| of POSI|
|00001060| 58 2e 20 20 50 61 75 6c | 20 66 6f 75 6e 64 20 74 |X. Paul| found t|
|00001070| 69 6d 65 20 74 6f 20 64 | 6f 0a 61 6c 6c 20 74 68 |ime to d|o.all th|
|00001080| 65 20 72 65 61 6c 20 77 | 6f 72 6b 20 6f 66 20 63 |e real w|ork of c|
|00001090| 6f 6d 70 69 6c 69 6e 67 | 20 61 6e 64 20 65 64 69 |ompiling| and edi|
|000010a0| 74 69 6e 67 20 74 68 65 | 20 64 6f 63 75 6d 65 6e |ting the| documen|
|000010b0| 74 2c 20 77 68 69 6c 65 | 20 49 20 61 63 74 65 64 |t, while| I acted|
|000010c0| 0a 61 73 20 63 72 69 74 | 69 63 61 6c 20 72 65 76 |.as crit|ical rev|
|000010d0| 69 65 77 65 72 20 61 6e | 64 20 63 68 69 65 66 20 |iewer an|d chief |
|000010e0| 6e 69 74 2d 70 69 63 6b | 65 72 2e 0a 0a 54 68 65 |nit-pick|er...The|
|000010f0| 20 77 6f 72 6b 20 69 73 | 20 62 61 73 65 64 20 6f | work is| based o|
|00001100| 6e 20 64 6f 63 75 6d 65 | 6e 74 73 20 72 65 63 65 |n docume|nts rece|
|00001110| 69 76 65 64 20 20 66 72 | 6f 6d 20 20 49 53 4f 2f |ived fr|om ISO/|
|00001120| 49 45 43 20 20 4a 54 43 | 31 2f 53 43 32 32 2f 57 |IEC JTC|1/SC22/W|
|00001130| 47 31 31 0a 77 68 69 63 | 68 20 20 69 73 20 64 65 |G11.whic|h is de|
|00001140| 66 69 6e 69 6e 67 20 61 | 20 73 65 74 20 6f 66 20 |fining a| set of |
|00001150| 6d 65 74 68 6f 64 73 20 | 66 6f 72 20 63 72 65 61 |methods |for crea|
|00001160| 74 69 6e 67 20 61 62 73 | 74 72 61 63 74 2c 20 70 |ting abs|tract, p|
|00001170| 72 6f 67 72 61 6d 6d 69 | 6e 67 0a 6c 61 6e 67 75 |rogrammi|ng.langu|
|00001180| 61 67 65 20 69 6e 64 65 | 70 65 6e 64 65 6e 74 20 |age inde|pendent |
|00001190| 70 72 6f 63 65 64 75 72 | 65 20 73 70 65 63 69 66 |procedur|e specif|
|000011a0| 69 63 61 74 69 6f 6e 73 | 20 5b 33 5d 20 5b 34 5d |ications| [3] [4]|
|000011b0| 2e 0a 0a 54 68 65 20 6d | 65 74 68 6f 64 27 73 20 |...The m|ethod's |
|000011c0| 6f 62 6a 65 63 74 69 76 | 65 73 20 61 72 65 3a 0a |objectiv|es are:.|
|000011d0| 0a 20 20 20 20 20 20 6f | 20 20 74 6f 20 6d 65 65 |. o| to mee|
|000011e0| 74 20 74 68 65 20 49 53 | 4f 20 72 65 71 75 69 72 |t the IS|O requir|
|000011f0| 65 6d 65 6e 74 20 6f 66 | 20 20 70 72 6f 64 75 63 |ement of| produc|
|00001200| 69 6e 67 20 20 61 20 20 | 4c 49 53 20 20 6f 66 20 |ing a |LIS of |
|00001210| 20 50 4f 53 49 58 2c 0a | 20 20 20 20 20 20 20 20 | POSIX,.| |
|00001220| 20 77 68 69 6c 65 20 20 | 61 64 68 65 72 69 6e 67 | while |adhering|
|00001230| 20 20 74 6f 20 20 74 68 | 65 69 72 20 20 67 75 69 | to th|eir gui|
|00001240| 64 65 6c 69 6e 65 73 20 | 20 6f 6e 20 20 64 65 76 |delines | on dev|
|00001250| 65 6c 6f 70 69 6e 67 20 | 20 74 68 65 73 65 0a 20 |eloping | these. |
|00001260| 20 20 20 20 20 20 20 20 | 73 70 65 63 69 66 69 63 | |specific|
|00001270| 61 74 69 6f 6e 73 2e 0a | 0a 20 20 20 20 20 20 6f |ations..|. o|
|00001280| 20 20 74 6f 20 66 61 63 | 69 6c 69 74 61 74 65 20 | to fac|ilitate |
|00001290| 74 68 65 20 64 65 76 65 | 6c 6f 70 6d 65 6e 74 20 |the deve|lopment |
|000012a0| 6f 66 20 6c 61 6e 67 75 | 61 67 65 20 62 69 6e 64 |of langu|age bind|
|000012b0| 69 6e 67 73 20 66 72 6f | 6d 20 20 62 61 73 65 0a |ings fro|m base.|
|000012c0| 20 20 20 20 20 20 20 20 | 20 4c 49 53 2e 0a 0a 20 | | LIS... |
|000012d0| 20 20 20 20 20 6f 20 20 | 74 6f 20 20 66 61 63 69 | o |to faci|
|000012e0| 6c 69 74 61 74 65 20 20 | 74 68 65 20 20 64 65 76 |litate |the dev|
|000012f0| 65 6c 6f 70 6d 65 6e 74 | 20 20 6f 66 20 20 62 61 |elopment| of ba|
|00001300| 73 65 20 20 4c 49 53 20 | 20 20 77 68 69 63 68 20 |se LIS | which |
|00001310| 20 20 61 72 65 0a 20 20 | 20 20 20 20 20 20 20 73 | are. | s|
|00001320| 75 66 66 69 63 69 65 6e | 74 6c 79 20 20 72 6f 62 |ufficien|tly rob|
|00001330| 75 73 74 20 20 73 6f 20 | 20 61 73 20 20 74 6f 20 |ust so | as to |
|00001340| 65 6e 73 75 72 65 20 61 | 20 63 6f 6d 6d 6f 6e 20 |ensure a| common |
|00001350| 72 65 63 6f 67 6e 69 7a | 61 62 6c 65 0a 20 20 20 |recogniz|able. |
|00001360| 20 20 20 20 20 20 66 75 | 6e 63 74 69 6f 6e 61 6c | fu|nctional|
|00001370| 69 74 79 20 69 6e 20 74 | 68 65 20 62 69 6e 64 69 |ity in t|he bindi|
|00001380| 6e 67 73 2e 0a 0a 53 70 | 65 63 69 66 69 63 20 6e |ngs...Sp|ecific n|
|00001390| 6f 6e 2d 67 6f 61 6c 73 | 20 69 6e 63 6c 75 64 65 |on-goals| include|
|000013a0| 3a 0a 0a 20 20 20 20 20 | 20 6f 20 20 49 6e 74 65 |:.. | o Inte|
|000013b0| 72 6f 70 65 72 61 62 69 | 6c 69 74 79 20 20 62 65 |roperabi|lity be|
|000013c0| 74 77 65 65 6e 20 20 6d | 6f 64 75 6c 65 73 20 20 |tween m|odules |
|000013d0| 20 77 72 69 74 74 65 6e | 20 20 20 69 6e 20 20 20 | written| in |
|000013e0| 64 69 66 66 65 72 65 6e | 74 0a 20 20 20 20 20 20 |differen|t. |
|000013f0| 20 20 20 6c 61 6e 67 75 | 61 67 65 73 20 20 20 62 | langu|ages b|
|00001400| 6f 75 6e 64 20 20 20 77 | 69 74 68 69 6e 20 20 74 |ound w|ithin t|
|00001410| 68 65 20 20 73 61 6d 65 | 20 20 65 78 65 63 75 74 |he same| execut|
|00001420| 61 62 6c 65 20 20 69 6d | 61 67 65 2c 20 20 6f 72 |able im|age, or|
|00001430| 0a 20 20 20 20 20 20 20 | 20 20 69 6e 74 65 72 6f |. | intero|
|00001440| 70 65 72 61 62 69 6c 69 | 74 79 20 62 65 74 77 65 |perabili|ty betwe|
|00001450| 65 6e 20 61 70 70 6c 69 | 63 61 74 69 6f 6e 73 20 |en appli|cations |
|00001460| 20 77 72 69 74 74 65 6e | 20 20 69 6e 20 20 64 69 | written| in di|
|00001470| 66 66 65 72 65 6e 74 0a | 20 20 20 20 20 20 20 20 |fferent.| |
|00001480| 20 6c 61 6e 67 75 61 67 | 65 73 20 75 73 69 6e 67 | languag|es using|
|00001490| 20 63 6f 6d 6d 6f 6e 20 | 73 65 72 76 69 63 65 73 | common |services|
|000014a0| 2c 20 69 6e 63 6c 75 64 | 69 6e 67 20 64 61 74 61 |, includ|ing data|
|000014b0| 20 69 6e 74 65 72 63 68 | 61 6e 67 65 2e 0a 0a 20 | interch|ange... |
|000014c0| 20 20 20 20 20 6f 20 20 | 49 6e 63 6f 72 70 6f 72 | o |Incorpor|
|000014d0| 61 74 69 6e 67 20 66 6f | 72 6d 61 6c 20 64 65 73 |ating fo|rmal des|
|000014e0| 63 72 69 70 74 69 6f 6e | 20 74 65 63 68 6e 69 71 |cription| techniq|
|000014f0| 75 65 73 2e 0a 0a 20 20 | 20 20 20 20 6f 20 20 45 |ues... | o E|
|00001500| 6e 73 75 72 69 6e 67 20 | 20 20 74 68 65 20 20 20 |nsuring | the |
|00001510| 70 6f 72 74 61 62 69 6c | 69 74 79 20 20 20 6f 66 |portabil|ity of|
|00001520| 20 20 20 6c 61 6e 67 75 | 61 67 65 20 20 20 20 6f | langu|age o|
|00001530| 72 20 20 20 20 62 69 6e | 64 69 6e 67 0a 20 20 20 |r bin|ding. |
|00001540| 20 20 20 20 20 20 69 6d | 70 6c 65 6d 65 6e 74 61 | im|plementa|
|00001550| 74 69 6f 6e 73 2e 0a 0a | 20 20 20 20 20 20 6f 20 |tions...| o |
|00001560| 20 50 72 6f 76 69 64 69 | 6e 67 20 61 20 6d 61 63 | Providi|ng a mac|
|00001570| 68 69 6e 65 20 74 72 61 | 6e 73 6c 61 74 61 62 6c |hine tra|nslatabl|
|00001580| 65 20 6c 61 6e 67 75 61 | 67 65 2d 69 6e 64 65 70 |e langua|ge-indep|
|00001590| 65 6e 64 65 6e 74 20 62 | 69 6e 64 69 6e 67 0a 20 |endent b|inding. |
|000015a0| 20 20 20 20 20 20 20 20 | 64 65 73 63 72 69 70 74 | |descript|
|000015b0| 69 6f 6e 20 6c 61 6e 67 | 75 61 67 65 2e 0a 0c 0a |ion lang|uage....|
|000015c0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000015d0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000015e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000015f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001600| 50 61 67 65 20 33 0a 0a | 0a 57 65 20 64 69 73 63 |Page 3..|.We disc|
|00001610| 6f 76 65 72 65 64 20 74 | 68 61 74 20 69 6e 74 65 |overed t|hat inte|
|00001620| 72 6f 70 65 72 61 62 69 | 6c 69 74 79 20 62 65 74 |roperabi|lity bet|
|00001630| 77 65 65 6e 20 20 61 70 | 70 6c 69 63 61 74 69 6f |ween ap|plicatio|
|00001640| 6e 73 20 20 77 72 69 74 | 74 65 6e 20 20 69 6e 0a |ns writ|ten in.|
|00001650| 64 69 66 66 65 72 65 6e | 74 20 20 70 72 6f 67 72 |differen|t progr|
|00001660| 61 6d 6d 69 6e 67 20 20 | 6c 61 6e 67 75 61 67 65 |amming |language|
|00001670| 73 20 63 61 6e 6e 6f 74 | 20 62 65 20 65 6e 73 75 |s cannot| be ensu|
|00001680| 72 65 64 20 77 69 74 68 | 69 6e 20 74 68 65 20 63 |red with|in the c|
|00001690| 75 72 72 65 6e 74 0a 73 | 63 6f 70 65 2e 20 20 20 |urrent.s|cope. |
|000016a0| 54 68 65 20 20 67 65 6e | 65 72 61 6c 20 20 66 6f |The gen|eral fo|
|000016b0| 72 6d 75 6c 61 20 20 70 | 72 65 73 65 6e 74 65 64 |rmula p|resented|
|000016c0| 20 20 62 79 20 20 20 57 | 47 31 31 20 20 20 66 6f | by W|G11 fo|
|000016d0| 72 20 20 20 70 72 6f 64 | 75 63 69 6e 67 0a 6c 61 |r prod|ucing.la|
|000016e0| 6e 67 75 61 67 65 2d 69 | 6e 64 65 70 65 6e 64 65 |nguage-i|ndepende|
|000016f0| 6e 74 20 20 20 70 72 6f | 63 65 64 75 72 65 20 20 |nt pro|cedure |
|00001700| 20 73 70 65 63 69 66 69 | 63 61 74 69 6f 6e 73 20 | specifi|cations |
|00001710| 20 20 69 73 20 20 74 6f | 20 20 6d 6f 64 65 6c 20 | is to| model |
|00001720| 20 74 68 65 0a 69 6e 74 | 65 72 66 61 63 65 20 75 | the.int|erface u|
|00001730| 73 69 6e 67 20 61 62 73 | 74 72 61 63 74 20 64 61 |sing abs|tract da|
|00001740| 74 61 20 74 79 70 65 73 | 2c 20 74 68 65 6e 20 20 |ta types|, then |
|00001750| 65 61 63 68 20 20 62 69 | 6e 64 69 6e 67 20 20 64 |each bi|nding d|
|00001760| 65 66 69 6e 65 73 20 20 | 69 74 73 0a 6d 61 70 70 |efines |its.mapp|
|00001770| 69 6e 67 20 6f 66 20 72 | 65 61 6c 20 64 61 74 61 |ing of r|eal data|
|00001780| 20 74 79 70 65 73 20 74 | 6f 20 74 68 65 73 65 20 | types t|o these |
|00001790| 61 62 73 74 72 61 63 74 | 20 74 79 70 65 73 2e 0a |abstract| types..|
|000017a0| 0a 49 6e 74 65 72 6f 70 | 65 72 61 62 69 6c 69 74 |.Interop|erabilit|
|000017b0| 79 20 66 61 69 6c 73 20 | 77 68 65 6e 20 63 65 72 |y fails |when cer|
|000017c0| 74 61 69 6e 20 61 62 73 | 74 72 61 63 74 20 6f 70 |tain abs|tract op|
|000017d0| 61 71 75 65 20 74 79 70 | 65 73 2c 20 70 72 6f 63 |aque typ|es, proc|
|000017e0| 65 73 73 20 20 69 64 0a | 6f 72 20 20 66 69 6c 65 |ess id.|or file|
|000017f0| 20 20 64 65 73 63 72 69 | 70 74 6f 72 20 66 6f 72 | descri|ptor for|
|00001800| 20 65 78 61 6d 70 6c 65 | 2c 20 61 72 65 20 6d 61 | example|, are ma|
|00001810| 70 70 65 64 20 62 79 20 | 64 69 66 66 65 72 65 6e |pped by |differen|
|00001820| 74 20 6c 61 6e 67 75 61 | 67 65 73 20 74 6f 0a 64 |t langua|ges to.d|
|00001830| 69 66 66 65 72 65 6e 74 | 20 74 79 70 65 73 2e 20 |ifferent| types. |
|00001840| 20 57 68 61 74 20 6d 61 | 79 20 62 65 20 65 66 66 | What ma|y be eff|
|00001850| 65 63 74 69 76 65 6c 79 | 20 6d 61 70 70 65 64 20 |ectively| mapped |
|00001860| 74 6f 20 61 20 70 6f 69 | 6e 74 65 72 20 20 69 6e |to a poi|nter in|
|00001870| 20 20 6f 6e 65 0a 6c 61 | 6e 67 75 61 67 65 20 20 | one.la|nguage |
|00001880| 63 61 6e 6e 6f 74 20 20 | 62 65 20 20 73 75 70 70 |cannot |be supp|
|00001890| 6f 72 74 65 64 20 20 62 | 79 20 20 61 6e 6f 74 68 |orted b|y anoth|
|000018a0| 65 72 20 20 6c 61 6e 67 | 75 61 67 65 20 20 77 68 |er lang|uage wh|
|000018b0| 69 63 68 20 64 6f 65 73 | 20 6e 6f 74 0a 75 6e 64 |ich does| not.und|
|000018c0| 65 72 73 74 61 6e 64 20 | 70 6f 69 6e 74 65 72 73 |erstand |pointers|
|000018d0| 2e 20 20 54 68 65 20 73 | 65 63 6f 6e 64 20 6c 61 |. The s|econd la|
|000018e0| 6e 67 75 61 67 65 20 6d | 75 73 74 20 20 6d 61 70 |nguage m|ust map|
|000018f0| 20 20 74 68 65 20 20 6f | 70 61 71 75 65 20 20 74 | the o|paque t|
|00001900| 79 70 65 0a 64 69 66 66 | 65 72 65 6e 74 6c 79 2c |ype.diff|erently,|
|00001910| 20 74 6f 20 74 68 65 20 | 64 65 74 72 69 6d 65 6e | to the |detrimen|
|00001920| 74 20 6f 66 20 69 6e 74 | 65 72 6f 70 65 72 61 62 |t of int|eroperab|
|00001930| 69 6c 69 74 79 2e 0a 0a | 49 6e 20 72 65 74 72 6f |ility...|In retro|
|00001940| 73 70 65 63 74 2c 20 74 | 68 69 73 20 69 73 20 6e |spect, t|his is n|
|00001950| 6f 74 20 75 6e 72 65 61 | 73 6f 6e 61 62 6c 65 2e |ot unrea|sonable.|
|00001960| 20 20 50 4f 53 49 58 27 | 20 67 6f 61 6c 20 69 73 | POSIX'| goal is|
|00001970| 20 74 6f 20 65 6e 73 75 | 72 65 20 74 68 65 0a 70 | to ensu|re the.p|
|00001980| 6f 72 74 61 62 69 6c 69 | 74 79 20 20 6f 66 20 61 |ortabili|ty of a|
|00001990| 6e 20 61 70 70 6c 69 63 | 61 74 69 6f 6e 20 75 73 |n applic|ation us|
|000019a0| 69 6e 67 20 6f 70 65 72 | 61 74 69 6e 67 20 73 79 |ing oper|ating sy|
|000019b0| 73 74 65 6d 73 20 73 65 | 72 76 69 63 65 73 20 61 |stems se|rvices a|
|000019c0| 63 72 6f 73 73 0a 6d 75 | 6c 74 69 70 6c 65 20 69 |cross.mu|ltiple i|
|000019d0| 6d 70 6c 65 6d 65 6e 74 | 61 74 69 6f 6e 73 20 61 |mplement|ations a|
|000019e0| 74 20 74 68 65 20 73 6f | 75 72 63 65 20 6c 65 76 |t the so|urce lev|
|000019f0| 65 6c 2e 20 20 49 74 20 | 6d 61 6b 65 73 20 6e 6f |el. It |makes no|
|00001a00| 20 20 65 66 66 6f 72 74 | 20 20 74 6f 0a 65 6e 73 | effort| to.ens|
|00001a10| 75 72 65 20 69 6e 74 65 | 72 6f 70 65 72 61 62 69 |ure inte|roperabi|
|00001a20| 6c 69 74 79 20 62 65 74 | 77 65 65 6e 20 70 72 6f |lity bet|ween pro|
|00001a30| 67 72 61 6d 6d 69 6e 67 | 20 6c 61 6e 67 75 61 67 |gramming| languag|
|00001a40| 65 73 2c 20 6e 6f 72 20 | 73 68 6f 75 6c 64 20 74 |es, nor |should t|
|00001a50| 68 61 74 0a 62 65 20 77 | 69 74 68 69 6e 20 74 68 |hat.be w|ithin th|
|00001a60| 65 20 73 63 6f 70 65 20 | 6f 66 20 74 68 65 20 73 |e scope |of the s|
|00001a70| 74 61 6e 64 61 72 64 2e | 0a 0a 54 68 65 20 6d 65 |tandard.|..The me|
|00001a80| 74 68 6f 64 20 64 65 66 | 69 6e 65 73 20 61 20 6d |thod def|ines a m|
|00001a90| 6f 64 65 6c 20 77 68 69 | 63 68 20 63 6f 6e 74 61 |odel whi|ch conta|
|00001aa0| 69 6e 73 20 64 61 74 61 | 20 20 74 79 70 65 73 2c |ins data| types,|
|00001ab0| 20 20 70 72 6f 63 65 64 | 75 72 65 73 20 20 6f 6e | proced|ures on|
|00001ac0| 0a 74 68 6f 73 65 20 20 | 74 79 70 65 73 2c 20 61 |.those |types, a|
|00001ad0| 6e 64 20 63 6f 6e 73 74 | 61 6e 74 73 2e 20 20 54 |nd const|ants. T|
|00001ae0| 68 65 20 6f 62 6a 65 63 | 74 73 20 74 68 61 74 20 |he objec|ts that |
|00001af0| 74 68 65 20 73 79 73 74 | 65 6d 20 73 65 72 76 69 |the syst|em servi|
|00001b00| 63 65 73 20 61 63 74 0a | 75 70 6f 6e 20 61 72 65 |ces act.|upon are|
|00001b10| 20 6d 6f 64 65 6c 6c 65 | 64 20 62 79 20 74 68 65 | modelle|d by the|
|00001b20| 69 72 20 61 62 73 74 72 | 61 63 74 20 74 79 70 65 |ir abstr|act type|
|00001b30| 73 2e 20 20 54 68 65 20 | 70 72 6f 63 65 64 75 72 |s. The |procedur|
|00001b40| 65 73 20 20 28 73 65 72 | 76 69 63 65 73 29 0a 62 |es (ser|vices).b|
|00001b50| 65 63 6f 6d 65 20 74 68 | 65 20 6f 70 65 72 61 74 |ecome th|e operat|
|00001b60| 69 6f 6e 73 20 6f 6e 20 | 74 68 65 20 64 61 74 61 |ions on |the data|
|00001b70| 20 74 79 70 65 73 2e 0a | 0a 4f 70 65 72 61 74 69 | types..|.Operati|
|00001b80| 6e 67 20 73 79 73 74 65 | 6d 20 73 65 72 76 69 63 |ng syste|m servic|
|00001b90| 65 20 20 69 6e 74 65 72 | 66 61 63 65 73 20 20 61 |e inter|faces a|
|00001ba0| 72 65 20 20 70 72 65 73 | 65 6e 74 65 64 20 20 61 |re pres|ented a|
|00001bb0| 73 20 20 61 6e 20 20 61 | 62 73 74 72 61 63 74 0a |s an a|bstract.|
|00001bc0| 70 72 6f 63 65 64 75 72 | 65 2c 20 20 77 69 74 68 |procedur|e, with|
|00001bd0| 20 69 6e 70 75 74 20 70 | 61 72 61 6d 65 74 65 72 | input p|arameter|
|00001be0| 73 2c 20 6f 75 74 70 75 | 74 20 70 61 72 61 6d 65 |s, outpu|t parame|
|00001bf0| 74 65 72 73 20 61 6e 64 | 20 74 68 65 20 6e 6f 74 |ters and| the not|
|00001c00| 69 6f 6e 20 6f 66 0a 61 | 20 63 6f 6d 70 6c 65 74 |ion of.a| complet|
|00001c10| 69 6f 6e 20 73 74 61 74 | 75 73 2e 20 20 4e 6f 74 |ion stat|us. Not|
|00001c20| 65 20 74 68 61 74 20 63 | 6f 6d 70 6c 65 74 69 6f |e that c|ompletio|
|00001c30| 6e 20 73 74 61 74 75 73 | 20 64 6f 65 73 20 6e 6f |n status| does no|
|00001c40| 74 20 72 65 66 65 72 20 | 74 6f 20 20 61 0a 72 65 |t refer |to a.re|
|00001c50| 74 75 72 6e 65 64 20 20 | 76 61 6c 75 65 2c 20 62 |turned |value, b|
|00001c60| 75 74 20 63 6f 75 6c 64 | 20 6a 75 73 74 20 61 73 |ut could| just as|
|00001c70| 20 65 61 73 69 6c 79 20 | 72 65 66 65 72 20 74 6f | easily |refer to|
|00001c80| 20 61 20 72 61 69 73 65 | 64 20 65 78 63 65 70 74 | a raise|d except|
|00001c90| 69 6f 6e 2c 0a 61 20 73 | 69 67 6e 61 6c 2c 20 61 |ion,.a s|ignal, a|
|00001ca0| 20 72 65 74 75 72 6e 20 | 76 61 6c 75 65 20 6f 66 | return |value of|
|00001cb0| 20 61 20 20 66 75 6e 63 | 74 69 6f 6e 2c 20 20 61 | a func|tion, a|
|00001cc0| 6e 20 20 6f 75 74 70 75 | 74 20 20 70 61 72 61 6d |n outpu|t param|
|00001cd0| 65 74 65 72 20 20 6f 66 | 20 20 61 0a 70 72 6f 63 |eter of| a.proc|
|00001ce0| 65 64 75 72 65 2c 20 6f | 72 20 61 6e 79 20 6f 74 |edure, o|r any ot|
|00001cf0| 68 65 72 20 65 6e 74 69 | 74 79 20 79 6f 75 20 63 |her enti|ty you c|
|00001d00| 61 6e 20 69 6d 61 67 69 | 6e 65 2e 0a 0a 54 68 65 |an imagi|ne...The|
|00001d10| 20 6d 65 74 68 6f 64 73 | 20 64 6f 63 75 6d 65 6e | methods| documen|
|00001d20| 74 20 67 6f 65 73 20 6f | 6e 20 20 74 6f 20 20 73 |t goes o|n to s|
|00001d30| 75 67 67 65 73 74 20 20 | 67 75 69 64 65 6c 69 6e |uggest |guidelin|
|00001d40| 65 73 20 20 66 6f 72 20 | 20 62 6f 74 68 20 20 62 |es for | both b|
|00001d50| 61 73 65 0a 73 74 61 6e | 64 61 72 64 20 61 6e 64 |ase.stan|dard and|
|00001d60| 20 6c 61 6e 67 75 61 67 | 65 20 62 69 6e 64 69 6e | languag|e bindin|
|00001d70| 67 20 64 65 76 65 6c 6f | 70 65 72 73 2e 0a 0a 54 |g develo|pers...T|
|00001d80| 68 65 20 6d 65 74 68 6f | 64 73 20 64 6f 63 75 6d |he metho|ds docum|
|00001d90| 65 6e 74 20 68 61 73 20 | 20 62 65 65 6e 20 20 75 |ent has | been u|
|00001da0| 70 64 61 74 65 64 20 20 | 73 69 6e 63 65 20 20 44 |pdated |since D|
|00001db0| 61 6e 76 61 72 73 20 20 | 61 6e 64 20 20 77 69 6c |anvars |and wil|
|00001dc0| 6c 20 20 62 65 0a 70 72 | 65 73 65 6e 74 65 64 20 |l be.pr|esented |
|00001dd0| 20 61 67 61 69 6e 20 69 | 6e 20 53 65 61 74 74 6c | again i|n Seattl|
|00001de0| 65 2e 20 20 49 74 20 77 | 69 6c 6c 20 62 65 20 70 |e. It w|ill be p|
|00001df0| 75 74 20 74 6f 20 61 20 | 6d 6f 63 6b 20 62 61 6c |ut to a |mock bal|
|00001e00| 6c 6f 74 20 73 6f 6d 65 | 74 69 6d 65 0a 61 66 74 |lot some|time.aft|
|00001e10| 65 72 20 53 65 61 74 74 | 6c 65 2e 20 20 44 6f 6e |er Seatt|le. Don|
|00001e20| 6e 20 54 65 72 72 79 20 | 69 73 20 6d 61 6e 61 67 |n Terry |is manag|
|00001e30| 69 6e 67 20 74 68 65 20 | 62 61 6c 6c 6f 74 20 6c |ing the |ballot l|
|00001e40| 69 73 74 2e 0a 0a 4f 6e | 65 20 69 6e 74 65 72 65 |ist...On|e intere|
|00001e50| 73 74 69 6e 67 20 65 78 | 61 6d 70 6c 65 20 6f 66 |sting ex|ample of|
|00001e60| 20 61 20 73 69 6d 69 6c | 61 72 20 69 6e 66 6f 72 | a simil|ar infor|
|00001e70| 6d 61 6c 20 6d 65 74 68 | 6f 64 20 20 74 68 61 74 |mal meth|od that|
|00001e80| 20 20 49 27 76 65 20 20 | 73 65 65 6e 0a 72 65 63 | I've |seen.rec|
|00001e90| 65 6e 74 6c 79 20 20 69 | 73 20 74 68 65 20 63 69 |ently i|s the ci|
|00001ea0| 72 63 75 6c 61 74 69 6f | 6e 20 6f 66 20 4f 52 4b |rculatio|n of ORK|
|00001eb0| 49 44 20 44 72 61 66 74 | 20 32 2e 31 20 5b 35 5d |ID Draft| 2.1 [5]|
|00001ec0| 20 69 6e 20 61 20 4c 49 | 53 20 66 6f 72 6d 20 77 | in a LI|S form w|
|00001ed0| 69 74 68 0a 61 20 43 20 | 62 69 6e 64 69 6e 67 2e |ith.a C |binding.|
|00001ee0| 20 20 4f 52 4b 49 44 20 | 69 73 6e 27 74 20 61 73 | ORKID |isn't as|
|00001ef0| 20 63 6f 6d 70 6c 65 78 | 20 61 73 20 50 4f 53 49 | complex| as POSI|
|00001f00| 58 2c 20 62 75 74 20 74 | 68 65 20 64 72 61 66 74 |X, but t|he draft|
|00001f10| 20 73 65 72 76 65 73 20 | 61 73 0a 61 6e 20 20 69 | serves |as.an i|
|00001f20| 6e 74 65 72 65 73 74 69 | 6e 67 20 20 61 6e 64 20 |nteresti|ng and |
|00001f30| 20 63 6f 6d 70 6c 65 74 | 65 20 20 65 78 61 6d 70 | complet|e examp|
|00001f40| 6c 65 2e 20 20 20 41 20 | 43 20 62 69 6e 64 69 6e |le. A |C bindin|
|00001f50| 67 20 61 63 63 6f 6d 70 | 61 6e 69 65 73 20 74 68 |g accomp|anies th|
|00001f60| 65 0a 64 72 61 66 74 20 | 61 73 20 61 6e 20 61 70 |e.draft |as an ap|
|00001f70| 70 65 6e 64 69 78 2c 20 | 66 6f 72 6d 61 74 74 65 |pendix, |formatte|
|00001f80| 64 20 74 65 72 73 65 6c | 79 20 61 73 20 61 20 43 |d tersel|y as a C|
|00001f90| 20 68 65 61 64 65 72 20 | 66 69 6c 65 2e 20 20 20 | header |file. |
|00001fa0| 49 20 20 77 6f 75 6c 64 | 0a 62 65 20 20 76 65 72 |I would|.be ver|
|00001fb0| 79 20 20 69 6e 74 65 72 | 65 73 74 65 64 20 20 74 |y inter|ested t|
|00001fc0| 6f 20 73 65 65 20 61 20 | 46 4f 52 54 52 41 4e 20 |o see a |FORTRAN |
|00001fd0| 6f 72 20 41 64 61 20 62 | 69 6e 64 69 6e 67 20 74 |or Ada b|inding t|
|00001fe0| 6f 20 74 68 65 20 64 72 | 61 66 74 2c 20 69 66 0a |o the dr|aft, if.|
|00001ff0| 6f 6e 65 20 65 78 69 73 | 74 73 2e 0a 0a 54 68 65 |one exis|ts...The|
|00002000| 20 64 72 61 66 74 20 68 | 61 73 20 74 68 65 20 73 | draft h|as the s|
|00002010| 61 6d 65 20 70 72 6f 62 | 6c 65 6d 20 77 69 74 68 |ame prob|lem with|
|00002020| 20 6c 61 6e 67 75 61 67 | 65 20 69 6e 74 65 72 6f | languag|e intero|
|00002030| 70 65 72 61 62 69 6c 69 | 74 79 20 74 68 61 74 20 |perabili|ty that |
|00002040| 20 77 65 0a 64 69 73 63 | 6f 76 65 72 65 64 20 20 | we.disc|overed |
|00002050| 77 69 74 68 20 20 6f 75 | 72 20 20 6d 65 74 68 6f |with ou|r metho|
|00002060| 64 2c 20 20 69 6e 20 74 | 68 61 74 20 74 68 65 72 |d, in t|hat ther|
|00002070| 65 20 69 73 20 63 6f 6e | 73 69 64 65 72 61 62 6c |e is con|siderabl|
|00002080| 65 20 72 6f 6f 6d 20 66 | 6f 72 0a 63 68 6f 6f 73 |e room f|or.choos|
|00002090| 69 6e 67 20 6c 61 6e 67 | 75 61 67 65 20 73 70 65 |ing lang|uage spe|
|000020a0| 63 69 66 69 63 20 64 61 | 74 61 20 74 79 70 65 73 |cific da|ta types|
|000020b0| 20 74 6f 20 6d 61 74 63 | 68 20 74 68 65 20 6f 70 | to matc|h the op|
|000020c0| 61 71 75 65 20 74 79 70 | 65 73 2e 20 20 54 68 65 |aque typ|es. The|
|000020d0| 79 0a 67 6f 20 20 61 73 | 20 20 66 61 72 20 20 61 |y.go as| far a|
|000020e0| 73 20 20 74 6f 20 61 6c | 6c 6f 77 20 69 6d 70 6c |s to al|low impl|
|000020f0| 65 6d 65 6e 74 61 74 69 | 6f 6e 73 20 77 69 74 68 |ementati|ons with|
|00002100| 69 6e 20 61 20 6c 61 6e | 67 75 61 67 65 20 74 6f |in a lan|guage to|
|00002110| 20 73 70 65 63 69 66 79 | 0a 74 68 65 69 72 20 6f | specify|.their o|
|00002120| 77 6e 20 64 61 74 61 20 | 74 79 70 65 73 2e 20 20 |wn data |types. |
|00002130| 49 20 68 61 76 65 6e 27 | 74 20 73 70 65 6e 74 20 |I haven'|t spent |
|00002140| 65 6e 6f 75 67 68 20 74 | 69 6d 65 20 77 69 74 68 |enough t|ime with|
|00002150| 20 74 68 65 20 20 64 72 | 61 66 74 20 20 74 6f 0a | the dr|aft to.|
|00002160| 62 65 20 20 61 62 6c 65 | 20 20 74 6f 20 20 63 6f |be able| to co|
|00002170| 6d 6d 65 6e 74 20 6f 6e | 20 77 68 65 74 68 65 72 |mment on| whether|
|00002180| 20 74 68 69 73 20 68 75 | 72 74 73 20 6e 65 74 77 | this hu|rts netw|
|00002190| 6f 72 6b 65 64 20 61 70 | 70 6c 69 63 61 74 69 6f |orked ap|plicatio|
|000021a0| 6e 73 2c 20 6f 72 0a 77 | 68 65 74 68 65 72 20 74 |ns, or.w|hether t|
|000021b0| 68 65 20 70 72 6f 63 65 | 64 75 72 65 20 69 6e 74 |he proce|dure int|
|000021c0| 65 72 66 61 63 65 20 64 | 65 61 6c 73 20 77 69 74 |erface d|eals wit|
|000021d0| 68 20 74 68 69 73 20 62 | 65 68 69 6e 64 20 74 68 |h this b|ehind th|
|000021e0| 65 20 61 70 70 6c 69 63 | 61 74 69 6f 6e 0a 64 65 |e applic|ation.de|
|000021f0| 76 65 6c 6f 70 65 72 27 | 73 20 62 61 63 6b 2e 20 |veloper'|s back. |
|00002200| 20 49 74 20 69 73 20 73 | 74 69 6c 6c 20 61 20 76 | It is s|till a v|
|00002210| 61 6c 75 61 62 6c 65 20 | 65 78 61 6d 70 6c 65 2e |aluable |example.|
|00002220| 0a 0c 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |... | |
|00002230| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00002240| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00002250| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00002260| 20 20 20 50 61 67 65 20 | 34 0a 0a 0a 50 61 75 6c | Page |4...Paul|
|00002270| 20 69 73 20 6d 61 6e 61 | 67 69 6e 67 20 61 20 6d | is mana|ging a m|
|00002280| 61 69 6c 69 6e 67 20 6c | 69 73 74 20 66 6f 72 20 |ailing l|ist for |
|00002290| 4c 49 53 20 72 65 6c 61 | 74 65 64 20 69 73 73 75 |LIS rela|ted issu|
|000022a0| 65 73 20 61 6e 64 20 64 | 69 73 63 75 73 73 69 6f |es and d|iscussio|
|000022b0| 6e 2e 0a 4d 65 73 73 61 | 67 65 73 20 20 66 6f 72 |n..Messa|ges for|
|000022c0| 20 20 64 69 73 74 72 69 | 62 75 74 69 6f 6e 20 20 | distri|bution |
|000022d0| 74 6f 20 20 74 68 65 20 | 20 77 68 6f 6c 65 20 20 |to the | whole |
|000022e0| 6c 69 73 74 20 20 73 68 | 6f 75 6c 64 20 20 62 65 |list sh|ould be|
|000022f0| 20 20 73 65 6e 74 20 74 | 6f 0a 70 6f 73 69 78 2d | sent t|o.posix-|
|00002300| 6c 69 73 40 6f 73 66 2e | 6f 72 67 20 6f 72 20 75 |lis@osf.|org or u|
|00002310| 75 6e 65 74 21 6f 73 66 | 2e 6f 72 67 21 70 6f 73 |unet!osf|.org!pos|
|00002320| 69 78 2d 6c 69 73 2e 20 | 20 52 65 71 75 65 73 74 |ix-lis. | Request|
|00002330| 73 20 66 6f 72 20 75 70 | 64 61 74 65 73 20 74 6f |s for up|dates to|
|00002340| 0a 74 68 65 20 6c 69 73 | 74 20 73 68 6f 75 6c 64 |.the lis|t should|
|00002350| 20 62 65 20 73 65 6e 74 | 20 74 6f 20 70 6f 73 69 | be sent| to posi|
|00002360| 78 2d 6c 69 73 2d 72 65 | 71 75 65 73 74 40 6f 73 |x-lis-re|quest@os|
|00002370| 66 2e 6f 72 67 2e 0a 0a | 0a 0a 34 20 20 50 45 4f |f.org...|..4 PEO|
|00002380| 50 4c 45 20 49 53 53 55 | 45 53 0a 0a 54 68 65 72 |PLE ISSU|ES..Ther|
|00002390| 65 20 61 72 65 20 61 20 | 6e 75 6d 62 65 72 20 6f |e are a |number o|
|000023a0| 66 20 70 65 6f 70 6c 65 | 20 69 73 73 75 65 73 20 |f people| issues |
|000023b0| 73 75 72 72 6f 75 6e 64 | 69 6e 67 20 74 68 65 20 |surround|ing the |
|000023c0| 4c 49 53 2c 20 77 68 69 | 63 68 20 20 73 68 6f 75 |LIS, whi|ch shou|
|000023d0| 6c 64 0a 62 65 20 20 75 | 6e 64 65 72 73 74 6f 6f |ld.be u|nderstoo|
|000023e0| 64 2c 20 20 62 65 63 61 | 75 73 65 20 20 74 68 65 |d, beca|use the|
|000023f0| 20 20 4c 49 53 20 20 73 | 6f 6d 65 74 69 6d 65 73 | LIS s|ometimes|
|00002400| 20 20 62 65 63 6f 6d 65 | 73 20 20 61 6e 20 65 6d | become|s an em|
|00002410| 6f 74 69 6f 6e 61 6c 6c | 79 0a 64 65 62 61 74 65 |otionall|y.debate|
|00002420| 64 20 74 6f 70 69 63 2e | 20 20 41 6e 20 65 66 66 |d topic.| An eff|
|00002430| 6f 72 74 20 68 61 73 20 | 62 65 65 6e 20 6d 61 64 |ort has |been mad|
|00002440| 65 20 74 6f 20 73 74 61 | 74 65 20 74 68 65 6d 20 |e to sta|te them |
|00002450| 20 75 6e 62 69 61 73 65 | 64 6c 79 20 20 61 6e 64 | unbiase|dly and|
|00002460| 0a 74 6f 20 20 63 6f 6d | 70 6c 65 74 65 6c 79 20 |.to com|pletely |
|00002470| 20 61 76 6f 69 64 20 20 | 61 6e 79 20 20 6f 66 20 | avoid |any of |
|00002480| 20 74 68 65 20 20 66 69 | 6e 67 65 72 20 20 70 6f | the fi|nger po|
|00002490| 69 6e 74 69 6e 67 20 20 | 61 72 67 75 6d 65 6e 74 |inting |argument|
|000024a0| 73 20 77 68 69 63 68 0a | 73 6f 6d 65 74 69 6d 65 |s which.|sometime|
|000024b0| 73 20 6f 63 63 75 72 2e | 0a 0a 0a 0a 34 2e 31 20 |s occur.|....4.1 |
|000024c0| 20 50 65 6f 70 6c 65 20 | 49 73 73 75 65 20 23 31 | People |Issue #1|
|000024d0| 0a 0a 4d 61 6e 79 20 70 | 65 6f 70 6c 65 20 68 61 |..Many p|eople ha|
|000024e0| 76 65 20 64 65 76 6f 74 | 65 64 20 20 61 20 20 63 |ve devot|ed a c|
|000024f0| 6f 6e 73 69 64 65 72 61 | 62 6c 65 20 20 65 66 66 |onsidera|ble eff|
|00002500| 6f 72 74 20 20 69 6e 74 | 6f 20 20 62 75 69 6c 64 |ort int|o build|
|00002510| 69 6e 67 20 20 74 68 65 | 0a 63 75 72 72 65 6e 74 |ing the|.current|
|00002520| 20 31 30 30 33 2e 31 20 | 73 74 61 6e 64 61 72 64 | 1003.1 |standard|
|00002530| 20 61 6e 64 20 74 68 65 | 20 64 72 61 66 74 20 64 | and the| draft d|
|00002540| 6f 63 75 6d 65 6e 74 73 | 20 77 68 69 63 68 20 61 |ocuments| which a|
|00002550| 72 65 20 62 61 6c 6c 6f | 74 69 6e 67 20 6f 72 0a |re ballo|ting or.|
|00002560| 6e 65 61 72 20 62 61 6c | 6c 6f 74 2e 20 20 54 68 |near bal|lot. Th|
|00002570| 65 72 65 20 69 73 20 6f | 77 6e 65 72 73 68 69 70 |ere is o|wnership|
|00002580| 20 61 6e 64 20 20 73 77 | 65 61 74 20 20 62 75 69 | and sw|eat bui|
|00002590| 6c 74 20 20 69 6e 74 6f | 20 20 61 6c 6c 20 20 6f |lt into| all o|
|000025a0| 66 20 20 74 68 65 0a 64 | 6f 63 75 6d 65 6e 74 73 |f the.d|ocuments|
|000025b0| 2e 20 20 41 20 70 65 72 | 63 65 70 74 69 6f 6e 20 |. A per|ception |
|000025c0| 65 78 69 73 74 73 20 74 | 68 61 74 20 74 68 65 20 |exists t|hat the |
|000025d0| 49 53 4f 20 6d 61 6e 64 | 61 74 65 20 74 6f 20 70 |ISO mand|ate to p|
|000025e0| 72 6f 64 75 63 65 20 4c | 49 53 20 6f 66 0a 74 68 |roduce L|IS of.th|
|000025f0| 65 20 73 65 72 76 69 63 | 65 73 20 64 65 73 74 72 |e servic|es destr|
|00002600| 6f 79 73 20 74 68 65 73 | 65 20 64 6f 63 75 6d 65 |oys thes|e docume|
|00002610| 6e 74 73 2e 20 20 20 49 | 74 20 20 64 6f 65 73 20 |nts. I|t does |
|00002620| 20 6e 6f 74 2e 20 20 20 | 54 68 65 72 65 20 20 69 | not. |There i|
|00002630| 73 20 20 61 0a 64 65 73 | 69 72 65 20 20 74 6f 20 |s a.des|ire to |
|00002640| 63 68 61 6e 67 65 20 74 | 68 65 20 64 6f 63 75 6d |change t|he docum|
|00002650| 65 6e 74 73 20 74 6f 20 | 70 72 6f 64 75 63 65 20 |ents to |produce |
|00002660| 74 68 65 20 62 65 73 74 | 20 70 6f 73 73 69 62 6c |the best| possibl|
|00002670| 65 20 73 74 61 6e 64 61 | 72 64 2c 0a 79 65 74 20 |e standa|rd,.yet |
|00002680| 62 61 63 6b 77 61 72 64 | 73 20 63 6f 6e 66 6f 72 |backward|s confor|
|00002690| 6d 61 6e 63 65 20 74 6f | 20 74 68 65 20 63 75 72 |mance to| the cur|
|000026a0| 72 65 6e 74 20 77 6f 72 | 6b 20 68 61 73 20 61 6c |rent wor|k has al|
|000026b0| 77 61 79 73 20 62 65 65 | 6e 20 61 20 67 6f 61 6c |ways bee|n a goal|
|000026c0| 2e 0a 0a 54 68 65 73 65 | 20 64 6f 63 75 6d 65 6e |...These| documen|
|000026d0| 74 73 20 20 77 69 6c 6c | 20 20 63 68 61 6e 67 65 |ts will| change|
|000026e0| 20 20 69 6e 20 20 66 75 | 74 75 72 65 20 20 72 65 | in fu|ture re|
|000026f0| 76 69 73 69 6f 6e 73 20 | 20 6f 66 20 20 50 4f 53 |visions | of POS|
|00002700| 49 58 2e 20 20 20 54 68 | 65 0a 6b 6e 6f 77 6c 65 |IX. Th|e.knowle|
|00002710| 64 67 65 20 67 61 69 6e | 65 64 20 61 6e 64 20 69 |dge gain|ed and i|
|00002720| 6e 66 6f 72 6d 61 74 69 | 6f 6e 20 63 6f 6e 74 65 |nformati|on conte|
|00002730| 6e 74 20 69 73 20 76 61 | 6c 69 64 2e 20 20 57 65 |nt is va|lid. We|
|00002740| 20 61 72 65 20 64 69 73 | 63 75 73 73 69 6e 67 2c | are dis|cussing,|
|00002750| 0a 68 6f 77 65 76 65 72 | 2c 20 61 6e 20 65 66 66 |.however|, an eff|
|00002760| 6f 72 74 20 74 68 61 74 | 20 69 73 20 20 66 61 72 |ort that| is far|
|00002770| 20 20 62 65 79 6f 6e 64 | 20 20 73 69 6d 70 6c 65 | beyond| simple|
|00002780| 20 20 72 65 66 6f 72 6d | 61 74 74 69 6e 67 20 20 | reform|atting |
|00002790| 6f 66 20 20 74 68 65 0a | 63 75 72 72 65 6e 74 20 |of the.|current |
|000027a0| 64 6f 63 75 6d 65 6e 74 | 73 2e 0a 0a 41 4e 59 20 |document|s...ANY |
|000027b0| 73 69 67 6e 69 66 69 63 | 61 6e 74 20 20 63 68 61 |signific|ant cha|
|000027c0| 6e 67 65 20 20 61 74 20 | 20 74 68 69 73 20 20 70 |nge at | this p|
|000027d0| 6f 69 6e 74 20 20 77 69 | 6c 6c 20 20 69 6e 65 76 |oint wi|ll inev|
|000027e0| 69 74 61 62 6c 79 20 20 | 6d 65 65 74 20 20 77 69 |itably |meet wi|
|000027f0| 74 68 0a 72 65 73 69 73 | 74 61 6e 63 65 20 20 6e |th.resis|tance n|
|00002800| 6f 20 20 6d 61 74 74 65 | 72 20 20 68 6f 77 20 20 |o matte|r how |
|00002810| 69 74 27 73 20 70 72 65 | 73 65 6e 74 65 64 2e 20 |it's pre|sented. |
|00002820| 20 54 68 69 73 20 77 68 | 6f 6c 65 20 69 73 73 75 | This wh|ole issu|
|00002830| 65 20 69 73 20 76 65 72 | 79 0a 61 6e 61 6c 6f 67 |e is ver|y.analog|
|00002840| 6f 75 73 20 74 6f 20 31 | 30 30 33 2e 33 20 72 65 |ous to 1|003.3 re|
|00002850| 71 75 69 72 65 6d 65 6e | 74 73 20 66 6f 72 20 70 |quiremen|ts for p|
|00002860| 72 6f 76 69 64 69 6e 67 | 20 74 65 73 74 20 61 73 |roviding| test as|
|00002870| 73 65 72 74 69 6f 6e 73 | 20 61 74 20 74 68 69 73 |sertions| at this|
|00002880| 0a 70 6f 69 6e 74 2e 20 | 20 20 41 74 20 74 68 65 |.point. | At the|
|00002890| 20 6c 61 73 74 20 50 31 | 30 30 33 20 6d 65 65 74 | last P1|003 meet|
|000028a0| 69 6e 67 20 69 6e 20 44 | 61 6e 76 61 72 73 2c 20 |ing in D|anvars, |
|000028b0| 49 20 68 61 64 20 61 6e | 20 6f 70 70 6f 72 74 75 |I had an| opportu|
|000028c0| 6e 69 74 79 20 74 6f 0a | 73 70 65 6e 64 20 74 69 |nity to.|spend ti|
|000028d0| 6d 65 20 69 6e 20 74 68 | 65 20 2e 31 2c 20 2e 35 |me in th|e .1, .5|
|000028e0| 20 61 6e 64 20 2e 39 20 | 72 6f 6f 6d 73 2c 20 28 | and .9 |rooms, (|
|000028f0| 61 73 20 77 65 6c 6c 20 | 20 61 73 20 20 6d 79 20 |as well | as my |
|00002900| 20 68 6f 6d 65 20 20 69 | 6e 20 20 2e 34 29 0a 64 | home i|n .4).d|
|00002910| 69 73 63 75 73 73 69 6e | 67 20 20 4c 49 53 20 69 |iscussin|g LIS i|
|00002920| 73 73 75 65 73 2e 20 20 | 49 20 74 68 69 6e 6b 20 |ssues. |I think |
|00002930| 49 27 6d 20 62 65 67 69 | 6e 6e 69 6e 67 20 74 6f |I'm begi|nning to|
|00002940| 20 75 6e 64 65 72 73 74 | 61 6e 64 20 68 6f 77 20 | underst|and how |
|00002950| 52 6f 67 65 72 0a 4d 61 | 72 74 69 6e 20 28 50 31 |Roger.Ma|rtin (P1|
|00002960| 30 30 33 2e 33 20 63 68 | 61 69 72 29 20 66 65 65 |003.3 ch|air) fee|
|00002970| 6c 73 20 61 6e 79 20 74 | 69 6d 65 20 68 65 20 73 |ls any t|ime he s|
|00002980| 68 6f 77 73 20 75 70 20 | 69 6e 20 20 61 6e 6f 74 |hows up |in anot|
|00002990| 68 65 72 20 20 77 6f 72 | 6b 69 6e 67 0a 67 72 6f |her wor|king.gro|
|000029a0| 75 70 20 74 6f 20 65 78 | 70 6c 61 69 6e 20 74 65 |up to ex|plain te|
|000029b0| 73 74 20 61 73 73 65 72 | 74 69 6f 6e 20 72 65 71 |st asser|tion req|
|000029c0| 75 69 72 65 6d 65 6e 74 | 73 2e 0a 0a 0a 0a 34 2e |uirement|s.....4.|
|000029d0| 32 20 20 50 65 6f 70 6c | 65 20 49 73 73 75 65 20 |2 Peopl|e Issue |
|000029e0| 23 32 0a 0a 57 6f 72 6b | 69 6e 67 20 47 72 6f 75 |#2..Work|ing Grou|
|000029f0| 70 73 20 74 68 61 74 20 | 74 68 6f 75 67 68 74 20 |ps that |thought |
|00002a00| 74 68 65 79 20 68 61 64 | 20 62 61 6c 6c 6f 74 61 |they had| ballota|
|00002a10| 62 6c 65 20 20 64 6f 63 | 75 6d 65 6e 74 73 20 20 |ble doc|uments |
|00002a20| 61 72 65 20 20 62 65 69 | 6e 67 0a 61 73 6b 65 64 |are bei|ng.asked|
|00002a30| 20 20 74 6f 20 20 66 75 | 6c 66 69 6c 20 20 61 64 | to fu|lfil ad|
|00002a40| 64 69 74 69 6f 6e 61 6c | 20 72 65 71 75 69 72 65 |ditional| require|
|00002a50| 6d 65 6e 74 73 2e 20 20 | 54 68 65 73 65 20 72 65 |ments. |These re|
|00002a60| 71 75 69 72 65 6d 65 6e | 74 73 20 65 6e 74 61 69 |quiremen|ts entai|
|00002a70| 6c 0a 63 6f 6e 73 69 64 | 65 72 61 62 6c 65 20 65 |l.consid|erable e|
|00002a80| 78 74 72 61 20 65 66 66 | 6f 72 74 2e 20 20 42 61 |xtra eff|ort. Ba|
|00002a90| 73 65 20 73 74 61 6e 64 | 61 72 64 73 20 67 72 6f |se stand|ards gro|
|00002aa0| 75 70 73 20 61 72 65 20 | 62 65 69 6e 67 20 20 61 |ups are |being a|
|00002ab0| 73 6b 65 64 20 20 74 6f | 0a 70 72 6f 76 69 64 65 |sked to|.provide|
|00002ac0| 20 20 62 61 73 65 20 4c | 49 53 20 6f 66 20 74 68 | base L|IS of th|
|00002ad0| 65 69 72 20 73 65 72 76 | 69 63 65 73 2c 20 61 6e |eir serv|ices, an|
|00002ae0| 64 20 74 68 65 20 43 20 | 6c 61 6e 67 75 61 67 65 |d the C |language|
|00002af0| 20 62 69 6e 64 69 6e 67 | 20 74 6f 20 74 68 65 0a | binding| to the.|
|00002b00| 4c 49 53 2e 20 20 42 69 | 6e 64 69 6e 67 73 20 67 |LIS. Bi|ndings g|
|00002b10| 72 6f 75 70 73 20 61 72 | 65 20 62 65 69 6e 67 20 |roups ar|e being |
|00002b20| 61 73 6b 65 64 20 74 6f | 20 70 72 6f 76 69 64 65 |asked to| provide|
|00002b30| 20 72 65 66 6f 72 6d 61 | 74 74 65 64 20 20 62 69 | reforma|tted bi|
|00002b40| 6e 64 69 6e 67 73 0a 74 | 6f 20 20 61 20 20 62 61 |ndings.t|o a ba|
|00002b50| 73 65 20 20 4c 49 53 20 | 20 77 68 69 63 68 20 20 |se LIS | which |
|00002b60| 64 6f 65 73 6e 27 74 20 | 20 79 65 74 20 20 65 78 |doesn't | yet ex|
|00002b70| 69 73 74 2e 20 20 20 41 | 74 20 20 74 68 65 20 73 |ist. A|t the s|
|00002b80| 61 6d 65 20 74 69 6d 65 | 20 74 65 73 74 0a 61 73 |ame time| test.as|
|00002b90| 73 65 72 74 69 6f 6e 20 | 72 65 71 75 69 72 65 6d |sertion |requirem|
|00002ba0| 65 6e 74 73 20 61 72 65 | 20 62 65 69 6e 67 20 70 |ents are| being p|
|00002bb0| 72 65 73 65 6e 74 65 64 | 2e 20 20 42 6f 74 68 20 |resented|. Both |
|00002bc0| 6f 66 20 74 68 65 73 65 | 20 20 61 72 65 61 73 20 |of these| areas |
|00002bd0| 20 61 72 65 0a 70 65 72 | 63 65 69 76 65 64 20 20 | are.per|ceived |
|00002be0| 61 73 20 20 62 65 69 6e | 67 20 74 65 64 69 6f 75 |as bein|g tediou|
|00002bf0| 73 20 61 6e 64 20 22 62 | 6f 72 69 6e 67 22 2e 20 |s and "b|oring". |
|00002c00| 20 4f 6e 65 20 57 6f 72 | 6b 69 6e 67 20 47 72 6f | One Wor|king Gro|
|00002c10| 75 70 20 61 63 74 75 61 | 6c 6c 79 0a 77 65 6e 74 |up actua|lly.went|
|00002c20| 20 6f 6e 20 72 65 63 6f | 72 64 20 73 61 79 69 6e | on reco|rd sayin|
|00002c30| 67 20 74 68 65 79 20 66 | 65 6c 74 20 74 68 65 79 |g they f|elt they|
|00002c40| 20 77 6f 75 6c 64 20 6c | 6f 73 65 20 6d 65 6d 62 | would l|ose memb|
|00002c50| 65 72 73 68 69 70 20 6f | 76 65 72 20 20 74 68 65 |ership o|ver the|
|00002c60| 73 65 0a 69 73 73 75 65 | 73 2e 0a 0c 0a 20 20 20 |se.issue|s.... |
|00002c70| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00002c80| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00002c90| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00002ca0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 50 61 67 | | Pag|
|00002cb0| 65 20 35 0a 0a 0a 46 6f | 72 20 74 68 69 73 20 77 |e 5...Fo|r this w|
|00002cc0| 6f 72 6b 20 20 74 6f 20 | 20 62 65 20 20 77 6f 72 |ork to | be wor|
|00002cd0| 74 68 77 68 69 6c 65 20 | 20 69 74 20 20 6d 75 73 |thwhile | it mus|
|00002ce0| 74 20 20 62 65 20 20 64 | 6f 6e 65 20 20 63 6f 6d |t be d|one com|
|00002cf0| 70 6c 65 74 65 6c 79 20 | 20 61 6e 64 0a 61 63 63 |pletely | and.acc|
|00002d00| 75 72 61 74 65 6c 79 2e | 20 20 20 54 68 69 73 20 |urately.| This |
|00002d10| 20 77 69 6c 6c 20 20 72 | 65 71 75 69 72 65 20 20 | will r|equire |
|00002d20| 65 78 61 63 74 69 6e 67 | 20 20 65 66 66 6f 72 74 |exacting| effort|
|00002d30| 2e 20 20 4e 6f 74 68 69 | 6e 67 20 6c 69 6b 65 20 |. Nothi|ng like |
|00002d40| 74 68 65 0a 22 65 78 63 | 69 74 69 6e 67 22 20 77 |the."exc|iting" w|
|00002d50| 6f 72 6b 20 6f 66 20 61 | 72 67 75 69 6e 67 20 74 |ork of a|rguing t|
|00002d60| 68 65 20 66 75 6e 63 74 | 69 6f 6e 61 6c 69 74 79 |he funct|ionality|
|00002d70| 20 6f 66 20 61 20 66 61 | 6d 69 6c 79 20 6f 66 20 | of a fa|mily of |
|00002d80| 20 73 65 72 76 69 63 65 | 73 2e 0a 54 68 69 73 20 | service|s..This |
|00002d90| 20 63 6f 6d 65 73 20 20 | 61 74 20 74 68 65 20 70 | comes |at the p|
|00002da0| 65 72 63 65 69 76 65 64 | 20 65 6e 64 20 6f 66 20 |erceived| end of |
|00002db0| 77 6f 72 6b 20 61 73 20 | 61 20 64 72 61 66 74 20 |work as |a draft |
|00002dc0| 64 6f 63 75 6d 65 6e 74 | 20 70 72 65 70 61 72 65 |document| prepare|
|00002dd0| 73 0a 74 6f 20 67 6f 20 | 74 6f 20 62 61 6c 6c 6f |s.to go |to ballo|
|00002de0| 74 2e 0a 0a 0a 0a 35 20 | 20 54 48 49 43 4b 20 44 |t.....5 | THICK D|
|00002df0| 4f 43 55 4d 45 4e 54 53 | 20 4f 52 20 54 48 49 4e |OCUMENTS| OR THIN|
|00002e00| 20 2d 20 41 20 55 53 41 | 42 49 4c 49 54 59 20 49 | - A USA|BILITY I|
|00002e10| 53 53 55 45 0a 0a 4f 6e | 65 20 6f 66 20 74 68 65 |SSUE..On|e of the|
|00002e20| 20 64 65 62 61 74 65 73 | 20 63 75 72 72 65 6e 74 | debates| current|
|00002e30| 6c 79 20 62 65 69 6e 67 | 20 61 72 67 75 65 64 20 |ly being| argued |
|00002e40| 20 69 6e 20 20 50 31 30 | 30 33 20 20 69 73 20 20 | in P10|03 is |
|00002e50| 77 68 65 74 68 65 72 20 | 20 74 68 65 0a 69 6e 64 |whether | the.ind|
|00002e60| 69 76 69 64 75 61 6c 20 | 6c 61 6e 67 75 61 67 65 |ividual |language|
|00002e70| 20 62 69 6e 64 69 6e 67 | 73 20 61 72 65 20 74 68 | binding|s are th|
|00002e80| 69 63 6b 20 64 6f 63 75 | 6d 65 6e 74 73 20 6f 72 |ick docu|ments or|
|00002e90| 20 74 68 69 6e 2e 0a 0a | 49 6e 20 74 68 65 20 74 | thin...|In the t|
|00002ea0| 68 69 63 6b 20 20 64 6f | 63 75 6d 65 6e 74 20 20 |hick do|cument |
|00002eb0| 73 63 65 6e 61 72 69 6f | 2c 20 20 74 68 65 72 65 |scenario|, there|
|00002ec0| 20 20 69 73 20 20 61 20 | 20 62 61 73 65 20 20 64 | is a | base d|
|00002ed0| 6f 63 75 6d 65 6e 74 20 | 20 77 68 69 63 68 0a 64 |ocument | which.d|
|00002ee0| 65 73 63 72 69 62 65 73 | 20 20 74 68 65 20 20 61 |escribes| the a|
|00002ef0| 62 73 74 72 61 63 74 20 | 73 65 72 76 69 63 65 20 |bstract |service |
|00002f00| 69 6e 74 65 72 66 61 63 | 65 73 2c 20 61 6e 64 20 |interfac|es, and |
|00002f10| 65 61 63 68 20 62 69 6e | 64 69 6e 67 20 64 6f 63 |each bin|ding doc|
|00002f20| 75 6d 65 6e 74 0a 69 73 | 20 61 20 74 68 69 63 6b |ument.is| a thick|
|00002f30| 20 20 73 74 61 6e 64 61 | 6c 6f 6e 65 20 20 64 6f | standa|lone do|
|00002f40| 63 75 6d 65 6e 74 20 20 | 77 68 69 63 68 20 20 77 |cument |which w|
|00002f50| 69 6c 6c 20 20 72 65 70 | 65 61 74 20 20 74 68 65 |ill rep|eat the|
|00002f60| 20 20 66 75 6e 63 74 69 | 6f 6e 61 6c 0a 64 65 73 | functi|onal.des|
|00002f70| 63 72 69 70 74 69 6f 6e | 73 2c 20 20 61 64 6a 75 |cription|s, adju|
|00002f80| 73 74 65 64 20 20 66 6f | 72 20 20 74 68 65 20 20 |sted fo|r the |
|00002f90| 70 61 72 74 69 63 75 6c | 61 72 20 20 6c 61 6e 67 |particul|ar lang|
|00002fa0| 75 61 67 65 2e 20 20 20 | 54 68 69 73 20 63 61 6d |uage. |This cam|
|00002fb0| 70 27 73 0a 66 6f 6c 6c | 6f 77 65 72 73 20 61 72 |p's.foll|owers ar|
|00002fc0| 65 20 70 72 6f 67 72 61 | 6d 6d 65 72 73 20 77 69 |e progra|mmers wi|
|00002fd0| 74 68 20 72 65 61 6c 20 | 65 78 70 65 72 69 65 6e |th real |experien|
|00002fe0| 63 65 20 69 6e 20 72 65 | 63 65 69 76 69 6e 67 20 |ce in re|ceiving |
|00002ff0| 61 20 73 74 61 6e 64 61 | 72 64 0a 6f 6e 20 20 74 |a standa|rd.on t|
|00003000| 68 65 69 72 20 20 64 65 | 73 6b 20 20 61 6e 64 20 |heir de|sk and |
|00003010| 68 61 76 69 6e 67 20 74 | 6f 20 75 73 65 20 69 74 |having t|o use it|
|00003020| 20 61 73 20 61 20 70 72 | 6f 67 72 61 6d 6d 69 6e | as a pr|ogrammin|
|00003030| 67 20 74 6f 6f 6c 2e 20 | 20 54 68 65 20 62 61 73 |g tool. | The bas|
|00003040| 65 0a 64 6f 63 75 6d 65 | 6e 74 20 62 65 63 6f 6d |e.docume|nt becom|
|00003050| 65 73 20 61 20 74 6f 6f | 6c 20 6f 6e 6c 79 20 66 |es a too|l only f|
|00003060| 6f 72 20 6c 61 6e 67 75 | 61 67 65 20 62 69 6e 64 |or langu|age bind|
|00003070| 69 6e 67 20 77 72 69 74 | 65 72 73 2e 0a 0a 54 68 |ing writ|ers...Th|
|00003080| 65 20 74 68 69 6e 20 64 | 6f 63 75 6d 65 6e 74 20 |e thin d|ocument |
|00003090| 73 63 65 6e 61 72 69 6f | 20 68 61 73 20 61 20 20 |scenario| has a |
|000030a0| 62 61 73 65 20 20 64 6f | 63 75 6d 65 6e 74 20 20 |base do|cument |
|000030b0| 64 65 73 63 72 69 62 69 | 6e 67 20 20 61 62 73 74 |describi|ng abst|
|000030c0| 72 61 63 74 0a 73 65 72 | 76 69 63 65 20 20 69 6e |ract.ser|vice in|
|000030d0| 74 65 72 66 61 63 65 73 | 2c 20 20 62 75 74 20 65 |terfaces|, but e|
|000030e0| 61 63 68 20 74 68 69 6e | 20 62 69 6e 64 69 6e 67 |ach thin| binding|
|000030f0| 20 77 69 6c 6c 20 6f 6e | 6c 79 20 69 6e 63 6c 75 | will on|ly inclu|
|00003100| 64 65 20 6c 61 6e 67 75 | 61 67 65 0a 73 70 65 63 |de langu|age.spec|
|00003110| 69 66 69 63 20 69 6e 66 | 6f 72 6d 61 74 69 6f 6e |ific inf|ormation|
|00003120| 2e 20 20 41 6c 6c 20 20 | 61 70 70 72 6f 70 72 69 |. All |appropri|
|00003130| 61 74 65 20 20 66 75 6e | 63 74 69 6f 6e 61 6c 20 |ate fun|ctional |
|00003140| 20 64 65 73 63 72 69 70 | 74 69 6f 6e 73 20 20 61 | descrip|tions a|
|00003150| 72 65 0a 70 6f 69 6e 74 | 65 64 20 20 74 6f 20 20 |re.point|ed to |
|00003160| 69 6e 20 20 74 68 65 20 | 20 62 61 73 65 20 20 64 |in the | base d|
|00003170| 6f 63 75 6d 65 6e 74 20 | 20 62 79 20 20 72 65 66 |ocument | by ref|
|00003180| 65 72 65 6e 63 65 2e 20 | 20 54 68 69 73 20 63 61 |erence. | This ca|
|00003190| 6d 70 20 69 73 20 74 68 | 65 0a 22 53 74 61 6e 64 |mp is th|e."Stand|
|000031a0| 61 72 64 73 20 61 72 65 | 6e 27 74 20 66 6f 72 20 |ards are|n't for |
|000031b0| 50 65 6f 70 6c 65 22 20 | 63 72 6f 77 64 2e 20 20 |People" |crowd. |
|000031c0| 53 74 61 6e 64 61 72 64 | 73 20 20 61 72 65 20 20 |Standard|s are |
|000031d0| 6f 6e 6c 79 20 20 6d 65 | 61 6e 74 20 20 66 6f 72 |only me|ant for|
|000031e0| 0a 63 6f 6e 66 6f 72 6d | 61 6e 63 65 20 20 74 65 |.conform|ance te|
|000031f0| 73 74 69 6e 67 20 66 6f | 72 20 70 72 6f 63 75 72 |sting fo|r procur|
|00003200| 65 6d 65 6e 74 2e 20 20 | 49 66 20 61 20 70 72 6f |ement. |If a pro|
|00003210| 67 72 61 6d 6d 65 72 20 | 61 63 74 75 61 6c 6c 79 |grammer |actually|
|00003220| 20 68 61 64 20 74 6f 0a | 75 73 65 20 74 68 65 20 | had to.|use the |
|00003230| 62 69 6e 64 69 6e 67 20 | 73 74 61 6e 64 61 72 64 |binding |standard|
|00003240| 2c 20 74 68 65 79 20 77 | 6f 75 6c 64 20 61 6c 73 |, they w|ould als|
|00003250| 6f 20 72 65 71 75 69 72 | 65 20 20 74 68 65 20 20 |o requir|e the |
|00003260| 62 61 73 65 20 20 73 74 | 61 6e 64 61 72 64 0a 61 |base st|andard.a|
|00003270| 6e 64 20 77 6f 75 6c 64 | 20 74 68 65 6e 20 77 6f |nd would| then wo|
|00003280| 72 6b 20 77 69 74 68 20 | 61 20 66 69 6e 67 65 72 |rk with |a finger|
|00003290| 20 73 74 75 63 6b 20 69 | 6e 20 65 61 63 68 20 62 | stuck i|n each b|
|000032a0| 6f 6f 6b 2e 0a 0a 54 68 | 65 72 65 20 61 72 65 20 |ook...Th|ere are |
|000032b0| 61 63 74 75 61 6c 6c 79 | 20 20 74 77 6f 20 20 73 |actually| two s|
|000032c0| 65 70 61 72 61 74 65 20 | 20 69 73 73 75 65 73 20 |eparate | issues |
|000032d0| 20 68 69 64 64 65 6e 20 | 20 69 6e 20 20 74 68 65 | hidden | in the|
|000032e0| 20 20 74 68 69 63 6b 2f | 74 68 69 6e 0a 62 69 6e | thick/|thin.bin|
|000032f0| 64 69 6e 67 20 20 64 65 | 62 61 74 65 2e 20 20 20 |ding de|bate. |
|00003300| 54 68 65 20 20 66 69 72 | 73 74 20 69 73 73 75 65 |The fir|st issue|
|00003310| 20 69 73 20 77 68 65 74 | 68 65 72 20 61 20 62 69 | is whet|her a bi|
|00003320| 6e 64 69 6e 67 20 69 73 | 20 61 6c 6c 6f 77 65 64 |nding is| allowed|
|00003330| 20 74 6f 0a 72 65 70 65 | 61 74 20 6d 61 74 65 72 | to.repe|at mater|
|00003340| 69 61 6c 20 63 6f 6e 74 | 61 69 6e 65 64 20 69 6e |ial cont|ained in|
|00003350| 20 74 68 65 20 62 61 73 | 65 20 4c 49 53 2e 20 20 | the bas|e LIS. |
|00003360| 54 68 65 20 73 65 63 6f | 6e 64 20 69 73 73 75 65 |The seco|nd issue|
|00003370| 20 20 63 6f 6e 63 65 72 | 6e 73 0a 77 68 65 74 68 | concer|ns.wheth|
|00003380| 65 72 20 61 20 62 69 6e | 64 69 6e 67 20 70 72 6f |er a bin|ding pro|
|00003390| 76 69 64 65 73 20 61 20 | 64 69 72 65 63 74 20 6f |vides a |direct o|
|000033a0| 6e 65 2d 74 6f 2d 6f 6e | 65 20 6d 61 70 70 69 6e |ne-to-on|e mappin|
|000033b0| 67 20 74 6f 20 74 68 65 | 20 62 61 73 65 2c 20 6f |g to the| base, o|
|000033c0| 72 0a 77 68 65 74 68 65 | 72 20 69 74 20 63 61 6e |r.whethe|r it can|
|000033d0| 20 62 65 20 63 72 65 61 | 74 69 76 65 20 61 6e 64 | be crea|tive and|
|000033e0| 20 6d 6f 72 65 20 64 69 | 72 65 63 74 6c 79 20 6d | more di|rectly m|
|000033f0| 61 70 20 74 6f 20 74 68 | 65 20 20 73 65 6d 61 6e |ap to th|e seman|
|00003400| 74 69 63 73 20 20 6f 66 | 0a 74 68 65 20 6c 61 6e |tics of|.the lan|
|00003410| 67 75 61 67 65 20 62 65 | 69 6e 67 20 62 6f 75 6e |guage be|ing boun|
|00003420| 64 2e 0a 0a 46 6f 72 20 | 74 68 65 20 72 65 63 6f |d...For |the reco|
|00003430| 72 64 2c 20 74 68 65 20 | 50 31 30 30 33 2e 35 20 |rd, the |P1003.5 |
|00003440| 28 41 64 61 29 20 57 6f | 72 6b 69 6e 67 20 47 72 |(Ada) Wo|rking Gr|
|00003450| 6f 75 70 20 64 65 63 69 | 64 65 64 20 65 61 72 6c |oup deci|ded earl|
|00003460| 79 20 69 6e 20 74 68 65 | 69 72 0a 68 69 73 74 6f |y in the|ir.histo|
|00003470| 72 79 20 20 74 6f 20 20 | 63 72 65 61 74 65 20 20 |ry to |create |
|00003480| 61 20 20 73 74 61 6e 64 | 61 6c 6f 6e 65 20 20 64 |a stand|alone d|
|00003490| 6f 63 75 6d 65 6e 74 20 | 20 61 70 70 72 6f 70 72 |ocument | appropr|
|000034a0| 69 61 74 65 20 20 74 6f | 20 20 74 68 65 20 41 64 |iate to| the Ad|
|000034b0| 61 0a 6c 61 6e 67 75 61 | 67 65 2e 20 20 54 68 65 |a.langua|ge. The|
|000034c0| 20 50 31 30 30 33 2e 39 | 20 28 46 4f 52 54 52 41 | P1003.9| (FORTRA|
|000034d0| 4e 29 20 20 57 6f 72 6b | 69 6e 67 20 20 47 72 6f |N) Work|ing Gro|
|000034e0| 75 70 20 20 63 68 6f 73 | 65 20 20 74 6f 20 20 63 |up chos|e to c|
|000034f0| 72 65 61 74 65 20 20 61 | 0a 62 69 6e 64 69 6e 67 |reate a|.binding|
|00003500| 20 20 77 68 69 63 68 20 | 20 70 6f 69 6e 74 73 20 | which | points |
|00003510| 20 74 6f 20 20 74 68 65 | 20 20 22 62 61 73 65 22 | to the| "base"|
|00003520| 20 64 6f 63 75 6d 65 6e | 74 2c 20 6d 61 70 70 69 | documen|t, mappi|
|00003530| 6e 67 20 69 74 73 20 73 | 65 72 76 69 63 65 73 0a |ng its s|ervices.|
|00003540| 6f 6e 65 2d 74 6f 2d 6f | 6e 65 20 61 73 20 63 6c |one-to-o|ne as cl|
|00003550| 6f 73 65 6c 79 20 61 73 | 20 70 6f 73 73 69 62 6c |osely as| possibl|
|00003560| 65 2e 0a 0a 57 65 20 61 | 72 65 20 77 6f 72 6b 69 |e...We a|re worki|
|00003570| 6e 67 20 75 6e 64 65 72 | 20 74 68 65 20 61 73 73 |ng under| the ass|
|00003580| 75 6d 70 74 69 6f 6e 20 | 74 68 61 74 20 20 49 53 |umption |that IS|
|00003590| 4f 20 20 61 73 63 72 69 | 62 65 73 20 20 74 6f 20 |O ascri|bes to |
|000035a0| 20 74 68 65 20 20 74 68 | 69 6e 0a 62 69 6e 64 69 | the th|in.bindi|
|000035b0| 6e 67 20 20 63 61 6d 70 | 2e 20 20 53 65 6d 61 6e |ng camp|. Seman|
|000035c0| 74 69 63 61 6c 6c 79 2c | 20 73 74 61 6e 64 61 72 |tically,| standar|
|000035d0| 64 73 20 64 6f 20 6e 6f | 74 20 6f 76 65 72 6c 61 |ds do no|t overla|
|000035e0| 70 2e 20 20 53 74 61 6e | 64 61 72 64 73 20 61 72 |p. Stan|dards ar|
|000035f0| 65 0a 61 6c 6c 6f 77 65 | 64 20 74 6f 20 72 65 66 |e.allowe|d to ref|
|00003600| 65 72 20 74 6f 20 6f 74 | 68 65 72 20 73 74 61 6e |er to ot|her stan|
|00003610| 64 61 72 64 73 2e 20 20 | 54 68 65 72 65 20 61 72 |dards. |There ar|
|00003620| 65 20 67 65 6e 75 69 6e | 65 20 61 6e 64 20 20 72 |e genuin|e and r|
|00003630| 65 61 6c 69 73 74 69 63 | 0a 63 6f 6e 63 65 72 6e |ealistic|.concern|
|00003640| 73 20 20 77 69 74 68 20 | 20 73 79 6e 63 68 72 6f |s with | synchro|
|00003650| 6e 69 7a 69 6e 67 20 20 | 73 74 61 6e 64 61 72 64 |nizing |standard|
|00003660| 73 20 20 64 6f 63 75 6d | 65 6e 74 73 20 20 69 66 |s docum|ents if|
|00003670| 20 6d 61 6e 79 20 64 6f | 63 75 6d 65 6e 74 73 0a | many do|cuments.|
|00003680| 63 6f 6e 74 61 69 6e 20 | 6f 76 65 72 6c 61 70 70 |contain |overlapp|
|00003690| 69 6e 67 20 6d 61 74 65 | 72 69 61 6c 2e 0a 0a 46 |ing mate|rial...F|
|000036a0| 6f 72 20 74 68 65 20 72 | 65 63 6f 72 64 2c 20 49 |or the r|ecord, I|
|000036b0| 27 6c 6c 20 76 6f 69 63 | 65 20 74 68 65 20 66 6f |'ll voic|e the fo|
|000036c0| 6c 6c 6f 77 69 6e 67 20 | 20 73 75 67 67 65 73 74 |llowing | suggest|
|000036d0| 69 6f 6e 2e 20 20 20 54 | 68 65 20 20 53 54 41 4e |ion. T|he STAN|
|000036e0| 44 41 52 44 53 0a 74 68 | 65 6d 73 65 6c 76 65 73 |DARDS.th|emselves|
|000036f0| 20 20 77 69 6c 6c 20 20 | 62 65 20 69 6e 64 69 76 | will |be indiv|
|00003700| 69 64 75 61 6c 6c 79 20 | 64 72 61 66 74 65 64 20 |idually |drafted |
|00003710| 61 6e 64 20 62 61 6c 6c | 6f 74 65 64 20 64 6f 63 |and ball|oted doc|
|00003720| 75 6d 65 6e 74 73 20 61 | 73 20 69 6e 0a 74 68 65 |uments a|s in.the|
|00003730| 20 74 68 69 6e 20 62 69 | 6e 64 69 6e 67 20 63 61 | thin bi|nding ca|
|00003740| 6d 70 2e 20 20 54 68 65 | 20 4c 49 53 20 73 74 61 |mp. The| LIS sta|
|00003750| 6e 64 61 72 64 20 20 63 | 6f 6d 65 73 20 20 66 69 |ndard c|omes fi|
|00003760| 72 73 74 2e 20 20 20 54 | 68 65 20 20 62 69 6e 64 |rst. T|he bind|
|00003770| 69 6e 67 0a 73 74 61 6e | 64 61 72 64 20 20 63 6f |ing.stan|dard co|
|00003780| 6d 65 73 20 20 73 65 63 | 6f 6e 64 2e 20 20 20 48 |mes sec|ond. H|
|00003790| 6f 77 65 76 65 72 2c 20 | 20 69 6e 73 74 65 61 64 |owever, | instead|
|000037a0| 20 20 6f 66 20 20 6d 65 | 72 65 6c 79 20 70 6f 69 | of me|rely poi|
|000037b0| 6e 74 69 6e 67 20 74 6f | 20 61 0a 61 6e 6f 74 68 |nting to| a.anoth|
|000037c0| 65 72 20 64 6f 63 75 6d | 65 6e 74 2c 20 6f 72 20 |er docum|ent, or |
|000037d0| 69 6e 63 6c 75 64 69 6e | 67 20 69 74 73 20 6f 77 |includin|g its ow|
|000037e0| 6e 20 69 6e 74 65 72 70 | 72 65 74 61 74 69 6f 6e |n interp|retation|
|000037f0| 20 6f 66 20 74 68 65 20 | 20 63 6f 6e 74 65 6e 74 | of the | content|
|00003800| 73 0a 6f 66 20 20 74 68 | 65 20 6f 74 68 65 72 20 |s.of th|e other |
|00003810| 73 74 61 6e 64 61 72 64 | 2c 20 74 68 65 20 74 65 |standard|, the te|
|00003820| 78 74 20 6f 66 20 74 68 | 65 20 4c 49 53 20 69 73 |xt of th|e LIS is|
|00003830| 20 64 69 72 65 63 74 6c | 79 20 65 6d 62 65 64 64 | directl|y embedd|
|00003840| 65 64 2e 20 20 54 68 65 | 0a 0c 0a 20 20 20 20 20 |ed. The|... |
|00003850| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003860| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003870| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003880| 20 20 20 20 20 20 20 20 | 20 20 20 50 61 67 65 20 | | Page |
|00003890| 36 0a 0a 0a 65 6d 62 65 | 64 64 65 64 20 4c 49 53 |6...embe|dded LIS|
|000038a0| 20 74 65 78 74 20 69 73 | 20 63 6c 65 61 72 6c 79 | text is| clearly|
|000038b0| 20 64 65 6c 69 6e 65 61 | 74 65 64 20 73 6f 20 61 | delinea|ted so a|
|000038c0| 73 20 74 6f 20 62 65 20 | 20 63 6c 65 61 72 6c 79 |s to be | clearly|
|000038d0| 20 20 73 65 70 61 72 61 | 74 65 0a 66 72 6f 6d 20 | separa|te.from |
|000038e0| 20 74 68 65 20 62 69 6e | 64 69 6e 67 20 74 65 78 | the bin|ding tex|
|000038f0| 74 2c 20 61 6e 64 20 6f | 6e 6c 79 20 74 68 65 20 |t, and o|nly the |
|00003900| 62 69 6e 64 69 6e 67 20 | 74 65 78 74 20 69 73 20 |binding |text is |
|00003910| 62 61 6c 6c 6f 74 61 62 | 6c 65 20 69 6e 20 74 68 |ballotab|le in th|
|00003920| 65 0a 64 72 61 66 74 20 | 62 69 6e 64 69 6e 67 20 |e.draft |binding |
|00003930| 64 6f 63 75 6d 65 6e 74 | 2e 20 20 54 68 69 73 20 |document|. This |
|00003940| 20 77 6f 75 6c 64 20 20 | 68 6f 70 65 66 75 6c 6c | would |hopefull|
|00003950| 79 20 20 73 6f 6c 76 65 | 20 20 74 68 65 20 20 75 |y solve| the u|
|00003960| 73 61 62 69 6c 69 74 79 | 0a 69 73 73 75 65 20 70 |sability|.issue p|
|00003970| 75 74 20 66 6f 72 77 61 | 72 64 20 62 79 20 74 68 |ut forwa|rd by th|
|00003980| 65 20 6f 6e 65 20 64 6f | 63 75 6d 65 6e 74 20 63 |e one do|cument c|
|00003990| 61 6d 70 2e 0a 0a 54 68 | 69 6e 6b 20 6f 66 20 69 |amp...Th|ink of i|
|000039a0| 74 20 20 61 73 20 20 61 | 20 20 64 6f 63 75 6d 65 |t as a| docume|
|000039b0| 6e 74 61 74 69 6f 6e 20 | 20 61 6e 61 6c 6f 67 79 |ntation | analogy|
|000039c0| 20 20 74 6f 20 20 73 6f | 66 74 77 61 72 65 20 20 | to so|ftware |
|000039d0| 64 65 76 65 6c 6f 70 6d | 65 6e 74 2e 0a 49 6e 73 |developm|ent..Ins|
|000039e0| 74 65 61 64 20 20 6f 66 | 20 20 73 75 62 72 6f 75 |tead of| subrou|
|000039f0| 74 69 6e 65 20 20 63 61 | 6c 6c 73 20 20 70 6f 69 |tine ca|lls poi|
|00003a00| 6e 74 69 6e 67 20 20 65 | 6c 73 65 77 68 65 72 65 |nting e|lsewhere|
|00003a10| 2c 20 74 68 65 72 65 20 | 61 72 65 20 61 6c 72 65 |, there |are alre|
|00003a20| 61 64 79 0a 65 78 70 61 | 6e 64 65 64 20 22 6d 61 |ady.expa|nded "ma|
|00003a30| 63 72 6f 22 20 63 61 6c | 6c 73 20 74 6f 20 20 22 |cro" cal|ls to "|
|00003a40| 73 70 65 65 64 22 20 20 | 74 68 65 20 20 75 6e 64 |speed" |the und|
|00003a50| 65 72 73 74 61 6e 64 69 | 6e 67 2e 20 20 20 28 50 |erstandi|ng. (P|
|00003a60| 75 62 6c 69 63 61 74 69 | 6f 6e 0a 73 79 6e 63 68 |ublicati|on.synch|
|00003a70| 72 6f 6e 69 7a 61 74 69 | 6f 6e 20 20 63 6f 6e 63 |ronizati|on conc|
|00003a80| 65 72 6e 73 20 20 62 65 | 63 6f 6d 65 20 20 73 6f |erns be|come so|
|00003a90| 75 72 63 65 20 20 63 6f | 6e 74 72 6f 6c 20 63 6f |urce co|ntrol co|
|00003aa0| 6e 63 65 72 6e 73 20 73 | 69 6d 69 6c 61 72 20 74 |ncerns s|imilar t|
|00003ab0| 6f 0a 64 69 66 66 65 72 | 65 6e 74 20 61 70 70 6c |o.differ|ent appl|
|00003ac0| 69 63 61 74 69 6f 6e 73 | 20 72 65 66 65 72 65 6e |ications| referen|
|00003ad0| 63 69 6e 67 20 74 68 65 | 20 73 61 6d 65 20 22 6d |cing the| same "m|
|00003ae0| 61 63 72 6f 22 20 6c 69 | 62 72 61 72 79 2e 29 20 |acro" li|brary.) |
|00003af0| 49 74 20 77 6f 75 6c 64 | 0a 73 69 6d 70 6c 69 66 |It would|.simplif|
|00003b00| 79 20 74 68 65 20 73 79 | 6e 63 68 72 6f 6e 69 7a |y the sy|nchroniz|
|00003b10| 61 74 69 6f 6e 20 69 73 | 73 75 65 2e 0a 0a 55 6c |ation is|sue...Ul|
|00003b20| 74 69 6d 61 74 65 6c 79 | 20 49 20 62 65 6c 69 65 |timately| I belie|
|00003b30| 76 65 20 74 68 65 20 70 | 75 62 6c 69 63 61 74 69 |ve the p|ublicati|
|00003b40| 6f 6e 20 73 68 6f 75 6c | 64 20 62 65 20 75 73 61 |on shoul|d be usa|
|00003b50| 62 6c 65 20 62 79 20 6d | 65 72 65 20 6d 6f 72 74 |ble by m|ere mort|
|00003b60| 61 6c 73 2e 0a 0a 0a 0a | 36 20 20 54 48 45 20 43 |als.....|6 THE C|
|00003b70| 41 53 45 20 46 4f 52 20 | 52 49 47 4f 52 4f 55 53 |ASE FOR |RIGOROUS|
|00003b80| 20 46 4f 52 4d 41 4c 20 | 4d 45 54 48 4f 44 53 20 | FORMAL |METHODS |
|00003b90| 41 4e 44 20 54 48 45 20 | 43 41 53 45 20 41 47 41 |AND THE |CASE AGA|
|00003ba0| 49 4e 53 54 0a 0a 41 6e | 6f 74 68 65 72 20 68 6f |INST..An|other ho|
|00003bb0| 74 20 64 65 62 61 74 65 | 20 69 73 20 74 68 65 20 |t debate| is the |
|00003bc0| 6c 65 76 65 6c 20 6f 66 | 20 72 69 67 6f 72 20 72 |level of| rigor r|
|00003bd0| 65 71 75 69 72 65 64 20 | 20 62 79 20 20 74 68 65 |equired | by the|
|00003be0| 20 20 4c 49 53 2e 20 20 | 20 4f 75 72 0a 75 6e 64 | LIS. | Our.und|
|00003bf0| 65 72 73 74 61 6e 64 69 | 6e 67 20 20 69 73 20 20 |erstandi|ng is |
|00003c00| 74 68 61 74 20 20 6e 61 | 74 75 72 61 6c 20 6c 61 |that na|tural la|
|00003c10| 6e 67 75 61 67 65 20 64 | 65 73 63 72 69 70 74 69 |nguage d|escripti|
|00003c20| 6f 6e 73 20 6f 66 20 74 | 68 65 20 73 65 72 76 69 |ons of t|he servi|
|00003c30| 63 65 73 0a 61 72 65 20 | 73 75 66 66 69 63 69 65 |ces.are |sufficie|
|00003c40| 6e 74 20 66 6f 72 20 74 | 68 65 20 63 75 72 72 65 |nt for t|he curre|
|00003c50| 6e 74 20 4c 49 53 20 6f | 66 20 50 4f 53 49 58 2e |nt LIS o|f POSIX.|
|00003c60| 20 20 49 74 20 69 73 20 | 65 78 70 6c 69 63 69 74 | It is |explicit|
|00003c70| 6c 79 20 20 73 74 61 74 | 65 64 0a 69 6e 20 74 68 |ly stat|ed.in th|
|00003c80| 65 20 64 72 61 66 74 20 | 6d 65 74 68 6f 64 73 20 |e draft |methods |
|00003c90| 64 6f 63 75 6d 65 6e 74 | 20 74 68 61 74 20 77 65 |document| that we|
|00003ca0| 20 61 72 65 20 6e 6f 74 | 20 70 75 72 73 75 69 6e | are not| pursuin|
|00003cb0| 67 20 61 20 66 6f 72 6d | 61 6c 20 6d 65 74 68 6f |g a form|al metho|
|00003cc0| 64 0a 6f 66 20 73 70 65 | 63 69 66 69 63 61 74 69 |d.of spe|cificati|
|00003cd0| 6f 6e 20 66 6f 72 20 74 | 68 65 20 73 74 61 6e 64 |on for t|he stand|
|00003ce0| 61 72 64 2e 0a 0a 54 68 | 65 72 65 20 73 65 65 6d |ard...Th|ere seem|
|00003cf0| 73 20 74 6f 20 62 65 20 | 61 20 6c 61 63 6b 20 6f |s to be |a lack o|
|00003d00| 66 20 65 78 70 65 72 69 | 65 6e 63 65 20 61 6e 64 |f experi|ence and|
|00003d10| 20 73 74 61 6e 64 61 72 | 64 69 7a 61 74 69 6f 6e | standar|dization|
|00003d20| 20 20 6f 66 20 20 66 6f | 72 6d 61 6c 0a 6d 65 74 | of fo|rmal.met|
|00003d30| 68 6f 64 73 20 20 77 69 | 74 68 69 6e 20 74 68 65 |hods wi|thin the|
|00003d40| 20 73 74 61 6e 64 61 72 | 64 73 20 63 6f 6d 6d 75 | standar|ds commu|
|00003d50| 6e 69 74 79 2e 20 20 4c | 69 74 74 6c 65 20 77 6f |nity. L|ittle wo|
|00003d60| 72 6b 20 68 61 73 20 62 | 65 65 6e 20 64 6f 6e 65 |rk has b|een done|
|00003d70| 20 74 6f 0a 66 6f 72 6d | 61 6c 6c 79 20 20 73 70 | to.form|ally sp|
|00003d80| 65 63 69 66 79 20 20 73 | 74 61 6e 64 61 72 64 73 |ecify s|tandards|
|00003d90| 2e 20 20 20 28 4e 6f 77 | 20 20 74 68 61 74 20 20 |. (Now| that |
|00003da0| 49 27 76 65 20 20 70 75 | 62 6c 69 63 6c 79 20 20 |I've pu|blicly |
|00003db0| 6d 61 64 65 20 20 74 68 | 69 73 0a 73 74 61 74 65 |made th|is.state|
|00003dc0| 6d 65 6e 74 2c 20 20 49 | 27 6d 20 20 73 75 72 65 |ment, I|'m sure|
|00003dd0| 20 20 49 27 6c 6c 20 20 | 62 65 20 61 63 63 6f 73 | I'll |be accos|
|00003de0| 74 65 64 20 62 79 20 65 | 76 65 72 79 6f 6e 65 20 |ted by e|veryone |
|00003df0| 6e 65 78 74 20 77 65 65 | 6b 20 77 68 6f 20 68 61 |next wee|k who ha|
|00003e00| 73 0a 73 65 65 6e 20 61 | 6e 79 74 68 69 6e 67 20 |s.seen a|nything |
|00003e10| 65 76 65 6e 20 72 65 6d | 6f 74 65 6c 79 20 6c 6f |even rem|otely lo|
|00003e20| 6f 6b 69 6e 67 20 6c 69 | 6b 65 20 61 20 66 6f 72 |oking li|ke a for|
|00003e30| 6d 61 6c 20 20 73 74 61 | 6e 64 61 72 64 2e 29 20 |mal sta|ndard.) |
|00003e40| 20 49 20 20 62 61 73 65 | 0a 74 68 69 73 20 20 73 | I base|.this s|
|00003e50| 74 61 74 65 6d 65 6e 74 | 20 20 6f 6e 20 20 74 68 |tatement| on th|
|00003e60| 72 65 65 20 20 50 31 30 | 30 33 20 20 6d 65 65 74 |ree P10|03 meet|
|00003e70| 69 6e 67 73 20 20 77 6f | 72 74 68 20 20 6f 66 20 |ings wo|rth of |
|00003e80| 20 4c 49 53 20 42 4f 46 | 73 20 77 68 65 72 65 0a | LIS BOF|s where.|
|00003e90| 65 76 65 72 79 6f 6e 65 | 20 69 73 20 71 75 69 63 |everyone| is quic|
|00003ea0| 6b 20 74 6f 20 73 75 67 | 67 65 73 74 20 74 68 65 |k to sug|gest the|
|00003eb0| 69 72 20 66 61 76 6f 75 | 72 69 74 65 20 66 6f 72 |ir favou|rite for|
|00003ec0| 6d 61 6c 20 6d 65 74 68 | 6f 64 2c 20 62 75 74 20 |mal meth|od, but |
|00003ed0| 20 74 68 65 72 65 0a 69 | 73 20 20 6e 65 76 65 72 | there.i|s never|
|00003ee0| 20 20 61 6e 79 6f 6e 65 | 20 20 77 68 6f 20 68 61 | anyone| who ha|
|00003ef0| 73 20 74 61 6b 65 6e 20 | 74 68 65 20 74 72 6f 75 |s taken |the trou|
|00003f00| 62 6c 65 20 74 6f 20 62 | 72 69 6e 67 20 61 6e 20 |ble to b|ring an |
|00003f10| 65 78 61 6d 70 6c 65 20 | 6f 66 20 69 74 0a 75 73 |example |of it.us|
|00003f20| 65 64 20 74 6f 20 73 70 | 65 63 69 66 79 20 61 20 |ed to sp|ecify a |
|00003f30| 73 74 61 6e 64 61 72 64 | 2e 20 20 20 50 6c 65 61 |standard|. Plea|
|00003f40| 73 65 20 20 64 6f 2e 20 | 20 20 54 68 65 20 20 61 |se do. | The a|
|00003f50| 75 74 68 6f 72 20 20 77 | 65 6c 63 6f 6d 65 73 20 |uthor w|elcomes |
|00003f60| 20 61 6c 6c 0a 72 65 6c | 61 74 65 64 20 69 6e 66 | all.rel|ated inf|
|00003f70| 6f 72 6d 61 74 69 6f 6e | 2e 0a 0a 41 20 72 65 63 |ormation|...A rec|
|00003f80| 65 6e 74 20 69 73 73 75 | 65 20 6f 66 20 49 45 45 |ent issu|e of IEE|
|00003f90| 45 20 53 6f 66 74 77 61 | 72 65 20 68 61 64 20 61 |E Softwa|re had a|
|00003fa0| 20 76 65 72 79 20 72 65 | 61 73 6f 6e 61 62 6c 65 | very re|asonable|
|00003fb0| 20 61 72 74 69 63 6c 65 | 20 20 6f 6e 20 20 74 68 | article| on th|
|00003fc0| 65 0a 75 73 65 20 20 6f | 66 20 20 66 6f 72 6d 61 |e.use o|f forma|
|00003fd0| 6c 20 20 6d 65 74 68 6f | 64 73 20 69 6e 20 74 68 |l metho|ds in th|
|00003fe0| 65 20 73 74 61 6e 64 61 | 72 64 73 20 70 72 6f 63 |e standa|rds proc|
|00003ff0| 65 73 73 20 5b 36 5d 2e | 20 20 54 68 69 73 20 77 |ess [6].| This w|
|00004000| 6f 72 6b 20 63 61 6d 65 | 0a 6f 75 74 20 6f 66 20 |ork came|.out of |
|00004010| 61 20 77 6f 72 6b 69 6e | 67 20 67 72 6f 75 70 20 |a workin|g group |
|00004020| 66 6f 72 6d 65 64 20 62 | 79 20 74 68 65 20 42 72 |formed b|y the Br|
|00004030| 69 74 69 73 68 20 43 6f | 6d 70 75 74 65 72 20 53 |itish Co|mputer S|
|00004040| 6f 63 69 65 74 79 20 28 | 42 43 53 29 20 74 6f 0a |ociety (|BCS) to.|
|00004050| 61 64 64 72 65 73 73 20 | 20 74 68 65 20 20 6c 61 |address | the la|
|00004060| 63 6b 20 20 6f 66 20 20 | 69 6e 66 6f 72 6d 65 64 |ck of |informed|
|00004070| 20 20 6f 70 69 6e 69 6f | 6e 20 6f 6e 20 74 68 65 | opinio|n on the|
|00004080| 20 6d 61 74 74 65 72 2e | 20 20 54 68 65 79 20 6f | matter.| They o|
|00004090| 75 74 6c 69 6e 65 0a 62 | 72 69 65 66 6c 79 20 74 |utline.b|riefly t|
|000040a0| 68 65 20 72 65 61 73 6f | 6e 73 20 66 6f 72 20 20 |he reaso|ns for |
|000040b0| 75 73 69 6e 67 20 20 66 | 6f 72 6d 61 6c 20 20 6d |using f|ormal m|
|000040c0| 65 74 68 6f 64 73 2c 20 | 20 61 20 20 66 65 77 20 |ethods, | a few |
|000040d0| 20 65 78 61 6d 70 6c 65 | 73 20 20 6f 66 0a 65 78 | example|s of.ex|
|000040e0| 70 65 72 69 6d 65 6e 74 | 73 20 20 77 69 74 68 20 |periment|s with |
|000040f0| 75 73 69 6e 67 20 66 6f | 72 6d 61 6c 20 6d 65 74 |using fo|rmal met|
|00004100| 68 6f 64 73 20 6f 6e 20 | 73 74 61 6e 64 61 72 64 |hods on |standard|
|00004110| 73 2c 20 61 6e 64 20 66 | 69 6e 69 73 68 20 77 69 |s, and f|inish wi|
|00004120| 74 68 20 61 0a 73 65 74 | 20 6f 66 20 67 75 69 64 |th a.set| of guid|
|00004130| 65 6c 69 6e 65 73 2e 20 | 20 54 68 65 73 65 20 67 |elines. | These g|
|00004140| 75 69 64 65 6c 69 6e 65 | 73 20 61 72 65 20 62 79 |uideline|s are by|
|00004150| 20 66 61 72 20 74 68 65 | 20 73 74 72 6f 6e 67 65 | far the| stronge|
|00004160| 73 74 20 70 61 72 74 20 | 20 6f 66 0a 74 68 65 20 |st part | of.the |
|00004170| 61 72 74 69 63 6c 65 2e | 0a 0a 54 68 65 79 20 61 |article.|..They a|
|00004180| 6c 73 6f 20 72 65 66 65 | 72 20 62 72 69 65 66 6c |lso refe|r briefl|
|00004190| 79 20 74 6f 20 61 6e 20 | 49 53 4f 20 74 68 72 65 |y to an |ISO thre|
|000041a0| 65 2d 70 68 61 73 65 20 | 70 6c 61 6e 20 5b 37 5d |e-phase |plan [7]|
|000041b0| 20 74 6f 20 62 72 69 6e | 67 20 66 6f 72 6d 61 6c | to brin|g formal|
|000041c0| 0a 6d 65 74 68 6f 64 73 | 20 69 6e 74 6f 20 74 68 |.methods| into th|
|000041d0| 65 20 73 74 61 6e 64 61 | 72 64 73 20 70 72 6f 63 |e standa|rds proc|
|000041e0| 65 73 73 2e 0a 0a 20 20 | 20 20 20 31 2e 20 20 50 |ess... | 1. P|
|000041f0| 68 61 73 65 20 31 20 68 | 61 73 20 74 68 65 20 75 |hase 1 h|as the u|
|00004200| 73 65 20 6f 66 20 66 6f | 72 6d 61 6c 20 6d 65 74 |se of fo|rmal met|
|00004210| 68 6f 64 73 20 72 65 73 | 74 72 69 63 74 65 64 20 |hods res|tricted |
|00004220| 64 75 65 20 74 6f 20 20 | 6c 61 63 6b 0a 20 20 20 |due to |lack. |
|00004230| 20 20 20 20 20 20 6f 66 | 20 20 65 78 70 65 72 69 | of| experi|
|00004240| 65 6e 63 65 20 20 61 6e | 64 20 65 78 70 65 72 74 |ence an|d expert|
|00004250| 69 73 65 2e 20 20 57 6f | 72 6b 20 69 73 20 64 6f |ise. Wo|rk is do|
|00004260| 6e 65 20 69 6e 20 70 61 | 72 61 6c 6c 65 6c 20 6f |ne in pa|rallel o|
|00004270| 6e 20 61 0a 20 20 20 20 | 20 20 20 20 20 66 6f 72 |n a. | for|
|00004280| 6d 61 6c 20 20 73 70 65 | 63 69 66 69 63 61 74 69 |mal spe|cificati|
|00004290| 6f 6e 20 20 6f 66 20 20 | 74 68 65 20 20 73 74 61 |on of |the sta|
|000042a0| 6e 64 61 72 64 2c 20 20 | 20 77 68 69 63 68 20 20 |ndard, | which |
|000042b0| 20 68 6f 70 65 66 75 6c | 6c 79 0a 20 20 20 20 20 | hopeful|ly. |
|000042c0| 20 20 20 20 63 6f 6e 74 | 72 69 62 75 74 65 73 20 | cont|ributes |
|000042d0| 20 74 6f 20 20 74 68 65 | 20 20 72 6f 62 75 73 74 | to the| robust|
|000042e0| 6e 65 73 73 20 61 6e 64 | 20 63 6c 61 72 69 74 79 |ness and| clarity|
|000042f0| 20 6f 66 20 74 68 65 20 | 73 74 61 6e 64 61 72 64 | of the |standard|
|00004300| 2c 0a 20 20 20 20 20 20 | 20 20 20 61 6e 64 20 74 |,. | and t|
|00004310| 68 65 20 72 65 73 75 6c | 74 73 20 61 72 65 20 70 |he resul|ts are p|
|00004320| 75 62 6c 69 73 68 65 64 | 20 61 73 20 61 20 53 45 |ublished| as a SE|
|00004330| 50 41 52 41 54 45 20 72 | 65 70 6f 72 74 2e 0a 0c |PARATE r|eport...|
|00004340| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|00004350| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004360| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004370| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004380| 20 50 61 67 65 20 37 0a | 0a 0a 20 20 20 20 20 32 | Page 7.|.. 2|
|00004390| 2e 20 20 50 68 61 73 65 | 20 32 20 68 61 73 20 73 |. Phase| 2 has s|
|000043a0| 65 65 6e 20 74 68 65 20 | 6b 6e 6f 77 6c 65 64 67 |een the |knowledg|
|000043b0| 65 20 61 6e 64 20 65 78 | 70 65 72 69 65 6e 63 65 |e and ex|perience|
|000043c0| 20 20 62 61 73 65 20 20 | 65 78 70 61 6e 64 65 64 | base |expanded|
|000043d0| 0a 20 20 20 20 20 20 20 | 20 20 69 6e 20 20 74 68 |. | in th|
|000043e0| 65 20 20 75 73 65 20 6f | 66 20 66 6f 72 6d 61 6c |e use o|f formal|
|000043f0| 20 6d 65 74 68 6f 64 73 | 20 69 6e 20 73 74 61 6e | methods| in stan|
|00004400| 64 61 72 64 73 20 63 72 | 65 61 74 69 6f 6e 2c 20 |dards cr|eation, |
|00004410| 61 6e 64 20 74 68 65 0a | 20 20 20 20 20 20 20 20 |and the.| |
|00004420| 20 77 6f 72 6b 20 70 72 | 6f 63 65 65 64 73 20 69 | work pr|oceeds i|
|00004430| 6e 20 70 61 72 61 6c 6c | 65 6c 20 61 6e 64 20 69 |n parall|el and i|
|00004440| 73 20 73 75 66 66 69 63 | 69 65 6e 74 20 74 6f 20 |s suffic|ient to |
|00004450| 20 62 65 20 20 70 75 62 | 6c 69 73 68 65 64 0a 20 | be pub|lished. |
|00004460| 20 20 20 20 20 20 20 20 | 61 73 20 20 61 6e 20 20 | |as an |
|00004470| 69 6e 66 6f 72 6d 61 74 | 69 76 65 20 20 61 6e 6e |informat|ive ann|
|00004480| 65 78 2e 20 20 20 28 4e | 6f 74 65 3a 20 20 20 54 |ex. (N|ote: T|
|00004490| 68 69 73 20 69 73 20 6e | 6f 74 20 61 20 62 61 6c |his is n|ot a bal|
|000044a0| 6c 6f 74 65 64 0a 20 20 | 20 20 20 20 20 20 20 4e |loted. | N|
|000044b0| 4f 52 4d 41 54 49 56 45 | 20 6f 6e 65 2c 20 62 75 |ORMATIVE| one, bu|
|000044c0| 74 20 61 6e 20 75 6e 62 | 61 6c 6c 6f 74 65 64 20 |t an unb|alloted |
|000044d0| 69 6e 66 6f 72 6d 61 74 | 69 76 65 20 6f 6e 65 2e |informat|ive one.|
|000044e0| 29 0a 0a 20 20 20 20 20 | 33 2e 20 20 50 68 61 73 |).. |3. Phas|
|000044f0| 65 20 33 20 73 65 65 73 | 20 74 68 65 20 73 74 61 |e 3 sees| the sta|
|00004500| 6e 64 61 72 64 73 20 64 | 65 76 65 6c 6f 70 69 6e |ndards d|evelopin|
|00004510| 67 20 20 62 6f 64 79 20 | 20 77 65 6c 6c 20 20 76 |g body | well v|
|00004520| 65 72 73 65 64 20 20 69 | 6e 0a 20 20 20 20 20 20 |ersed i|n. |
|00004530| 20 20 20 66 6f 72 6d 61 | 6c 20 20 6d 65 74 68 6f | forma|l metho|
|00004540| 64 73 20 20 61 6e 64 20 | 20 74 68 65 20 20 66 6f |ds and | the fo|
|00004550| 72 6d 61 6c 20 64 65 73 | 63 72 69 70 74 69 6f 6e |rmal des|cription|
|00004560| 20 69 73 20 74 68 65 20 | 73 74 61 6e 64 61 72 64 | is the |standard|
|00004570| 0a 20 20 20 20 20 20 20 | 20 20 77 69 74 68 20 61 |. | with a|
|00004580| 20 6e 61 74 75 72 61 6c | 20 6c 61 6e 67 75 61 67 | natural| languag|
|00004590| 65 20 63 6f 6d 6d 65 6e | 74 61 72 79 2e 0a 0a 4f |e commen|tary...O|
|000045a0| 6e 65 20 74 68 69 6e 67 | 20 74 68 61 74 20 74 68 |ne thing| that th|
|000045b0| 65 20 61 72 74 69 63 6c | 65 20 77 61 72 6e 73 20 |e articl|e warns |
|000045c0| 61 67 61 69 6e 73 74 20 | 69 73 20 74 68 65 20 72 |against |is the r|
|000045d0| 65 74 72 6f 66 69 74 74 | 69 6e 67 20 6f 66 20 66 |etrofitt|ing of f|
|000045e0| 6f 72 6d 61 6c 0a 6d 65 | 74 68 6f 64 73 20 20 74 |ormal.me|thods t|
|000045f0| 6f 20 61 6e 20 65 78 69 | 73 74 69 6e 67 20 73 74 |o an exi|sting st|
|00004600| 61 6e 64 61 72 64 2c 20 | 62 65 63 61 75 73 65 20 |andard, |because |
|00004610| 69 74 20 63 61 6e 20 6f | 66 74 65 6e 20 64 65 6d |it can o|ften dem|
|00004620| 6f 6e 73 74 72 61 74 65 | 20 74 68 65 0a 6c 61 63 |onstrate| the.lac|
|00004630| 6b 20 6f 66 20 63 6f 6e | 63 65 70 74 75 61 6c 20 |k of con|ceptual |
|00004640| 69 6e 74 65 67 72 69 74 | 79 20 6f 66 20 74 68 65 |integrit|y of the|
|00004650| 20 6f 72 69 67 69 6e 61 | 6c 20 77 6f 72 6b 2e 0a | origina|l work..|
|00004660| 0a 41 64 64 69 74 69 6f | 6e 61 6c 6c 79 20 74 68 |.Additio|nally th|
|00004670| 65 79 20 72 65 63 6f 6d | 6d 65 6e 64 20 63 68 6f |ey recom|mend cho|
|00004680| 6f 73 69 6e 67 20 61 6e | 20 61 70 70 72 6f 70 72 |osing an| appropr|
|00004690| 69 61 74 65 20 66 6f 72 | 6d 61 6c 20 20 6d 65 74 |iate for|mal met|
|000046a0| 68 6f 64 20 20 74 6f 0a | 65 78 70 72 65 73 73 20 |hod to.|express |
|000046b0| 20 74 68 65 20 20 73 74 | 61 6e 64 61 72 64 2c 20 | the st|andard, |
|000046c0| 20 64 65 70 65 6e 64 69 | 6e 67 20 20 6f 6e 20 20 | dependi|ng on |
|000046d0| 73 75 63 68 20 20 66 61 | 63 74 6f 72 73 20 20 61 |such fa|ctors a|
|000046e0| 73 20 74 68 65 20 70 72 | 6f 70 6f 73 65 64 0a 73 |s the pr|oposed.s|
|000046f0| 74 61 6e 64 61 72 64 27 | 73 20 63 6f 6e 74 65 6e |tandard'|s conten|
|00004700| 74 2c 20 6d 61 74 68 65 | 6d 61 74 69 63 61 6c 20 |t, mathe|matical |
|00004710| 73 75 66 66 69 63 69 65 | 6e 63 79 20 61 6e 64 20 |sufficie|ncy and |
|00004720| 61 63 63 65 73 73 69 62 | 69 6c 69 74 79 20 74 6f |accessib|ility to|
|00004730| 20 20 74 68 65 0a 73 74 | 61 6e 64 61 72 64 73 20 | the.st|andards |
|00004740| 66 6f 72 6d 69 6e 67 20 | 67 72 6f 75 70 2e 0a 0a |forming |group...|
|00004750| 54 68 65 20 70 72 69 6d | 61 72 79 20 66 6f 72 6d |The prim|ary form|
|00004760| 61 6c 20 6d 65 74 68 6f | 64 73 20 74 68 61 74 20 |al metho|ds that |
|00004770| 68 61 76 65 20 62 65 65 | 6e 20 73 75 67 67 65 73 |have bee|n sugges|
|00004780| 74 65 64 20 61 72 65 20 | 5a 2c 20 61 6e 64 20 56 |ted are |Z, and V|
|00004790| 44 4d 2e 0a 0a 5a 20 61 | 63 74 75 61 6c 6c 79 20 |DM...Z a|ctually |
|000047a0| 68 61 73 20 61 20 6e 75 | 6d 62 65 72 20 6f 66 20 |has a nu|mber of |
|000047b0| 69 6e 74 65 72 65 73 74 | 69 6e 67 20 65 78 61 6d |interest|ing exam|
|000047c0| 70 6c 65 73 20 74 6f 20 | 20 63 6f 6e 73 69 64 65 |ples to | conside|
|000047d0| 72 2e 20 20 20 52 65 63 | 65 6e 74 0a 77 6f 72 6b |r. Rec|ent.work|
|000047e0| 20 20 68 61 73 20 62 65 | 65 6e 20 64 6f 6e 65 20 | has be|en done |
|000047f0| 74 6f 20 70 72 6f 64 75 | 63 65 20 61 20 66 6f 72 |to produ|ce a for|
|00004800| 6d 61 6c 20 73 70 65 63 | 69 66 69 63 61 74 69 6f |mal spec|ificatio|
|00004810| 6e 20 6f 66 20 50 31 30 | 30 33 2e 31 20 75 73 69 |n of P10|03.1 usi|
|00004820| 6e 67 0a 5a 2c 20 61 6e | 64 20 69 74 20 77 61 73 |ng.Z, an|d it was|
|00004830| 20 72 65 70 6f 72 74 65 | 64 20 75 70 6f 6e 20 62 | reporte|d upon b|
|00004840| 79 20 4d 61 72 74 69 6e | 20 4b 69 72 6b 20 5b 38 |y Martin| Kirk [8|
|00004850| 5d 2e 0a 0a 54 68 65 20 | 72 65 70 6f 72 74 20 63 |]...The |report c|
|00004860| 6f 6e 63 6c 75 64 65 64 | 20 74 68 61 74 20 77 68 |oncluded| that wh|
|00004870| 69 6c 65 20 74 68 65 20 | 77 6f 72 6b 20 77 61 73 |ile the |work was|
|00004880| 20 75 73 65 66 75 6c 20 | 61 74 20 66 69 6e 64 69 | useful |at findi|
|00004890| 6e 67 20 22 77 65 61 73 | 65 6c 0a 77 6f 72 64 65 |ng "weas|el.worde|
|000048a0| 64 22 20 20 61 72 65 61 | 73 20 6f 66 20 74 68 65 |d" area|s of the|
|000048b0| 20 73 74 61 6e 64 61 72 | 64 2c 20 69 74 20 72 65 | standar|d, it re|
|000048c0| 71 75 69 72 65 73 20 61 | 20 6c 61 72 67 65 20 65 |quires a| large e|
|000048d0| 66 66 6f 72 74 20 74 6f | 20 63 6f 6e 74 69 6e 75 |ffort to| continu|
|000048e0| 65 0a 74 68 69 73 20 77 | 6f 72 6b 2e 20 20 53 65 |e.this w|ork. Se|
|000048f0| 76 65 72 61 6c 20 6f 74 | 68 65 72 20 70 72 6f 62 |veral ot|her prob|
|00004900| 6c 65 6d 73 20 20 65 78 | 69 73 74 20 20 61 73 20 |lems ex|ist as |
|00004910| 20 77 65 6c 6c 2e 20 20 | 20 53 6f 6d 65 20 20 6f | well. | Some o|
|00004920| 66 20 20 74 68 65 73 65 | 0a 70 72 6f 62 6c 65 6d |f these|.problem|
|00004930| 73 20 20 68 61 64 20 20 | 74 6f 20 20 64 6f 20 77 |s had |to do w|
|00004940| 69 74 68 20 74 68 65 20 | 63 6f 6d 70 6c 65 78 69 |ith the |complexi|
|00004950| 74 79 20 6f 66 20 50 4f | 53 49 58 2c 20 61 6e 64 |ty of PO|SIX, and|
|00004960| 20 69 74 73 20 64 65 6c | 69 62 65 72 61 74 65 0a | its del|iberate.|
|00004970| 61 72 65 61 73 20 6f 66 | 20 61 6d 62 69 67 75 69 |areas of| ambigui|
|00004980| 74 79 2e 20 20 4f 74 68 | 65 72 20 70 72 6f 62 6c |ty. Oth|er probl|
|00004990| 65 6d 73 20 65 6e 63 6f | 75 6e 74 65 72 65 64 20 |ems enco|untered |
|000049a0| 68 61 64 20 74 6f 20 64 | 6f 20 77 69 74 68 20 20 |had to d|o with |
|000049b0| 74 68 65 20 20 5a 0a 6e | 6f 74 61 74 69 6f 6e 20 |the Z.n|otation |
|000049c0| 61 6e 64 20 74 68 65 20 | 63 68 6f 69 63 65 20 6f |and the |choice o|
|000049d0| 66 20 6d 6f 64 65 6c 2e | 0a 0a 49 6e 64 65 65 64 |f model.|..Indeed|
|000049e0| 20 74 68 69 73 20 72 61 | 69 73 65 73 20 61 6e 20 | this ra|ises an |
|000049f0| 61 72 65 61 20 6f 66 20 | 63 6f 6e 63 65 72 6e 20 |area of |concern |
|00004a00| 20 77 69 74 68 20 20 68 | 6f 77 20 20 66 61 72 20 | with h|ow far |
|00004a10| 20 66 6f 72 6d 61 6c 20 | 20 6d 65 74 68 6f 64 73 | formal | methods|
|00004a20| 0a 73 68 6f 75 6c 64 20 | 20 62 65 20 61 70 70 6c |.should | be appl|
|00004a30| 69 65 64 20 74 6f 20 50 | 4f 53 49 58 2e 20 20 50 |ied to P|OSIX. P|
|00004a40| 4f 53 49 58 20 68 61 73 | 20 64 65 6c 69 62 65 72 |OSIX has| deliber|
|00004a50| 61 74 65 20 61 72 65 61 | 73 20 6f 66 20 61 6d 62 |ate area|s of amb|
|00004a60| 69 67 75 69 74 79 2c 0a | 22 77 65 61 73 65 6c 20 |iguity,.|"weasel |
|00004a70| 77 6f 72 64 73 22 2c 20 | 61 6e 64 20 75 6e 73 70 |words", |and unsp|
|00004a80| 65 63 69 66 69 65 64 20 | 6e 61 74 75 72 65 2e 20 |ecified |nature. |
|00004a90| 20 54 68 69 73 20 69 73 | 20 20 72 65 71 75 69 72 | This is| requir|
|00004aa0| 65 64 20 20 73 6f 20 20 | 61 73 20 20 74 6f 0a 61 |ed so |as to.a|
|00004ab0| 6c 6c 6f 77 20 20 20 61 | 20 20 20 6d 61 78 69 6d |llow a| maxim|
|00004ac0| 75 6d 20 20 20 6e 75 6d | 62 65 72 20 20 20 6f 66 |um num|ber of|
|00004ad0| 20 20 69 6d 70 6c 65 6d | 65 6e 74 61 74 69 6f 6e | implem|entation|
|00004ae0| 73 2c 20 20 74 6f 20 20 | 6e 6f 74 20 20 72 65 73 |s, to |not res|
|00004af0| 74 72 69 63 74 0a 69 6d | 70 6c 65 6d 65 6e 74 61 |trict.im|plementa|
|00004b00| 74 69 6f 6e 73 20 69 6e | 20 75 6e 6e 65 63 65 73 |tions in| unneces|
|00004b10| 73 61 72 79 20 77 61 79 | 73 20 6f 72 20 66 6f 72 |sary way|s or for|
|00004b20| 63 65 20 20 69 6d 70 6c | 65 6d 65 6e 74 61 74 69 |ce impl|ementati|
|00004b30| 6f 6e 73 2e 20 20 20 50 | 4f 53 49 58 0a 69 73 20 |ons. P|OSIX.is |
|00004b40| 61 20 73 74 61 6e 64 61 | 72 64 20 66 6f 72 20 70 |a standa|rd for p|
|00004b50| 6f 72 74 61 62 6c 65 20 | 6f 70 65 72 61 74 69 6e |ortable |operatin|
|00004b60| 67 20 73 79 73 74 65 6d | 20 73 65 72 76 69 63 65 |g system| service|
|00004b70| 20 69 6e 74 65 72 66 61 | 63 65 73 2e 20 20 49 74 | interfa|ces. It|
|00004b80| 20 69 73 0a 6e 6f 74 20 | 74 68 65 20 73 70 65 63 | is.not |the spec|
|00004b90| 69 66 69 63 61 74 69 6f | 6e 20 6f 66 20 61 6e 20 |ificatio|n of an |
|00004ba0| 6f 70 65 72 61 74 69 6e | 67 20 20 73 79 73 74 65 |operatin|g syste|
|00004bb0| 6d 20 20 5b 39 5d 2e 20 | 20 20 54 68 65 72 65 20 |m [9]. | There |
|00004bc0| 20 61 72 65 20 20 61 6c | 73 6f 0a 74 69 6d 65 73 | are al|so.times|
|00004bd0| 20 77 68 65 6e 20 77 65 | 61 73 65 6c 20 77 6f 72 | when we|asel wor|
|00004be0| 64 73 20 61 72 65 20 74 | 68 65 20 6f 6e 6c 79 20 |ds are t|he only |
|00004bf0| 77 61 79 20 74 6f 20 61 | 72 72 69 76 65 20 61 74 |way to a|rrive at|
|00004c00| 20 63 6f 6e 73 65 6e 73 | 75 73 2e 0a 0a 41 6e 6f | consens|us...Ano|
|00004c10| 74 68 65 72 20 69 6e 74 | 65 72 65 73 74 69 6e 67 |ther int|eresting|
|00004c20| 20 65 78 61 6d 70 6c 65 | 20 6f 66 20 5a 20 69 6e | example| of Z in|
|00004c30| 20 74 68 69 73 20 61 72 | 65 61 20 69 73 20 61 20 | this ar|ea is a |
|00004c40| 72 65 63 65 6e 74 20 20 | 61 72 74 69 63 6c 65 20 |recent |article |
|00004c50| 20 62 79 0a 4a 2e 20 20 | 20 4d 69 63 68 61 65 6c | by.J. | Michael|
|00004c60| 20 20 53 70 69 76 65 79 | 20 20 6f 6e 20 20 75 73 | Spivey| on us|
|00004c70| 69 6e 67 20 20 5a 20 74 | 6f 20 73 70 65 63 69 66 |ing Z t|o specif|
|00004c80| 79 20 61 20 72 65 61 6c | 2d 74 69 6d 65 20 6b 65 |y a real|-time ke|
|00004c90| 72 6e 65 6c 20 5b 31 30 | 5d 2e 0a 54 68 69 73 20 |rnel [10|]..This |
|00004ca0| 69 73 20 74 68 65 20 73 | 70 65 63 69 66 69 63 61 |is the s|pecifica|
|00004cb0| 74 69 6f 6e 20 6f 66 20 | 61 20 6d 69 6e 69 6d 61 |tion of |a minima|
|00004cc0| 6c 20 6b 65 72 6e 65 6c | 20 61 6e 64 20 6e 6f 74 |l kernel| and not|
|00004cd0| 20 61 6e 20 69 6e 74 65 | 72 66 61 63 65 20 20 74 | an inte|rface t|
|00004ce0| 6f 0a 69 74 2e 20 20 53 | 70 69 76 65 79 20 64 69 |o.it. S|pivey di|
|00004cf0| 73 63 75 73 73 65 73 20 | 73 65 76 65 72 61 6c 20 |scusses |several |
|00004d00| 64 65 66 69 63 69 65 6e | 63 69 65 73 20 69 6e 20 |deficien|cies in |
|00004d10| 68 69 73 20 73 70 65 63 | 69 66 69 63 61 74 69 6f |his spec|ificatio|
|00004d20| 6e 20 6f 66 20 74 68 65 | 0a 6b 65 72 6e 65 6c 2c |n of the|.kernel,|
|00004d30| 20 20 61 6e 64 20 20 61 | 64 64 72 65 73 73 65 73 | and a|ddresses|
|00004d40| 20 20 61 6c 6c 20 20 6f | 66 20 20 74 68 65 6d 20 | all o|f them |
|00004d50| 20 61 74 20 20 74 68 65 | 20 20 72 69 73 6b 20 20 | at the| risk |
|00004d60| 6f 66 20 20 6d 61 6b 69 | 6e 67 20 20 68 69 73 0a |of maki|ng his.|
|00004d70| 73 70 65 63 69 66 69 63 | 61 74 69 6f 6e 20 20 6d |specific|ation m|
|00004d80| 6f 72 65 20 63 6f 6d 70 | 6c 65 78 20 61 6e 64 20 |ore comp|lex and |
|00004d90| 6c 65 73 73 20 75 6e 64 | 65 72 73 74 61 6e 64 61 |less und|erstanda|
|00004da0| 62 6c 65 2e 20 20 48 65 | 20 64 6f 65 73 20 63 6f |ble. He| does co|
|00004db0| 6e 63 6c 75 64 65 0a 74 | 68 61 74 20 75 73 69 6e |nclude.t|hat usin|
|00004dc0| 67 20 61 20 66 6f 72 6d | 61 6c 20 73 70 65 63 69 |g a form|al speci|
|00004dd0| 66 69 63 61 74 69 6f 6e | 20 69 73 20 61 20 76 61 |fication| is a va|
|00004de0| 6c 75 61 62 6c 65 20 20 | 61 6e 64 20 20 62 65 6e |luable |and ben|
|00004df0| 65 66 69 63 69 61 6c 20 | 20 74 6f 6f 6c 0a 66 6f |eficial | tool.fo|
|00004e00| 72 20 20 61 6e 73 77 65 | 72 69 6e 67 20 20 71 75 |r answe|ring qu|
|00004e10| 65 73 74 69 6f 6e 73 20 | 61 62 6f 75 74 20 74 68 |estions |about th|
|00004e20| 65 20 6b 65 72 6e 65 6c | 2c 20 62 75 74 20 68 65 |e kernel|, but he|
|00004e30| 20 74 68 65 6e 20 22 73 | 75 67 67 65 73 74 73 20 | then "s|uggests |
|00004e40| 74 68 61 74 0a 74 68 65 | 20 69 64 65 61 20 6f 66 |that.the| idea of|
|00004e50| 20 75 73 69 6e 67 20 20 | 61 20 20 66 6f 72 6d 61 | using |a forma|
|00004e60| 6c 20 20 73 70 65 63 69 | 66 69 63 61 74 69 6f 6e |l speci|fication|
|00004e70| 20 20 61 73 20 20 61 20 | 20 63 6f 6d 70 6c 65 74 | as a | complet|
|00004e80| 65 20 20 63 6f 6e 74 72 | 61 63 74 0a 62 65 74 77 |e contr|act.betw|
|00004e90| 65 65 6e 20 69 6d 70 6c | 65 6d 65 6e 74 65 72 20 |een impl|ementer |
|00004ea0| 61 6e 64 20 75 73 65 72 | 20 69 73 20 6e 6f 74 20 |and user| is not |
|00004eb0| 76 65 72 79 20 68 65 6c | 70 66 75 6c 2e 22 20 5b |very hel|pful." [|
|00004ec0| 31 31 5d 0a 0a 49 6e 64 | 65 65 64 20 69 74 20 68 |11]..Ind|eed it h|
|00004ed0| 61 73 20 62 65 65 6e 20 | 73 65 6e 73 69 62 6c 79 |as been |sensibly|
|00004ee0| 20 70 6f 69 6e 74 65 64 | 20 6f 75 74 20 74 68 61 | pointed| out tha|
|00004ef0| 74 20 74 68 65 20 75 73 | 65 20 6f 66 20 66 6f 72 |t the us|e of for|
|00004f00| 6d 61 6c 20 6d 65 74 68 | 6f 64 73 0a 69 73 20 20 |mal meth|ods.is |
|00004f10| 20 62 65 6e 65 66 69 63 | 69 61 6c 20 20 20 74 6f | benefic|ial to|
|00004f20| 20 20 61 69 64 69 6e 67 | 20 20 75 6e 64 65 72 73 | aiding| unders|
|00004f30| 74 61 6e 64 69 6e 67 20 | 20 61 62 6f 75 74 20 20 |tanding | about |
|00004f40| 74 68 65 20 20 6f 62 6a | 65 63 74 20 20 62 65 69 |the obj|ect bei|
|00004f50| 6e 67 0a 73 70 65 63 69 | 66 69 65 64 2c 20 62 75 |ng.speci|fied, bu|
|00004f60| 74 20 74 68 61 74 20 74 | 68 65 79 20 6e 65 65 64 |t that t|hey need|
|00004f70| 20 6e 6f 74 20 62 65 20 | 20 61 20 20 63 6f 6d 70 | not be | a comp|
|00004f80| 6c 65 74 65 20 20 73 70 | 65 63 69 66 69 63 61 74 |lete sp|ecificat|
|00004f90| 69 6f 6e 20 20 5b 31 32 | 5d 0a 0c 0a 20 20 20 20 |ion [12|]... |
|00004fa0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004fb0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004fc0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004fd0| 20 20 20 20 20 20 20 20 | 20 20 20 20 50 61 67 65 | | Page|
|00004fe0| 20 38 0a 0a 0a 5b 31 33 | 5d 20 20 5b 31 34 5d 2e | 8...[13|] [14].|
|00004ff0| 20 20 20 54 68 69 73 20 | 63 65 72 74 61 69 6e 6c | This |certainl|
|00005000| 79 20 66 69 74 73 20 69 | 6e 20 77 69 74 68 20 74 |y fits i|n with t|
|00005010| 68 65 20 49 53 4f 20 74 | 68 72 65 65 2d 70 68 61 |he ISO t|hree-pha|
|00005020| 73 65 20 61 70 70 72 6f | 61 63 68 0a 74 6f 20 20 |se appro|ach.to |
|00005030| 69 6e 74 72 6f 64 75 63 | 69 6e 67 20 20 66 6f 72 |introduc|ing for|
|00005040| 6d 61 6c 69 73 6d 20 20 | 69 6e 74 6f 20 20 73 74 |malism |into st|
|00005050| 61 6e 64 61 72 64 73 2e | 20 20 20 54 68 65 79 20 |andards.| They |
|00005060| 20 6e 65 76 65 72 20 20 | 72 65 71 75 69 72 65 20 | never |require |
|00005070| 20 61 0a 63 6f 6d 70 6c | 65 74 65 20 66 6f 72 6d | a.compl|ete form|
|00005080| 61 6c 20 73 70 65 63 69 | 66 69 63 61 74 69 6f 6e |al speci|fication|
|00005090| 20 77 69 74 68 6f 75 74 | 20 6e 61 74 75 72 61 6c | without| natural|
|000050a0| 20 6c 61 6e 67 75 61 67 | 65 20 63 6f 6d 6d 65 6e | languag|e commen|
|000050b0| 74 61 72 79 2e 0a 0a 54 | 68 65 20 56 69 65 6e 6e |tary...T|he Vienn|
|000050c0| 61 20 44 65 76 65 6c 6f | 70 6d 65 6e 74 20 4d 65 |a Develo|pment Me|
|000050d0| 74 68 6f 64 20 28 56 44 | 4d 29 20 69 73 20 61 6c |thod (VD|M) is al|
|000050e0| 73 6f 20 66 72 65 71 75 | 65 6e 74 6c 79 20 73 75 |so frequ|ently su|
|000050f0| 67 67 65 73 74 65 64 20 | 61 73 20 20 61 0a 63 61 |ggested |as a.ca|
|00005100| 6e 64 69 64 61 74 65 20 | 20 66 6f 72 6d 61 6c 20 |ndidate | formal |
|00005110| 6d 65 74 68 6f 64 2e 20 | 20 56 44 4d 20 68 61 73 |method. | VDM has|
|00005120| 20 61 20 73 69 6d 69 6c | 61 72 20 66 6c 61 76 6f | a simil|ar flavo|
|00005130| 75 72 20 74 6f 20 5a 20 | 62 75 74 20 64 6f 65 73 |ur to Z |but does|
|00005140| 20 6e 6f 74 0a 68 61 76 | 65 20 61 20 66 61 63 69 | not.hav|e a faci|
|00005150| 6c 69 74 79 20 20 73 69 | 6d 69 6c 61 72 20 20 74 |lity si|milar t|
|00005160| 6f 20 20 5a 27 73 20 20 | 73 63 68 65 6d 61 20 20 |o Z's |schema |
|00005170| 63 61 6c 63 75 6c 75 73 | 20 20 74 6f 20 20 61 6c |calculus| to al|
|00005180| 6c 6f 77 20 20 73 69 6d | 70 6c 65 0a 73 70 65 63 |low sim|ple.spec|
|00005190| 69 66 69 63 61 74 69 6f | 6e 73 20 74 6f 20 62 65 |ificatio|ns to be|
|000051a0| 20 62 75 69 6c 74 20 69 | 6e 74 6f 20 63 6f 6d 70 | built i|nto comp|
|000051b0| 6c 65 78 20 6f 6e 65 73 | 2e 0a 0a 54 68 69 73 20 |lex ones|...This |
|000051c0| 73 75 6d 6d 61 72 69 73 | 65 73 20 61 6c 6c 20 74 |summaris|es all t|
|000051d0| 68 65 20 63 75 72 72 65 | 6e 74 20 64 69 73 63 75 |he curre|nt discu|
|000051e0| 73 73 69 6f 6e 20 20 49 | 27 76 65 20 20 64 69 73 |ssion I|'ve dis|
|000051f0| 63 6f 76 65 72 65 64 20 | 20 74 6f 20 20 64 61 74 |covered | to dat|
|00005200| 65 0a 63 6f 6e 63 65 72 | 6e 69 6e 67 20 20 20 61 |e.concer|ning a|
|00005210| 63 74 75 61 6c 20 20 20 | 66 6f 72 6d 61 6c 20 20 |ctual |formal |
|00005220| 6d 65 74 68 6f 64 73 20 | 20 74 6f 20 20 73 70 65 |methods | to spe|
|00005230| 63 69 66 79 20 20 61 20 | 20 73 74 61 6e 64 61 72 |cify a | standar|
|00005240| 64 20 20 50 4f 53 49 58 | 0a 69 6e 74 65 72 66 61 |d POSIX|.interfa|
|00005250| 63 65 2e 0a 0a 0a 0a 37 | 20 20 41 20 42 52 49 45 |ce.....7| A BRIE|
|00005260| 46 20 4e 4f 54 45 20 4f | 4e 20 54 45 53 54 49 4e |F NOTE O|N TESTIN|
|00005270| 47 20 41 4e 44 20 43 4f | 4e 46 4f 52 4d 41 4e 43 |G AND CO|NFORMANC|
|00005280| 45 20 49 53 53 55 45 53 | 0a 0a 54 68 65 72 65 20 |E ISSUES|..There |
|00005290| 61 72 65 20 73 65 76 65 | 72 61 6c 20 74 65 73 74 |are seve|ral test|
|000052a0| 69 6e 67 20 69 73 73 75 | 65 73 20 61 62 6f 75 74 |ing issu|es about|
|000052b0| 20 4c 49 53 20 20 6f 66 | 20 20 50 4f 53 49 58 20 | LIS of| POSIX |
|000052c0| 20 6e 6f 20 20 6d 61 74 | 74 65 72 20 20 68 6f 77 | no mat|ter how|
|000052d0| 0a 66 6f 72 6d 61 6c 20 | 20 74 68 65 20 20 73 70 |.formal | the sp|
|000052e0| 65 63 69 66 69 63 61 74 | 69 6f 6e 20 20 6d 65 74 |ecificat|ion met|
|000052f0| 68 6f 64 2e 20 20 54 68 | 65 20 66 6f 6c 6c 6f 77 |hod. Th|e follow|
|00005300| 69 6e 67 20 71 75 65 73 | 74 69 6f 6e 73 20 68 61 |ing ques|tions ha|
|00005310| 76 65 20 62 65 65 6e 0a | 72 61 69 73 65 64 2e 0a |ve been.|raised..|
|00005320| 0a 48 6f 77 20 64 6f 65 | 73 20 6f 6e 65 20 22 74 |.How doe|s one "t|
|00005330| 65 73 74 22 20 61 20 6c | 61 6e 67 75 61 67 65 20 |est" a l|anguage |
|00005340| 69 6e 64 65 70 65 6e 64 | 65 6e 74 20 20 73 70 65 |independ|ent spe|
|00005350| 63 69 66 69 63 61 74 69 | 6f 6e 3f 20 20 20 41 74 |cificati|on? At|
|00005360| 20 20 66 69 72 73 74 0a | 67 6c 61 6e 63 65 2c 20 | first.|glance, |
|00005370| 20 6f 6e 65 20 20 64 6f | 65 73 6e 27 74 2e 20 20 | one do|esn't. |
|00005380| 54 65 73 74 20 61 73 73 | 65 72 74 69 6f 6e 73 20 |Test ass|ertions |
|00005390| 61 72 65 20 6d 65 72 65 | 6c 79 20 64 6f 6e 65 20 |are mere|ly done |
|000053a0| 61 74 20 74 68 65 20 62 | 69 6e 64 69 6e 67 0a 6c |at the b|inding.l|
|000053b0| 65 76 65 6c 20 74 6f 20 | 20 61 6c 6c 6f 77 20 20 |evel to | allow |
|000053c0| 69 6d 70 6c 65 6d 65 6e | 74 61 74 69 6f 6e 73 20 |implemen|tations |
|000053d0| 20 74 6f 20 20 64 65 6d | 6f 6e 73 74 72 61 74 65 | to dem|onstrate|
|000053e0| 20 20 63 6f 6e 66 6f 72 | 6d 61 6e 63 65 2e 20 20 | confor|mance. |
|000053f0| 20 54 68 69 73 0a 63 65 | 72 74 61 69 6e 6c 79 20 | This.ce|rtainly |
|00005400| 6e 65 65 64 73 20 74 6f | 20 62 65 20 64 6f 6e 65 |needs to| be done|
|00005410| 2e 0a 0a 42 75 74 20 63 | 61 6e 20 66 6f 72 6d 61 |...But c|an forma|
|00005420| 6c 20 6f 72 20 6e 61 74 | 75 72 61 6c 20 6c 61 6e |l or nat|ural lan|
|00005430| 67 75 61 67 65 20 61 73 | 73 65 72 74 69 6f 6e 73 |guage as|sertions|
|00005440| 20 62 65 20 6d 61 64 65 | 20 61 62 6f 75 74 20 20 | be made| about |
|00005450| 74 68 65 20 20 4c 49 53 | 2c 0a 77 68 69 63 68 20 |the LIS|,.which |
|00005460| 63 61 6e 20 62 65 20 74 | 65 73 74 65 64 20 6d 61 |can be t|ested ma|
|00005470| 6e 75 61 6c 6c 79 20 62 | 79 20 61 72 67 75 6d 65 |nually b|y argume|
|00005480| 6e 74 20 61 6e 64 20 69 | 6e 73 70 65 63 74 69 6f |nt and i|nspectio|
|00005490| 6e 2c 20 61 6e 64 20 77 | 68 69 63 68 20 63 61 6e |n, and w|hich can|
|000054a0| 0a 74 68 65 6e 20 61 63 | 74 20 61 73 20 61 20 62 |.then ac|t as a b|
|000054b0| 61 73 69 73 20 73 65 74 | 20 6f 66 20 20 61 73 73 |asis set| of ass|
|000054c0| 65 72 74 69 6f 6e 73 20 | 20 75 73 65 64 20 20 77 |ertions | used w|
|000054d0| 68 65 6e 20 20 62 75 69 | 6c 64 69 6e 67 20 20 6c |hen bui|lding l|
|000054e0| 61 6e 67 75 61 67 65 0a | 62 69 6e 64 69 6e 67 20 |anguage.|binding |
|000054f0| 61 73 73 65 72 74 69 6f | 6e 73 3f 0a 0a 3e 46 72 |assertio|ns?..>Fr|
|00005500| 6f 6d 20 61 20 64 69 66 | 66 65 72 65 6e 74 20 70 |om a dif|ferent p|
|00005510| 6f 69 6e 74 20 6f 66 20 | 76 69 65 77 2c 20 69 73 |oint of |view, is|
|00005520| 20 74 68 65 72 65 20 61 | 20 73 65 74 20 6f 66 20 | there a| set of |
|00005530| 61 73 73 65 72 74 69 6f | 6e 73 20 74 68 61 74 20 |assertio|ns that |
|00005540| 20 63 61 6e 0a 62 65 20 | 20 6d 61 64 65 20 20 61 | can.be | made a|
|00005550| 62 6f 75 74 20 20 74 68 | 65 20 20 4c 49 53 20 20 |bout th|e LIS |
|00005560| 77 68 69 63 68 20 63 61 | 6e 20 68 65 6c 70 20 64 |which ca|n help d|
|00005570| 65 74 65 72 6d 69 6e 65 | 20 68 6f 77 20 67 6f 6f |etermine| how goo|
|00005580| 64 20 61 20 62 69 6e 64 | 69 6e 67 0a 72 65 66 6c |d a bind|ing.refl|
|00005590| 65 63 74 73 20 74 68 65 | 20 62 61 73 65 3f 20 20 |ects the| base? |
|000055a0| 48 6f 77 20 64 6f 20 62 | 69 6e 64 69 6e 67 73 20 |How do b|indings |
|000055b0| 63 6f 6e 66 6f 72 6d 20 | 74 6f 20 74 68 65 20 62 |conform |to the b|
|000055c0| 61 73 65 3f 20 20 49 66 | 20 61 20 62 69 6e 64 69 |ase? If| a bindi|
|000055d0| 6e 67 0a 62 65 63 6f 6d | 65 73 20 20 61 20 20 6f |ng.becom|es a o|
|000055e0| 6e 65 2d 74 6f 2d 6f 6e | 65 20 20 6d 61 70 70 69 |ne-to-on|e mappi|
|000055f0| 6e 67 20 20 6f 66 20 20 | 74 68 65 20 20 62 61 73 |ng of |the bas|
|00005600| 65 20 20 4c 49 53 2c 20 | 74 68 65 6e 20 74 68 65 |e LIS, |then the|
|00005610| 79 20 63 6f 6e 66 6f 72 | 6d 0a 64 69 72 65 63 74 |y confor|m.direct|
|00005620| 6c 79 2e 20 20 49 66 20 | 74 68 65 79 20 64 6f 20 |ly. If |they do |
|00005630| 20 6e 6f 74 20 20 63 6f | 6d 70 6c 65 74 65 6c 79 | not co|mpletely|
|00005640| 20 20 6d 61 70 20 20 74 | 68 65 20 20 62 69 6e 64 | map t|he bind|
|00005650| 69 6e 67 20 20 6f 72 20 | 20 6d 61 70 20 20 69 74 |ing or | map it|
|00005660| 0a 64 69 66 66 65 72 65 | 6e 74 6c 79 2c 20 68 6f |.differe|ntly, ho|
|00005670| 77 20 69 73 20 63 6f 6e | 66 6f 72 6d 61 6e 63 65 |w is con|formance|
|00005680| 20 6d 65 61 73 75 72 65 | 64 3f 0a 0a 41 6c 6c 20 | measure|d?..All |
|00005690| 6f 66 20 74 68 65 73 65 | 20 71 75 65 73 74 69 6f |of these| questio|
|000056a0| 6e 73 20 6e 65 65 64 20 | 73 6f 6d 65 20 74 68 6f |ns need |some tho|
|000056b0| 75 67 68 74 2c 20 61 6e | 64 20 49 20 20 68 6f 70 |ught, an|d I hop|
|000056c0| 65 20 20 74 68 69 73 20 | 20 67 65 6e 65 72 61 74 |e this | generat|
|000056d0| 65 73 0a 73 6f 6d 65 20 | 63 72 65 61 74 69 76 65 |es.some |creative|
|000056e0| 20 66 65 65 64 62 61 63 | 6b 20 66 6f 72 20 6e 65 | feedbac|k for ne|
|000056f0| 78 74 20 77 65 65 6b 2e | 0a 0a 0a 0a 38 20 20 53 |xt week.|....8 S|
|00005700| 55 4d 4d 41 52 59 0a 0a | 49 20 68 6f 70 65 20 49 |UMMARY..|I hope I|
|00005710| 20 68 61 76 65 20 70 72 | 65 73 65 6e 74 65 64 20 | have pr|esented |
|00005720| 63 6f 6d 70 6c 65 74 65 | 6c 79 20 61 6e 64 20 77 |complete|ly and w|
|00005730| 69 74 68 20 61 73 20 6c | 69 74 74 6c 65 20 62 69 |ith as l|ittle bi|
|00005740| 61 73 20 61 73 20 70 6f | 73 73 69 62 6c 65 0a 74 |as as po|ssible.t|
|00005750| 68 65 20 20 69 73 73 75 | 65 73 20 20 73 75 72 72 |he issu|es surr|
|00005760| 6f 75 6e 64 69 6e 67 20 | 20 74 68 65 20 20 6c 61 |ounding | the la|
|00005770| 6e 67 75 61 67 65 20 20 | 69 6e 64 65 70 65 6e 64 |nguage |independ|
|00005780| 65 6e 74 20 20 73 70 65 | 63 69 66 69 63 61 74 69 |ent spe|cificati|
|00005790| 6f 6e 20 6f 66 0a 50 4f | 53 49 58 2e 0a 0a 48 6f |on of.PO|SIX...Ho|
|000057a0| 70 65 66 75 6c 6c 79 20 | 61 74 20 74 68 65 20 42 |pefully |at the B|
|000057b0| 4f 46 20 67 61 74 68 65 | 72 69 6e 67 73 20 61 74 |OF gathe|rings at|
|000057c0| 20 50 31 30 30 33 20 61 | 6e 64 20 74 68 65 20 57 | P1003 a|nd the W|
|000057d0| 47 31 35 20 41 64 20 48 | 6f 63 2c 20 6d 61 6e 79 |G15 Ad H|oc, many|
|000057e0| 20 20 6f 66 0a 74 68 65 | 73 65 20 20 69 73 73 75 | of.the|se issu|
|000057f0| 65 73 20 20 63 61 6e 20 | 20 62 65 20 20 73 6f 6c |es can | be sol|
|00005800| 76 65 64 20 74 6f 20 65 | 76 65 72 79 6f 6e 65 27 |ved to e|veryone'|
|00005810| 73 20 73 61 74 69 73 66 | 61 63 74 69 6f 6e 2c 20 |s satisf|action, |
|00005820| 77 69 74 68 20 61 20 63 | 61 72 65 0a 74 6f 77 61 |with a c|are.towa|
|00005830| 72 64 73 20 74 68 65 20 | 74 72 65 6d 65 6e 64 6f |rds the |tremendo|
|00005840| 75 73 20 65 66 66 6f 72 | 74 20 77 68 69 63 68 20 |us effor|t which |
|00005850| 68 61 73 20 67 6f 6e 65 | 20 6f 6e 20 74 6f 20 20 |has gone| on to |
|00005860| 64 61 74 65 20 20 61 74 | 20 20 62 75 69 6c 64 69 |date at| buildi|
|00005870| 6e 67 0a 50 4f 53 49 58 | 2e 0a 0a 49 20 6c 6f 6f |ng.POSIX|...I loo|
|00005880| 6b 20 66 6f 72 77 61 72 | 64 20 74 6f 20 73 65 65 |k forwar|d to see|
|00005890| 69 6e 67 20 65 76 65 72 | 79 6f 6e 65 20 74 68 65 |ing ever|yone the|
|000058a0| 72 65 2e 0a 0c 0a 20 20 | 20 20 20 20 20 20 20 20 |re.... | |
|000058b0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000058c0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000058d0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000058e0| 20 20 20 20 20 20 50 61 | 67 65 20 39 0a 0a 0a 39 | Pa|ge 9...9|
|000058f0| 20 20 52 45 46 45 52 45 | 4e 43 45 53 0a 0a 0a 5b | REFERE|NCES...[|
|00005900| 31 5d 20 50 61 75 6c 20 | 52 61 62 69 6e 20 61 6e |1] Paul |Rabin an|
|00005910| 64 20 53 74 65 70 68 65 | 6e 20 57 61 6c 6c 69 2c |d Stephe|n Walli,|
|00005920| 20 22 44 72 61 66 74 20 | 54 43 4f 53 2d 53 53 20 | "Draft |TCOS-SS |
|00005930| 50 72 6f 67 72 61 6d 6d | 69 6e 67 20 20 4c 61 6e |Programm|ing Lan|
|00005940| 67 75 61 67 65 0a 49 6e | 64 65 70 65 6e 64 65 6e |guage.In|dependen|
|00005950| 74 20 53 70 65 63 69 66 | 69 63 61 74 69 6f 6e 20 |t Specif|ication |
|00005960| 4d 65 74 68 6f 64 73 22 | 2c 20 44 72 61 66 74 20 |Methods"|, Draft |
|00005970| 31 2c 20 31 35 20 4a 75 | 6c 79 2c 20 31 39 39 30 |1, 15 Ju|ly, 1990|
|00005980| 2e 0a 0a 5b 32 5d 20 44 | 6f 6d 69 6e 69 63 20 44 |...[2] D|ominic D|
|00005990| 75 6e 6c 6f 70 2c 20 63 | 6f 6d 70 2e 73 74 64 2e |unlop, c|omp.std.|
|000059a0| 75 6e 69 78 20 56 6f 6c | 75 6d 65 20 32 30 2c 20 |unix Vol|ume 20, |
|000059b0| 20 4e 75 6d 62 65 72 20 | 20 31 31 30 2c 20 20 55 | Number | 110, U|
|000059c0| 53 45 4e 45 54 2c 20 20 | 35 0a 4a 75 6c 79 2c 20 |SENET, |5.July, |
|000059d0| 31 39 39 30 2e 0a 0a 5b | 33 5d 20 22 50 72 6f 70 |1990...[|3] "Prop|
|000059e0| 6f 73 65 64 20 44 54 52 | 20 31 30 31 38 32 20 6f |osed DTR| 10182 o|
|000059f0| 6e 3a 49 6e 66 6f 72 6d | 61 74 69 6f 6e 20 50 72 |n:Inform|ation Pr|
|00005a00| 6f 63 65 73 73 69 6e 67 | 20 53 79 73 74 65 6d 73 |ocessing| Systems|
|00005a10| 20 2d 20 47 75 69 64 65 | 6c 69 6e 65 73 0a 66 6f | - Guide|lines.fo|
|00005a20| 72 20 20 20 4c 61 6e 67 | 75 61 67 65 20 20 20 42 |r Lang|uage B|
|00005a30| 69 6e 64 69 6e 67 73 22 | 2c 20 20 20 49 53 4f 2f |indings"|, ISO/|
|00005a40| 49 45 43 20 20 4a 54 43 | 31 2f 53 43 32 32 20 20 |IEC JTC|1/SC22 |
|00005a50| 4e 37 35 34 2c 20 20 49 | 6e 74 65 72 6e 61 74 69 |N754, I|nternati|
|00005a60| 6f 6e 61 6c 0a 53 74 61 | 6e 64 61 72 64 73 20 4f |onal.Sta|ndards O|
|00005a70| 72 67 61 6e 69 7a 61 74 | 69 6f 6e 2c 20 47 65 6e |rganizat|ion, Gen|
|00005a80| 65 76 61 2e 0a 0a 5b 34 | 5d 20 20 22 43 6f 6d 6d |eva...[4|] "Comm|
|00005a90| 6f 6e 20 20 4c 61 6e 67 | 75 61 67 65 2d 49 6e 64 |on Lang|uage-Ind|
|00005aa0| 65 70 65 6e 64 65 6e 74 | 20 20 44 61 74 61 74 79 |ependent| Dataty|
|00005ab0| 70 65 73 3a 20 20 20 57 | 6f 72 6b 69 6e 67 20 20 |pes: W|orking |
|00005ac0| 44 72 61 66 74 20 20 20 | 23 33 22 2c 0a 49 53 4f |Draft |#3",.ISO|
|00005ad0| 2f 49 45 43 20 20 4a 54 | 43 31 2f 53 43 32 32 2f |/IEC JT|C1/SC22/|
|00005ae0| 57 47 31 31 20 20 4e 31 | 36 32 2c 20 20 49 6e 74 |WG11 N1|62, Int|
|00005af0| 65 72 6e 61 74 69 6f 6e | 61 6c 20 20 53 74 61 6e |ernation|al Stan|
|00005b00| 64 61 72 64 73 20 4f 72 | 67 61 6e 69 7a 61 74 69 |dards Or|ganizati|
|00005b10| 6f 6e 2c 0a 47 65 6e 65 | 76 61 2e 0a 0a 5b 35 5d |on,.Gene|va...[5]|
|00005b20| 20 4f 52 4b 49 44 20 57 | 6f 72 6b 69 6e 67 20 47 | ORKID W|orking G|
|00005b30| 72 6f 75 70 2c 20 22 4f | 52 4b 49 44 20 20 2d 20 |roup, "O|RKID - |
|00005b40| 20 4f 70 65 6e 20 20 52 | 65 61 6c 2d 74 69 6d 65 | Open R|eal-time|
|00005b50| 20 20 4b 65 72 6e 65 6c | 20 20 49 6e 74 65 72 66 | Kernel| Interf|
|00005b60| 61 63 65 0a 44 65 66 69 | 6e 69 74 69 6f 6e 2c 20 |ace.Defi|nition, |
|00005b70| 44 72 61 66 74 20 32 2e | 31 22 2c 20 41 75 67 75 |Draft 2.|1", Augu|
|00005b80| 73 74 20 31 39 39 30 2e | 0a 0a 5b 36 5d 20 44 61 |st 1990.|..[6] Da|
|00005b90| 76 69 64 20 42 6c 79 74 | 68 2c 20 65 74 20 61 6c |vid Blyt|h, et al|
|00005ba0| 2c 20 22 54 68 65 20 43 | 61 73 65 20 66 6f 72 20 |, "The C|ase for |
|00005bb0| 46 6f 72 6d 61 6c 20 20 | 4d 65 74 68 6f 64 73 20 |Formal |Methods |
|00005bc0| 20 69 6e 20 20 53 74 61 | 6e 64 61 72 64 73 22 2c | in Sta|ndards",|
|00005bd0| 0a 49 45 45 45 20 53 6f | 66 74 77 61 72 65 2c 20 |.IEEE So|ftware, |
|00005be0| 56 6f 6c 75 6d 65 20 37 | 2c 20 4e 75 6d 62 65 72 |Volume 7|, Number|
|00005bf0| 20 35 2c 20 53 65 70 74 | 65 6d 62 65 72 2c 20 31 | 5, Sept|ember, 1|
|00005c00| 39 39 30 2e 0a 0a 5b 37 | 5d 20 22 4a 54 43 31 20 |990...[7|] "JTC1 |
|00005c10| 53 74 61 74 65 6d 65 6e | 74 20 20 6f 66 20 20 50 |Statemen|t of P|
|00005c20| 6f 6c 69 63 79 20 20 6f | 6e 20 20 46 6f 72 6d 61 |olicy o|n Forma|
|00005c30| 6c 20 20 44 65 73 63 72 | 69 70 74 69 6f 6e 20 20 |l Descr|iption |
|00005c40| 54 65 63 68 6e 69 71 75 | 65 73 22 2c 0a 49 53 4f |Techniqu|es",.ISO|
|00005c50| 2f 49 45 43 20 20 20 4a | 54 43 31 20 20 20 4e 31 |/IEC J|TC1 N1|
|00005c60| 34 35 2c 20 20 61 6e 64 | 20 20 49 53 4f 2f 49 45 |45, and| ISO/IE|
|00005c70| 43 20 20 4a 54 43 31 2f | 53 43 31 38 20 20 4e 31 |C JTC1/|SC18 N1|
|00005c80| 33 33 33 2c 20 20 49 6e | 74 65 72 6e 61 74 69 6f |333, In|ternatio|
|00005c90| 6e 61 6c 0a 53 74 61 6e | 64 61 72 64 73 20 4f 72 |nal.Stan|dards Or|
|00005ca0| 67 61 6e 69 7a 61 74 69 | 6f 6e 2c 20 47 65 6e 65 |ganizati|on, Gene|
|00005cb0| 76 61 2c 20 31 39 38 37 | 2e 20 20 54 68 69 73 20 |va, 1987|. This |
|00005cc0| 72 65 66 65 72 65 6e 63 | 65 20 77 61 73 20 20 70 |referenc|e was p|
|00005cd0| 6f 69 6e 74 65 64 20 20 | 74 6f 0a 69 6e 20 5b 36 |ointed |to.in [6|
|00005ce0| 5d 20 61 6e 64 20 49 20 | 68 61 76 65 20 6e 6f 74 |] and I |have not|
|00005cf0| 20 79 65 74 20 62 65 65 | 6e 20 61 62 6c 65 20 74 | yet bee|n able t|
|00005d00| 6f 20 6f 62 74 61 69 6e | 20 61 20 63 6f 70 79 2e |o obtain| a copy.|
|00005d10| 0a 0a 5b 38 5d 20 4d 61 | 72 74 69 6e 20 4b 69 72 |..[8] Ma|rtin Kir|
|00005d20| 6b 2c 20 22 5a 20 53 70 | 65 63 69 66 69 63 61 74 |k, "Z Sp|ecificat|
|00005d30| 69 6f 6e 20 6f 66 20 50 | 31 30 30 33 2e 31 22 2c |ion of P|1003.1",|
|00005d40| 20 49 53 4f 2f 49 45 43 | 20 20 4a 54 43 31 2f 53 | ISO/IEC| JTC1/S|
|00005d50| 43 32 32 2f 57 47 31 35 | 0a 4e 31 31 35 2c 20 49 |C22/WG15|.N115, I|
|00005d60| 6e 74 65 72 6e 61 74 69 | 6f 6e 61 6c 20 53 74 61 |nternati|onal Sta|
|00005d70| 6e 64 61 72 64 73 20 4f | 72 67 61 6e 69 7a 61 74 |ndards O|rganizat|
|00005d80| 69 6f 6e 2c 20 47 65 6e | 65 76 61 2c 20 53 65 70 |ion, Gen|eva, Sep|
|00005d90| 74 65 6d 62 65 72 2c 20 | 31 39 39 30 2e 0a 0a 5b |tember, |1990...[|
|00005da0| 39 5d 20 44 6f 6e 6e 20 | 54 65 72 72 79 2c 20 22 |9] Donn |Terry, "|
|00005db0| 53 75 67 67 65 73 74 65 | 64 20 52 65 73 70 6f 6e |Suggeste|d Respon|
|00005dc0| 73 65 20 74 6f 20 4a 54 | 43 31 2f 53 43 32 32 2f |se to JT|C1/SC22/|
|00005dd0| 57 47 31 35 20 4e 31 31 | 35 22 2c 20 20 44 6f 63 |WG15 N11|5", Doc|
|00005de0| 75 6d 65 6e 74 0a 53 43 | 32 32 2f 57 47 31 35 20 |ument.SC|22/WG15 |
|00005df0| 55 53 20 54 41 47 20 4e | 31 34 36 2e 0a 0a 5b 31 |US TAG N|146...[1|
|00005e00| 30 5d 20 20 4a 2e 20 20 | 20 4d 69 63 68 61 65 6c |0] J. | Michael|
|00005e10| 20 20 53 70 69 76 65 79 | 2c 20 20 22 53 70 65 63 | Spivey|, "Spec|
|00005e20| 69 66 79 69 6e 67 20 20 | 61 20 20 52 65 61 6c 2d |ifying |a Real-|
|00005e30| 54 69 6d 65 20 20 4b 65 | 72 6e 65 6c 22 2c 20 20 |Time Ke|rnel", |
|00005e40| 49 45 45 45 0a 53 6f 66 | 74 77 61 72 65 2c 20 56 |IEEE.Sof|tware, V|
|00005e50| 6f 6c 75 6d 65 20 37 2c | 20 4e 75 6d 62 65 72 20 |olume 7,| Number |
|00005e60| 35 2c 20 53 65 70 74 65 | 6d 62 65 72 2c 20 31 39 |5, Septe|mber, 19|
|00005e70| 39 30 2e 0a 0a 5b 31 31 | 5d 20 49 62 69 64 2e 20 |90...[11|] Ibid. |
|00005e80| 20 70 2e 32 37 0a 0a 5b | 31 32 5d 20 4a 2e 20 20 | p.27..[|12] J. |
|00005e90| 4d 69 63 68 61 65 6c 20 | 53 70 69 76 65 79 2c 20 |Michael |Spivey, |
|00005ea0| 22 54 68 65 20 20 5a 20 | 20 4e 6f 74 61 74 69 6f |"The Z | Notatio|
|00005eb0| 6e 20 20 3a 20 20 20 61 | 20 20 72 65 66 65 72 65 |n : a| refere|
|00005ec0| 6e 63 65 20 20 6d 61 6e | 75 61 6c 22 2c 0a 50 72 |nce man|ual",.Pr|
|00005ed0| 65 6e 74 69 63 65 20 48 | 61 6c 6c 20 49 6e 74 65 |entice H|all Inte|
|00005ee0| 72 6e 61 74 69 6f 6e 61 | 6c 2c 20 31 39 38 39 0a |rnationa|l, 1989.|
|00005ef0| 0a 5b 31 33 5d 20 41 6e | 74 68 6f 6e 79 20 48 61 |.[13] An|thony Ha|
|00005f00| 6c 6c 2c 20 22 53 65 76 | 65 6e 20 4d 79 74 68 73 |ll, "Sev|en Myths|
|00005f10| 20 6f 66 20 20 46 6f 72 | 6d 61 6c 20 20 4d 65 74 | of For|mal Met|
|00005f20| 68 6f 64 73 22 2c 20 20 | 49 45 45 45 20 20 53 6f |hods", |IEEE So|
|00005f30| 66 74 77 61 72 65 2c 0a | 56 6f 6c 75 6d 65 20 37 |ftware,.|Volume 7|
|00005f40| 2c 20 4e 75 6d 62 65 72 | 20 35 2c 20 53 65 70 74 |, Number| 5, Sept|
|00005f50| 65 6d 62 65 72 2c 20 31 | 39 39 30 2e 0a 0a 5b 31 |ember, 1|990...[1|
|00005f60| 34 5d 20 20 4a 65 61 6e | 6e 65 74 74 65 20 20 4d |4] Jean|nette M|
|00005f70| 2e 20 20 20 57 69 6e 67 | 2c 20 20 22 41 20 20 53 |. Wing|, "A S|
|00005f80| 70 65 63 69 66 69 65 72 | 27 73 20 20 49 6e 74 72 |pecifier|'s Intr|
|00005f90| 6f 64 75 63 74 69 6f 6e | 20 20 74 6f 20 20 46 6f |oduction| to Fo|
|00005fa0| 72 6d 61 6c 0a 4d 65 74 | 68 6f 64 73 22 2c 20 43 |rmal.Met|hods", C|
|00005fb0| 6f 6d 70 75 74 65 72 2c | 20 56 6f 6c 75 6d 65 20 |omputer,| Volume |
|00005fc0| 32 33 2c 20 4e 75 6d 62 | 65 72 20 39 2c 20 53 65 |23, Numb|er 9, Se|
|00005fd0| 70 74 65 6d 62 65 72 20 | 31 39 39 30 2e 0a 0a 0a |ptember |1990....|
|00005fe0| 56 6f 6c 75 6d 65 2d 4e | 75 6d 62 65 72 3a 20 56 |Volume-N|umber: V|
|00005ff0| 6f 6c 75 6d 65 20 32 31 | 2c 20 4e 75 6d 62 65 72 |olume 21|, Number|
|00006000| 20 31 39 37 0a 0a | | 197.. | |
+--------+-------------------------+-------------------------+--------+--------+
