Sistemi Operativi - User contributions [en]

Esempio didattico sul file system ext2 (2026)

2026-04-09T08:47:37Z

Renzo:

<pre>
truncate -s 128K disk
/sbin/mkfs.ext2 disk
hexdump -C disk

documento con spiegazioni: https://dondi.lmu.build/share/os/ext2-walkthrough.pdf

disco immagine di prova e tool sperimentale per facilitare la lettura:
https://www.cs.unibo.it/~renzo/so/ext2test.tgz

Il disco immagine è stato creato con questi comandi:

mount /tmp/disk /mnt
ls /mnt
mkdir /mnt/dir
echo ciao mare > /mnt/ciao
ln /mnt/ciao /mnt/dir/ciao2
echo addio > /mnt/dir/bye
ln -s /mnt/dir/bye /mnt/symlink
umount /mnt

bvi
:set cm=32
</pre>

Aiuti per la lettura del dump esadecimale:
<pre>
Blocchi:
00000000 0 -> boot block
00000400 1 superblocco
00000800 2 blockgroup
00000C00 3 BitMap blocchi
00001000 4 BitMap inode
00001400 5 area inode (vedi oltre)
...
00002400 9 inizio area dati, il blocco 9 e' la directory /
00002800 A ... fino a 00005400 15 e' la dir lost+found
00005c00 17 dati file ciao (detto anche dir/ciao2)
00006000 18 dati file bye
0001fc00 7F directory dir

Inode:
00001400 inode 1 (riservato)
00001500 inode 2 directory /
00001600 inode 3
00001e00 inode B lost+found
00001f00 inode C directory dir
00002000 inode D file ciao (dir/ciao2)
00002100 inode E file bye
00002200 inode F symlink

</pre>
esempi di uso del tool e2exp:
<pre>
dump di un blocco (con indirizzo hex):
./e2exp disk dump 0x400
00000400 10 00 00 00 80 00 00 00 06 00 00 00 66 00 00 00 |............f...|
00000410 01 00 00 00 01 00 00 00 00 00 00 00 00 00 00 00 |................|
00000420 00 20 00 00 00 20 00 00 10 00 00 00 71 54 d3 69 |. ... ......qT.i|
00000430 94 54 d3 69 01 00 ff ff 53 ef 01 00 01 00 00 00 |.T.i....S.......|
....

dump di un blocco (con numero blocco):
./e2exp disk ddump 1
00000400 10 00 00 00 80 00 00 00 06 00 00 00 66 00 00 00 |............f...|
00000410 01 00 00 00 01 00 00 00 00 00 00 00 00 00 00 00 |................|
00000420 00 20 00 00 00 20 00 00 10 00 00 00 71 54 d3 69 |. ... ......qT.i|
....

dump di alcuni campi del superblock:
./e2exp disk super 400
00000400 10 00 00 00 --> 16 s_inodes_count
00000404 80 00 00 00 --> 128 s_blocks_count
0000040c 66 00 00 00 --> 102 s_free_blocks_count
00000410 01 00 00 00 --> 1 s_free_inodes_count
00000414 01 00 00 00 --> 1 s_first_data_block
00000418 00 00 00 00 --> 0 s_log_block_size
00000438 53 ef --> 61267 s_magic

dump di alcuni dati del blockgroup:
./e2exp disk group 800
00000800 03 00 00 00 --> 3 bg_block_bitmap
00000804 04 00 00 00 --> 4 bg_inode_bitmap
00000808 05 00 00 00 --> 5 bg_inode_table
0000080c 66 00 --> 102 bg_free_blocks_count
0000080e 01 00 --> 1 bg_free_inodes_count
00000810 03 00 --> 3 bg_used_dirs_count

dump parziale bitmap allocazione blocchi:
./e2exp disk bmb c00
00000c00 ff ff ff 00 00 00 00 00
0000000000000000000000000000000000000000000000000000000000000000|
0000000000000000111111111111111122222222222222223333333333333333|
0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef|
XXXXXXXXXXXXXXXXXXXXXXXX----------------------------------------
00000c08 00 00 00 00 00 00 00 c0
0000000000000000000000000000000000000000000000000000000000000000|
4444444444444444555555555555555566666666666666667777777777777777|
0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef|
--------------------------------------------------------XX------

dump parziale bitmap allocazione ino:
./e2exp disk bmi 1000
00001000 ff 7f ff ff ff ff ff ff
0000000000000000000000000000000000000000000000000000000000000000|
0000000000000000111111111111111122222222222222223333333333333333|
0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef|
XXXXXXXX-XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
00001008 ff ff ff ff ff ff ff ff
0000000000000000000000000000000000000000000000000000000000000000|
4444444444444444555555555555555566666666666666667777777777777777|
0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef|
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

dump di dati di un inode:
./e2exp disk inode 1400+2
00001500 ed 41 --> 4 (S_IFDIR) ---RWXR-XR-X
00001502 00 00 --> 0 i_uid
00001504 00 04 00 00 --> 1024 i_size
00001508 78 54 d3 69 --> 1775457400 i_atime
0000150c 8f 54 d3 69 --> 1775457423 i_ctime
00001510 8f 54 d3 69 --> 1775457423 i_mtime
00001518 00 00 --> 0 i_gid
0000151a 04 00 --> 4 i_links_count
0000151c 02 00 00 00 --> 2 i_blocks
00001528 09 00 00 00 --> [0] 9 i_block
0000152c 00 00 00 00 --> [1] 0 i_block
00001530 00 00 00 00 --> [2] 0 i_block
00001534 00 00 00 00 --> [3] 0 i_block
00001538 00 00 00 00 --> [4] 0 i_block
0000153c 00 00 00 00 --> [5] 0 i_block
00001540 00 00 00 00 --> [6] 0 i_block
00001544 00 00 00 00 --> [7] 0 i_block
00001548 00 00 00 00 --> [8] 0 i_block
0000154c 00 00 00 00 --> [9] 0 i_block
00001550 00 00 00 00 --> [10] 0 i_block
00001554 00 00 00 00 --> [11] 0 i_block
00001558 00 00 00 00 --> [12] 0 i_block
0000155c 00 00 00 00 --> [13] 0 i_block
00001560 00 00 00 00 --> [14] 0 i_block

Scansione di una dir:
./e2exp disk dir 02400
00002400 02 00 00 00 --> 2 inode
00002404 0c 00 --> 12 rec_len (next 0x240c)
00002406 01 --> 1 name_len
00002407 02 --> 2 file_type
00002408 2e --> .

./e2exp disk dir 0240c
0000240c 02 00 00 00 --> 2 inode
00002410 0c 00 --> 12 rec_len (next 0x2418)
00002412 02 --> 2 name_len
00002413 02 --> 2 file_type
00002414 2e 2e --> ..

./e2exp disk dir 02418
00002418 0b 00 00 00 --> 11 inode
0000241c 14 00 --> 20 rec_len (next 0x242c)
0000241e 0a --> 10 name_len
0000241f 02 --> 2 file_type
00002420 6c 6f 73 74 2b 66 6f 75 6e 64 --> lost+found

./e2exp disk dir 0242c
0000242c 0c 00 00 00 --> 12 inode
00002430 0c 00 --> 12 rec_len (next 0x2438)
00002432 03 --> 3 name_len
00002433 02 --> 2 file_type
00002434 64 69 72 --> dir

./e2exp disk dir 02438
00002438 0d 00 00 00 --> 13 inode
0000243c 0c 00 --> 12 rec_len (next 0x2444)
0000243e 04 --> 4 name_len
0000243f 01 --> 1 file_type
00002440 63 69 61 6f --> ciao

./e2exp disk dir 02444
00002444 0f 00 00 00 --> 15 inode
00002448 bc 03 --> 956 rec_len (next 0x2800)
0000244a 07 --> 7 name_len
0000244b 07 --> 7 file_type
0000244c 73 79 6d 6c 69 6e 6b --> symlink

</pre>

Esempio didattico sul file system ext2 (2026)

2026-04-09T08:30:02Z

Renzo:

Esempio didattico sul file system ext2 (2026)

2026-04-09T08:23:35Z

Renzo: Created page with "<pre> truncate -s 128K disk /sbin/mkfs.ext2 disk hexdump -C disk https://dondi.lmu.build/share/os/ext2-walkthrough.pdf mount /tmp/disk /mnt ls /mnt mkdir /mnt/dir echo ciao..."

<pre>
truncate -s 128K disk
/sbin/mkfs.ext2 disk
hexdump -C disk

https://dondi.lmu.build/share/os/ext2-walkthrough.pdf

mount /tmp/disk /mnt
ls /mnt
mkdir /mnt/dir
echo ciao mare > /mnt/ciao
ln /mnt/ciao /mnt/dir/ciao2
echo addio > /mnt/dir/bye
ln -s /mnt/dir/bye /mnt/symlink
umount /mnt

bvi
:set cm=32
</pre>

Aiuti per la lettura del dump esadecimale:
<pre>
Blocchi:
00000000 0 -> boot block
00000400 1 superblocco
00000800 2 blockgroup
00000C00 3 BitMap blocchi
00001000 4 BitMap inode
00001400 5 area inode (vedi oltre)
...
00002400 9 inizio area dati, il blocco 9 e' la directory /
00002800 A ... fino a 00005400 15 e' la dir lost+found
00005c00 17 dati file ciao (detto anche dir/ciao2)
00006000 18 dati file bye
0001fc00 7F directory dir

Inode:
00001400 inode 1 (riservato)
00001500 inode 2 directory /
00001600 inode 3
00001e00 inode B lost+found
00001f00 inode C directory dir
00002000 inode D file ciao (dir/ciao2)
00002100 inode E file bye
00002200 inode F symlink
</pre>

Esempi, Esercizi ed Esperimenti 2025/26

2026-04-09T08:23:22Z

Renzo:

* [[prin_C_ples]]
* [[Esempi sulla rappresentazione dei dati]]
* [[Linguaggio C, libreria C, sistema operativo]]
* [[Esperimenti sugli algoritmi di Dekker e Peterson]]
* [[Tool per semafori e monitor]]
* [[Il ''catalogo'' delle System Call]]
* [[Syscall per file system: equivalenza comandi]]
* [[fork_vs_exec]]
* [[Compilazione kernel, busybox e macchine virtuali 2026]]
* [[Esperimenti con RAID6 (2026)]]
* [[Esempio didattico sul file system ext2 (2026)]]

Esempi, Esercizi ed Esperimenti 2025/26

2026-04-06T07:11:22Z

Renzo:

Esperimenti con RAID6 (2026)

2026-03-17T12:09:26Z

Renzo:

Il codice python che segue consente di provare sperimentalemnte le metodologie di fault tolerance descritte nell'articolo
[http://www.cs.unibo.it/~renzo//doc/papers/p245-blaum.pdf"EVENODD: An Optimal Scheme for Tolerating Double Disk Failures"] di Mario Blaurn et al.

<source lang=python>
#!/usr/bin/env python3

def print_table(tab, nrow, ncol):
for i in range(nrow):
for j in range(ncol):
print(tab[i][j], end=" ")
print()
print()

# delete a column
def fail(tab, nrow, f):
for i in range(nrow):
tab[i][f] = 'x'

# compute row parity
def compute_parity(tab, nrow, ncol):
for i in range(nrow):
p = 0
for j in range(ncol):
p ^= tab[i][j]
tab[i][ncol] = p

# compute diagonal parity
def compute_dparity(tab, nrow, ncol):
p = [0] * ncol
for i in range(nrow):
for j in range(ncol):
p[(i+j) % ncol] ^= tab[i][j]
# print(p): the last parity is encoded
# if s negate all the diag parity values
s = p[ncol - 1]
for i in range(nrow):
tab[i][ncol + 1] = p[i] ^ s

# restore row parity
def restorep(tab, nrow, ncol, f):
for i in range(nrow):
p = tab[i][ncol]
for j in range(ncol):
if j != f:
p ^= tab[i][j]
tab[i][f] = p

# restore diagonal parity
def restored(tab, nrow, ncol, f):
p = [tab[i][ncol + 1] for i in range(nrow)] + [0]
for i in range(nrow):
for j in range(ncol):
if j != f:
p[(i+j) % ncol] ^= tab[i][j]
# the last parity is encoded
# if s negate all the diag parity values
s = p[(f - 1) % ncol]
# print(p, s)
for i in range(nrow):
tab[i][f] = s ^ p[(f + i) % ncol]

# restore 2 data columns
def restore2(tab, nrow, ncol, f1, f2):
s = 0
for i in range(nrow):
s ^= tab[i][ncol] ^ tab[i][ncol + 1]
p = [s ^ tab[i][ncol + 1] for i in range(nrow)] + [s]
# print(s, p)
nindex = (nrow + f2) % ncol
for _ in range(nrow):
v = p[nindex]
# print(nindex, (nindex + 1) % ncol)
for i in range(nrow):
j = (nindex - i) % ncol
if j != f1:
v ^= tab[i][j]
else:
row = i
# print(row)
tab[row][f1] = v
nindex = (row + f2) % ncol
v = tab[row][ncol]
for j in range(ncol):
if j != f2:
v ^= tab[row][j]
tab[row][f2] = v

# MAIN
def main():
# input the table
tab=[]
while True:
line = input("")
if len(line) <= 1:
break
tab.append([int(x) for x in line.split()] + [0, 0])
nrow = len(tab)
ncol = len(tab[0]) - 2
# add parities row + diag
compute_parity(tab, nrow, ncol)
compute_dparity(tab, nrow, ncol)
print_table(tab, nrow, ncol + 2)

savetab = tab

while True:
line = input("failure ")
s = line.split()
# failures: 1 or 2 columns
if len(s) == 2:
f1, f2 = int(s[0]), int(s[1])
elif len(s) == 1:
f1 = f2 = int(s[0])
else:
return

fail(tab, nrow, f1)
fail(tab, nrow, f2)
print_table(tab, nrow, ncol + 2)
if f1 == f2:
print("1 faulty", f1)
# missing row parity
if f1 == ncol:
compute_parity(tab, nrow, ncol)
# missing diag parity
elif (f1 == ncol + 1):
compute_dparity(tab, nrow, ncol)
# missing data
else:
restorep(tab, nrow, ncol, f1)
else:
if f1 > f2:
f1, f2 = f2, f1
print("2 faulty", f1, f2)
if f1 == ncol:
# missind both parities
compute_parity(tab, nrow, ncol)
compute_dparity(tab, nrow, ncol)
# missind data + row parity
elif f2 == ncol + 1:
restorep(tab, nrow, ncol, f1)
compute_dparity(tab, nrow, ncol)
# missind data + diag parity
elif f2 == ncol:
restored(tab, nrow, ncol, f1)
compute_parity(tab, nrow, ncol)
pass
# missing two data columns
else:
restore2(tab, nrow, ncol, f1, f2)
print_table(tab, nrow, ncol + 2)
if tab == savetab:
print('OK')
else:
print('ERR!!!!')

if __name__ == "__main__":
main()
</source>

Esperimenti con RAID6 (2026)

2026-03-17T12:05:48Z

Renzo: Created page with "Il codice python che segue consente di provare sperimentalemnte le metodologie di fault tolerance descritte nell'articolo "EVENODD: An Optimal Scheme for Tolerating Double Dis..."

Il codice python che segue consente di provare sperimentalemnte le metodologie di fault tolerance descritte nell'articolo "EVENODD: An Optimal Scheme for Tolerating Double Disk Failures" di Mario Blaurn et al.

Esempi, Esercizi ed Esperimenti 2025/26

2026-03-17T12:05:00Z

Renzo:

Compilazione kernel, busybox e macchine virtuali 2026

2026-02-20T18:29:27Z

Renzo:

questa è una versione commentata dei comandi digitati nella lezione del 26 febbraio 2026

in una directory vuota di una partizione con spazio sufficiente (1G per stare dalla parte dei bottoni) si fa download dei sorgenti del kernel.
oggi l'ultima versione e' 6.19.3 (sul web www.kernel.org si decide quale versione scaricare)
wget https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-6.19.3.tar.xz

si scompattano i sorgenti e si entra nella dir scompattata
tar xf linux-6.19.3.tar.xz
cd linux-6.19.3

Ho preparato un file di configurazione minimale per qemu, potete prenderlo via web. Lo scarico in /tmp:
(cd /tmp; wget https://www.cs.unibo.it/~renzo/vsd/config4QEMU.2026.01.01)
e lo copio come .config nella dir base dei sorgenti del kernel
cp /tmp/config4QEMU.2026.01.01 .config
chiamo menuconfig per configurare il kernel
make menuconfig
potete configurare il kernel (o lasciare tutto invariato, e' stata caricata la cofigurazione minimale)
alla fine uscite salvando. A questo punto si puo' compilare il kernel. (mettete il numero dei processoti del
vostro sistema coma parametro -j di make)
make -j 8
A seconda di quante opzioni avete abilitato e quanto potente e' la macchina usata potete prendere un caffe'
o andare a dormire. Dopo un congruo tempo il kernel sara' pronto)

Spostiamolo il /tmp/vmlinuz
cp arch/x86_64/boot/bzImage /tmp/vmlinuz
cd ..
A questo punto possiamo attivare il kernel che partira' regolarmente...
qemu-system-x86_64 -kernel /tmp/vmlinuz -monitor stdio
Ma si blocchera' perche' una volta attivo non sa cosa fare, manca un init da lanciare.
Possiamo prendere una immagine minimale di file system che contenga init.
Per esempio una simie immagine puo' essere creata usando busybox (che fara' da solo init, shell e tool
di utilita')

Scarichiamo e decomprimiamo l'immagine
Wget https://www.cs.unibo.it/~renzo/virtualsquare/tutorial_resources/BusyBox-1.21.1-amd64-root_fs.bz2
bzip2 -d BusyBox-1.21.1-amd64-root_fs.bz2

Lanciamo la macchina virtuale, ed ora il sistema sara' attivo:
qemu-system-x86_64 -hda BusyBox-1.21.1-amd64-root_fs -kernel /tmp/bzImage -append root=/dev/sda -monitor stdio -k en-us -m 1G

Dentro la macchina virtuale potete "gironzolare" a guardare cosa c'e'.
Da notare :
ls -l /bin
mostra come tutti i comandi siano realizati come link simbolici a busybox.
uname -a
mostra la cersione e la data di compilazione del kernel, potete verificare che e' proprio
il kernel appena compilato che sta coordinando le attivita; del sistema.
poweroff
spegne la macchina virtuale.

Le macchine virtuali possono operare anche a livello di processo. Qemu per esempio ha comandi distinti per operare come VM di sistema
(qemu-system-...) e di processo (qemu-...).
Per fare questa prova facciamo download dei binari di busybox per diverse architetture:
wget https://busybox.net/downloads/binaries/1.21.1/busybox-binaries.tar.bz2
e decomprimiamo l'archivio
tar xf busybox-binaries.tar.bz2

Nella dir busybox ci sono gli eseguibili.
cd busybox/
Quello per la architettura corrente (x86_64 nella macchina usata in aula) funziona
./busybox-x86_64 ls
Gli altri dorebbero fallire (se non falliscono e' perche' c'e' un automatisco attivo che chiama qemu)
./busybox-mips ls
Possiamo comunque vedere qemu richiamato in modo esplicito che e' in grado di eseguire il binario busybox-mips (virtualizzando la CPU) ma
richiama le system call del sistema host.
qemu-mips busybox-mips ls

Compilazione kernel, busybox e macchine virtuali 2026

2026-02-20T18:28:01Z

Renzo: Created page with "questa è una versione commentata dei comandi digitati nella lezione del 26 febbraio 2026 in una directory vuota di una partizione con spazio sufficiente (1G per stare dalla..."

questa è una versione commentata dei comandi digitati nella lezione del 26 febbraio 2026

in una directory vuota di una partizione con spazio sufficiente (1G per stare dalla parte dei bottoni) si fa download dei sorgenti del kernel.
oggi l'ultima versione e' 6.19.3 (sul web www.kernel.org si decide quale versione scaricare)
wget https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-6.19.3.tar.xz

si scompattano i sorgenti e si entra nella dir scompattata
tar xf linux-6.19.3.tar.xz
cd linux-6.19.3

Ho preparato un file di configurazione minimale per qemu, potete prenderlo via web. Lo scarico in /tmp:
(cd /tmp; wget https://www.cs.unibo.it/~renzo/vsd/config4QEMU.2026.01.01)
e lo copio come .config nella dir base dei sorgenti del kernel
cp /tmp/config4QEMU.2026.01.01 .config
chiamo menuconfig per configurare il kernel
make menuconfig
potete configurare il kernel (o lasciare tutto invariato, e' stata caricata la cofigurazione minimale)
alla fine uscite salvando. A questo punto si puo' compilare il kernel. (mettete il numero dei processoti del
vostro sistema coma parametro -j di make)
make -j 8
A seconda di quante opzioni avete abilitato e quanto potente e' la macchina usata potete prendere un caffe'
o andare a dormire. Dopo un congruo tempo il kernel sara' pronto)

Spostiamolo il /tmp/vmlinuz
cp arch/x86_64/boot/bzImage /tmp/vmlinuz
cd ..
A questo punto possiamo attivare il kernel che partira' regolarmente...
qemu-system-x86_64 -kernel /tmp/vmlinuz -monitor stdio
Ma si blocchera' perche' una volta attivo non sa cosa fare, manca un init da lanciare.
Possiamo prendere una immagine minimale di file system che contenga init.
Per esempio una simie immagine puo' essere creata usando busybox (che fara' da solo init, shell e tool
di utilita')

Scarichiao e decomprimiamo l'immagine
wget http://fs.devloop.org.uk/filesystems/BusyBox-1.13.2/BusyBox-1.13.2-amd64-root_fs.bz2
bzip2 -d BusyBox-1.13.2-amd64-root_fs.bz2

Lanciamo la macchina virtuale, ed ora il sistema sara' attivo:
qemu-system-x86_64 -hda BusyBox-1.13.2-amd64-root_fs -kernel /tmp/bzImage -append root=/dev/sda -monitor stdio -k en-us -m 1G

Dentro la macchina virtuale potete "gironzolare" a guardare cosa c'e'.
Da notare :
ls -l /bin
mostra come tutti i comandi siano realizati come link simbolici a busybox.
uname -a
mostra la cersione e la data di compilazione del kernel, potete verificare che e' proprio
il kernel appena compilato che sta coordinando le attivita; del sistema.
poweroff
spegne la macchina virtuale.

Le macchine virtuali possono operare anche a livello di processo. Qemu per esempio ha comandi distinti per operare come VM di sistema
(qemu-system-...) e di processo (qemu-...).
Per fare questa prova facciamo download dei binari di busybox per diverse architetture:
wget https://busybox.net/downloads/binaries/1.21.1/busybox-binaries.tar.bz2
e decomprimiamo l'archivio
tar xf busybox-binaries.tar.bz2

Nella dir busybox ci sono gli eseguibili.
cd busybox/
Quello per la architettura corrente (x86_64 nella macchina usata in aula) funziona
./busybox-x86_64 ls
Gli altri dorebbero fallire (se non falliscono e' perche' c'e' un automatisco attivo che chiama qemu)
./busybox-mips ls
Possiamo comunque vedere qemu richiamato in modo esplicito che e' in grado di eseguire il binario busybox-mips (virtualizzando la CPU) ma
richiama le system call del sistema host.
qemu-mips busybox-mips ls

Compilazione kernel, busybox e macchine virtuali

2026-02-20T18:27:02Z

Renzo:

questa è una versione commentata dei comandi digitati nella lezione del 27 febbario 2019

in una directory vuota di una partizione con spazio sufficiente (1G per stare dalla parte dei bottoni) si fa download dei sorgenti del kernel.
oggi l'ultima versione e' 5.0-rc8 (sul web www.kernel.org si decide quale versione scaricare)
wget https://git.kernel.org/torvalds/t/linux-5.0-rc8.tar.gz
si scompattano i sorgenti e si entra nella dir scompattata
tar xf linux-5.0-rc8.tar.gz
cd linux-5.0-rc8

Ho preparato un file di configurazione minimale per qemu, potete prenderlo via web. Lo scarico in /tmp:
(cd /tmp; wget http://www.cs.unibo.it/~renzo/vsd/linux-config)
e lo copio come .config nella dir base dei sorgenti del kernel
cp /tmp/linux-config .config
chiamo menuconfig per configurare il kernel
make menuconfig
potete configurare il kernel (o lasciare tutto invariato, e' stata caricata la cofigurazione minimale)
alla fine uscite salvando. A questo punto si puo' compilare il kernel.
make -j 5
A seconda di quante opzioni avete abilitato e quanto potente e' la macchina usata potete prendere un caffe'
o andare a dormire. Dopo un congruo tempo il kernel sara' pronto)

Spostiamolo il /tmp/vmlinuz
cp arch/x86_64/boot/bzImage /tmp/vmlinuz
cd ..
A questo punto possiamo attivare il kernel che partira' regolarmente...
qemu-system-x86_64 -kernel /tmp/vmlinuz -monitor stdio
Ma si blocchera' perche' una volta attivo non sa cosa fare, manca un init da lanciare.
Possiamo prendere una immagine minimale di file system che contenga init.
Per esempio una simie immagine puo' essere creata usando busybox (che fara' da solo init, shell e tool
di utilita')

Scarichiao e decomprimiamo l'immagine
Wget https://www.cs.unibo.it/~renzo/virtualsquare/tutorial_resources/BusyBox-1.21.1-amd64-root_fs.bz2
bzip2 -d BusyBox-1.21.1-amd64-root_fs.bz2

Lanciamo la macchina virtuale, ed ora il sistema sara' attivo:
qemu-system-x86_64 -hda BusyBox-1.21.1-amd64-root_fs -kernel /tmp/bzImage -append root=/dev/sda -monitor stdio -k en-us -m 1G

Dentro la macchina virtuale potete "gironzolare" a guardare cosa c'e'.
Da notare :
ls -l /bin
mostra come tutti i comandi siano realizati come link simbolici a busybox.
uname -a
mostra la cersione e la data di compilazione del kernel, potete verificare che e' proprio
il kernel appena compilato che sta coordinando le attivita; del sistema.
poweroff
spegne la macchina virtuale.

Le macchine virtuali possono operare anche a livello di processo. Qemu per esempio ha comandi distinti per operare come VM di sistema
(qemu-system-...) e di processo (qemu-...).
Per fare questa prova facciamo download dei binari di busybox per diverse architetture:
wget https://busybox.net/downloads/binaries/1.21.1/busybox-binaries.tar.bz2
e decomprimiamo l'archivio
tar xf busybox-binaries.tar.bz2

Nella dir busybox ci sono gli eseguibili.
cd busybox/
Quello per la architettura corrente (x86_64 nella macchina usata in aula) funziona
./busybox-x86_64 ls
Gli altri dorebbero fallire (se non falliscono e' perche' c'e' un automatisco attivo che chiama qemu)
./busybox-mips ls
Possiamo comunque vedere qemu richiamato in modo esplicito che e' in grado di eseguire il binario busybox-mips (virtualizzando la CPU) ma
richiama le system call del sistema host.
qemu-mips busybox-mips ls

Esempi, Esercizi ed Esperimenti 2025/26

2026-02-20T18:16:40Z

Renzo:

Syscall per file system: equivalenza comandi

2025-11-13T10:56:24Z

Renzo:

<pre>
tutte queste syscall restituiscono il valore 0 se l'operazione ha
successo o -1 in caso di errore (il tipo di errore lo si legge nella
"variabile" errno).
Le system call indicate con (R!) possono essere eseguite solo da
utenti privilegiati (root)

// change working directory
chdir("/home/user") cd /home/user

// create directory
mkdir("/tmp/mydir", 0755) mkdir -m 755 /tmp/mydir

// remove (empty) directory
rmdir("/tmp/olddir") rmdir /tmp/olddir

// create (hard) link:
// add one more name to a file
link("vecchio", "/tmp/nuovo") ln vecchio /tmp/nuovo

// create symbolic link
symlink("vecchio", "/tmp/nuovolink") ln -s vecchio /tmp/nuovolink

// delete one name of a file,
// removed it when it has no more names
unlink("/tmp/dacancellare") rm /tmp/dacancellare

// rename a file (atomically!)
rename("vecchionome", "nuovonome") rename vecchionome nuovonome

// get file info (show i-node data)
struct stat buf;
stat("/tmp/symlink", &buf) stat -f /tmp/symlink
/* le info vengono scritte in buf */

// get file info
// (do not follow symbolic links)
struct stat buf;
lstat("/tmp/symlink", &buf) stat /tmp/symlink
/* le info vengono scritte in buf */

// change file permissions
chmod("/tmp/miofile", 0750) chmod 0750 /tmp/miofile

// change file ownership (R!)
chown("/tmp/miofile", 1000, 1000) chown 1000:1000 /tmp/miofile
/* il primo 1000 è l'user-id (uid),
il secondo è il group-id (gid) */

// change file ownership (R!)
// (do not follow symbolic links)
lchown("/tmp/miofile", 1000, 1000) chown -P 1000:1000 /tmp/miofile
/* il primo 1000 è l'user-id (uid),
il secondo è il group-id (gid) */

// truncate the contents of a file to a specific length
truncate("/tmp/file", 420) truncate -s 420 /tmp/file

// get info of a mounted file system
struct statfs buf;
statfs("/", &buf) statfs /
/* le info vengono scritte in buf */

// change root directory (R!)
chroot("/tmp/newroot") chroot /tmp/newroot

// mount a filesystem (R!)
mount("/dev/hda0", "/mnt", "ext4", MS_RDONLY, "")
mount -o ro -t ext4 /dev/hda0 /mnt

// umount a filesystem (R!)
umount("/mnt") umount /mnt

// create a special file
mknod("tmp/myfifo", S_IFIFO | 0770, 0) mkfifo -m 770 /tmp/myfifo

// create a special file (device) (R!)
// major number = 1, minor number = 7
mknod("/tmp/mydev", S_IFCHR | 0660, mknod -m 660 /tmp/mydev c 1 7
makedev(1, 7));

// change access/modification time
struct utimbuf ut = {time(NULL), time(NULL)};
utime("/tmp/myfile", &ut);
touch /tm/myfile

------------
// get the urrent working directory
// the glibc wrapper function returns
// a string
#include <linux/limits.h> readlink /tmp/symlink
...
char path[PATH_MAX]; pwd
if (getcwd(path, PATH_MAX) == NULL)
/* error management */

// read the value of a symbolic link
#include <linux/limits.h> readlink /tmp/symlink
...
char path[PATH_MAX];
ssize_t pathlen =
readlink("/tmp/symlink", path, PATH_MAX);
if (pathlen == -1) /* error management */ ;
else
path[pathlen] = 0;

// test if a file exists, or is readable/writable/executable
// the return value of access is 0=true (success), -1=false (failure)
// the exit value of the test command is 0=true, 1=false

access("/tmp/file", F_OK) ↔ test -e /tmp/file
access("/tmp/file", R_OK) ↔ test -r /tmp/file
access("/tmp/file", W_OK) ↔ test -w /tmp/file
access("/tmp/file", X_OK) ↔ test -x /tmp/file

</pre>

Fork vs exec

2025-11-11T17:04:23Z

Renzo:

Fork vs exec

2025-11-11T17:03:40Z

Renzo:

Fork vs exec

2025-11-11T17:02:45Z

Renzo: Created page with "FORK <pre> +------------------------------------+-----------+----------------------------------------------+ | Categoria | Ereditato | Dettagli..."

Syscall per file system: equivalenza comandi

2025-11-11T16:59:17Z

Renzo: Created page with "<pre> tutte queste syscall restituiscono il valore 0 se l'operazione ha s..."

<pre>
tutte queste syscall restituiscono il valore 0 se l'operazione ha
successo o -1 in caso di errore (il tipo di errore lo si legge nella
"variabile" errno).
Le system call indicate con (R!) possono essere eseguite solo da
utenti privilegiati (root)

// change working directory
chdir("/home/user") cd /home/user

// create directory
mkdir("/tmp/mydir", 0755) mkdir -m 755 /tmp/mydir

// remove (empty) directory
rmdir("/tmp/olddir") rmdir /tmp/olddir

// create (hard) link:
// add one more name to a file
link("vecchio", "/tmp/nuovo") ln vecchio /tmp/nuovo

// create symbolic link
link("vecchio", "/tmp/nuovolink") ln -s vecchio /tmp/nuovolink

// delete one name of a file,
// removed it when it has no more names
unlink("/tmp/dacancellare") rm /tmp/dacancellare

// rename a file (atomically!)
rename("vecchionome", "nuovonome") rename vecchionome nuovonome

// get file info (show i-node data)
struct stat buf;
stat("/tmp/symlink", &buf) stat -f /tmp/symlink
/* le info vengono scritte in buf */

// get file info
// (do not follow symbolic links)
struct stat buf;
lstat("/tmp/symlink", &buf) stat /tmp/symlink
/* le info vengono scritte in buf */

// change file permissions
chmod("/tmp/miofile", 0750) chmod 0750 /tmp/miofile

// change file ownership (R!)
chown("/tmp/miofile", 1000, 1000) chown 1000:1000 /tmp/miofile
/* il primo 1000 è l'user-id (uid),
il secondo è il group-id (gid) */

// change file ownership (R!)
// (do not follow symbolic links)
lchown("/tmp/miofile", 1000, 1000) chown -P 1000:1000 /tmp/miofile
/* il primo 1000 è l'user-id (uid),
il secondo è il group-id (gid) */

// truncate the contents of a file to a specific length
truncate("/tmp/file", 420) truncate -s 420 /tmp/file

// get info of a mounted file system
struct statfs buf;
statfs("/", &buf) statfs /
/* le info vengono scritte in buf */

// change root directory (R!)
chroot("/tmp/newroot") chroot /tmp/newroot

// mount a filesystem (R!)
mount("/dev/hda0", "/mnt", "ext4", MS_RDONLY, "")
mount -o ro -t ext4 /dev/hda0 /mnt

// umount a filesystem (R!)
umount("/mnt") umount /mnt

// create a special file
mknod("tmp/myfifo", S_IFIFO | 0770, 0) mkfifo -m 770 /tmp/myfifo

// create a special file (device) (R!)
// major number = 1, minor number = 7
mknod("/tmp/mydev", S_IFCHR | 0660, mknod -m 660 /tmp/mydev c 1 7
makedev(1, 7));

// change access/modification time
struct utimbuf ut = {time(NULL), time(NULL)};
utime("/tmp/myfile", &ut);
touch /tm/myfile

------------
// get the urrent working directory
// the glibc wrapper function returns
// a string
#include <linux/limits.h> readlink /tmp/symlink
...
char path[PATH_MAX]; pwd
if (getcwd(path, PATH_MAX) == NULL)
/* error management */

// read the value of a symbolic link
#include <linux/limits.h> readlink /tmp/symlink
...
char path[PATH_MAX];
ssize_t pathlen =
readlink("/tmp/symlink", path, PATH_MAX);
if (pathlen == -1) /* error management */ ;
else
path[pathlen] = 0;

// test if a file exists, or is readable/writable/executable
// the return value of access is 0=true (success), -1=false (failure)
// the exit value of the test command is 0=true, 1=false

access("/tmp/file", F_OK) ↔ test -e /tmp/file
access("/tmp/file", R_OK) ↔ test -r /tmp/file
access("/tmp/file", W_OK) ↔ test -w /tmp/file
access("/tmp/file", X_OK) ↔ test -x /tmp/file

</pre>

Esempi, Esercizi ed Esperimenti 2025/26

2025-11-11T16:57:49Z

Renzo:

Il ''catalogo'' delle System Call

2025-11-08T11:01:12Z

Renzo:

Fra parentesi le chiamate raramente usate direttamente, in ''italico'' le chiamate obsolete.
' indica che l'interfaccia fornita dalla libreria C non coincide con quella della system call.

Per studiare l'evoluzione di UNIX nel tempo, [http://man.cat-v.org/ questo sito web] fornisce un archivio delle pagine di manuale a partire dalle prime versioni.

== gestione processi ==

* [http://www.unix.com/man-page/Linux/2/fork/ fork], [http://www.unix.com/man-page/Linux/2/vfork/ ''vfork'']
* [http://www.unix.com/man-page/Linux/2/clone/ (clone')]
* [http://www.unix.com/man-page/Linux/2/exit/ _exit]
* [http://www.unix.com/man-page/Linux/2/wait/ wait], [http://www.unix.com/man-page/Linux/2/waitpid/ waitpid], [http://www.unix.com/man-page/Linux/2/wait3/ wait3], [http://www.unix.com/man-page/Linux/2/wait4/ wait4]
* [http://www.unix.com/man-page/Linux/2/nice/ nice]
* [http://www.unix.com/man-page/Linux/2/getpriority/ getpriority], [http://www.unix.com/man-page/Linux/2/setpriority/ setpriority]

* [http://www.unix.com/man-page/Linux/2/getpid/ getpid], [http://www.unix.com/man-page/Linux/2/getppid/ getppid]
* [http://www.unix.com/man-page/Linux/2/getpgid/ getpgid], [http://www.unix.com/man-page/Linux/2/setpgid/ setpgid]
* [http://www.unix.com/man-page/Linux/2/getsid/ getsid]

== gestione file ==
* [http://www.unix.com/man-page/Linux/2/open/ open], [http://www.unix.com/man-page/Linux/2/creat/ ''creat''], [http://www.unix.com/man-page/Linux/2/openat/ openat]
* [http://www.unix.com/man-page/Linux/2/read/ read], [http://www.unix.com/man-page/Linux/2/write/ write]
* [http://www.unix.com/man-page/Linux/2/readv/ readv], [http://www.unix.com/man-page/Linux/2/writev/ writev]
* [http://www.unix.com/man-page/Linux/2/pread/ pread], [http://www.unix.com/man-page/Linux/2/pwrite/ pwrite]
* [http://www.unix.com/man-page/Linux/2/lseek/ lseek]
* [http://www.unix.com/man-page/Linux/2/close/ close]
* [http://www.unix.com/man-page/Linux/2/fcntl/ fcntl]
* [http://www.unix.com/man-page/Linux/2/ioctl/ ioctl]
* [http://www.unix.com/man-page/Linux/2/dup/ dup], [http://www.unix.com/man-page/Linux/2/dup2/ dup2]
* [http://www.unix.com/man-page/Linux/2/sendfile/ sendfile]
* [http://www.unix.com/man-page/Linux/2/flock/ flock]

== gestione file system ==
* [http://www.unix.com/man-page/Linux/2/chdir/ chdir], [http://www.unix.com/man-page/Linux/2/fchdir/ fchdir]
* [http://www.unix.com/man-page/Linux/2/mkdir/ mkdir], [http://www.unix.com/man-page/Linux/2/rmdir/ rmdir]
* [http://www.unix.com/man-page/Linux/2/getcwd/ getcwd']
* [http://www.unix.com/man-page/Linux/2/link/ link], [http://www.unix.com/man-page/Linux/2/symlink/ symlink], [http://www.unix.com/man-page/Linux/2/readlink/ readlink], [http://www.unix.com/man-page/Linux/2/unlink/ unlink], [http://www.unix.com/man-page/Linux/2/rename/ rename]
* [http://www.unix.com/man-page/Linux/2/stat/ stat], [http://www.unix.com/man-page/Linux/2/lstat/ lstat], [http://www.unix.com/man-page/Linux/2/fstat/ fstat]
* [http://www.unix.com/man-page/Linux/2/mknod/ mknod]
* [http://www.unix.com/man-page/Linux/2/chown/ chown], [http://www.unix.com/man-page/Linux/2/fchown/ fchown], [http://www.unix.com/man-page/Linux/2/lchown/ lchown]
* [http://www.unix.com/man-page/Linux/2/chmod/ chmod], [http://www.unix.com/man-page/Linux/2/fchmod/ fchmod], ([http://www.unix.com/man-page/Linux/2/lchmod/ lchmod], non esiste in Linux)
* [http://www.unix.com/man-page/Linux/2/access/ access]
* [http://www.unix.com/man-page/Linux/2/mount/ mount], [http://www.unix.com/man-page/Linux/2/umount/ ''umount''], [http://www.unix.com/man-page/Linux/2/umount2/ umount2]
* [http://www.unix.com/man-page/Linux/2/sync/ sync]
* [http://www.unix.com/man-page/Linux/2/utime/ utime]
* [http://www.unix.com/man-page/Linux/2/umask/ umask]
* [http://www.unix.com/man-page/Linux/2/chroot/ chroot]
* [http://www.unix.com/man-page/Linux/2/ustat/ ustat]
* [http://www.unix.com/man-page/Linux/2/truncate/ truncate], [http://www.unix.com/man-page/Linux/2/ftruncate/ ftruncate]
* [http://www.unix.com/man-page/Linux/2/statfs/ statfs], [http://www.unix.com/man-page/Linux/2/fstatfs/ fstatfs]
* [http://www.unix.com/man-page/Linux/2/getfsuid/ getfsuid], [http://www.unix.com/man-page/Linux/2/setfsuid/ setfsuid]
* [http://www.unix.com/man-page/Linux/2/getdents/ (getdents)]

at calls:
* [http://www.unix.com/man-page/Linux/2/mkdirat/ mkdirat], [http://www.unix.com/man-page/Linux/2/mknodat/ mknodat], [http://www.unix.com/man-page/Linux/2/fchownat/ fchownat], [http://www.unix.com/man-page/Linux/2/futimesat/ futimesat], [http://www.unix.com/man-page/Linux/2/fstatat/ fstatat], [http://www.unix.com/man-page/Linux/2// ][http://www.unix.com/man-page/Linux/2/unlinkat/ unlinkat], [http://www.unix.com/man-page/Linux/2/renameat/ renameat], [http://www.unix.com/man-page/Linux/2/linkat/ linkat], [http://www.unix.com/man-page/Linux/2/symlinkat/ symlinkat], [http://www.unix.com/man-page/Linux/2// ][http://www.unix.com/man-page/Linux/2/readlinkat/ readlinkat], [http://www.unix.com/man-page/Linux/2/fchmodat/ fchmodat], [http://www.unix.com/man-page/Linux/2/faccessat/ faccessat]

== gestione utenti ==
* [http://www.unix.com/man-page/Linux/2/getuid/ getuid], [http://www.unix.com/man-page/Linux/2/setuid/ setuid]
* [http://www.unix.com/man-page/Linux/2/getgid/ getgid], [http://www.unix.com/man-page/Linux/2/setgid/ setgid]
* [http://www.unix.com/man-page/Linux/2/geteuid/ geteuid], [http://www.unix.com/man-page/Linux/2/seteuid/ seteuid]
* [http://www.unix.com/man-page/Linux/2/getegid/ getegid], [http://www.unix.com/man-page/Linux/2/setegid/ setegid]
* [http://www.unix.com/man-page/Linux/2/getresuid/ getresuid], [http://www.unix.com/man-page/Linux/2/setresuid/ setresuid]
* [http://www.unix.com/man-page/Linux/2/getresgid/ getresgid], [http://www.unix.com/man-page/Linux/2/setresgid/ setresgid]
* [http://www.unix.com/man-page/Linux/2/getgroups/ getgroups], [http://www.unix.com/man-page/Linux/2/setgroups/ setgroups]

== debug/profiling ==
* [http://www.unix.com/man-page/Linux/2/ptrace/ ptrace]
* [http://www.unix.com/man-page/Linux/2/process_vm_readv/ process_vm_readv], [http://www.unix.com/man-page/Linux/2/process_vm_writev/ process_vm_writev]
* [http://www.unix.com/man-page/Linux/2/times/ times]
* [http://www.unix.com/man-page/Linux/2/acct/ acct]
* [http://www.unix.com/man-page/Linux/2/getrlimit/ getrlimit], [http://www.unix.com/man-page/Linux/2/setrlimit/ setrlimit], [http://www.unix.com/man-page/Linux/2/getrusage/ getrusage]

== segnali ==
* [http://www.unix.com/man-page/Linux/2/kill/ kill]
* [http://www.unix.com/man-page/Linux/2/signal/ signal]
* [http://www.unix.com/man-page/Linux/2/alarm/ alarm]
* [http://www.unix.com/man-page/Linux/2/pause/ pause]
* [http://www.unix.com/man-page/Linux/2/sigaction/ sigaction]
* [http://www.unix.com/man-page/Linux/2/sigprocmask/ sigprocmask]
* [http://www.unix.com/man-page/Linux/2/sigsuspend/ sigsuspend]
* [http://www.unix.com/man-page/Linux/2/sigpending/ sigpending]
* [http://www.unix.com/man-page/Linux/2/getitimer/ getitimer], [http://www.unix.com/man-page/Linux/2/setitimer/ setitimer]

== attesa eventi ==
* [http://www.unix.com/man-page/Linux/2/select/ select]
* [http://www.unix.com/man-page/Linux/2/poll/ poll]
* [http://www.unix.com/man-page/Linux/2/pselect/ pselect]
* [http://www.unix.com/man-page/Linux/2/ppoll/ ppoll]

== comunicazione ==
* [http://www.unix.com/man-page/Linux/2/pipe/ pipe]

== memoria ==
* [http://www.unix.com/man-page/Linux/2/execve/ execve]
* [http://www.unix.com/man-page/Linux/2/brk/ (brk)]
* [http://www.unix.com/man-page/Linux/2/mmap/ mmap], [http://www.unix.com/man-page/Linux/2/munmap/ munmap]
* [http://www.unix.com/man-page/Linux/2/mprotect/ mprotect]
* [http://www.unix.com/man-page/Linux/2/mremap/ mremap]
* [http://www.unix.com/man-page/Linux/2/msync/ msync]
* [http://www.unix.com/man-page/Linux/2/madvise/ madvise]
* [http://www.unix.com/man-page/Linux/2/getpagesize/ getpagesize]

== tempo ==
* [http://www.unix.com/man-page/Linux/2/time/ time]
* [http://www.unix.com/man-page/Linux/2/gettimeofday/ gettimeofday], [http://www.unix.com/man-page/Linux/2/settimeofday/ settimeofday]
* [http://www.unix.com/man-page/Linux/2/adjtimex/ adjtimex]
* [http://www.unix.com/man-page/Linux/2/nanosleep/ nanosleep]

== misc ==
* [http://www.unix.com/man-page/Linux/2/gethostname/ gethostname], [http://www.unix.com/man-page/Linux/2/sethostname/ sethostname]
* [http://www.unix.com/man-page/Linux/2/getdomainname/ getdomainname], [http://www.unix.com/man-page/Linux/2/setdomainname/ setdomainname]
* [http://www.unix.com/man-page/Linux/2/sched_yield/ sched_yield]
* [http://www.unix.com/man-page/Linux/2/reboot/ reboot]
* [http://www.unix.com/man-page/Linux/2/sysinfo/ sysinfo], [http://www.unix.com/man-page/Linux/2/uname/ uname]
* [http://www.unix.com/man-page/Linux/2/capget/ capget], [http://www.unix.com/man-page/Linux/2/capset/ capset]

== sysV IPC ==
* [http://www.unix.com/man-page/Linux/2/shmget/ ''shmget], [http://www.unix.com/man-page/Linux/2/shmat/ shmat], [http://www.unix.com/man-page/Linux/2/shmdt/ shmdt], [http://www.unix.com/man-page/Linux/2/shmctl/ shmctl'']
* [http://www.unix.com/man-page/Linux/2/semget/ ''semget], [http://www.unix.com/man-page/Linux/2/semop/ semop], [http://www.unix.com/man-page/Linux/2/semctl/ semctl'']
* [http://www.unix.com/man-page/Linux/2/msgget/ ''msgget], [http://www.unix.com/man-page/Linux/2/msgsnd/ msgsnd], [http://www.unix.com/man-page/Linux/2/msgrcv/ msgrcv], [http://www.unix.com/man-page/Linux/2/msgctl/ msgctl'']

== Berkeley socket ==
* [http://www.unix.com/man-page/Linux/2/socket/ socket]
* [http://www.unix.com/man-page/Linux/2/bind/ bind]
* [http://www.unix.com/man-page/Linux/2/listen/ listen]
* [http://www.unix.com/man-page/Linux/2/accept/ accept]
* [http://www.unix.com/man-page/Linux/2/connect/ connect]
* [http://www.unix.com/man-page/Linux/2/sendto/ sendto], [http://www.unix.com/man-page/Linux/2/recvfrom/ recvfrom]
* [http://www.unix.com/man-page/Linux/2/sendmsg/ sendmsg], [http://www.unix.com/man-page/Linux/2/recvmsg/ recvmsg]
* [http://www.unix.com/man-page/Linux/2/sengmmsg/ sengmmsg], [http://www.unix.com/man-page/Linux/2/recvmmsg/ recvmmsg]
* [http://www.unix.com/man-page/Linux/2/shutdown/ shutdown]
* [http://www.unix.com/man-page/Linux/2/getsockname/ getsockname], [http://www.unix.com/man-page/Linux/2/getpeername/ getpeername]
* [http://www.unix.com/man-page/Linux/2/socketpair/ socketpair]
* [http://www.unix.com/man-page/Linux/2/getsockopt/ getsockopt], [http://www.unix.com/man-page/Linux/2/setsockopt/ setsockopt]

Il ''catalogo'' delle System Call

2025-11-08T09:18:01Z

Renzo:

Fra parentesi le chiamate raramente usate direttamente, in ''italico'' le chiamate obsolete.
' indica che l'interfaccia fornita dalla libreria C non coincide con quella della system call.

Per studiare l'evoluzione di UNIX nel tempo, [http://man.cat-v.org/ questo sito web] fornisce un archivio delle pagine di manuale a partire dalle prime versioni.

== gestione processi ==

* [http://www.unix.com/man-page/Linux/2/fork/ fork], [http://www.unix.com/man-page/Linux/2/vfork/ ''vfork'']
* [http://www.unix.com/man-page/Linux/2/clone/ (clone')]
* [http://www.unix.com/man-page/Linux/2/exit/ _exit]
* [http://www.unix.com/man-page/Linux/2/wait/ wait], [http://www.unix.com/man-page/Linux/2/waitpid/ waitpid], [http://www.unix.com/man-page/Linux/2/wait3/ wait3], [http://www.unix.com/man-page/Linux/2/wait4/ wait4]
* [http://www.unix.com/man-page/Linux/2/nice/ nice]
* [http://www.unix.com/man-page/Linux/2/getpriority/ getpriority], [http://www.unix.com/man-page/Linux/2/setpriority/ setpriority]

* [http://www.unix.com/man-page/Linux/2/getpid/ getpid], [http://www.unix.com/man-page/Linux/2/getppid/ getppid]
* [http://www.unix.com/man-page/Linux/2/getpgid/ getpgid], [http://www.unix.com/man-page/Linux/2/setpgid/ setpgid]
* [http://www.unix.com/man-page/Linux/2/getsid/ getsid]

== gestione file ==
* [http://www.unix.com/man-page/Linux/2/open/ open], [http://www.unix.com/man-page/Linux/2/creat/ ''creat''], [http://www.unix.com/man-page/Linux/2/openat/ openat]
* [http://www.unix.com/man-page/Linux/2/read/ read], [http://www.unix.com/man-page/Linux/2/write/ write]
* [http://www.unix.com/man-page/Linux/2/readv/ readv], [http://www.unix.com/man-page/Linux/2/writev/ writev]
* [http://www.unix.com/man-page/Linux/2/pread/ pread], [http://www.unix.com/man-page/Linux/2/pwrite/ pwrite]
* [http://www.unix.com/man-page/Linux/2/lseek/ lseek]
* [http://www.unix.com/man-page/Linux/2/close/ close]
* [http://www.unix.com/man-page/Linux/2/fcntl/ fcntl]
* [http://www.unix.com/man-page/Linux/2/ioctl/ ioctl]
* [http://www.unix.com/man-page/Linux/2/dup/ dup], [http://www.unix.com/man-page/Linux/2/dup2/ dup2]
* [http://www.unix.com/man-page/Linux/2/sendfile/ sendfile]
* [http://www.unix.com/man-page/Linux/2/flock/ flock]

== gestione file system ==
* [http://www.unix.com/man-page/Linux/2/chdir/ chdir], [http://www.unix.com/man-page/Linux/2/fchdir/ fchdir]
* [http://www.unix.com/man-page/Linux/2/mkdir/ mkdir], [http://www.unix.com/man-page/Linux/2/rmdir/ rmdir]
* [http://www.unix.com/man-page/Linux/2/getcwd/ getcwd']
* [http://www.unix.com/man-page/Linux/2/link/ link], [http://www.unix.com/man-page/Linux/2/symlink/ symlink], [http://www.unix.com/man-page/Linux/2/readlink/ readlink], [http://www.unix.com/man-page/Linux/2/unlink/ unlink], [http://www.unix.com/man-page/Linux/2/rename/ rename]
* [http://www.unix.com/man-page/Linux/2/stat/ stat], [http://www.unix.com/man-page/Linux/2/lstat/ lstat], [http://www.unix.com/man-page/Linux/2/fstat/ fstat]
* [http://www.unix.com/man-page/Linux/2/mknod/ mknod]
* [http://www.unix.com/man-page/Linux/2/chown/ chown], [http://www.unix.com/man-page/Linux/2/fchown/ fchown], [http://www.unix.com/man-page/Linux/2/lchown/ lchown]
* [http://www.unix.com/man-page/Linux/2/chmod/ chmod], [http://www.unix.com/man-page/Linux/2/fchmod/ fchmod], ([http://www.unix.com/man-page/Linux/2/lchmod/ lchmod], non esiste in Linux)
* [http://www.unix.com/man-page/Linux/2/access/ access]
* [http://www.unix.com/man-page/Linux/2/mount/ mount], [http://www.unix.com/man-page/Linux/2/umount/ ''umount''], [http://www.unix.com/man-page/Linux/2/umount2/ umount2]
* [http://www.unix.com/man-page/Linux/2/sync/ sync]
* [http://www.unix.com/man-page/Linux/2/utime/ utime]
* [http://www.unix.com/man-page/Linux/2/umask/ umask]
* [http://www.unix.com/man-page/Linux/2/chroot/ chroot]
* [http://www.unix.com/man-page/Linux/2/ustat/ ustat]
* [http://www.unix.com/man-page/Linux/2/truncate/ truncate], [http://www.unix.com/man-page/Linux/2/ftruncate/ ftruncate]
* [http://www.unix.com/man-page/Linux/2/statfs/ statfs], [http://www.unix.com/man-page/Linux/2/fstatfs/ fstatfs]
* [http://www.unix.com/man-page/Linux/2/getfsuid/ getfsuid], [http://www.unix.com/man-page/Linux/2/setfsuid/ setfsuid]
* [http://www.unix.com/man-page/Linux/2/getdents/ (getdents)]

at calls:
* [http://www.unix.com/man-page/Linux/2/mkdirat/ mkdirat], [http://www.unix.com/man-page/Linux/2/mknodat/ mknodat], [http://www.unix.com/man-page/Linux/2/fchownat/ fchownat], [http://www.unix.com/man-page/Linux/2/futimesat/ futimesat], [http://www.unix.com/man-page/Linux/2/fstatat/ fstatat], [http://www.unix.com/man-page/Linux/2// ][http://www.unix.com/man-page/Linux/2/unlinkat/ unlinkat], [http://www.unix.com/man-page/Linux/2/renameat/ renameat], [http://www.unix.com/man-page/Linux/2/linkat/ linkat], [http://www.unix.com/man-page/Linux/2/symlinkat/ symlinkat], [http://www.unix.com/man-page/Linux/2// ][http://www.unix.com/man-page/Linux/2/readlinkat/ readlinkat], [http://www.unix.com/man-page/Linux/2/fchmodat/ fchmodat], [http://www.unix.com/man-page/Linux/2/faccessat/ faccessat]

== gestione utenti ==
* [http://www.unix.com/man-page/Linux/2/getuid/ getuid], [http://www.unix.com/man-page/Linux/2/setuid/ setuid]
* [http://www.unix.com/man-page/Linux/2/getgid/ getgid], [http://www.unix.com/man-page/Linux/2/setgid/ setgid]
* [http://www.unix.com/man-page/Linux/2/geteuid/ geteuid], [http://www.unix.com/man-page/Linux/2/seteuid/ seteuid]
* [http://www.unix.com/man-page/Linux/2/getreiud/ getreiud], [http://www.unix.com/man-page/Linux/2/setreuid/ setreuid]
* [http://www.unix.com/man-page/Linux/2/getresuid/ getresuid], [http://www.unix.com/man-page/Linux/2/setresuid/ setresuid]
* [http://www.unix.com/man-page/Linux/2/getresgid/ getresgid], [http://www.unix.com/man-page/Linux/2/setresgid/ setresgid]
* [http://www.unix.com/man-page/Linux/2/getgroups/ getgroups], [http://www.unix.com/man-page/Linux/2/setgroups/ setgroups]

== debug/profiling ==
* [http://www.unix.com/man-page/Linux/2/ptrace/ ptrace]
* [http://www.unix.com/man-page/Linux/2/process_vm_readv/ process_vm_readv], [http://www.unix.com/man-page/Linux/2/process_vm_writev/ process_vm_writev]
* [http://www.unix.com/man-page/Linux/2/times/ times]
* [http://www.unix.com/man-page/Linux/2/acct/ acct]
* [http://www.unix.com/man-page/Linux/2/getrlimit/ getrlimit], [http://www.unix.com/man-page/Linux/2/setrlimit/ setrlimit], [http://www.unix.com/man-page/Linux/2/getrusage/ getrusage]

== segnali ==
* [http://www.unix.com/man-page/Linux/2/kill/ kill]
* [http://www.unix.com/man-page/Linux/2/signal/ signal]
* [http://www.unix.com/man-page/Linux/2/alarm/ alarm]
* [http://www.unix.com/man-page/Linux/2/pause/ pause]
* [http://www.unix.com/man-page/Linux/2/sigaction/ sigaction]
* [http://www.unix.com/man-page/Linux/2/sigprocmask/ sigprocmask]
* [http://www.unix.com/man-page/Linux/2/sigsuspend/ sigsuspend]
* [http://www.unix.com/man-page/Linux/2/sigpending/ sigpending]
* [http://www.unix.com/man-page/Linux/2/getitimer/ getitimer], [http://www.unix.com/man-page/Linux/2/setitimer/ setitimer]

== attesa eventi ==
* [http://www.unix.com/man-page/Linux/2/select/ select]
* [http://www.unix.com/man-page/Linux/2/poll/ poll]
* [http://www.unix.com/man-page/Linux/2/pselect/ pselect]
* [http://www.unix.com/man-page/Linux/2/ppoll/ ppoll]

== comunicazione ==
* [http://www.unix.com/man-page/Linux/2/pipe/ pipe]

== memoria ==
* [http://www.unix.com/man-page/Linux/2/execve/ execve]
* [http://www.unix.com/man-page/Linux/2/brk/ (brk)]
* [http://www.unix.com/man-page/Linux/2/mmap/ mmap], [http://www.unix.com/man-page/Linux/2/munmap/ munmap]
* [http://www.unix.com/man-page/Linux/2/mprotect/ mprotect]
* [http://www.unix.com/man-page/Linux/2/mremap/ mremap]
* [http://www.unix.com/man-page/Linux/2/msync/ msync]
* [http://www.unix.com/man-page/Linux/2/madvise/ madvise]
* [http://www.unix.com/man-page/Linux/2/getpagesize/ getpagesize]

== tempo ==
* [http://www.unix.com/man-page/Linux/2/time/ time]
* [http://www.unix.com/man-page/Linux/2/gettimeofday/ gettimeofday], [http://www.unix.com/man-page/Linux/2/settimeofday/ settimeofday]
* [http://www.unix.com/man-page/Linux/2/adjtimex/ adjtimex]
* [http://www.unix.com/man-page/Linux/2/nanosleep/ nanosleep]

== misc ==
* [http://www.unix.com/man-page/Linux/2/gethostname/ gethostname], [http://www.unix.com/man-page/Linux/2/sethostname/ sethostname]
* [http://www.unix.com/man-page/Linux/2/getdomainname/ getdomainname], [http://www.unix.com/man-page/Linux/2/setdomainname/ setdomainname]
* [http://www.unix.com/man-page/Linux/2/sched_yield/ sched_yield]
* [http://www.unix.com/man-page/Linux/2/reboot/ reboot]
* [http://www.unix.com/man-page/Linux/2/sysinfo/ sysinfo], [http://www.unix.com/man-page/Linux/2/uname/ uname]
* [http://www.unix.com/man-page/Linux/2/capget/ capget], [http://www.unix.com/man-page/Linux/2/capset/ capset]

== sysV IPC ==
* [http://www.unix.com/man-page/Linux/2/shmget/ ''shmget], [http://www.unix.com/man-page/Linux/2/shmat/ shmat], [http://www.unix.com/man-page/Linux/2/shmdt/ shmdt], [http://www.unix.com/man-page/Linux/2/shmctl/ shmctl'']
* [http://www.unix.com/man-page/Linux/2/semget/ ''semget], [http://www.unix.com/man-page/Linux/2/semop/ semop], [http://www.unix.com/man-page/Linux/2/semctl/ semctl'']
* [http://www.unix.com/man-page/Linux/2/msgget/ ''msgget], [http://www.unix.com/man-page/Linux/2/msgsnd/ msgsnd], [http://www.unix.com/man-page/Linux/2/msgrcv/ msgrcv], [http://www.unix.com/man-page/Linux/2/msgctl/ msgctl'']

== Berkeley socket ==
* [http://www.unix.com/man-page/Linux/2/socket/ socket]
* [http://www.unix.com/man-page/Linux/2/bind/ bind]
* [http://www.unix.com/man-page/Linux/2/listen/ listen]
* [http://www.unix.com/man-page/Linux/2/accept/ accept]
* [http://www.unix.com/man-page/Linux/2/connect/ connect]
* [http://www.unix.com/man-page/Linux/2/sendto/ sendto], [http://www.unix.com/man-page/Linux/2/recvfrom/ recvfrom]
* [http://www.unix.com/man-page/Linux/2/sendmsg/ sendmsg], [http://www.unix.com/man-page/Linux/2/recvmsg/ recvmsg]
* [http://www.unix.com/man-page/Linux/2/sengmmsg/ sengmmsg], [http://www.unix.com/man-page/Linux/2/recvmmsg/ recvmmsg]
* [http://www.unix.com/man-page/Linux/2/shutdown/ shutdown]
* [http://www.unix.com/man-page/Linux/2/getsockname/ getsockname], [http://www.unix.com/man-page/Linux/2/getpeername/ getpeername]
* [http://www.unix.com/man-page/Linux/2/socketpair/ socketpair]
* [http://www.unix.com/man-page/Linux/2/getsockopt/ getsockopt], [http://www.unix.com/man-page/Linux/2/setsockopt/ setsockopt]

Esempi, Esercizi ed Esperimenti 2025/26

2025-10-23T10:02:24Z

Renzo:

Esempi, Esercizi ed Esperimenti 2025/26

2025-10-14T09:35:53Z

Renzo:

Esempi, Esercizi ed Esperimenti 2025/26

2025-10-01T05:50:29Z

Renzo: Created page with "* prin_C_ples * Esempi sulla rappresentazione dei dati * Linguaggio C, libreria C, sistema operativo * Esperimenti sugli algoritmi di Dekker e Peterson"

* [[prin_C_ples]]
* [[Esempi sulla rappresentazione dei dati]]
* [[Linguaggio C, libreria C, sistema operativo]]
* [[Esperimenti sugli algoritmi di Dekker e Peterson]]

Main Page

2025-09-22T16:39:22Z

Renzo: /* ANNO ACCADEMICO 2024/25 */

Questo è il Wiki del Corso di [http://www.cs.unibo.it/~renzo/so Sistemi Operativi] della LT in Informatica dell'[https://www.unibo.it/it Università di Bologna].

== ANNO ACCADEMICO 2025/26 ==

=== Materiale didattico ===
* [[Documenti 2025/26]]
* [[Esempi, Esercizi ed Esperimenti 2025/26]]
* [[Decalogo di Programmazione Concorrente]]: suggerimenti e regole di massima per non scrivere programmi concorrenti sicuramente sbagliati

== ANNI PRECEDENTI ==
* [[Materiale dell'AA 2024-25]]
* [[Materiale dell'AA 2023-24]]
* [[Materiale dell'AA 2022-23]]
* [[Materiale dell'AA 2021-22]]
* [[Materiale dell'AA 2020-21]]
* [[Materiale dell'AA 2019-20]]
* [[Materiale dell'AA 2018-19]]
* [[Materiale dell'AA 2017-18]]
* [[Materiale dell'AA 2016-17]]
* [[Materiale dell'AA 2015-16]]
* [[Materiale dell'AA 2014-15]]
* [[Materiale dell'AA 2013-14]]

== ISCRIZIONE AL WIKI ==
Quando viene richiesto di risolvere un semplice calcolo aritmetico per creare un account occorre ricordare quanto scritto [[qui]].

Main Page

2025-09-22T16:39:08Z

Renzo: /* Materiale didattico */

Questo è il Wiki del Corso di [http://www.cs.unibo.it/~renzo/so Sistemi Operativi] della LT in Informatica dell'[https://www.unibo.it/it Università di Bologna].

== ANNO ACCADEMICO 2024/25 ==

=== Materiale didattico ===
* [[Documenti 2025/26]]
* [[Esempi, Esercizi ed Esperimenti 2025/26]]
* [[Decalogo di Programmazione Concorrente]]: suggerimenti e regole di massima per non scrivere programmi concorrenti sicuramente sbagliati

== ANNI PRECEDENTI ==
* [[Materiale dell'AA 2024-25]]
* [[Materiale dell'AA 2023-24]]
* [[Materiale dell'AA 2022-23]]
* [[Materiale dell'AA 2021-22]]
* [[Materiale dell'AA 2020-21]]
* [[Materiale dell'AA 2019-20]]
* [[Materiale dell'AA 2018-19]]
* [[Materiale dell'AA 2017-18]]
* [[Materiale dell'AA 2016-17]]
* [[Materiale dell'AA 2015-16]]
* [[Materiale dell'AA 2014-15]]
* [[Materiale dell'AA 2013-14]]

== ISCRIZIONE AL WIKI ==
Quando viene richiesto di risolvere un semplice calcolo aritmetico per creare un account occorre ricordare quanto scritto [[qui]].

Materiale dell'AA 2024-25

2025-09-22T16:38:20Z

Renzo: Created page with "== ANNO ACCADEMICO 2024/25 == === Materiale didattico === * Documenti 2024/25 * Esempi, Esercizi ed Esperimenti 2024/25 * Decalogo di Programmazione Concorrente:..."

== ANNO ACCADEMICO 2024/25 ==

=== Materiale didattico ===
* [[Documenti 2024/25]]
* [[Esempi, Esercizi ed Esperimenti 2024/25]]
* [[Decalogo di Programmazione Concorrente]]: suggerimenti e regole di massima per non scrivere programmi concorrenti sicuramente sbagliati

Main Page

2025-09-22T16:37:45Z

Renzo: /* ANNI PRECEDENTI */

Questo è il Wiki del Corso di [http://www.cs.unibo.it/~renzo/so Sistemi Operativi] della LT in Informatica dell'[https://www.unibo.it/it Università di Bologna].

== ANNO ACCADEMICO 2024/25 ==

=== Materiale didattico ===
* [[Documenti 2024/25]]
* [[Esempi, Esercizi ed Esperimenti 2024/25]]
* [[Decalogo di Programmazione Concorrente]]: suggerimenti e regole di massima per non scrivere programmi concorrenti sicuramente sbagliati

== ANNI PRECEDENTI ==
* [[Materiale dell'AA 2024-25]]
* [[Materiale dell'AA 2023-24]]
* [[Materiale dell'AA 2022-23]]
* [[Materiale dell'AA 2021-22]]
* [[Materiale dell'AA 2020-21]]
* [[Materiale dell'AA 2019-20]]
* [[Materiale dell'AA 2018-19]]
* [[Materiale dell'AA 2017-18]]
* [[Materiale dell'AA 2016-17]]
* [[Materiale dell'AA 2015-16]]
* [[Materiale dell'AA 2014-15]]
* [[Materiale dell'AA 2013-14]]

== ISCRIZIONE AL WIKI ==
Quando viene richiesto di risolvere un semplice calcolo aritmetico per creare un account occorre ricordare quanto scritto [[qui]].

Main Page

2025-09-22T16:37:27Z

Renzo: /* ANNI PRECEDENTI */

Questo è il Wiki del Corso di [http://www.cs.unibo.it/~renzo/so Sistemi Operativi] della LT in Informatica dell'[https://www.unibo.it/it Università di Bologna].

== ANNO ACCADEMICO 2024/25 ==

=== Materiale didattico ===
* [[Documenti 2024/25]]
* [[Esempi, Esercizi ed Esperimenti 2024/25]]
* [[Decalogo di Programmazione Concorrente]]: suggerimenti e regole di massima per non scrivere programmi concorrenti sicuramente sbagliati

== ANNI PRECEDENTI ==
* [[Materiale dell'AA 2023-24]]
* [[Materiale dell'AA 2023-24]]
* [[Materiale dell'AA 2022-23]]
* [[Materiale dell'AA 2021-22]]
* [[Materiale dell'AA 2020-21]]
* [[Materiale dell'AA 2019-20]]
* [[Materiale dell'AA 2018-19]]
* [[Materiale dell'AA 2017-18]]
* [[Materiale dell'AA 2016-17]]
* [[Materiale dell'AA 2015-16]]
* [[Materiale dell'AA 2014-15]]
* [[Materiale dell'AA 2013-14]]

== ISCRIZIONE AL WIKI ==
Quando viene richiesto di risolvere un semplice calcolo aritmetico per creare un account occorre ricordare quanto scritto [[qui]].

Esempio didattico sul file system ext2

2025-04-22T10:27:00Z

Renzo:

Esempi, Esercizi ed Esperimenti 2024/25

2025-04-22T07:54:40Z

Renzo:

* [[prin_C_ples]]
* [[Esempi sulla rappresentazione dei dati]]
* [[Linguaggio C, libreria C, sistema operativo]]
* [[Esperimenti sugli algoritmi di Dekker e Peterson]]
* [[Esercizi di "lettura" programmi in C]]
* [[Il ''catalogo'' delle System Call]]
* [[Fork-exec: cosa viene ereditato e cosa no]]
* [[Esempi didattici in Python]]
* [[Esercizi di "lettura" programmi in Python]]
* [[Esempio didattico su RAID6]]
* [[Esempio didattico sul file system ext2]]

Fork-exec: cosa viene ereditato e cosa no

2024-12-11T19:57:16Z

Renzo: Created page with "Proprietà che il processo child eredita dal processo parent: * real uid, real gid, effective uid, effective gid * gids supplementari * id del gruppo di processi * session ID..."

Proprietà che il processo child eredita dal processo parent:
* real uid, real gid, effective uid, effective gid
* gids supplementari
* id del gruppo di processi
* session ID
* terminale di controllo
* directory corrente
* directory root
* maschera di creazione file (umask)
* maschera dei segnali
* flag close-on-exec per tutti i descrittori aperti
* environment

Proprietà che il processo child non eredita dal processo parent:
* valore di ritorno di fork
* process ID
* process ID del processo parent
* file locks
* l’insieme dei segnali in attesa viene svuotato

Cosa viene ereditato da exec?
* process ID e parent process ID
* real uid e real gid
* supplementary gid
* process group ID
* session ID
* terminale di controllo
* current working directory
* root directory
* maschera creazione file (umask)
* file locks
* maschera dei segnali
* segnali in attesa

Cosa non viene ereditato da exec?
* effective user id e effective group id
* vengono settati in base ai valori dei bit di protezione

Cosa succede ai file aperti?
* Dipende dal flag close-on-exec che è associato ad ogni descrittore
* Se close-on-exec è true, vengono chiusi
* Altrimenti, vengono lasciati aperti (comportamento di default)

Esempi, Esercizi ed Esperimenti 2024/25

2024-12-11T19:56:05Z

Renzo:

Esempi, Esercizi ed Esperimenti 2024/25

2024-11-08T10:02:31Z

Renzo:

Esempi, Esercizi ed Esperimenti 2024/25

2024-10-05T10:39:52Z

Renzo:

Esempi, Esercizi ed Esperimenti 2024/25

2024-09-15T16:44:46Z

Renzo: Created blank page

Documenti 2024/25

2024-09-15T16:44:31Z

Renzo: Created blank page

Main Page

2024-09-15T16:44:16Z

Renzo: /* ANNO ACCADEMICO 2023/24 */

Questo è il Wiki del Corso di [http://www.cs.unibo.it/~renzo/so Sistemi Operativi] della LT in Informatica dell'[https://www.unibo.it/it Università di Bologna].

== ANNO ACCADEMICO 2024/25 ==

=== Materiale didattico ===
* [[Documenti 2024/25]]
* [[Esempi, Esercizi ed Esperimenti 2024/25]]
* [[Decalogo di Programmazione Concorrente]]: suggerimenti e regole di massima per non scrivere programmi concorrenti sicuramente sbagliati

== ANNI PRECEDENTI ==
* [[Materiale dell'AA 2023-24]]
* [[Materiale dell'AA 2022-23]]
* [[Materiale dell'AA 2021-22]]
* [[Materiale dell'AA 2020-21]]
* [[Materiale dell'AA 2019-20]]
* [[Materiale dell'AA 2018-19]]
* [[Materiale dell'AA 2017-18]]
* [[Materiale dell'AA 2016-17]]
* [[Materiale dell'AA 2015-16]]
* [[Materiale dell'AA 2014-15]]
* [[Materiale dell'AA 2013-14]]

== ISCRIZIONE AL WIKI ==
Quando viene richiesto di risolvere un semplice calcolo aritmetico per creare un account occorre ricordare quanto scritto [[qui]].

Materiale dell'AA 2023-24

2024-09-15T16:43:17Z

Renzo: Created page with "=== Materiale didattico === * Documenti 2023/24 * Esempi, Esercizi ed Esperimenti 2023/24 * Decalogo di Programmazione Concorrente: suggerimenti e regole di massim..."

=== Materiale didattico ===
* [[Documenti 2023/24]]
* [[Esempi, Esercizi ed Esperimenti 2023/24]]
* [[Decalogo di Programmazione Concorrente]]: suggerimenti e regole di massima per non scrivere programmi concorrenti sicuramente sbagliati

Main Page

2024-09-15T16:41:08Z

Renzo: /* ANNI PRECEDENTI */

Questo è il Wiki del Corso di [http://www.cs.unibo.it/~renzo/so Sistemi Operativi] della LT in Informatica dell'[https://www.unibo.it/it Università di Bologna].

== ANNO ACCADEMICO 2023/24 ==

=== Materiale didattico ===
* [[Documenti 2023/24]]
* [[Esempi, Esercizi ed Esperimenti 2023/24]]
* [[Decalogo di Programmazione Concorrente]]: suggerimenti e regole di massima per non scrivere programmi concorrenti sicuramente sbagliati

== ANNI PRECEDENTI ==
* [[Materiale dell'AA 2023-24]]
* [[Materiale dell'AA 2022-23]]
* [[Materiale dell'AA 2021-22]]
* [[Materiale dell'AA 2020-21]]
* [[Materiale dell'AA 2019-20]]
* [[Materiale dell'AA 2018-19]]
* [[Materiale dell'AA 2017-18]]
* [[Materiale dell'AA 2016-17]]
* [[Materiale dell'AA 2015-16]]
* [[Materiale dell'AA 2014-15]]
* [[Materiale dell'AA 2013-14]]

== ISCRIZIONE AL WIKI ==
Quando viene richiesto di risolvere un semplice calcolo aritmetico per creare un account occorre ricordare quanto scritto [[qui]].

Esempio didattico sul file system ext2

2024-04-11T08:12:28Z

Renzo:

Esempio didattico sul file system ext2

2024-04-11T08:12:00Z

Renzo: Created page with "truncate -s 128K disk /sbin/mkfs.ext2 disk hexdump -C disk https://dondi.lmu.build/share/os/ext2-walkthrough.pdf mount /tmp/disk /mnt ls /mnt mkdir /mnt/dir echo ciao mare >..."

truncate -s 128K disk
/sbin/mkfs.ext2 disk
hexdump -C disk

https://dondi.lmu.build/share/os/ext2-walkthrough.pdf

mount /tmp/disk /mnt
ls /mnt
mkdir /mnt/dir
echo ciao mare > /mnt/ciao
ln /mnt/ciao /mnt/dir/ciao2
echo addio > /mnt/dir/bye
ln -s /mnt/dir/bye /mnt/symlink
umount /mnt

bvi
:set cm=32

Esempi, Esercizi ed Esperimenti 2023/24

2024-04-11T08:10:07Z

Renzo:

* [[prin_C_ples]]
* [[Esempi sulla rappresentazione dei dati]]
* [[Linguaggio C, libreria C, sistema operativo]]
* [[Esperimenti sugli algoritmi di Dekker e Peterson]]
* [[Esercizi di "lettura" programmi in C]]
* [[Tool per semafori e monitor]]
* [http://www.cs.unibo.it/~renzo/so/misc/maketest.tgz maketest.tgz: esempio di uso di make/cmake/autotools]
* [[Il ''catalogo'' delle System Call]]
* [[Esperimenti con message passing in C]]
* [[Esempi didattici in Python]]
* [[Esercizi di "lettura" programmi in Python]]
* [[Esempio didattico su RAID6]]
* [[Esempio didattico sul file system ext2]]

Esempi, Esercizi ed Esperimenti 2023/24

2024-03-20T07:34:30Z

Renzo:

* [[prin_C_ples]]
* [[Esempi sulla rappresentazione dei dati]]
* [[Linguaggio C, libreria C, sistema operativo]]
* [[Esperimenti sugli algoritmi di Dekker e Peterson]]
* [[Esercizi di "lettura" programmi in C]]
* [[Tool per semafori e monitor]]
* [http://www.cs.unibo.it/~renzo/so/misc/maketest.tgz maketest.tgz: esempio di uso di make/cmake/autotools]
* [[Il ''catalogo'' delle System Call]]
* [[Esperimenti con message passing in C]]
* [[Esempi didattici in Python]]
* [[Esercizi di "lettura" programmi in Python]]
* [[Esempio didattico su RAID6]]

Esempi, Esercizi ed Esperimenti 2023/24

2023-10-31T10:06:40Z

Renzo:

* [[prin_C_ples]]
* [[Esempi sulla rappresentazione dei dati]]
* [[Linguaggio C, libreria C, sistema operativo]]
* [[Esperimenti sugli algoritmi di Dekker e Peterson]]
* [[Esercizi di "lettura" programmi in C]]
* [[Tool per semafori e monitor]]
* [http://www.cs.unibo.it/~renzo/so/misc/maketest.tgz maketest.tgz: esempio di uso di make/cmake/autotools]
* [[Il ''catalogo'' delle System Call]]
* [[Esperimenti con message passing in C]]

Esempi, Esercizi ed Esperimenti 2023/24

2023-10-31T10:03:20Z

Renzo:

Esempi, Esercizi ed Esperimenti 2023/24

2023-10-23T07:26:23Z

Renzo:

Esempi, Esercizi ed Esperimenti 2023/24

2023-10-09T09:37:13Z

Renzo:

Esempi, Esercizi ed Esperimenti 2023/24

2023-10-01T14:25:38Z

Renzo:

Esempi, Esercizi ed Esperimenti 2023/24

2023-09-28T21:12:09Z

Renzo:

* [[prin_C_ples]]
* [[Esempi sulla rappresentazione dei dati]]
* [[Linguaggio C, libreria C, sistema operativo]]
* [[Esperimenti sugli algoritmi di Dekker e Peterson]]

Linguaggio C, libreria C, sistema operativo

2023-09-23T16:41:51Z

Renzo: Created page with "La history è stata modificata per rendere replicabili gli esperimenti (per quanto possibile) <pre> # hello_world.c e' il solito hello world gcc -o hello_world hello_world.c..."

La history è stata modificata per rendere replicabili gli esperimenti (per quanto possibile)
<pre>
# hello_world.c e' il solito hello world
gcc -o hello_world hello_world.c
./hello_world
# funziona ... ma gcc non e' il compilatore, invoca l'intera toolchain
# preprocessore - compilatore - ottimizzatore - assemblatore - linker
# cosi' si vedono i passi
gcc -v -o hello_world hello_world.c
# ma i comandi hanno tantissimi parametri non si capisce
# la regola e' che gcc puo' interrompere la catena di tool con un parametro.
# -E esegue solo il preprocessore (e manda l'output in stdout)
$ gcc -E hello_world.c
# -S genera i ferma dopo il compilatore e l'ottimizzatore, quindi produce assembler
$ gcc -S hello_world.c
# ecco l'assembler
$ cat hello_world.s
# -c non chiama il linker quindi genera il file oggetto .o
$ gcc -c hello_world.c
# cosi' si vedono i tipi dei file
$ file hello_world*
# per completare il percorso di compilazioone a partire da un risultato intermedio
basta dare in input un file col suffisso giusto
# questo genera l'eseguibile a partire dal sogente assembler
$ gcc hello_world.s
# funziona
$ ./a.out
# cancelliamo a.out
$ rm a.out
# questo chiama solo in linker:
$ gcc hello_world.o
$ ./a.out

######## proviamo a fare a meno della libreria
42.c contiene:
int main() {
return 42;
}
########
$ gcc -o 42 42.c
$ ./42
#funziona ma sembra non far nulla
$ echo $?
# ecco dove e' finito, viene assegnato a una variabile della shell
# aggiungiamo 2 righe a 42.c
int main() {
int i;
for (i = 0; i< 1000000000; i++)
;
return 42;
}

$ gcc -o 42 42.c
$ ./42
# ora aspetta un po'.
$ gcc -S 42.c
$ cat 42.s
# si vede nell'assembler il loop di attesa
$ ls
# chiediamo all'ottimizzatore di eliminare il codice inutile.
$ gcc -O2 -o 42 42.c
$ ./42
# ora e' velocissimo
$ gcc -O2 -S 42.c
$ cat 42.s
#infatti nell'assembler e' sparito il loop
$ gcc -O2 -S 42.c
$ cat 42.s
# se vogliamo che il compilatore mantenga il loop anche ottimizzando il codice dobbiamo
# dire che non puo' fare assunzioni sulla variabile i che puo' essere modificata da agenti
# esterni, fuori dalla portata del codice generato dal compilatore... quindi la variabile i
# deve essere definita: "volatile int i:". Se lo si fa:
$ gcc -O2 -S 42.c
$ cat 42.s
# ora il loop e' rimasto (ma altre parti con codice inutile sarebbero state ottimizzate,
# quindi spetta al programmatore dire al compilatore cosa puo' essere ottimizzato e cosa no.
$ gcc 42.c
$ a.out
# l'attesa c'e'
# ora pero' vi faccio vedere che la libreria c'e' anche se non la usiamo.
# compiliamo in modo statico (senza librerie dinamiche)
$ gcc -static 42.c
$ ls -l a.out
# gia' la ampiezza del file fa presagire che non c'e' solo un loop e un return.
# con nm si vedono i simboli contenuti
$ nm a.out
# infatti ce ne sono tanatissimi compresi printf e scanf che non abbiamo utilizzato.
# se proviamo a compilare e linkare "a mano"
$ gcc -c 42.c
$ ld 42.o
#l'errore che otteniamo e' che manca "_start". Per Linux il progrmma principale e' _start
# e non main... la libreria C fra le altre cose implementa uno start che chiama main e
# quando main ritorna il controllo chiama la system call exit (infatti i processi
# non muoiono mai di morte naturale, o vengono uccisi o si suicidano).
# ho preparato un esempio di codice start in assembler:
$ cat > crt0r.S
# o in altro modo generiamo il file crt0r.S col contenuto seguente
---------------
.text

.globl _start

_start: # _start is the entry point known to the linker
xor %ebp, %ebp # effectively RBP := 0, mark the end of stack frames
mov (%rsp), %edi # get argc from the stack (implicitly zero-extended to 64-bit)
lea 8(%rsp), %rsi # take the address of argv from the stack
lea 16(%rsp,%rdi,8), %rdx # take the address of envp from the stack
xor %eax, %eax # per ABI and compatibility with icc
call main # %edi, %rsi, %rdx are the three args (of which first two are C standard) to main

xor %rdi, %rdi # clean rdi
mov %eax, %edi # copy eax to edi (syscall first arg)
mov $60, %eax # exit
syscall
---------------
# cancelliamo a.out
$ rm a.out
# usiamo l'assemblatore per generare l'oggetto
$ as -o crt0r.o crt0r.S
$ ld -o a.out crt0r.o 42.o
$ ./a.out
$ echo $?
# sembra funzionare
#ora la libc non c'e'
$ nm a.out
# start definisce _start ma ha necessita' (U-ndefined) main
$ nm crt0r.o
# e in 42.o c'e' main
$ nm 42.o
# ora facciamo una prova col file hw6 che contiene:
--------------------
long mystrlen(char *s) { // lunghezza di una stringa
long len;
for (len = 0; *s != 0; len++)
s++;
return len;
}

long mywrite(char *s) { //stampa una stringa
long addr = (long) s; //addr e' l'indirizzo della stringa
long len = mystrlen(s); // e len e' la lunghezza
register long r_syscallno asm("rax") = 1; // mette nel registro rax il numero della syscall 1=write
// l'elenco completo in /usr/include/x86_64-linux-gnu/asm/unistd_64.h
// mutatis mutandis se usare un'altra architetttura di processore
register long r_arg1 asm("rdi") = 1; // da "man 2 write" si vede che il 1' paramentro e' il fd. 1 e' stdout
register long r_arg2 asm("rsi") = addr; // secondo parametro l'indirizzo del buffer da mettere in output
register long r_arg3 asm("rdx") = len; // terzo parametro e' la lunghezza
register long r_retvalue asm("rax"); // chiamo r_retvalue il registro rax, dove le syscall mettono il valore di rit.
asm("syscall"); // genera la trap per "svegliare" il kernel
return r_retvalue; // restituisco il valore di ritorno
}

void myexit(long value) { // termina il chiamante
register long r_syscallno asm("rax") = 60; // la ssytem call 60 e' _exit
register long r_arg1 asm("rdi") = value; // ed ha un solo parametro: il valore di ritorno
asm("syscall");
}

void _start(void) {
long retvalue;
retvalue = mywrite("hello world\n"); // stampa la famosa stringa
myexit(retvalue); // e resituisci come exit status il valore di ritorno della write
// e' il numero dei caratteri stampati (o il codice di erroe in negativo).
}
$ gcc -c hw6.c
$ ld hw6.o
# ora non e' servito nulla
$ ./a.out
$ echo $?
# e funziona

# ora facciamo un altro esperimento. scriviamo questo programma che chiamiano noSO.c:
-----------------
typedef unsigned char uint8_t;
#define DDRC (*(volatile uint8_t *) 0x27)
#define PORTC (*(volatile uint8_t *) 0x28)

int main(void)
{
volatile int i;
DDRC |= 1 << 5;
for (;;) {
for (i=0; i < 32767; i++)
;
PORTC ^= 1 << 5;
}
}
-----------------
Convertendo interi (0x27 e' il numero 27 esadecimale, cioè 39) in puntatori
accediamo alle periferiche (memoria o altro) "sparando" sul bus indirizzi ciò che piu' ci piace.

# proviamo a compilarlo
$ gcc noSO.c
$ ./a.out
# il risultato e' segmentation fault, perché gli indirizzi non sono legali per un processo in esecuzione in linux.
# compiliamolo per l'architetture avr atmel/atmega: (occorre il compilatore)
$ avr-gcc -mmcu=atmega168 -Os -o noSO noSO.c
# l'eseguibile ottenurto non e' per intel:
$ file noSO
# generiamo il file .hex (perché l'utility di trasferimento lo vuole così)
$ avr-objcopy -O ihex noSO noSO.hex
# ... carichiamo il file sul microcontrollore atmega168
$ avrdude -p m168 -c stk500v2 -P /dev/ttyUSB0 -U flash:w:noSO.hex
# (occorre il chip, il programmatore ed un circuito quale quello descritto qui:
# http://tuxgraphics.org/electronics/200904/avr-c-programming.shtml

# il led lampeggia. potere del software.

</pre>