754: Dependencies
Dependencies |
Title text: The prereqs for CPSC 357, the class on package management, are CPSC 432, CPSC 357, and glibc2.5 or later. |
Explanation
This explanation may be incomplete or incorrect: Clean up grammar and modest clarifications If you can address this issue, please edit the page! Thanks. |
A compiler is a program that converts code in a programming language into a executable. A section of code is said to be dependent on a second segment of code if the the results of the first segment are potentially impacted by the second segment. Dependency resolution is part of compiler design and is the study of determining and correcting dependencies which result in an unwanted, ambiguous, or impossible definition of the dependent section. Requiring that an action only occur if and only if the action has already occurred (like the prerequisite in this comic) is one type of potentially unwanted dependency.
The comic envisions a college computer science course (CPSC432) focusing on dependency resolution which has itself as a prerequisite. That is, you must complete this course before you can enroll in it, which is clearly impossible. The cyclic dependency here is the easiest one to spot: the cycle where a thing depends directly on itself.
Title text
Solving dependency management problems is also necessary in many areas of programming other than compiler design, such as package management. Collections of files are known as "packages". A software package might require that a particular operating package be installed first. That package might in turn require other packages be installed, and so on. Therefore a package installer must know the dependencies of a package and be able to figure out whether any required packages are missing before continuing with the installation.
The title text posits a course on package management which has itself as a prerequisite, as well as the compiler design course with the impossible prerequisite presented in the main comic and glibc2.5 or greater. The compiler design course has is 400 level and this course is 300 level. This implies that in order to take a third-year course, you must be in your fourth year or later. Glibc is a commonly-used package on Unix systems, and therefore should be taught in the course. Therefore, you must know the material in the course before signing up for the class.
Transcript
- A portion of a page from an imaginary course catalog.
- Page 3
- [A table with four columns labeled Department, Course, Description, and Prereqs. Under 'Department' it reads, "computer science". Under 'course' it reads, "CPSC 432". Under 'Description' it reads, "Intermediate compiler design, with a focus on dependency resolution." Under 'Prereqs' it reads, "CPSC 432".]
Discussion
Concurrent enrollment FTW 75.60.27.102 03:11, 29 March 2013 (UTC)
I'm a programmer so I'm ok with the explanation, but it seems too technical for non programmers. 108.162.212.196 02:22, 12 January 2014 (UTC)
In response to the programmer at 108.162.212.196: yes, it's probably too technical for non-programmers. But then again, so is the comic. It's a programming (or logic) joke. Unfortunately the level of knowledge required to 'get' some of Randall's humour can't always be reduced down to a simplistic lowest common denominator. 141.101.81.216 06:36, 24 February 2014 (UTC)
"Yes, Microsoft CRT 9.0 or later is acceptable. But you should probably think about getting MinGW, Cygwin, or just switch to Linux." (groan) 108.162.221.9 01:00, 17 April 2014 (UTC)
CPSC 432 lists itself as a prereq, not a coreq. A coreq can be satisfied by enrolling in the original course and the coreq course at the same time; however, prior completion of the course is required in the case of a prereq. So the dependency problem here cannot be solved by allowing a course to satisfy itself, and as a result, no one will be able to enroll in this course. The joke here is thus that the instructor of a course on dependency resolution created a dependency problem himself. --Troy0 (talk) 07:04, 17 August 2014 (UTC)
Added to the talk as it was removed from the main content:
- Alternately, the title text could be a meta joke where course prerequisites are confused with system requirements. System requirements tell the user what other hardware or software are requied in order for a piece of software to run properly, such as a minimum amount of RAM or a particular operating system. The inclusion of glibc2.5 in the prerequisites might mean that the student needs to have this package loaded rather than be familiar with it. --Smperron (talk)
- This does not fit with the context of the joke (which is about dependencies) also clearly all other items in the title text are dependency related, therefore this is very unlikely. However the current description may be incorrect and the glibc2.5 or later comment may just be the author intentionally confusing prerequisite and package management dependencies. 108.162.216.209 20:32, 5 December 2014 (UTC)
About the third/fourth year things: I don't know how it works at all U.S. schools, but at mine just because a class starts with a 3 or a 4 doesn't mean it HAS to be taken in that year. Because of the way the pre-reqs (for my major, at my school) work, I can take a 2000-level class, then a 3000-level, then a 4000 and some more 3000s... so a "fourth year" class can be taken before a "third year", just in general. 173.245.56.71 12:46, 1 July 2016 (UTC)
I was trying to read the next course, and here's what I saw: "Computer" | CPSC 433 | Advanced compiler design | DHTL 101
Trivia
A compiler is a computer program that translates a program written in one computer language -- C++, for example -- into an equivalent program written in another language, say x86 machine code, or JavaScript, or C. See also 303: Compiling.
Modern compilers typically not only translate one language into another, but in the process verify that the input program is a legal example of the programming language in question; a C++ to C compiler should not take an illegal C++ program and produce an illegal C program; rather, it should inform the user that the input was incorrect. One of the ways in which programs are determines to be incorrect is through an analysis of how the different parts of the program depend on each other.
For example, one portion of a program might be responsible for representing a person. Another portion of the program might be responsible for representing the fact "employees are a kind of person", and yet another might be responsible for "managers are a kind of employee". The compiler could reason that the employee code depends directly on the person code. It could also reason that the manager code depends directly on the employee code. It could then conclude logically that the manager code depends indirectly on the person code.
Many programming languages require that these sorts of dependencies be free of cycles. It would be an error in many programming languages to say, for instance, that a manager is a kind of employee, an employee is a kind of person, and a person is a kind of manager, because a diagram of the dependencies would contain a loop. A developer who is writing a compiler must therefore understand first how to identify dependencies in a program, and second, how to determine whether a particular set of dependencies is legal or illegal.
There are numerous other problems in compiler construction which require understanding dependencies. For example, suppose a program must make two lengthy computations, call them X and Y, and then sum the result. Clearly the final sum X + Y cannot be computed until both X and Y are computed; the sum depends on X and Y. If the computation to produce Y does not depend on the result of computation X, then Y can be computed before X. If the computation to produce X also does not depend on the result of Y, then X may be computed before Y. If both X and Y are independent of each other then the compiler is free to choose whichever ordering it believes to be most efficient. By analyzing dependencies between different computations the compiler can ensure that the translated form of the program is both correct and efficient.