http://www.ppgia.pucpr.br/~maziero/ 2010-09-09T20:09:51-03:00 http://www.ppgia.pucpr.br/~maziero/ http://www.ppgia.pucpr.br/~maziero/lib/images/favicon.ico text/html 2010-05-18T11:26:59-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:algoritmos_de_escalonamento?rev=1274192819&do=diff O objetivo deste projeto é escrever um programa para simular o escalonamento de um conjunto de tarefas usando os algoritmos de escalonamento de processador mais conhecidos. O programa deverá suportar os seguintes algoritmos: * FCFS (First Come, First Served) * Shortest Job First * Shortest Remaining Time First * Por prioridades estáticas, sem preempção * Por prioridades estáticas, com preempção por prioridade * Round-Robin com quantum = 2s * Round-Robin com quantum = 5s * Round… text/html 2010-04-19T10:59:45-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:biblioteca_de_filas?rev=1271685585&do=diff O sistema operacional gerencia muitas filas: de processos prontos, suspensos, dormindo, esperando em semáforos, etc. A estrutura mais adequada para organizar essas filas é uma lista circular duplamente encadeada, como indicada na figura abaixo: text/html 2010-04-23T08:49:53-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:calculo_de_pi_com_threads?rev=1272023393&do=diff O objetivo deste projeto é compreender melhor o conceito de thread e como elas podem ser usadas para utilizar melhor os recursos de processamento disponíveis nos computadores modernos. Para isso, será construído um programa em C usando a biblioteca Posix Threads para calcular ¶ usando N threads simultâneas. O valor de ¶ pode ser aproximado pela série de Grégory: text/html 2010-04-16T10:18:44-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:celula_flexivel_de_manufatura?rev=1271423924&do=diff Semáforos POSIX O padrão POSIX 1003.1B define várias operações envolvendo semáforos, dentre as quais as mais significativas são (para mais informações vide as páginas de manual UNIX): #include <semaphore.h> sem_t sem ; // inicializa o semáforo com o valor init_value int sem_init (sem_t *sem, int is_shared, unsigned int init_value); // P(sem) ou down(sem) int sem_wait (sem_t *sem); // V(sem) ou up(sem) int sem_post (sem_t *sem); // destroi o semáforo, liberando as tarefas bloqueadas int … text/html 2010-02-24T11:18:57-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:compromisso_cc?rev=1267021137&do=diff * Disciplina: Sistemas Operacionais * Curso: Bacharelado em Ciência da Computação * Professor: Carlos A. Maziero (<http://www.ppgia.pucpr.br/~maziero>) Objetivos Estudar arquiteturas e mecanismos dos sistemas operacionais modernos, evidenciando os principais problemas enfrentados na construção de um sistema operacional e as soluções empregadas. Dar ao aluno uma visão clara do sistema operacional, de seus mecanismos internos, suas possibilidades e limitações. text/html 2010-02-27T14:18:11-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:compromisso_ec?rev=1267291091&do=diff * Disciplina: Sistemas Operacionais * Curso: Engenharia de Computação * Professor: Carlos A. Maziero (<http://www.ppgia.pucpr.br/~maziero>) Objetivos Estudar arquiteturas e mecanismos dos sistemas operacionais modernos, evidenciando os principais problemas enfrentados na construção de um sistema operacional e as soluções empregadas. Dar ao aluno uma visão clara do sistema operacional, de seus mecanismos internos, suas possibilidades e limitações. text/html 2010-04-16T18:31:42-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:criacao_de_processos?rev=1271453502&do=diff A criação de processos em UNIX é feita através das chamadas de sistema fork e execve. Estes exercícios têm por objetivos mostrar exemplos do uso dessas chamadas e estimular o aluno a compreender sua dinâmica. Exercício 1 Dado o programa fork.c a seguir: text/html 2010-04-16T21:09:04-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:criacao_de_threads?rev=1271462944&do=diff A criação de threads em UNIX é feita através da biblioteca padrão PThreads (Posix Threads). Estes exercícios visam estudar exemplos do uso de threads e estimular o aluno a compreender sua dinâmica. Exercício 1 Dado o programa create.c: #include <pthread.h> #include <stdio.h> #include <stdlib.h> #include <unistd.h> #define NUM_THREADS 16 void *threadBody (void *id) { long tid = (long) id ; printf ("t%02ld: Olá!\n", tid) ; sleep (3) ; printf ("t%02ld: Tchau!\n", tid) ; … text/html 2010-05-26T14:47:52-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:espera_ocupada?rev=1274896072&do=diff Este projeto visa expor os problemas advindos do acesso concorrente de tarefas a estruturas de dados compartilhadas e explorar algumas das soluções possíveis para a coordenação dos acessos, usando mecanismos de espera ocupada. Problema Você deve criar um programa com duas threads POSIX, que manipulam uma fila de inteiros de forma concorrente. Cada thread retira o primeiro elemento da fila e coloca um novo elemento no fim da fila: text/html 2010-05-21T18:14:27-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:filas_de_mensagens_posix?rev=1274476467&do=diff O objetivo deste projeto é usar o mecanismo de filas de mensagens POSIX para construir aplicações comunicantes. Problema Construir um sistema com dois processos independentes A e B, onde A sorteia pares de números inteiros aleatórios n1 e n2 e os envia a B; o processo B recebe os números aleatórios e devolve sua soma s ao processo A. text/html 2010-05-21T18:27:47-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:jantar_dos_filosofos?rev=1274477267&do=diff O Jantar dos Filósofos é problema clássico de sincronização proposto por Dijkstra em 1965. A capa da revista Communications of the ACM de Janeiro de 1988 ilustra a aplicação prática deste problema em uma situação do mundo real... [O Jantar dos filósofos, Communications of the ACM, January 1988] text/html 2010-04-23T16:48:53-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:leitores_escritores?rev=1272052133&do=diff Este projeto consiste em usar threads e semáforos variáveis de condição POSIX para contruir um sistema leitores/escritores. Problema Construa um sistema com threads que acessam de forma concorrente uma fila de valores inteiros. Nesse sistema existem dois tipos de threads: text/html 2010-07-07T08:19:51-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:livro_de_sistemas_operacionais?rev=1278501591&do=diff Há algum tempo venho escrevendo este material, que um dia deve se tornar um livro completo de Sistemas Operacionais. Minha intenção é publicá-lo através de uma editora, mas ao mesmo tempo mantendo seu acesso livre e gratuito na forma de um Open Book, nos termos da licença GNU Free Documentation License ou Creative Commons (ainda não me decidi sobre qual delas). text/html 2009-10-05T10:48:36-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:normas_da_abnt?rev=1254750516&do=diff ;-) Sinto muito, mas esta página NÃO CONTÉM normas da ABNT para download... Resumo: além de não serem obrigatórias, as normas da ABNT não são documentos públicos. As normas são vendidas pela ABNT, embora ela receba recursos do governo para produzi-las. Se você quiser/precisar usá-las, alguém terá de pagar para isso: você ou sua universidade. Por isso, evite usá-las ou adotá-las. text/html 2010-06-18T19:37:51-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:produtor_consumidor?rev=1276900671&do=diff Problema Este projeto consiste em usar semáforos POSIX para contruir um sistema produtor/consumidor com buffer limitado. O código básico de um sistema produtor/consumidor é o seguinte: * produtor { while (true) { pause = random (0..3) sleep (pause) down (s_vaga) down (s_buffer) item = random (0..999) insere item no buffer up (s_buffer) up (s_item) print item } } text/html 2008-11-26T10:10:40-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:programa_cc_2008?rev=1227701440&do=diff Podem ocorrer mudanças neste programa, com a devida divulgação aos alunos. * aulas a realocar (escolher melhores datas com os alunos) Primeiro Semestre Aula Data Teoria Laboratório 1,2* 21/02 Apresentação do programa Objetivos dos SOs Tipos de SOs Uma breve história do UNIX, LINUX e Software Livre Introdução ao ambiente UNIX 3,4* 28/02 Funcionalidades dos SOs Estrutura de um SO Conceitos de UNIX - Comandos em arquivos - Permissões de acesso em arquivos - Gestão de processos 5,6 06… text/html 2010-08-01T16:09:43-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:programa_cc_2010?rev=1280689783&do=diff Aulas: * quartas-feiras de 18:15 a 19:45, teoria (CCJS Apoio 1) * sextas-feiras de 20:45 a 22:15, laboratório (CCET 09). FIXME Falta definir a semana acadêmica... :!: Semestre 1 Aula Data Teoria Laboratório 01 24/02 Apresentação do programa Objetivos dos SOs Tipos de SOs 02 26/02 Uma breve história do UNIX, LINUX e Software Livre Introdução ao ambiente UNIX 03 01/03 Funcionalidades e estrutura de um SO (subst. prof. Cinthia) 04 03/03 Conceitos de hardware I… text/html 2008-07-18T11:16:58-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:programa_ec_2008-1?rev=1216390618&do=diff Podem ocorrer mudanças neste programa, com a devida divulgação aos alunos. Aula Data Teoria Laboratório 1,2 18/02 Objetivos dos sistemas operacionais Tipos de sistemas Operacionais Uma breve história do UNIX, LINUX e Software Livre Introdução ao ambiente UNIX 3,4 25/02 Funcionalidades e Estrutura dos sistemas operacionais Revisão de conceitos de hardware Comandos em arquivos Permissões de acesso em arquivos 5,6 03/03 Arquiteturas de Sistemas Operacionais Gestão de processos 7,8… text/html 2008-10-16T20:18:34-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:programa_ec_2008-2?rev=1224199114&do=diff Podem ocorrer mudanças neste programa, com a devida divulgação aos alunos. Aula Data Teoria Laboratório 1,2 28/07 Objetivos dos sistemas operacionais Tipos de sistemas Operacionais Uma breve história do UNIX, LINUX e Software Livre Introdução ao ambiente UNIX 3,4 04/08 Funcionalidades e Estrutura dos sistemas operacionais Revisão de conceitos de hardware Comandos em arquivos Permissões de acesso em arquivos Gestão de processos 5,6 11/08 Arquiteturas de Sistemas Operacionais Dese… text/html 2010-07-27T08:52:57-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:programa_ec_2010_mat?rev=1280231577&do=diff Aulas: quintas-feiras de 11:10 a 12:50 (CCET 06 e Lab 08) :!: Semestre 1 Aula Data Teoria Laboratório 01 25/02 Apresentação do programa Objetivos dos SOs Tipos de SOs 02 04/03 Introdução ao ambiente UNIX Comandos em arquivos Permissões de acesso em arquivos Gestão de processos 03 11/03 Funcionalidades e Estrutura dos SOs Revisão de conceitos de hardware Arquiteturas de SOs 04 18/03 Desenvolvimento em UNIX P0: Biblioteca de Filas :!: 05 25/03 Gerência de tarefas Contex… text/html 2010-08-25T20:55:45-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:programa_ec_2010_not?rev=1282780545&do=diff Aulas: quartas-feiras de 20:45 a 22:15 (CCET 03 e lab 01) :!: Semestre 1 Aula Data Teoria Laboratório 01 24/02 Apresentação do programa Objetivos dos SOs Tipos de SOs 02 03/03 Introdução ao ambiente UNIX Comandos em arquivos Permissões de acesso em arquivos Gestão de processos 03 10/03 Funcionalidades e Estrutura dos SOs Revisão de conceitos de hardware Arquiteturas de SOs 04 17/03 Desenvolvimento em UNIX P0: Biblioteca de Filas :!: 05 24/03 Gerência de tarefas Contex… text/html 2010-07-27T08:18:38-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:projetos_desenvolvidos?rev=1280229518&do=diff Uso de serviços do sistema operacional Estes projetos visam conhecer melhor alguns conceitos e serviços oferecidos pelo sistema operacional, e também compreender os problemas inerentes à programação concorrente. * Biblioteca de Filas * Criação de processos em Unix * Criação de threads Posix * Cálculo de ¶ usando threads * Algoritmos de escalonamento * Filas de mensagens POSIX * Coordenação por espera ocupada * Semáforos POSIX * Produtor/Consumidor POSIX * Leitores e Escri… text/html 2010-02-24T10:03:16-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:regras_das_atividades_de_laboratorio?rev=1267016596&do=diff Regras gerais * Leia atentamente a descrição de cada atividades antes de realizá-la! * Todas as atividades devem ser desenvolvidas integralmente em linguagem ANSI C, compilável com o GCC. Programas desenvolvidos em outras linguagens, mesmo que parcialmente, não serão considerados (nota zero). * Os códigos entregues serão testados no servidor espec.ppgia.pucpr.br. Códigos que não compilarem, não executarem até o fim, travarem, encerrarem com erros de sistema (segmentation fault, bus error,… text/html 2010-06-18T21:06:40-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:semaforos_posix?rev=1276906000&do=diff Este projeto visa expor os problemas advindos do acesso concorrente de tarefas a estruturas de dados compartilhadas e compreender a coordenação dos acessos através de semáforos. Problema Você deve criar um programa com duas threads POSIX, que manipulam uma fila de inteiros de forma concorrente. Cada thread retira o primeiro elemento da fila e coloca um novo elemento no fim da fila: text/html 2010-07-27T08:33:09-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:start?rev=1280230389&do=diff Compromisso Pedagógico * Bacharelado em Ciência da Computação * Engenharia de Computação * Projetos desenvolvidos * Regras das atividades de laboratório Cronograma da disciplina * Bacharelado em Ciência da Computação * Engenharia de Computação - diurno * Engenharia de Computação - noturno text/html 2008-05-09T14:18:47-03:00 http://www.ppgia.pucpr.br/~maziero/doku.php/so:termos_de_so_em_portugues?rev=1210353527&do=diff A convite da Editora Campus, revisei a tradução do livro Applied Operating Systems Concepts, do Silberschatz et al, 1999 (edição em português). Durante a revisão, apareceram muitos termos e expressões das áreas de sistemas operacionais e sistemas distribuidos cuja tradução não me pareceu óbvia.