pintos-anon
4 years agofsutil: Fix writing end-of-archive marker.
Ben Pfaff [Sun, 10 May 2020 15:57:52 +0000 (15:57 +0000)]
fsutil: Fix writing end-of-archive marker.

This code was supposed to write two sectors but instead it wrote the same
sector twice.

Thanks to Grant A Shurtz for reporting this bug.

4 years agoRevert "Adjust p2.patch and p3.patch so that threads kernel still builds"
John Ousterhout [Wed, 1 Apr 2020 18:48:04 +0000 (11:48 -0700)]
Revert "Adjust p2.patch and p3.patch so that threads kernel still builds"

This reverts commit 8fc07451352c571d93373c4db8657fdcb86057aa.
The commit breaks tests in vm.

4 years agoAdjust p2.patch and p3.patch so that threads kernel still builds
John Ousterhout [Thu, 26 Mar 2020 18:35:53 +0000 (11:35 -0700)]
Adjust p2.patch and p3.patch so that threads kernel still builds
Signed-off-by: W. Michael Petullo <mike@flyn.org>
4 years agoFix link errors with GCC 10 and binutils 2.34 on Fedora
John Ousterhout [Thu, 26 Mar 2020 18:28:48 +0000 (11:28 -0700)]
Fix link errors with GCC 10 and binutils 2.34 on Fedora
Fix the following compile errors:

ld: ... multiple definition of `fs_device'; ... first defined here

and

ld: ... multiple definition of `test_name'; ... first defined here.

These seem to result in a change in how GCC and the linker handle strong
and weak symbols.

Signed-off-by: W. Michael Petullo <mike@flyn.org>
4 years agoFix ld output with recent versions of GCC and binutils
John Ousterhout [Thu, 26 Mar 2020 17:56:00 +0000 (10:56 -0700)]
Fix ld output with recent versions of GCC and binutils
Recent versions of GCC and binutils produce programs that make use of
"Secure COde Partitioning (SCOP)" as indicated by ld's separate-code flag.
SCOP adds an additional ELF segment that bears read, but not execute,
permissions, and Pintos is unable to load programs laid out in this way.
For instance, the version of ld on Fedora 31+ seems to break Pintos'
program loading by generating ELFs with the following layout:

$ readelf -l halt

Elf file type is EXEC (Executable file)
Entry point 0x80480cb
There are 4 program headers, starting at offset 52

Program Headers:
  Type           Offset   VirtAddr   PhysAddr   FileSiz MemSiz  Flg Align
  LOAD           0x000000 0x08048000 0x08047000 0x000b4 0x000b4 R   0x1000
  LOAD           0x0000c0 0x080480c0 0x080480c0 0x02699 0x02699 R E 0x1000
  LOAD           0x00275c 0x0804b75c 0x0804b75c 0x00018 0x00019 RW  0x1000
  GNU_STACK      0x000000 0x00000000 0x00000000 0x00000 0x00000 RW  0x10

 Section to Segment mapping:
  Segment Sections...
   00
   01     .text .rodata .rodata.str1.4 .rodata.str1.1
   02     .data .bss
   03

The failure follows from Pintos trying to load two segments (00 and
01) at the same address. The failure happens when process.c's load()
tries to load the second segment by calling load_segment(), which calls
install_page().

Passing noseparate-code to ld reverts to the following ELF layout,
and this fixes the problem.

Elf file type is EXEC (Executable file)
Entry point 0x80480ab
There are 3 program headers, starting at offset 52

Program Headers:
  Type           Offset   VirtAddr   PhysAddr   FileSiz MemSiz  Flg Align
  LOAD           0x000000 0x08048000 0x08048000 0x02739 0x02739 R E 0x1000
  LOAD           0x00273c 0x0804b73c 0x0804b73c 0x00018 0x00019 RW  0x1000
  GNU_STACK      0x000000 0x00000000 0x00000000 0x00000 0x00000 RW  0x10

 Section to Segment mapping:
  Segment Sections...
   00     .text .rodata .rodata.str1.4 .rodata.str1.1
   01     .data .bss
   02

Signed-off-by: W. Michael Petullo <mike@flyn.org>
6 years agotimer: Fix timer calibration logic.
Farshad Ghanei [Wed, 28 Mar 2018 17:34:35 +0000 (13:34 -0400)]
timer: Fix timer calibration logic.

loops_per_tick calculation should get updated with loops_per_tick, not with
high_bit.

6 years agoFix problems compiling documentation
John Ousterhout [Wed, 28 Mar 2018 16:59:11 +0000 (09:59 -0700)]
Fix problems compiling documentation
* Two warnings (deprecated regex syntax)
* One error (couldn't find pintos-t2h.init without "./" prefix)

6 years agodoc: Fix typo.
Farshad Ghanei [Wed, 14 Feb 2018 00:45:37 +0000 (19:45 -0500)]
doc: Fix typo.

Fixed a type in the Guide, Section E.5 , Subsection E.5.1 Using GDB,

7 years agoOn newer systems -ltinfo needs to be explicitly added to the link flags
Darshit Shah [Wed, 25 Oct 2017 12:53:54 +0000 (14:53 +0200)]
On newer systems -ltinfo needs to be explicitly added to the link flags

7 years agoModify the linker script to match the generated binary
Darshit Shah [Tue, 24 Oct 2017 13:14:58 +0000 (15:14 +0200)]
Modify the linker script to match the generated binary

Newer versions of GCC (tested with GCC 7), emit more sections in the
binary. Fix the computation of the start of the BSS section to prevent
zeroing out parts of the data section

8 years agodoc: Use texi2pdf instead of pdftex.
Ben Pfaff [Tue, 26 Apr 2016 15:32:19 +0000 (08:32 -0700)]
doc: Use texi2pdf instead of pdftex.

This automatically reruns pdftex if necessary, to make sure that references
are correct.

Reported by David Eck <eck@hws.edu>.

8 years agopintos: Avoid apparent name collision in definition of SIGALRM subroutine.
Ben Pfaff [Tue, 9 Feb 2016 04:48:37 +0000 (20:48 -0800)]
pintos: Avoid apparent name collision in definition of SIGALRM subroutine.

Without this patch, modern versions of Perl issue the following warnings:

    Prototype mismatch: sub main::SIGVTALRM () vs none at
    .../src/utils/pintos line 188.
    Constant subroutine SIGVTALRM redefined at
    .../src/utils/pintos line 180.

Changing the name of the function avoids the warning.

Thanks to Geoffrey Knopf for reporting this problem.

8 years agopintos: Avoid literal control character in Perl variable name.
Ben Pfaff [Tue, 9 Feb 2016 04:47:10 +0000 (20:47 -0800)]
pintos: Avoid literal control character in Perl variable name.

Modern versions of Perl prefer a caret in variable names over literal
control characters and issue a warning if the control character is used.
This fixes the warning.

8 years agopintos: Fix undefined value warning from Perl on read error.
Ben Pfaff [Tue, 9 Feb 2016 04:46:18 +0000 (20:46 -0800)]
pintos: Fix undefined value warning from Perl on read error.

When sysread encounters an error, it returns undef, which yields a warning
when compared against 0.  This fixes the problem.

8 years agoClarified wording in design question A2 for vm
John Ousterhout [Fri, 18 Dec 2015 00:28:21 +0000 (16:28 -0800)]
Clarified wording in design question A2 for vm

(Old wording could result in answers other than the desired one)

8 years agoMake docs compile again
John Ousterhout [Thu, 17 Dec 2015 23:29:33 +0000 (15:29 -0800)]
Make docs compile again

With newer versions oF packages such as texinfo and Perl, the
documentation no longer compiled. Fixed various issues, and
removed dvi and ps from default output formats, since software
to generate them is becoming less widely available.

8 years agoUpdates for new version of qemu
John Ousterhout [Thu, 17 Dec 2015 19:38:47 +0000 (11:38 -0800)]
Updates for new version of qemu

Use new isa-debug-exit device for shutdown, switch name to
qemu-system-i386.

8 years agoFsutil_ls must close the directory after reading it
John Ousterhout [Thu, 17 Dec 2015 19:36:48 +0000 (11:36 -0800)]
Fsutil_ls must close the directory after reading it

8 years agoPatches to make Bochs 2.6.2 work with Pintos
John Ousterhout [Thu, 17 Dec 2015 19:33:52 +0000 (11:33 -0800)]
Patches to make Bochs 2.6.2 work with Pintos

(patches provided by David Mazieres).

8 years agoFixes exec-bound-3 failures
John Ousterhout [Thu, 17 Dec 2015 19:29:13 +0000 (11:29 -0800)]
Fixes exec-bound-3 failures

The boundary position wasn't being properly chosen (must ensure that
the dst array in boundary.c is always in the last page of the .bss
segment).

8 years agoRubric updates from Winter 2013 CS 140 at Stanford
John Ousterhout [Thu, 17 Dec 2015 17:59:33 +0000 (09:59 -0800)]
Rubric updates from Winter 2013 CS 140 at Stanford

8 years agoFixed typo in docs Section 3.1.4.1 (0x08084000 => 0x08048000)
John Ousterhout [Thu, 17 Dec 2015 17:48:35 +0000 (09:48 -0800)]
Fixed typo in docs Section 3.1.4.1 (0x08084000 => 0x08048000)

8 years agoUpdates to grading rubrics
John Ousterhout [Thu, 17 Dec 2015 17:46:43 +0000 (09:46 -0800)]
Updates to grading rubrics

(make grading a bit kinder and gentler)

8 years agoRemove mention of CS 107 from localsettings.texi
John Ousterhout [Thu, 17 Dec 2015 17:43:57 +0000 (09:43 -0800)]
Remove mention of CS 107 from  localsettings.texi

8 years agoSwitch docs to use Git instead of CVS by default
John Ousterhout [Thu, 17 Dec 2015 17:41:53 +0000 (09:41 -0800)]
Switch docs to use Git instead of CVS by default

Also a few minor changes to localsettings.texi.

8 years agoUpdated sample solutions to correspond with current code.
John Ousterhout [Mon, 17 Dec 2012 17:50:20 +0000 (09:50 -0800)]
Updated sample solutions to correspond with current code.

8 years agoAdded more userprog tests, mostly relating to boundary conditions
John Ousterhout [Fri, 14 Dec 2012 22:51:09 +0000 (14:51 -0800)]
Added more userprog tests, mostly relating to boundary conditions
involving invalid pages (e.g., position system call opcode with first
bytes in a valid page and remaining bytes in a nonexistent page).

8 years agoMinor documentation updates
John Ousterhout [Thu, 17 Dec 2015 17:28:35 +0000 (09:28 -0800)]
Minor documentation updates

Fixed typos and obsolete info, removed Stanford dependencies.

10 years agoFix userprog tests for clang
Pablo de Oliveira [Mon, 17 Mar 2014 18:13:22 +0000 (19:13 +0100)]
Fix userprog tests for clang

Recent clang version, detect attemps to dereference or call NULL, and
eliminate the code.

../../tests/userprog/bad-read.c:11:9: warning: indirection of
non-volatile null pointer will be deleted, not trap [-Wnull-dereference]
        *(int *) NULL);
        ^~~~~~~~~~~~~

This patchs adds the volatile modifier as necessary.
It allows to use clang to compile the tests.

10 years agoAdd ACPI shutdown sequence
Pablo de Oliveira [Mon, 17 Mar 2014 18:01:59 +0000 (19:01 +0100)]
Add ACPI shutdown sequence

On QEMU emulator version 1.7.0, the previous shutdown sequence (writing
`shutdown` to 0x8900), is not working properly.

This patch adds support for the ACPI shutdown code which works on qemu
1.7.0 and preserves the old sequence for compatibility.

12 years agoutils/Makefile: Use LOADLIBES instead of LDFLAGS to link the math library.
Ben Pfaff [Sun, 2 Sep 2012 00:10:29 +0000 (17:10 -0700)]
utils/Makefile: Use LOADLIBES instead of LDFLAGS to link the math library.

Matthew Pirocchi <mrpirocchi@email.wm.edu>, via John Ousterhout
<ouster@cs.stanford.edu> reports that this fixes a problem on his system.

12 years agoFix gcc inline assembler operand constraints for syscall -- as pushl modifies %esp...
Benedikt Huber [Wed, 29 Feb 2012 14:17:04 +0000 (15:17 +0100)]
Fix gcc inline assembler operand constraints for syscall -- as pushl modifies %esp, variable operands must not reference the stack pointer.

Without this patch, gcc-4.6.1-9ubuntu3 miscompiles the read syscall to:
  000000b6 <read>:
    b6:   ff 74 24 0c             pushl  0xc(%esp)
    ba:   ff 74 24 08             pushl  0x8(%esp)  ; [!]
    be:   ff 74 24 04             pushl  0x4(%esp)  ; [!]
    ...

13 years agoFix boot under Bochs when Pintos is compiled with recent GCC.
Russ Ross [Thu, 25 Aug 2011 03:41:30 +0000 (20:41 -0700)]
Fix boot under Bochs when Pintos is compiled with recent GCC.

When compiled according to the instructions, bochs fails to load
the project 1 kernel.  This seems to be due to the latest gcc using an
instruction that bochs is not compiled to support.  Adding the
'--enable-cpu-level=6' configure option to Bochs, as this commit does,
seems to work.

13 years agoFix Bochs build with recent GCC.
Russ Ross [Thu, 25 Aug 2011 03:40:10 +0000 (20:40 -0700)]
Fix Bochs build with recent GCC.

bochs-2.2.6 failed to compile with the latest version of gcc.  This commit
fixes the problem

13 years agobitmap: Fix mistakes in comments.
Ben Pfaff [Thu, 10 Mar 2011 04:34:33 +0000 (20:34 -0800)]
bitmap: Fix mistakes in comments.

Reported by a student of Borja Sotomayor <borja@cs.uchicago.edu>.

13 years agoMakefile: Use $(MAKE) instead of plain 'make'.
Ben Pfaff [Sat, 12 Feb 2011 18:19:28 +0000 (10:19 -0800)]
Makefile: Use $(MAKE) instead of plain 'make'.

This allows make to pass the proper command line arguments to the sub-make.

13 years agothread: Do not disable interrupts unnecessarily while initializing stack.
Ben Pfaff [Sat, 12 Feb 2011 18:04:27 +0000 (10:04 -0800)]
thread: Do not disable interrupts unnecessarily while initializing stack.

Reported by Francis Russell <fpr02@doc.ic.ac.uk>.

13 years agothread: Properly protect 'all_list' around insertion.
Ben Pfaff [Sat, 12 Feb 2011 18:03:53 +0000 (10:03 -0800)]
thread: Properly protect 'all_list' around insertion.

Reported by Francis Russell <fpr02@doc.ic.ac.uk>.

13 years agosquish-pty: Flush buffered data from pty to stdout when pty's slave closed
Ben Pfaff [Thu, 16 Dec 2010 05:42:12 +0000 (21:42 -0800)]
squish-pty: Flush buffered data from pty to stdout when pty's slave closed

When the slave side of the pty is closed, the "read" system call returns
EIO.  In this situation, squish-pty failed to flush any output that it
already had in its buffer (up to 16 bytes) to stdout.  This could cause
the "Powering off..." message printed by Pintos just before exiting to
be missing from the output.

This usually didn't happen, because there are two other exit paths from
the relay() function that does most of squish-pty's work.  The most common
exit path was (evidently) the one which detected that the child process
had died, which did properly flush the buffer.  (The third path was wrong
too, and this patch fixes that one too.)

This patch fixes the problem by using a single exit path from relay() that
always reads any remaining input from the pty (if it is open) and flushes
it to stdout.

Reported by Borja Sotomayor <borja@cs.uchicago.edu>.

13 years agosolutions: Fix mangled p4.patch.
Borja Sotomayor [Sat, 11 Dec 2010 17:57:02 +0000 (09:57 -0800)]
solutions: Fix mangled p4.patch.

13 years agofree-map: Replace U+00A0 "hard spaces" by ordinary ASCII spaces.
Ben Pfaff [Sat, 11 Dec 2010 17:55:04 +0000 (09:55 -0800)]
free-map: Replace U+00A0 "hard spaces" by ordinary ASCII spaces.

Reported by Borja Sotomayor <borja@cs.uchicago.edu>.

14 years agoblock: Avoid accessing past the end of the block_by_role array.
Joseph Huang [Wed, 5 May 2010 16:23:55 +0000 (09:23 -0700)]
block: Avoid accessing past the end of the block_by_role array.

14 years agoMake.config: Use a different method to detect --build-id support.
Ben Pfaff [Sat, 1 May 2010 18:20:14 +0000 (11:20 -0700)]
Make.config: Use a different method to detect --build-id support.

Some versions of ld accept /dev/null as a valid input file.  Others will
not.  The latter versions will give false negatives for --buil-id support,
which breaks linking of Pintos userspace programs.  So use a different
method, that I hope will be more reliable, to detect --build-id support.

Reported by Joseph Huang <jdhuang@stanford.edu>.

14 years agopintos: Make sure to print buffered data at end of input.
Ben Pfaff [Thu, 7 Jan 2010 17:26:11 +0000 (09:26 -0800)]
pintos: Make sure to print buffered data at end of input.

Here, $buf might have some data in it that has not yet been printed, but
we were discarding it (and trying to read more) without printing it.

(In Perl, "do" ensures that the inner block runs at least once; without
"do" the condition is evaluated first.)

14 years agodoc: Fix references to power_off() to refer to correct function and file name.
Ben Pfaff [Tue, 26 Jan 2010 17:12:50 +0000 (09:12 -0800)]
doc: Fix references to power_off() to refer to correct function and file name.

Reported by Nathaniel Hardison <hardison@stanford.edu>.

14 years agoSupport newer versions of QEMU, which do not have the -no-kqemu option.
Ben Pfaff [Thu, 7 Jan 2010 06:12:36 +0000 (22:12 -0800)]
Support newer versions of QEMU, which do not have the -no-kqemu option.

Thanks to David Mazieres for reporting the problem and the fix.

15 years agoFix typo in comment describing free_map_allocate().
Ben Pfaff [Sat, 14 Nov 2009 04:22:41 +0000 (20:22 -0800)]
Fix typo in comment describing free_map_allocate().

Thanks to Godmar Back for reporting the problem and for the fix.

15 years agoUse round-toward-0 instead of round-to-nearest in fixed-point example.
Ben Pfaff [Sat, 24 Oct 2009 19:10:54 +0000 (12:10 -0700)]
Use round-toward-0 instead of round-to-nearest in fixed-point example.

Rounding to nearest raises a host of issues that we don't want students
to worry about.

Suggested by Godmar Back.

15 years agoRemove unnecessary optimization barrier.
Ben Pfaff [Tue, 20 Jan 2009 06:32:57 +0000 (22:32 -0800)]
Remove unnecessary optimization barrier.

The compiler can't optimize out the load of "ticks" here because
it can't look into intr_disable() and intr_set_level() and know that
they don't modify "ticks".

Thanks to Martin <mfleener@stanford.edu> for pointing this out.

15 years agoPrint a message instead of panicking upon an unexpected interrupt.
Ben Pfaff [Mon, 22 Dec 2008 01:37:44 +0000 (17:37 -0800)]
Print a message instead of panicking upon an unexpected interrupt.

We cannot expect that we know in detail ever interrupt that can occur
on real hardware, so we must cope with exceptional cases a little
better.

15 years agoAvoid long pauses on serial timeout on boot on physical hardware.
Ben Pfaff [Thu, 4 Dec 2008 05:56:59 +0000 (21:56 -0800)]
Avoid long pauses on serial timeout on boot on physical hardware.

The Pintos loader writes status to the serial port as well as the
VGA console, but this doesn't work out so well on at least some
real hardware when nothing is connected to the serial port: each
character can take a second or so to display because the BIOS
waits for a serial timeout each time.  So, on the first serial
timeout, replace the "int $0x14" call by a pair of no-ops.

The rest of the changes are part of the struggle not to exceed
the maximum loader size.

15 years agoRemove MIT copyright notice and license.
Ben Pfaff [Thu, 4 Dec 2008 05:42:42 +0000 (21:42 -0800)]
Remove MIT copyright notice and license.

Pintos used to contain a loader and I/O functions derived from MIT
code, but this has now been entirely eliminated, so there is no
longer any reason to retain the MIT copyright notice or license.

15 years agoRewrite the I/O port code.
Ben Pfaff [Thu, 4 Dec 2008 05:41:18 +0000 (21:41 -0800)]
Rewrite the I/O port code.

The contents of these functions was derived from code used in the
Massachusetts Institute of Technology's 6.828 advanced operating
systems course.

I deleted the contents of these functions and then rewrote them from
scratch without reference to the earlier code, working only from the
function comments (which I wrote earlier).

16 years agoadded section "Accessing User Memory", including explanation of why
Godmar Back [Fri, 14 Nov 2008 06:13:54 +0000 (01:13 -0500)]
added section "Accessing User Memory", including explanation of why
pinning is necessary
added FAQ for why stack growth may cause page faults above stack pointer
minor edits to other sections

16 years agofixed backtrace to work with -O (now conforms to
Godmar Back [Fri, 14 Nov 2008 02:30:41 +0000 (21:30 -0500)]
fixed backtrace to work with -O (now conforms to
http://gcc.gnu.org/onlinedocs/gcc/Return-Address.html )

16 years agoadded btthreadall to dump all threads
Godmar Back [Thu, 13 Nov 2008 02:17:21 +0000 (21:17 -0500)]
added btthreadall to dump all threads
added loadusersymbols to load user symbols from file
updated documentation to reflect behavior of qemu's and bochs's gdbstubs

16 years agoImplement a proper block layer with partition support.
Ben Pfaff [Wed, 12 Nov 2008 06:19:01 +0000 (22:19 -0800)]
Implement a proper block layer with partition support.

This is in preparation for introducing new block devices, in
particular USB storage-based block devices so that Pintos can boot
from USB memory sticks on notebook and desktop PCs.

This block layer was inspired by one from Anthony Romano
<chz@vt.edu> but it has been extensively (perhaps entirely) rewritten.
Thus, bugs must certainly be blamed on the committer.

16 years agoMake backtraces slightly more reliable.
Ben Pfaff [Mon, 10 Nov 2008 04:07:40 +0000 (20:07 -0800)]
Make backtraces slightly more reliable.

We now ignore pointers that are not null but still clearly wild.

We could check that there's really a valid PDE and PTE (I think Linux
does this) but it would take more code and be ugly.

16 years agoAdd PC speaker driver and connect it to '\a' in the VGA console.
Ben Pfaff [Mon, 10 Nov 2008 04:02:19 +0000 (20:02 -0800)]
Add PC speaker driver and connect it to '\a' in the VGA console.

Based on code from Anthony Romano <chz@vt.edu> but with extensive changes.

16 years agoRename ram_pages to init_ram_pages.
Ben Pfaff [Sun, 9 Nov 2008 23:56:05 +0000 (15:56 -0800)]
Rename ram_pages to init_ram_pages.

This makes it conform to the Pintos convention that a global symbol name
begin with its module's name.

16 years agoGet rid of power_off_when_done global variable.
Ben Pfaff [Mon, 10 Nov 2008 00:19:48 +0000 (16:19 -0800)]
Get rid of power_off_when_done global variable.

This global variable was not named according to the convention that a
global variable name start with its module name.  Furthermore, its usage
was somewhat scattered across the source tree.

This commit introduces new functions shutdown() and shutdown_configure()
to improve the situation.

16 years agoRemove prototypes for removed functions power_off(), reboot().
Ben Pfaff [Sun, 9 Nov 2008 23:51:01 +0000 (15:51 -0800)]
Remove prototypes for removed functions power_off(), reboot().

16 years agoIgnore files produced by "makeinfo".
Ben Pfaff [Sun, 9 Nov 2008 23:42:02 +0000 (15:42 -0800)]
Ignore files produced by "makeinfo".

16 years agoMark shutdown_reboot() and shutdown_power_off() as NO_RETURN.
Ben Pfaff [Sun, 9 Nov 2008 23:40:18 +0000 (15:40 -0800)]
Mark shutdown_reboot() and shutdown_power_off() as NO_RETURN.

Also, make shutdown_reboot() actually behave that way, by trying to reboot
forever instead of giving up after some number of tries.

16 years agoAllow Bochs users to reboot by clicking the "user" button.
Ben Pfaff [Sun, 9 Nov 2008 23:21:21 +0000 (15:21 -0800)]
Allow Bochs users to reboot by clicking the "user" button.

The "user_shortcut" Bochs option allows specifying a key combination to
send to the VM when the user clicks on the "user" button in the Bochs
headerbar.

From Godmar, crossported from his usb-integration-aug08 branch.

16 years agoTerminate the backtrace that debug_backtrace() would output.
Ben Pfaff [Sun, 9 Nov 2008 23:22:35 +0000 (15:22 -0800)]
Terminate the backtrace that debug_backtrace() would output.

From Godmar, crossported from his usb-integration-aug08 branch.

16 years agoUse 9600 bps for Pintos serial, to match the speed used by the loader.
Ben Pfaff [Sun, 9 Nov 2008 23:22:25 +0000 (15:22 -0800)]
Use 9600 bps for Pintos serial, to match the speed used by the loader.

It is important that Pintos and its loader use the same serial speed, so
that a terminal program connected to a serial port can be set to a sane
speed.  The ideal choice would be 115200 bps, for maximum speed, but the
Pintos loader uses the BIOS to do serial output, and the BIOS supports a
maximum speed of 9600 bps.

From Godmar, crossported from his usb-integration-aug08 branch.

16 years agoMove reboot() and power_off() to new file, and rename to fit convention.
Ben Pfaff [Sun, 9 Nov 2008 19:41:18 +0000 (11:41 -0800)]
Move reboot() and power_off() to new file, and rename to fit convention.

16 years agoadded note regarding console lock
Godmar Back [Sat, 8 Nov 2008 04:48:13 +0000 (23:48 -0500)]
added note regarding console lock

16 years agoCorrect comment describing list_remove() behavior.
Ben Pfaff [Sat, 8 Nov 2008 01:23:09 +0000 (17:23 -0800)]
Correct comment describing list_remove() behavior.

Thanks to Godmar for pointing out the problem.

16 years agoAdd FAQ item to explain doubled test names in output.
Ben Pfaff [Sat, 8 Nov 2008 01:12:23 +0000 (17:12 -0800)]
Add FAQ item to explain doubled test names in output.

Suggested by Godmar.

16 years agoEliminate user_page_limit global symbol.
Ben Pfaff [Fri, 7 Nov 2008 05:54:04 +0000 (21:54 -0800)]
Eliminate user_page_limit global symbol.

The name "user_page_limit" did not follow the naming convention, which
stated that its name should start with palloc_ since it is defined in
palloc.c.  But it was only used in one function, so it was better off
as a function parameter anyhow.

Found by Godmar with his process-linker-map.pl.

16 years agoDon't make interrupt stubs global symbols.
Ben Pfaff [Fri, 7 Nov 2008 05:31:30 +0000 (21:31 -0800)]
Don't make interrupt stubs global symbols.

The stubs are only referenced within intr-stubs.S so there is no reason
for them to be exported.

Found with Godmar's process-linker-map.pl.

16 years agoRename base_page_dir to init_page_dir.
Ben Pfaff [Fri, 7 Nov 2008 05:19:34 +0000 (21:19 -0800)]
Rename base_page_dir to init_page_dir.

This makes its name fit the convention that the file name is used as
a prefix for global symbol names.

Found by Godmar with his process-linker-map.pl script.

16 years agoRename schedule_tail() to thread_schedule_tail().
Ben Pfaff [Fri, 7 Nov 2008 05:55:33 +0000 (21:55 -0800)]
Rename schedule_tail() to thread_schedule_tail().

This makes its name fit the convention that the file name is used as
a prefix for global symbol names.

Found by Godmar with his process-linker-map.pl script.

16 years agoMake kernel_pool, user_pool static, since they are used only in palloc.c
Ben Pfaff [Fri, 7 Nov 2008 05:12:12 +0000 (21:12 -0800)]
Make kernel_pool, user_pool static, since they are used only in palloc.c

Found by Godmar with his process-linker-map.pl.

16 years agoRename .cvsignore files to .gitignore.
Ben Pfaff [Fri, 7 Nov 2008 05:11:26 +0000 (21:11 -0800)]
Rename .cvsignore files to .gitignore.

16 years agoremoved trailing whitespace
Godmar Back [Wed, 5 Nov 2008 04:53:26 +0000 (23:53 -0500)]
removed trailing whitespace

16 years agoclarified specification for wait() system call
Godmar Back [Wed, 5 Nov 2008 04:31:45 +0000 (23:31 -0500)]
clarified specification for wait() system call

16 years agoadded documentation for thread_foreach functions
Godmar Back [Fri, 17 Oct 2008 03:26:23 +0000 (03:26 +0000)]
added documentation for thread_foreach functions

16 years agoAlways make the scratch disk an even multiple of a cylinder in size.
Ben Pfaff [Thu, 16 Oct 2008 22:49:48 +0000 (22:49 +0000)]
Always make the scratch disk an even multiple of a cylinder in size.

The pintos script tried to do so before but "print" and "syswrite"
are buffered differently and interfere with one another.

Thanks to Karan Misra <kmisra@stanford.edu> for pointing out the
problem and confirming the solution.

16 years agoupdate after thread_foreach
Godmar Back [Mon, 8 Sep 2008 01:30:24 +0000 (01:30 +0000)]
update after thread_foreach

16 years agosubmitted!
Godmar Back [Sat, 30 Aug 2008 03:07:56 +0000 (03:07 +0000)]
submitted!

16 years agovarious updates
Godmar Back [Sat, 30 Aug 2008 02:45:54 +0000 (02:45 +0000)]
various updates

16 years agounder 5 pages!
Godmar Back [Fri, 29 Aug 2008 22:26:57 +0000 (22:26 +0000)]
under 5 pages!

16 years agorearranged figures, various fixes for style, grammar, and clarity
Godmar Back [Fri, 29 Aug 2008 20:42:15 +0000 (20:42 +0000)]
rearranged figures, various fixes for style, grammar, and clarity

16 years agofixed formatting and added keywords/categories
Godmar Back [Fri, 29 Aug 2008 17:26:59 +0000 (17:26 +0000)]
fixed formatting and added keywords/categories

16 years agomore stuff
Godmar Back [Fri, 29 Aug 2008 15:54:26 +0000 (15:54 +0000)]
more stuff

16 years agoadded test case table
Godmar Back [Fri, 29 Aug 2008 14:00:35 +0000 (14:00 +0000)]
added test case table

16 years agomore fixes
Godmar Back [Fri, 29 Aug 2008 13:08:12 +0000 (13:08 +0000)]
more fixes

16 years agoadded point about documentation
Godmar Back [Fri, 29 Aug 2008 12:47:33 +0000 (12:47 +0000)]
added point about documentation

16 years agoadded refs and fixed up intro
Godmar Back [Fri, 29 Aug 2008 12:37:46 +0000 (12:37 +0000)]
added refs and fixed up intro

16 years agoupdates
Godmar Back [Fri, 29 Aug 2008 02:03:49 +0000 (02:03 +0000)]
updates

16 years agoupdate - made to pass again after thread_foreach
Godmar Back [Thu, 28 Aug 2008 04:25:48 +0000 (04:25 +0000)]
update - made to pass again after thread_foreach

16 years agoremoved accidental checkin of Make.tests change
Godmar Back [Wed, 27 Aug 2008 17:15:49 +0000 (17:15 +0000)]
removed accidental checkin of Make.tests change

16 years agoupdate for thread_foreach patch
Godmar Back [Wed, 27 Aug 2008 17:04:08 +0000 (17:04 +0000)]
update for thread_foreach patch

16 years ago- added thread_foreach
Godmar Back [Wed, 27 Aug 2008 16:52:04 +0000 (16:52 +0000)]
- added thread_foreach
- added debug_backtrace_all
- updated P1 solution to take advantage of this new code

16 years agoremoved 'address' option for Bochs.
Godmar Back [Wed, 27 Aug 2008 14:34:24 +0000 (14:34 +0000)]
removed 'address' option for Bochs.
It makes Bochs > 2.2.6 fail with "[MEM0 ] ROM: System BIOS must end at 0xfffff"
and, according to http://www.nabble.com/Strange-error-message-when-bringing-up-a-CVS-build-td7532679.html
isn't even necessary for 2.2.6

16 years agocleaned up comments for reboot code and adopted GNU coding standards
Godmar Back [Wed, 27 Aug 2008 11:50:49 +0000 (11:50 +0000)]
cleaned up comments for reboot code and adopted GNU coding standards

16 years agoinitial draft
Godmar Back [Wed, 27 Aug 2008 04:02:44 +0000 (04:02 +0000)]
initial draft