Questions tagged [pintos]

Pintos is a simple instructional operating system framework for the 80x86 architecture. The software supports kernel threads, loading and running user programs, and a file system, but it implements all of these in a very simple way.

Pintos OS - Git Repo

Courses using Pintos include:

58 questions
1
vote
4 answers

Need to figure out the meaning of following inline assembly code

static int func_name (const uint8_t * address) { int result; asm ("movl $1f, %0; movzbl %1, %0; 1:" : "=&a" (result) : "m" (*address)); return result; } I have gone through inline assembly references over internet. But i am unable…
user1599964
  • 860
  • 2
  • 13
  • 29
1
vote
1 answer

Qemu hanging in main system call

I was working on the Pintos project . And while I was implementing a priority donation mechanism for the proper priority scheduling , QEMU emulator just hung up (I have attached an image and the dump of the pintos is as below ) . I tried debugging…
aasthetic
  • 327
  • 4
  • 21
0
votes
0 answers

Strict Priority Scheduler Issue with Lock in priority-fifo Test

I am working on implementing a strict priority scheduler for pintos threads, but I encountered a strange issue. Here's my code: bool thread_higher_prio(const struct list_elem* a, const struct list_elem* b, void* aux){ struct thread *thread_a =…
light
  • 23
  • 3
0
votes
0 answers

How are global arrays loaded in memory (pintos)

I'm working on a PintOS Project(VM). For Validation of what I implemented, I made a user program on which global array size of ten pages(4096 * 10). And I write a value on every first byte of the page. What I intended was that Pintos occurs 10 page…
0
votes
1 answer

Cannot use pintos by ssh

I use a docker container to try pintos on my mac(M1). Everything behaves well when I start the container by docker start -i pintos. However, when I use ssh to connect my docker container(i.e., ssh -p xxxx root@local), error message -bash: pintos:…
MissSirius
  • 152
  • 11
0
votes
1 answer

how to solve Pintos project2 userprogram intrcontext error?

Korea's KAIST Revised and Distributed Pintos KAIST Project The same error occurred in all tests in the project 2 user program, so I am asking you this question. As a result of backtrace, an error appears because the return value of the…
0
votes
1 answer

Interesting C macro, how is it able to take a field within a struct and return a reference to the struct?

I saw an interesting design for a doubly-linked-list inside the Pintos operating system and I don't quite understand how it was able to achieve this behavior. I wrote a small adaptation to demo what I'm referring to. #include #include…
0
votes
2 answers

what is "os.dsk cannot be temporal" in pintos?

I'm installing Pintos to check if it's installed properly. pintos -- run alram-multiple If I type it, it comes out like that. i dont know os.dsk.. plz help me
chundeuk
  • 13
  • 2
0
votes
1 answer

Cloning Pintos with Ubuntu

I am trying to start doing the Pintos Stanford project on Ubuntu. I downloaded the tar file that the Stanford website provides but when I try and run pintos -- run alarm-multiple I get the following error: Unrecognized character \x16; marked by…
amartin256
  • 51
  • 1
  • 5
0
votes
1 answer

PintOS user program does not print

Im trying to follow this guide, the section about user programs. Apparently, Im able to succesfully pass a program from ubuntu to the Pintos filesystem, because I can see the file by running pintos -q ls When runnning this: pintos-mkdisk…
0
votes
0 answers

how to solve error Can not execute "qemu"

I am doing my home work assignment on pintos. for set up i am following this . On running ./pintos run alarm-multiple I got the error Can't exec "qemu": No such file or directory at ./pintos line 923. command failed How can i solve the error ?
user8700374
0
votes
1 answer

Pintos - syscalls project 2

I am doing the Pintos project on the side to learn more about operating systems. I finished Project 1 and have started the second project. I already have setup stack verified and working (via hex_dump). Right now I am having issues getting the…
Nate
  • 81
  • 9
0
votes
2 answers

Pintos - UserProg all tests fail is_kernel_vaddr()

I am doing the Pintos project on the side to learn more about operating systems. I had tons of devops trouble at first with it not running well on an 18.04 Ubuntu droplet. I am now running it on the VirtualBox image that UCCS tells students to…
Nate
  • 81
  • 9
0
votes
1 answer

How does "the Stack" play into the execution of a thread?

I am working on Pintos. Which is sort of like an educational tool for learning about building operating systems, and am on the second project which is geared around building support for user programs. So, first order of business is to Set up The…
user8768055
0
votes
2 answers

Make check fails pintos test cases

So I'm very new to Ubuntu and PintOS as well. Our first assignment was to install PintOS on qemu and make a few changes to some files to execute them. However, make check is giving me these errors on Ubuntu 16.04 LTS. ~/pintos/src/threads$ make…
Asad Nawaz
  • 355
  • 1
  • 3
  • 14