Gates Of Dawn

PowerShell 1.0

Andrea Sansottera — Sat, 03 Feb 2007 15:20:00 GMT

È stata rilasciata PowerShell 1.0 per Windows Vista (RTM). Per l'installazione è disponibile un file con estensione .msu, ovvero Microsoft Standalone Update.

Qualora l'installazione fallisse, potete controllarne il motivo sul pannello di controllo: Control Panel, Check for Updates, Update History. Se si dovesse trattare di un codice di errore 80070020 (The process cannot access the file because it is being used by another process.) provate a disabilitare l'antivirus.

Il rilascio di PowerShell 1.0 per Windows Vista è avvenuto con qualche settimana di ritardo rispetto a quello delle versioni per Windows XP (SP2) e Windows Server 2003 (SP1). Per questi sistemi è disponibile un installer tradizionale. Proprio la differenza tra il packaging di pacchetti *.msi e *.msu è stata la causa del ritardo.

Installazione Windows Vista

Andrea Sansottera — Thu, 23 Nov 2006 00:14:00 GMT

Per la mia partecipazione al beta testing di Vista, mi è stata regalata una licenza dell'edizione Ultimate. Fantastico, davvero un bel gesto!

Questa sera ho installato il nuovo sistema operativo sulla mia workstation. Nonostante la macchina abbia ormai cinque anni di età (solo la scheda grafica è recente), Windows Vista gira splendidamente e sono molto soddisfatto.

Queste le specifiche della macchina:

chipset Intel 840
2 processori Pentium III a 866 MHz
1 GB di RDRAM PC600 ECC dual channel
disco SCSI 10,000 RPM
scheda video Radeon 9600 XT con 256 MB di memoria

Punteggi:

Processore: 2.9
Memoria: 1.8
Grafica: 2.9
Grafica giochi: 3.9
Disco primario: 4.0

Problemi:

Quando iberno il PC non appare alcuna schermata indicante il progresso dell'operazione.
Non c'è il driver del NIC Ethernet integrato sullo scheda madre (Intel Pro 10/100). Ho dovuto installare un'altra scheda di rete per collegarmi al router e lanciare Windows Update: driver trovato, installato e funzionate. Però sono rimasto basito, i driver delle periferiche di rete dovrebbero includerli tutti, che senso ha metterli su Windows Update? Non so quanti utente si metterebbero a montare una nuova scheda di rete per scaricarli.

Note:

Per ora non ho scaricato i driver della scheda grafica dal sito di ATI ma sto usando quelli che Vista installa automaticamente. Non so se siano gli stessi.

Impressioni:

Rispetto alla RC2 installata su una macchina, il mio notebook, che non supporta Aero, l'impressione è completamente diversa.
Windows Media Center sembra spettacolare.
Il gioco degli scacchi è bellissimo!

Domani proverò ad installare le applicazioni, la stampante e lo scanner. Ora continuo a giocare con le novità incluse nel sistema operativo. :)

Principio di sostituzione, regola dei metodi e delle proprietà. Perchè Java usa la parola chiave "extends"?

Andrea Sansottera — Thu, 03 Aug 2006 17:17:00 GMT

Prendo spunto dal post di Emanuele, "OOP != Ereditarietà". Volevo però fare delle considerazioni. Innanzitutto:

Una sottoclasse non è un sottotipo. I sottotipi devono rispettare il principio di sostituzione, per le sottoclassi questa proprietà non è richiesta.
In un linguaggio orientato agli oggetti, i sottotipi sono implementati con sottoclassi.
Se si usa un approccio disciplinato all'ereditarietà, ogni sottoclasse è un sottotipo.

Nei linguaggi fortemente tipizzati, la correttezza di una sottoclasse è verificata dal compilatore. Una sottoclasse ha tutti metodi della superclasse e le signature dei metodi sono compatibili (regola della signatura).

Per un sottotipo devono valere anche la regola dei metodi e la regola delle proprietà. Tali regole, insieme alla regola della signatura, garantiscono che sia rispettato il principio di sostituzione. I compilatori in genere non sono in grado di verificare nulla a questo riguardo. Per valutare se queste regole siano rispettate è necessario avere a disposizione una specifica del tipo di dato astratto (contratto dei metodi e invariante astratto di rappresentazione). Linguaggi di specifica formale e relativi tools, in genere, possono essere d'aiuto. Vediamo in cosa consistono queste due regole.

Il contratto di un metodo è definito da ciò che il metodo si aspetta dal chiamante (talvolta definite clausole requires) e dalle promesse che il metodo fà al chiamante (talvolta definite clausole ensures). Secondo la regola dei metodi, i metodi ridefiniti da un sottotipo devono estendere il contratto per essi definito nel supertipo. In questo senso, le clausole requires nel sottotipo devono essere meno restrittive di quelle nel supertipo. Le clausole ensures possono offrire qualcosa in più di quanto garantito dal supertipo, ma mai qualcosa in meno. Ricordo che una volta Andrea si disse contrario alla scelta della parola chiave extends da parte dei progettisti di Java. Il modo in cui va interpretata e proprio questo: un sottotipo estende il comportamento del supertipo, non può semplicemente ridefinirlo con qualcosa di diverso. Scrivendo un sottotipo, si può ridefinire un metodo, ma il suo contratto può solo essere esteso, non ridefinito. OK, nulla vieta di farlo, ma è scorretto se si sta seguendo un approccio disciplinato all'ereditarietà.

L'invariante astratto di rappresentazione di un tipo, è l'insieme delle proprietà che valgono sempre per un oggetto di quel tipo. Secondo la regola delle proprietà, i metodi ridefiniti da un sottotipo non devono violare l'invariante di rappresentazione del supertipo.

Alla luce di tutto questo, vediamo l'esempio di Emanuele su ArrayList. Microsoft, purtroppo, non ci dà una specifica formale del framework. Secondo MSDN, il metodo ArrayList#Sort():

"Sorts the elements in the entire ArrayList using the IComparable implementation of each element."

A seconda di come si interpreta la frase, MyArrayList può rispettare o non rispettare il principio di sostituzione. È un problema di lingua inglese. Dal mio punto di vista, dire che il metodo ordina ("sort") gli elementi non significa necessariamente in ordine crescente.

Se per voi, come per me, "sort" significa semplicemente ordinare, allora MyArrayList è un sottotipo e rispetta il principio di sostituzione. Infatti, il chiamante del metodo non deve aspettarsi che l'array sia ordinato in ordine crescente. Il fatto che ArrayList lo faccia, non significa che anche i suoi sottotipi, qualora ridefiniscano il metodo, debbano farlo. L'importante è che la lista venga ordinata secondo l'implementazione di IComparable da parte degli elementi.

Se per voi "sort" significa, di default, ordinare in ordine crescente, allora MyArrayList è una sottoclasse ma non un sottotipo, poichè viola il principio di sostituzione. In questo caso, l'esempio di Emanuele è pertinente.

Magari quando ho tempo aggiorno il post con qualche esempio... Detto così sembra molto teorico. Lo è, ma con notevoli riscontri nella pratica!

Sysinternals acquisita da Microsoft

Andrea Sansottera — Tue, 18 Jul 2006 20:33:00 GMT

Una news dal web: la società Mark Russinovich e Bryce Cogswell è stata acquisita da Microsoft .

http://www.sysinternals.com/blog/2006/07/on-my-way-to-microsoft.html

Da un certo punto di vista mi piacerebbe che i tool principati sviluppati da questa società venissero incorporati in Windows, ma mi rendo conto che non siano molto utili alla maggior parte degli utenti. Forse dovremmo aspettarci una super-versione dei vari resource kit / support tools.... Chi lo sà. Sul blog ci sono reazioni di varia natura rispetto a questo notizia. Per come la vedo io, due persone di talento ed esperienza come loro sapranno sicuramente sfruttare le opportunità (in termini di risorse, umane e non, nonchè di codice sorgente, etc.) offerte da Microsoft per fare ancora meglio che in passato.

Audio in Windows Vista

Andrea Sansottera — Sun, 27 Nov 2005 19:03:00 GMT

Per chi fosse interessato, ho pubblicato sul mio blog in inglese un breve post riguardante le novità del sottosistema audio presente in Windows Vista.