Hex Artifact Content
Not logged in

Artifact 27c71502aebd876e2b331446f1e1401adf8415a0:

Wiki page [Experiment: mmmv_silkexec: spec Ideas 01] by martin_vahi on 2017-05-30 15:25:54.
0000: 44 20 32 30 31 37 2d 30 35 2d 33 30 54 31 35 3a  D 2017-05-30T15:
0010: 32 35 3a 35 34 2e 33 34 30 0a 4c 20 45 78 70 65  25:54.340.L Expe
0020: 72 69 6d 65 6e 74 3a 5c 73 6d 6d 6d 76 5f 73 69  riment:\smmmv_si
0030: 6c 6b 65 78 65 63 3a 5c 73 73 70 65 63 5c 73 49  lkexec:\sspec\sI
0040: 64 65 61 73 5c 73 30 31 0a 50 20 37 62 34 35 33  deas\s01.P 7b453
0050: 61 65 32 66 35 33 66 63 65 35 35 61 62 30 62 66  ae2f53fce55ab0bf
0060: 35 34 37 37 37 37 31 36 36 34 66 62 62 36 38 35  5477771664fbb685
0070: 38 32 39 0a 55 20 6d 61 72 74 69 6e 5f 76 61 68  829.U martin_vah
0080: 69 0a 57 20 31 35 35 38 0a 3c 70 3e 54 68 69 73  i.W 1558.<p>This
0090: 20 70 61 67 65 20 69 73 20 66 6f 72 20 61 20 73   page is for a s
00a0: 65 6d 69 2d 72 61 6e 64 6f 6d 20 63 6f 6c 6c 65  emi-random colle
00b0: 63 74 69 6f 6e 20 6f 66 20 69 64 65 61 73 2c 20  ction of ideas, 
00c0: 68 6f 77 20 74 6f 0a 69 6d 70 72 6f 76 65 2f 63  how to.improve/c
00d0: 68 61 6e 67 65 2f 63 72 65 61 74 65 20 74 68 65  hange/create the
00e0: 20 73 70 65 63 69 66 69 63 61 74 69 6f 6e 20 6f   specification o
00f0: 66 20 74 68 65 0a 3c 61 20 68 72 65 66 3d 22 2e  f the.<a href=".
0100: 2f 77 69 6b 69 3f 6e 61 6d 65 3d 45 78 70 65 72  /wiki?name=Exper
0110: 69 6d 65 6e 74 3a 2b 6d 6d 6d 76 5f 73 69 6c 6b  iment:+mmmv_silk
0120: 65 78 65 63 22 3e 6d 6d 6d 76 5f 73 69 6c 6b 65  exec">mmmv_silke
0130: 78 65 63 3c 2f 61 3e 2e 3c 2f 70 3e 0a 0a 3c 70  xec</a>.</p>..<p
0140: 3e 3c 62 72 3e 0a 3c 2f 70 3e 0a 0a 3c 68 31 3e  ><br>.</p>..<h1>
0150: 47 65 6e 65 72 61 6c 20 4f 62 73 65 72 76 61 74  General Observat
0160: 69 6f 6e 73 3c 2f 68 31 3e 0a 0a 3c 70 3e 44 75  ions</h1>..<p>Du
0170: 65 20 74 6f 20 74 68 65 20 66 61 63 74 20 74 68  e to the fact th
0180: 61 74 20 61 70 70 6c 69 63 61 74 69 6f 6e 73 20  at applications 
0190: 77 6f 72 6b 20 61 73 20 61 20 63 6f 6d 62 69 6e  work as a combin
01a0: 61 74 69 6f 6e 20 6f 66 20 61 70 70 6c 69 63 61  ation of applica
01b0: 74 69 6f 6e 0a 73 70 65 63 69 66 69 63 20 63 6f  tion.specific co
01c0: 64 65 20 61 6e 64 20 74 68 65 20 64 65 70 65 6e  de and the depen
01d0: 64 65 6e 63 69 65 73 20 6f 66 20 74 68 65 20 61  dencies of the a
01e0: 70 70 6c 69 63 61 74 69 6f 6e 2c 20 69 6e 20 73  pplication, in s
01f0: 6f 6d 65 20 63 61 73 65 73 20 73 6f 6d 65 20 63  ome cases some c
0200: 6f 64 65 0a 69 73 20 6c 6f 61 64 65 64 20 64 79  ode.is loaded dy
0210: 6e 61 6d 69 63 61 6c 6c 79 2c 20 61 74 20 72 75  namically, at ru
0220: 6e 74 69 6d 65 2c 20 61 20 3c 62 3e 70 72 6f 70  ntime, a <b>prop
0230: 65 72 20 66 6f 72 6d 61 6c 20 76 65 72 69 66 69  er formal verifi
0240: 63 61 74 69 6f 6e 20 74 61 73 6b 20 67 65 74 73  cation task gets
0250: 0a 70 72 6f 68 69 62 69 74 69 76 65 6c 79 20 6c  .prohibitively l
0260: 61 72 67 65 20 70 72 65 74 74 79 20 71 75 69 63  arge pretty quic
0270: 6b 6c 79 3c 2f 62 3e 2e 20 45 76 65 6e 2c 20 69  kly</b>. Even, i
0280: 66 20 66 6f 72 6d 61 6c 20 76 65 72 69 66 69 63  f formal verific
0290: 61 74 69 6f 6e 20 77 65 72 65 0a 70 6f 73 73 69  ation were.possi
02a0: 62 6c 65 2c 20 74 68 65 20 3c 62 3e 62 65 68 61  ble, the <b>beha
02b0: 76 69 6f 72 20 6f 66 20 73 6f 66 74 77 61 72 65  vior of software
02c0: 20 70 61 63 6b 61 67 65 73 20 63 61 6e 20 64 65   packages can de
02d0: 70 65 6e 64 20 6f 6e 20 68 61 72 64 77 61 72 65  pend on hardware
02e0: 3c 2f 62 3e 2c 0a 77 68 69 63 68 20 76 61 72 69  </b>,.which vari
02f0: 65 73 20 62 65 74 77 65 65 6e 20 64 69 66 66 65  es between diffe
0300: 72 65 6e 74 20 75 73 65 72 73 2e 20 49 66 20 68  rent users. If h
0310: 61 72 64 77 61 72 65 20 69 73 20 67 75 61 72 61  ardware is guara
0320: 6e 74 65 65 64 20 74 6f 20 62 65 20 74 68 65 20  nteed to be the 
0330: 73 61 6d 65 0a 66 6f 72 20 61 6c 6c 20 75 73 65  same.for all use
0340: 72 73 2c 20 66 6f 72 20 65 78 61 6d 70 6c 65 2c  rs, for example,
0350: 20 69 66 20 61 6c 6c 20 75 73 65 72 73 20 75 73   if all users us
0360: 65 20 61 20 73 70 65 63 69 66 69 63 20 76 65 72  e a specific ver
0370: 73 69 6f 6e 20 6f 66 20 74 68 65 0a 52 61 73 70  sion of the.Rasp
0380: 62 65 72 72 79 20 50 69 2c 20 74 68 65 6e 20 74  berry Pi, then t
0390: 68 65 20 66 61 63 74 20 74 68 61 74 20 3c 62 3e  he fact that <b>
03a0: 63 6f 6d 70 69 6c 65 2d 74 69 6d 65 20 70 61 72  compile-time par
03b0: 61 6d 65 74 65 72 73 20 64 65 70 65 6e 64 20 6f  ameters depend o
03c0: 6e 20 74 68 65 0a 70 72 65 76 69 6f 75 73 6c 79  n the.previously
03d0: 20 69 6e 73 74 61 6c 6c 65 64 20 70 61 63 6b 61   installed packa
03e0: 67 65 73 20 63 61 6e 20 62 65 20 63 6f 75 6e 74  ges can be count
03f0: 65 72 65 64 20 62 79 20 69 6e 73 74 61 6c 6c 69  ered by installi
0400: 6e 67 20 61 6c 6c 20 70 61 63 6b 61 67 65 73 20  ng all packages 
0410: 6f 66 0a 74 68 65 20 70 61 63 6b 61 67 65 20 63  of.the package c
0420: 6f 6c 6c 65 63 74 69 6f 6e 20 69 6e 20 74 68 65  ollection in the
0430: 20 65 78 61 63 74 20 6f 72 64 65 72 20 74 68 61   exact order tha
0440: 74 20 74 68 65 79 20 77 65 72 65 20 63 6f 6d 70  t they were comp
0450: 69 6c 65 64 20 61 6e 64 20 74 65 73 74 65 64 20  iled and tested 
0460: 61 74 0a 74 65 73 74 20 73 65 72 76 65 72 3c 2f  at.test server</
0470: 62 3e 2c 20 62 75 74 20 65 76 65 6e 20 74 68 65  b>, but even the
0480: 6e 20 74 68 65 20 74 65 73 74 20 73 65 72 76 65  n the test serve
0490: 72 20 61 74 20 6c 65 61 73 74 20 70 61 72 74 6c  r at least partl
04a0: 79 20 72 65 6c 69 65 73 20 6f 6e 20 74 68 65 0a  y relies on the.
04b0: 74 65 73 74 73 20 74 68 61 74 20 68 61 76 65 20  tests that have 
04c0: 62 65 65 6e 20 73 75 70 70 6c 69 65 64 20 77 69  been supplied wi
04d0: 74 68 20 74 68 65 20 73 6f 66 74 77 61 72 65 20  th the software 
04e0: 70 61 63 6b 61 67 65 2c 20 62 79 20 74 68 65 20  package, by the 
04f0: 73 6f 66 74 77 61 72 65 0a 70 61 63 6b 61 67 65  software.package
0500: 20 63 72 65 61 74 6f 72 2c 20 77 68 69 63 68 20   creator, which 
0510: 6d 61 79 20 62 65 20 61 20 64 69 66 66 65 72 65  may be a differe
0520: 6e 74 20 70 65 72 73 6f 6e 20 74 68 61 6e 20 74  nt person than t
0530: 68 65 20 61 75 74 68 6f 72 20 6f 66 20 74 68 65  he author of the
0540: 0a 70 61 63 6b 61 67 65 64 20 73 6f 66 74 77 61  .packaged softwa
0550: 72 65 2e 20 49 74 20 69 73 20 70 6f 73 73 69 62  re. It is possib
0560: 6c 65 20 66 6f 72 20 74 68 65 20 73 6f 66 74 77  le for the softw
0570: 61 72 65 20 70 61 63 6b 61 67 65 72 20 74 6f 20  are packager to 
0580: 61 63 63 6f 6d 70 61 6e 79 20 74 68 65 0a 75 70  accompany the.up
0590: 73 74 72 65 61 6d 20 64 65 6c 69 76 65 72 61 62  stream deliverab
05a0: 6c 65 73 20 77 69 74 68 20 69 74 73 20 6f 77 6e  les with its own
05b0: 2c 20 61 64 64 69 74 69 6f 6e 61 6c 2c 20 74 65  , additional, te
05c0: 73 74 73 2e 3c 2f 70 3e 0a 0a 3c 70 3e 3c 62 72  sts.</p>..<p><br
05d0: 3e 0a 3c 2f 70 3e 0a 0a 3c 68 31 3e 48 61 72 64  >.</p>..<h1>Hard
05e0: 77 61 72 65 20 52 65 6c 61 74 65 64 20 4f 62 73  ware Related Obs
05f0: 65 72 76 61 74 69 6f 6e 73 3c 2f 68 31 3e 0a 0a  ervations</h1>..
0600: 3c 70 3e 3c 2f 70 3e 0a 3c 75 6c 3e 0a 3c 6c 69  <p></p>.<ul>.<li
0610: 3e 3c 62 72 3e 0a 3c 2f 6c 69 3e 0a 3c 2f 75 6c  ><br>.</li>.</ul
0620: 3e 0a 0a 3c 70 3e 3c 2f 70 3e 0a 0a 3c 70 3e 3c  >..<p></p>..<p><
0630: 62 72 3e 0a 3c 2f 70 3e 0a 0a 3c 68 31 3e 53 6f  br>.</p>..<h1>So
0640: 63 69 61 6c 20 41 73 70 65 63 74 73 20 52 65 6c  cial Aspects Rel
0650: 61 74 65 64 20 4f 62 73 65 72 76 61 74 69 6f 6e  ated Observation
0660: 73 3c 2f 68 31 3e 0a 0a 3c 70 3e 3c 62 72 3e 0a  s</h1>..<p><br>.
0670: 3c 2f 70 3e 0a 0a 3c 70 3e 3c 62 72 3e 0a 3c 2f  </p>..<p><br>.</
0680: 70 3e 0a 0a 3c 70 3e 3c 62 72 3e 0a 3c 2f 70 3e  p>..<p><br>.</p>
0690: 0a 0a 3c 70 3e 3c 62 72 3e 0a 3c 2f 70 3e 0a 0a  ..<p><br>.</p>..
06a0: 5a 20 34 37 39 64 65 30 37 66 38 63 37 38 30 31  Z 479de07f8c7801
06b0: 62 38 65 61 65 34 63 32 63 64 39 65 66 31 38 36  b8eae4c2cd9ef186
06c0: 61 61 0a                                         aa.