|
|
|
![]() |
|
Strumenti |
![]() |
#941 |
Senior Member
Iscritto dal: Mar 2004
Messaggi: 16053
|
|
![]() |
![]() |
![]() |
#942 |
Senior Member
Iscritto dal: Sep 2006
Messaggi: 27247
|
grazie siccome nn ero sicuro sul discorso della visibilità e della condivisione..ora in pratica i 2 pc sono visibili tra loro e si possono scambiare file però solo all'interno della rete domestica, cioè il router collega i 2 pc tra loro e sempre attraverso esso ciascun pc va su internet? (lo chiedo per un disc di sicurezza, voglio essere sicuro che la cartella pubblica per es nn sia visibile anche su internet ma solo dall'altro pc della rete pivata)
__________________
CPU: Ryzen 5700x COOLER: Noctua NH-D15S MOBO: Gigabyte b550 Professional RAM: 4x8 @3600 GPU: XfX Qick319 Rx6700XT ![]() |
![]() |
![]() |
![]() |
#943 | |||
Senior Member
Iscritto dal: Oct 2005
Città: Palermo
Messaggi: 2538
|
Quote:
Ma è un problema di concetti: se uno ha chiaro un concetto attraverso una generalizzazione allora lo può applicare dovunque, altrimenti userà un approccio del tipo caso per caso con grande perdita di tempo. ![]() I teoremi non vanno tolti dalla testa, altrimenti anzichè scrivere un programma scriverei solo delle linee di codice. L'esempio della calcolatrice c'entra benissimo, soprattutto per chiederti di dirmi che cos'è un bug. Quote:
Il programmatore dovrebbe fare in modo che le infinite variabili che possono essere date in pasto al programma non creino un comportamento scorretto di questo. ![]() Quote:
Grazie tante, è perchè il suo realizzatore ha voluto prevedere che si potessero inserire solo numeri e non lettere, ovviamente la limitazione dei valori in entrata non può essere utilizzata per qualunque programma. ![]()
__________________
Utente gran figlio di Jobs ed in via di ubuntizzazione Lippi, perchè non hai convocato loro ? |
|||
![]() |
![]() |
![]() |
#944 | |
Senior Member
Iscritto dal: Mar 2004
Messaggi: 16053
|
Quote:
![]() |
|
![]() |
![]() |
![]() |
#945 | |
Senior Member
Iscritto dal: Sep 2006
Messaggi: 27247
|
Quote:
![]()
__________________
CPU: Ryzen 5700x COOLER: Noctua NH-D15S MOBO: Gigabyte b550 Professional RAM: 4x8 @3600 GPU: XfX Qick319 Rx6700XT ![]() |
|
![]() |
![]() |
![]() |
#946 | |||
Senior Member
Iscritto dal: Mar 2005
Messaggi: 4959
|
Quote:
Quote:
Quote:
![]() E poi, non spieghi come possa fare un programmatore ad accertarsi che le infinite combinazioni di valori che puoi dare in input ad un programma non comportino in nessun caso un comportamento scorretto dello stesso. La risposta, ovviamente, è che non si può fare (a meno che il dominio dell'input del programma non sia finito e ragionevolmente piccolo, in modo tale da poter fare un controllo esaustivo). Comunque, il programmatore può essere bravo quanto vuole, ma è un essere umano, ergo, commetterà sempre errori. Piuttosto, il programmatore bravo, cerca di programmare usando delle tecniche che gli consentano di 'anticipare' il verificarsi di certi errori e gestire l'evento inatteso in qualche modo, usando ad esempio i blocchi try...catch (gestione delle eccezioni) di C++/Java e tanti altri linguaggi, oppure gestendo le pre-condizioni e le post-condizioni, in modo da facilitare enormemente il debug dei programmi, come si fa, ad esempio, in Eiffel (utilizzando il paradigma 'Design By Contract'): in pratica, il codice di una funzione controlla dapprima che l'input soddisfi le pre-condizioni. In caso positivo, esegue il codice interno della funzione e alla fine, prima che la funzione restituisca il risultato, vengono controllate le post-condizioni (verificando che siano soddisfatte delle proprietà). Un buon design consiste nello scrivere le pre e post condizioni delle funzioni, prima ancora di implementare le stesse. Tutte queste tecniche, non servono certo a garantirti che un codice sia 100% error-free, ma quantomeno consentono di intercettare (ed eventualmente gestire) l'errore prima che questo possa portare a dei risultati catastrofici e, contemporaneamente, consentono di avere una rapida individuazione (e quindi una rapida correzione da parte del team di sviluppo) del problema.
__________________
Cerchi software open source? Vieni su OpenWanted e aiutami a creare la Lista Open!! -> Elenco BUG di Windows 7 <- |
|||
![]() |
![]() |
![]() |
#947 | |
Senior Member
Iscritto dal: Mar 2004
Messaggi: 16053
|
Quote:
Ci sono comunque dei notevoli svantaggi anche con questo approccio, generalmente si tende a scrivere metodi completi ossia che gestiscano qualsiasi caso in ingresso e non è quindi sempre possibile scrivere delle post-condizioni verificabili automaticamente da una macchina (e qui ci giochiamo l'utilità del DBC). Inoltre l'utilizzo di un linguaggio formale per definire pre-condizioni e post-condizioni è un bene per lo sviluppo in team ma in generale il suo utilizzo occupa un tempo molto simile a quello utile per scrivere direttamente il codice e testarlo in modalità whitebox con JUnit o sistemi simili, il DBC è un overhead molto grande. |
|
![]() |
![]() |
![]() |
#948 |
Senior Member
Iscritto dal: Sep 2006
Messaggi: 27247
|
ho un problema col portatile: ha su vista home premium a 32 bit, lo accendo e mi dice che c'èuna nuova versione di avast..la scarico e poi mi dice che è necessario riavviare il pc, lo riavvio e dopo il caricamento di windows con la barra orizzontale mi si visualizza solo la freccetta del mouse e schermo nero, ora ho provato ad avviarlo in modalità provvisoria e ho fatto un ripristino però è già un pò che è in fase di "inizialiazzazione"..qualcuno ha idea del perchè si comporta cosi e come posso risolvere?
__________________
CPU: Ryzen 5700x COOLER: Noctua NH-D15S MOBO: Gigabyte b550 Professional RAM: 4x8 @3600 GPU: XfX Qick319 Rx6700XT ![]() |
![]() |
![]() |
![]() |
#949 |
Senior Member
Iscritto dal: Mar 2004
Messaggi: 16053
|
La butto li... potrebbe essere la nuova versione di Avast il problema.
![]() |
![]() |
![]() |
![]() |
#950 |
Senior Member
Iscritto dal: Sep 2006
Messaggi: 27247
|
è quella porca miseria, ho fatto il ripristino e tutto ok se nn che appena avvio mi viene visualizzato il mess di avast di riavviare, lo faccio e ora risono da capo
![]() ![]()
__________________
CPU: Ryzen 5700x COOLER: Noctua NH-D15S MOBO: Gigabyte b550 Professional RAM: 4x8 @3600 GPU: XfX Qick319 Rx6700XT ![]() |
![]() |
![]() |
![]() |
#951 | |
Senior Member
Iscritto dal: Oct 2005
Città: Palermo
Messaggi: 2538
|
Quote:
![]() Quello che intendevo dire è che è ininfluente che un programma sia fatto da 1 linea di codice o 100mila. Quello che è importante sapere è che nel momento in cui un programma si trova ad elaborare valori in ingresso (giusta la tua correzione) allora è certo che presenterà dei bug qualunque sia la bravura o l'ingegno del programmatore. Poi sapere con quale probabilità si verificherà un bug a seconda del numero di linee è un effetto secondario. Inoltre mi preme riaffermare il concetto che il programmatore in questo non c'entra nulla, non è colpa sua se si verificano i bug, può solo correggerli, sarà sempre così. Anche nella verifica di precondizioni, adottando qualunque tecnica try...catch, ci saranno sempre infiniti valori che possono mandare a puxxane il proprio programma, è una questione di tempo: qualcuno ricorda gli insiemi ricorsivamente enumerabili ? Le nostre divergenze stanno tutte lì tu parti da un errore umano (che non esiste), io invece parto dal ragionamento scientifico che (grazie ai teoremi) permette di spiegare che nessuno protrà mai creare un programma che sia esente da bachi e non perchè umano, limitato e può sbagliare, ma semplicemente perchè è impossibile. ![]()
__________________
Utente gran figlio di Jobs ed in via di ubuntizzazione Lippi, perchè non hai convocato loro ? |
|
![]() |
![]() |
![]() |
#952 | |
Senior Member
Iscritto dal: Mar 2005
Messaggi: 4959
|
Quote:
E' un compromesso: maggiore impegno nello sviluppo, per risparmiare grandi fatiche e mal di testa in fase di manutenzione. Peccato che Eiffel sia uno dei pochissimi linguaggi che supportano nativamente questo paradigma (in realtà sono state sviluppate delle estensioni DBC per gran parte dei linguaggi principali, fra cui C++ e Java, ma finché non diventeranno uno standard, non credo saranno usatissime).
__________________
Cerchi software open source? Vieni su OpenWanted e aiutami a creare la Lista Open!! -> Elenco BUG di Windows 7 <- |
|
![]() |
![]() |
![]() |
#953 | |
Senior Member
Iscritto dal: Mar 2004
Messaggi: 16053
|
Quote:
![]() |
|
![]() |
![]() |
![]() |
#954 | |||||||
Senior Member
Iscritto dal: Mar 2005
Messaggi: 4959
|
Quote:
Quote:
Quote:
Quote:
![]() Quote:
![]() Quote:
Quote:
![]()
__________________
Cerchi software open source? Vieni su OpenWanted e aiutami a creare la Lista Open!! -> Elenco BUG di Windows 7 <- Ultima modifica di Dott.Wisem : 01-08-2007 alle 15:39. |
|||||||
![]() |
![]() |
![]() |
#955 |
Senior Member
Iscritto dal: Mar 2004
Messaggi: 16053
|
Dopo aver usato Windows XP sul MacBook ho deciso di re-installare Windows Vista ora che ho 2 GB di RAM. Il salto prestazionale è impressionante
![]() Purtroppo non posso utilizzare la versione x86-64 perché EFI di Apple è a 32 bit quindi non permette il boot di sistemi completamente 64 bit come Windows Vista x86-64. ![]() Ho avuto il piacere di notare una cosa rispetto agli altri PC su cui ho provato/usato Windows Vista, l'hard disk sembra non essere neppure in funzione, quindi ho il Seagate che monta il PC è silenziosissimo oppure i 2 GB di RAM sono veramente un toccasana... in questo momento con il solo Internet Explorer aperto sono ad 839 MB di RAM utilizzata (224 MB sono completamente dedicati alla scheda video), la cache in memoria è di 1181 MB ![]() Ho notato solo ora che il kernel di Windows Vista occupa meno spazio in memoria rispetto a quello di Windows XP, immagino dipenda dal mancato caricamente dei driver video (ed altri driver) in user-space. Che dire, se con 1 GB di RAM pensavo che Windows Vista fosse ottimo, con 2 GB di RAM sinceramente non capisco come si possa restare ancora con Windows XP. ![]() |
![]() |
![]() |
![]() |
#956 | |||||
Senior Member
Iscritto dal: Mar 2005
Messaggi: 4959
|
Quote:
E' possibile che Vista ti dia l'impressione di essere più veloce perché magari possiede dei driver di default maggiormente compatibili con l'hardware montato nei MacBook. Aero lo riesci ad attivare sul MacBook? Comunque, su ogni macchina in cui ho dovuto disinstallare Vista per installare XP non c'era proprio storia... XP sembrava un missile rispetto a Vista, soprattutto da 1GB in giù. Anche il boot in XP è più rapido (a sistema pulito, ovviamente). Io parlo di installazioni di XP e Vista fatte da zero, non i ripristini dei notebook, che incorporano tonnellate di tool mangia-ram, spesso inutili (Vista già ci mette molto di suo, comunque, anche escludendo i tool dei produttori di notebook... Vedi Windows Sidebar, Windows Defender, ecc.). Quote:
Quote:
Quote:
Quote:
![]()
__________________
Cerchi software open source? Vieni su OpenWanted e aiutami a creare la Lista Open!! -> Elenco BUG di Windows 7 <- Ultima modifica di Dott.Wisem : 03-08-2007 alle 10:01. |
|||||
![]() |
![]() |
![]() |
#957 | |||||
Senior Member
Iscritto dal: Mar 2004
Messaggi: 16053
|
Quote:
NB: i driver vengono forniti dal produttore dell'hardware, non è Apple a scriverli. Aero si attiva in automatico e lo fa ampiamente considerando che la scheda video lato desktop si prende ben oltre 3 punti (il minimo per attivare Aero è 2 punti con supporto DirectX 9.0), quello che penalizza il punteggio totale (3.1) è il gaming. ![]() Quote:
![]() Quote:
![]() Quote:
![]() Quote:
Sul PC con Windows XP che scheda video hai? Se è ATI ho NVIDIA ed hai installato i driver che forniscono loro mi sembra strana quella dimensione del kernel, non è che hai guardato solo la RAM paginata? ![]() |
|||||
![]() |
![]() |
![]() |
#958 | |
Senior Member
Iscritto dal: Mar 2005
Messaggi: 4959
|
Quote:
Ho provato anche su altre macchine XP dotate di 512MB o meno, e l'occupazione di memoria totale del kernel scende fino a 16MB...
__________________
Cerchi software open source? Vieni su OpenWanted e aiutami a creare la Lista Open!! -> Elenco BUG di Windows 7 <- |
|
![]() |
![]() |
![]() |
#959 | |
Senior Member
Iscritto dal: Mar 2004
Messaggi: 16053
|
Quote:
![]() |
|
![]() |
![]() |
![]() |
#960 |
Bannato
Iscritto dal: Aug 2005
Città: Buguggiate(VA)
Messaggi: 12007
|
Driver Bootcamp?
Mi spieghereste che significa? Cioè, per far girare XP o Vista su un Mac che devo fare su Bootcamp? |
![]() |
![]() |
![]() |
Strumenti | |
|
|
Tutti gli orari sono GMT +1. Ora sono le: 10:16.