C'est comme si tu disais que pour savoir
ce quelqu'un a bu pendant le repas il suffit de regarder ce qu'il y a
dans son verre à un instant T ;)
C'est comme si tu disais que pour savoir
ce quelqu'un a bu pendant le repas il suffit de regarder ce qu'il y a
dans son verre à un instant T ;)
C'est comme si tu disais que pour savoir
ce quelqu'un a bu pendant le repas il suffit de regarder ce qu'il y a
dans son verre à un instant T ;)
Le 15/11/2018 à 10:06, Gerald a écrit :Il y a d'autres choses qui ont changé, (outre l'histoire des
"instantanés-snapshots") avec les nouveaux systèmes : le fait de quitter
une application ne libère plus automatiquement l'espace mémoire
correspondant,
? ?
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
Le 15/11/2018 à 10:06, Gerald a écrit :
Il y a d'autres choses qui ont changé, (outre l'histoire des
"instantanés-snapshots") avec les nouveaux systèmes : le fait de quitter
une application ne libère plus automatiquement l'espace mémoire
correspondant,
? ?
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
Le 15/11/2018 à 10:06, Gerald a écrit :Il y a d'autres choses qui ont changé, (outre l'histoire des
"instantanés-snapshots") avec les nouveaux systèmes : le fait de quitter
une application ne libère plus automatiquement l'espace mémoire
correspondant,
? ?
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
Le 15/11/2018 à 13:35, Patrick a écrit :On 2018-11-15 10:06:21 +0000, pehache said:Le 15/11/2018 à 10:06, Gerald a écrit :[...] le fait de quitter une application ne libère plus automatiquement
l'espace mémoire correspondant,
? ?
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
C'est le même principe que sous iOS,
Attention, les fonctionnements d'iOS et de macOS diffèrent au niveau de la
gestion de la mémoire.
la mémoire de l'application qui
quitte n'est pas forcément libérée, de telle sorte que si l'application
est relancée, elle dispose de toutes ses ressources et répond plus
vite. La mémoire n'est libérée que dans le cas où la machine en manque.
Ce que tu décris là c'est le fonctionnement classique de tous les OS
généralistes, y compris macOS, depuis... longtemps. C'est le principe du
cache disque. Mais la mémoire utilisée par l'appli change réellement de
statut quand l'appli est quittée, et c'est l'OS qui reprend la main
dessus.
Fichiers mis en cache : mémoire récemment utilisée par certaines
applications, et désormais exploitable par d’autres. Par exemple, si
vous venez de fermer l’application Mail, la mémoire RAM qui lui était
attribuée est transférée vers les fichiers mis en cache, et peut
ensuite être utilisée par d’autres applications. Si vous rouvrez Mail
avant que les fichiers mis en cache correspondants n’aient été écrasés
par une autre application, cette application s’ouvre plus rapidement,
car les ressources requises sont simplement reconverties en mémoire
d’application, et non chargées à partir du disque de démarrage.
Le 15/11/2018 à 13:35, Patrick a écrit :
On 2018-11-15 10:06:21 +0000, pehache said:
Le 15/11/2018 à 10:06, Gerald a écrit :
[...] le fait de quitter une application ne libère plus automatiquement
l'espace mémoire correspondant,
? ?
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
C'est le même principe que sous iOS,
Attention, les fonctionnements d'iOS et de macOS diffèrent au niveau de la
gestion de la mémoire.
la mémoire de l'application qui
quitte n'est pas forcément libérée, de telle sorte que si l'application
est relancée, elle dispose de toutes ses ressources et répond plus
vite. La mémoire n'est libérée que dans le cas où la machine en manque.
Ce que tu décris là c'est le fonctionnement classique de tous les OS
généralistes, y compris macOS, depuis... longtemps. C'est le principe du
cache disque. Mais la mémoire utilisée par l'appli change réellement de
statut quand l'appli est quittée, et c'est l'OS qui reprend la main
dessus.
Fichiers mis en cache : mémoire récemment utilisée par certaines
applications, et désormais exploitable par d’autres. Par exemple, si
vous venez de fermer l’application Mail, la mémoire RAM qui lui était
attribuée est transférée vers les fichiers mis en cache, et peut
ensuite être utilisée par d’autres applications. Si vous rouvrez Mail
avant que les fichiers mis en cache correspondants n’aient été écrasés
par une autre application, cette application s’ouvre plus rapidement,
car les ressources requises sont simplement reconverties en mémoire
d’application, et non chargées à partir du disque de démarrage.
Le 15/11/2018 à 13:35, Patrick a écrit :On 2018-11-15 10:06:21 +0000, pehache said:Le 15/11/2018 à 10:06, Gerald a écrit :[...] le fait de quitter une application ne libère plus automatiquement
l'espace mémoire correspondant,
? ?
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
C'est le même principe que sous iOS,
Attention, les fonctionnements d'iOS et de macOS diffèrent au niveau de la
gestion de la mémoire.
la mémoire de l'application qui
quitte n'est pas forcément libérée, de telle sorte que si l'application
est relancée, elle dispose de toutes ses ressources et répond plus
vite. La mémoire n'est libérée que dans le cas où la machine en manque.
Ce que tu décris là c'est le fonctionnement classique de tous les OS
généralistes, y compris macOS, depuis... longtemps. C'est le principe du
cache disque. Mais la mémoire utilisée par l'appli change réellement de
statut quand l'appli est quittée, et c'est l'OS qui reprend la main
dessus.
Fichiers mis en cache : mémoire récemment utilisée par certaines
applications, et désormais exploitable par d’autres. Par exemple, si
vous venez de fermer l’application Mail, la mémoire RAM qui lui était
attribuée est transférée vers les fichiers mis en cache, et peut
ensuite être utilisée par d’autres applications. Si vous rouvrez Mail
avant que les fichiers mis en cache correspondants n’aient été écrasés
par une autre application, cette application s’ouvre plus rapidement,
car les ressources requises sont simplement reconverties en mémoire
d’application, et non chargées à partir du disque de démarrage.
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
pehache wrote:J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
1/ à la base tu as raison : je confonds cette libération de mémoire avec
la mise de fichiers à la poubelle qui ne "récupère" plus l'espace
disque.
pehache <pehache.7@gmail.com> wrote:
> J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
1/ à la base tu as raison : je confonds cette libération de mémoire avec
la mise de fichiers à la poubelle qui ne "récupère" plus l'espace
disque.
pehache wrote:J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
1/ à la base tu as raison : je confonds cette libération de mémoire avec
la mise de fichiers à la poubelle qui ne "récupère" plus l'espace
disque.
Le 15/11/2018 à 16:34, Patrick a écrit :la mémoire de l'application qui
quitte n'est pas forcément libérée, de telle sorte que si
l'application
est relancée, elle dispose de toutes ses ressources et répond plus
vite. La mémoire n'est libérée que dans le cas où la machine en
manque.
Ce que tu décris là c'est le fonctionnement classique de tous les OS
généralistes, y compris macOS, depuis... longtemps. C'est le principe du
cache disque. Mais la mémoire utilisée par l'appli change réellement de
statut quand l'appli est quittée, et c'est l'OS qui reprend la main
dessus.
Voici l'explication d'Apple :Fichiers mis en cache : mémoire récemment utilisée par certaines
applications, et désormais exploitable par d’autres. Par exemple, si
vous venez de fermer l’application Mail, la mémoire RAM qui lui était
attribuée est transférée vers les fichiers mis en cache, et peut
ensuite être utilisée par d’autres applications. Si vous rouvrez Mail
avant que les fichiers mis en cache correspondants n’aient été
écrasés
par une autre application, cette application s’ouvre plus rapidement,
car les ressources requises sont simplement reconverties en mémoire
d’application, et non chargées à partir du disque de démarrage.
En clair, si une application est réouverte alors que sa mémoire cache
n'a pas été récupérée par une autre application, il y a juste un
changement de statut dans la RAM. Le mémoire cache se transforme en
mémoire utilisée par l'application. Il n'y a aucune opération sur
disque.
Oui, et c'est le fonctionnement ultra-classique qu'on retrouve exactement
à l'identique dans Windows, dans tous les unix, etc..
Le 15/11/2018 à 16:34, Patrick a écrit :
la mémoire de l'application qui
quitte n'est pas forcément libérée, de telle sorte que si
l'application
est relancée, elle dispose de toutes ses ressources et répond plus
vite. La mémoire n'est libérée que dans le cas où la machine en
manque.
Ce que tu décris là c'est le fonctionnement classique de tous les OS
généralistes, y compris macOS, depuis... longtemps. C'est le principe du
cache disque. Mais la mémoire utilisée par l'appli change réellement de
statut quand l'appli est quittée, et c'est l'OS qui reprend la main
dessus.
Voici l'explication d'Apple :
Fichiers mis en cache : mémoire récemment utilisée par certaines
applications, et désormais exploitable par d’autres. Par exemple, si
vous venez de fermer l’application Mail, la mémoire RAM qui lui était
attribuée est transférée vers les fichiers mis en cache, et peut
ensuite être utilisée par d’autres applications. Si vous rouvrez Mail
avant que les fichiers mis en cache correspondants n’aient été
écrasés
par une autre application, cette application s’ouvre plus rapidement,
car les ressources requises sont simplement reconverties en mémoire
d’application, et non chargées à partir du disque de démarrage.
En clair, si une application est réouverte alors que sa mémoire cache
n'a pas été récupérée par une autre application, il y a juste un
changement de statut dans la RAM. Le mémoire cache se transforme en
mémoire utilisée par l'application. Il n'y a aucune opération sur
disque.
Oui, et c'est le fonctionnement ultra-classique qu'on retrouve exactement
à l'identique dans Windows, dans tous les unix, etc..
Le 15/11/2018 à 16:34, Patrick a écrit :la mémoire de l'application qui
quitte n'est pas forcément libérée, de telle sorte que si
l'application
est relancée, elle dispose de toutes ses ressources et répond plus
vite. La mémoire n'est libérée que dans le cas où la machine en
manque.
Ce que tu décris là c'est le fonctionnement classique de tous les OS
généralistes, y compris macOS, depuis... longtemps. C'est le principe du
cache disque. Mais la mémoire utilisée par l'appli change réellement de
statut quand l'appli est quittée, et c'est l'OS qui reprend la main
dessus.
Voici l'explication d'Apple :Fichiers mis en cache : mémoire récemment utilisée par certaines
applications, et désormais exploitable par d’autres. Par exemple, si
vous venez de fermer l’application Mail, la mémoire RAM qui lui était
attribuée est transférée vers les fichiers mis en cache, et peut
ensuite être utilisée par d’autres applications. Si vous rouvrez Mail
avant que les fichiers mis en cache correspondants n’aient été
écrasés
par une autre application, cette application s’ouvre plus rapidement,
car les ressources requises sont simplement reconverties en mémoire
d’application, et non chargées à partir du disque de démarrage.
En clair, si une application est réouverte alors que sa mémoire cache
n'a pas été récupérée par une autre application, il y a juste un
changement de statut dans la RAM. Le mémoire cache se transforme en
mémoire utilisée par l'application. Il n'y a aucune opération sur
disque.
Oui, et c'est le fonctionnement ultra-classique qu'on retrouve exactement
à l'identique dans Windows, dans tous les unix, etc..
pehache wrote:J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
1/ à la base tu as raison : je confonds cette libération de mémoire avec
la mise de fichiers à la poubelle qui ne "récupère" plus l'espace
disque. [...]
pehache <pehache.7@gmail.com> wrote:
J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
1/ à la base tu as raison : je confonds cette libération de mémoire avec
la mise de fichiers à la poubelle qui ne "récupère" plus l'espace
disque. [...]
pehache wrote:J'ai quelques doutes, là. Qu'est-ce qui te fait dire ça ?
1/ à la base tu as raison : je confonds cette libération de mémoire avec
la mise de fichiers à la poubelle qui ne "récupère" plus l'espace
disque. [...]
3/ il semble que Patrick donne quelques infos additionnelles là dessus,
dont je ne sais pas ce qu'elles valent.
Il confond à mon avis "fichier en cache" et "fichier d'échange".
3/ il semble que Patrick donne quelques infos additionnelles là dessus,
dont je ne sais pas ce qu'elles valent.
Il confond à mon avis "fichier en cache" et "fichier d'échange".
3/ il semble que Patrick donne quelques infos additionnelles là dessus,
dont je ne sais pas ce qu'elles valent.
Il confond à mon avis "fichier en cache" et "fichier d'échange".
Le 15/11/2018 à 17:15, Gerald a écrit :2/ d'expérience, l'ouverture successive d'applications diverses puis
leur fermeture fait qu'au bout d'un moment la "mémoire" active est de
plus en plus utilisée. Aboutissant parfois au swap et donc, à terme de
quelques jours, poru moi, au redémarrage pour faire propre.
Ca c'est possible : quand il n'y a pas de RAM libre et qu'une appli en
demande, l'OS doit arbitrer entre benner des données conservées en cache
(ce qui est immédiat) ou swapper une application ouverte de la RAM vers le
disque (ce qui est plus lent).
L'arbitrage n'est pas si évident qu'il y
parait car l'OS peut estimer que le temps perdu sur le coup sera gagné
plus tard si les données en cache sont souvent utilisées. Mais ce sont
des modèles statistiques qui régissent ça, et dans les faits rien ne
garantit que c'est la solution optimale qui est toujours choisie.
Ceci dit ton choix de redémarrer n'est pas rationnel : le temps perdu à
le faire dépasse largement le temps que tu vas (éventuellement) gagner
par la suite. Et tu arriverais au même résultat avec un simple "sudo
purge".3/ il semble que Patrick donne quelques infos additionnelles là dessus,
dont je ne sais pas ce qu'elles valent.
Il confond à mon avis "fichier en cache" et "fichier d'échange".
Le 15/11/2018 à 17:15, Gerald a écrit :
>
> 2/ d'expérience, l'ouverture successive d'applications diverses puis
> leur fermeture fait qu'au bout d'un moment la "mémoire" active est de
> plus en plus utilisée. Aboutissant parfois au swap et donc, à terme de
> quelques jours, poru moi, au redémarrage pour faire propre.
Ca c'est possible : quand il n'y a pas de RAM libre et qu'une appli en
demande, l'OS doit arbitrer entre benner des données conservées en cache
(ce qui est immédiat) ou swapper une application ouverte de la RAM vers le
disque (ce qui est plus lent).
L'arbitrage n'est pas si évident qu'il y
parait car l'OS peut estimer que le temps perdu sur le coup sera gagné
plus tard si les données en cache sont souvent utilisées. Mais ce sont
des modèles statistiques qui régissent ça, et dans les faits rien ne
garantit que c'est la solution optimale qui est toujours choisie.
Ceci dit ton choix de redémarrer n'est pas rationnel : le temps perdu à
le faire dépasse largement le temps que tu vas (éventuellement) gagner
par la suite. Et tu arriverais au même résultat avec un simple "sudo
purge".
>
> 3/ il semble que Patrick donne quelques infos additionnelles là dessus,
> dont je ne sais pas ce qu'elles valent.
>
Il confond à mon avis "fichier en cache" et "fichier d'échange".
Le 15/11/2018 à 17:15, Gerald a écrit :2/ d'expérience, l'ouverture successive d'applications diverses puis
leur fermeture fait qu'au bout d'un moment la "mémoire" active est de
plus en plus utilisée. Aboutissant parfois au swap et donc, à terme de
quelques jours, poru moi, au redémarrage pour faire propre.
Ca c'est possible : quand il n'y a pas de RAM libre et qu'une appli en
demande, l'OS doit arbitrer entre benner des données conservées en cache
(ce qui est immédiat) ou swapper une application ouverte de la RAM vers le
disque (ce qui est plus lent).
L'arbitrage n'est pas si évident qu'il y
parait car l'OS peut estimer que le temps perdu sur le coup sera gagné
plus tard si les données en cache sont souvent utilisées. Mais ce sont
des modèles statistiques qui régissent ça, et dans les faits rien ne
garantit que c'est la solution optimale qui est toujours choisie.
Ceci dit ton choix de redémarrer n'est pas rationnel : le temps perdu à
le faire dépasse largement le temps que tu vas (éventuellement) gagner
par la suite. Et tu arriverais au même résultat avec un simple "sudo
purge".3/ il semble que Patrick donne quelques infos additionnelles là dessus,
dont je ne sais pas ce qu'elles valent.
Il confond à mon avis "fichier en cache" et "fichier d'échange".
pehache wrote:Le 15/11/2018 à 17:15, Gerald a écrit :2/ d'expérience, l'ouverture successive d'applications diverses puis
leur fermeture fait qu'au bout d'un moment la "mémoire" active est de
plus en plus utilisée. Aboutissant parfois au swap et donc, à terme de
quelques jours, poru moi, au redémarrage pour faire propre.
Ca c'est possible : quand il n'y a pas de RAM libre et qu'une appli en
demande, l'OS doit arbitrer entre benner des données conservées en cache
(ce qui est immédiat) ou swapper une application ouverte de la RAM vers le
disque (ce qui est plus lent).
Sans oublier la mémoire compressée.
C'est dans cet arbitrage qu'elle intervient ou bien elle dépends
d'autres processus?
pehache <pehache.7@gmail.com> wrote:
Le 15/11/2018 à 17:15, Gerald a écrit :
2/ d'expérience, l'ouverture successive d'applications diverses puis
leur fermeture fait qu'au bout d'un moment la "mémoire" active est de
plus en plus utilisée. Aboutissant parfois au swap et donc, à terme de
quelques jours, poru moi, au redémarrage pour faire propre.
Ca c'est possible : quand il n'y a pas de RAM libre et qu'une appli en
demande, l'OS doit arbitrer entre benner des données conservées en cache
(ce qui est immédiat) ou swapper une application ouverte de la RAM vers le
disque (ce qui est plus lent).
Sans oublier la mémoire compressée.
C'est dans cet arbitrage qu'elle intervient ou bien elle dépends
d'autres processus?
pehache wrote:Le 15/11/2018 à 17:15, Gerald a écrit :2/ d'expérience, l'ouverture successive d'applications diverses puis
leur fermeture fait qu'au bout d'un moment la "mémoire" active est de
plus en plus utilisée. Aboutissant parfois au swap et donc, à terme de
quelques jours, poru moi, au redémarrage pour faire propre.
Ca c'est possible : quand il n'y a pas de RAM libre et qu'une appli en
demande, l'OS doit arbitrer entre benner des données conservées en cache
(ce qui est immédiat) ou swapper une application ouverte de la RAM vers le
disque (ce qui est plus lent).
Sans oublier la mémoire compressée.
C'est dans cet arbitrage qu'elle intervient ou bien elle dépends
d'autres processus?