Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > alt.os.linux > #51513

[again] software complexity

From Ivan Shmakov <ivan@siamics.net>
Newsgroups alt.os.linux, comp.os.linux.misc
Subject [again] software complexity
Date 2018-11-04 13:05 +0000
Organization Aioe.org NNTP Server
Message-ID <878t290z8e.fsf_-_@violet.siamics.net> (permalink)
References (2 earlier) <g42ducFtkqdU1@mid.individual.net> <0cydnVbltbuDd0DGnZ2dnUU7-T-dnZ2d@giganews.com> <g47pbrF4jk7U1@mid.individual.net> <prmkgu$r9p$2@dont-email.me> <prmpno$lli$2@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

>>>>> Dan Espen <dan1espen@gmail.com> writes:
>>>>> Paul <nospam@needed.invalid> writes:

[...]

 >> I found a neat resource today.

 >> "systemd" https://scan.coverity.com/projects/350

 >> 484,654 lines of code.

 > I saw this a while back, so I went to git and downloaded systemd.
 > It was tiny.

	The size of the main function, or even the entire compilation
	unit it resides in, is a poor estimate of the program complexity.
	As it makes possible to "reduce complexity" of any program by
	moving its code into a library and just having "main" comprise a
	single "do_everything ()" call to said library.

	Resident set size (RSS) is a way better estimate, and, as was
	shown in previous discussions, Systemd PID 1 RSS is about an
	order of magnitude larger than that of SysVinit PID 1.

	Lastly, Systemd is more complex simply by the virtue of doing
	more than SysVinit does.  Whether the user does or does not need
	that "more" (and hence desires to deal with the "costs" it incurs)
	is up for the user to decide.

 > These counts look bogus to me, I think they are including all the
 > services that have been adjusted to work better with systemd.

	"Systemd" may refer to different things in different contexts.
	Without specific clarification, I see no reason to exclude, say,
	the "systemd-journal-remote" component from "Systemd."

-- 
FSF associate member #7257  np. Chipped'n'Buried -- Crimson King

Back to alt.os.linux | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Anyone know what this nginx error is about? Nomen Nescio <noreply@mixnym.net> - 2018-11-01 08:48 -0500
  Re: Anyone know what this nginx error is about? Bit Twister <BitTwister@mouse-potato.com> - 2018-11-01 09:13 -0500
  Re: Anyone know what this nginx error is about? Nomen Nescio <noreply@mixnym.net> - 2018-11-01 20:21 -0500
    Re: Anyone know what this nginx error is about? Roger Blake <rogblake@iname.invalid> - 2018-11-02 02:14 +0000
      Re: Anyone know what this nginx error is about? Nomen Nescio <nobody@dizum.com> - 2018-11-08 09:49 +0100
    Re: Anyone know what this nginx error is about? "J.O. Aho" <user@example.net> - 2018-11-02 08:50 +0100
      Re: Anyone know what this nginx error is about? James Moe <jimoeDESPAM@sohnen-moe.com> - 2018-11-03 11:34 -0700
        Re: Anyone know what this nginx error is about? "J.O. Aho" <user@example.net> - 2018-11-04 09:36 +0100
          Re: Anyone know what this nginx error is about? Paul <nospam@needed.invalid> - 2018-11-04 06:17 -0500
            Re: Anyone know what this nginx error is about? "J.O. Aho" <user@example.net> - 2018-11-04 13:05 +0100
            [again] software complexity Ivan Shmakov <ivan@siamics.net> - 2018-11-04 12:35 +0000
            Re: Anyone know what this nginx error is about? Dan Espen <dan1espen@gmail.com> - 2018-11-04 07:46 -0500
              [again] software complexity Ivan Shmakov <ivan@siamics.net> - 2018-11-04 13:05 +0000
              Re: Anyone know what this nginx error is about? "J.O. Aho" <user@example.net> - 2018-11-04 14:27 +0100
                Re: Anyone know what this nginx error is about? Dan Espen <dan1espen@gmail.com> - 2018-11-04 11:17 -0500
                Re: Anyone know what this nginx error is about? "J.O. Aho" <user@example.net> - 2018-11-04 22:03 +0100
                Re: Anyone know what this nginx error is about? Dan Espen <dan1espen@gmail.com> - 2018-11-04 19:03 -0500
              Re: Anyone know what this nginx error is about? The Natural Philosopher <tnp@invalid.invalid> - 2018-11-04 18:13 +0000
          Re: Anyone know what this nginx error is about? Dan Espen <dan1espen@gmail.com> - 2018-11-04 07:42 -0500
            Re: Anyone know what this nginx error is about? "J.O. Aho" <user@example.net> - 2018-11-04 14:51 +0100
              Re: Anyone know what this nginx error is about? Dan Espen <dan1espen@gmail.com> - 2018-11-04 11:04 -0500
              Re: Anyone know what this nginx error is about? The Natural Philosopher <tnp@invalid.invalid> - 2018-11-04 18:12 +0000
    Re: Anyone know what this nginx error is about? The Natural Philosopher <tnp@invalid.invalid> - 2018-11-02 10:44 +0000
      Re: Anyone know what this nginx error is about? Bobbie Sellers <bliss@mouse-potato.com> - 2018-11-02 06:22 -0700
      Re: Anyone know what this nginx error is about? Nomen Nescio <noreply@mixnym.net> - 2018-11-02 09:06 -0500
        Re: Anyone know what this nginx error is about? The Natural Philosopher <tnp@invalid.invalid> - 2018-11-02 19:41 +0000
          Re: Anyone know what this nginx error is about? Nomen Nescio <noreply@mixnym.net> - 2018-11-02 15:36 -0500
            Re: Anyone know what this nginx error is about? The Natural Philosopher <tnp@invalid.invalid> - 2018-11-02 21:17 +0000
              Re: Anyone know what this nginx error is about? Nomen Nescio <noreply@mixnym.net> - 2018-11-02 20:36 -0500
                Re: Anyone know what this nginx error is about? Anonymous <anonymous@foto.nl1.torservers.net> - 2018-11-02 21:46 -0400
                Re: Anyone know what this nginx error is about? The Natural Philosopher <tnp@invalid.invalid> - 2018-11-03 09:05 +0000
      Re: Anyone know what this nginx error is about? Andreas Kohlbach <ank@spamfence.net> - 2018-11-02 16:27 -0400
    Re: Anyone know what this nginx error is about? Tauno Voipio <tauno.voipio@notused.fi.invalid> - 2018-11-02 13:05 +0200
      Re: Anyone know what this nginx error is about? Nomen Nescio <noreply@mixnym.net> - 2018-11-02 08:58 -0500
    Re: Anyone know what this nginx error is about? William Unruh <unruh@invalid.ca> - 2018-11-02 12:59 +0000
      Re: Anyone know what this nginx error is about? Dan Espen <dan1espen@gmail.com> - 2018-11-02 09:21 -0400
      Re: Anyone know what this nginx error is about? Nomen Nescio <noreply@mixnym.net> - 2018-11-02 09:01 -0500
        Re: Anyone know what this nginx error is about? Tauno Voipio <tauno.voipio@notused.fi.invalid> - 2018-11-02 21:35 +0200
      Re: Anyone know what this nginx error is about? Andreas Kohlbach <ank@spamfence.net> - 2018-11-02 16:35 -0400

csiph-web