1 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN"
2 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
5 <title>Petter Reinholdtsen: Entries Tagged english
</title>
6 <link rel=
"stylesheet" type=
"text/css" media=
"screen" href=
"../../style.css">
7 <link rel=
"alternate" title=
"RSS Feed" href=
"english.rss" type=
"application/rss+xml">
13 <a href=
"../../">Petter Reinholdtsen
</a>
19 <p>Entries tagged "english".
</p>
26 <a href=
"../../The_sorry_state_of_multimedia_browser_plugins_in_Debian.html">The sorry state of multimedia browser plugins in Debian
</a>
34 <p>Recently I have spent some time evaluating the multimedia browser
35 plugins available in Debian Lenny, to see which one we should use by
36 default in Debian Edu. We need an embedded video playing plugin with
37 control buttons to pause or stop the video, and capable of streaming
38 all the multimedia content available on the web. The test results and
39 notes are available on
40 <a href=
"http://wiki.debian.org/DebianEdu/BrowserMultimedia">the
41 Debian wiki
</a>. I was surprised how few of the plugins are able to
42 fill this need. My personal video player favorite, VLC, has a really
43 bad plugin which fail on a lot of the test pages. A lot of the MIME
44 types I would expect to work with any free software player (like
45 video/ogg), just do not work. And simple formats like the
46 audio/x-mplegurl format (m3u playlists), just isn't supported by the
47 totem and vlc plugins. I hope the situation will improve soon. No
48 wonder sites use the proprietary Adobe flash to play video.
</p>
50 <p>For Lenny, we seem to end up with the mplayer plugin. It seem to
51 be the only one fitting our needs. :/
</p>
58 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/debian edu">debian edu
</a>,
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/multimedia">multimedia
</a>,
<a href=
"../../tags/web">web
</a>.
62 <div class=
"padding"></div>
66 <a href=
"../../Devcamp_brought_us_closer_to_the_Lenny_based_Debian_Edu_release.html">Devcamp brought us closer to the Lenny based Debian Edu release
</a>
74 <p>This weekend we had a small developer gathering for Debian Edu in
75 Oslo. Most of Saturday was used for the general assemly for the
76 member organization, but the rest of the weekend I used to tune the
77 LTSP installation. LTSP now work out of the box on the
10-network.
78 Acer Aspire One proved to be a very nice thin client, with both
79 screen, mouse and keybard in a small box. Was working on getting the
80 diskless workstation setup configured out of the box, but did not
81 finish it before the weekend was up.
</p>
83 <p>Did not find time to look at the
4 VGA cards in one box we got from
84 the Brazilian group, so that will have to wait for the next
85 development gathering. Would love to have the Debian Edu installer
86 automatically detect and configure a multiseat setup when it find one
94 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/debian edu">debian edu
</a>,
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/ltsp">ltsp
</a>.
98 <div class=
"padding"></div>
102 <a href=
"../../Software_video_mixer_on_a_USB_stick.html">Software video mixer on a USB stick
</a>
110 <p>The
<a href=
"http://www.nuug.no/">Norwegian Unix User Group
</a> is
111 recording our montly presentation on video, and recently we have
112 worked on improving the quality of the recordings by mixing the slides
113 directly with the video stream. For this, we use the
114 <a href=
"http://dvswitch.alioth.debian.org/">dvswitch
</a> package from
115 the Debian video team. As this require quite one computer per video
116 source, and NUUG do not have enough laptops available, we need to
117 borrow laptops. And to avoid having to install extra software on
118 these borrwed laptops, I have wrapped up all the programs needed on a
119 bootable USB stick. The software required is dvswitch with assosiated
120 source, sink and mixer applications and
121 <a href=
"http://www.kinodv.org/">dvgrab
</a>. To allow this setup to
122 work without any configuration, I've patched dvswitch to use
123 <a href=
"http://www.avahi.org/">avahi
</a> to connect the various parts
124 together. And to allow us to use laptops without firewire plugs, I
125 upgraded dvgrab to the one from Debian/unstable to get one that work
126 with USB sources. We have not yet tested this setup in a production
127 setup, but I hope it will work properly, and allow us to set up a
128 video mixer in a very short time frame. We will need it for
129 <a href=
"http://www.goopen.no/">Go Open
2009</a>.
</p>
131 <p><a href=
"http://www.nuug.no/pub/video/bin/usbstick-dvswitch.img.gz">The
132 USB image
</a> is for a
1 GB memory stick, but can be used on any
133 larger stick as well.
</p>
140 Tags:
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>,
<a href=
"../../tags/video">video
</a>.
144 <div class=
"padding"></div>
148 <a href=
"../../When_web_browser_developers_make_a_video_player___.html">When web browser developers make a video player...
</a>
156 <p>As part of the work we do in
<a href=
"http://www.nuug.no">NUUG
</a>
157 to publish video recordings of our monthly presentations, we provide a
158 page with embedded video for easy access to the recording. Putting a
159 good set of HTML tags together to get working embedded video in all
160 browsers and across all operating systems is not easy. I hope this
161 will become easier when the
<video
> tag is implemented in all
162 browsers, but I am not sure. We provide the recordings in several
163 formats, MPEG1, Ogg Theora, H
.264 and Quicktime, and want the
164 browser/media plugin to pick one it support and use it to play the
165 recording, using whatever embed mechanism the browser understand.
166 There is at least four different tags to use for this, the new HTML5
167 <video
> tag, the
<object
> tag, the
<embed
> tag and
168 the
<applet
> tag. All of these take a lot of options, and
169 finding the best options is a major challenge.
</p>
171 <p>I just tested the experimental Opera browser available from
<a
172 href=
"http://labs.opera.com">labs.opera.com
</a>, to see how it handled
173 a
<video
> tag with a few video sources and no extra attributes.
174 I was not very impressed. The browser start by fetching a picture
175 from the video stream. Not sure if it is the first frame, but it is
176 definitely very early in the recording. So far, so good. Next,
177 instead of streaming the
76 MiB video file, it start to download all
178 of it, but do not start to play the video. This mean I have to wait
179 for several minutes for the downloading to finish. When the download
180 is done, the playing of the video do not start! Waiting for the
181 download, but I do not get to see the video? Some testing later, I
182 discover that I have to add the
controls="true" attribute to be able
183 to get a play button to pres to start the video. Adding
184 autoplay="true" did not help. I sure hope this is a misfeature of the
185 test version of Opera, and that future implementations of the
186 <video
> tag will stream recordings by default, or at least start
187 playing when the download is done.
</p>
189 <p>The test page I used (since changed to add more attributes) is
190 <a href=
"http://www.nuug.no/aktiviteter/20090113-foredrag-om-foredrag/">available
191 from the nuug site
</a>. Will have to test it with the new Firefox
194 <p>In the test process, I discovered a missing feature. I was unable
195 to find a way to get the URL of the playing video out of Opera, so I
196 am not quite sure it picked the Ogg Theora version of the video. I
197 sure hope it was using the announced Ogg Theora support. :)
</p>
204 Tags:
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/multimedia">multimedia
</a>,
<a href=
"../../tags/nuug">nuug
</a>,
<a href=
"../../tags/video">video
</a>,
<a href=
"../../tags/web">web
</a>.
208 <div class=
"padding"></div>
212 <a href=
"../../Using_bar_codes_at_a_computing_center.html">Using bar codes at a computing center
</a>
220 <p>At work with the University of Oslo, we have several hundred computers
221 in our computing center. This give us a challenge in tracking the
222 location and cabling of the computers, when they are added, moved and
223 removed. Some times the location register is not updated when a
224 computer is inserted or moved and we then have to search the room for
225 the "missing" computer.
</p>
227 <p>In the last issue of Linux Journal, I came across a project
228 <a href=
"http://www.libdmtx.org/">libdmtx
</a> to write and read bar
229 code blocks as defined in the
230 <a href=
"http://en.wikipedia.org/wiki/Data_Matrix">The Data Matrix
231 Standard
</a>. This is bar codes that can be read with a normal
232 digital camera, for example that on a cell phone, and several such bar
233 codes can be read by libdmtx from one picture. The bar code standard
234 allow up to
2 KiB to be written in the tag. There is another project
235 with
<a href=
"http://www.terryburton.co.uk/barcodewriter/">a bar code
236 writer written in postscript
</a> capable of creating such bar codes,
237 but this was the first time I found a tool to read these bar
240 <p>It occurred to me that this could be used to tag and track the
241 machines in our computing center. If both racks and computers are
242 tagged this way, we can use a picture of the rack and all its
243 computers to detect the rack location of any computer in that rack.
244 If we do this regularly for the entire room, we will find all
245 locations, and can detect movements and removals.
</p>
247 <p>I decided to test if this would work in practice, and picked a
248 random rack and tagged all the machines with their names. Next, I
249 took pictures with my digital camera, and gave the dmtxread program
250 these JPEG pictures to see how many tags it could read. This worked
251 fairly well. If the pictures was well focused and not taken from the
252 side, all tags in the image could be read. Because of limited space
253 between the racks, I was unable to get a good picture of the entire
254 rack, but could without problem read all tags from a picture covering
255 about half the rack. I had to limit the search time used by dmtxread
256 to
60000 ms to make sure it terminated in a reasonable time frame.
</p>
258 <p>My conclusion is that this could work, and we should probably look
259 at adjusting our computer tagging procedures to use bar codes for
260 easier automatic tracking of computers.
</p>
267 Tags:
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>.
271 <div class=
"padding"></div>
275 <a href=
"../../Checking_server_hardware_support_status_for_Dell__HP_and_IBM_servers.html">Checking server hardware support status for Dell, HP and IBM servers
</a>
283 <p>At work, we have a few hundred Linux servers, and with that amount
284 of hardware it is important to keep track of when the hardware support
285 contract expire for each server. We have a machine (and service)
286 register, which until recently did not contain much useful besides the
287 machine room location and contact information for the system owner for
288 each machine. To make it easier for us to track support contract
289 status, I've recently spent time on extending the machine register to
290 include information about when the support contract expire, and to tag
291 machines with expired contracts to make it easy to get a list of such
292 machines. I extended a perl script already being used to import
293 information about machines into the register, to also do some screen
294 scraping off the sites of Dell, HP and IBM (our majority of machines
295 are from these vendors), and automatically check the support status
296 for the relevant machines. This make the support status information
297 easily available and I hope it will make it easier for the computer
298 owner to know when to get new hardware or renew the support contract.
299 The result of this work documented that
27% of the machines in the
300 registry is without a support contract, and made it very easy to find
301 them.
27% might seem like a lot, but I see it more as the case of us
302 using machines a bit longer than the
3 years a normal support contract
303 last, to have test machines and a platform for less important
304 services. After all, the machines without a contract are working fine
305 at the moment and the lack of contract is only a problem if any of
306 them break down. When that happen, we can either fix it using spare
307 parts from other machines or move the service to another old
310 <p>I believe the code for screen scraping the Dell site was originally
311 written by Trond Hasle Amundsen, and later adjusted by me and Morten
312 Werner Forsbring. The HP scraping was written by me after reading a
313 nice article in ;login: about how to use WWW::Mechanize, and the IBM
314 scraping was written by me based on the Dell code. I know the HTML
315 parsing could be done using nice libraries, but did not want to
316 introduce more dependencies. This is the current incarnation:
</p>
324 sub get_support_info {
325 my ($machine, $model, $serial, $productnumber) = @_;
328 if ( $model =~ m/^Dell / ) {
329 # fetch website from Dell support
330 my $url = "http://support.euro.dell.com/support/topics/topic.aspx/emea/shared/support/my_systems_info/no/details?c=no
&cs=nodhs1
&l=no
&s=dhs
&ServiceTag=$serial";
331 my $webpage = get($url);
332 return undef unless ($webpage);
335 my @lines = split(/\n/, $webpage);
336 foreach my $line (@lines) {
337 next unless ($line =~ m/Beskrivelse/);
338 $line =~ s/
<[^
>]+
?>/;/gm;
339 $line =~ s/^.+?;(Beskrivelse;)/$
1/;
341 my @f = split(/\;/, $line);
344 while ($f[
3] eq "DELL") {
345 my ($type, $startstr, $endstr, $days) = @f[
0,
5,
7,
10];
347 my $start = POSIX::strftime("%Y-%m-%d",
348 localtime(str2time($startstr)));
349 my $end = POSIX::strftime("%Y-%m-%d",
350 localtime(str2time($endstr)));
351 $str .= "$type $start -
> $end ";
353 $lastend = $end if ($end gt $lastend);
355 my $today = POSIX::strftime("%Y-%m-%d", localtime(time));
356 tag_machine_unsupported($machine)
357 if ($lastend lt $today);
359 } elsif ( $model =~ m/^HP / ) {
360 my $mech = WWW::Mechanize-
>new();
362 'http://www1.itrc.hp.com/service/ewarranty/warrantyInput.do';
365 'BODServiceID' =
> 'NA',
366 'RegisteredPurchaseDate' =
> '',
368 'productNumber' =
> $productnumber,
369 'serialNumber1' =
> $serial,
371 $mech-
>submit_form( form_number =
> 2,
373 # Next step is screen scraping
374 my $content = $mech-
>content();
376 $content =~ s/
<[^
>]+
?>/;/gm;
377 $content =~ s/\s+/ /gm;
378 $content =~ s/;\s*;/;;/gm;
379 $content =~ s/;[\s;]+/;/gm;
381 my $today = POSIX::strftime("%Y-%m-%d", localtime(time));
383 while ($content =~ m/;Warranty Type;/) {
384 my ($type, $status, $startstr, $stopstr) = $content =~
385 m/;Warranty Type;([^;]+);.+?;Status;(\w+);Start Date;([^;]+);End Date;([^;]+);/;
386 $content =~ s/^.+?;Warranty Type;//;
387 my $start = POSIX::strftime("%Y-%m-%d",
388 localtime(str2time($startstr)));
389 my $end = POSIX::strftime("%Y-%m-%d",
390 localtime(str2time($stopstr)));
392 $str .= "$type ($status) $start -
> $end ";
394 tag_machine_unsupported($machine)
397 } elsif ( $model =~ m/^IBM / ) {
398 # This code ignore extended support contracts.
399 my ($producttype) = $model =~ m/.*-\[(.{
4}).+\]-/;
400 if ($producttype
&& $serial) {
402 get("http://www-
947.ibm.com/systems/support/supportsite.wss/warranty?action=warranty
&brandind=
5000008&Submit=Submit
&type=$producttype
&serial=$serial");
404 $content =~ s/
<[^
>]+
?>/;/gm;
405 $content =~ s/\s+/ /gm;
406 $content =~ s/;\s*;/;;/gm;
407 $content =~ s/;[\s;]+/;/gm;
409 $content =~ s/^.+?;Warranty status;//;
410 my ($status, $end) = $content =~ m/;Warranty status;([^;]+)\s*;Expiration date;(\S+) ;/;
412 $str .= "($status) -
> $end ";
414 my $today = POSIX::strftime("%Y-%m-%d", localtime(time));
415 tag_machine_unsupported($machine)
424 <p>Here are some examples on how to use the function, using fake
425 serial numbers. The information passed in as arguments are fetched
429 print get_support_info("hp.host", "HP ProLiant BL460c G1", "
1234567890"
431 print get_support_info("dell.host", "Dell Inc. PowerEdge
2950", "
1234567");
432 print get_support_info("ibm.host", "IBM eserver xSeries
345 -[
867061X]-",
436 <p>I would recommend this approach for tracking support contracts for
437 everyone with more than a few computers to administer. :)
</p>
439 <p>Update
2009-
03-
06: The IBM page do not include extended support
440 contracts, so it is useless in that case. The original Dell code do
441 not handle extended support contracts either, but has been updated to
449 Tags:
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>.
453 <div class=
"padding"></div>
457 <a href=
"../../Time_for_new__LDAP_schemas_replacing_RFC_2307_.html">Time for new LDAP schemas replacing RFC
2307?
</a>
465 <p>The state of standardized LDAP schemas on Linux is far from
466 optimal. There is RFC
2307 documenting one way to store NIS maps in
467 LDAP, and a modified version of this normally called RFC
2307bis, with
468 some modifications to be compatible with Active Directory. The RFC
469 specification handle the content of a lot of system databases, but do
470 not handle DNS zones and DHCP configuration.
</p>
472 <p>In
<a href=
"http://www.skolelinux.org/">Debian Edu/Skolelinux
</a>,
473 we would like to store information about users, SMB clients/hosts,
474 filegroups, netgroups (users and hosts), DHCP and DNS configuration,
475 and LTSP configuration in LDAP. These objects have a lot in common,
476 but with the current LDAP schemas it is not possible to have one
477 object per entity. For example, one need to have at least three LDAP
478 objects for a given computer, one with the SMB related stuff, one with
479 DNS information and another with DHCP information. The schemas
480 provided for DNS and DHCP are impossible to combine into one LDAP
481 object. In addition, it is impossible to implement quick queries for
482 netgroup membership, because of the way NIS triples are implemented.
483 It just do not scale. I believe it is time for a few RFC
484 specifications to cleam up this mess.
</p>
486 <p>I would like to have one LDAP object representing each computer in
487 the network, and this object can then keep the SMB (ie host key), DHCP
488 (mac address/name) and DNS (name/IP address) settings in one place.
489 It need to be efficently stored to make sure it scale well.
</p>
491 <p>I would also like to have a quick way to map from a user or
492 computer and to the net group this user or computer is a member.
</p>
494 <p>Active Directory have done a better job than unix heads like myself
495 in this regard, and the unix side need to catch up. Time to start a
496 new IETF work group?
</p>
503 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/debian edu">debian edu
</a>,
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>.
507 <div class=
"padding"></div>
511 <a href=
"../../Returning_from_Skolelinux_developer_gathering.html">Returning from Skolelinux developer gathering
</a>
519 <p>I'm sitting on the train going home from this weekends Debian
520 Edu/Skolelinux development gathering. I got a bit done tuning the
521 desktop, and looked into the dynamic service location protocol
522 implementation avahi. It look like it could be useful for us. Almost
523 30 people participated, and I believe it was a great environment to
524 get to know the Skolelinux system. Walter Bender, involved in the
525 development of the Sugar educational platform, presented his stuff and
526 also helped me improve my OLPC installation. He also showed me that
527 his Turtle Art application can be used in standalone mode, and we
528 agreed that I would help getting it packaged for Debian. As a
529 standalone application it would be great for Debian Edu. We also
530 tried to get the video conferencing working with two OLPCs, but that
531 proved to be too hard for us. The application seem to need more work
532 before it is ready for me. I look forward to getting home and relax
540 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/debian edu">debian edu
</a>,
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>.
544 <div class=
"padding"></div>
548 <a href=
"../../Standardize_on_protocols_and_formats__not_vendors_and_applications.html">Standardize on protocols and formats, not vendors and applications
</a>
556 <p>Where I work at the University of Oslo, one decision stand out as a
557 very good one to form a long lived computer infrastructure. It is the
558 simple one, lost by many in todays computer industry: Standardize on
559 open network protocols and open exchange/storage formats, not applications.
560 Applications come and go, while protocols and files tend to stay, and
561 thus one want to make it easy to change application and vendor, while
562 avoiding conversion costs and locking users to a specific platform or
565 <p>This approach make it possible to replace the client applications
566 independently of the server applications. One can even allow users to
567 use several different applications as long as they handle the selected
568 protocol and format. In the normal case, only one client application
569 is recommended and users only get help if they choose to use this
570 application, but those that want to deviate from the easy path are not
571 blocked from doing so.
</p>
573 <p>It also allow us to replace the server side without forcing the
574 users to replace their applications, and thus allow us to select the
575 best server implementation at any moment, when scale and resouce
576 requirements change.
</p>
578 <p>I strongly recommend standardizing - on open network protocols and
579 open formats, but I would never recommend standardizing on a single
580 application that do not use open network protocol or open formats.
</p>
587 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>,
<a href=
"../../tags/standard">standard
</a>.
591 <div class=
"padding"></div>
595 <a href=
"../../Recording_video_from_cron_using_VLC.html">Recording video from cron using VLC
</a>
603 <p>One think I have wanted to figure out for a along time is how to
604 run vlc from cron to do recording of video streams on the net. The
605 task is trivial with mplayer, but I do not really trust the security
606 of mplayer (it crashes too often on strange input), and thus prefer
607 vlc. I finally found a way to do it today. I spent an hour or so
608 searching the web for recipes and reading the documentation. The
609 hardest part was to get rid of the GUI window, but after finding the
610 dummy interface, the command line finally presented itself:
</p>
612 <blockquote><pre>URL=http://www.ping.uio.no/video/rms-oslo_2009.ogg
614 DISPLAY= vlc -q $URL \
615 --sout="#duplicate{dst=std{access=file,url='$SAVEFILE'},dst=nodisplay}" \
616 --intf=dummy
</pre></blockquote>
618 <p>The command stream the URL and store it in the SAVEFILE by
619 duplicating the output stream to "nodisplay" and the file, using the
620 dummy interface. The dummy interface and the nodisplay output make
621 sure no X interface is needed.
</p>
623 <p>The cron job then need to start this job with the appropriate URL
624 and file name to save, sleep for the duration wanted, and then kill
625 the vlc process with SIGTERM. Here is a complete script
626 <tt>vlc-record
</tt> to use from
<tt>at
</tt> or
<tt>cron
</tt>:
</p>
628 <blockquote><pre>#!/bin/sh
633 DISPLAY= vlc -q "$URL" \
634 --sout="#duplicate{dst=std{access=file,url='$SAVEFILE'},dst=nodisplay}" \
635 --intf=dummy < /dev/null
> /dev/null
2>&
1 &
639 wait $pid
</pre></blockquote>
646 Tags:
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>,
<a href=
"../../tags/video">video
</a>.
650 <div class=
"padding"></div>
654 <a href=
"../../No_patch_is_not_better_than_a_useless_patch.html">No patch is not better than a useless patch
</a>
663 <a href=
"http://blog.technologeek.org/2009/04/12/214">claim that no
664 patch is better than a useless patch
</a>. I completely disagree, as a
665 patch allow one to discuss a concrete and proposed solution, and also
666 prove that the issue at hand is important enough for someone to spent
667 time on fixing it. No patch do not provide any of these positive
675 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>.
679 <div class=
"padding"></div>
683 <a href=
"../../Two_projects_that_have_improved_the_quality_of_free_software_a_lot.html">Two projects that have improved the quality of free software a lot
</a>
691 <p>There are two software projects that have had huge influence on the
692 quality of free software, and I wanted to mention both in case someone
693 do not yet know them.
</p>
695 <p>The first one is
<a href=
"http://valgrind.org/">valgrind
</a>, a
696 tool to detect and expose errors in the memory handling of programs.
697 It is easy to use, all one need to do is to run 'valgrind program',
698 and it will report any problems on stdout. It is even better if the
699 program include debug information. With debug information, it is able
700 to report the source file name and line number where the problem
701 occurs. It can report things like 'reading past memory block in file
702 X line N, the memory block was allocated in file Y, line M', and
703 'using uninitialised value in control logic'. This tool has made it
704 trivial to investigate reproducible crash bugs in programs, and have
705 reduced the number of this kind of bugs in free software a lot.
708 <a href=
"http://en.wikipedia.org/wiki/Coverity">Coverity
</a> which is
709 a source code checker. It is able to process the source of a program
710 and find problems in the logic without running the program. It
711 started out as the Stanford Checker and became well known when it was
712 used to find bugs in the Linux kernel. It is now a commercial tool
713 and the company behind it is running
714 <a href=
"http://www.scan.coverity.com/">a community service
</a> for the
715 free software community, where a lot of free software projects get
716 their source checked for free. Several thousand defects have been
717 found and fixed so far. It can find errors like 'lock L taken in file
718 X line N is never released if exiting in line M', or 'the code in file
719 Y lines O to P can never be executed'. The projects included in the
720 community service project have managed to get rid of a lot of
721 reliability problems thanks to Coverity.
</p>
723 <p>I believe tools like this, that are able to automatically find
724 errors in the source, are vital to improve the quality of software and
725 make sure we can get rid of the crashing and failing software we are
726 surrounded by today.
</p>
733 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/english">english
</a>.
737 <div class=
"padding"></div>
741 <a href=
"../../Debian_boots_quicker_and_quicker.html">Debian boots quicker and quicker
</a>
749 <p>I spent Monday and tuesday this week in London with a lot of the
750 people involved in the boot system on Debian and Ubuntu, to see if we
751 could find more ways to speed up the boot system. This was an Ubuntu
753 <a href=
"https://wiki.ubuntu.com/FoundationsTeam/BootPerformance/DebianUbuntuSprint">developer
754 gathering
</a>. It was quite productive. We also discussed the future
755 of boot systems, and ways to handle the increasing number of boot
756 issues introduced by the Linux kernel becoming more and more
757 asynchronous and event base. The Ubuntu approach using udev and
758 upstart might be a good way forward. Time will show.
</p>
760 <p>Anyway, there are a few ways at the moment to speed up the boot
761 process in Debian. All of these should be applied to get a quick
766 <li>Use dash as /bin/sh.
</li>
768 <li>Disable the init.d/hwclock*.sh scripts and make sure the hardware
769 clock is in UTC.
</li>
771 <li>Install and activate the insserv package to enable
772 <a href=
"http://wiki.debian.org/LSBInitScripts/DependencyBasedBoot">dependency
773 based boot sequencing
</a>, and enable concurrent booting.
</li>
777 These points are based on the Google summer of code work done by
778 <a href=
"http://initscripts-ng.alioth.debian.org/soc2006-bootsystem/">Carlos
781 <p>Support for makefile-style concurrency during boot was uploaded to
782 unstable yesterday. When we tested it, we were able to cut
6 seconds
783 from the boot sequence. It depend on very correct dependency
784 declaration in all init.d scripts, so I expect us to find edge cases
785 where the dependences in some scripts are slightly wrong when we start
788 <p>On our IRC channel for this effort, #pkg-sysvinit, a new idea was
789 introduced by Raphael Geissert today, one that could affect the
790 startup speed as well. Instead of starting some scripts concurrently
791 from rcS.d/ and another set of scripts from rc2.d/, it would be
792 possible to run a of them in the same process. A quick way to test
793 this would be to enable insserv and run 'mv /etc/rc2.d/S* /etc/rcS.d/;
794 insserv'. Will need to test if that work. :)
</p>
801 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/english">english
</a>.
805 <div class=
"padding"></div>
809 <a href=
"../../Taking_over_sysvinit_development.html">Taking over sysvinit development
</a>
817 <p>After several years of frustration with the lack of activity from
818 the existing sysvinit upstream developer, I decided a few weeks ago to
819 take over the package and become the new upstream. The number of
820 patches to track for the Debian package was becoming a burden, and the
821 lack of synchronization between the distribution made it hard to keep
822 the package up to date.
</p>
824 <p>On the new sysvinit team is the SuSe maintainer Dr. Werner Fink,
825 and my Debian co-maintainer Kel Modderman. About
10 days ago, I made
826 a new upstream tarball with version number
2.87dsf (for Debian, SuSe
827 and Fedora), based on the patches currently in use in these
828 distributions. We Debian maintainers plan to move to this tarball as
829 the new upstream as soon as we find time to do the merge. Since the
830 new tarball was created, we agreed with Werner at SuSe to make a new
831 upstream project at
<a href=
"http://savannah.nongnu.org/">Savannah
</a>, and continue
832 development there. The project is registered and currently waiting
833 for approval by the Savannah administrators, and as soon as it is
834 approved, we will import the old versions from svn and continue
835 working on the future release.
</p>
837 <p>It is a bit ironic that this is done now, when some of the involved
838 distributions are moving to upstart as a syvinit replacement.
</p>
845 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>.
849 <div class=
"padding"></div>
853 <a href=
"../../Debian_has_switched_to_dependency_based_boot_sequencing.html">Debian has switched to dependency based boot sequencing
</a>
861 <p>Since this evening, with the upload of sysvinit version
2.87dsf-
2,
862 and the upload of insserv version
1.12.0-
10 yesterday, Debian unstable
863 have been migrated to using dependency based boot sequencing. This
864 conclude work me and others have been doing for the last three days.
865 It feels great to see this finally part of the default Debian
866 installation. Now we just need to weed out the last few problems that
867 are bound to show up, to get everything ready for Squeeze.
</p>
869 <p>The next step is migrating /sbin/init from sysvinit to upstart, and
870 fixing the more fundamental problem of handing the event based
871 non-predictable kernel in the early boot.
</p>
878 Tags:
<a href=
"../../tags/debian">debian
</a>,
<a href=
"../../tags/english">english
</a>,
<a href=
"../../tags/nuug">nuug
</a>.
882 <div class=
"padding"></div>
884 <p style=
"text-align: right;"><a href=
"english.rss"><img src=
"../../xml.gif" alt=
"RSS Feed" width=
"36" height=
"14"></a></p>
897 <li><a href=
"../../archive/2009/01/">January (
8)
</a></li>
899 <li><a href=
"../../archive/2009/02/">February (
8)
</a></li>
901 <li><a href=
"../../archive/2009/03/">March (
12)
</a></li>
903 <li><a href=
"../../archive/2009/04/">April (
10)
</a></li>
905 <li><a href=
"../../archive/2009/05/">May (
9)
</a></li>
907 <li><a href=
"../../archive/2009/06/">June (
3)
</a></li>
909 <li><a href=
"../../archive/2009/07/">July (
4)
</a></li>
916 <li><a href=
"../../archive/2008/11/">November (
5)
</a></li>
918 <li><a href=
"../../archive/2008/12/">December (
7)
</a></li>
929 <li><a href=
"../../tags/3d-printer">3d-printer (
11)
</a></li>
931 <li><a href=
"../../tags/amiga">amiga (
1)
</a></li>
933 <li><a href=
"../../tags/aros">aros (
1)
</a></li>
935 <li><a href=
"../../tags/debian">debian (
14)
</a></li>
937 <li><a href=
"../../tags/debian edu">debian edu (
7)
</a></li>
939 <li><a href=
"../../tags/english">english (
15)
</a></li>
941 <li><a href=
"../../tags/fiksgatami">fiksgatami (
1)
</a></li>
943 <li><a href=
"../../tags/fildeling">fildeling (
3)
</a></li>
945 <li><a href=
"../../tags/lenker">lenker (
1)
</a></li>
947 <li><a href=
"../../tags/ltsp">ltsp (
1)
</a></li>
949 <li><a href=
"../../tags/multimedia">multimedia (
5)
</a></li>
951 <li><a href=
"../../tags/norsk">norsk (
51)
</a></li>
953 <li><a href=
"../../tags/nuug">nuug (
51)
</a></li>
955 <li><a href=
"../../tags/opphavsrett">opphavsrett (
5)
</a></li>
957 <li><a href=
"../../tags/personvern">personvern (
8)
</a></li>
959 <li><a href=
"../../tags/reprap">reprap (
10)
</a></li>
961 <li><a href=
"../../tags/rss">rss (
1)
</a></li>
963 <li><a href=
"../../tags/sikkerhet">sikkerhet (
2)
</a></li>
965 <li><a href=
"../../tags/standard">standard (
7)
</a></li>
967 <li><a href=
"../../tags/stavekontroll">stavekontroll (
1)
</a></li>
969 <li><a href=
"../../tags/video">video (
9)
</a></li>
971 <li><a href=
"../../tags/vitenskap">vitenskap (
1)
</a></li>
973 <li><a href=
"../../tags/web">web (
4)
</a></li>